We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

Given a separably closed field $K$ of characteristic $p>0$ and finite degree of imperfection, we study the $\sharp$ functor which takes a semiabelian variety $G$ over $K$ to the maximal divisible subgroup of $G(K)$. Our main result is an example where $G^{\sharp }$, as a ‘type-definable group’ in $K$, does not have ‘relative Morley rank’, yielding a counterexample to a claim in Hrushovski [J. Amer. Math. Soc. 9 (1996), 667–690]. Our methods involve studying the question of the preservation of exact sequences by the $\sharp$ functor, and relating this to issues of descent as well as model-theoretic properties of $G^{\sharp }$. We mention some characteristic 0 analogues of these ‘exactness-descent’ results, where differential algebraic methods are more prominent. We also develop the notion of an iterative D-structure on a group scheme over an iterative Hasse field, which is interesting in its own right, as well as providing a uniform treatment of the characteristic 0 and characteristic $p$ cases of ‘exactness descent’.

Let $F$ be a non-archimedean local field of residual characteristic $p$, $\ell \neq p$ be a prime number, and $\text{W}_{F}$ the Weil group of $F$. We classify equivalence classes of $\text{W}_{F}$-semisimple Deligne $\ell$-modular representations of $\text{W}_{F}$ in terms of irreducible $\ell$-modular representations of $\text{W}_{F}$, and extend constructions of Artin–Deligne local constants to this setting. Finally, we define a variant of the $\ell$-modular local Langlands correspondence which satisfies a preservation of local constants statement for pairs of generic representations.

In this paper, we prove a decomposition result for the Chow groups of projectivizations of coherent sheaves of homological dimension $\le 1$ . In this process, we establish the decomposition of Chow groups for the cases of the Cayley trick and standard flips. Moreover, we apply these results to study the Chow groups of symmetric powers of curves, nested Hilbert schemes of surfaces, and the varieties resolving Voisin maps for cubic fourfolds.

We extend the Kuga–Satake construction to the case of limit mixed Hodge structures of K3 type. We use this to study the geometry and Hodge theory of degenerations of Kuga–Satake abelian varieties associated with polarized variations of K3 type Hodge structures over the punctured disc.

Colmez [Périodes des variétés abéliennes a multiplication complexe, Ann. of Math. (2)138(3) (1993), 625–683; available at http://www.math.jussieu.fr/∼colmez] conjectured a product formula for periods of abelian varieties over number fields with complex multiplication and proved it in some cases. His conjecture is equivalent to a formula for the Faltings height of CM abelian varieties in terms of the logarithmic derivatives at $s=0$ of certain Artin $L$-functions. In a series of articles we investigate the analog of Colmez’s theory in the arithmetic of function fields. There abelian varieties are replaced by Drinfeld modules and their higher-dimensional generalizations, so-called $A$-motives. In the present article we prove the product formula for the Carlitz module and we compute the valuations of the periods of a CM $A$-motive at all finite places in terms of Artin $L$-series. The latter is achieved by investigating the local shtukas associated with the $A$-motive.

We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces.

More precisely, let $\Sigma $ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that ${\mathrm {Map}}(\Sigma )$ admits a continuous nonelementary action on a hyperbolic space if and only if $\Sigma $ contains a finite-type subsurface which intersects all its homeomorphic translates.

When $\Sigma $ contains such a nondisplaceable subsurface K of finite type, the hyperbolic space we build is constructed from the curve graphs of K and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of ${\mathrm {Map}}(\Sigma )$ contains an embedded $\ell ^1$ ; second, using work of Dahmani, Guirardel and Osin, we deduce that ${\mathrm {Map}} (\Sigma )$ contains nontrivial normal free subgroups (while it does not if $\Sigma $ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.

We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin–Thom collapse maps, so as to present a common generalization of Poincaré duality in topology and Koszul duality in ${\mathcal{E}}_{n}$-algebra.

We extend the $p$-adic Gross–Zagier formula of Bertolini et al. [Generalized Heegner cycles and $p$-adic Rankin $L$-series, Duke Math. J.162(6) (2013), 1033–1148] to the semistable non-crystalline setting, and combine it with our previous work [Castella, On the $p$-adic variation of Heegner points, Preprint, 2014, arXiv:1410.6591] to obtain a derivative formula for the specializations of Howard’s big Heegner points [Howard, Variation of Heegner points in Hida families, Invent. Math.167(1) (2007), 91–128] at exceptional primes in the Hida family.

Let C be a proper smooth geometrically connected hyperbolic curve over a field of characteristic 0 and ℓ a prime number. We prove the injectivity of the homomorphism from the pro-ℓ mapping class group attached to the two dimensional configuration space of C to the one attached to C, induced by the natural projection. We also prove a certain graded Lie algebra version of this injectivity. Consequently, we show that the kernel of the outer Galois representation on the pro-ℓ pure braid group on C with n strings does not depend on n, even if n = 1. This extends a previous result by Ihara–Kaneko. By applying these results to the universal family over the moduli space of curves, we solve completely Oda's problem on the independency of certain towers of (infinite) algebraic number fields, which has been studied by Ihara, Matsumoto, Nakamura, Ueno and the author. Sequentially we obtain certain information of the image of this Galois representation and get obstructions to the surjectivity of the Johnson–Morita homomorphism at each sufficiently large even degree (as Oda predicts), for the first time for a proper curve.

It is proved that solutions of the complex Monge–Ampère equation on compact Kähler manifolds with right hand side in Lp, p > 1, are uniformly Hölder continuous under the assumption on non-negative orthogonal bisectional curvature.

The flow past an obstacle is a fundamental object in fluid mechanics. In 1967 Finn and Smith proved the unique existence of stationary solutions, called the physically reasonable solutions, to the Navier–Stokes equations in a two-dimensional exterior domain modeling this type of flows when the Reynolds number is sufficiently small. The asymptotic behavior of their solution at spatial infinity has been studied in detail and well understood by now, while its stability has remained open due to the difficulty specific to the two-dimensionality. In this paper, we prove that the physically reasonable solutions constructed by Finn and Smith are asymptotically stable with respect to small and well-localized initial perturbations.

We consider the unique recovery of a non-compactly supported and non-periodic perturbation of a Schrödinger operator in an unbounded cylindrical domain, also called waveguide, from boundary measurements. More precisely, we prove recovery of a general class of electric potentials from the partial Dirichlet-to-Neumann map, where the Dirichlet data is supported on slightly more than half of the boundary and the Neumann data is taken on the other half of the boundary. We apply this result in different contexts including recovery of some general class of non-compactly supported coefficients from measurements on a bounded subset and recovery of an electric potential, supported on an unbounded cylinder, of a Schrödinger operator in a slab.

We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate–Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite.

Let F be a Siegel cusp form of degree $2$ , even weight $k \ge 2$ , and odd square-free level N. We undertake a detailed study of the analytic properties of Fourier coefficients $a(F,S)$ of F at fundamental matrices S (i.e., with $-4\det (S)$ equal to a fundamental discriminant). We prove that as S varies along the equivalence classes of fundamental matrices with $\det (S) \asymp X$ , the sequence $a(F,S)$ has at least $X^{1-\varepsilon }$ sign changes and takes at least $X^{1-\varepsilon }$ ‘large values’. Furthermore, assuming the generalized Riemann hypothesis as well as the refined Gan–Gross–Prasad conjecture, we prove the bound $\lvert a(F,S)\rvert \ll _{F, \varepsilon } \frac {\det (S)^{\frac {k}2 - \frac {1}{2}}}{ \left (\log \lvert \det (S)\rvert \right )^{\frac 18 - \varepsilon }}$ for fundamental matrices S.

In order to study integral points of bounded log-anticanonical height on weak del Pezzo surfaces, we classify weak del Pezzo pairs. As a representative example, we consider a quartic del Pezzo surface of singularity type $\mathbf {A}_1+\mathbf {A}_3$ and prove an analogue of Manin’s conjecture for integral points with respect to its singularities and its lines.

In this paper we prove that the set of translation structures for which the corresponding vertical translation flows are disjoint with its inverse contains a $G_{\unicode[STIX]{x1D6FF}}$-dense subset in every non-hyperelliptic connected component of the moduli space ${\mathcal{M}}$. This is in contrast to hyperelliptic case, where for every translation structure the associated vertical flow is reversible, i.e., it is isomorphic to its inverse by an involution. To prove the main result, we study limits of the off-diagonal 3-joinings of special representations of vertical translation flows. Moreover, we construct a locally defined continuous embedding of the moduli space into the space of measure-preserving flows to obtain the $G_{\unicode[STIX]{x1D6FF}}$-condition. Moreover, as a by-product we get that in every non-hyperelliptic connected component of the moduli space there is a dense subset of translation structures whose vertical flow is reversible.

We develop a theory of $R$-module Thom spectra for a commutative symmetric ring spectrum $R$ and we analyze their multiplicative properties. As an interesting source of examples, we show that $R$-algebra Thom spectra associated to the special unitary groups can be described in terms of quotient constructions on $R$. We apply the general theory to obtain a description of the $R$-based topological Hochschild homology associated to an $R$-algebra Thom spectrum.

We prove a new global stability estimate for the Gel’fand–Calderón inverse problem on a two-dimensional bounded domain. Specifically, the inverse boundary value problem for the equation ${- }\Delta \psi + v\hspace{0.167em} \psi = 0$ on $D$ is analysed, where $v$ is a smooth real-valued potential of conductivity type defined on a bounded planar domain $D$. The main feature of this estimate is that it shows that the smoother a potential is, the more stable its reconstruction is. Furthermore, the stability is proven to depend exponentially on the smoothness, in a sense to be made precise. The same techniques yield a similar estimate for the Calderón problem for electrical impedance tomography.

We prove the integral Hodge conjecture for all 3-folds $X$ of Kodaira dimension zero with $H^{0}(X,K_{X})$ not zero. This generalizes earlier results of Voisin and Grabowski. The assumption is sharp, in view of counterexamples by Benoist and Ottem. We also prove similar results on the integral Tate conjecture. For example, the integral Tate conjecture holds for abelian 3-folds in any characteristic.