A theorem of Grothendieck asserts that over a perfect field k of cohomological dimension one, all non-abelian H^2-cohomology sets of algebraic groups are trivial. The purpose of this paper is to establish a formally real generalization of this theorem. The generalization -- to the context of perfect fields of virtual cohomological dimension one -- takes the form of a local-global principle for the H^2-sets with respect to the orderings of the field. This principle asserts in particular that an element in H^2 is neutral precisely when it is neutral in the real closure with respect to every ordering in a dense subset of the real spectrum of k. Our techniques provide a new proof of Grothendieck's original theorem. An application to homogeneous spaces over k is also given.
We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$, assuming $k$ has characteristic 0, and for any elliptic curve $A$ in any characteristic.
We prove that abelian varieties of small dimension over discrete valuated, stricty henselian ground fields with perfect residue class field obtain semistable reduction after a tamely ramified extension of the ground field. Using this result we obtain perfectness results for Grothendieck's pairing.
We reformulate a conjecture of Beauville on algebraic cycles on an abelian variety in terms of certain compatibility and vanishings of some naturally defined filtrations on the Grothendieck group of the abelian variety.
Auslander-Reiten duality for module categories is generalised to Grothendieck abelian categories that have a sufficient supply of finitely presented objects. It is shown that Auslander-Reiten duality amounts to the fact that the functor Ext^1(C,-) into modules over the endomorphism ring of C admits a partially defined right adjoint when C is a finitely presented object. This result seems to be new even for module categories. For appropriate schemes over a field, the connection with Serre duality is discussed.
In this paper, we discuss the problem of whether the difference $[X]-[Y]$ of the classes of a Fourier--Mukai pair $(X, Y)$ of smooth projective varieties in the Grothendieck ring of varieties is annihilated by some power of the class $\mathbb{L} = [ \mathbb{A}^1 ]$ of the affine line. We give an affirmative answer for Fourier--Mukai pairs of very general K3 surfaces of degree 12. On the other hand, we prove that in each dimension greater than one, there exists an abelian variety such that the difference with its dual is not annihilated by any power of $\mathbb{L}$, thereby giving a negative an…
Let $A_K$ be an abelian variety with semistable reduction over a strictly henselian field of positive characteristic with perfect residue class field. We show that there is a close connection between the pairings of Grothendieck, Bester/Bertapelle and Shafarevic. In particular, we show that the pairing of Bester/Bertapelle can be used to describe the $p$-part of Grothendieck's pairing in the semistable reduction case, thus proving a conjecture of Bertapelle.
We discuss various results and questions around the Grothendieck period conjecture, which is a counterpart, concerning the de Rham-Betti realization of algebraic varieties over number fields, of the classical conjectures of Hodge and Tate. These results give new evidence towards the conjectures of Grothendieck and Kontsevich-Zagier concerning transcendence properties of the torsors of periods of varieties over number fields. We notably establish that the Grothendieck period conjecture holds in degree 1 for products of curves, of abelian varieties, and of K3 surfaces, and that it holds in degre…
Let k be a finite base field. In this note, making use of topological periodic cyclic homology and of the theory of noncommutative motives, we prove that the numerical Grothendieck group of every smooth proper dg k-linear category is a finitely generated free abelian group. Along the way, we prove moreover that the category of noncommutative numerical motives over k is abelian semi-simple, as conjectured by Kontsevich. Furthermore, we show that the zeta functions of endomorphisms of noncommutative Chow motives are rational and satisfy a functional equation.
Let $\operatorname{K}_0(\operatorname{Var}_k)$ denote the Grothendieck ring of $k$-varieties over an algebraically closed field $k$. Larsen and Lunts asked if two $k$-varieties having the same class in $\operatorname{K}_0 (\operatorname{Var}_k)$ are piecewise isomorphic. Gromov asked if a birational self-map of a $k$-variety can be extended to a piecewise automorphism. We show that these two questions are equivalent over any algebraically closed field. If these two questions admit a positive answer, then we prove that its underlying abelian group is a free abelian group. Furthermore, if $\math…
For a $G$-scheme $X$ with a given equivariant perfect obstruction theory, we prove a virtual equivariant Grothendieck-Riemann-Roch formula, this is an extension of a result of Fantechi-Göttsche to the equivariant context. We also prove a virtual non-abelian localization theorem for schemes over $\mathbb{C}$ with proper actions.
In the first part of this work, we have considered a moduli space $B_g$ classifying principally polarized abelian varieties of dimension $g$ endowed with a symplectic-Hodge basis, and we have constructed the higher Ramanujan vector fields $(v_{kl})_{1\le k\le l \le g}$ on it. In this second part, we study these objects from a complex analytic viewpoint. We construct a holomorphic map $φ_g : \mathbf{H}_g \to B_g(\mathbf{C})$, where $\mathbf{H}_g$ denotes the Siegel upper half-space of genus $g$, satisfying the system of differential equations $\frac{1}{2πi}\frac{\partial φ_g}{\partial τ_{kl}}=v…
Let $\mathfrak{Var}_k^G$ denote the category of pairs $(X,σ)$, where $X$ is a variety over $k$ and $σ$ is a group action on $X$. We define the Grothendieck ring for varieties with group actions as the free abelian group of isomorphism classes in the category $\mathfrak{Var}_k^G$ modulo a cutting and pasting relation. The multiplication in this ring is defined by the fiber product of varieties. This allows for motivic zeta-functions for varieties with group actions to be defined. This is a formal power series $\sum_{n=0}^{\infty}[\text{Sym}^n (X,σ)]t^n$ with coefficients in the Grothendieck rin…
We present a conjecture in Diophantine geometry concerning the construction of line bundles over smooth projective varieties over $\bar{\mathbb Q}}$. This conjecture, closely related to the Grothendieck Period Conjecture for cycles of codimension 1, is also motivated by classical algebraization results in analytic and formal geometry and in transcendence theory. Its formulation involves the consideration of $D$-group schemes attached to abelian schemes over algebraic curves over $\bar{\mathbb Q}}$. We also derive the Grothendieck Period Conjecture for cycles of codimension 1 in abelian varieti…
In this paper, we propose a definition of Neron models of arbitrary Deligne 1-motives over Dedekind schemes, extending Neron models of semi-abelian varieties. The key property of our Neron models is that they satisfy a generalization of Grothendieck's duality conjecture in SGA 7 when the residue fields of the base scheme at closed points are perfect. The assumption on the residue fields is unnecessary for the class of 1-motives with semistable reduction everywhere. In general, this duality holds after inverting the residual characteristics. The definition of Neron models involves careful treat…
For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of varieties over S/G in the tame case, and in the modified Grothendieck ring in the wild case. To prove this we use a result on the class of the quotient of a vector space by a quasi-linear action in the Grothendieck ring of varieties due to Esnault and Viehweg, which we also generalize to the case of wild actions. As an application we deduce that the quotient of t…
We consider the loci of d-elliptic curves in $M_2$, and corresponding loci of d-elliptic surfaces in $A_2$. We show how a description of these loci as quotients of a product of modular curves can be used to calculate cohomology of natural local systems on them, both as mixed Hodge structures and $\ell$-adic Galois representations. We study in particular the case d=2, and compute the Euler characteristic of the moduli space of n-pointed bi-elliptic genus 2 curves in the Grothendieck group of Hodge structures.
In this paper, we formulate and prove a duality for cohomology of curves over perfect fields of positive characteristic with coefficients in Neron models of abelian varieties. This is a global function field version of the author's previous work on local duality and Grothendieck's duality conjecture. It generalizes the perfectness of the Cassels-Tate pairing in the finite base field case. The proof uses the local duality mentioned above, Artin-Milne's global finite flat duality, the non-degeneracy of the height pairing and finiteness of crystalline cohomology. All these ingredients are organiz…
Let $X/\mathbb{F}_{q}$ be a smooth geometrically connected variety. Inspired by work of Corlette-Simpson over $\mathbb{C}$, we formulate a conjecture that absolutely irreducible rank 2 local systems with infinite monodromy on $X$ come from families of abelian varieties. When $X$ is a projective variety, we prove a Lefschetz-style theorem for abelian schemes of $\text{GL}_2$-type on $X$, modeled after a theorem of Simpson. If one assumes a strong form of Deligne's ($p$-adic) \emph{companions conjecture} from Weil II, this implies that our conjecture for projective varieties also reduces to the …
Originally conjectured unpublished by Grothendieck, then formulated precisely by Katz, the $p$-curvature conjecture is a local-global principle for algebraic differential equations. It is at present open, though various cases are known. Katz subsequently proved this conjecture in a wide range of cases, for differential equations corresponding to the Gauss-Manin connection on algebraic de Rham cohomology. This dissertation addresses the non-abelian analogue of Katz' theorem, in the sense of Simpson's non-abelian Hodge theory, surveyed by Simpson and later developed in characteristic $p$ by Ogus…
We prove that the derived category of a Grothendieck abelian category has a unique dg enhancement. Under some additional assumptions, we show that the same result holds true for its subcategory of compact objects. As a consequence, we deduce that the unbounded derived category of quasi-coherent sheaves on an algebraic stack and the category of perfect complexes on a noetherian concentrated algebraic stack with quasi-finite affine diagonal and enough perfect coherent sheaves have a unique dg enhancement. In particular, the category of perfect complexes on a noetherian scheme with enough locally…
Let $\mathbb{M}:=(M(X),p)$ be a direct summand of the motive associated with a geometrically split, geometrically variety over a field $F$ satisfying the nilpotence principle. We show that under some conditions on an extension $E/F$, if $\mathbb{M}$ is a direct summand of another motive $M$ over an extension $E$, then $\mathbb{M}$ is a direct summand of $M$ over $F$.
Let $A$ and $A'$ be abelian varieties defined over a number field $k$ of dimension $g\geq 1$. For $g\leq 3$, we show that the following local-global principle holds: $A$ and $A'$ are quadratic twists of each other if and only if, for almost all primes $\mathfrak p$ of $k$ of good reduction for $A$ and $A'$, the reductions $A_{\mathfrak p}$ and $A'_{\mathfrak p}$ are quadratic twists of each other. This result is known when $g=1$, in which case it has appeared in works by Kings, Rajan, Ramakrishnan, and Serre. We provide an example that violates this local-global principle in dimension $g=4$.
Let X be a geometrically split, geometrically irreducible variety over a field F satisfying Rost nilpotence principle. Consider a field extension E/F and a finite field K. We provide in this note a motivic tool giving sufficient conditions for so-called outer motives of direct summands of the Chow motive of X_E with coefficients in K to be lifted to the base field. This going down result has been used S. Garibaldi, V. Petrov and N. Semenov to give a complete classification of the motivic decompositions of projective homogeneous varieties of inner type E_6 and to answer a conjecture of Rost and…
A theorem of Grothendieck tells us that if the Galois action on the Tate module of an abelian variety factors through a smaller field, then the abelian variety, up to isogeny and finite extension of the base, is itself defined over the smaller field. Inspired by this, we give a Galois descent datum for a motive $H$ over a field by asking that the Galois action on an $\ell$-adic realisation factor through a smaller field. We conjecture that this descent datum is effective, that is if a motive $H$ satisfies the above criterion, then it must itself descend to the smaller field. We prove this conj…
A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and proven in the present preprint. Theorem 1.0.1 itself is a consequence of two purity theorems (Theorems A and 10.0.30) proven below in the present preprint. The geometric part of a new preprint [PSV] and the main result of an article [C-T-S] are used significantly in proofs of those two purity theorems. One of that purity result looks as follows. Let O be a sem…
In 2009 Ekedahl introduced certain cohomological invariants of finite groups which are naturally related to the Noether Problem. We show that these invariants are trivial for every finite group in GL_3(k) and for the fifth discrete Heisenberg group H_5. Moreover in the case of finite linear groups with abelian projective reduction, these invariants satisfy a recurrence relation in a certain Grothendieck group for abelian groups.
The cones of divisors and curves defined by various positivity conditions on a smooth projective variety have been the subject of a great deal of work in algebraic geometry, and by now they are quite well understood. However the analogous cones for cycles of higher codimension and dimension have started to come into focus only recently. The purpose of this paper is to explore some of the phenomena that can occur by working out the picture fairly completely in a couple of simple but non-trivial cases. Specifically, we study cycles of arbitrary codimension on the self-product of an elliptic curv…
The purpose of this paper is to compute determinant index bundles of certain families of Real Dirac type operators on Klein surfaces as elements in the corresponding Grothendieck group of Real line bundles in the sense of Atiyah. On a Klein surface these determinant index bundles have a natural holomorphic description as theta line bundles. In particular we compute the first Stiefel-Whitney classes of the corresponding fixed point bundles on the real part of the Picard torus. The computation of these classes is important, because they control to a large extent the orientability of certain modu…
In the present article we investigate properties of the category of the integral Grothendieck-Chow motives over a field. We discuss the Krull-Schmidt principle for integral motives, provide a complete list of the generalized Severi-Brauer varieties with indecomposable integral motive, and exploit a relation between the category of motives of twisted flag varieties and integral $p$-adic representations of finite groups.
