The trivial fiber topology and framed motives over the integers
St. Petersburg State University（圣彼得堡国立大学）；Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯特克洛夫数学研究所）；Western Norway University of Applied Sciences（西挪威应用科学大学）；University of Milan（米兰大学）；University of Oslo（奥斯陆大学）
This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the Garkusha-Panin and Voevodsky strict $\mathbb{A}^{1}$-invariance theorems to one-dimensional base schemes. The trivial fiber topology plays a central role in the proof of refined localization results for motivic homotopy categories. Moreover, we extend Morel's $\mathbb{A}^{1}$-connectivity theorem on Nisnevich sheaves of stable motivic homotopy groups. These results open new vistas for computations of motivic invariants over deeper base schemes of arithmetic interest.
Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the suspension $\mathbb P^1$-spectrum of any smooth scheme $X\in Sm/k$. Moreover, it is shown that the bispectrum $$(M_{fr}(X),M_{fr}(X)(1),M_{fr}(X)(2),\ldots),$$ each term of which is a twisted framed motive of $X$, has motivic homotopy type of the suspension bispectrum of $X$. Furthermore, an explicit computation of infinite $\mathbb P^1$-loop motivic spaces is …
The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper for framed motives stating that a natural map of framed $S^1$-spectra $$M_{fr}(X)(n)\to\underline{\textrm{Hom}}(\mathbb G,M_{fr}(X)(n+1)),\quad n\geq 0,$$ is a schemewise stable equivalence, where $M_{fr}(X)(n)$ is the $n$th twisted framed motive of $X$. This result is also necessary for the proof of the main theorem of [GP1] computing fibrant resolutions o…
The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of $S^1$-spectra and the major computational tool of [GP1]. The aim of this paper is to show the following result which is essential in proving the main theorem of [GP1]: given an infinite perfect base field $k$, any $k$-smooth scheme $X$ and any $n\geq 1$, the map of simplicial pointed Nisnevich sheaves $(-,\mathbb{A}^1//\mathbb G_m)^{\wedge n}_+\to T^n$ induces a Nisne…
Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.
The purpose of this paper is to prove two statements which are key in the construction of mnotivic fibrant replacement for suspension spectrum conserned with motivic spece $\dfrac{X}{X-Z}$, where $X$ is smooth variety and $Z$ is its smooth subvariety.
An alternative approach to the classical Morel-Voevodsky stable motivic homotopy theory $SH(k)$ is suggested. The triangulated category of framed bispectra $SH_{nis}^{fr}(k)$ and effective framed bispectra $SH_{nis}^{fr,eff}(k)$ are introduced in the paper. Both triangulated categories only use Nisnevich local equivalences and have nothing to do with any kind of motivic equivalences. It is shown that $SH_{nis}^{fr}(k)$ and $SH_{nis}^{fr,eff}(k)$ recover the classical Morel-Voevodsky triangulated categories of bispectra $SH(k)$ and effective bispectra $SH^{eff}(k)$ respectively. We also recover…
The theory of framed motives by Garkusha and Panin gives computations in the stable motivic homotopy category $\mathbf{SH}(k)$ in terms of Voevodsky's framed correspondences. In particular the motivically fibrant $Ω$-resolution in positive degrees of the motivic suspension spectrum $Σ_{\mathbb P^1}^\infty X_+$, where $X_+=X\amalg *$, for a smooth scheme $X\in \mathrm{Sm}_k$ over an infinite perfect field $k$, is computed. The computation by Garkusha, Neshitov and Panin of the framed motives of relative motivic spheres $(\mathbb A^l\times X,(\mathbb A^l-0)\times X)$, $X\in \mathrm{Sm}_k$, is on…
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…
In the paper we use the theory of framed correpondences to construct Milnor-Witt transfers on homotopy modules. As a consequence we identify the zeroth stable $\mathbb{A}^1$-homotopy sheaves of smooth varieties with the zeroth homology of corresponding MW-motivic complexes and prove that the hearts of homotopy $t$-structures on the stable $\mathbb{A}^1$-derived category and the category of Milnor-Witt motives are equivalent.
We give a natural construction of unramified over Z framed mixed Tate motives, whose periods are the multiple zeta values. Namely, for each convergent multiple zeta-value we define two boundary divisors A and B in the moduli space M_{0,n+3} of stable curves of genus zero. The corresponding multiple zeta-motive is the n-th cohomology of the pair (M_{0,n+3} -A,B).
We show that the motive of a Springer fiber is pure Tate. We then consider a category of equivariant Springer motives on the nilpotent cone and construct an equivalence to the derived category of graded modules over the graded affine Hecke algebra.
The category of framed correspondences $Fr_*(k)$, framed presheaves and framed sheaves were invented by Voevodsky in his unpublished notes [12]. Based on the theory, framed motives are introduced and studied in [7]. The main aim of this paper is to prove that for any $\mathbb A^1$-invariant quasi-stable radditive framed presheaf of Abelian groups $\mathcal F$, the associated Nisnevich sheaf $\mathcal F_{nis}$ is $\mathbb A^1$-invariant whenever the base field $k$ is infinite of characteristic different from 2. Moreover, if the base field $k$ is infinite perfect of characteristic different from…
Let X --> S be a smooth projective family of surfaces over a smooth curve S such that the generic fiber is a surface with Weil H^2 spanned by divisors and trivial H^1. We prove that if the relative motive of X/S is finite-dimensional the Chow group CH^2(X) with coefficients in Q is generated by a multisection and vertical cycles, i.e. one-dimensional cycles lying in closed fibers of the map X --> S. If S is the projective line P^1 then CH^2(X) is a direct sum of n+1 copies of Q where n<=b_2 and b_2 is the second Betti number of the generic fiber. Vertical generators in CH^2(X) can be concretel…
We study links between algebraic cycles on threefolds and finite-dimensionality of their motives with coefficients in Q. We decompose the motive of a non-singular projective threefold X with representable algebraic part of CH_0(X) into Lefschetz motives and the Picard motive of a certain abelian variety, isogenous to the corresponding intermediate Jacobian J^2(X) when the ground field is C. In particular, it implies motivic finite-dimensionality of Fano threefolds over a field. We also prove representability of zero-cycles on several classes of threefolds fibered by surfaces with algebraic H^2…
Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type $A_n$ and $D_n$, we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of …
In this paper we use motivic integration and non-archimedean analytic geometry to study the singularities at infinity of the fibers of a polynomial map $f\colon \mathbb A^d_\mathbb C \to \mathbb A^1_\mathbb C$. We show that the motive $S_{f,a}^{\infty}$ of the motivic nearby cycles at infinity of $f$ for a value $a$ is a motivic generalization of the classical invariant $λ_f(a)$, an integer that measures a lack of equisingularity at infinity in the fiber $f^{-1}(a)$. We then introduce a non-archimedean analytic nearby fiber at infinity $\mathcal F_{f,a}^{\infty}$ whose motivic volume recovers …
Let $k$ be a field of characteristic zero containing all roots of unity and $K=k((t))$. We build a ring morphism from the Grothendieck group of semi-algebraic sets over $K$ to the Grothendieck group of motives of rigid analytic varieties over $K$. It extend the morphism sending the class of an algebraic variety over $K$ to its cohomological motive with compact support. We show that it fits inside a commutative diagram involving Hrushovski and Kazhdan's motivic integration and Ayoub's equivalence between motives of rigid analytic varieties over $K$ and quasi-unipotent motives over $k$ ; we also…
In this paper we construct a Q-linear tannakian category MEM_1 of universal mixed elliptic motives over the moduli space M_{1,1} of elliptic curves. It contains MTM, the category of mixed Tate motives unramified over the integers. Each object of MEM_1 is an object of MTM endowed with an action of SL_2(Z) that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over M_{1,1} whose fiber over the tangential base point d/dq at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of MEM is determined and th…
We apply Wildeshaus's theory of motivic intermediate extensions to the motivic decomposition conjecture, formulated by Deninger-Murre and Corti-Hanamura. We first obtain a general motivic decomposition for the Chow motive of an arbitrary smooth projective family $f:X \rightarrow S$ whose geometric fibers are Tate. Using Voevodsky's motives with rational coefficients, the formula is valid for an arbitrary regular base $S$, without assuming the existence of a base field or even of a prime integer $\ell$ invertible on $S$. This result, and some of Bondarko' ideas, lead us to a generalized formula…
We investigate the structure of singular Calabi-Yau varieties in moduli spaces that contain a Brieskorn-Pham point. Our main tool is a construction of families of deformed motives over the parameter space. We analyze these motives for general fibers and explicitly compute the $L-$series for singular fibers for several families. We find that the resulting motivic $L-$functions agree with the $L-$series of modular forms whose weight depends both on the rank of the motive and the degree of the degeneration of the variety. Surprisingly, these motivic $L-$functions are identical in several cases to…
This is a sequel to our previous paper (joint with Furusho). It will give a more natural framework for constructing elements in the Hopf algebra of framed mixed Tate motives according to Bloch and Kriz. This framework allows us to extend our previous results to interpret all multiple zeta values (including the divergent ones) and the multiple polylogarithms in one variable as elements of this Hopf algebra. It implies that the pro-unipotent completion of the torsor of paths on projective line minus three points, is a mixed Tate motive in the sense of Bloch-Kriz. Also It allows us to interpret t…
We show the compactly supported motive of the moduli stack of degree $n$ rational curves on the weighted projective stack $\mathcal{P}(a,b)$ is of mixed Tate type over any base field $K$ with $\text{char}(K) \nmid a,b$ and has class $\mathbb{L}^{(a+b)n+1}-\mathbb{L}^{(a+b)n-1}$ in the Grothendieck ring of stacks. In particular, this improves upon the result of [HP] regarding the arithmetic invariant of the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a …
In this article we study in detail the category of noncommutative motives of separable algebras Sep(k) over a base field k. We start by constructing four different models of the full subcategory of commutative separable algebras CSep(k). Making use of these models, we then explain how the category Sep(k) can be described as a "fibered Z-order" over CSep(k). This viewpoint leads to several computations and structural properties of the category Sep(k). For example, we obtain a complete dictionary between directs sums of noncommutative motives of central simple algebras (=CSA) and sequences of el…
We construct geometric models for the $\mathbb P^1$-spectrum $M_{\mathbb P^1}(Y)$, which computes in Garkusha-Panin's theory of framed motives \cite{GP14} a positively motivically fibrant $Ω_{\mathbb P^1}$ replacement of $Σ_{\mathbb P^1}^\infty Y$ for a smooth scheme $Y\in \Sm_k$ over a perfect field $k$. Namely, we get the $T$-spectrum in the category of pairs of smooth ind-schemes that defines $\mathbb P^1$-spectrum of pointed sheaves termwise motivically equivalent to $M_{\mathbb P^1}(Y)$.
Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef-Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is …
We prove that the moduli spaces of twisted $\mathrm{SL}_n$ and $\mathrm{PGL}_n$-Higgs bundles on a smooth projective curve have the same (stringy) class in the Grothendieck ring of rational Chow motives. On the level of Hodge numbers this was conjectured by Hausel and Thaddeus, and recently proven by Groechenig, Ziegler and the second author. To adapt their argument, which relies on p-adic integration, we use a version of motivic integration with values in rational Chow motives and the geometry of Néron models to evaluate such integrals on Hitchin fibers.
For stratified Mukai flops of type $A_{n,k}, D_{2k+1}$ and $E_{6,I}$, it is shown the fiber product induces isomorphisms on Chow motives. In contrast to (standard) Mukai flops, the cup product is generally not preserved. For $A_{n, 2}$, $D_5$ and $E_{6, I}$ flops, quantum corrections are found through degeneration/deformation to ordinary flops.
We make explicit Serre's generalization of the Sato-Tate conjecture for motives, by expressing the construction in terms of fiber functors from the motivic category of absolute Hodge cycles into a suitable category of Hodge structures of odd weight. This extends the case of abelian varietes, which we treated in a previous paper. That description was used by Fite--Kedlaya--Rotger--Sutherland to classify Sato-Tate groups of abelian surfaces; the present description is used by Fite--Kedlaya--Sutherland to make a similar classification for certain motives of weight 3. We also give conditions under…
In this article we give an expression of the motivic Milnor fiber at infinity and the motivic nearby cycles at infinity of a polynomial $f$ in two variables with coefficients in an algebraic closed field of characteristic zero. This expression is given in terms of some motives associated to the faces of the Newton polygons appearing in the Newton algorithm at infinity of $f$ without any condition of convenience or non degeneracy. In the complex setting, we compute the Euler characteristic of the generic fiber of $f$ in terms of the area of the surfaces associated to faces of the Newton polygon…
The level $N$ elliptic KZB connection is a flat connection over the universal elliptic curve in level $N$ with its $N$-torsion sections removed. Its fiber over the point $(E,x)$ is the unipotent completion of $π_1(E - E[N],x)$. It was constructed by Calaque and Gonzalez. In this paper, we show that the connection underlies an admissible variation of mixed Hodge structure and that it degenerates to the cyclotomic KZ connection over the singular fibers of the compactified universal elliptic curve. These are the first steps in a larger project to compute the action of the Galois group of mixed Ta…
