For a proper (not necessarily smooth) variety over a finite field with q elements, Berthelot-Bloch-Esnault proved a trace formula which computes the number of rational points modulo q in terms of the Witt vector cohomology. We show the analogous formula for Witt vector cohomology of finite length. In addition, we prove a vanishing result for the compactly supported étale cohomology of a constant p-torsion sheaf on an affine Cohen-Macaulay variety in positive characteristic p.
The eigenvalues of Frobenius acting on $\ell$-adic cohomology of a complete intersection over a finite field have the divisibility predicted by the theorem of Ax and Katz. We have corrected some unforgivable typos.
In this paper, we introduce a family of hyper-elliptic curves. For this family we compute the matrix of the divided Frobenius and we obtain general formulas. We use a recent results of Huyghe-Wach : the divided Frobenius coincides with the morphism built by Deligne-Illusie in 1987.
We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme…
This paper is a sequel to arXiv:1209.5550 where the notion of mixed Frobenius structure (MFS) was introduced as a generalization of the structure of a Frobenius manifold. Roughly speaking, the MFS is defined by replacing a metric of the Frobenius manifold with a filtration on the tangent bundle equipped with metrics on its graded quotients. The purpose of the current paper is to construct a MFS on the cohomology of a smooth projective variety whose multiplication is the non-equivariant limit of the quantum product twisted by a concave vector bundle. We show that such a MFS is naturally obtaine…
The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by developing the notion of relative Frobenius actions on local cohomology. As an application, we show that a ring has $F$-nilpotent singularities if and only if the tight closure of every parameter ideal is equal to its Frobenius closure.
We develop a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology. In this first paper we mainly discuss the theory for smooth projective varieties over perfect fields of charatceristic p. We also compare our theory with other existing structures like the F-zips of Moonen and Wedhorn and the displays of Langer and Zink.
For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-Twisted) multiplicative displays. As examples our main results include the cases of abelian schemes, complete intersections, varieties of K3 type and some Calabi-Yau $n$-folds.
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with coefficients. This result generalizes the classical comparison theorem of Bloch-Illusie for proper and smooth schemes. In the proof, the key step is an extension of the Bloch-Illusie theorem to the case of cohomologies relative to $W_n$ with coefficients in a crystal that is only supposed to be flat over $W_n$.
Over a perfect field $k$ of characteristic $p > 0$, we construct a ``Witt vector cohomology with compact supports'' for separated $k$-schemes of finite type, extending (after tensorisation with $\mathbb{Q}$) the classical theory for proper $k$-schemes. We define a canonical morphism from rigid cohomology with compact supports to Witt vector cohomology with compact supports, and we prove that it provides an identification between the latter and the slope $< 1$ part of the former. Over a finite field, this allows one to compute congruences for the number of rational points in special examples. I…
We define the notion of mixed Frobenius structure which is a generalization of the structure of a Frobenius manifold. We construct a mixed Frobenius structure on the cohomology of weak Fano toric surfaces and that of the three dimensional projective space using local Gromov-Witten invariants. This is an analogue of the Frobenius manifold associated to the quantum cohomology in the local Calabi-Yau setting.
Extending the notion of Frobenius-splitting, we prove that every finite height Calabi-Yau variety defined over an algebraically closed field of positive characteristic can be lifted to the ring of Witt vectors of length two.
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovar and Scholl. This is achieved with the help of Morel's work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
The goal of this small note is to extend a result by Christopher Davis and David Zureick-Brown on the comparison between integral Monsky-Washnitzer cohomology and overconvergent de~Rham-Witt cohomology for a smooth variety over a perfect field of positive characteristic $p$ to all cohomological degrees independent of the dimension of the base or the prime number $p$. Le but de ce travail est de prolonger un résultat de Christopher Davis et David Zureick-Brown concernant la comparaison entre la cohomologie de Monsky-Washnitzer entière et la cohomologie de de~Rham-Witt surconvergente d'une varié…
Let $X$ be a smooth proper variety of even dimension $d$ over a finite field. We establish a restriction on the value at $(-1)$ of the characteristic polynomial of the Frobenius on the middle-dimensional étale cohomology of $X$ with coefficients in ${\mathbb Q}_l(d/2)$.
We extend the definition of the Chen-Ruan cohomology ring to smooth, proper, tame, Deligne-Mumford stacks over fields of positive characteristic and prove that a modified version of the Frobenius action preserves the product.
We introduce a "limiting Frobenius structure" attached to any degeneration of projective varieties over a finite field of characteristic p which satisfies a p-adic lifting assumption. Our limiting Frobenius structure is shown to be effectively computable in an appropriate sense for a degeneration of projective hypersurfaces. We conjecture that the limiting Frobenius structure relates to the rigid cohomology of a semistable limit of the degeneration through an analogue of the Clemens-Schmidt exact sequence. Our construction is illustrated, and conjecture supported, by a selection of explicit ex…
This paper is concerned with the computation of representation matrices for the action of Frobenius to the cohomology groups of algebraic varieties. Specifically we shall give an algorithm to compute the matrices for arbitrary algebraic varieties with defining equations over perfect fields of positive characteristic, and estimate its complexity. Moreover, we propose a specific efficient method, which works for complete intersections.
We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our cycles come equipped with quadratic forms. This yields a weaker notion of transfers and a derived category of motives that is closer to the stable homotopy theory of schemes. We prove a cancellation theorem when tensoring with the Tate object, we compare the diagonal part of our Milnor-Witt motivic cohomology to Minor-Witt K-theory and we provide spectra represen…
We introduce the notion of alternate product of Frobenius manifolds and we give, after [math.AG/0610265], an interpretation of the Frobenius manifold structure canonically attached to the quantum cohomology of G(r,n+1) in terms of alternate products. We also investigate the relationship with the alternate Thom-Sebastiani product of Laurent polynomials.
This PhD manuscript focuses on the study of a variation of the graded loop space construction for mixed graded derived schemes endowed with a Frobenius lift. We developed a theory of derived Frobenius lifts on a derived stack which are homotopy theoretic analogues of delta-structures for commutative rings. This graded loop space construction is the first step towards a definition of the de Rham-Witt complex for derived schemes. In this context, a loop is given by an action of the "crystalline circle", which is a formal analogue of the topological circle, endowed with its natural endomorphism g…
We introduce the category of finite Chow-Witt correspondences over a perfect field k of characteristic not 2. We then use them to define bigraded generalized motivic cohomology groups of a smooth scheme over k and begin the study of their relationship with ordinary motivic cohomology groups.
We introduce and study a superversion of Dubrovin's notion of semisimple Frobenius manifolds. We establish a correspondence between semisimple Frobenius (super)manifolds and special solutions to the (supersymmetric) Schlesinger equations. Finally, we calculate the Schlesinger initial conditions for solutions describing quantum cohomology of projective spaces.
In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result covers the case where the base fs log scheme is etale locally log smooth over a scheme with trivial log structure or the case where the base fs log scheme is hollow, and so it generalizes the previously known results of Matsuue. In Appendix, we prove that our relative log de Rham-Witt complex and our comparison map are compatible with those of Hyodo-Kato.
An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said to be of $F$-nilpotent type if its modulo $p$ reduction is $F$-nilpotent for almost all $p$. In this paper, we give a Hodge-theoretic interpretation of three-dimensional normal isolated singularities of $F$-nilpotent type. In the graded case, this yields a characterization of these singularities in terms of divisor class groups and Brauer groups.
v2: For a projective variety defined over a finite field with $q$ elements, it is shown that as algebraic integers, the eigenvalues of the geometric Frobenius acting on $\ell$-adic cohomology have higher than known $q$-divisibility beyond the middle dimension. This sharpens both Deligne's integrality theorem and the cohomological divisibility theorem proven by the first author and N. Katz. Similar lower bounds are proved for the Hodge level for a complex variety beyond the middle dimension, improving earlier results in this direction. We discuss the affine case. The previous version contained …
We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when $Y$ is quasi-projective. We then describe the monodromy operator using the overconvergent Hyodo-Kato complex. Finally, we show that overconvergent Hyodo-Kato cohomology agrees with log-crystalline cohomology in the projective semistable case.
In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we prove that the integral Monsky-Washnitzer cohomology groups are well-defined, for any nonsingular affine variety over a perfect field of characteristic p. We then compare these cohomology groups with overco…
We study the Milnor-Witt motives which are a finite direct sum of $\mathbb{Z}(q)[p]$ and $\mathbb{Z}/η(q)[p]$. We show that for MW-motives of this type, we could determine an MW-motivic cohomology class in terms of a motivic cohomology class and a Witt cohomology class. We define the motivic Bockstein cohomology and show that it corresponds to subgroup of Witt cohomology, if the MW-motive splits as above. As an application, we give the splitting formula of Milnor-Witt motives of Grassmannian bundles and complete flag bundles. This in particular shows that the integral cohomology of real comple…
A construction of tame sheaves and tame de Rham--Witt cohomology
Institut für Mathematik, Universität Heidelberg（海德堡大学数学研究所）；School of Mathematics and Natural Sciences, University of Wuppertal（伍珀塔尔大学数学与自然科学学院）；Graduate School of Mathematical Sciences, the University of Tokyo（东京大学数理科学研究科）
本文提出了一种构造 tame sheaves 的一般方法，应用于大 de Rham--Witt sheaves 和 reciprocity sheaves，并比较了 tame syntomic cohomology 与 tame de Rham--Witt 复合物上的 Nygaard 过滤。
In the late '60s, B. Dwork studied a Frobenius structure compatible with the classical hypergeometric differential equation with parameters $\left(\frac{1}{2},\frac{1}{2} ; 1 \right)$ by analyzing behavior of solutions of the differential equation under Frobenius transformation. Recently, P. Scholze conjectured the existence of $q$-de Rham cohomology groups for any $\mathbb{Z}$-scheme. In this paper, we give a Frobenius structure compatible with the $q$-hypergeometric differential equation with parameters $(q^{\frac12},q^{\frac12};q)$ by showing a $q$-analogue of some results of Dwork. This co…
We prove results that, for a certain class of non-compact Calabi-Yau threefolds, relate the Frobenius action on their $p$-adic cohomology to the Frobenius action on the $p$-adic cohomology of the corresponding curves. In the appendix, we describe our interpretation of the Griffiths-Dwork method.
The notion of a $p$-adic superspace is introduced and used to give a transparent construction of the Frobenius map on $p$-adic cohomology of a smooth projective variety over $\zp$ (the ring of $p$-adic integers), as well as an alternative construction of the crystalline cohomology of a smooth projective variety over $\fp$ (finite field with $p$ elements).
We compute the Chow-Witt rings of split quadrics over a field of characteristic not two. We even determine the full bigraded I-cohomology and Milnor-Witt cohomology rings, including twists by line bundles. The results on I-cohomology corroborate the general philosophy that I-cohomology is an algebro-geometric version of singular cohomology of real varieties: our explicit calculations confirm that the I-cohomology ring of a split quadric over the reals is isomorphic to the singular cohomology ring of the space of its real points.
The paper studies three classes of Frobenius manifolds: Quantum Cohomology (topological sigma-models), unfolding spaces of singularities (K. Saito's theory, Landau-Ginzburg models), and the recent Barannikov-Kontsevich construction starting with the Dolbeault complex of a Calabi-Yau manifold and conjecturally producing the B--side of the Mirror Conjecture in arbitrary dimension. Each known construction provides the relevant Frobenius manifold with an extra structure which can be thought of as a version of ``non-linear cohomology''. The comparison of thesestructures sheds some light on the gene…
In this paper, we give a simple formula for the generating function of genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology, and use this formula to prove the genus-2 Virasoro conjecture for such manifolds.
