Steinberg homology, modular forms, and real quadratic fields (Q2663310)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Steinberg homology, modular forms, and real quadratic fields
scientific article

    Statements

    Steinberg homology, modular forms, and real quadratic fields (English)
    0 references
    0 references
    0 references
    16 April 2021
    0 references
    Let \(R\) be a commutative ring, let \(E\) be a real quadratic field, and let \(\Gamma\subset \operatorname{GL}_2(\mathbb Z)\) be a congruence subgroup. The authors study the homomorphism \(\psi_{\Gamma,E}:=-\partial\), where \(\partial: H_1(\Gamma,C)\rightarrow H_0(\Gamma,\operatorname{St}(\mathbb Q^2;R))\) is the connecting homomorphism arising from the short exact sequence \[ 0\longrightarrow \operatorname{St}(\mathbb Q^2;R)\longrightarrow \operatorname{St}(E^2;R)\longrightarrow C\longrightarrow 0, \] where \(\operatorname{St}\) denotes the Steinberg module. In the case \(R=\mathbb C\), the authors prove that the image of \(\psi_{\Gamma,E}\) can be described in terms of modular symbols. For general \(R\), they prove that \(\operatorname{Im}(\psi_{\Gamma,E})\) always lies in a certain cuspidal subspace \(H_0^{\mathrm{cusp}}(\Gamma,\operatorname{St}(\mathbb Q^2;R))\). Using work of \textit{H. W. Lenstra jun.} [Invent. Math. 42, 201--224 (1977; Zbl 0362.12012)], and assuming the Generalized Riemann Hypothesis (GRH), they prove that the cokernel of \(\psi_{\Gamma,E}\) is a finitely-generated, torsion \(R\)-module (Theorem 9.3). For specific choices of \(\Gamma\), the authors are able to prove stronger results (still assuming GRH). For example, in the case where \(\Gamma=\Gamma_1(N)\) or \(\Gamma_1(N)^{\pm}\), it is shown that \(\psi_{\Gamma,E}\) is surjective. The authors also indicate that unconditional versions of their results should follow from a suitably developed theory of so-called toral periods (at least in the case where \(R=\mathbb C\)), and they conclude by giving some numerical evidence.
    0 references
    0 references
    arithmetic homology
    0 references
    Steinberg representation
    0 references
    real quadratic field
    0 references
    general linear group
    0 references
    arithmetic group
    0 references
    modular form
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers