In this paper we describe the category of motives for an elliptic curve in the sense of Voevodsky as a derived category of dg modules over a commutative differential graded algebra in the category of representations over some reductive group.
Bloch and Kriz construct an abelian category of mixed Tate motives as the category of comodules over a Hopf algebra obtained by the bar construction of the DGA of cycle complexes. In this paper we generalize their construction to give the definition of a category of mixed elliptic motives, i.e. a Tannakian category of mixed motives generated by an elliptic curve. We introduce the notion of a relative DGA over a reductive group. Then the category of mixed elliptic motives is defined as the category of comodules over the relative bar construction of a certain DGA $A_{EM}$ which is constructed fr…
In this paper we suggest a definition for the category of mixed motives generated by the motive h^1(E) for E an elliptic curve without complex multiplication. We then compute the cohomology of this category. Modulo a strengthening of the Beilinson-Soule conjecture, we show that the cohomology of our category agrees with the expected motivic cohomology groups. Finally for each pure motive (Sym^{n}h^1(E))(-1) we construct families of nontrivial motives whose highest associated weight graded piece is $Sym^{n}h^1(E))(-1). This paper was essentially written in the late 1990's whilst the author was …
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…
In the study of the arithmetic structure of elliptic modular groups which are the fundamental groups of compactified modular curves, these truncated group algebras and their direct sums are considered to construct elliptic modular motives. Our main result is a new theory of Hecke operators on these motives which gives a congruence relation to the Galois action, and their motivic decomposition. Using our Hecke theory, we show that elliptic modular motives are the direct sums of pure motives over certain number fields. This fact implies a kind of algebraicity on iterated Shimura integrals, i.e.,…
We study the Tannakian properties of the category of perverse sheaves on elliptic curves endowed with the convolution product. We establish that for certain sheaves with unipotent local monodromy over seven points the corresponding Tannaka group is isomorphic to $G_2$. This monodromy approach generalizes a result of Katz on the existence of $G_2$-motives in the middle cohomology of deformations of Beauville surfaces.
Let $k$ be a number field. We describe the category of Laumon 1-isomotives over $k$ as the universal category in the sense of Nori associated with a quiver representation built out of smooth proper $k$-curves with two disjoint effective divisors and a notion of $H^1_\dR$ for such "curves with modulus". This result extends and relies on the theorem of J. Ayoub and L. Barbieri-Viale that describes Deligne's category of 1-isomotives in terms of Nori's Abelian category of motives.
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…
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.
In our PH.D. thesis we have showed that the Generalized Grothendieck's Conjecture of Periods applied to 1-motives, whose underlying semi-abelian variety is a product of elliptic curves and of tori, is equivalent to a transcendental conjecture involving elliptic integrals of the first and second kind, and logarithms of complex numbers. In this paper we investigate the Generalized Grothendieck's Conjecture of Periods in the case of 1-motives whose underlying semi-abelian variety is a non trivial extension of a product of elliptic curves by a torus. This will imply the introduction of elliptic in…
In this paper we construct extensions of mixed Hodge structures coming from the mixed Hodge structure on the graded quotients of the group ring of the fundamental group of a smooth, projective, pointed curve. These extensions correspond to the regulators of certain motivic cycles in the Jacobian of the curve which were constructed by Beilinson and Bloch. This leads to a new iterated integral expression for the regulator. This is a generalisation of a theorem of Colombo where she constructed the extension corresponding to Collino's cycles in the Jacobian of a hyperelliptic curve.
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 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…
The main result of this paper is the proof for elliptic modular threefolds of conjectures on the existence and structure of a filtration on the Chow groups of smooth projective varieties. In the form we prove them these conjectures were formulated by the second-named author, but as Jannsen has shown, these conjectures are equivalent to a conjecture of Beilinson. These conjectures have previously been proved for surfaces in general, but for elliptic modular surfaces we obtain more precise results which are then used in proving the conjectures for elliptic modular threefolds.
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.
In this article, we will give the Deligne 1-motives up to isogeny corresponding to the $\mathbb{Q}$-limiting mixed Hodge structures of semi-stable degenerations of curves, by using logarithmic structures and Steenbrink's cohomological mixed Hodge complexes associated to semi-stable degenerations of curves.
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.
In this article, we propose a way of seeing the noncommutative tori in the category of noncommutative motives. As an algebra, the noncommutative torus is lack the smoothness property required to define a noncomutative motive. Thus, instead of working with the algebra, we work with the category of holomorphic bundles. It is known that these are related to the coherent sheaves of an elliptic curve. We describe the cyclic homology of the category of holomorphic bundle on a noncommutative torus. We then introduce a notion of (weak) t-structure in dg categories. By applying the t-structure to a non…
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.
For any locally free coherent sheaf on a fixed smooth projective curve, we study the class, in the Grothendieck ring of varieties, of the Quot scheme that parametrizes zero-dimensional quotients of the sheaf. We prove that this class depends only on the rank of the sheaf and on the length of the quotients. As an application, we obtain an explicit formula that expresses it in terms of the symmetric products of the curve.
In this short note, making use of the recent theory of noncommutative mixed motives, we prove that the Voevodsky's mixed motive of a quadric fibration over a smooth curve is Kimura-finite.
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 resu…
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 …
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…
In this paper we construct extensions of the Mixed Hodge structure on the fundamental group of a pointed algebraic curve. These extensions correspond to the regulator of certain explicit motivic cohomology cycles in the self product of the curve which were first constructed by Bloch and Beilinson. This leads to a new iterated integral expression for the regulator. Our result is a generalization of a result of Colombo's where she constructs the extension corresponding to a motivic cycle class in the Jacobian of a hyperelliptic curve constructed by Collino. This is to appear in the Mathematical …
Let $C$ be a smooth curve over an algebraically closed field $\mathbf{k}$, and let $E$ be a locally free sheaf of rank $r$. We compute, for every $d>0$, the generating function of the motives $[\mathrm{Quot}_C(E,\boldsymbol{n} )] \in K_0(\mathrm{Var}_{\mathbf{k}})$, varying $\boldsymbol{n} = (0\leq n_1\leq\cdots\leq n_d)$, where $\mathrm{Quot}_C(E,\boldsymbol{n} )$ is the nested Quot scheme of points, parametrising $0$-dimensional subsequent quotients $E \twoheadrightarrow T_d \twoheadrightarrow \cdots \twoheadrightarrow T_1$ of fixed length $n_i = χ(T_i)$. The resulting series, obtained by ex…
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…
Let $X$ be a smooth variety, $E$ a locally free sheaf on $X$. We express the generating function of the motives $[\textrm{Quot}_X(E,n)]$ in terms of the power structure on the Grothendieck ring of varieties. This extends a recent result of Bagnarol, Fantechi and Perroni for curves, and a result of Gusein-Zade, Luengo and Melle-Hernández for Hilbert schemes. We compute this generating function for curves and we express the relative motive $[\textrm{Quot}_{\mathbb A^d}(\mathscr{O}^{\oplus r}) \to \textrm{Sym}\, \mathbb A^d]$ as a plethystic exponential.
In this paper we associate to t-motives with level structures a finite dimensional vector subspace (subspace of uniformizers). We study the particular case of elliptic sheaves finding some relations with some objects from conformal field theory.
In this note, we prove a criteria for supersingularity when the variety has a large automorphism group and a perfect bilinear pairing. This criteria unifies and extends many known results on the supersingularity of curves and varieties and in particular, applies to a large family of Artin-Schreier curves.
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 …
A motive over a field $k$ is of abelian type if it belongs to the thick and rigid subcategory of Chow motives spanned by the motives of abelian varieties over $k$. This paper contains three sections of independent interest. First, we show that a motive which becomes of abelian type after a base field extension of algebraically closed fields is of abelian type. Given a field extension $K/k$ and a motive $M$ over $k$, we also show that $M$ is finite-dimensional if and only if $M_K$ is finite-dimensional. As a corollary, we obtain Chow--Kuenneth decompositions for varieties that become isomorphic…
We define the categories of log motives and log mixed motives. The latter gives a new formulation for the category of mixed motives. We prove that the former is a semisimple abelian category if and only if the numerical equivalence and homological equivalence coincide, and that it is also equivalent to that the latter is a Tannakian category. We discuss various realizations, formulate Tate and Hodge conjectures, and verify them in curve case.
The zeta function of a motive over a finite field is multiplicative with respect to the direct sum of motives. It has beautiful analytic properties, as were predicted by the Weil conjectures. There is also a multiplicative zeta function, which instead respects the tensor product of motives. There is no analogue of the Weil conjectures, and we give a sufficient criterion for an analytic continuation to exist. This happens, for example, for cellular varieties, abelian varieties, or genus g > 1 curves with a supersingular Jacobian.
In this article one extends the classical theory of (intermediate) Jacobians to the "noncommutative world". Concretely, one constructs a Q-linear additive Jacobian functor J(-) from the category of noncommutative Chow motives to the category of abelian varieties up to isogeny, with the following properties: (i) the first de Rham cohomology group of J(N) agrees with the subspace of the odd periodic cyclic homology of N which is generated by algebraic curves; (ii) the abelian variety J(perf(X)) (associated to the derived dg category perf(X) of a smooth projective scheme X) identifies with the un…
Motivic local systems over a curve in finite characteristic form a countable set endowed with an action of the absolute Galois group of rational numbers commuting with the Frobenius map. I will discuss three series of conjectures about such sets, based on an analogy with algebraic dynamics, on a formalism of commutative algebras of motivic integral operators, and on an analogy with 2-dimensional lattice models.
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 the arithmetic of function fields Drinfeld modules play the role that elliptic curves take on in the arithmetic of number fields. As higher dimensional generalizations of Drinfeld modules, and as the appropriate analogues of abelian varieties, G. Anderson introduced pure t-motives. In this article we study the arithmetic of the later. 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 endomorphism al…
Let EHM be Nori's category of effective homological mixed motives. In this paper, we consider the thick abelian subcategory EHM_1 generated by the i-th relative homology of pairs of varieties for i = 0,1. We show that EHM_1 is naturally equivalent to the abelian category M_1 of Deligne 1-motives with torsion; this is our main theorem. Along the way, we obtain several interesting results. Firstly, we realize M_1 as the universal abelian category obtained, using Nori's formalism, from the Betti representation of an explicit diagram of curves. Secondly, we obtain a conceptual proof of a theorem o…
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 $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)|$.
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…
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…
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.
Kolyvagin proved that the Tate-Shafarevich group of an elliptic curve over Q of analytic rank 0 or 1 is finite, and that its algebraic rank is equal to its analytic rank. A program of generalisation of this result to the case of some motives which are quotients of cohomology motives of Shimura varieties is offered. We prove some steps of this program, mainly for quotients of $H^7$ of Siegel sixfolds. For example, we "almost" find analogs of Kolyvagin's trace and reduction relations. Some steps of the present paper are new contribution, because they have no analogs in the case of elliptic curve…
Shimura and Taniyama proved that if $A$ is a potentially CM abelian variety over a number field $F$ with CM by a field $K$ linearly disjoint from F, then there is an algebraic Hecke character $λ_A$ of $K$ such that $L(A/F,s)=L(λ_A,s)$. We consider a certain converse to their result. Namely, let $A$ be a potentially CM abelian variety appearing as a factor of the Jacobian of a curve of the form $y^e=γx^f+δ$. Fix positive integers $a$ and $n$ such that $n/2 < a \leq n$. Under mild conditions on $e, f, γ, δ$, we construct a Chow motive $M$, defined over $F=\mathbb{Q}(γ,δ)$, such that $L(M/F,s)$ a…
Recently, the author defined multiple Dedekind zeta values [5] associated to a number K field and a cone C. These objects are number theoretic analogues of multiple zeta values. In this paper we prove that every multiple Dedekind zeta value over any number field K is a period of a mixed Tate motive. Moreover, if K is a totally real number field, then we can choose a cone C so that every multiple Dedekind zeta associated to the pair (K;C) is unramified over the ring of algebraic integers in K. In [7], the author proves similar statements in the special case of a real quadratic fields for a part…
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…
The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of an element of the Chabauty-Kim ideal for $\mathbb{Z}[1/\ell]$-points on a punctured elliptic curve, and lay some groundwork for certain kinds of higher genus curves. For this purpose, we develop an "explicit Tannakian Chabauty-Kim method" using $\mathbb{Q}_{p}$-Tannakian categories of Galois representations in place of $\mathbb{Q}$-linear motives. In future…
From the product of two elliptic curves, Shioda and Inose constructed an elliptic $K3$ surface having two $\mathrm{II}^*$ fibers. Its Mordell-Weil lattice structure depends on the morphisms between the two elliptic curves. In this paper, we give a method of writing down generators of the Mordell-Weil lattice of such elliptic surfaces when two elliptic curves are $3$-isogenous. In particular, we obtain a basis of the Mordell-Weil lattice for the singular $K3$ surfaces $X_{[3,3,3]}$, $X_{[3,2,3]}$ and $X_{[3,0,3]}$.