We establish a trace formula for rigid varieties $X$ over a complete discretely valued field, which relates the set of unramified points on $X$ to the Galois action on its étale cohomology. We develop a theory of motivic integration for formal schemes of pseudo-finite type over a complete discrete valuation ring $R$, and we introduce the Weil generating series of a regular formal $R$-scheme $\mathfrak{X}$ of pseudo-finite type, via the construction of a Gelfand-Leray form on its generic fiber. Our trace formula yields a cohomological interpretation of this Weil generating series.
When $\mathfrak{X}$ is the formal completion of a morphism $f$ from a smooth irreducible variety to the affine line, then its Weil generating series coincides (modulo normalization) with the motivic zeta function of $f$. When $\mathfrak{X}$ is the formal completion of $f$ at a closed point $x$ of the special fiber $f^{-1}(0)$, we obtain the local motivic zeta function of $f$ at $x$. In the latter case, the generic fiber of $\mathfrak{X}$ is the so-called analytic Milnor fiber of $f$ at $x$; we show that it completely determines the formal germ of $f$ at $x$.
We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rational coefficients a Weil-etale cohomology group is the direct sum of two etale cohomology groups. In the second half of the paper we restrict ourselves to Weil-etale cohomology of the motivic complex. …
Let X be the variety obtained by the Weil transfer with respect to a quadratic separable field extension of a generalized Severi-Brauer variety. We study (and, in some cases, determine) the canonical dimension, incompressibility, and motivic indecomposability of X. We determine the canonical 2-dimension of X (in the general case).
Let D be a central division algebra over a field F. We study in this note the rigidity of the motivic decompositions of the Severi-Brauer varieties of D, with respect to the ring of coefficients and to the base field. We first show that if the ring of coefficient is a field, these decompositions only depend on its characteristic. In a second part we show that if D remains division over a field extension E/F, the motivic decompositions of several Severi-Brauer varieties of D remain the same when extending the scalars to E.
In this note we prove the geometrical origin of pairings of abelian schemes. According to Deligne's philosophy of motives, this means that these pairings are motivic. We make also explicit the link between pairings and linear morphisms. We give a geometrical explanation of the main properties of the Weil pairings and of the Riemann forms of line bundles. We generalize our remarks to pairings of 1-motives.
We present a research programme aimed at constructing classifying toposes of Weil-type cohomology theories and associated categories of motives, and introduce a number of notions and preliminary results already obtained in this direction. In order to analyze the properties of Weil-type cohomology theories and their relations, we propose a framework based on atomic two-valued toposes and homogeneous models. Lastly, we construct a syntactic triangulated category whose dual maps to the derived categories of all the usual cohomology theories.
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…
Let $k$ be a non-Archimedean rational valued field. We construct the moduli space of linearly rigidified polarized analytic tori over $k$ that admit rigid-analytic uniformization by an algebraic torus and observe that it is in definable rigid subanalytic bijection with a $PGL_N$-bundle over a polyhedral domain in an algebraic torus. We use this observation to prove that the Hrushovski-Kazhdan motivic volume of a non-Archimedean semi-algebraic family of Abelian varieties admitting such a uniformization fibrewise vanishes. This question is motivated by the conjectural geometric interpretation of…
We investigate the action of the Weil group on the compactly supported l-adic cohomology groups of rigid spaces over local fields. We prove that every eigenvalue of the action is a Weil number when either a rigid space is smooth or the characteristic of the base field is equal to 0. Since a smooth rigid space is locally isomorphic to the Raynaud generic fiber of an algebraizable formal scheme, we can use the techniques of alterations and monodromy spectral sequences in the smooth case. In the general case, we use the continuity theorem of Huber, which requires the restriction on the characteri…
We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale cohomology. In the second half of the paper, we apply this to study the Weil-etale cohomology of the motivic complex for smooth and projective varieties. These groups are expected to be finitely generated, to give an integral model for l-adic cohomology, and to be related to special values of the zeta function. We give necessary and sufficient conditions fo…
We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct value ring for the theory of motivic integration on formal schemes and rigid varieties in mixed characteristic. The present note is an excerpt of a detailed survey paper which will be published in the proceedings of the conference "Motivic integration and its interactions with model theory and non-archimedean geometry" (ICMS, 2008).
We present a formal scheme based cycle model for the motivic cohomology of the fat points defined by the truncated polynomial rings $k[t]/(t^m)$ with $m \geq 2$, in one variable over a field $k$. We compute their Milnor range cycle class groups when the field has sufficiently many elements. With some aids from rigid analytic geometry and the Gersten conjecture for the Milnor $K$-theory resolved by M. Kerz, we prove that the resulting cycle class groups are isomorphic to the Milnor $K$-groups of the truncated polynomial rings, generalizing a theorem of Nesterenko-Suslin and Totaro.
We show how formal and rigid geometry can be used in the theory of complex singularities, and in particular in the study of the Milnor fibration and the motivic zeta function. We introduce the so-called analytic Milnor fiber associated to the germ of a morphism f from a smooth complex algebraic variety X to the affine line. This analytic Milnor fiber is a smooth rigid variety over the field of Laurent series C((t)). Its etale cohomology coincides with the singular cohomology of the classical topological Milnor fiber of f; the monodromy transformation is given by the Galois action. Moreover, th…
We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic homotopy theory for rigid analytic varieties. Working in the so constructed homotopy theory, we prove that a homotopy classification of vector bundles of rank $n$ over rigid analytic quasi-Stein spaces follows from $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance of vector bundles. This $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance is equivalent to a rigid ana…
We give an informal introduction to formal and rigid geometry over complete discrete valuation rings, and we discuss some applications in algebraic and arithmetic geometry and singularity theory, with special emphasis on recent applications to the Milnor fibration and the motivic zeta function by J. Sebag and the author.
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…
Thanks to Hrushovski-Loeser's work on motivic Milnor fibers, we give a model-theoretic proof for the motivic Thom-Sebastiani theorem in the case of regular functions. Moreover, slightly extending of Hrushovski-Loeser's construction adjusted to Sebag, Loeser and Nicaise's motivic integration for formal schemes and rigid varieties, we formulate and prove an analogous result for formal functions. The latter is meaningful as it has been a crucial element of constructing Kontsevich-Soibelman's theory of motivic Donaldson-Thomas invariants.
We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance, stability (which means that the cohomology of $\GG_{m}$ behaves correctly), and Künneth formula. We prove that any mixed Weil cohomology defined on smooth $S$-schemes induces a symmetric monoidal realization of some suitable triangulated category of motives over $S$ to the derived category of the field $\KK$. This implies a finiteness theorem and a Poincaré dualit…
Let X be a regular scheme, projective and flat over Spec \mathbb Z. We give a conjectural formula, up to sign and powers of 2, for ζ^*(X,r), the leading term in the series expansion of ζ(X,s) at s=r, in terms of Weil-etale motivic cohomology, singular cohomology, and derived de Rham cohomology. This formula builds on work of Fontaine and Perrin-Riou replacing \mathbb Q_structuers by \mathbb Z-structures. We show that our conjectured formula is compatible with Serre's functional equation for the zeta function of X.
Building on work of Crew, we give a rigid cohomological analogue of the main result of Deligne's "Weil II"; this makes it possible to give a purely p-adic proof of the Weil conjectures. Ingredients include a p-adic analogue of Laumon's application of the geometric Fourier transform in the l-adic setting, as well as recent results on p-adic differential equations, due to Andre, Christol, Crew, Kedlaya, Matsuda, Mebkhout, and Tsuzuki.
For a simple, rigid vector bundle $F$ on a Calabi-Yau $3$-fold $Y$, we construct a symmetric obstruction theory on the Quot scheme $\textrm{Quot}_Y(F,n)$, and we solve the associated enumerative theory. We discuss the case of other $3$-folds. Exploiting the critical structure on $\textrm{Quot}_{\mathbb A^3}(\mathscr O^r,n)$, we construct a virtual motive (in the sense of Behrend-Bryan-Szendrői) for $\textrm{Quot}_Y(F,n)$ for an arbitrary vector bundle $F$ on a smooth $3$-fold $Y$. We compute the associated motivic partition function. We obtain new examples of higher rank (motivic) Donaldson-Th…
Fix a base field F, a finite field K and consider a sequence of central simple F-algebras A_1,...,A_n. In this note we provide some results toward a classification of the indecomposable motives lying in the motivic decompositions of projective homogeneous varieties under the action of PGL(A_1)x...xPGL(A_n) with coefficients in K. We give a complete classification of those motives if n=1 and derive from it the motivic dichotomy of projective linear groups. We then provide several classification results as well as counterexamples for arbitrary n showing that the situation is less rigid. These re…
Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category obtained by inverting rho in SH(X) is canonically equivalent to the (simplicial) local stable homotopy category of the site X_ret, by which we mean the small real etale site of X, comprised of etale schemes over X with the real etale topology. One immediate application is that SH(RR)[rho^-1] is equivalent to the classical stable homotopy category. In partic…
Lichtenbaum conjectured the existence of a Weil-étale cohomology in order to describe the vanishing order and the special value of the Zeta function of an arithmetic scheme $\mathcal{X}$ at $s=0$ in terms of Euler-Poincaré characteristics. Assuming the (conjectured) finite generation of some étale motivic cohomology groups we construct such a cohomology theory for regular schemes proper over $\mathrm{Spec}(\mathbb{Z})$. In particular, we obtain (unconditionally) the right Weil-étale cohomology for geometrically cellular schemes over number rings. We state a conjecture expressing the vanishing …
The modular properties of some higher dimensional varieties of special Fano type are analyzed by computing the L-function of their $Ω-$motives. It is shown that the emerging modular forms are string theoretic in origin, derived from the characters of the underlying rational conformal field theory. The definition of the class of Fano varieties of special type is motivated by the goal to find candidates for a geometric realization of the mirrors of rigid Calabi-Yau varieties. We consider explicitly the cubic sevenfold and the quartic fivefold, and show that their motivic L-functions agree with t…
