If $S$ is a scheme of characteristic $p$, we define an $F$-zip over $S$ to be a vector bundle with two filtrations plus a collection of semi-linear isomorphisms between the graded pieces of the filtrations. For every smooth proper morphism $X\to S$ satisfying certain conditions the de Rham bundles $H^n_{\rm dR}(X/S)$ have a natural structure of an $F$-zip. We give a complete classification of $F$-zips over an algebraically closed field by studying a semi-linear variant of a variety that appears in recent work of Lusztig. For every $F$-zip over $S$ our methods give a scheme-theoretic stratification of $S$. If the $F$-zip is associated to an abelian scheme over $S$ the underlying topological stratification is the Ekedahl-Oort stratification. We conclude the paper with a discussion of several examples such as good reductions of Shimura varieties of PEL type and K3-surfaces.
We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and `discrete Shafarevich-Tate groups', and prove that they are finitely generated $\Bbb Z$-modules. Further, we prove that in the isotrivial case, the discrete Shafarevich-Tate group vanishes and the discrete Selmer group coincides with the Mordell-Weil group. One of the key ingredients to prove these results is a new specialisation theorem à la Néron for first Galo…
This paper is a summary of author's results on finite flat commutative group schemes. The properties of the generic fibre functor are discussed. A complete classification of finite local flat commutative group schemes over mixed characteristic complete discrete valuation rings in terms of their Cartier modules (defined by Oort) is given. We also state several properties of tangent space of these schemes. These results are applied to the study of reduction of Abelian varieties. A finite $p$-adic semistable reduction criterion is formulated. It looks especially nice in the ordinary reduction cas…
Kuga and Satake associate with every polarized complex K3 surface (X,L) a complex abelian variety called the Kuga-Satake abelian variety of (X,L). We use this construction to define morphisms between moduli spaces of polarized K3 surface with certain level structures and moduli spaces of polarized abelian varieties with level structure over C. In this note we study these morphisms. We prove first that they are defined over finite extensions of Q. Then we show that they extend in positive characteristic. In this way we give an indirect construction of Kuga-Satake abelian varieties over an arbit…
We express the order of the pole and the leading coefficient of the L-function of a (large class of) -adic coefficients (any prime) over a quasi-projective variety over a finite field of characteristic p. This is a generalization of the result of Milne-Ramachandran with coefficients. The new key ingredient is the use of F-gauges and their equivalence in the derived category with Raynaud modules proved by Ekedahl.
This paper is a continuation of [G-dS1]. We study foliations of two types on Shimura varieties $S$ in characteristic $p$. The first, which we call "tautological foliations", are defined on Hilbert modular varieties, and lift to characteristic $0$. The second, the "$V$-foliations", are defined on unitary Shimura varieties in characteristic $p$ only, and generalize the foliations studied by us before, when the CM field in question was quadratic imaginary. We determine when these foliations are $p$-closed, and the locus where they are smooth. Where not smooth, we construct a "successive blow up" …
We study invariants of Calabi-Yau varieties in positive characteristic, especially the height of the Artin-Mazur formal group. We illustrate these results by Calabi-Yau varieties of Fermat and Kummer type.
For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.
We introduce an invariant of varieties in positive characteristic which generalizes the a-number of an abelian variety. We calculate it in some examples and discuss its meaning for moduli.
We prove a Kodaira-type vanishing theorem for the Witt vector sheaf on a Fano variety over a perfect field of characteristic p. As a corollary, we deduce that the number of rational points on a Fano variety over a finite field with q=p^n elements is congruent to 1 mod q. This refines a result of Esnault which say that the number is congruent to 1 mod p.
We discuss relations between certain invariants of varieties in positive characteristic, like the a-number and the height of the Artin-Mazur formal group. We calculate the a-number for Fermat surfaces
We use the liftability of the relative Frobenius morphism of toric varieties and the strong liftability of toric varieties to prove the Bott vanishing theorem, the degeneration of the Hodge to de Rham spectral sequence and the Kawamata-Viehweg vanishing theorem for log pairs on toric varieties in positive characteristic. These results generalize those results of Danilov, Buch-Thomsen-Lauritzen-Mehta, Mustata and Fujino to the case where concerned Weil divisors are not necessarily torus invariant.
We prove that Prym varieties are characterized geometrically by the existence of a symmetric pair of quadrisecant planes of the associated Kummer variety. We also show that Prym varieties are characterized by certain (new) theta-functional equations. For this purpose we construct and study a difference-differential analog of the Novikov-Veselov hierarchy.
Unlike in characteristic 0, there are no non-trivial smooth varieties over an algebraically closed field k of characteristic p>0 that are contractible in the sense of etale homotopy theory.
We show, among other things, that for each integer $n \ge 3$, there is a smooth complex projective rational variety of dimension $n$, with discrete non-finitely generated automorphism group and with infinitely many mutually non-isomorphic real forms. Our result is inspired by the work of Lesieutre and the work of Dinh and Oguiso.
We study the motivic Serre invariant of a smoothly bounded algebraic or rigid variety $X$ over a complete discretely valued field $K$ with perfect residue field $k$. If $K$ has characteristic zero, we extend the definition to arbitrary $K$-varieties using Bittner's presentation of the Grothendieck ring and a process of Néron smoothening of pairs of varieties. The motivic Serre invariant can be considered as a measure for the set of unramified points on $X$. Under certain tameness conditions, it admits a cohomological interpretation by means of a trace formula. In the curve case, we use T. Sait…
We prove Bogomolov's inequality for semistable sheaves on product type varieties in arbitrary characteristic. This gives the first examples of varieties with positive Kodaira dimension in positive characteristic on which Bogomolov's inequality holds for semistable sheaves of any rank. The key ingredient in the proof is a high rank generalization of the slope inequality established by Xiao and Cornalba-Harris. This Bogomolov's inequality is applied to study the positivity of linear systems and semistable sheaves and construct Bridgeland stability conditions on product type surfaces in positive …
We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties with real multiplication.
We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational map.
We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we let S(k,n) denote the fraction of the isogeny classes of n-dimensional abelian varieties over k that consist of absolutely simple ordinary abelian varieties. Then for every n, the quantity S(F_q,n) approaches 1 as q approaches infinity over the prime powers.
In this paper, we study the set $R_g^{(p)}$ of possible Picard numbers of abelian varieties of dimension $g$ over algebraically closed fields of characteristic $p>0$. We show that many of the results for complex abelian varieties have analogues in positive characteristic: non-completeness in dimension $g \geq 2$, asymptotic completeness as $g \rightarrow +\infty$, structure results for abelian varieties of large Picard number. On the way, we highlight and discuss new characteristic $p>0$ features and pathologies: non-additivity of the range of Picard numbers, supersingularity index of an abeli…
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's theorem.
Normal toric varieties over a field or a discrete valuation ring are classified by rational polyhedral fans. We generalize this classification to normal toric varieties over an arbitrary valuation ring of rank one. The proof is based on a generalization of Sumihiro's theorem to this non-noetherian setting. These toric varieties play an important role for tropicalizations.
The results in this paper imply that for every number field F and positive integer r, there exists an F-isogeny class of abelian varieties such that r divides the degree of every F-polarization on every abelian variety in the isogeny class.
We study geometric and algebraic geometric properties of the continuous and discrete Neumann systems on cotangent bundles of Stiefel varieties $V_{n,r}$. The systems are integrable in the non-commutative sense, and by applying a $2r\times 2r$--Lax representation, we show that generic complex invariant manifolds are open subsets of affine (non-compact) Prym varieties on which the complex flow is linear. The characteristics of the varieties and the direction of the flow are calculated explicitly. Next, we construct a family of (multi-valued) integrable discretizations of the Neumann systems and …
In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an étale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization of toric varieties. We further prove that, without assumption of global $F$-splitting, a smooth projective separably rationally connected variety of arbitrary characteristic with numerically flat log cotangent bundle is a toric variety.
We prove that a Fano variety (with arbitrary singularities) of dimension $n$ in positive characteristic is isomorphic to $\mathbb{P}^n$ if the Seshadri constant of the anti-canonical divisor at some smooth point is greater than $n$ and classify Fano varieties whose anti-canonical divisors have Seshadri constants $n$. In characteristic $p>5$ and dimension $3$, we also show that Fano varieties $X$ with Seshadri constants $ε(-K_X,x)>2+ε$ at some smooth point $x\in X$ (for some fixed $ε>0$) have bounded anti-canonical degrees.
The biduality and reflexivity theorems are known to hold for projective varieties defined over fields of characteristic zero, and to fail in positive characteristic. In this article, we construct a notion of reflexivity and biduality in positive characteristic by generalizing the ordinary tangent space to the notion of $h$-tangent spaces. The ordinary reflexivity theory can be recovered as the special case $h=0$, of our theory. Several varieties that are not ordinary reflexive or bidual become reflexive in our extended theory.
We generalize results about local heights previously proved in the case of discrete absolute values to arbitrary non-archimedean absolute values of rank 1. First, this is done for the induction formula of Chambert-Loir and Thuillier. Then we prove the formula of Burgos--Philippon--Sombra for the toric local height of a proper normal toric variety in this more general setting. We apply the corresponding formula for Moriwaki's global heights over a finitely generated field to a fibration which is generically toric. We illustrate the last result in a natural example where non-discrete non-archime…
We describe the moduli spaces of morphisms between polarized complex abelian varieties. The discrete invariants, derived from a Poincare' decomposition of morphisms, are the types of polarizations and of lattice homomorphisms occurring in the decomposition. For a given type of morphisms the moduli variety is irreducible, and is obtained from a product of Siegel spaces modulo the action of a discrete group.
Let $X$ be a smooth projective variety defined over an algebraically closed field of positive characteristic $p$ whose tangent bundle is nef. We prove that $X$ admits a smooth morphism $X \to M$ such that the fibers are Fano varieties with nef tangent bundle and $T_M$ is numerically flat. We also prove that extremal contractions exist as smooth morphisms. As an application, we prove that, if the Frobenius morphism can be lifted modulo $p^2$, then $X$ admits, up to a finite étale Galois cover, a smooth morphism onto an ordinary abelian variety whose fibers are products of projective spaces.
We prove a generic vanishing type statement in positive characteristic and apply it to prove positive characteristic versions of Kawamata's theorems: a characterization of smooth varieties birational to ordinary abelian varieties and the surjectivity of the Albanese map when the Frobenius stable Kodaira dimension is zero.
We show that there is a good notion of irreducible sympelectic varieties of $\mathrm{K3}^{[n]}$-type over an arbitrary field of characteristic zero or $p > n + 1$. Then we construct mixed characteristic moduli spaces for these varieties. Our main result is a generalization of Ogus' crystalline Torelli theorem for supersingular K3 surfaces. For applications, we answer a slight variant of a question asked by F. Charles on moduli spaces of sheaves on K3 surfaces and give a crystalline Torelli theorem for supersingular cubic fourfolds.
We give a positive answer to the questions 4.4 on Hodge type and 4.2 on divisibility of the eigenvalues of Frobenius of the article by N. Fakhruddin and C. S. Rajan (NT/0402230).
In the area of symbolic-numerical computation within computer algebra, an interesting question is how "close" a random input is to the "critical" ones, like the singular matrices in linear algebra or the polynomials with multiple roots for Newton's root-finding method. Bounds, sometimes very precise, are known for the volumes over R or C of such neighborhoods of the varieties of "critical" inputs. This paper deals with the discrete version of this question: over a finite field, how many points lie in a certain type of neighborhood around a given variety? A trivial upper bound on this number is…
This is a revision and update of the part of the preprint math.CO/0405210 concerning field coefficients, line complexes, and the Hessian arrangement. The material from that paper concerning coefficients in arbitrary commutative rings and the deleted B_3 arrangement will appear separately.
This paper studies several notions of sheaves of differential forms that are better behaved on singular varieties than Kähler differentials. Our main focus lies on varieties that are defined over fields of positive characteristic. We identify two promising notions: the sheafification with respect to the cdh-topology, and right Kan extension from the subcategory of smooth varieties to the category of all varieties. Our main results are that both are cdh-sheaves and agree with Kähler differentials on smooth varieties. They agree on all varieties under weak resolution of singularities. A number o…
Consider a smooth log Fano variety over the function field of a curve. Suppose that the boundary has positive normal bundle. Choose an integral model over the curve. Then integral points are Zariski dense, after removing an explicit finite set of points on the base curve.
Let $G$ be a simple algebraic group of type $B_2$ over an algebraically closed field of odd characteristic. We prove that the flag variety $G/B$ is D-affine. This extends an earlier result of H.H.Andersen and M.Kaneda.
The moduli stacks of Calabi-Yau varieties are known to enjoy several hyperbolicity properties. The best results have so far been proven using sophisticated analytic tools such as complex Hodge theory. Although the situation is very different in positive characteristic (e.g. the moduli stack of principally polarized abelian varieties of dimension at least 2 contains rational curves), we explain in this note how one can prove many hyperbolicity results by reduction to positive characteristic, relying ultimately on the nonabelian Hodge theory in positive characteristic developed by Ogus and Volog…
We prove that the $F$-jumping numbers of the test ideal $τ(X; Δ, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+Δ$ is $\bQ$-Cartier of index not divisible $p$, and either $X$ is essentially of finite type over a field or the sheaf of ideals $\ba$ is locally principal. This is the largest generality for which discreteness and rationality are known for the jumping numbers of multiplier ideals in characteristic zero.
We discuss $p$-adic unipotent Albanese maps for curves of positive genus, extending the theory of $p$-adic multiple polylogarithms. This construction is then used to relate linear Diophantine conjectures of `Birch and Swinnerton-Dyer type' to non-linear theorems of Faltings-Siegel type.
We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.
