模曲线上高阶 Hida 与 Coleman 理论

Explicit computations of Hida families via overconvergent modular symbols

In [Pollack-Stevens 2011], efficient algorithms are given to compute with overconvergent modular symbols. These algorithms then allow for the fast computation of $p$-adic $L$-functions and have further been applied to compute rational points on elliptic curves (e.g. [Darmon-Pollack 2006, Trifković 2006]). In this paper, we generalize these algorithms to the case of families of overconvergent modular symbols. As a consequence, we can compute $p$-adic families of Hecke-eigenvalues, two-variable $p$-adic $L$-functions, $L$-invariants, as well as the shape and structure of ordinary Hida-Hecke alge…

Drinfeld模曲线的高阶Hida理论

Higher Hida theory for Drinfeld modular curves

受Boxer和Pilloni启发，为Drinfeld模曲线上的线丛上同调建立高阶Hida理论，并插值Serre对偶。

Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms

In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…

Variation of Iwasawa invariants in Hida families

Let r : G_Q -> GL_2(Fpbar) be a p-ordinary and p-distinguished irreducible residual modular Galois representation. We show that the vanishing of the algebraic or analytic Iwasawa mu-invariant of a single modular form lifting r implies the vanishing of the corresponding mu-invariant for all such forms. Assuming that the mu-invariant vanishes, we also give explicit formulas for the difference in the algebraic or analytic lambda-invariants of modular forms lifting r. In particular, our formula shows that the lambda-invariant is constant on branches of the Hida family of r. We further show that ou…

A note on control theorems for quaternionic Hida families of modular forms

We extend a result of Greenberg and Stevens on the interpolation of modular symbols in Hida families to the context of non-split rational quaternion algebras. Both the definite case and the indefinite case are considered.

关于具有双曲二重的模形式Hida家族的局部特征化

On local characterizations of Hida families of Siegel modular forms

本文通过局部特征化方法，研究了具有双曲二重的模形式Hida家族，并证明了相关Selmer群的伪零性及R=TT定理。

Coleman Maps for Modular Forms at Supersingular Primes over Lubin-Tate Extensions

Given an elliptic curve with supersingular reduction at an odd prime p, Iovita and Pollack have generalised results of Kobayashi to define even and odd Coleman maps at p over Lubin-Tate extensions given by a formal group of height 1. We generalise this construction to modular forms of higher weights.

模曲线上的 Coleman 积分

Coleman Integration on Modular Curves

本文提出一种无需仿射模型的算法，利用 Hecke 算子分解积分，以计算模曲线上任意两点间的单个 Coleman 积分，并通过 SageMath 与 Magma 示例验证。

辛点与日田 - 兰金p进L函数

Plectic points and Hida-Rankin p-adic L-functions

研究通过定义两个变量的反分圆p进L函数，其限制到权重空间可得日田 - 兰金p进L函数。当函数族经过特定模椭圆曲线相关的超收敛模符号时，可得到用辛点计算此类L函数高阶导数的p进格罗斯 - 扎吉尔公式。

无穷斜率特征形的 $p$-进刚性

$p$-adic rigidity of eigenforms of infinite slope

本文提出了允许斜率为无穷的 Hecke 特征形 $p$-进族概念，并证明了无穷斜率族仅存在特定扭曲或复乘形式，其证明结合了局部 Galois 表示形变与全局模形式猜想。

Hida theory for Shimura varieties of Hodge type

In this article, we generalize the work of H.Hida and V.Pilloni to construct $p$-adic families of $μ$-ordinary modular forms on Shimura varieties of Hodge type $Sh(G,X)$ associated to a Shimura datum $(G,X)$ where $G$ is a connected reductive group over $\mathbb{Q}$ and is unramified at $p$, such that the adjoint quotient $G^\mathrm{ad}$ has no simple factors isomorphic to $\mathrm{PGL}_2$.

A modular proof of the properness of the Coleman-Mazur eigencurve

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…

全分裂情形下Hilbert模簇的高阶Hida理论

Higher Hida theory for Hilbert modular varieties in the totally split case

研究全实域F中素数p完全分裂时，Hilbert模簇X上自守层的凝聚上同调的p进性质，构造了p进插值普通部分的模M^q。

$Λ$-adic Families of Jacobi Forms

We show that Hida's families of $p$-adic elliptic modular forms generalize to $p$-adic families of Jacobi forms. We also construct $p$-adic versions of theta lifts from elliptic modular forms to Jacobi forms. Our results extend to Jacobi forms previous works by Hida and Stevens on the related case of half-integral weight modular forms.

Hida duality and the Iwasawa main conjecture

The central result of this paper is a refinement of Hida's duality theorem between ordinary Lambda-adic modular forms and the universal ordinary Hecke algebra. Specifically, we give a necessary condition for this duality to be integral with respect to particular submodules of the space ordinary Lambda-adic modular forms. This refinement allows us to give a simple proof that the universal ordinary cuspidal Hecke algebra modulo Eisenstein ideal is isomorphic to the Iwasawa algebra modulo an ideal related to the Kubota-Leopoldt p-adic L-function. The motivation behind these results stems from Oht…

$R=T$ theorems for weight one modular forms

We prove modularity of certain residually reducible ordinary 2-dimensional $p$-adic Galois representations with determinant a finite order odd character $χ$. For certain non-quadratic $χ$ we prove an $R=T$ result for $T$ the weight 1 specialisation of the Hida Hecke algebra acting on non-classical weight 1 forms, under the assumption that no two Hida families congruent to an Eisenstein series cross in weight 1. For quadratic $χ$ we prove that the quotient of $R$ corresponding to deformations split at $p$ is isomorphic to the Hecke algebra acting on classical CM weight 1 modular forms.

希达族中的庞加莱对偶

Poincaré duality in Hida families

该研究针对p进上同调类族构造双线性配对，推广了模曲线的Atkin--Lehner对合，能交换上同调的普通与反普通部分，可恢复Ohta为模曲线构造的配对。

On certain constructions of p-adic families of Siegel modular forms of even genus

Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting provided by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.

On certain constructions of p-adic families of Siegel modular forms of even genus

Suppose that p > 5 is a rational prime. Starting from a well-known p-adic analytic family of ordinary elliptic cusp forms of level p due to Hida, we construct a certain p-adic analytic family of holomorphic Siegel cusp forms of arbitrary even genus and of level p associated with Hida's p-adic analytic family via the Duke-Imamoglu lifting which has been established by Ikeda. Moreover, we also give a similar results for the Siegel Eisenstein series of even genus with trivial Nebentypus.

Rankin--Eisenstein classes in Coleman families

We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit reciprocity law for these families, and use this to prove cases of the Bloch--Kato conjecture for Rankin--Selberg convolutions.

临界Λ-adic模形式与双普通复形

Critical Lambda-adic modular forms and bi-ordinary complexes

本文构造了Λ-adic临界斜率过收敛模形式的平坦Λ-模，实现Hida型插值，并插值双普通复形，证明相关Hecke代数的R=T定理，且产生度移位Hecke作用及Stark单位作用。

Vanishing of special values and central derivatives in Hida families

The theme of this work is the study of the Nekovář-Selmer group H^1_f(K,T) attached to a twisted Hida family T of Galois representations and a quadratic number field K. The results that we obtain have the following shape: if a twisted L-function of a suitable modular form in the Hida family has order of vanishing r at most 1 at the central critical point then the rank of H^1_f(K,T) as a module over a certain local Hida-Hecke algebra is equal to r. Under the above assumption, we also show that infinitely many twisted L-functions of modular forms in the Hida family have the same order of vanishi…

Hida族反圆$p$-进$L$-函数的显式比较

An explicit comparison of anticyclotomic $p$-adic $L$-functions for Hida families

本文比较了由Skinner-Urban三变量$p$-进$L$-函数特殊化得到的中心临界扭转与作者之一和Vigni合作通过Gross点$p$-进族构造的双变量反圆$p$-进$L$-函数，建立了二者之间的显式比较关系。

近高阶Coleman理论与$\mathrm{GSp}(4) \times \mathrm{GL}(2)$和$\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$的$p$-adic $L$-函数

Nearly higher Coleman theory and p-adic L-functions for $\mathrm{GSp}(4) \times \mathrm{GL}(2)$ and $\mathrm{GSp}(4) \times \mathrm{GL}(2) \times \mathrm{GL}(2)$

本文构造了Siegel模形式与模形式扭曲的$p$-adic $L$-函数，利用近过收敛模形式空间和Gan-Gross-Prasad周期，在Coleman族中实现插值。

剩余可约 Hida 族中的 Iwasawa 不变量

Iwasawa invariants in residually reducible Hida families

研究在族与 Eisenstein 族相交情形下，尖点 Hida 族中模形式 $μ$-不变量的变化，特别关注穿过椭圆曲线 $X_0(11)$ 的 5-adic 族。

p-adic Abel-Jacobi map and p-adic Gross-Zagier formula for Hilbert modular forms

We compute the p-adic Abel-Jacobi map of the product of a Hilbert modular surface and a modular curve at a null-homologous (modified) embedding of the modular curve in this product, evaluated on differentials associated to a Hilbert cuspidal form f of weight (2,2) and a cuspidal form of weight 2. We generalize this computation to suitable null-homological cycles in the fibre products of the universal families on the surface and the curve, evaluated at differentials associated to f and g of higher weights. We express the values of the p-adic Abel-Jacobi map at these weights in terms of a p-adic…

四元数Coleman族上广义Heegner类的插值

Interpolation of generalized Heegner classes along quaternionic Coleman families

本文通过插值构造广义Heegner类，基于Jetchev-Loffler-Zerbes的方法，在四元数模形式的Coleman族上进行研究。

The Geometry of Hida Families I: $Λ$-adic de Rham cohomology

We construct the $Λ$-adic de Rham analogue of Hida's ordinary $Λ$-adic étale cohomology and of Ohta's $Λ$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of $\mathbf{Q}_p$, we give a purely geometric proof of the expected finiteness, control, and $Λ$-adic duality theorems. Following Ohta, we then prove that our $Λ$-adic module of differentials is canonically isomorphic to the space of ordinary $Λ$-adic cuspforms. In the sequel to this paper, we construct the crystalline counterpart to Hida's ordinary $Λ$-adic étale cohomo…

Heegner points in Coleman families

We construct two-parameter analytic families of Galois cohomology classes interpolating the etale Abel--Jacobi images of generalised Heegner cycles, with both the modular form and Grossencharacter varying in p-adic families.

On Shafarevich-Tate groups and analytic ranks in families of modular forms, I. Hida families

Let $f$ be a newform of weight $2$, square-free level and trivial character, let $A_f$ be the abelian variety attached to $f$ and for every good ordinary prime $p$ for $f$ let $\boldsymbol f^{(p)}$ be the $p$-adic Hida family through $f$. We prove that, for all but finitely many primes $p$ as above, if $A_f$ is an elliptic curve such that $A_f(\mathbb Q)$ has rank $1$ and the $p$-primary part of the Shafarevich-Tate group of $A_f$ over $\mathbb Q$ is finite then all specializations of $\boldsymbol f^{(p)}$ of weight congruent to $2$ modulo $2(p-1)$ and trivial character have finite ($p$-primar…

Hilbert 模簇的控制定理

Control Theorems for Hilbert Modular Varieties

本文在Hida理论意义下，利用Loeffler-Rockwood-Zerbes技术与Caraiani-Tamiozzo的消失定理，证明了Hilbert模簇中间阶上同调普通部分的精确控制定理，为后续研究Asai-Flach Euler系统在Hida族中的变化奠定基础。

酉群上 P-ordinary Hida 族的 p 进 L 函数

$p$-adic $L$-functions for $P$-ordinary Hida families on unitary groups

本文利用 Schneider-Zink 类型分析酉群 P-ordinary Hida 族的局部结构与几何，并构造兼容的 Siegel Eisenstein 级数及加倍方法配对，从而得到插值标准 L 函数特殊值的 p 进 L 函数。

对Coleman族的Rankin-Selberg卷积的Selmer群进行界限研究

Bounding Selmer groups for the Rankin--Selberg convolution of Coleman families

本文通过构造协调sheaf，研究了Coleman族的Rankin-Selberg卷积的Selmer群在临界范围内的界限问题。

Coleman maps and the p-adic regulator

This paper is a sequel to our earlier paper "Wach modules and Iwasawa theory for modular forms" (arXiv: 0912.1263), where we defined a family of Coleman maps for a crystalline representation of the Galois group of Qp with nonnegative Hodge-Tate weights. In this paper, we study these Coleman maps using Perrin-Riou's p-adic regulator L_V. Denote by H(Γ) the algebra of Qp-valued distributions on Γ= Gal(Qp(μ(p^\infty) / Qp). Our first result determines the H(Γ)-elementary divisors of the quotient of D_{cris}(V) \otimes H(Γ) by the H(Γ)-submodule generated by (ϕ* N(V))^{ψ= 0}, where N(V) is the Wac…

Twisted Gross-Zagier theorems

The theorems of Gross-Zagier and Zhang relate the Néron-Tate heights of complex multiplication points on the modular curve X_0(N) (and on Shimura curve analogues) with the central derivatives of automorphic L-functions. We extend these results to include certain CM points on Shimura curves of higher level structure. These results are motivated by applications to Hida theory which are described in the companion article "Central derivatives of L-functions in Hida families."

The Geometry of Hida Families and Λ-adic Hodge Theory

We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely…

p-adic Banach modules of arithmetical modular forms and triple products of Coleman's families

For a prime number $p\ge 5$, we consider three classical cusp eigenforms $f_j(z)$ of weights $k_1, k_2, k_3$, of conductors $N_1, N_2, N_3$, and of nebentypus characters $ψ_j \bmod N_j$. According to H.Hida and R.Coleman, one can include each $f_j$ into a {$p$-adic analytic family} $k_j \mapsto \{f_{j,k_j}\}$ of cusp eigenforms $f_{j,k_j}$ of weights $k_j$ in such a way that $f_{j,k_j}=f_j$, and that all their Fourier coefficients $a_n(f_{j, k_j})$ are given by certain $p$-adic analytic functions $k_j{}\mapsto a_{n, j}(k_j{})$. The purpose of this paper is to describe a four variable $p$-adic …

Triple products of Coleman's families

We discuss modular forms as objects of computer algebra and as elements of certain p-adic Banach modules. Problem-solving approach in number theory is discussed which is based on the use of generating functions and their links with modular forms. In particular, the critical values of various L-functions of modular forms produce non-trivial but computable solutions of arithmetical problems. Namely, for a prime number $p\ge 5$, we consider three classical cusp eigenforms $$f_j(z)=\sum_{n=1}^\infty a_{n,j}e(nz)\in \Sr_{k_j}(N_j, ψ_j),\ (j=1, 2,3)$$ of weights k_1, k_2, k_3, of conductors N_1, N_2…

Higher Coleman Theory

We develop local cohomology techniques to study the finite slope part of the coherent cohomology of Shimura varieties. The local cohomology groups we consider are a generalization of overconvergent modular forms, and they are defined by using a stratification on the Shimura variety obtained from the Bruhat stratification on a flag variety via the Hodge-Tate period map. We construct a spectral sequence from the local cohomologies to the classical cohomology and use it to obtain classicality and vanishing results. We also develop a theory of p-adic families and construct eigenvarieties. As an ap…

A Gluing Lemma And Overconvergent Modular Forms

We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent modular forms of small slope are classical. The proof is "geometric" in nature, and is suitable for generalization to other PEL Shimura varieties.

Triple product p-adic L-functions associated to finite slope p-adic families of modular forms, with an appendix by Eric Urban

We p-adically interpolate the relative de Rham cohomology of the universal elliptic curve over strict neighbourhoods of the ordinary locus of modular curves, together with the Hodge filtration and Gauss-Manin connection. Sections of these sheaves provide the so called nearly overconvergent modular forms. This extends previous work of Andreatta, Iovita and Pilloni where we p-adically interpolate powers of the Hodge bundle and in that case the sections coincide with Coleman overconvergent modular forms. We also show that, under suitable assumptions, one can p-adically interpolate the Gauss-Manin…

Slope classicality via completed cohomology

We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding of the quotient of overconvergent modular forms by classical modular forms, which is the obstruction space for classicality in either cohomological degree, into a unitary representation of $\mathrm{GL}_2(\mathbb{Q}_p)$. The $U_p$ operator becomes a double-coset, and unitarity yields the slope vanishing.

普通模 Galois 表示对称幂的 Selmer 群

Selmer groups of symmetric powers of ordinary modular Galois representations

本文研究 Hida 族 Galois 表示偶对称幂的分圆 Selmer 群，在 $n\leq4$ 时将其特征幂级数联系于同余理想，并用 $\mathcal{L}$-不变量描述平凡零点首项。

p-adic Eichler-Shimura maps for the modular curve

We give a new proof of Faltings's p-adic Eichler-Shimura decomposition of the modular curves via BGG methods and the Hodge-Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was already used in the original proof. Then, we construct overconvergent Eichler-Shimura (ES) maps for the modular curves providing ''the second half'' of the overconvergent ES map of Andreatta-Iovita-Stevens. We use higher Coleman theory on the modular curve developed by Boxer-Pilloni to show that the small slope part of the ES maps interpolates the classical p-adi…

On Néron models, divisors and modular curves

Let $p$ be a prime number such that the modular curve $X_0(p)$ has genus at least two. We show that the only points of the reduction mod $p$ of $X_0(p)$ with image in the reduction mod $p$ of $J_0(p)$ in the cuspidal group are the two cusps. This answers a question of Robert Coleman. For the proof we give a description of the special fibre of the Néron model of the jacobian of a semi-stable curve in terms of divisors. We also study to what extent the morphism from a semistable curve with given base point to the Néron model of its jacobian is a closed immmersion. Implicitly, logarithmic structu…

关于模形式族中的Shafarevich-Tate群与解析秩，II. Coleman族

On Shafarevich-Tate groups and analytic ranks in families of modular forms, II. Coleman families

本文研究模形式$p$-进Coleman族中代数秩与解析秩的保持性，证明在有限多个例外素数之外，若原形式的Shafarevich-Tate群有限且秩为$r$，则族中权重同余的经典特化保持有限性及秩，并支持Greenberg猜想。

Elementary computation of the stable reduction of the Drinfeld modular curve $X(π^2)$

We compute the stable reduction of the Lubin-Tate space $X(π^2)$ in the equal characteristic case, on the basis of Coleman-McMurdy's ideas. Namely, in this paper, we actually construct a stable covering of $X(π^2).$ This paper also includes intersection multiplicity datum of the stable model of $X(π^2)$. Our method is very explicit and elementary.

p进AsaiL函数与二次Hilbert特征形式

P-adic Asai L-functions for quadratic Hilbert eigenforms

本文提出利用更高Hida理论构造实二次域上GL2自守表示的p进AsaiL函数。

Hirzebruch--Zagier 循环的反环分 Euler 系统 I：范数关系与 $p$-进插值

An anticyclotomic Euler system of Hirzebruch--Zagier cycles I: Norm relations and $p$-adic interpolation

本文为实二次域上 $p$-ordinary Hilbert 模形式的 Asai 表示构造反环分 Euler 系统，证明其在 Hida 族中变化，并应用于 Bloch--Kato 猜想与 Iwasawa 主猜想。

Semistable models for modular curves of arbitrary level

We produce an integral model for the modular curve $X(Np^m)$ over the ring of integers of a sufficiently ramified extension of $\mathbf{Z}_p$ whose special fiber is a {\em semistable curve} in the sense that its only singularities are normal crossings. This is done by constructing a semistable covering (in the sense of Coleman) of the supersingular part of $X(Np^m)$, which is a union of copies of a Lubin-Tate curve. In doing so we tie together nonabelian Lubin-Tate theory to the representation-theoretic point of view afforded by Bushnell-Kutzko types. For our analysis it was essential to work …

Hilbert模形式的有限斜率族的扭曲三重积$p$-adic $L$-函数

Twisted Triple Product $p$-adic $L$-function for Finite Slope Families of Hilbert Modular Forms

本文构造了Hilbert模簇上相对de Rham上同调类的过收敛族，证明其Gauss-Manin联络的$p$-adic迭代收敛性，并据此构造了Hilbert模形式有限斜率族的$p$-adic扭曲三重积$L$-函数。

$\mathrm{GL}_3$ 的实二次基变换的自守周期的可整除性

A divisibility of automorphic periods for the real quadratic base change of $\mathrm{GL}_3$

本文证明GL_3实二次基变换的自守周期间的p-adic可整除性，推广Bloch-Kato猜想情形，并引入尖点同调中度周期及Hida型L值公式。

Galois representations modulo $p$ and cohomology of Hilbert modular varieties

The aim of this paper is to extend some arithmetic results on elliptic modular forms to the case of Hilbert modular forms. Among these results let's mention : (1) the control of the image of the Galois representation modulo $p$, (2) Hida's congruence criterion outside an explicit set of primes $p$, and (3) the freeness of the integral cohomology of the Hilbert modular variety over certain local components of the Hecke algebra and the Gorenstein property of these local algebras. We study the arithmetic of the Hilbert modular forms by studying their modulo $p$ Galois representations and our main…

Quadratic Chabauty for Modular Curves

Let $X/\mathbb{Q}$ be a curve of genus $g \ge 2$ with Jacobian $J$ and let $\ell$ be a prime of good reduction. Using Selmer varieties, Kim defines a decreasing sequence \[ X(\mathbb{Q}_\ell) \supseteq X(\mathbb{Q}_\ell)_1 \supseteq X(\mathbb{Q}_\ell)_2 \supseteq \cdots \] all containing the rational points of $X$. Thanks to the work of Coleman, the `Chabauty set' $X(\mathbb{Q}_\ell)_1$ is known to be finite provided the Mordell--Weil rank of $J$ is smaller than $g$. In this case one has a practical strategy that often succeeds in computing the set of rational points of $X$. Balakrishnan and D…