Kevin Buzzard, Frank Calegari
For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
This paper generalizes work of Buzzard and Kilford to the case $p=3$, giving an explicit bound for the overconvergence of the quotient $E_κ/ V(E_κ)$ and using this bound to prove that the eigencurve is a union of countably many annuli over the boundary of weight space.
We give a new proof of a result due to Breuil and Emerton which relates the splitting behavior at p of the p-adic Galois representation attached to a p-ordinary modular form to the existence of an overconvergent p-adic companion form for f.
The primary goal of this paper is to investigate the geometry of the $p$-adic eigencurve at a point $f$ corresponding to a weight one cuspidal theta series irregular at the prime number $p$. We show that $f$ belongs to exactly three or four irreducible components and study their intersection multiplicities. In particular, we show that the congruence ideal of a CM component has a simple zero at $f$ if and only if a certain anti-cyclotomic $\mathscr{L}$-invariant $\mathscr{L}_-(φ)$ does not vanish. Further, using Roy's Strong Six Exponential Theorem we show that at least one amongst $\mathscr{L}…
In this paper we define Banach spaces of overconvergent half-integral weight $p$-adic modular forms and Banach modules of families of overconvergent half-integral weight $p$-adic modular forms over admissible open subsets of weight space. Both spaces are equipped with a continuous Hecke action for which $U_{p^2}$ is moreover compact. The modules of families of forms are used to construct an eigencurve parameterizing all finite-slope systems of eigenvalues of Hecke operators acting on these spaces. We also prove an analog of Coleman's theorem stating that overconvergent eigenforms of suitably l…
Our objective in this series of two articles, of which the present article is the first, is to give a Perrin-Riou-style construction of $p$-adic $L$-functions (of Bellaïche and Stevens) over the eigencurve. As the first ingredient, we interpolate the Beilinson-Kato elements over the eigencurve (including the neighborhoods of $θ$-critical points). Along the way, we prove étale variants of Bellaïche's results describing the local properties of the eigencurve. We also develop the local framework to construct and establish the interpolative properties of these $p$-adic $L$-functions away from $θ$-…
We construct two families of harmonic Maass Hecke eigenforms. This construction answers a question of Mazur about the existence of an "eigencurve-type" object in the world of harmonic Maass forms. Using these families, we construct $p$-adic harmonic Maass forms in the sense of Serre.
We show that the p-adic Eigencurve is smooth at classical weight one points which are regular at p and give a precise criterion for etaleness over the weight space at those points. Our approach uses deformations of Galois representations.
The eigencurve at crystalline points with scalar Frobenius and Gross-Stark regulators
本文研究了R=T方法失效时p-adic eigencurve在p-irregular权一尖点形式处的局部几何，并证明了椭圆模曲线塔的普通p-adic étale上同调群在局部化时不是Hecke代数上的自由模。
We construct an Euler system of $p$-adic zeta elements over the eigencurve which interpolates Kato's zeta elements over all classical points. Applying a big regulator map gives rise to a purely algebraic construction of a two-variable $p$-adic $L$-function over the eigencurve. As a first application of these ideas, we prove the equality of the $p$-adic $L$-functions associated with a critical-slope refinement of a modular form by the works of Bellaïche/Pollack-Stevens and Kato/Perrin-Riou.
We describe an application of Poincaré duality for completed homology spaces (as defined by Emerton) to level raising for p-adic modular forms. This allows us to give a new description of the image of Chenevier's p-adic Jacquet-Langlands map between an eigencurve for a definite quaternion algebra and an eigencurve for GL(2). The points on the eigencurve at which we "raise the level" are (non-smooth) points of intersection between an "old" and a "new" component.
We prove that the cuspidal eigencurve $C_{\mathrm{cusp}}$ is étale over the weight space at any classical weight $1$ Eisenstein point $f$ and meets two Eisenstein components of the eigencurve $C$ transversally at $f$. Further, we prove that the local ring of $C$ at $f$ is Cohen--Macaulay but not Gorenstein and compute the Fourier coefficients of a basis of overconvergent weight $1$ modular forms lying in the same generalised eigenspace as $f$. In addition, we prove an $R=T$ theorem for the local ring at $f$ of the closed subspace of $C$ given by the union of $C_{\mathrm{cusp}}$ and one Eisenst…
Let p be a rational prime and N a positive integer which is prime to p. Let W be the p-adic weight space for GL_{2,Q}. Let C_N be the p-adic Coleman-Mazur eigencurve of tame level N. In this paper, we prove that any irreducible component of C_N which is of finite degree over W is in fact finite over W. Combined with an argument of Chenevier and a conjecture of Coleman-Mazur-Buzzard-Kilford (which has been proven in special cases, and for general quaternionic eigencurves) this shows that the only finite degree components of the eigencurve are the ordinary components.
We construct a meromorphic function on the eigencurve that interpolates a square root of the ratio of the central values of two quadratic twists of the $L$-function at classical points.
We prove that the eigencurve associated to a definite quaternion algebra over $\QQ$ satisfies the following properties, as conjectured by Coleman--Mazur and Buzzard--Kilford: (a) over the boundary annuli of weight space, the eigencurve is a disjoint union of (countably) infinitely many connected components each finite and flat over the weight annuli, (b) the $U_p$-slopes of points on each fixed connected component are proportional to the $p$-adic valuations of the parameter on weight space, and (c) the sequence of the slope ratios form a union of finitely many arithmetic progressions with the …
Arithmetic of critical $p$-adic $L$-functions
本文研究临界p-adicL函数的算术理论，提出新的Iwasawa理论框架和厚Selmer复形，推导出主猜想的增强版本。
We prove that the Coleman-Mazur eigencurve is proper (over the weight space) at a large class of points.
We prove that the Coleman-Mazur eigencurve is proper (over weight space) at integral weights in the center of weight space.
We prove that the Coleman-Mazur eigencurve is proper over the weight space for any prime p and tame level N.
This paper has been withdrawn.
The eigencurve is a powerful tool introduced by Coleman and Mazur to study $p$-adic families of overconvergent modular forms. In this article, we introduce an analogous set of tools for understanding families of "overconvergent" $p$-adic representations of $π_1(X)$, where $X$ is a smooth affine variety over a finite field of characteristic $p$. Our main theorem is a trace formula relating the $L$-function of such a family to the geometry of a sequence of associated eigenvarieties. In the case of a single $p$-adic representation, our result reduces to the well known trace formula of Monsky. We …
In this work we construct an eigencurve for p-adic modular forms attached to an indefinite quaternion algebra over Q. Our theory includes the definition, both as rules on test objects and sections of line bundle, of p-adic modular forms, convergent and overconvergent, of any p-adic weight. We prove that our modular forms can be put in analytic families over the weight space and we introduce the Hecke operators U and T_l, that can also be put in families. We show that the U-operator acts compactly on the space of overconvergent modular forms. We finally construct the eigencurve, a rigid analyti…
In this note, we construct explicit bases for spaces of overconvergent $p$-adic modular forms when $p=2,3$ and study their stability under the Atkin operator. The resulting extension of the algorithms of Lauder is illustrated with computations of slope sequences of some $2$-adic eigencurves and the construction of Chow-Heegner points on elliptic curves via special values of Rankin triple product L-functions.
We give a new proof of the properness of the Coleman-Mazur eigencurve. The question of whether the eigencurve satisfies the valuative criterion for properness was first asked by Coleman and Mazur in 1998 and settled by Diao and Liu in 2016 using deep, powerful Hodge- and Galois- theoretic machinery. Our proof is short and explicit and uses no Galois theory. Instead we adapt an earlier method of Buzzard and Calegari based on elementary properties of overconvergent modular forms. To facilitate this, we extend Pilloni's geometric construction of overconvergent forms of arbitrary weight farther in…
This article extends our study of the geometry of the $p$-adic eigencurve at a point defined by a weight $1$ cuspform $f$ irregular at $p$ and having complex multiplication, and the implications in Iwasawa and in Hida theories. The novel results include the determination of the Fourier coefficients of certain non-classical $p$-adic modular forms belonging to the generalized eigenspace of $f$, in terms of $p$-adic logarithms of algebraic numbers. We also compute the "mysterious" cross-ratios of the $p$-ordinary filtrations of the Hida families containing $f$.
Let p be a prime, C the p-adic Eigencurve (with tame level 1) and Z the blow-up of the Fredholm hypersurface of the U_p - operator at the special points. We show that for p = 2, 3, 5 and 7, the natural map C -> Z is a rigid-analytic isomorphism.
We interpolate the Gauss-Manin connection in p-adic families of nearly overconvergent modular forms. This gives a family of Maass-Shimura type differential operators from the space of nearly overconvergent modular forms of type r to the space of nearly overconvergent modular forms of type r + 1 with p-adic weight shifted by 2. Our construction is purely geometric, using Andreatta-Iovita-Stevens and Pilloni's geometric construction of eigencurves, and should thus generalize to higher rank groups.
Recently, Andreatta, Iovita and Pilloni have constructed spaces of overconvergent modular forms in characteristic p, together with a natural extension of the Coleman-Mazur eigencurve over a compactified (adic) weight space. Similar ideas have also been used by Liu, Wan and Xiao to study the boundary of the eigencurve. This all goes back to an idea of Coleman. In this article, we construct natural extensions of eigenvarieties for arbitrary reductive groups G over a number field which are split at all places above p. If G is GL(2)/Q, then we obtain a new construction of the extended eigencurve o…
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of k-th invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid-analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, th…
Let p be a prime number and C be the p-adic tame level 1 eigencurve introduced by Coleman-Mazur. We prove that C is smooth at the evil Eisenstein points and we give necessary and sufficient conditions for etaleness of the map to the weight space at these points in terms of p-adic zeta values. A key step is the determination at these points of the schematic reducibility locus of the pseudo-character carried by C restricted to a decomposition group at p. Then, the smoothness appears to be a consequence of the fact that the Dirichlet L-functions only have simple zeros at integers.
We consider $p$-adic families of Siegel eigenforms of genus $2$ and finite slope, defined as local pieces of an eigenvariety and equipped with a suitable integral structure. Under some assumptions on the residual image, we show that the image of the Galois representation associated with a family is big, in the sense that a Lie algebra attached to it contains a congruence subalgebra of non-zero level. We call Galois level of the family the largest such level. We show that it is trivial when the residual representation has full image. When the residual representation is a symmetric cube, the zer…
In this paper, we study the parallel cases of Zagier's and Folsom-Ono's grids of weakly holomorphic (resp. weakly holomorphic and mock modular) forms of weights 3/2 and 1/2, investigating their $p$-adic properties under the action of Hecke operators.
We examine the Fourier coefficients of modular forms in a canonical basis for the spaces of weakly holomorphic modular forms of weights 4, 6, 8, 10, and 14, and show that these coefficients are often highly divisible by the primes 2, 3, and 5.
In this paper we study special bases of certain spaces of half-integral weight weakly holomorphic modular forms. We establish a criterion for the integrality of Fourier coefficients of such bases. By using recursive relations between Hecke operators, we derive relations of Fourier coefficients of each basis element and obtain congruences of the Fourier coefficients, which extend known congruences for traces of singular moduli.
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer étale and pro-Kummer étale topologies on log adic spaces. In particular, we show that log adic spaces are locally "log affinoid perfectoid" in the pro-Kummer étale topology. As an application, we prove finiteness of cohomologies for Kummer étale $\mathbb{F}_p$-local systems on proper log smooth adic spaces.
We introduce a geometric formalism for studying modular forms of half-integral weight and explore some of its basic properties. Geometric Hecke operators are constructed and some basic spaces of $p$-adic forms are introduced. The $p$-adic theory is greatly expanded in subsequent papers, making that part of this paper largely obsolete.
For a prime $p\equiv 3$ $(\text{mod }4)$ and $m\ge 2$, Romik raised a question about whether the Taylor coefficients around $\sqrt{-1}$ of the classical Jacobi theta function $θ_3$ eventually vanish modulo $p^m$. This question can be extended to a class of modular forms of half-integral weight on $Γ_1(4)$ and CM points; in this paper, we prove an affirmative answer to it for primes $p\ge5$. Our result is also a generalization of the results of Larson and Smith for modular forms of integral weight on $\mathrm{SL}_2(\mathbb{Z})$.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
We introduce $p$-adic Kummer spaces of continuous functions on $\mathbb{Z}_p$ that satisfy certain Kummer type congruences. We will classify these spaces and show their properties, for instance, ring properties and certain decompositions. As a result, these functions have always a fixed point, functions of certain subclasses have always a unique simple zero in $\mathbb{Z}_p$. The fixed points and the zeros are effectively computable by given algorithms. This theory can be transferred to values of Dirichlet $L$-functions at negative integer arguments. That leads to a conjecture about their stru…
The fundamental aim of this paper is to define weighted q-Hardy-littlewood-type maximal operator by means of fermionic p-adic q-invariant distribution on Zp . Also, we derive some interesting properties concerning this type maximal operator.
Faltings initiated in 2005 a p-adic analogue of the (complex) Simpson correspondence whose construction has been taken up by various authors, according to several approaches. Following the one we initiated previously, we present an overview of a new monograph developing new features of the p-adic Simpson correspondence, inspired by our construction of the relative Hodge-Tate spectral sequence. First, we address the connection to Hodge-Tate local systems. Second, we establish the functoriality of the p-adic Simpson correspondence by proper direct image. Along the way, we expand the scope of our…
We continue our study of residual properties of mapping tori of free group endomorphisms. In this paper, we prove that each of these groups are virtually residually (finite $p$)-groups for all but finitely many primes$p$. The method involves further studies of polynomial maps over finite fields and $p$-adic completions of number fields.
Proper pushforwards on analytic adic spaces
本文为解析仿射空间的部分固有态射构造固有推前映射，推广了van der Put的相关理论，还针对Kiehl意义下光滑且部分固有的态射构造了迹映射与对偶配对。
We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes normality, irreducibility (in particular irreducible components) and a Stein factorization theorem. Most notably we show that finite morphisms of adic spaces are open under mild assumptions on the base and target space.
We use Scholze's framework of diamonds to gain new insights in correspondences between $p$-adic vector bundles and local systems. Such correspondences arise in the context of $p$-adic Simpson theory in the case of vanishing Higgs fields. In the present paper we provide a detailed analysis of local systems on diamonds for the étale, pro-étale, and the $v$-topology, and study the structure sheaves for all three topologies in question. Applied to proper adic spaces of finite type over $\mathbb{C}_p$ this enables us to prove a category equivalence between $\mathbb{C}_p$-local systems with integral…
Non-liftability of Families of Abelian Varieties with Small $l$-adic Local System
本文研究特征 $p$ 上光滑正则曲线上的阿贝尔簇族，证明其霍奇包非 nef 且无法提升到 $W_2(k)$，并建立一个阿拉凯洛夫型不等式。
Arithmetic Properties Of $\ell$-adic Étale Cohomology and Nearby Cycles of Rigid-Analytic Spaces
本文研究p进非阿基米德局部域上刚性解析簇的ℓ进平展上同调，建立Frobenius特征值界、强局部单值化定理、邻近环混合性，并用perfectoid分析证明Deligne权-单值化猜想的局部版本，同时发展Deligne拓扑斯上的可构造ℓ进复形理论。
$T$-adic exponential sums associated to a Laurent polynomial $f$ are introduced. They interpolate all classical $p^m$-power order exponential sums associated to $f$. The Hodge bound for the Newton polygon of $L$-functions of $T$-adic exponential sums is established. This bound enables us to determine, for all $m$, the Newton polygons of $L$-functions of $p^m$-power order exponential sums associated to an $f$ which is ordinary for $m=1$. Deeper properties of $L$-functions of $T$-adic exponential sums are also studied. Along the way, new open problems about the $T$-adic exponential sum itself ar…
Shadowing and Stability of Non-Invertible $p$-adic Dynamics
本文研究零维空间中非可逆动力学的影子与稳定性性质，聚焦于 $p$-adic 整数和 $p$-adic 数，探讨右可逆收缩和左可逆收缩的动力学系统稳定性条件。
We prove equality of the various $p$-adic period morphisms for smooth, not necessarily proper, schemes. We start with showing that the $K$-theoretical uniqueness criterium we had found for proper smooth schemes extends to proper finite simplicial schemes in the good reduction case and to cohomology with compact support in the semistable reduction case. It yields the equality of the period morphisms for cohomology with compact support defined using the syntomic, almost étale, and motivic constructions. We continue with showing that the $h$-cohomology period morphism agrees with the syntomic and…
We investigate a certain class of (geometric) finite (Galois) coverings of formal fibres of $p$-adic curves and the corresponding quotient of the (geometric) étale fundamental group. A key result in our investigation is that these (Galois) coverings can be compactified to finite (Galois) coverings of proper $p$-adic curves. We also prove that the maximal prime-to-$p$ quotient of the geometric étale fundamental group of a (geometrically connected) formal fibre of a $p$-adic curve is (pro-)prime-to-$p$ free of finite computable rank.
p-adic Borel extension for local Shimura varieties
本文证明了局部Shimura品种满足p-进刚性解析的Borel扩展定理，并扩展了Rapoport-Zink空间的相关结果。
This work is devoted to the study of integral $p$-adic Hodge theory in the context of Artin stacks. For a Hodge-proper stack, using the formalism of prismatic cohomology, we establish a version of $p$-adic Hodge theory with the étale cohomology of the Raynaud generic fiber as an input. In particular, we show that the corresponding Galois representation is crystalline and that the associated Breuil-Kisin module is given by the prismatic cohomology. An interesting new feature of the stacky setting is that the natural map between étale cohomology of the algebraic and the Raynaud generic fibers is…
Mod $p$ Poincaré duality for $p$-adic period domains
本文提出了一类满足模 $p$ 皮卡定理的 $p$-adic 周期域，恢复了几乎良好概形的皮卡定理并推广了德林费尔德对称空间的上同调计算。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。