本书沿 Faltings 的方法系统阐述 p 进 Hodge 理论中的 p 进比较定理与 Hodge-Tate 谱序列，分别建立绝对和相对版本，其中相对 Hodge-Tate 谱序列及部分证明依赖新结果，填补了相对情形研究的不足。
摘要：
本书介绍了 p 进 Hodge 理论中两个重要结果，遵循 Faltings 开创的方法，即 (i) 他的主要 p 进比较定理，以及 (ii) Hodge-Tate 谱序列。我们为每个结果建立了两个版本：绝对版本和相对版本。虽然绝对陈述可以合理地被认为已被充分理解，特别是在 Scholze 将其推广到刚性簇之后，但 Faltings 对相对变体的最初方法仍然研究得少得多。尽管我们遵循 Faltings 用于建立其主要 p 进比较定理的相同策略，但我们的部分证明基于新的结果。相对 Hodge-Tate 谱序列在这一方法中是新的。
英文摘要：
This book presents two important results in p-adic Hodge theory following the approach initiated by Faltings, namely (i) his main p-adic comparison theorem, and (ii) the Hodge-Tate spectral sequence. We establish for each of these results two versions, an absolute one and a relative one. While the absolute statements can reasonably be considered as well understood, particularly after their extension to rigid varieties by Scholze, Faltings' initial approach for the relative variants has remained much less studied. Although we follow the same strategy as that used by Faltings to establish his main p-adic comparison theorem, part of our proofs is based on new results. The relative Hodge-Tate spectral sequence is new in this approach.
The Hodge-Tate spectral sequence for a proper smooth variety over a p-adic field provides a framework for us to revisit Faltings' approach to p-adic Hodge theory and to fill in many details. The spectral sequence is obtained from the Cartan-Leray spectral sequence for the canonical projection from the Faltings topos to the étale topos of an integral model of the variety. Its abutment is computed by Faltings' main comparison theorem from which derive all comparison theorems between p-adic étale cohomology and other p-adic cohomologies, and its initial term is related to the sheaf of differentia…
We classify the possible Mumford-Tate groups of polarizable rational Hodge structures. Along the way we deduce a polarized Hodge-theoretic analogue of a conjectural property of motivic Galois groups suggested by Serre.
In this article, we generalize the Hodge-Tate decomposition of p-adic étale cohomology to non-smooth rigid spaces. Our strategy is to study pro-étale cohomology of rigid spaces introduced by Scholze, using the resolution of singularities and the simplicial method.
We give in this note an overview of a recent work leading to a generalization of the Hodge-Tate spectral sequence to morphisms. The latter takes place in Faltings topos, but its construction requires the introduction of a relative variant of this topos which is the main novelty of our work.
Sen attached to each p-adic Galois representation of a p-adic field a multiset of numbers called generalized Hodge-Tate weights. In this paper, we discuss a rigidity of these numbers in a geometric family. More precisely, we consider a p-adic local system on a rigid analytic variety over a p-adic field and show that the multiset of generalized Hodge-Tate weights of the local system is constant. The proof uses the p-adic Riemann-Hilbert correspondence by Liu and Zhu, a Sen-Fontaine decompletion theory in the relative setting, and the theory of formal connections. We also discuss basic propertie…
One of the goals of this article is to describe the isomorphism between Lubin-Tate and Drinfeld towers at the level of their skeletons after taking quotient by $\GL_n (Ø_F)\times Ø_D^\times$ or $I\timesØ_D^\times$ where $Ø_D$ is the maximal order in the division algebra with invariant $\frac{1}{n}$ over $F$ and $I$ a Iwahori subgroup of $\GL_n$. We give applications to the theory of canonical subgroups on Lubin-Tate spaces, the description of spherical Hecke orbits in those spaces, fundamental domains for Hecke correspondences and the Gross-Hopkins period mapping. We also study in details the …
Faltings initiated in 2005 a p-adic analogue of the (complex) Simpson correspondence whose construction has been taken up by various authors, according to several approaches. Following the one we initiated previously, we present an overview of a new monograph developing new features of the p-adic Simpson correspondence, inspired by our construction of the relative Hodge-Tate spectral sequence. First, we address the connection to Hodge-Tate local systems. Second, we establish the functoriality of the p-adic Simpson correspondence by proper direct image. Along the way, we expand the scope of our…
Along the lines of Hodge and Tate conjectures, Beilinson conjectured that in the qth cohomology all the weight 2q Hodge cycles of a smooth complex variety and all the weight 2q Tate cycles of a smooth variety over a finitely generated field comes from the higher Chow groups. For product of curves and semiabelian varieties, Beilinson-Hodge conjecture was shown in a previous paper by the authors. Here both Beilinson-Hodge and Beilinson-Tate conjectures are shown to be true for varieties dominated by product of curves. We also show that lower weight Hodge cycles (resp. Tate cycles) are algebraic …
In despair, as Deligne (2000) put it, of proving the Hodge and Tate conjectures, we can try to find substitutes. For abelian varieties in characteristic zero, Deligne (1982) constructed a theory of Hodge classes having many of the properties that the algebraic classes would have if the Hodge conjecture were known. In this article I investigate whether there exists a theory of "rational Tate classes" on varieties over finite fields having the properties that the algebraic classes would have if the Hodge and Tate conjectures were known. v3. Submitted version.
In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,ρ)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.
We study the formal neighbourhood of a point in $μ$-ordinary locus of an integral model of a Hodge type Shimura variety. We show that this formal neighbourhood has a structure of a shifted cascade. Moreover we show that the CM points on the formal neighbourhood are dense and that the identity section of the shifted cascade corresponds to a lift of the abelian variety which has a characterization in terms of its endomorphisms in analogy with the Serre-Tate canonical lift of an ordinary abelian variety.
For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios contained in $L$ if and only if $G$ has CM, if and only if the period ratios generate an extension of $\mathbb{Q}_p$ of degree equal to the height of the connected part of $G$. This is a $p$-adic analog of a classical transcendence result of Schneider which states that for $τ$ in the complex upper half plane, $τ$ and $j(τ)$ are simultaneously algebraic over…
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
We show that certain abelian varieties A have the property that for every Hodge structure V in the cohomology of A, every effective Tate twist of V occurs in the cohomology of some abelian variety. We deduce the general Hodge conjecture for certain non-simple abelian varieties of type IV.
A constructible sheaf corresponding to Gel'fand Zelevinski hypergeometric functions on a torus is called hypergeometric sheaf. We consider Hodge and Tate conjectrue for hypergeomtric sheaves. Hodge conjecture is formulated in terms of variation of Hodge strucure and Tate conjecture is done for l-adic sheaves on an open set of torus. We prove Hodge and Tate conjecture up to Hodge and Tate cycle of Fermat motifes. We use cohomological Mellin transform to get the main theorem. This is the final revision for preprint.
In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how to produce such families. Furthermore, we show for varieties with worse singularities the conjecture can be expressed solely in terms of the algebraic classes.
It's well known that multiple polylogarithms give rise to good unipotent variations of mixed Hodge-Tate structures. In this paper we shall {\em explicitly} determine these structures related to multiple logarithms and some other multiple polylogarithms of lower weights. The purpose of this explicit construction is to give some important applications: First we study of the limit mixed Hodge-Tate structures and make a conjecture relating the variations of mixed Hodge-Tate structures of multiple logarithms to those of general multiple {\em poly}logarithms. Then following Deligne and Beilinson we …
We develop the theory of multiple polylogarithms from analytic, Hodge and motivic point of view. Define the category of mixed Tate motives over a ring of integers in a number field. Describe explicitly the multiple polylogarithm Hopf algebra.
We give a sufficient condition for a class of tame compactified Landau-Ginzburg models in the sense of Katzarkov-Kontsevich-Pantev to satisfy some versions of their conjectures. We also give examples which satisfy the condition. The relations to the quantum D-modules of Fano manifolds and the original conjectures are explained in Appendices.
Let $\calO_K$ be a complete discrete valuation ring of mixed characteristic $(0,p)$ with a perfect residue field. In this paper, for a semi-stable $p$-adic formal scheme $\frakX$ over $\calO_K$ with rigid generic fibre $X$ and canonical log structure $\calM_{\frakX} = \calO_{\frakX}\cap\calO_X^{\times}$, we study Hodge--Tate crystals over the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$. As an application, we give an equivalence between the category of rational Hodge--Tate crystals on the absolute logarithmic prismatic site $(\frakX,\calM_{\frakX})_{\Prism}$ and the c…
This is loosely a continuation of the author's previous paper arXiv:1802.09496. In the first part, given a fibered variety, we pull back the Leray filtration to the Chow group, and use this to give some criteria for the Hodge and Tate conjectures to hold for such varieties. In the second part, we show that the Hodge conjecture holds for a good desingularization of a self fibre product of a non-isotrivial elliptic surface under appropriate conditions. We also show that the Hodge and Tate conjectures hold for natural families of abelian varieties parameterized by certain Shimura curves. This use…
We collect evidence in support of a conjecture of Griffiths, Green and Kerr on the arithmetic of extension classes of limiting mixed Hodge structures arising from semistable degenerations over a number field. After briefly summarizing how a result of Iritani implies this conjecture for a collection of hypergeometric Calabi-Yau threefold examples studied by Doran and Morgan, the authors investigate a sequence of (non-hypergeometric) examples in dimensions 1 through 6 arising from Katz's theory of the middle convolution. A crucial role is played by the Mumford-Tate group (of type G2) of the fami…
The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate--Shafarevich group and the Tate conjecture of surfaces over finite fields.
The family of all mixed Hodge structures on a given rational vector space $M_\mathbb{Q}$ with a fixed weight filtration $W_\cdot$ and a fixed associated graded Hodge structure $Gr^WM$ is naturally in a one to one correspondence with a complex affine space. We study the unipotent radical of the very general Mumford-Tate group of the family. We do this by using general Tannakian results which relate the unipotent radical of the fundamental group of an object in a filtered Tannakian category to the extension classes of the object coming from the filtration. Our main result shows that if $Gr^WM$ i…
We introduce $\ell$-Galois special subvarieties as an $\ell$-adic analog of the Hodge-theoretic notion of a special subvariety. The Mumford-Tate conjecture predicts that both notions are equivalent. We study some properties of these subvarieties and prove this equivalence for subvarieties satisfying a simple monodromy condition. As applications, we show that the $\ell$-Galois exceptional locus is a countable union of algebraic subvarieties and, if the derived group of the generic Mumford-Tate group of a family is simple, its part of positive period dimension coincides with the Hodge locus of p…
We exhibit a precise connection between Néron--Tate heights on smooth curves and biextension heights of limit mixed Hodge structures associated to smoothing deformations of singular quotient curves. Our approach suggests a new way to compute Beilinson--Bloch heights in higher dimensions.
The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using $p$-adic Hodge theory. We show that an unconditional result lies behind this implication: the {\it observability} of arithmetic monodromy groups of geometric origin (in any characteristic) - which leads to a sharpening of Moonen's result. We also discuss another aspect of the Tate conjecture related to the transcendence of $p$-adic periods.
The category of rational mixed Hodge-Tate structures is a mixed Tate category. So thanks to the Tannakian formalism, it is equivalent to the category of finite dimensional graded comodules over a graded commutative Hopf algebra H over Q. Since the category has homological dimension 1, the Hopf algebra H is isomorphic to the commutative graded Hopf algebra provided by the tensor algebra of the graded vector space given by the direct sum of the groups C/Q(n) over n>0. However this isomorphism is not natural in any sense, e.g. does not work in families. We give a natural explicit construction of …
We study certain spaces of nilpotent orbits in Hodge domains, and treat a number of examples. More precisely, we compute the Mumford-Tate group of the limit mixed Hodge structure of a generic such orbit. The result is used to present these spaces as iteratively fibered algebraic-group orbits in a minimal way. We conclude with two applications to variations of Hodge structure.
A-D-E diagrams, Hodge--Tate hyperplane sections and semisimple quantum cohomology
PUC-Rio（天主教里约热内卢大学）；The Institute of Mathematical Sciences and Department of Mathematics, The Chinese University of Hong Kong（香港中文大学数学科学研究所及数学系）；School of Mathematics, Sun Yat-sen University（中山大学数学学院）；Department of Mathematics, University of Michigan（密歇根大学数学系）
We give an algorithm that takes a smooth hypersurface over a number field and computes a $p$-adic approximation of the obstruction map on the Tate classes of a finite reduction. This gives an upper bound on the "middle Picard number" of the hypersurface. The improvement over existing methods is that our method relies only on a single prime reduction and gives the possibility of cutting down on the dimension of Tate classes by two or more. The obstruction map comes from $p$-adic variational Hodge conjecture and we rely on the recent advancement by Bloch-Esnault-Kerz to interpret our bounds.
This paper studies crystalline representations of G_K with coefficients of any dimension, where K is the unramified extension of Q_p of degree a. We prove a theorem of Fontaine-Laffaille type when σ-invariant Hodge-Tate weight less than p-1, which establishes the bijection between Galois stable lattices in crystalline representations and strongly divisible ϕ-lattice. In generalizing Breuil's work, we classify all reducible and irreducible crystalline representations of G_K of dimensional 2, then describe their mod p reductions. We generalize some results (of Deligne, Fontaine-Serre, and Edixho…
Let $(G,X)$ be a Shimura pair of Hodge type such that $G$ is the Mumford--Tate group of some elements of $X$. We assume that for each simple factor $G_0$ of $G^{\ad}$ there exists a simple factor of $G_{0\dbR}$ which is compact. Let $N\Ge 3$. We show that for many compact open subgroups $K$ of $G(\dbA_f)$, the Shimura variety $\Sh(G,X)/K$ has a projective integral model $\scrN$ over $\dbZ[{1\over N}]$ which is a finite scheme over a certain Mumford moduli scheme $\scrA_{g,1,N}$. Equivalently, we show that if $A$ is an abelian variety over a number field and if the Mumford--Tate group of $A_{\d…
Using the theory of mixed perverse sheaves, we extend arguments on the Hodge conjecture initiated by Lefschetz and Griffiths to the case of the Tate conjecture, and show that the Tate conjecture for divisors is closely related to the de Rham conjecture for nonproper varieties, finiteness of the Tate-Shafarevich groups, and also to some conjectures in the analytic number theory.
We give a new proof of the Tate-Voloch conjecture, in the situation where the ambient variety is a semiabelian variety defined over Qp. Our proof is new in the sense that it avoids any reference to algebraic model theory or p-adic Hodge theory.
