## Classical periods of Eisenstein series and Bernoulli polynomials in the equivariant cohomology of a torus

## PETER XU

ABSTRACT. We find group cochains valued in currents giving explicit representatives for the GL 2 -equivariant polylogarithm class of a torus. Based on the construction of weight2 Eisenstein series for GL 2 from this polylogarithm class, we give a geometrically-flavored derivation of the classical formulas for the associated DedekindRademacher homomorphisms, i.e. the periods of E 2 α,β for various nonzero torsion sections p α, β q .

## CONTENTS

| 1.         | Introduction: classical Eisenstein series                       |   2 |
|------------|-----------------------------------------------------------------|-----|
| 1.1.       | Acknowledgments                                                 |   3 |
| 2.         | Equivariant/de Rham Eisenstein classes                          |   3 |
| 2.1.       | Computing with complexes                                        |   4 |
| 2.2.       | Bernoulli polynomials                                           |   6 |
| 2.3.       | Finding lifts                                                   |   8 |
| 2.4.       | Lifts for SL 2 p Z q and classical Dedekind-Rademacher formulas |   8 |
| 2.5.       | Lifts for SL 2 p Q q                                            |  10 |
| 2.6.       | Comparison of pullbacks                                         |  13 |
| 2.7.       | Future directions                                               |  19 |
| References | References                                                      |  20 |

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY 1. INTRODUCTION: CLASSICAL EISENSTEIN SERIES

Consider the classical weight2 Eisenstein series by the analytic continuation/Hecke regularized series

$$E _ { 2 } ^ { \alpha, \beta } ( \tau ) \coloneqq$$

where τ P H is a variable in the upper half-plane and p α, β q P p 1 N Z Z { q 2 ´tp 0 0 , qu parameterizes an additive character of Z 2 of conductor dividing N , for some integer N ą 1 . We may assume N is minimal, i.e. p α, β q is a primitive vector, so that the conductor is precisely N . Then E α,β 2 p τ q is a holomorphic modular form of level Γ p N q ; see, e.g., [Weil, III(11)].

A classical formula due to Siegel [Sieg] gives formulas for the periods of these modular forms in terms of periodic Bernoulli polynomials : we write

$$& ( 1. 2 ) & & B _ { 2 } ( x ) \coloneqq \{$$

for the first two periodic Bernoulli polynomials, thought of as functions on R Z { . Here, t x u denotes the 'fractional part' function which takes the remainder modulo 1 (i.e. in r 0 1 , q ) of any real number. Then associated to any matrix

$$\gamma \coloneqq \begin{pmatrix} a & b \\ c & d \$$

the integral

$$\Phi _ { \alpha, \beta } ( \gamma ) \coloneqq \int$$

is independent of the basepoint τ 0 , and yields a homomorphism Γ p N q Ñ Q given by

$$\begin{array} {$$

## PETER XU

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

This formula exhibits the a priori non-obvious fact that the various Eisenstein series E α,β 2 , which together span all the holomorphic Eisenstein classes in the first cohomology of any arithmetic subgroup of the modular group, give rational classes. In fact, by taking suitably smoothed combinations ('stabilizations'), one can even deduce integrality results.

The original proof of this formula, in [Sieg, Theorem 13], was by analytic means, grouping terms in infinite series and dealing with delicate convergence issues. Our proof is almost entirely algebraic, and closely tied to the underlying linear algebraic geometry of the 2 -torus with GL 2 -action.

The content of the article can be viewed as an algebraic approach to the construction of the BernoulliEisenstein classes of Sczech [Scz1].

- 1.1. Acknowledgments. I would like to thank Marti Roset Julia for helping me to understand how to reconcile the explicit formulas, and Nicolas Bergeron for his inspiration in pursuing this work.

## 2. EQUIVARIANT/DE RHAM EISENSTEIN CLASSES

We follow the treatment of [BCG1] to identify E α,β 2 with a class in cohomology. Let Γ be a torsion-free subgroup of GL 2 p Z q ; 1 then the Γ -action on the upper half-plane H by M¨ obius transformations

$$\begin{pmatrix} a & b \\ c & d \end{pmatrix} \tau \coloneqq \frac { a \tau + b } { c \tau + d }$$

is free and therefore Y p Γ q : ' Γ z H is a model for the classifying space of Γ . The torus bundle over the classifying space

$$T ( \Gamma ) \coloneqq \Gamma \langle \mathcal { H } \times ( \mathbb { C } / \mathbb { Z } ^ { 2 } ) )$$

then corresponds to the torus T : ' C Z { 2 with left Γ -action given by the monodromy action on fibers (i.e. by the left standard representation of GL 2 p Z q ), in the sense that there is a natural isomorphism

$$H _ { \Gamma } ^ { \bullet } ( T ) \cong H ^ { \bullet } ( T ( \Gamma ) )$$

between the equivariant cohomology of T and the cohomology of the total space of the bundle T p Γ q .

1 The torsion-free assumption is not strictly necessary, but we make it for simplicity.

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

Here, 'natural' means that this isomorphism exists for not just the torus, but for any Γ -space and corresponding bundle over Y p Γ q , and is functorial for morphisms between such objects. See, for example, the second author's thesis [X, §3] for an explanation of this dictionary between bundles over the classifying space and equivariant spaces.

Then following [BCG1, §3], if we fix an auxiliary integer c ą 1 , there is a unique class

$$z _ { \Gamma } ^ { ( c ) } \in H _ { \Gamma } ^ { 1 } ( T - T [ c ], \mathbb { Z } [ 1 / c ] )$$

characterized by being invariant by r a s ˚ (for all integers a relatively prime to c , which we denote by N p c q ) and having residue

$$[ T [ c ] - c ^ { 2 } \{ 0 \} ] \in H _ { \Gamma, T [ c ] } ^ { 2 } ( T, \mathbb { Z } [ 1 / c ] ) \cong H ^ { 0 } ( T [ c ] ) ^ { \Gamma },$$

where H , Γ ,T r c s p T q denotes the equivariant cohomology with support. When Γ ' Γ p N q and a Γ -fixed point p α, β q P 1 N Z 2 { Z ' T N r s , the formulas of [BCG1, §9] tell us that that for any c ą 1 with p cα, cβ q ' p α, β q .

$$( \alpha, \beta ) ^ { * } \frac { 1 } { 1 - c ^ { 2 } } z _ { \Gamma } ^ { ( c ) } \in H _ { \Gamma } ^ { 1 } ( *, \mathbb { Z } [ 1 / c ] ) = H ^ { 1 } ( \Gamma, \mathbb { Z } [ 1 / c ] )$$

has a de Rham representative 1 2 r E α,β 2 s P H 1 p Y p Γ q , Z r 1 { sq c as defined in the introduction, under the identification (2.1).

2.1. Computing with complexes. We now define the main tool we need, in this setting: the distributional de Rham complex of T . Write D i T for the real-valued smooth i -currents on T , i.e. the linear dual of the compactly-supported smooth p 2 ´ q i -forms Ω 2 ´ i T,c . The exterior derivative d : D i T Ñ D i ` 1 T is defined as the graded adjoint of the exterior derivative on forms, i.e.

$$( d c ) ( \eta ) \coloneqq ( - 1 ) ^ { \deg c } c ( d \eta ).$$

With this differential, the currents form a complex

$$\mathcal { D } _ { T } ^ { 0 } \rightarrow \mathcal { D } _ { T } ^ { 1 } \rightarrow \mathcal { D } _ { T } ^ { 2 },$$

PETER XU EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY computing the real cohomology of T . There is an injective quasi-isomorphism from the usual de Rham complex

Þ

$$\upsilon \, \colon \Omega _ { T } ^ { i } \hookrightarrow \mathcal { D } _ { T } ^ { i }, \hookrightarrow \omega \mapsto \left ( \eta \mapsto \int _ { T } \eta \wedge \omega \right )$$

Þ

whose injectivity can be seen locally by the non-degeneracy of the wedge product pairing. Via this map, we can and will implicitly view smooth forms as currents.

Þ

We would like to say that the map υ is a natural isomorphism, but this functoriality actually fails, because the integral over T depends on its orientation, and so is reversed in sign by orientation-reversing maps. Consequently, for orientation-reversing maps, the action on currents can fail to give the correct action on cohomology. For example, on S 1 , pushforward by the inverse map r´ s 1 ˚ sends the 1 -form dz Ñ´ dz , as it does for the associated cohomology class, but if we take the 'natural' adjoint action, we have:

$$[ - 1 ] _ { * } ( v ( d z ) ) ( \eta ) = ( v ( d z ) ) ( [ - 1 ] ^ { * } \eta ) = \int _ { S ^ { 1 } } [ - 1 ] ^ { * } \eta \wedge d z = \int _ { S ^ { 1 } } \eta ( - z ) \, d z = \int _ { S ^ { 1 } } \eta ( z ) \, d z = ( v ( d z ) ) ( \eta )$$

for a compactly supported smooth 0 -form (i.e. function on S 1 ) η , so we see that r´ s 1 ˚ actually fixes the associated current. 2

This subtlety addressed, we now introduce an important class of currents: associated to closed oriented submanifolds Z Ă T of codimension s , we have a closed current of integration

$$\delta _ { Z } \in \mathcal { D } _ { T } ^ { s }$$

defined by

$$\delta _ { Z } ( \omega ) \coloneqq \int _ { Z } \omega.$$

In line with our discussion above, reversing the orientation of Z turns δ Z into ´ δ ´ Z . Further, a current ω P D 1 T having residue C P H 0 p T c r sq along the residue map

$$H ^ { 1 } ( T - T [ c ], \mathbb { R } ) \rightarrow H ^ { 0 } ( T [ c ] )$$

2 Philosophically, what is happening is that the distributional de Rham complex is really computing Borel-Moore homology, not cohomology. The usual isomorphism between the two is via Poincar´ e duality, which depends on a choice of orientation class.

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

## PETER XU

is equivalent to dω ' δ C (where this means the linear combination of the currents of integration along points in the support of C corresponding to their coefficients). See for example [X, (3.3)] from the author's thesis: in general, [X, §3.2.2] contains more details on the distributional de Rham complex along with proofs (or references to original proofs).

Since the distributional de Rham complex is a functorial complex computing ordinary real cohomology, the equivariant cohomology of T can thus be computed by the double complex C , p Γ , D , T q , where Γ Ă SL 2 p Z q acts on T -currents by pushforward. Analogously to the non-equivariant case, then, an element ω of this double complex restricts to a representative of a class in H 1 Γ p T ´ T c r sq with residue

$$[ T [ c ] - c ^ { 2 } \{ 0 \} ] \in H ^ { 0 } ( T [ c ] ) ^ { \Gamma }$$

if and only if the total differential of ω is δ T c r s ´ c δ 2 0 P C 0 p Γ , D 2 T q . In particular, if we can find such a class which is invariant by r a s ˚ for all integers a relatively prime to c , then it will represent the class

$$z _ { \Gamma } ^ { ( c ) } \in H _ { \Gamma } ^ { 1 } ( T - T [ c ], \mathbb { R } ).$$

2.2. Bernoulli polynomials. We now know that in principle, one can compute Eisenstein classes by finding suitable lifts inside the distributional de Rham complex.

These elements will be built out of the periodic Bernoulli polynomials of weight 1

$$B _ { 1 } ( z ) \coloneqq \{ z \} - \frac { 1 } { 2 }$$

where t z u is the fractional part of z , i.e. its unique representative in r 0 1 , q modulo 1 , and weight2

$$B _ { 2 } ( z ) = \{ z \} ^ { 2 } - \{ z \} + \frac { 1 } { 6 }.$$

As periodic functions, these Bernoulli polynomials can be viewed as defined on R Z { . Clearly, B 1 is not smooth, or even continuous; its graph is in the shape of a sawtooth. The weight-two B 2 , meanwhile, is continuous, since 0 2 ´ 0 ` { 1 6 ' 1 2 ´ 1 ` { 1 6 , and smooth away from the identity in S 1 . Also away from the identity, it is easy to see that B 1 2 p z q ' 2 B 1 p z q . Furthermore, these polynomials satisfy the distribution

PETER XU

relations

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

$$B _ { 1 } ( z ) = [ a ] _ { * } B _ { 1 } ( z ) \coloneqq \sum _ { z ^ { \prime } \in [ a ] ^ { - 1 } z } B _ { 1 } ( z )$$

$$B _ { 2 } ( z ) = a [ a ] _ { * } B _ { 2 } ( z ) \coloneqq a \sum _ { z ^ { \prime } \in [ a ] ^ { - 1 } z } B _ { 2 } ( z )$$

for all a P N , as can be easily verified by hand.

Despite not being smooth as functions, B 1 p z q and B 2 p z q can be considered as smooth 0 -currents on all of S 1 , in the sense that

Þ

$$\alpha \mapsto \int _ { S ^ { 1 } } B _ { i } ( z ) \alpha$$

is a well-defined functional on smooth 1 -forms α on S 1 , for i ' 1 2 , . Considered currents, we have that

$$d B _ { 1 } = d z - \delta _ { 0 },$$

$$d B _ { 2 } = 2 B _ { 1 } d z$$

the former of which can be verified by computing their Fourier coefficients.

We now construct a certain element θ of total degree 1 in C , p Γ , D , T q , i.e. in

$$C ^ { 0 } ( \Gamma, \mathcal { D } ^ { 1 } _ { T } ) \oplus C ^ { 1 } ( \Gamma, \mathcal { D } ^ { 0 } _ { T } )$$

such that its total differential is

$$\delta _ { 0 } - d z _ { 1 } \wedge d z _ { 2 } \in C ^ { 0 } ( \Gamma, \mathcal { D } _ { T } ^ { 2 } ).$$

In particular, we set

$$C ^ { 0 } ( \Gamma, \mathcal { D } _ { T } ^ { 1 } ) \cong \mathcal { D } _ { T } ^ { 1 } \ni \theta ^ { 0, 1 } \, \coloneqq \, B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 }$$

Then we can compute that the derivative of this element as a current is

$$\delta _ { 0 } - d z _ { 1 } \wedge d z _ { 2 }$$

as desired, so to define θ 1 0 , P C 1 p Γ , D 0 T q , it remains to find a lift of

Þ

$$\partial _ { \Gamma } \theta ^ { 0, 1 } = \left ( \gamma \mapsto \left ( \gamma - 1 \right ) [ B _ { \substack { 1 } { 7 } } \right ) \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } ] \right ).$$

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

Before discussing how to find these lifts, we observe the relation of any such lift to the Eisenstein class. The key observation is that the class θ 0 1 , is trace-fixed, i.e. r a s ˚ θ 0 1 , ' θ 0 1 , for all a P N . Then if we can find a lift θ 1 0 , of B Γ θ 0 1 , which is similarly trace-fixed, we can conclude:

Proposition 2.1. Given a such a trace-fixed element θ ' θ 1 0 , ` θ 0 1 , with d tot θ ' δ 0 ´ dz 1 ^ dz 2 as above, we have for any integer c ą 1 that

$$[ ( [ c ] ^ { * } - c ^ { 2 } ) \theta ] = z _ { \Gamma } ^ { ( c ) } \in H _ { \Gamma } ^ { 1 } ( T - T [ c ] ).$$

Proof. From the preceding discussion, we see that pr c s ˚ ´ c 2 q θ is an element with total differential δ T c r s ´ c δ 2 0 , which is fixed by r a s ˚ for all p a, c q ' 1 . We hence conclude its restriction to T ´ T c r s is a closed (under d tot ) element which satisfies the properties characterizing z p c q Γ , and hence represents it in cohomology. /square

2.3. Finding lifts. In this section, we will find a definition of θ 1 0 , by finding suitable lifts of γ B Γ θ 0 1 , , and see how this leads directly to formulas for the periods of classical Eisenstein series.

We begin by noting that

$$( \gamma _ { 2 } \gamma _ { 1 } - 1 ) \theta ^ { 0, 1 } = \gamma _ { 2 } ( \gamma _ { 1 } - 1 ) \theta ^ { 0, 1 } + ( \gamma _ { 2 } - 1 ) \theta ^ { 0, 1 }$$

so the problem of finding a lift for Γ can be reduced to finding preimages of

$$( \gamma - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } )$$

for γ running over a set generators of Γ .

2.4. Lifts for SL 2 p Z q and classical Dedekind-Rademacher formulas. We therefore consider the case of Γ ' SL 2 p Z q , which is famously generated by the two matrices

$$S = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix}, T = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}.$$

## PETER XU

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

For the matrix S , we find that

$$( 2. 4 ) \quad ( S _ { * } - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } ) \equiv B _ { 1 } ( z _ { 2 } ) \, \delta _ { z _ { 1 } = 0 } - B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } + B _ { 1 } ( z _ { 1 } ) \, d z _ { 2 } + B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 }$$

$$= d ( - B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } ) )$$

and hence can take ´ B 1 p z 1 q B 1 p z 2 q as our preimage.

For the matrix T , we find that

$$( 2. 6 ) & & ( T _ { * } - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } ) = B _ { 1 } ( z _ { 2 } ) d ( - z _ { 1 } + z _ { 2 } ) + B _ { 1 } ( z _ { 2 } ) d z _ { 1 }$$

$$= B _ { 1 } ( z _ { 2 } ) d z _ { 2 }$$

$$= d ( B _ { 2 } ( z _ { 1 } ) / 2 ).$$

Analogously, for T b , for any b P Z , we get that bB 2 p z 1 q{ 2 is a lift of

$$( T _ { * } ^ { b } - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } ).$$

In principle, then, by expressing γ P SL 2 p Z q in the form

$$S T ^ { b _ { 1 } } S T ^ { b _ { 2 } } \dots S T ^ { b _ { k } }$$

for some finite string of nonnegative integers b , . . . , b 1 k (positive except for possibly b k ), we can recursively find the value of θ 0 1 , for γ using (2.3), and therefore compute

$$\int _ { \tau _ { 0 } } ^ { \gamma \tau _ { 0 } } E _ { 2 } ^ { \alpha, \beta } ( \tau ) \, d \tau$$

if γ fixes p α, β q P Z { N for some integer N ą 1 . However, this expression would become quite involved due to its recursive definition. The intricacies can be packaged into a formalism of continued fractions, as in [KM], which we do not reiterate here.

Instead, we will follow a different approach to the definition of θ 1 0 , not requiring arbitrary-length decompositions of matrices.

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

2.5. Lifts for SL 2 p Q q . To obtain the classical formulas (1.1), we actually extend the range of our cocycle. The key observation is that all the expressions involved, from the original class

$$\delta _ { 0 } - d z _ { 1 } \wedge d z _ { 2 },$$

to the lifted class to the explicit lifts for S and T b

$$- B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } ), \, b B _ { 2 } ( z _ { 2 } ) / 2,$$

are all invariant under the scalar pushforwards r a s ˚ for any a P N zt 0 u . For any module M equipped with such a monoid action of N ˆ , we write M p 0 q for this trace-fixed part; in particular, we can apply this to the pushforward action on the distributional de Rham complex of T . For this complex, we can observe:

## Proposition 2.2. The trace-fixed complex

$$0 \rightarrow ( \mathcal { D } _ { T } ^ { 0 } ) ^ { ( 0 ) } \rightarrow ( \mathcal { D } _ { T } ^ { 1 } ) ^ { ( 0 ) } \rightarrow ( \mathcal { D } _ { T } ^ { 2 } ) ^ { ( 0 ) }$$

is left-exact.

Proof. This can be proven identically to [SV, Lemma 6.2.1], as the only trace-fixed cohomology of T is in top degree. 3 /square

Then the trace-fixed complex actually takes an action of GL ` 2 p Q q and not just SL 2 p Z q , since if we write for any M P GL ` 2 p Q q

$$M = [ a ] ^ { - 1 } M ^ { \prime }$$

where M 1 is an integral matrix, it is well-defined to give the action of M on p D i T q p 0 q as simply coinciding with that of p M 1 q ˚ , since all scalars act trivially. Correspondingly, we can set Γ ' GL ` 2 p Q q , and ask for θ 1 0 ,

3 In fact, one can show using Fourier series that the complex is almost right-exact as well, except for one dimension of cohomology on the right, but this is not necessary for our purposes. For details, see [RX], which generalizes much of this background to general-dimension tori.

$$B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 }$$

PETER XU

to lift

$$( \gamma - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } )$$

for any rational invertible orientation-preserving matrix γ P GL ` 2 p Q q .

The upshot of making our group larger is that we have the Bruhat decomposition

$$\text{GL} _ { 2 } ^ { + } ( \mathbb { Q } ) = B \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix} B$$

where B ď GL ` 2 p Q q is the upper triangular Borel subgroup. This Borel subgroup has the further decomposition

$$B = U \rtimes D$$

where

$$U = \begin{pmatrix} 1 & \bullet \\ 0 & 1 \end{pmatrix}, D = \begin{pmatrix} \bullet & 0 \\ 0 & \bullet \end{pmatrix} \\ \intertext { t and d i s a o n a l t o r n e c h o r o u n e o f } \, \mathcal { C } \, \mathcal { I } ^ { + } \, \mathcal { I } ^ { + }$$

are respectively the upper unipotent and diagonal torus subgroups of GL ` 2 p Q q . By taking advantage of these decompositions, then, we can turn the lifting problem for a general element of GL ` 2 p Q q into a problem for these three simple types of matrices: for the matrix

$$S = \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix}$$

we have already done this. For

$$\upsilon _ { b } \coloneqq \begin{pmatrix} 1 & b \\ 0 & 1 \end{pmatrix} \\ \mathfrak { h a c e a d f h e r e d e n d },$$

for any b P Q , we can compute similarly to the case of b P Z (in which case υ b ' T b ) that a lift is given by

$$b B _ { 2 } ( z _ { 2 } ) / 2.$$

Finally, any diagonal matrix in D fixes B 1 p z 1 q δ z 2 ' 0 ´ B 1 p z 2 q dz 1 , so the corresponding lift is zero.

This, as in the previous section, makes it in in principle possible to write down the value of θ 1 0 , for any element of GL ` 2 p Q q , but to obtain the classical formulas (1.1) we need an explicit version of the Bruhat

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

decomposition: For any

$$\gamma = \begin{pmatrix} a & b \\ 0 & d \end{pmatrix} \in B$$

$$\begin{pmatrix} a & b \\ 0 & d \end{pmatrix} = \begin{pmatrix} 1 & b / d \\ 0 & 1 \end{pmatrix} \begin{pmatrix} a & 0 \\ 0 & d \end{pmatrix}.$$

$$\gamma = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{GL} _ { 2 } ^ { + } ( \mathbb { Q } ) - B,$$

with c ‰ 0 , we can write

$$\begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} 1 & a \cdot \text{sgn} ( c ) \\ 0 & | c | \end{pmatrix} \begin{pmatrix} 0 & - 1 \\ 1 & 0 \end{pmatrix} \begin{pmatrix} \text{sgn} ( c ) & 0 \\ 0 & \text{sgn} ( c ) \end{pmatrix} \begin{pmatrix} 1 & d / c \\ 0 & \frac { \det \gamma } { | c | } \end{pmatrix}$$

Let us see how the formulas (1.1) now follow from these explicit decompositions. For γ P B , we find that

$$\theta ^ { 1, 0 } ( \gamma ) = \theta ^ { 1, 0 } \begin{pmatrix} 1 & b / d \\ 0 & 1 \end{pmatrix} + \begin{pmatrix} 1 & b / d \\ 0 & 1 \end{pmatrix} _ { * } \theta ^ { 1, 0 } \begin{pmatrix} a & 0 \\ 0 & d \end{pmatrix} = \theta ^ { 1, 0 } \begin{pmatrix} 1 & b / d \\ 0 & 1 \end{pmatrix} = - \frac { b } { 2 d } B _ { 2 } ( z _ { 2 } )$$

For γ P GL ` 2 p Q q ´ B , we use the further decompositions

$$\begin{pmatrix} 1 & a \cdot \text{sgn} ( c ) \\ 0 & | c | \end{pmatrix} = \begin{pmatrix} 1 & a / c \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & | c | \end{pmatrix}$$

and we can write

In the other Schubert cell, for

$$\begin{pmatrix} 1 & d / c \\ 0 & \frac { \det \gamma } { | c | } \end{pmatrix} = \begin{pmatrix} 1 & \frac { d \cdot \text{sgn} ( c ) } { \det \gamma } \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & \frac { \det \gamma } { | c | } \end{pmatrix}$$

coming from B ' U ¸ D .

Recalling that the positive diagonal torus Q ˆ ą 0 ˆ Q ˆ ą 0 Ă GL 2 p Q q acts trivially on B 1 p z 1 q δ z 2 ' 0 ´ B 1 p z 2 q dz 1 , using the recursive principle (2.3) we find using our explicit Bruhat decomposition that the lift θ 1 0 , p γ q can be written as the sum of three terms:

PETER XU

- (1) The lift

(2) The lift

(3) The lift

$$\begin{pmatrix} 1 & a \cdot \text{sgn} ( c ) \\ 0 & | c | \end{pmatrix} _ { * } S _ { * } \theta ^ { 1, 0 } ( v _ { d / \det \gamma } ) = \frac { d } { 2 \det \gamma } \begin{pmatrix} a \cdot \text{sgn} ( c ) & - 1 \\ | c | & 0 \end{pmatrix} _ { * } B _ { 2 } ( z _ { 2 } )$$

2.6. Comparison of pullbacks. Let us see how the lift θ 1 0 , of the previous section recovers the original formula (1.1) for matrices in SL 2 p Z q . Our idea is that if we have a Γ -fixed torsion section p α, β q : ˚ Ñ ã T , we would like to compare the evaluation p α, β q ˚ θ 1 0 , with the period E 2 α,β , by passing via the cohomology class c z Γ which both are related to.

The problem is that θ 1 0 , is valued in 0 -currents rather than functions, whose evaluation at points is not in general well-defined: currents cannot be pulled back by closed inclusions in general. Thus, we cannot even a priori evaluate our cocycle at p α, β q , let alone compare the result with the analogous pullback of the Eisenstein cohomology class c z Γ .

The first technical tool we need to remedy this is the introduction of a variant of the distributional de Rham complex: For any Γ Ă GL ` 2 p Q q , let H Γ Ă T be the Γ -orbit of the lines t z 1 ' { u i c and t z 2 ' { u i c inside T as i varies over t 0 1 , , . . . , i ´ u 1 ; this is a union of infinitely many subtori translated by c -torsion points. For any finite subarrangement H Ă H Γ , we define a complex D , T,H via the pullback square

$$\begin{array} { c } \mathcal { D } _ { T, H } ^ { \bullet } \, \longrightarrow \, \mathcal { D } _ { T } ^ { \bullet } \\ \downarrow \, \downarrow \, \downarrow \\ \Omega _ { T - H } ^ { \bullet } \, \longrightarrow \, \mathcal { D } _ { T - H } ^ { \bullet } \end{array}$$

which results in an identification of D i T,H with the i -currents such that their restriction to T ´ H are given by smooth i -forms. Here, the bottom horizontal map is the earlier-defined inclusion, and the right vertical map

$$\theta ^ { 1, 0 } ( \upsilon _ { a / c } ) = \frac { a } { 2 c } B _ { 2 } ( z _ { 2 } ).$$

$$\mathfrak { z m m } \mathfrak { z m m } \mathfrak { z m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m n m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m t m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m m c t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t tt t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t t$$

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

is the restriction dual to the pushforward of compactly-supported differential forms. We define then

$$\mathcal { D } _ { T, H _ { \Gamma } } ^ { \bullet } \coloneqq \varinjlim _ { H } \mathcal { D } _ { T, H } ^ { \bullet }$$

where the limit runs over H finite subarrangements of H Γ , along the natural inclusion maps. The group Γ permutes the pullback diagrams for each H (sending it to that of γH ), and these assemble to give a pushforward action on D , T,H Γ . Further, because the bottom row in each pullback diagram is a quasi-isomorphism, we see that D , T,H Γ computes the cohomology of T , just as D , T does. Furthermore, analogously to the full distributional de Rham complex, we have a left exact sequence

$$0 \to ( \mathcal { D } _ { T, H _ { \Gamma } } ^ { 0 } ) ^ { ( 0 ) } \to ( \mathcal { D } _ { T, H _ { \Gamma } } ^ { 1 } ) ^ { ( 0 ) } \to ( \mathcal { D } _ { T, H _ { \Gamma } } ^ { 2 } ) ^ { ( 0 ) }$$

The important new phenomenon for us is that if Γ fixes a point p α, β q P T not lying in H Γ , then there is a composite pullback map

$$\mathcal { D } _ { T, H _ { \Gamma } } ^ { 0 } \rightarrow \varinjlim _ { H } \Omega _ { T - H } ^ { 0 } \xrightarrow { ( \alpha, \beta ) * } \mathbb { R }$$

which induces the pullback p α, β q ˚ on the level of real cohomology. One consequence of this exactness is that the required property of θ 1 0 , , i.e. that of lifting

$$\gamma \mapsto ( \gamma - 1 ) ( \theta ^ { 0, 1 } ),$$

Þ

must characterize it uniquely up to coboundaries if we insist that it be valued in trace-fixed 0 -currents.

With these ingredients, we are now able to prove the central comparison result:

Theorem 2.3. If Γ Ă GL 2 p Q q ` fixes p α, β q P T N r szt 0 u , then for all γ P Γ ,

$$\frac { 1 } { 2 } \Phi _ { \alpha, \beta } ( \gamma ) = ( \alpha, \beta ) ^ { * } \theta ^ { 1, 0 } ( \gamma )$$

where here, we somewhat abusively consider 1 0 , to be valued in the given by the formulas in section

θ functions 2.5 to make sense of the pullback in general. 4

4 This theorem still holds if we define the lift θ 1 0 , according to the formulas in section 2.4 instead, with the same proof. Since our main focus is the lifts taking advantage of the Bruhat decomposition, we choose to phrase everything in terms of the section 2.5 formulas.

## PETER XU

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

Proof. We begin by treating only the case where either α ‰ 0 or β ‰ 0 , as this is easier. In this case, we see that in fact according to our formulas,

$$( [ c ] ^ { * } - c ^ { 2 } ) \theta ^ { 1, 0 } ( \gamma ) \in ( \mathcal { D } ^ { 0 } _ { T, H _ { \Gamma } } ) ^ { ( 0 ) }$$

for all γ P Γ , since its derivative is of the form

$$( \gamma - 1 ) ( B _ { 1 } ( z _ { 1 } ) \, \delta _ { z _ { 2 } = 0 } - B _ { 1 } ( z _ { 2 } ) \, d z _ { 1 } )$$

which corresponds to a smooth 1 -form once restricted away from H Γ . Then since p α, β q R H Γ , we conclude that it makes sense to consider the pullback p α, β q ˚ pr c s ˚ ´ c 2 q θ ; since this induces the pullback on cohomology, we have

$$\frac { 1 } { 2 } \Phi _ { \alpha, \beta } ( \gamma ) = ( \alpha, \beta ) ^ { * } \frac { 1 } { 1 - c ^ { 2 } } z _ { \Gamma } ^ { ( c ) } = \frac { 1 } { 1 - c ^ { 2 } } ( \alpha, \beta ) ^ { * } ( [ c ] ^ { * } - c ^ { 2 } ) \theta ( \gamma ) = ( \alpha, \beta ) ^ { * } \theta ( \gamma )$$

for any c such that p cα, cβ q ' p α, β q , i.e. c ' 1 p mod N q . For these p α, β q , the result follows, since the only non-vanishing component of θ after pullback is θ 1 0 , .

In the other case when either α ' 0 or β ' 0 , the problem is that though the formulas in section 2.5 when treated as functions make sense to evaluate at p α, β q , since they are not in the locus of smoothness, this evaluation has no a priori cohomological meaning: heuristically, the currents 'do not know' about the values of functions like B 1 p z q at the boundary points where they are discontinuous. To remedy this, we have the following lemma:

## Lemma 2.4. There is an injection

$$M \hookrightarrow ( \mathcal { D } _ { T, H _ { \Gamma } } ^ { 0 } ) ^ { ( 0 ) }$$

where M is defined to be the module of functions on T ´t u 0 spanned by the GL ` 2 p Q q -orbit (under pushforward) of B 2 p z 2 q and B 1 p z 1 q B 1 p z 2 q , given by sending

Þ

Þ

$$f \mapsto \left ( \eta \mapsto \int _ { T } f \eta \right ).$$

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

Proof of lemma. The only property of this inclusion whose proof is not fully analogous to the proof for the inclusion of smooth 0 -forms is the injectivity: whereas for smooth forms it follows by using a partition of unity to work locally, this is far from true in general if we weaken the continuity assumptions. 5

Noting that the loci of discontinuity of functions in M can only be along codimension1 subtori embedded as subgroups, coming from terms of the form B 1 p z 1 q B 1 p z 2 q and its translates. We note the following property of this function: if x ' p x , x 1 2 q P T is a point lying on one of the subtori of discontinuity S Ă T (so x 1 ' 0 or x 2 ' 0 ) but not equal to zero, then S divides any sufficiently small neighborhood around z into two connected components, which we label ` and ´ arbitrarily. Then we observe that the limits from these two components

$$L _ { + } = \lim _ { z \to x ^ { + } } B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } ), L _ { - } = \lim _ { z \to x ^ { - } } B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } )$$

exist, and furthermore that they average to zero. By moving this argument around by the general linear action, this applies to any nonzero point on a codimension 1 discontinuity stratum of a function in the orbit of B 1 p z 1 q B 1 p z 2 q .

Now consider an arbitrary f P M , and suppose that f gives the trivial 0 -current when considered as a kernel of integration. Then, f must be identically zero outside a finite union of subtori through the identity. Consider an arbitrary nonzero point x on one of these subtori S Ă T , and pick some decomposition

$$f = f _ { 1 } + f _ { 2 }$$

where f 1 consists of terms coming from the orbit of B 2 or B 1 p z 1 q B 1 p z 2 q which do not have a discontinuity along S , and f 2 consists of terms from the orbit of B 1 p z 1 q B 1 p z 2 q which do have a discontinuity along S . Then we find that

$$\frac { 1 } { 2 } \left ( \lim _ { z \to x ^ { + } } f _ { 2 } ( z ) + \lim _ { z \to x ^ { - } } f _ { 2 } ( z ) \right ) = \frac { 1 } { 2 } \left ( \lim _ { z \to x ^ { + } } f ( z ) - f _ { 1 } ( z ) + \lim _ { z \to x ^ { - } } f ( z ) - f _ { 1 } ( z ) \right )$$

$$\frac { 1 } { 2 } \left ( \lim _ { z \to x ^ { + } } f _ { 2 } ( z ) + \lim _ { z \to x ^ { - } } f _ { 2 } ( z ) \right ) & = \frac { 1 } { 2 } \left ( \lim _ { z \to x ^ { + } } f ( z ) - f _ { 1 } ( z ) + \lim _ { z \to x ^ { - } } f ( z ) - f _ { 1 } ( z ) \right ) \\ & = \frac { 1 } { 2 } \left ( \lim _ { z \to x ^ { + } } - f _ { 1 } ( z ) + \lim _ { z \to x ^ { - } } - f _ { 1 } ( z ) \right )$$

5 For example, it fails even if we replace T ´t u 0 by T in this very lemma, thanks to the identity 2 p B 1 p z 1 q B 1 p z 2 q ` B 1 p z 2 qp B 1 p´ z 1 ´ z 2 qq ` B 1 p´ z 1 ´ z 2 q B 1 p z 1 qq ` B 2 p z 1 q ` B 2 p z 2 q ` B 2 p´ z 2 ´ z 2 q ' 0

which holds identically away from the zero section (where the left-hand side evaluates to 1 2 { ). This nonzero linear combination of Bernoulli polynomials in M therefore gives rise to the zero current.

PETER XU EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY since f is identically zero on a neighborhood of x in T ´ S . But f 1 is continuous in a neighborhood of x by assumption, so this expression is just ´ f 1 p x q . On the other hand, the average of the two limits we started with is zero from the preceding discussion, so we conclude that f 1 p x q ' 0 . We also have f 2 p x q ' 0 because functions in the orbit of B 1 p z 1 q B 1 p z 2 q are zero along their discontinuity loci by construction. We hence conclude that f p x q ' 0 ; since this applies to any nonzero point x , we conclude that f is the zero function on T ´t u 0 . This concludes the proof of injectivity. /square

Remark 2.5. The fact that this injection only holds on T ´t u 0 , and not T , also has the following significance: if we had injectivity also at zero, then (by the argument below) (1.3) would yield a valid cocycle even for α ' β ' 0 . This ' Φ 0 0 , ' in fact fails to be a cocycle: it is known in the literature as the Dedekind symbol (e.g., in [Duke]), whose coboundary gives a representative of the Euler class for SL 2 p Z q . Write M 0 for the analogue of M on all of T : then by y using the long exact sequence in SL 2 p Z q -cohomology associated to the short exact sequence

$$0 \to \mathbb { Z } \to M _ { 0 } \to M \to 0$$

one can recover formulas for this Euler coboundary by explicit describing the image of θ under H 1 p Γ , M q Ñ H 2 p Γ , Z q (which is the obstruction to lifting θ to H 1 p Γ , M 0 q ).

To conclude the proof in general, let T N r s 1 Ă T be the subset of primitive N -torsion sections, i.e. those of exact order N . Fix a point x 0 P T N r s 1 with two nonzero coordinates, and let Γ 1 p x 0 q Ă SL 2 p Z q be the congruence subgroup fixing x 0 . Then we have an identification

$$\text{Ind} _ { \Gamma _ { 1 } ( x _ { 0 } ) } ^ { \text{SL} _ { 2 } ( \mathbb { Z } ) } \mathbb { Q } \cong \hom _ { \text{Sets} } ( T [ N ], \mathbb { Q } )$$

since SL 2 p Z q permutes T N r s 1 transitively and Γ 1 p x 0 q is the stabilizer of x 0 . We also have a SL 2 p Z q -equivariant map

Þ

$$j \, \colon M \to \hom _ { \text{Sets} } ( T [ N ] ^ { \prime }, \mathbb { Q } ), f \mapsto ( x \mapsto x ^ { * } f )$$

Þ

which yields by pushforward a cocycle

$$j _ { * } \theta \in C ^ { 1 } ( \text{SL} _ { 2 } ( \mathbb { Z } ), \text{Ind} _ { \Gamma _ { 1 } ( x _ { 0 } ) } ^ { \text{SL} _ { 2 } ( \mathbb { Z } ) } \mathbb { Q } )$$

## EISENSTEIN SERIES IN EQUIVARIANT COHOMOLOGY

such that its restriction to Γ 1 p x 0 q is the cocycle x θ ˚ 0 , which we know represents the class 1 2 Φ x 0 . Thus by Shapiro's lemma, the class r j ˚ θ s coincides with the restricted Eisenstein class on T 1 r N s

$$\frac { 1 } { 1 - c ^ { 2 } } z _ { \text{SL} _ { 2 } ( \mathbb { Z } ) } ^ { ( c ) } \in H ^ { 1 } ( \text{SL} _ { 2 } ( \mathbb { Z } ), H ^ { 0 } ( T [ N ] ^ { \prime } ) ).$$

This implies that for any p α, β q P T N r s 1 , with stabilizer Γ , we have

$$[ ( \alpha, \beta ) ^ { * } \theta ] = [ ( \alpha, \beta ) ^ { * } j _ { * } \theta ] = ( \alpha, \beta ) ^ { * } \frac { 1 } { 1 - c ^ { 2 } } z _ { \Gamma } ^ { ( c ) } = \frac { 1 } { 2 } [ E _ { \alpha, \beta } ^ { 2 } ] \in H ^ { 1 } ( \Gamma, \mathbb { Q } ).$$

Applying this argument starting with some x 0 with at least one nonzero coordinate (via the previous argument) completes our proof.

/square

To conclude the article, we compare our explicit specializations of θ 1 0 , to the classical formulas (1.3), when γ P SL 2 p Z q : thanks to the preceding theorem, these values should coincide precisely for all torsion sections p α, β q , up to a factor of ´ { 1 2 .

We recall our formulas for θ 1 0 , stemming from the Bruhat decomposition: For γ P B , we found

$$\theta ^ { 1, 0 } ( \gamma ) = \frac { b } { 2 d } B _ { 2 } ( z _ { 2 } )$$

whose pullback by p α, β q

$$\frac { b } { 2 d } B _ { 2 } ( \beta )$$

clearly aligns with the classical formula for 1 2 Φ α,β on upper triangular matrices.

For γ P GL ` 2 p Q q ´ B , we recall we had θ 1 0 , p γ q as the sum of three terms

$$\frac { a } { 2 c } B _ { 2 } ( z _ { 2 } ) - \begin{pmatrix} 1 & a \cdot \text{sgn} ( c ) \\ 0 & | c | \end{pmatrix} _ { * } B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } ) + \frac { d } { 2 \det \gamma } \begin{pmatrix} a \cdot \text{sgn} ( c ) & - 1 \\ | c | & 0 \end{pmatrix} _ { * } B _ { 2 } ( z _ { 2 } ).$$

After pullback by p α, β q , the first term becomes

$$\frac { a } { 2 c } B _ { 2 } ( \beta ).$$

PETER XU

Recalling that γ is assumed to have integer entries, the second term becomes

$$- ( \alpha, \beta ) ^ { * } \begin{pmatrix} 1 & a \cdot \text{sgn} ( c ) \\ 0 & | c | \end{pmatrix} _ { * } B _ { 1 } ( z _ { 1 } ) B _ { 1 } ( z _ { 2 } ) = - \sum _ { \substack { x _ { 1 } + a \text{sgn} ( c ) x _ { 2 } = \alpha \\ | c | x _ { 2 } = \beta } } B _ { 1 } ( x _ { 1 } ) B _ { 1 } ( x _ { 2 } )$$

$$= - \sum _ { i = 0 } ^ { | c | - 1 } B _ { 1 } \left ( a \frac { \beta + i } { c } - \alpha \right ) B _ { 1 } \left ( \frac { \beta + i } { | c | } \right ).$$

Finally, recalling that det γ ' 1 , the third term becomes

$$\frac { d } { 2 } ( \alpha, \beta ) ^ { * } \begin{pmatrix} a \cdot \text{sgn} ( c ) & - 1 \\ | c | & 0 \end{pmatrix} _ { * } [ \text{sgn} ( c ) ] _ { * } B _ { 2 } ( z _ { 2 } ) = \frac { d } { 2 } \sum _ { i = 0 } ^ { | c | - 1 } \text{sgn} ( c ) B _ { 2 } \left ( a \frac { \beta + i } { | c | } - \text{sgn} ( c ) \alpha \right )$$

$$& ( 2. 1 4 ) \quad \quad \frac { d } { 2 } ( \alpha, \beta ) ^ { * } \begin{pmatrix} a \cdot \text{sgn} ( c ) & - 1 \\ | c | & 0 \end{pmatrix} _ { * } [ \text{sgn} ( c ) ] _ { * } B _ { 2 } ( z _ { 2 } ) & = \frac { d } { 2 } \sum _ { i = 0 } ^ { | c | - 1 } \text{sgn} ( c ) B _ { 2 } \left ( a \frac { \beta + i } { | c | } - \text{sgn} ( c ) \alpha \right ) \\ & & = \frac { d } { 2 } \sum _ { i = 0 } ^ { | c | - 1 } \text{sgn} ( c ) B _ { 2 } \left ( \frac { \beta + i } { | c | } \right ) \\ & & = \frac { d } { 2 c } B _ { 2 } ( \beta ) \\ & \cdot \cdot \cdot \cdot \, \dots \, \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot$$

by the distribution property of B 2 combined with the relation

$$\frac { \beta } { c } = \frac { a } { c } \beta - \alpha$$

coming from the fact that γ ´ 1 p α, β q ' p α, β q , i.e. γ fixes the torsion point of evaluation.

Combining these three terms, we obtain precisely the classical formula (1.3) for 1 2 Φ α,β on the other Schubert cell.

2.7. Future directions. One extension of the methods of this article, the subject of work in progress, is to compute a formula for the p GL 2 , GL 2 q -Eisenstein theta lift of [BCG1]: in this setting, p S 1 q 2 is replaced by the square of an elliptic curve, the Bernoulli polynomials by theta series E 1 p τ, z q , E 2 p τ, z q whose pullbacks are weight1 and 2 Eisenstein series, and the equivariant de Rham complex by the weight2 equivariant Dolbeault complex. Otherwise, the method goes through in the same way, though the discontinuity phenomenon exhibited by B 1 is replaced by a logarithmic singularity of E 1 . Unlike the present article, the formulas in the theta lift setting are novel. (In parallel, we also are writing a preprint [X3] on the 'stabilized' approach to this theta lift, though this in the setting of K -theory rather than the differential forms which are their regulators.)

## REFERENCES

The more 'obvious' direction of generalization is to replace GL 2 with GL n , with its action on the n -torus, and to obtain formulas for the periods of Eisenstein series of this larger group in terms of sums of products of Bernoulli polynomials of total degree n : this would be the 'algebraic' analogue of the Bernoulli formulas in [Scz2], just as the present article is to [Scz1]. However, though most of our formalism goes through in this case largely untouched, the combinatorics of finding lifts becomes much more delicate as n increases: instead of just taking the Bruhat decomposition, one needs to consider families of nested parabolics to lift the Bernoulli currents at various stages. It is presently unclear to us what a good systematic method for keeping track of these lifts might be; an approach inspired by the stratifications used in [Scz2] may be useful. A topological approach, as we used in a slightly different setting [X2] for example, would be ideal; however, it would have to be much more complicated than in loc. cit. to account for the phenomena arising from various parabolic subgroups.

The other issue that occurs in this generalization is that the analogue of Lemma 2.4 is only true in codimension 1 generally, as suggested by the main theorem of [Scz2], so we would not know how to treat pullbacks torsion sections with multiple zero coordinates in a uniform one. (One could simply take a different initial lift to avoid the issue with any given fixed torsion section, but then this makes the results less systematic.) Because of these technical difficulties, this direction of generalization is currently not the subject of our work; however, it would be interesting to understand how they can be circumvented.

Finally, it would be interesting to see if similar formulas could be obtained in this way for GL 2 -Eisenstein series of higher weight, by introducing twisted coefficients into our complexes. It is, however, not obvious to us what precisely the twisted analogue of our periodic Bernoulli polynomials should be.

## REFERENCES

- [BCG1] Nicolas Bergeron, Pierre Charollois, and Luis Garcia. 'Transgressions of the Euler class and Eisenstein cohomology of GL N p Z q .' In: Japanese Journal of Mathematics 15 (2020), pp. 311-379.
- [Duke] William Duke. Higher Rademacher symbols. Preprint.
- [KM] Robion Kirby and Paul Melvin. 'Dedekind sums, µ -invariants, and the signature cocycle'. In: Mathematische Annalen. 299 (1994), pp. 231-267.
- [RX] Marti Roset Julia and Peter Xu. Rigid analytic Dedekind-Rademacher cocycles. 2024.

| REFERENCES   | REFERENCES                                                                                                                              |
|--------------|-----------------------------------------------------------------------------------------------------------------------------------------|
| [Scz1]       | Robert Sczech. 'Eisenstein cocycles for GL 2 p Q q and values of L -functions in real quadratic fields.'                                |
| [Scz2]       | Robert Sczech. 'Eisenstein group cocycles for GL n and values of L -functions.' In: Inventiones Mathematicae. 113 (1993), pp. 581-616.  |
| [Sieg]       | Carl Ludwig Siegel. Advanced Analytic Number Theory. Vol. 9. Tata Institute of Fundamental                                              |
| [SV]         | Romyar Sharifi and Akshay Venkatesh. Eisenstein cocycles in motivic cohomology. Preprint. 2020. URL: https://arxiv.org/pdf/2011.07241 . |
| [Weil]       | Andr´ e Weil. Elliptic Functions According to Eisenstein and Kronecker. Classics in Mathematics. Springer-Verlag, 1999.                 |
| [X]          | Peter Xu. 'Arithmetic Eisenstein theta lifts.' PhD thesis. McGill University, 2023.                                                     |
| [X2]         | Peter Xu. Explicit arithmetic Eisenstein cocycles: the toric case. 2023. URL: https://arxiv.org/abs                                     |
| [X3]         | Peter Xu. Explicit arithmetic Eisenstein cocycles: the elliptic case. In preparation. 2024.                                             |
Peter Xu
Classical periods of Eisenstein series and Bernoulli polynomials in the equivariant cohomology of a torus
We find group cochains valued in currents giving explicit representatives for
the $\text{GL}_2$-equivariant polylogarithm class of a torus. Based on the
construction of weight-$2$ Eisenstein series for $\text{GL}_2$ from this
polylogarithm class, we give a geometrically-flavored derivation of the
classical formulas for the associated Dedekind-Rademacher homomorphisms, i.e.
the periods of $E^2_{\alpha,\beta}$ for various nonzero torsion sections
$(\alpha, \beta)$.