Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0708.0962

Overconvergence and classicality: the case of curves

Payman L. Kassaei
View original source ↗Read source document ↗Export metadata ↓

Abstract

Given our set-up of a system of curves and maps between them satisfying certain assumptions, we prove a classicality criterion for overconvergent sections of line bundles over these curves. As a result, we prove such criteria for overconvergent modular forms over various Shimura curves. In particular, we provide a classicality criterion for overconvergent modular forms studied in [Kassaei: P-adic modular forms over Shimura curves over totally real fields, Compositio Math. 140 (2004), no 2, 359-395] and their higher-level generalizations.

Explore related subjects

math.NTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Payman L. Kassaei. 2008-02-11. Overconvergence and classicality: the case of curves. https://arxiv.org/abs/0708.0962

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Extendability of group actions on K3 or Enriques surfaces

Let $X$ be a K3 or Enriques surface with good reduction. Let $G$ be a finite group acting (not necessarily linearly) on $X$. We give a criterion for this group action to extend to a smooth model of $X$ in terms of the action of $G$ on the second $\ell$-adic cohomology groups. In particular, we generalize the result on the extendability of Galois actions on K3 surfaces by Chiarellotto, Lazda, and Liedtke. As an application, we prove that a symplectic linear group action is extendable if the residue characteristic does not divide its order. Lastly, we relate the good reduction of Enriques surfaces with that of their K3 double covers.

math.NT↗
arXiv2026

New bounds for the integer Chebyshev constant of [0,1]

The integer Chebyshev constant of [0,1] has been bracketed by 0.4213 <= t_Z([0,1]) <= 0.422685 since the work of Pritsker (2005) and of Flammang (2014). We prove 0.4222286000 <= t_Z([0,1]) <= 0.4226846975, narrowing the interval from 1.39e-3 to 4.56e-4. Both bounds are established by explicit certificates. The upper bound is carried by an integer polynomial with 92 factors and explicit integer exponents; the lower bound by a discrete measure on 947 cells together with a library of 206 irreducible polynomials, through an inequality in which the terms paying for divisibility are made explicit. Two self-contained scripts, included as ancillary files, re-derive both bounds from the certificates alone.

math.NT↗
arXiv2026

Iterated cotangent-difference integrals over totally real cyclotomic fields

We study iterated cotangent integrals with cyclotomic shifts and express their values along specified reference paths in terms of cyclotomic multiple zeta values. Differences of cotangent forms extend to a punctured projective line over a totally real cyclotomic field, giving a family of "real cyclotomic multiple zeta values." With rational tangential endpoints, these difference integrals are periods of mixed Tate motives over that field; integral endpoint data yield periods over its ring of integers after inverting primes dividing the level. The associated framed motivic classes generate a Hopf subalgebra under Goncharov's coproduct.

math.NT↗