Adrian Iovita, Annette Werner
We prove that for abelian varieties with semistable ordinary reduction the p-adic Mazur-Tate height pairing is induced by the unit root splitting of the Hodge filtration on the first deRham cohomology.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of certain log overconvergent isocystrals on the special fiber of the same open.
This paper is a complement to the paper "On $p$-adic differential equations on semistable varieties" written by V. Di Proietto. Given an open variety over a DVR with semistable reduction, the author constructed in that paper a fully faithful algebraization functor from the category of certain log overconvergent isocrystals on the special fiber to the category of modules with regular integrable connection on the generic fiber. In this paper, we prove that, with convenable hypothesis, this functor is a tensor functor whose essential image is closed under extensions and subquotients. As a consequ…
A log-motivic cohomology for semistable varieties and its $p$-adic deformation theory
本文提出了一种半稳定概形的log-动机上同调理论，并探讨了其p进变形理论，通过研究Hyodo-Kato类与Hodge滤波的关系，推广了Bloch-Esnault-Kerz的结论。
We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree 0). We first introduce a higher-dimensional analogue of the generic radius of convergence for a p-adic differential module, which obeys a convexity property. We then combine this convexity property with a form of the p-adic local monodromy theorem for so-called fake annuli.
For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable $\mathcal{O}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same $\mathcal{O}_K$-lattice inside $H^i_{dR}(X/K)$ and, moreover, that this lattice is functorial in $X$. For this, we extend the results of Bhatt--Morrow--Scholze on the construction and the analysis of an $A_{inf}$-valued cohomology theory of $p$-adic formal, proper, smooth $\mathcal{O}_{\overline{K}}$-schemes $\mathfrak{X}$ to the semistable case. The relation of the $A_{inf}$-coho…
We study horizontal semistable and horizontal de Rham representations of the absolute Galois group of a certain smooth affinoid over a p-adic field. In particular, we prove that a horizontal de Rham representation becomes horizontal semistable after a finite extension of the base field. As an application, we show that every de Rham local system on a smooth rigid analytic variety becomes horizontal semistable etale locally around every classical point. We also discuss potentially crystalline loci of de Rham local systems and cohomologically potentially good reduction loci of smooth proper morph…
p-adic iterated integration on semistable curves
本文以幂零对数刚性基本群重构半稳定曲线上的 p-adic 迭代积分，借助 Frobenius 不变量与对偶图阐明 Berkovich–Coleman 积分，并将 Vologodsky 积分解释为沿组合典范路径的积分。
We investigate degenerations of syzygy bundles on plane curves over $p$-adic fields. We use Mustafin varieties which are degenerations of projective spaces to find a large family of models of plane curves over the ring of integers such that the special fiber consists of multiple projective lines meeting in one point. On such models we investigate vector bundles whose generic fiber is a syzygy bundle and which become trivial when restricted to each projective line in the special fiber. Hence these syzygy bundles have strongly semistable reduction. This investigation is motivated by the fundamen…
Monodromy representations of $p$-adic differential equations in families
本文推导了混合特征非阿基米德域上环带上的常微分方程局部单值定理的相对版本，并应用于$p$-进上同调与$p$-进Hodge理论，包括简化半稳定约化定理证明、Berger定理的相对化及多变量局部单值定理。
This paper deals with connections on $p$-adic analytic curves, in the sense of Berkovich. The curves must be compact but the connections are allowed to have a finite number of meromorphic singularities on them. For any choice of a semistable formal model of the curve, we define an intrinsic notion of normalized radius of convergence as a function on the curve, with values in $(0,1]$. For a sufficiently refined choice of the semistable model, we prove continuity and logarithmic concavity of that function. We characterize \emph{Robba connections}, that is connections whose sheaf of solutions is …
A $p$-adic monodromy theorem for curves
本文证明 $p$-adic 域上光滑射影曲线的 de Rham $p$-adic 局部系统在有限覆盖拉回后变为半稳定，推广了经典 $p$-adic 幺模定理，并建立了圆盘和环上的相应结果。
On a p-adic version of Narasimhan and Seshadri's theorem
本文研究 Faltings 关于 p 进 Simpson 对应像的提问，证明在好约化及 p 足够大的条件下，潜在强半稳定约化等价于强半稳定约化，从而给出否定回答。
We prove that the p-adic height pairing of Nekovar, considered for algebraic curves, gives the p-adic height pairing of Coleman and Gross, defined using Coleman integration.
We compute syntomic cohomology of semistable affinoids in terms of cohomology of $(φ,Γ)$-modules which, thanks to work of Fontaine-Herr, Andreatta-Iovita, and Kedlaya-Liu, is known to compute Galois cohomology of these affinoids. For a semistable scheme over a mixed characteristic local ring this implies a comparison isomorphism, up to some universal constants, between truncated sheaves of $p$-adic nearby cycles and syntomic cohomology sheaves. This generalizes the comparison results of Kato, Kurihara, and Tsuji for small Tate twists (where no constants are necessary) as well as the comparison…
Log prismatic $F$-crystals and purity
本文研究了半稳定$p$-adic局部系统与prismatic $F$-晶的纯度性质，通过分析对数prisms推导出半稳定局部系统的纯度定理。
In our previous study of duality for complete discrete valuation fields with perfect residue field, we treated coefficients in finite flat group schemes. In this paper, we treat abelian varieties. This in particular implies Grothendieck's conjecture on the perfectness of his pairing between the Neron component groups of an abelian variety and its dual. The point is that our formulation is well-suited with Galois descent. From the known case of semistable abelian varieties, we deduce the perfectness in full generality. We also treat coefficients in tori and, more generally, 1-motives.
We describe an algorithm to compute the local component at p of the Coleman-Gross p-adic height pairing on divisors on hyperelliptic curves. As the height pairing is given in terms of a Coleman integral, we also provide new techniques to evaluate Coleman integrals of meromorphic differentials and present our algorithms as implemented in Sage.
We show that the logarithmic version of the syntomic cohomology of Fontaine and Messing for semistable varieties over $p$-adic rings extends uniquely to a cohomology theory for varieties over $p$-adic fields that satisfies $h$-descent. This new cohomology - syntomic cohomology - is a Bloch-Ogus cohomology theory, admits period map to étale cohomology, and has a syntomic descent spectral sequence (from an algebraic closure of the given field to the field itself) that is compatible with the Hochschild-Serre spectral sequence on the étale side. In relative dimension zero we recover the potentiall…
For an optimal modular parametrization $J_0(n) \twoheadrightarrow E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^0(E, Ω^1)$. Multiple authors generalized his conjecture to higher dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic etale and de Rham coho…
For a vector bundle E on a model of a smooth projective curve over a p-adic number field a p-adic representation of the geometric fundamental group of X has been defined in work with Annette Werner if the reduction of E is strongly semistable of degree zero. In the present note we calculate the reduction of this representation using the theory of Nori's fundamental group scheme.
A prismatic-etale comparison theorem in the semistable case
本文证明了半稳定 $p$-进形式概型上解析对数棱镜 $F$-晶体的 Breuil--Kisin 上同调与对应平展 $\mathbb{Z}_p$-局部系统平展上同调的比较定理，将已有晶体情形的棱镜-平展比较推广至半稳定情形。
Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$
本文通过结合Ding和Breuil-Ding的方法以及Qian的计算，研究了半稳定p-进表示的p-进Hodge参数，并构造了局部解析表示π₁(ρ_p)。
Strongly compatible systems associated to semistable abelian varieties
本文证明了数域上阿贝尔簇的$\ell$-adic上同调作用在有限扩张后可给出取值于Mumford--Tate群的强相容表示系，并将Weil--Deligne表示的$\ell$独立性从良约化情形推广到半稳定约化情形。
This paper originated as an appendix to the paper "Topology and Geometry of the Berkovich Ramification Locus for Rational Functions, II" by Xander Faber arXiv:1104.0943v2 [math.NT]. It may however be read independently. We prove a variant of Alain Robert's p-adic Rolle theorem, via the theory of the radius of convergence of p-adic connections and the theory of semistable reduction of p-adic curves. We carefully compare the present author's notion [Inv. Math. 182 (2010)] of radius of convergence, of a connection on a p-adic curve X, normalized by the choice of a semistable model of X, with Kedl…
We give a formula for the component at p of the p-adic height pairing of a divisor of degree 0 on a hyperelliptic curve. We use this to give a Chabauty-like method for finding p-adic approximations to p-integral points on such curves when the Mordell-Weil rank of the Jacobian equals the genus. In this case we get an explicit bound for the number of such p-integral points, and we are able to use the method in explicit computation. An important aspect of the method is that it only requires a basis of the Mordell-Weil group tensored with the rationals.
We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic singularities and nilpotent residues, to some complete variety. We also establish an analogue for F-isocrystals overconvergent inside a partial compactification. By previous results, this reduces to solving a local problem in a neighborhood of a valuation of height 1 and residual transcendence degree 0. We do this by studying the variation of some numerical invari…
We illustrate the theory of the radius of convergence of a connection on a p-adic curve X, by deducing from it a simple proof of a variant of Alain Robert's p-adic Rolle theorem. We need to carefully compare our global notion of radius of convergence, depending on the choice of a semistable formal model of X, and the local intrinsic notion of radius of convergence at a point x of Berkovich type 2 or 3, of Kedlaya. (Both notions go back to Dwork, Robba, Christol,...). The coincidence of the two notions when x is a point of the skeleton of the chosen semistable formal model of X, is crucial in t…
We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Colema…
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 extend the result of a previous work to the case of curves with semi-stable reduction. In this case, one can replace Coleman integration by Vologodsky integration to extend the Coleman-Gross definition of a $p$-adic height pairing. we show that this pairing still equals the one defined by Nekovar.
We study a class of semistable ordinary hyperelliptic curves over 2-adic fields and the special fibre of their minimal regular model. We show that these curves can be controlled using `cluster pictures', similarly to the case of odd residue characteristic.
We construct an integral model for Lubin-Tate curves as moduli of finite subgroups of formal deformations over complete Noetherian local rings. They are p-adic completions of the modular curves X_0(p) at a mod-p supersingular point. Our model is semistable in the sense that the only singularities of its special fiber are normal crossings. Given this model, we obtain a uniform presentation for the Dyer-Lashof algebra of Morava E-theories at height 2 as local moduli of power operations in elliptic cohomology.
Finiteness of Heights in Isogeny Classes of Motives with Semistable Reduction
本文利用积分 $p$-adic Hodge 理论推广了阿贝尔簇的 Faltings 高度，并在假设 adelic Mumford-Tate 猜想下，证明了 motive 同构类中高度的有限性，扩展了 Kisin 和 Mocz 的相关结果。
We introduce the p-adic analogue of Arakelov intersection theory on arithmetic surfaces. The intersection pairing in an extension of the p-adic height pairing for divisors of degree 0 in the form described by Coleman and Gross. It also uses Coleman integration and is related to work of Colmez on p-adic Green functions. We introduce the p-adic version of a metrized line bundle and define the metric on the determinant of its cohomology in the style of Faltings. It is possible to prove in this theory analogues of the Adjunction formula and the Riemann-Roch formula.
In p-adic Hodge theory, it is known that if a Galois representation is de Rham, then it becomes semistable after extension of the base field. Liu and Zhu asked whether a corresponding result holds in the relative setting: given an étale local system on a quasi-compact rigid analytic variety (for example, a projective scheme) over a p-adic field, does it become semistable after a finite extension of the base field? We give a counterexample.
Iwasawa Main Conjecture for ordinary semistable elliptic curves over global function fields
本文在全局函数域上证明了普通半稳定椭圆曲线的Iwasawa主猜想，通过引入χ公式和μ不变量假设，展示了相关特征理想与p进L-函数的联系。
Let $K$ be a finite extension of ${\mathbb Q}_p$ and let $X$ be Drinfel'd's symmetric space of dimension $d$ over $K$. Let $Γ\subset {\rm SL}_{d+1}(K)$ be a cocompact discrete (torsionfree) subgroup and let ${X}_Γ=Γ\backslash {X}$, a smooth projective ${K}$-variety. In this paper we investigate the de Rham and log crystalline (log convergent) cohomology of local systems on $X_Γ$ arising from $K[Γ]$-modules. (I) We prove the monodromy weight conjecture in this context. To do so we work out, for a general strictly semistable proper scheme of pure relative dimension $d$ over a cdvr of mixed chara…
In the first section of his seminal paper on height pairings, Beilinson constructed an $\ell$-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's question by constructing a pairing for varieties defined over the function field of a smooth variety $B$ over an algebraically closed field, with values in the second $\ell$-adic cohomology group of …
Let $C$ be a hyperelliptic curve $y^2 = f(x)$ over a discretely valued field $K$. The $p$-adic distances between the roots of $f(x)$ can be described by a completely combinatorial object known as the cluster picture. We show that the cluster picture of $C$, along with the leading coefficient of $f$ and the action of $\mathrm{Gal}(\bar{K}/K)$ on the roots of $f$, completely determines the combinatorics of the special fibre of the minimal strict normal crossings model of $C$. In particular, we give an explicit description of the special fibre in terms of this data.
A difference formula of $p$-adic height pairings via the Bloch-Kato logarithm map
本文研究$p$-adic高度配对对局部分裂的依赖性，通过Bloch-Kato对数给出差分公式，并证明在特定条件下至少一个分圆高度配对非平凡。
In this paper we prove a formula, much in the spirit of one due to Rubin, which expresses the leading coefficients of various p-adic L-functions in the presence of an exceptional zero in terms of Nekovar's p-adic height pairings on his extended Selmer groups. In a particular case, the Rubin-style formula we prove recovers a p-adic Kronecker limit formula. In a disjoint case, we observe that our computations with Nekovar's heights agree with the Ferrero- Greenberg formula (more generally, Gross' conjectural formula) for the leading coefficient of the Kubota-Leopoldt p-adic L-function (resp., th…
Potential semistability of Finite height Galois representations: Relative case
本文定义光滑半稳定约化 adic 空间上平展 Z_p-局部系的有限高度概念，并利用解析棱镜 F-晶体和 Du-Liu-Moon-Shimizu 的纯性结果，证明有限高度局部系在有限平展覆盖下的拉回是半稳定的。
In this article I define and study the overconvergent rigid fundamental group of a variety over an equicharacteristic local field. This is a non-abelian $(φ,\nabla)$-module over the bounded Robba ring $\mathcal{E}_K^\dagger$, whose underlying unipotent group (after base changing to the Amice ring $\mathcal{E}_K$) is exactly the classical rigid fundamental group. I then use this to prove an equicharacteristic, $p$-adic analogue of Oda's theorem that a semistable curve over a $p$-adic field has good reduction iff the Galois action on its $\ell$-adic unipotent fundamental group is unramified.
Linear relations of p-adic periods of 1-motives (thesis)
本文为具有良好约化的1-motives建立积分理论并提出p-adic周期猜想，证明了深度1和2的猜想，其方法涉及子群定理的p-adic版本。
Our goal in this article is to prove a form of $p$-adic Birch and Swinnerton-Dyer formula for the second derivative of the $p$-adic $L$-function associated to a newform $f$ which is non-crystalline semistable at $p$ at its central critical point, by expressing this quantity in terms of a $p$-adic (cyclotomic) regulator defined on an extended trianguline Selmer group. We also prove a two-variable version of this result for height pairings we construct by considering infinitesimal deformations afforded by a Coleman family passing through $f$. This, among other things, leads us to a proof of an a…
Motivated by a question of Hansen and Li, we show that a smooth and proper rigid analytic space $X$ with projective reduction satisfies Hodge symmetry in the following situations: (1) the base non-archimedean field $K$ is of residue characteristic zero, (2) $K$ is $p$-adic and $X$ has good ordinary reduction, (3) $K$ is $p$-adic and $X$ has "combinatorial reduction."' We also reprove a version of their result, Hodge symmetry for $H^1$, without the use of moduli spaces of semistable sheaves. All of this relies on cases of Kato's log hard Lefschetz conjecture, which we prove for $H^1$ and for lo…
Let $E$ be a rational elliptic curve and let $p$ be an odd prime of additive reduction. Let $K$ be an imaginary quadratic field and fix a positive integer $c$ prime to the conductor of $E$. The main goal of the present article is to define an anticyclotomic $p$-adic $L$-function $Ł$ attached to $E/K$ when $E/\QQ_p$ attains semistable reduction over an abelian extension. We prove that $Ł$ satisfies the expected interpolation properties; namely, we show that if $χ$ is an anticyclotomic character of conductor $cp^n$ then $χ(Ł)$ is equal (up to explicit constants) to $L(E,χ,1)$ or $L'(E,χ,1)$.
If E is an elliptic curve defined over a number field and p is a prime of good ordinary reduction for E, a theorem of Rubin relates the p-adic height pairing on the p-power Selmer group of E to the first derivative of a cohomologically defined p-adic L-function attached to E. Bertolini and Darmon have defined a sequence of "derived" p-adic heights. In this paper we give an alternative definition of the p-adic height pairing and prove a generalization of Rubin's result, relating the derived heights to higher derivatives of p-adic L-functions. We also relate degeneracies in the derived heights t…
Coleman-Gross Heights and $p$-adic Néron Functions on Jacobians of Genus $2$ Curves
本文研究了 genus 2 曲线的 Jacobians 上 $p$-adic Néron 函数的理论，将 Coleman-Gross 高度分解为局部高度函数，并扩展了 Balakrishnan 和 Besser 的工作。
On $p$-adic adjoint $L$-functions for Bianchi cuspforms: the $p$-split case
本文通过 Bianchi 三维簇过收敛上同调上的 Hecke 等变配对，在 $p$ 分裂情形构造 Bianchi 尖点形式的 $p$-进伴随 $L$-函数，刻画特征簇分歧轨迹并证明其在特定点非零。
In this paper, we study smooth proper rigid varieties which admit formal models whose special fibers are projective. The main theorem asserts that the identity components of the associated rigid Picard varieties will automatically be proper. Consequently, we prove that p-adic Hopf varieties will never have a projective reduction. The proof of our main theorem uses the theory of moduli of semistable coherent sheaves.
We present a level raising result for families of p-adic automorphic forms for a definite quaternion algebra D over the rational numbers. The main theorem is an analogue of a theorem for classical automorphic forms due to Diamond and Taylor. We show that certain families of forms old at a prime l intersect with families of l-new forms (at a non-classical point). One of the ingredients in the proof of Diamond and Taylor's theorem (which also played a role in earlier work of Taylor) is the definition of a suitable pairing on the space of automorphic forms. In our situation one cannot define such…
Algorithms for $p$-adic Heights on Hyperelliptic Curves of Arbitrary Reduction
本文提出计算任意约化类型超椭圆曲线上 Coleman--Gross $p$-进高度的算法，涵盖局部高度计算、Blakestad 分裂算法及数值实例，包括首个坏约化曲线的二次 Chabauty 示例。
A $p$-adic adjoint $L$-function and the ramification locus of the Hilbert modular eigenvariety
本文研究了全实域上 Hilbert 模特征簇的分歧轨迹与伴随 $L$-值 $p$-进性质的关系，通过解析扭曲 Poincaré 配对和 $L$-理想理论建立联系，推广了 $F=\mathbb{Q}$ 的情形。
We define a new canonical height pairing on the rational points of elliptic curves over global function fields which takes values in the multiplicative group of a completion of the function field. This height serves as an analogue of both the classical Neron-Tate height and analytic p-adic heights. Our main result is that under some general hypotheses this pairing is non-degenerate.
Generalised height pairings and the Albanese kernel
本文研究深度二Chabauty-Coleman-Kim方法中广义高度配对的定义域与计算问题，证明若曲线X的Albanese核为挠群，则存在算法计算Jacobian上有理点对的广义高度配对。
We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ring-valued $\mathcal{L}$-invariant. In the second thread, we use our results to study the exceptional zeros of the non-genuine Rankin--Selberg $p$-adic $L$-functions attached to the self-products of ne…
Character formula for Weil representations in terms of Frobenius traces
本文通过Frobenius迹研究Weil表示的特征公式，推广了局部域上阿贝尔簇上同调的确定性结果，并统一了p进域上的扩张条件。
Parity conjecture for abelian surfaces
在Tate--Shafarevich群有限假设下，证明Birch--Swinnerton-Dyer猜想正确预测半稳定主极化阿贝尔曲面秩的奇偶性，并对Jacobian情形附加2-adic好普通约化条件。
$p$-adic Higher Green's Functions for Stark-Heegner Cycles
本文将 Darmon-Vonk 的刚性亚纯上闭链理论推广至高权，构造了实二次除子的高阶 Green 配对，为代数 Stark-Heegner 闭链的存在性提供了间接证据。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。