We establish, in the setting of equivariant motivic homotopy theory for a finite group, a version of tom Dieck’s splitting theorem for the fixed points of a suspension spectrum. Along the way we establish structural results and constructions for equivariant motivic homotopy theory of independent interest. This includes geometric fixed-point functors and the motivic Adams isomorphism.

Let R be a complete rank-1 valuation ring of mixed characteristic (0, p), and let K be its field of fractions. A g-dimensional truncated Barsotti–Tate group G of level n over R is said to have a level-n canonical subgroup if there is a K-subgroup of G ⊗RK with geometric structure (Z/pnZ)g consisting of points ‘closest to zero’. We give a non-trivial condition on the Hasse invariant of G that guarantees the existence of the canonical subgroup, analogous to a result of Katz and Lubin for elliptic curves. The bound is independent of the height and dimension of G.

Let C be a family of curves over a non-singular variety S. We study algebraic cycles on the relative symmetric powers C[n] and on the relative Jacobian J. We consider the Chow homology CH*(C[∙]/S) := ⊕n CH*(C[n]/S) as a ring using the Pontryagin product. We prove that CH*(C[∙]/S) is isomorphic to CH*(J/S)[t]〈u〉, the PD-polynomial algebra (variable: u) over the usual polynomial ring (variable: t) over CH*(J/S). We give two such isomorphisms that over a general base are different. Further we give precise results on how CH*(J/S) sits embedded in CH*(C[∙]/S) and we give an explicit geometric description of how the operators and ∂u act. This builds upon the study of certain geometrically defined operators Pi,j (a) that was undertaken by one of us.

Our results give rise to a new grading on CH*(J/S). The associated descending filtration is stable under all operators [N]*, and [N]* acts on as multiplication by Nm. Hence, after − ⊗ ℚ this filtration coincides with the one coming from Beauville's decomposition. The grading we obtain is in general different from Beauville's.

Finally, we give a version of our main result for tautological classes, and we show how our methods give a simple geometric proof of some relations obtained by Herbaut and van der Geer–Kouvidakis, as later refined by one of us.

In this article, we explore a beautiful idea of Skinner and Wiles in the context of GSp(4) over a totally real field. The main result provides congruences between automorphic forms which are Iwahori-spherical at a certain place ω, and forms with a tamely ramified principal series at ω, Thus, after base change to a finite solvable totally real extension, one can often lower the level at ω. For the proof, we first establish an analogue of the Jacquet–Langlands correspondence, using the stable trace formula. The congruences are then obtained on inner forms, which are compact at infinity modulo the centre, and split at all the finite places. The crucial ingredient allowing us to do so, is an important result of Roche on types for principal series representations of split reductive groups.

We prove that if F is a nonzero (possibly noncuspidal) vector-valued Siegel modular form of any degree, then it has infinitely many nonzero Fourier coefficients which are indexed by half-integral matrices having odd, square-free (and thus fundamental) discriminant. The proof uses an induction argument in the setting of vector-valued modular forms. Further, as an application of a variant of our result and complementing the work of A. Pollack, we show how to obtain an unconditional proof of the functional equation of the spinor L-function of a holomorphic cuspidal Siegel eigenform of degree $3$ and level $1$ .

For a smooth variety $X$ over a perfect field $k$ in characteristic $p$, an equivalence of category is established between the category of crystals on $X/W(k)$ and the category of $p$-adically nilpotent, integrable de Rham–Witt connections.

AMS 2000 Mathematics subject classification: Primary 14F30; 14F40

In this paper, we shall study the Dirichlet problem for the minimal surfaces equation. We prove some results about the boundary behaviour of a solution of this problem. We describe the behaviour of a non-converging sequence of solutions in term of lines of divergence in the domain. Using this second result, we build some solutions of the Dirichlet problem on unbounded domain. We then give a new proof of the result of Cosín and Ros concerning the Plateau problem at infinity for horizontal ends.

AMS 2000 Mathematics subject classification: Primary 53A10

We prove a $\unicode[STIX]{x1D6E4}$-equivariant version of the algebraic index theorem, where $\unicode[STIX]{x1D6E4}$ is a discrete group of automorphisms of a formal deformation of a symplectic manifold. The particular cases of this result are the algebraic version of the transversal index theorem related to the theorem of A. Connes and H. Moscovici for hypo-elliptic operators and the index theorem for the extension of the algebra of pseudodifferential operators by a group of diffeomorphisms of the underlying manifold due to A. Savin, B. Sternin, E. Schrohe and D. Perrot.

Given a $2$-commutative diagram

in a symmetric monoidal $(\infty ,2)$-category $\mathscr{E}$ where $X,Y\in \mathscr{E}$ are dualizable objects and $\unicode[STIX]{x1D711}$ admits a right adjoint we construct a natural morphism $\mathsf{Tr}_{\mathscr{E}}(F_{X})\xrightarrow[{}]{~~~~~}\mathsf{Tr}_{\mathscr{E}}(F_{Y})$ between the traces of $F_{X}$ and $F_{Y}$, respectively. We then apply this formalism to the case when $\mathscr{E}$ is the $(\infty ,2)$-category of $k$-linear presentable categories which in combination of various calculations in the setting of derived algebraic geometry gives a categorical proof of the classical Atiyah–Bott formula (also known as the Holomorphic Lefschetz fixed point formula).

We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain ${\mathcal{L}}_{\unicode[STIX]{x1D714}_{1},\unicode[STIX]{x1D714}}$-sentence having a unique model of cardinality $\aleph _{1}$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this ${\mathcal{L}}_{\unicode[STIX]{x1D714}_{1},\unicode[STIX]{x1D714}}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.

We classify the five-dimensional $C^\infty$ Anosov flows which have $C^\infty$-Anosov splitting and preserve a smooth pseudo-Riemannian metric. Up to a special time change and finite covers, such a flow is $C^\infty$ flow equivalent either to the suspension of a symplectic hyperbolic automorphism of $\mathbb{T}^{4}$, or to the geodesic flow on a three-dimensional hyperbolic manifold.

AMS 2000 Mathematics subject classification: Primary 34Cxx; 34Dxx; 37-XX

We consider the semiclassical Schrödinger equation on a compact negatively curved surface. For any sequence of initial data microlocalized on the unit cotangent bundle, we look at the quantum evolution (below the Ehrenfest time) under small perturbations of the Schrödinger equation, and we prove that, in the semiclassical limit, and for typical perturbations, the solutions become equidistributed on the unit cotangent bundle.

We prove that many, but not all, injective factors arise as crossed products by nonsingular Bernoulli actions of the group $\mathbb {Z}$. We obtain this result by proving a completely general result on the ergodicity, type and Krieger’s associated flow for Bernoulli shifts with arbitrary base spaces. We prove that the associated flow must satisfy a structural property of infinite divisibility. Conversely, we prove that all almost periodic flows, as well as many other ergodic flows, do arise as associated flow of a weakly mixing Bernoulli action of any infinite amenable group. As a byproduct, we prove that all injective factors with almost periodic flow of weights are infinite tensor products of $2 \times 2$ matrices. Finally, we construct Poisson suspension actions with prescribed associated flow for any locally compact second countable group that does not have property (T).

Let $p$ be a prime, let $K$ be a complete discrete valuation field of characteristic $0$ with a perfect residue field of characteristic $p$, and let $G_{K}$ be the Galois group. Let $\unicode[STIX]{x1D70B}$ be a fixed uniformizer of $K$, let $K_{\infty }$ be the extension by adjoining to $K$ a system of compatible $p^{n}$th roots of $\unicode[STIX]{x1D70B}$ for all $n$, and let $L$ be the Galois closure of $K_{\infty }$. Using these field extensions, Caruso constructs the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules, which classify $p$-adic Galois representations of $G_{K}$. In this paper, we study locally analytic vectors in some period rings with respect to the $p$-adic Lie group $\operatorname{Gal}(L/K)$, in the spirit of the work by Berger and Colmez. Using these locally analytic vectors, and using the classical overconvergent $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$-modules, we can establish the overconvergence property of the $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D70F})$-modules.

We give a simple set of geometric conditions on curves $\unicode[STIX]{x1D702}$, $\widetilde{\unicode[STIX]{x1D702}}$ in $\mathbf{H}$ from $0$ to $\infty$ so that if $\unicode[STIX]{x1D711}:\mathbf{H}\rightarrow \mathbf{H}$ is a homeomorphism which is conformal off $\unicode[STIX]{x1D702}$ with $\unicode[STIX]{x1D711}(\unicode[STIX]{x1D702})=\widetilde{\unicode[STIX]{x1D702}}$ then $\unicode[STIX]{x1D711}$ is a conformal automorphism of $\mathbf{H}$. Our motivation comes from the fact that it is possible to apply our result to random conformal welding problems related to the Schramm–Loewner evolution (SLE) and Liouville quantum gravity (LQG). In particular, we show that if $\unicode[STIX]{x1D702}$ is a non-space-filling $\text{SLE}_{\unicode[STIX]{x1D705}}$ curve in $\mathbf{H}$ from $0$ to $\infty$, and $\unicode[STIX]{x1D711}$ is a homeomorphism which is conformal on $\mathbf{H}\setminus \unicode[STIX]{x1D702}$, and $\unicode[STIX]{x1D711}(\unicode[STIX]{x1D702})$, $\unicode[STIX]{x1D702}$ are equal in distribution, then $\unicode[STIX]{x1D711}$ is a conformal automorphism of $\mathbf{H}$. Applying this result for $\unicode[STIX]{x1D705}=4$ establishes that the welding operation for critical ($\unicode[STIX]{x1D6FE}=2$) LQG is well defined. Applying it for $\unicode[STIX]{x1D705}\in (4,8)$ gives a new proof that the welding of two independent $\unicode[STIX]{x1D705}/4$-stable looptrees of quantum disks to produce an $\text{SLE}_{\unicode[STIX]{x1D705}}$ on top of an independent $4/\sqrt{\unicode[STIX]{x1D705}}$-LQG surface is well defined.

We show that the modules for the Frobenius kernel of a reductive algebraic group over an algebraically closed field of positive characteristic $p$ induced from the $p$-regular blocks of its parabolic subgroups can be $\mathbb{Z}$-graded. In particular, we obtain that the modules induced from the simple modules of $p$-regular highest weights are rigid and determine their Loewy series, assuming the Lusztig conjecture on the irreducible characters for the reductive algebraic groups, which is now a theorem for large $p$. We say that a module is rigid if and only if it admits a unique filtration of minimal length with each subquotient semisimple, in which case the filtration is called the Loewy series.

This paper is devoted to the study of the low Mach number limit for the isentropic Euler system with axisymmetric initial data without swirl. In the first part of the paper we analyze the problem corresponding to the subcritical regularities, that is ${H}^{s} $ with $s\gt \frac{5}{2} $. Taking advantage of the Strichartz estimates and using the special structure of the vorticity we show that the lifespan ${T}_{\varepsilon } $ of the solutions is bounded below by $\log \log \log \frac{1}{\varepsilon } $, where $\varepsilon $ denotes the Mach number. Moreover, we prove that the incompressible parts converge to the solution of the incompressible Euler system when the parameter $\varepsilon $ goes to zero. In the second part of the paper we address the same problem but for the Besov critical regularity ${ B}_{2, 1}^{\frac{5}{2} } $. This case turns out to be more subtle because of at least two features. The first one is related to the Beale–Kato–Majda criterion which is not known to be valid for rough regularities. The second one concerns the critical aspect of the Strichartz estimate ${ L}_{T}^{1} {L}^{\infty } $ for the acoustic parts $(\nabla {\Delta }^{- 1} \mathrm{div} \hspace{0.167em} {v}_{\varepsilon } , {c}_{\varepsilon } )$: it scales in the space variables like the space of the initial data.

Very few things are known about the curves that are at the boundary of the instability zones of symplectic twist maps. It is known that in general they have an irrational rotation number and that they cannot be KAM curves. We address the following questions. Can they be very smooth? Can they be non-${C}^{1} $?

Can they have a Diophantine or a Liouville rotation number? We give a partial answer for ${C}^{1} $ and ${C}^{2} $ twist maps.

In Theorem 1, we construct a ${C}^{2} $ symplectic twist map $f$ of the annulus that has an essential invariant curve $\Gamma $ such that

$\bullet $ $\Gamma $ is not differentiable;

$\bullet $ the dynamics of ${f}_{\vert \Gamma } $ is conjugated to the one of a Denjoy counter-example;

$\bullet $ $\Gamma $ is at the boundary of an instability zone for $f$.

Using the Hayashi connecting lemma, we prove in Theroem 2 that any symplectic twist map restricted to an essential invariant curve can be embedded as the dynamics along a boundary of an instability zone for some ${C}^{1} $ symplectic twist map.

We introduce the notion of regularity for a relative holonomic ${\mathcal{D}}$-module in the sense of Monteiro Fernandes and Sabbah [Internat. Math. Res. Not. (21) (2013), 4961–4984]. We prove that the solution functor from the bounded derived category of regular relative holonomic modules to that of relative constructible complexes is essentially surjective by constructing a right quasi-inverse functor. When restricted to relative ${\mathcal{D}}$-modules underlying a regular mixed twistor ${\mathcal{D}}$-module, this functor satisfies the left quasi-inverse property.

Let $p$ be an odd prime. For a number field $K$, we let $K_{\infty }$ be the maximal unramified pro-$p$ extension of $K$; we call the group $\text{Gal}(K_{\infty }/K)$ the $p$-class tower group of $K$. In a previous work, as a non-abelian generalization of the work of Cohen and Lenstra on ideal class groups, we studied how likely it is that a given finite $p$-group occurs as the $p$-class tower group of an imaginary quadratic field. Here we do the same for an arbitrary real quadratic field $K$ as base. As before, the action of $\text{Gal}(K/\mathbb{Q})$ on the $p$-class tower group of $K$ plays a crucial role; however, the presence of units of infinite order in the ground field significantly complicates the possibilities for the groups that can occur. We also sharpen our results in the imaginary quadratic field case by removing a certain hypothesis, using ideas of Boston and Wood. In the appendix, we show how the probabilities introduced for finite $p$-groups can be extended in a consistent way to the infinite pro-$p$ groups which can arise in both the real and imaginary quadratic settings.