Weights in arithmetic geometry

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e., for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the proétale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the proétale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another ingredient for the proof is the geometric acyclicity of crystalline period sheaves, whose computation is due to Andreatta and Brinon.

Fundamental groups of fake projective planes fall into fifty distinct isomorphism classes, one for each complex conjugate pair. We prove that this is not the case for their algebraic fundamental groups: there are only forty-six isomorphism classes. We show that there are four pairs of complex conjugate pairs of fake projective planes that are \operatorname{Aut}(\mathbb{C}) -equivalent and hence have mutually isomorphic algebraic fundamental groups. All other pairs of algebraic fundamental groups are shown to be distinct through explicit finite étale covers. As a by-product, this provides the first examples of commensurable but nonisomorphic lattices in a rank one semisimple Lie group that have isomorphic profinite completions.

We give a way of constructing real variations of mixed Hodge structures over compact Kähler manifolds by using mixed Hodge structures on Sullivan’s 1-minimal models of certain differential graded algebras associated with real variations of Hodge structures.

This book presents an important breakthrough in arithmetic geometry. In 2014, this book's author delivered a series of lectures at the University of California, Berkeley, on new ideas in the theory of p-adic geometry. Building on his discovery of perfectoid spaces, the author introduced the concept of “diamonds,” which are to perfectoid spaces what algebraic spaces are to schemes. The introduction of diamonds, along with the development of a mixed-characteristic shtuka, set the stage for a critical advance in the discipline. This book shows that the moduli space of mixed-characteristic shtukas is a diamond, raising the possibility of using the cohomology of such spaces to attack the Langlands conjectures for a reductive group over a p-adic field. The book follows the informal style of the original Berkeley lectures, with one chapter per lecture. It explores p-adic and perfectoid spaces before laying out the newer theory of shtukas and their moduli spaces. Points of contact with other threads of the subject, including p-divisible groups, p-adic Hodge theory, and Rapoport-Zink spaces, are thoroughly explained.

We show that the algebraic local fundamental group of any Kawamata log terminal singularity as well as the algebraic fundamental group of the smooth locus of any log Fano variety are finite.

In this paper we introduce a certain space of higher order modular forms of\nweight 0 and show that it has a Hodge structure coming from the geometry of the\nfundamental group of a modular curve. This generalizes the usual structure on\nclassical weight 2 forms coming from the cohomology of the modular curve.\nFurther we construct some higher order Poincare series to get higher order\nhigher weight forms and using them we define a space of higher weight, higher\norder forms which has a mixed Hodge structure as well.\n

In this note, we will give some remarks on the results in [J. Amer. Math. Soc. 24 (2011), no. 3, pp. 709–769] by Hain. In particular, we consider the universal curves M g , n + 1 → M g , n {\mathcal {M}}_{g,n+1}\to {\mathcal {M}}_{g,n} and the sections of their algebraic fundamental groups.

We describe explicitly the Voevodsky's triangulated category of motives $\operatorname{DM}^{\mathrm{eff}}_{\mathrm{gm}}$ (and give a ‘differential graded enhancement’ of it). This enables us to able to verify that DMgm ℚ is (anti)isomorphic to Hanamura's $\mathcal{D}$(k).We obtain a description of all subcategories (including those of Tate motives) and of all localizations of $\operatorname{DM}^{\mathrm{eff}}_{\mathrm{gm}}$. We construct a conservative weight complex functor $t:\smash{\operatorname{DM}^{\mathrm{eff}}_{\mathrm{gm}}}\to\smash{K^{\mathrm{b}}(\operatorname{Chow}^{\mathrm{eff}})}$; t gives an isomorphism $K_0(\smash{\operatorname{DM}^{\mathrm{eff}}_{\mathrm{gm}}})\to\smash{K_0(\operatorname{Chow}^{\mathrm{eff}})}$. A motif is mixed Tate whenever its weight complex is. Over finite fields the Beilinson–Parshin conjecture holds if and only if tℚ is an equivalence.For a realization D of $\operatorname{DM}^{\mathrm{eff}}_{\mathrm{gm}}$ we construct a spectral sequence S (the spectral sequence of motivic descent) converging to the cohomology of an arbitrary motif X. S is ‘motivically functorial’; it gives a canonical functorial weight filtration on the cohomology of D(X). For the ‘standard’ realizations this filtration coincides with the usual one (up to a shift of indices). For the motivic cohomology this weight filtration is non-trivial and appears to be quite new.We define the (rational) length of a motif M; modulo certain ‘standard’ conjectures this length coincides with the maximal length of the weight filtration of the singular cohomology of M.

We first construct compatible actions of the product of the unit interval and the unit circle as a monoid on a semi-stable degeneration of pairs and on the associated log topological spaces. Then we show that the log topological family is locally trivial in piecewise smooth category over the base, i.e., the associated log topological family recovers the vanishing cycles of the original semi-stable degeneration in the most naive sense. Using this result together with the log Riemann-Hilbert correspondence, we introduce two types of integral structure of the variation of mixed Hodge structure associated to a semi-stable degeneration of pairs.

Variation of mixed Hodge structure. II

We introduce a multiple generalization of the tame symbol, called {\em polysymbols}, associated to meromorphic functions on a Riemann surface as the Massey products in Deligne cohomology, and also give a geometric construction of polysymbols using Chen's iterated integrals. We then deduce some basic properties of polysymbols using our holonomy formula, and show that trivializations of polysymbols give variations of mixed Hodge structure.

A guide to unipotent variations of mixed hodge structure

A p-adic Simpson correspondence

We study the asymptotic behaviour of the Bloch-Kato-Shafarevich-Tate group of a modular form f over the cyclotomic ℤp-extension of ℚ under the assumption that f is non-ordinary at p. In particular, we give upper bounds of these groups in terms of Iwasawa invariants of Selmer groups defined using p-adic Hodge Theory. These bounds have the same form as the formulae of Kobayashi, Kurihara, and Sprung for supersingular elliptic curves.

We establish that the extended Robba rings associated to a perfect nonarchimedean field of characteristic p, which arise in p-adic Hodge theory as certain completed localizations of the ring of Witt vectors, are strongly noetherian Banach rings; that is, the completed polynomial ring in any number of variables over such a Banach ring is noetherian. This enables Huber's theory of adic spaces to be applied to such rings. We also establish that rational localizations of these rings are principal ideal domains and that etale covers of these rings (in the sense of Huber) are Dedekind domains.