Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with the Hodge structure induced from the fundamental torsor of path of punctured affine line.
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…
Brown showed that the affine ring of the motivic path torsor $π_1^{\text{mot}}(\mathbb{P}^1 \backslash \left\{0,1,\infty\right\}, \vec{1}_0, -\vec{1}_1)$, whose periods are multiple zeta values, generates the Tannakian category $\mathsf{MT}(\mathbb{Z})$ of mixed Tate motives over $\mathbb{Z}$. Brown also introduced multiple modular values, which are periods of the relative completion of the fundamental group of the moduli stack $\mathcal{M}_{1,1}$ of elliptic curves. We prove that all motivic multiple zeta values may be expressed as $\mathbb{Q}[2 πi]$-linear combinations of motivic iterated Ei…
We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of differential forms. This generalizes a result of Geisser from small Tate twists to all twists and uses as a critical new ingredient the comparison theorem between syntomic complexes and p-adic nearby cycles proved recently in Colmez-Niziol.
We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra structure on the latter. This generalizes Goncharov's formula for the motivic coproduct on (generic) iterated integrals. Our main tool is the study of the relative cohomology group corresponding to a bi-arrangement of hyperplanes.
We prove relations between fractional linear cycles in Bloch's integral cubical higher Chow complex in codimension two of number fields, which correspond to functional equations of the dilogarithm. These relations suffice, as we shall demonstrate with a few examples, to write down enough relations in Bloch's integral higher Chow group CH^2(F,3) for certain number fields F to detect torsion cycles. Using the regulator map to Deligne cohomology, one can check the non-triviality of the torsion cycles thus obtained. Using this combination of methods, we obtain explicit higher Chow cycles generatin…
This paper concerns the Algebraic Sato--Tate and Sato--Tate conjectures, based on Serre's original motivic formulation, with an eye towards explicit computations of Sato--Tate groups. We build on the algebraic framework for the Sato--Tate conjecture introduced in a previous paper, which used Deligne's motivic category for absolute Hodge cycles and was restricted to motives of odd weight. Here, we allow general weight and some other motivic categories, notably André's motivic category of motivated cycles; moreover, some results are also new in the odd weight case. The paper consists of two part…
We introduce the notion of dR-absolutely special subvarieties in motivic variations of Hodge structure as special subvarieties cut out by (de Rham-)absolute Hodge cycles and conjecture that all special subvarieties are dR-absolutely special. This is implied by Deligne's conjecture that all Hodge cycles are absolute Hodge cycles, but is a much weaker conjecture. We prove our conjecture for subvarieties satisfying a simple monodromy condition introduced by Klingler-Otwinowska-Urbanik. We study applications to typical respectively atypical intersections and $\bar{\mathbb{Q}}$-bialgebraic subvarie…
We build, using the notion of zinbiel algebra, some commutative subalgebras $C_{u,v}$ inside an algebra of formal iterated integrals. There is a quotient map from this algebra of formal iterated integrals to the algebra of motivic multiple zeta values. Restricting this quotient map to the subalgebras $C_{u,v}$ of A$_{1,0}$ gives a morphism of graded commutative algebras with the same graded dimension. This is conjectured to be generically an isomorphism. When u+v = 0, the image is instead a sub-algebra of the algebra of motivic multiple zeta values.
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…
The goal of this article is to try understand where Hodge cycles on a singular complex projective variety X come from. As a first step we consider Hodge cycles on the maximal pure quotient $H^{2p}(X)/W_{2p-1}$, and introduce a class of algebraic cycles that we call homologically Cartier, that should conjecturally describe all such Hodge cycles. Secondly, given a singular complex projective variety $X$, we show that there is a cycle map from motivic cohomology group $H^{2p}_M(X,Q(p))$ to the space of weight 2p Hodge cycles in $H^{2p}(X,Q)$. We conjecture that this is surjective when X is define…
We construct classes in the motivic cohomology of certain 1-parameter families of Calabi-Yau hypersurfaces in toric Fano n-folds, with applications to local mirror symmetry (growth of genus 0 instanton numbers) and inhomogeneous Picard-Fuchs equations. In the case where the family is classically modular the classes are related to Belinson's Eisenstein symbol; the Abel-Jacobi map (or rational regulator) is computed in this paper for both kinds of cycles. For the "modular toric" families where the cycles essentially coincide, we obtain a motivic (and computationally effective) explanation of a p…
Beilinson conjectured that all rational cycles of type (q,q) on the qth cohomology of a smooth complex algebraic variety should come from motivic cohomology. The purpose of this note is to prove this when the variety is a semiabelian variety or a product of curves. The proof is based on the study of invariants under the Mumford-Tate group.
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 …
We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period regulator is surjective. Showing that a suitable Betti--de Rham realization of 1-motives is fully faithful we can verify this period conjecture in several cases. The divisibility properties of motivic cohomology imply that our conjecture is a neat generalization of the classical Grothendieck period conjecture for algebraic cycles on smooth and proper schemes. Th…
We construct indecomposable cycles in the motivic cohomology group $H^3_{\mathcal M}(A,{\mathbb Q}(2))$ where $A$ is an Abelian surface over a number field or the function field of a base. When $A$ is the self product of the universal elliptic curve over a modular curve, these cycles can be used to prove algebraicity results for values of higher Green's functions, similar to a conjecture of Gross, Kohnen and Zagier. We formulate a conjecture which relates our work with the recent work of Bruinier-Ehlen-Yang on the conjecture of Gross-Kohnen-Zagier.
This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in t…
This paper is an exposition of the completion of a modular group with respect to its inclusion into SL_2(Q) and the connection with the theory of modular forms and variations of mixed Hodge structure over modular curves. Among the goals of this paper are to give a context to Manin's iterated Shimura integrals (iterated integrals of modular forms) and to study relations in the "maximal Eisenstein quotient" of the completion of SL_2(Z). In particular, we use a computation of Terasoma to prove that Pollack's quadratic relations in the derivation Lie algebra of a rank two free Lie algebra lift to …
We consider correspondences on smooth quasiprojective varieties $U$. An algebraic cycle inducing the Künneth projector onto $H^1(U)$ is constructed. Assuming normal crossings at infinity, the existence of relative motivic cohomology is shown to imply the independence of $\ell$ for traces of open correspondences.
This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm…
We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.
The cyclic insertion conjecture of Borwein, Bradley, Broadhurst and Lisoněk states that by inserting all cyclic permutations of some initial blocks of 2's into the multiple zeta value $ ζ(1,3,\ldots,1,3) $ and summing, one obtains an explicit rational multiple of a power of $ π$. Hoffman gives a conjectural identity of a similar flavour concerning $ 2 ζ(3,3,\{2\}^m) - ζ(3,\{2\}^m,(1,2)) $. In this paper we introduce the 'generalised cyclic insertion conjecture', which we describe using a new combinatorial structure on iterated integrals -- the so-called alternating block decomposition. We see …
Iteration of the modular l-th power function f(x) = x^l (mod n) provides a common pseudorandom number generator (known as the Blum-Blum-Shub generator when l=2). The period of this pseudorandom number generator is closely related to λ(λ(n)), where λ(n) denotes Carmichael's function, namely the maximal multiplicative order of any integer modulo n. In this paper, we show that for almost all n, the size of λ(λ(n)) is n/exp((1+o(1))(log log n)^2 log log log n). We conjecture an analogous formula for the k-th iterate of λ. We deduce that for almost all n, the psuedorandom number generator described…
Multiple modular values are a common generalisation of multiple zeta values and periods of modular forms, and are periods of a hypothetical Tannakian category of mixed modular motives. They are given by regularised iterated integrals on the upper half plane generalising the iterated Shimura integrals of Manin. In this paper, some first properties of the underlying theory are established in the case of the full modular group: in particular, the relationship with special values of L-functions of modular forms at all positive integers; and the action of the conjectural motivic Galois group via a …
Scattering amplitudes which describe the interaction of physical states play an important role in determining physical observables. In string theory the physical states are given by vibrations of open and closed strings and their interactions are described (at the leading order in perturbation theory) by a world-sheet given by the topology of a disk or sphere, respectively. Formally, for scattering of N strings this leads to N-3-dimensional iterated real integrals along the compactified real axis or N-3-dimensional complex sphere integrals, respectively. As a consequence the physical observabl…
Feynman integrals are central to all calculations in perturbative Quantum Field Theory. They often give rise to iterated integrals of dlog-forms with algebraic arguments, which in many cases can be evaluated in terms of multiple polylogarithms. This has led to certain folklore beliefs in the community stating that all such integrals evaluate to polylogarithms. Here we discuss a concrete example of a double iterated integral of two dlog-forms that evaluates to a period of a cusp form. The motivic versions of these integrals are shown to be algebraically independent from all multiple polylogarit…
