Several authors have studied homomorphisms from first homology groups of modular curves to the second K-group of a cyclotomic ring or a modular curve X. These maps send Manin symbols in the homology groups to Steinberg symbols of cyclotomic or Siegel units. We give a new construction of these maps and a direct proof of their Hecke equivariance, analogous to the construction of Siegel units using the universal elliptic curve. Our main tool is a 1-cocycle from GL_2(Z) to the second K-group of the function field of a suitable group scheme over X, from which the maps of interest arise by specialization.
The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the syntomic realization of the motivic Eisenstein classes, restricted to the ordinary locus of the modular curve, may be expressed using p-adic Eisenstein-Kronecker series. These p-adic modular forms are defined using the two-variable p-adic measure with values in p-adic modular forms constructed by Katz.
We introduce an integral version of the Eisenstein cocycle. As applications we prove a conjecture of Gross regarding the "order of vanishing" of Stickelberger elements relative to an abelian tower of fields and give a cohomological construction of the conjectural Gross--Stark units.
In this paper we prove that the motivic Eisenstein classes associated to polylogarithms of commutative group schemes can be $p$-adically interpolated in étale cohomology. This generalizes results for elliptic curves obtained in our former work. Already for one dimensional commutative groups the results proved here are much more flexible as they allow to treat degeneration questions easily.
We generalize Sczech's Eisenstein cocycle for $\mathrm{GL}(n)$ over totally real extensions of $\mathbb{Q}$ to finite extensions of imaginary quadratic fields. By evaluating the cocycle on certain cycles, we parametrize complex values of Hecke L-functions previously considered by Colmez, giving a cohomological interpretation of his algebraicity result on special values of the L-functions.
We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as co…
We define certain higher-dimensional Dedekind sums that generalize the classical Dedekind-Rademacher sums, and show how to compute them effectively using a generalization of the continued-fraction algorithm. We present two applications. First, we show how to express special values of partial zeta functions associated to totally real number fields in terms of these sums via the Eisenstein cocycle introduced by the second author. Hence we obtain a polynomial-time algorithm for computing these special values. Second, we show how to use our techniques to compute certain special values of the Witte…
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 define a cocycle on Gln using Shintani's method. It is closely related to cocycles defined earlier by Solomon and Hill, but differs in that the cocycle property is achieved through the introduction of an auxiliary perturbation vector Q. As a corollary of our result we obtain a new proof of a theorem of Diaz y Diaz and Friedman on signed fundamental domains, and give a cohomological reformulation of Shintani's proof of the Klingen-Siegel rationality theorem on partial zeta functions of totally real fields. Next we prove that the cohomology class represented by our Shintani cocycle is essenti…
The main purpose of this paper is the geometric construction, and the analysis of the formalism of elliptic Bloch groups. In the setting of absolute cohomology, we obtain a generalization of Beilinson's Eisenstein symbol to divisors of an elliptic curve, whose support is not necessarily torsion. For motivic cohomology, such a generalization is obtained in low degrees. Our main result shows that the Eisenstein symbol can be defined in all degrees if the elliptic analogue of the Beilinson-Soule vanishing conjecture holds.
Eisenstein classes of Siegel varieties are motivic cohomology classes defined as pull-backs by torsion sections of the polylogarithm prosheaf on the universal abelian scheme. By reduction to the Hilbert-Blumenthal case, we prove that the Betti realization of these classes on Siegel varieties of arbitrary genus have non-trivial residue on zero dimensional strata of the Baily-Borel compactification. A direct corollary is the non-vanishing of a higher regulator map.
We compute the p-adic L-function (in the sense of Pollack-Stevens and Bellaiche) of the "evil twin" Eisenstein series. We use Solomon's Shintani cocycle to construct a p-adic Shintani modular symbol, and show how to specialize this modular symbol to overconvergent modular symbols with the same p-adic L-function as evil/critical-slope Eisenstein series. This gives a new proof of recent results of Bellaiche and Dasgupta.
In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the $p$-adic syntomic regulators of these classes. As a consequence we prove many cases of the Perrin-Riou conjecture for Rankin--Selberg convolutions of cusp forms.
Many authors have constructed different, but related, linear group cocycles that are usually referred to as ``Eisenstein cocycles.'' The main goal of this work is to describe a topological construction that is a common source for all these cocycles. One interesting feature of this construction is that, starting from a purely topological class, it leads to the algebraic world of meromorphic forms on hyperplane complements in $n$-fold products of either the (complex) additive group, the multiplicative group or a (family of) elliptic curve(s). This yields the construction of three types of ``Scze…
We show that all Eichler integrals, and more generally all "generalized second order modular forms" can be expressed as linear combinations of corresponding generalized second order Eisenstein series with coefficients in classical modular forms. We determine the Fourier series expansions of generalized second order Eisenstein series in level one, and provide tail estimates via convexity bounds for additively twisted $\mathrm{L}$-functions. As an application, we illustrate a bootstrapping procedure that yields numerical evaluations of, for instance, Eichler integrals from merely the associated …
We construct, out of modular symbols, 1-traces that are invariant with respect to the actions of the Hopf algebra $\Hc_{1}$ on the crossed product $\Ac_{Q}$ of the algebra of modular forms of all levels by $\GL^+ (2,Q)$ investigated in earlier work. This provides a conceptual explanation for the construction of the Euler cocycle representing the image of the universal Godbillon-Vey class under the characteristic map of noncommutative Chern-Weil theory which we developed in our earlier work. We then refine the construction to produce secondary data by transgression. For the action determined by…
We introduce and begin to analyse a class of algebras, associated to congruence subgroups, that extend both the algebra of modular forms of all levels and the ring of classical Hecke operators. At the intuitive level, these are algebras of `polynomial coordinates' for the `transverse space' of lattices modulo the action of the Hecke correspondences. Their underlying symmetry is shown to be encoded by the same Hopf algebra that controls the transverse geometry of codimension 1 foliations. Its action is shown to span the `holomorphic tangent space' of the noncommutative space, and each of its th…
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…
In this paper we describe a connection between realizations of the action of the motivic Galois group on the motivic fundamental groups of Gaussian and Eisenstein elliptic curves punctured at the $\mathfrak{p}$-torsion points, $π_1^{\rm Mot}(E-E[\mathfrak{p}],v_0)$, and the geometry of the Bianchi hyperbolic threefolds $Γ_1(\mathfrak{p})\setminus\mathbb{H}^3$, where $Γ_1(\mathfrak{p})$ is a congruence subgroup of ${\rm GL}_2({\rm End}(E))$. The first instance of such a connection was found by A.Goncharov (arXiv:math/0510310). In particular, we study the Hodge realization of the image of the ab…
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 …
The temperature inversion properties of the internal energy, E, on odd spheres, and its derivatives, together with their expression in elliptic terms, as expounded in previous papers, are extended to the integrals of E, thence making contact with the theory of modular forms with rational period functions. I point out that the period functions of (holomorphic) Eisenstein series computed by Zagier were already available since the time of Ramanujan and I give a rederivation by contour integration. Removing both the Planck and Casimir terms gives a fully subtracted form of the series which allows …
In this paper we compute the cohomology groups of GL(4,Z) with coefficients in symmetric powers of the standard representation twisted by the determinant. This problem arises in Goncharov's approach to the study of motivic multiple zeta values of depth 4. The techniques that we use include Kostant's formula for cohomology groups of nilpotent Lie subalgebras of a reductive Lie algebra, Borel-Serre compactification, a result of Harder on Eisenstein cohomology. Finally, we need to show that the ghost class, which is present in the cohomology of the boundary of the Borel-Serre compactification, di…
