arXiv math/05024012005-02-18math.NTmath.AG

The canonical subgroup: a "subgroup-free" approach

Eyal Z. Goren, Payman L Kassaei

备注：: 16 pages, 1 figure

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Canonical Subgroups over Hilbert Modular Varieties

We obtain new results on the geometry of Hilbert modular varieties in positive characteristic and morphisms between them. Using these results and methods of rigid geometry, we develop a theory of canonical subgroups for abelian varieties with real multiplication.

2009-05-14math.AGmath.NT

On lower ramification subgroups and canonical subgroups

Let p be a rational prime, k be a perfect field of characteristic p and K be a finite totally ramified extension of the fraction field of the Witt ring of k. Let G be a finite flat commutative group scheme over O_K killed by some p-power. In this paper, we prove a description of ramification subgroups of G via the Breuil-Kisin classification, generalizing the author's previous result on the case where G is killed by p>2. As an application, we also prove that the higher canonical subgroup of a level n truncated Barsotti-Tate group G over O_K coincides with lower ramification subgroups of G if t…

2012-11-09math.AGmath.NT

Canonical subgroups of Barsotti-Tate groups

Let $S$ be the spectrum of a complete discrete valuation ring with fraction field of characteristic 0 and perfect residue field of characteristic $p\geq 3$. Let $G$ be a truncated Barsotti-Tate group of level 1 over $S$. If ``$G$ is not too supersingular'', a condition that will be explicitly expressed in terms of the valuation of a certain determinant, we prove that we can canonically lift the kernel of the Frobenius endomorphism of its special fibre to a subgroup scheme of $G$, finite and flat over $S$. We call it the canonical subgroup of $G$.

2008-08-19math.AGmath.NT

Higher-level canonical subgroups for p-divisible groups

Let R be a complete rank-1 valuation ring of mixed characteristic (0,p), and let K be its field of fractions. A g-dimensional truncated Barsotti-Tate group G of level n over R is said to have a level-n canonical subgroup if there is a K-subgroup of G\tensor_R K with geometric structure (\Z/p^n\Z)^g consisting of points "closest to zero". We give a nontrivial condition on the Hasse invariant of G that guarantees the existence of the canonical subgroup, analogous to a result of Katz and Lubin for elliptic curves. The bound is independent of the height and dimension of G.

2011-03-16math.AGmath.NT

Partial canonical subgroups

The reduction of Siegel varieties modulo a prime number p is stratified by the multiplicative rank of the p-divisible group of the universal abelian variety. For r\geq 0 the maximal multiplicative subgroup of the restriction of the p-torsion group of the universal abelian variety to the r-th stratum lifts canonically to the tube of this stratum and defines a partial canonical subgroup of rank r. We prove that this subgroup extends in a finite flat way on some strict neighborhood of the tube. On the ordinary stratum and on its neighborhood, we recover the usual canonical subgroup considered by …

2010-03-31math.AGmath.NT

Partial Hasse invariants, partial degrees and the canonical subgroup

If the Hasse invariant of a $p$-divisible group is small enough, then one can construct a canonical subgroup inside its $p$-torsion. We remark that, assuming the existence of a subgroup of adequate height in the $p$-torsion whose dual has small degree, the expected properties of the canonical subgroup can be easily proven. A fundamental relation is the equality between the Hasse invariant and the degree of the dual of the canonical subgroup. When one considers a $p$-divisible group $G$ with an action of the ring of integers of a (possibly ramified) finite extension of $\mathbb{Q}_p$, then much…

2017-04-21math.NT

更多相关论文收起更多论文

Canonical subgroups via Breuil-Kisin modules for p=2

Let p be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we prove the existence of higher canonical subgroups with expected properties for G if the Hodge height of G is less than 1/(p^{n-2}(p+1)), including the case of p=2.

2012-07-26math.NT

Canonical subgroups via Breuil-Kisin modules

Let p>2 be a rational prime and K/Q_p be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, height h and dimension d over O_K with 0<d<h. In this paper, we show that an upper ramification subgroup G^j+ is free of rank d over Z/p^nZ if the Hasse invariant of G is less than 1/(2p^(n-1)). We also prove the usual properties as the canonical subgroup.

2012-11-26math.NT

典范 Witt 形式概形扩张与 p-挠子群

Canonical Witt formal scheme extensions and p-torsion groups

本文研究光滑交换形式群概形的 p-挠子群上的算术 jet 空间，证明其第 n 个 jet 空间可嵌入一个由长度 n 的 Witt 向量形式概形幂和原 p-挠子群构成的典范短正合序列，从而推广了 Buium 关于单位根的结果。

2022-07-21math.AGmath.NT

An explicit form of the canonical submodule of a Drinfeld module

We define the canonical submodule of a Drinfeld module of rank greater than one over the affine line over a finite field. (This extends the definition of the level 1 canonical subgroup of Hattori for rank 2 with ordinary reduction.) We give a criterion for the existence of the canonical submodule in terms of a lift of the Hasse invariant. Then, we give an explicit form of the canonical submodule. The main tool is formal Drinfeld modules of Rosen. Recall that a canonical subgroup of an elliptic curve plays an important role in the theory of p-adic modular forms. An explicit form in this case is…

2018-03-06math.NT

尖点处典范 Green 函数的界

Bounds for canonical Green's functions at cusps

本文证明了余有限 Fuchsian 子群在尖点处的典范 Green 函数的界，并以此推导出与 $Γ_0(N)$ 相关的典范 Green 函数的渐近表达式。

2025-08-15math.NT

Canonical models of arithmetic $(1; \infty)$ curves

In 1983 Takeuchi showed that up to conjugation there are exactly 4 arithmetic subgroups of $\textrm{PSL}_2 (\mathbb{R})$ with signature $(1; \infty)$. Shinichi Mochizuki gave a purely geometric characterization of the corresponding arithmetic $(1; \infty)$-curves, which also arise naturally in the context of his recent work on inter-universal Teichmüller theory. Using Bely\uı maps, we explicitly determine the canonical models of these curves. We also study their arithmetic properties and modular interpretations.

2017-07-06math.AGmath.NT

Automorphisms and the canonical ideal

The automorphism group of a curve is studied from the viewpoint of the canonical embedding and Petri's theorem. A criterion for identifying the automorphism group as an algebraic subgroup the general linear group is given. Furthermore the action of the automorphism group is extended to an action of the minimal free resolution of the canonical ring of the curve $X$.

2019-09-23math.ACmath.AGmath.NT

Modular forms invariant under non-split Cartan subgroups

In this paper we describe a method for computing a basis for the space of weight $2$ cusp forms invariant under a non-split Cartan subgroup of prime level $p$. As an application we compute, for certain small values of $p$, explicit equations over $\bf Q$ for the canonical embeddings of the associated modular curves.

2018-05-17math.NT

The Artin Symbol as a Canonical Capitulation Map

We show that there is a canonical, order preserving map $ψ$ of lattices of subgroups, which maps the lattice $\Sub(A)$ of subgroups of the ideal class group of a galois number field $\K$ into the lattice $\Sub(\KH/\K)$ of subfields of the Hilbert class field. Furthermore, this map is a capitulation map in the sense that all the primes in the classes of $A' \subset A$ capitulate in $ψ(A')$. In particular we have a new, strong version of the generalized Hilbert 94 Theorem, which confirms the result of Myiake and adds more structure to (part) of the capitulation kernel of subfields of $\KH$.

2015-02-17math.NTmath.RA

Module constructions for certain subgroups of the largest Mathieu group

For certain subgroups of $M_{24}$, we give vertex operator algebraic module constructions whose associated trace functions are meromorphic Jacobi forms. These meromorphic Jacobi forms are canonically associated to the mock modular forms of Mathieu moonshine. The construction is related to the Conway moonshine module and employs a technique introduced by Anagiannis--Cheng--Harrison. With this construction we are able to give concrete vertex algebraic realizations of certain cuspidal Hecke eigenforms of weight two. In particular, we give explicit realizations of trace functions whose integraliti…

2019-12-09math.NTmath.RT