The canonical subgroup: a ``subgroup-free approach

DOI10.4171/CMH/66MaRDI QIDQ2497110zbMATH OpenOpenAlexFDO

Authors Payman L. Kassaei, Eyal Z. Goren

Publication date 1 August 2006

Published in Commentarii Mathematici Helvetici (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0502401, http://www.ems-ph.org/journals/show_abstract.php?issn=0010-2571&vol=81&iss=3&rank=6

zbMATH Keywords

canonical subgroupoverconvergent modular formrigid geometryShimura curve

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) (p)-adic theory, local fields (11F85) Arithmetic aspects of modular and Shimura varieties (11G18) Rigid analytic geometry (14G22) Modular and Shimura varieties (14G35)

Abstract: Beyond the crucial role they play in the foundations of the theory of overconvergent modular forms, canonical subgroups have found new applications to analytic continuation of overconvergent modular forms. For such applications, it is essential to understand various ``numerical aspects of the canonical subgroup, and in particular, the precise extent of its overconvergence. We develop a theory of canonical subgroups for a general class of curves (including the unitary and quaternionic Shimura curves), using formal and rigid geometry. In our approach, we use the common geometric features of these curves rather than their (possible) specific moduli-theoretic description.

Review text

The canonical subgroup of an elliptic curve with an ordinary reduction modulo a prime \(p\) is the kernel of multiplication by \(p\) on its formal group. In [Ph.D. Thesis, MIT (1999); Compos. Math. 140, No. 2, 359--395 (2004; Zbl 1052.11037)] \textit{P. L. Kassaei} used the classical approach to develop a similar theory over certain PEL Shimura curves. Canonical subgroups are essential to the theory of overconvergent modular forms. For instance, the overconvergence of the canonical subgroup, i.e. the fact that it can also be defined for elliptic curves with not too supersingular reduction modulo \(p\), allows to define and study the \(U_p\)-operator. In this article, the authors develop a theory of canonical subgroups for a class of curves including the unitary and quaternionic Shimura curves. They use formal and rigid geometry, it allows them to reproduce, for classical cases, the optimal radii of definition for the canonical subgroup. This approach was used in [\textit{M. Kisin} and \textit{K. F. Lai}, Am. J. Math. 127, No. 4, 735--784 (2005; Zbl 1129.11020)] to prove the overconvergence of canonical subgroups in the case of Hilbert modular varieties.

Recommendations

• Canonical subgroups over Hilbert modular varieties
• The canonical subgroup of \(E\) is \(\operatorname{Spec} R[x]/ (x^p+ \frac{p}{E_{p-1}(E,\omega)} x)\)
• On canonical subgroups of Hilbert-Blumenthal abelian varieties
• Canonical subgroups over Hilbert modular varieties
• Canonical subgroups via Breuil-Kisin modules for p=2

Cited in

(10)

• Modular curves and rigid-analytic spaces
• Rank 2 local systems, Barsotti-Tate groups, and Shimura curves
• Canonical subgroups of generalized Drinfeld modules
• Canonical subgroups via Breuil-Kisin modules
• On canonical subgroups of Hilbert-Blumenthal abelian varieties
• Higher-level canonical subgroups for \(p\)-divisible groups
• Canonical subgroups over Hilbert modular varieties
• Canonical subgroups over Hilbert modular varieties
• The canonical subgroup of \(E\) is \(\operatorname{Spec} R[x]/ (x^p+ \frac{p}{E_{p-1}(E,\omega)} x)\)
• On torsion in the cohomology of locally symmetric varieties

This page was built for publication: The canonical subgroup: a ``subgroup-free approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2497110)