No Arabic abstract
We study a generalization of Serre--Tate theory of ordinary abelian varieties and their deformation spaces. This generalization deals with abelian varieties equipped with additional structures. The additional structures can be not only an action of a semisimple algebra and a polarization, but more generally the data given by some ``crystalline Hodge cycles (a $p$-adic version of a Hodge cycle in the sense of motives). Compared to Serre--Tate ordinary theory, new phenomena appear in this generalized context. We give an application of this theory to the existence of ``good integral models of those Shimura varieties whose adjoints are products of simple, adjoint Shimura varieties of $D_l^{bf H}$ type with $lge 4$.
In algebraic geometry, one often encounters the following problem: given a scheme X, find a proper birational morphism from Y to X where the geometry of Y is nicer than that of X. One version of this problem, first studied by Faltings, requires Y to be Cohen-Macaulay; in this case Y is called a Macaulayfication of X. In another variant, one requires Y to satisfy the Serre condition S_r. In this paper, the authors introduce generalized Serre conditions--these are local cohomology conditions which include S_r and the Cohen-Macaulay condition as special cases. To any generalized Serre condition S_rho, there exists an associated perverse t-structure on the derived category of coherent sheaves on a suitable scheme X. Under appropriate hypotheses, the authors characterize those schemes for which a canonical finite S_rho-ification exists in terms of the intermediate extension functor for the associated perversity. Similar results, including a universal property, are obtained for a more general morphism extension problem called S_rho-extension.
Refining a theorem of Zarhin, we prove that given a $g$-dimensional abelian variety $X$ and an endomorphism $u$ of $X$, there exists a matrix $A in operatorname{M}_{2g}(mathbb{Z})$ such that each Tate module $T_ell X$ has a $mathbb{Z}_ell$-basis on which the action of $u$ is given by $A$.
Tates central extension originates from 1968 and has since found many applications to curves. In the 80s Beilinson found an n-dimensional generalization: cubically decomposed algebras, based on ideals of bounded and discrete operators in ind-pro limits of vector spaces. Kato and Beilinson independently defined (n-)Tate categories whose objects are formal iterated ind-pro limits in general exact categories. We show that the endomorphism algebras of such objects often carry a cubically decomposed structure, and thus a (higher) Tate central extension. Even better, under very strong assumptions on the base category, the n-Tate category turns out to be just a category of projective modules over this type of algebra.
We develop an analogue of Eisenbud-Floystad-Schreyers Tate resolutions for toric varieties. Our construction, which is given by a noncommutative analogue of a Fourier-Mukai transform, works quite generally and provides a new perspective on the relationship between Tate resolutions and Beilinsons resolution of the diagonal. We also develop a Beilinson-type resolution of the diagonal for toric varieties and use it to generalize Eisenbud-Floystad-Schreyers computationally effective construction of Beilinson monads.
In this paper we study various aspects of the Ekedahl-Serre problem. We formulate questions of Ekedahl-Serre type and Coleman-Oort type for general weakly special subvarieties in the Siegel moduli space, propose a conjecture relating these two questions, and provide examples supporting these questions. The main new result is an upper bound of genera for curves over number fields whose Jacobians are isogeneous to products of elliptic curves satisfying the Sato-Tate equidistribution, and we also refine previous results showing that certain weakly special subvarieties only meet the open Torelli locus in at most finitely many points.