For each discriminant $D>1$, McMullen constructed the Prym–Teichmüller curves $W_{D}(4)$ and $W_{D}(6)$ in ${\mathcal{M}}_{3}$ and ${\mathcal{M}}_{4}$, which constitute one of the few known infinite families of geometrically primitive Teichmüller curves. In the present paper, we determine for each $D$ the number and type of orbifold points on $W_{D}(6)$. These results, together with a previous result of the two authors in the genus $3$ case and with results of Lanneau–Nguyen and Möller, complete the topological characterisation of all Prym–Teichmüller curves and determine their genus. The study of orbifold points relies on the analysis of intersections of $W_{D}(6)$ with certain families of genus $4$ curves with extra automorphisms. As a side product of this study, we give an explicit construction of such families and describe their Prym–Torelli images, which turn out to be isomorphic to certain products of elliptic curves. We also give a geometric description of the flat surfaces associated to these families and describe the asymptotics of the genus of $W_{D}(6)$ for large $D$.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

In this paper, we consider how to express an Iwahori–Whittaker function through Demazure characters. Under some interesting combinatorial conditions, we obtain an explicit formula and thereby a generalization of the Casselman–Shalika formula. Under the same conditions, we compute the transition matrix between two natural bases for the space of Iwahori fixed vectors of an induced representation of a $p$-adic group; this corrects a result of Bump–Nakasuji.

For a fat sub-Riemannian structure, we introduce three canonical Ricci curvatures in the sense of Agrachev–Zelenko–Li. Under appropriate bounds we prove comparison theorems for conjugate lengths, Bonnet–Myers type results and Laplacian comparison theorems for the intrinsic sub-Laplacian. As an application, we consider the sub-Riemannian structure of 3-Sasakian manifolds, for which we provide explicit curvature formulas. We prove that any complete 3-Sasakian structure of dimension $4d+3$, with $d>1$, has sub-Riemannian diameter bounded by $\unicode[STIX]{x1D70B}$. When $d=1$, a similar statement holds under additional Ricci bounds. These results are sharp for the natural sub-Riemannian structure on $\mathbb{S}^{4d+3}$ of the quaternionic Hopf fibrations:

$$\begin{eqnarray}\mathbb{S}^{3}{\hookrightarrow}\mathbb{S}^{4d+3}\rightarrow \mathbb{HP}^{d},\end{eqnarray}$$

$\unicode[STIX]{x1D70B}$

$d\geqslant 1$

Ill-posedness for the compressible Navier–Stokes equations has been proved by Chen et al. [On the ill-posedness of the compressible Navier–Stokes equations in the critical Besov spaces, Revista Mat. Iberoam.31 (2015), 1375–1402] in critical Besov space $L^{p}$$(p>6)$ framework. In this paper, we prove ill-posedness with the initial data satisfying

$$\begin{eqnarray}\displaystyle \Vert \unicode[STIX]{x1D70C}_{0}-\bar{\unicode[STIX]{x1D70C}}\Vert _{{\dot{B}}_{p,1}^{\frac{3}{p}}}\leqslant \unicode[STIX]{x1D6FF},\quad \Vert u_{0}\Vert _{{\dot{B}}_{6,1}^{-\frac{1}{2}}}\leqslant \unicode[STIX]{x1D6FF}. & & \displaystyle \nonumber\end{eqnarray}$$

$L(a)\unicode[STIX]{x1D6E5}u$

$u\cdot \unicode[STIX]{x1D6FB}u$

In this paper we extend the generalized algebraic fundamental group constructed in Esnault and Hogadi, (Trans. Amer. Math. Soc. 364(5) (2012), 2429–2442) to general fibered categories using the language of gerbes. As an application we obtain a Tannakian interpretation for the Nori fundamental gerbe defined in Borne and Vistoli (J. Algebraic Geom. (2014), S1056–3911, 00638-X) for nonsmooth non-pseudo-proper algebraic stacks.