1 results
UNIVERSAL MIXED ELLIPTIC MOTIVES
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 19 / Issue 3 / May 2020
- Published online by Cambridge University Press:
- 30 April 2018, pp. 663-766
- Print publication:
- May 2020
-
- Article
- Export citation
-
In this paper we construct a
$\mathbb{Q}$-linear tannakian category 
$\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space 
${\mathcal{M}}_{1,1}$ of elliptic curves. It contains 
$\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of 
$\mathsf{MEM}_{1}$ is an object of 
$\mathsf{MTM}$ endowed with an action of 
$\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over 
${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point 
$\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of 
$\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.
