An abelian category of relative pure motives is constructed along the lines of André (over a field of characteristic 0). An algebraic stack is shown to possess a motive in this sense. This motive is studied for the moduli stack of G-bundles over the universal curve for appropriate G, and a motivic Atiyah-Bott formula is obtained. By taking Hodge realization, a description of the corresponding variations of Hodge structures over M_g is given. In particular, it follows that these lie in the tensor category generated by the variation of Hodge structure associated to the curve itself. Similar results are also given for low degree variations of Hodge structures associated to the moduli space of stable G-bundles.
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).
In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarit…
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 …
We prove a formula for the motive of the stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.
We study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick tensor subcategory of Voevodsky's triangulated category of motives with rational coefficients generated by the motive of C. Moreover, over a field of characteristic zero, we prove a motivic non-abelian Hodge correspondence: the integral motives of the Higgs and de Rham moduli spaces are isomorphic.
We prove formulae for the motives of stacks of coherent sheaves of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.
Let $C$ be an algebraic curve of genus $g \geq 2$ and $M_L$ be the moduli space of rank 2 stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree 1 on $C.$ S. del Bano studied motives of moduli spaces of rank 2 vector bundles on $C$ and computed the motive of $M_L.$ In this note, we prove that his result gives an interesting decomposition of the motive of $M_L.$ This motivic decomposition is compatible with a conjecture of M. S. Narasimhan which predicts semi-orthogonal decomposition of derived category of the moduli space.
We study the rational Chow motives of certain moduli spaces of vector bundles on a smooth projective curve with additional structure (such as a parabolic structure or Higgs field). In the parabolic case, these moduli spaces depend on a choice of stability condition given by weights; our approach is to use explicit descriptions of variation of this stability condition in terms of simple birational transformations (standard flips/flops and Mukai flops) for which we understand the variation of the Chow motives. For moduli spaces of parabolic vector bundles, we describe the change in motive under …
For a split reductive group G over a finite field, we show that the intersection (cohomology) motive of the moduli stack of iterated G-shtukas with bounded modification and level structure is defined independently of the standard conjectures on motivic t-structures on triangulated categories of motives. This is in accordance with general expectations on the independence of l in the Langlands correspondence for function fields.
We prove that the symmetric monoidal category of mixed motives generated by an abelian variety (more generally, an abelian scheme) can be described as a certain module category. More precisely, we describe it as the category of quasi-coherent complexes over a derived quotient stack constructed from a motivic algebra of the abelian variety. We then study the structure of the motivic Galois groups of their mixed motives. We prove that the motivic Galois group is decomposed into a unipotent part constructed from the motivic algebra, and the reductive quotient which is the Tannaka dual of Grothend…
We prove formulas for the rational Chow motives of moduli spaces of semistable vector bundles and Higgs bundles of rank 3 and coprime degree on a smooth projective curve. Our approach involves identifying criteria to lift identities in (a completion of) the Grothendieck group of effective Chow motives to isomorphisms in the category of Chow motives. For the Higgs moduli space, we use motivic Bialynicki-Birula decompositions associated to a scaling action with variation of stability and wall-crossing for moduli spaces of rank 2 pairs, which occur in the fixed locus of this action.
We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two.
We define and compare two different definitions of Chow motives for Deligne-Mumford stacks, associated with two definitions of Chow rings. The main result we prove is that both categories of motives are equivalent to the usual category of motives of algebraic varieties, but the motives of a given stack associated with both theories are not isomorphic. We will also give some examples of motives associated with some alegbraic stacks.
We take another approach to Hitchin's strategy of computing the cohomology of moduli spaces of Higgs bundles by localization with respect to the circle-action. Our computation is done in the dimensional completion of the Grothendieck ring of varieties and starts by describing the classes of moduli stacks of chains rather than their coarse moduli spaces. As an application we show that the n-torsion of the Jacobian acts trivially on the middle dimensional cohomology of the moduli space of twisted SL_n-Higgs-bundles of degree coprime to n and we give an explicit formula for the motive of the modu…
We define and study the motive of the moduli stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's category of motives. We prove that this motive can be written as a homotopy colimit of motives of smooth projective Quot schemes of torsion quotients of sums of line bundles on the curve. When working with rational coefficients, we prove that the motive of the stack of bundles lies in the localising tensor subcategory generated by the motive of the curve, using Bialynicki-Birula decompositions of these Quot schemes. We conjecture a formula for the motive o…
For any smooth projective moduli space $M$ of Gieseker stable sheaves on a complex projective K3 surface (or an abelian surface) S, we prove that the Chow motive $\mathfrak{h}(M)$ becomes a direct summand of a motive $\bigoplus \mathfrak{h}(S^{k_i})(n_i)$ with $k_i\leq \dim(M)$. The result implies that finite dimensionality of $\mathfrak{h}(M)$ follows from finite dimensionality of $\mathfrak{h}(S)$. The technique also applies to moduli spaces of twisted sheaves and to moduli spaces of stable objects in ${\rm D}^{\rm b}(S,α)$ for a Brauer class $α\in{\rm Br}(S)$. In a similar vein, we investig…
We study the motive of the moduli spaces of semistable rank two vector bundles over an algebraic curve. When the degree is odd the moduli space is a smooth projective variety, we obtain the absolute Hodge motive of this, and in particular the Hodge-Poincare polynomial. When the degree is even the moduli space is a singular projective variety, we compute pure Euler characteristics and show that only two weights can occur in each cohomology group, we also see that its cohomology is pure up to a certain degree. As a by-product we obtain the isogeny type of some intermediate jacobians of the modul…
This talk is dedicated to various aspects of Mirror Symmetry. It summarizes some of the mathematical developments that took place since M. Kontsevich's report at the Zürich ICM and provides an extensive, although not exhaustive, bibliography.
For every smooth and separated Deligne-Mumford stack $F$, we associate a motive $M(F)$ in Voevodsky's category of mixed motives with rational coefficients $\mathbf{DM}^{\eff}(k,\mathbb{Q})$. When $F$ is proper over a field of characteristic 0, we compare $M(F)$ with the Chow motive associated to $F$ by Toen (\cite{t}). Without the properness condition we show that $M(F)$ is a direct summand of the motive of a smooth quasi-projective variety.
Like the Higgs bundles on a Riemann surface who played an important role in the study of representation of the fundamental group of the surface, the parabolic Higgs bundles play also their importance in the study of the fundamental group but of punctured surface. In this paper, we shall give an algorithm to calculate the (virtual) motive (i.e in a suitable Grothendieck ring) of the moduli spaces of parabolic Higgs bundles of fixed rank, fixed degree and fixed parabolic structure, using localization with respect to the circle action.
The moduli space of twisted stable maps into the stack $B(\Z/m\Z)^2$ carries a natural $S_n$-action and so its cohomology may be decomposed into irreducible $S_n$-representations. Working over $\Spec \Z[1/m]$ we show that the alternating part of the cohomology of one of its connected components is exactly the cohomology associated to cusp forms for $Γ(m)$. In particular this offers an alternative to Scholl's construction of the Chow motive associated to such cusp forms. This answers in the affirmative a question of Manin on whether one can replace the Kuga-Sato varieties used by Scholl with so…
Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincaré or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If $k=\ffq$, upon applying the counting measure, it reduces to the fact that the Tamagawa number of $G$ over the function field of $C$ is $|π_1(G)|$.
We prove that the moduli space of stable n-pointed curves of genus one and the projector associated to the alternating representation of the symmetric group on n letters define (for n>1) the Chow motive corresponding to cusp forms of weight n+1 for SL(2,Z). This provides an alternative (in level one) to the construction of Scholl.
Let $C$ be a smooth projective curve of genus $g\geq 2$ over $\mathbb C$. Fix $n\geq 1$, $d\in {\mathbb Z}$. A pair $(E,ϕ)$ over $C$ consists of an algebraic vector bundle $E$ of rank $n$ and degree $d$ over $C$ and a section $ϕ\in H^0(E)$. There is a concept of stability for pairs which depends on a real parameter $τ$. Let ${\mathfrak M}_τ(n,d)$ be the moduli space of $τ$-polystable pairs of rank $n$ and degree $d$ over $C$. Here we prove that for a generic curve $C$, the moduli space ${\mathfrak M}_τ(n,d)$ satisfies the Hodge Conjecture for $n \leq 4$. For obtaining this, we prove first that…
We introduce the notion of extension of 1-motives. Using the dictionary between strictly commutative Picard stacks and complexes of abelian sheaves concentrated in degrees -1 and 0, we check that an extension of 1-motives induces an extension of the corresponding strictly commutative Picard stacks. We compute the Hodge, the de Rham and the l-adic realizations of an extention of 1-motives. Using these results we can prove Deligne's conjecture on extensions of 1-motives.
We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a vanishing theorem for shtukas with zeros and poles satisfying certain conditions. Using deformation theory, we calculate the divisors of these rational functions.
As a higher genus version of universal mixed elliptic motives by Hain and Matsumoto, we consider mixed Teichmüller motives as certain motivic local systems on the moduli space of pointed curves. We show that the category of mixed Teichmüller motives is equivalent to a full subcategory of a certain product category of mixed Tate motives over Z and universal mixed elliptic motives. Furthermore, we show that unipotent fundamental torsors for the universal open curve give rise to a pro-object in the category of mixed Teichmüller motives. Our results can give a realization of motivic correlators pr…
This paper proves the Beilinson-Soul{é} vanishing conjecture for motives attached to the moduli spaces of curves of genus 0 with n marked points. As part of the proof, it is also proved that these motives are mixed Tate. As a consequence of Levine's work, one obtains then well defined categories of mixed Tate motives over the moduli spaces of curves . It is shown that morphisms between moduli spaces forgetting marked points and embedding as boundary components induce functors between those categories and how tangential bases points fit in these functorialities. Tannakian formalism attaches gro…
We describe the action of the different Frobenius morphisms on the cohomology ring of the moduli stack of algebraic vector bundles of fixed rank and determinant on an algebraic curve over a finite field in characteristic p and analyse special situations like vector bundles on the projective line and relations with infinite Grassmannians.
Pure t-motives were introduced by G. Anderson as higher dimensional generalizations of Drinfeld modules, and as the appropriate analogs of abelian varieties in the arithmetic of function fields. In this article we develop their theory regarding morphisms, isogenies, Tate modules, and local shtukas. The later are the analog of p-divisible groups. We investigate which pure t-motives are semisimple, that is, isogenous to direct sums of simple ones. We give examples for pure t-motives which are not semisimple. Over finite fields the semisimplicity is equivalent to the semisimplicity of the endomor…
In this note we intend to look at the moduli stacks for global $G$-shtukas from a new perspective. We discuss a unifying interpretation of several moduli spaces (stacks) including moduli of global $G$-shtukas and (a variant of the) moduli of Higgs bundles. We view these spaces (stacks) as different fibers of a family over a scheme (stack) locally of finite type. We discuss (a relative version of) the local model theory for this family. We also consider the Hecke stacks over the moduli stack of $G$-shtukas and discuss the corresponding (motivic) Hecke operations.
The Grothendieck ring of Chow motives admits two natural opposite $λ$-ring structures, one of which is a special structure allowing the definition of Adams operations on the ring. In this work I present algorithms which allow an effective simplification of expressions that involve both $λ$-ring structures, as well as Adams operations. In particular, these algorithms allow the symbolic simplification of algebraic expressions in the sub-$λ$-ring of motives generated by a finite set of curves into polynomial expressions in a small set of motivic generators. As a consequence, the explicit computat…
Given a curve over a finite field, we compute the number of stable bundles of not necessarily coprime rank and degree over it. We apply this result to compute the virtual Poincare polynomials of the moduli spaces of stable bundles over a curve. A similar formula for the virtual Hodge polynomials and motives is conjectured.
We propose a categorification of the Chern character that refines earlier work of Toën and Vezzosi and of Ganter and Kapranov. If X is an algebraic stack, our categorified Chern character is a symmetric monoidal functor from a category of mixed noncommutative motives over X, which we introduce, to S1-equivariant perfect complexes on the derived free loop stack LX. As an application of the theory, we show that Toën and Vezzosi's secondary Chern character factors through secondary K-theory. Our techniques depend on a careful investigation of the functoriality of traces in symmetric monoidal (inf…
We define the moduli problem of Hitchin pairs over Deligne-Mumford Stack and prove this moduli problem is represented by a separated and locally finitely presented algebraic space, which is considered as the moduli space of Hitchin pairs over Deligne-Mumford stack.
In this paper we give a construction of algebraic (Artin) stacks endowed with a modular map onto the moduli stack of n-pointed stable curves of genus g, for g greater than 2. These stacks are smooth, irreducible and have dimension 4g-3+n, yielding a geometrically meaningful compactification of the degree d universal Picard stack over the moduli stack of smooth curves with marked points.
We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks.
In the study of automorphic representations over a function field, Hitchin moduli stack and its variants naturally appear and their geometry helps the comparison of trace formulae. We give a survey on applications of this observation to a relative fundamental lemma, the arithmetic fundamental lemma and to the higher Gross-Zagier formula.
We generalize the construction of M. Lieblich for the compactification of the moduli stack of $\PGL_r$-bundles on algebraic spaces to the moduli stack of Tanaka-Thomas $\PGL_r$-Higgs bundles on algebraic schemes. The method we use is the moduli stack of Higgs version of Azumaya algebras. In the case of smooth surfaces, we obtain a virtual fundamental class on the moduli stack of $\PGL_r$-Higgs bundles. An application to the Vafa-Witten invariants is discussed.
We determine the Artin-Mazur étale homotopy types of moduli stacks of polarised abelian schemes using transcendental methods and derive some arithmetic properties of the étale fundamental groups of these moduli stacks. Finally we analyse the Torelli morphism between the moduli stacks of algebraic curves and principally polarised abelian schemes from an étale homotopy point of view.
