Abstract: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)$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on how to derive the period formula of the Eisenstein series \(E_{\alpha,\beta}^{2}\) related to the classical Dedekind - Rademacher homomorphism by geometric methods. Specifically, the author Peter Xu finds explicit representatives of group cocycle values in currents by constructing GL2 - equivariant polylogarithm classes. Based on this construction, the classical formula related to different non - zero torsion points \(p(\alpha,\beta)\) is then geometrically derived.
### Main problems and solution ideas
1. **Construct GL2 - equivariant polylogarithm classes**:
- The author first defines GL2 - equivariant polylogarithm classes and finds their explicit representations in currents. This step is achieved by computing cochains in the complex.
2. **Derive the period formula of the Dedekind - Rademacher homomorphism**:
- Based on the above construction, the author gives a geometric interpretation of the Eisenstein series \(E_{\alpha,\beta}^{2}\) of weight 2. Through this method, the author is able to geometrically derive the period formula related to the Dedekind - Rademacher homomorphism.
### Specific formulas
- **Definition of the Eisenstein series**:
\[
E_{\alpha,\beta}^{2}(\tau)=\sum_{\substack{m,n\in\mathbb{Z}^2\\(m,n)\neq(0,0)}}\frac{e^{(m\alpha + n\beta)}}{|m\tau + n|^2(m\tau + n)^2}
\]
where \(\tau\) is a variable in the upper half - plane, and \((\alpha,\beta)\in(\frac{1}{N}\mathbb{Z}/\mathbb{Z})^2-\{(0,0)\}\) parameterizes an additive character.
- **Period formula**:
\[
\Phi_{\alpha,\beta}(\gamma)=\int_{\gamma\tau_0}^{\tau_0}E_{\alpha,\beta}^{2}(\tau)d\tau
\]
This integral is independent of the base point \(\tau_0\) and gives a homomorphism from \(\Gamma(N)\) to \(\mathbb{Q}\):
\[
\Phi_{\alpha,\beta}(\gamma)=
\begin{cases}
\frac{b}{d}B_2(\beta)&\text{if }c = 0,\\
\frac{a + d}{c}B_2(\beta)-\frac{2}{|c|}\sum_{i = 0}^{|c|-1}B_1\left(\beta+\frac{i}{|c|}\right)B_1\left(\frac{a\beta + i}{c}-\alpha\right)&\text{otherwise}.
\end{cases}
\]
### Conclusion
Through the above construction and derivation, the author successfully interprets the period formula of the Eisenstein series from a geometric perspective and provides a new method to understand and calculate these important mathematical objects. This method not only provides a new theoretical perspective but may also find applications in other related fields such as number theory and algebraic geometry.