Abstract:The aim of this paper is to give a full detail of the proof given by Harder of a theorem on the denominator of the Eisenstein class for $\mathrm{SL}_2(\mathbb{Z})$ and to show that the theorem has some interesting applications including the proof of a recent conjecture by Duke on the integrality of the higher Rademacher symbols. We also present a sharp universal upper bound for the denominators of the values of partial zeta functions associated with narrow ideal classes of real quadratic fields in terms of the denominator of the values of the Riemann zeta function.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly revolve around the denominator problem of the Eisenstein classes of SL2(Z) and its applications. Specifically, the author aims to prove in detail Harder's theorem on the denominators of Eisenstein classes of SL2(Z) and show some interesting applications of this theorem, including proving Duke's conjecture on the integrality of higher - order Rademacher symbols. In addition, the author also gives a sharp universal upper bound for the denominators of partial ζ - function values related to narrow ideal classes in real quadratic fields.
The following are the main contributions of the paper and the problems solved:
1. **Detailed proof of Harder's theorem**:
- The author re - proves in detail Harder's theorem on the denominators of Eisenstein classes, that is, for any even number \(n\geq2\), the denominator \(\Delta(\text{Eis}_n)\) of the Eisenstein cohomology class \(\text{Eis}_n\) is equal to the numerator of the Riemann ζ - function evaluated at \(-1 - n\). Expressed as a formula:
\[
\Delta(\text{Eis}_n)=\text{numerator of }\zeta(-1 - n)
\]
2. **Proof of Duke's conjecture**:
- As an important application of Harder's theorem, the author proves Duke's conjecture on the integrality of higher - order Rademacher symbols. Specifically, for any integer \(k\geq2\) and matrix \(\gamma\in\Gamma\), we have:
\[
\Psi_k(\gamma)\in\mathbb{Z}
\]
- This result follows directly from Harder's theorem because the higher - order Rademacher symbols can be written as holomorphic Eisenstein series integrated along certain homology cycles.
3. **Upper bound of the denominators of partial ζ - function values in real quadratic fields**:
- The author also studies the denominators of partial ζ - function values of narrow ideal classes in real quadratic fields and gives a universal upper bound. Specifically, for any integer \(k\geq2\), the positive integer \(J_{2k}\) is defined as:
\[
J_{2k}:=\text{denominator of }\zeta(1 - 2k)
\]
- The author proves that \(J_{2k}\) is a universal upper bound for the denominators of the partial ζ - function \(\zeta_O(A,1 - k)\) for all narrow ideal classes \(A\in\text{Cl}_O^+\) in all real quadratic fields, that is:
\[
J_{2k}\zeta_O(A,1 - k)\in\mathbb{Z}
\]
- Furthermore, the author also proves that this upper bound is sharp, that is:
\[
J_{2k}=\min\left\{J\in\mathbb{Z}_{>0}\mid J\zeta_O(A,1 - k)\in\mathbb{Z}\text{ for all narrow ideal classes }A\in\text{Cl}_O^+\text{ in all real quadratic fields}\right\}
\]
Through these works, the author not only solves the specific mathematical problems of the denominators of Eisenstein classes but also shows their important applications in the field of number theory, especially in the study of higher - order Rademacher symbols and partial ζ - functions in real quadratic fields.