Showing 1–13 of 13 results for author: Disegni, D

Euler systems for conjugate-symplectic motives

Authors: Daniel Disegni

Abstract: Let $ρ$ be a conjugate-symplectic, geometric representation of the Galois group of a CM field. Under the assumption that $ρ$ is automorphic, even-dimensional, and of minimal regular Hodge--Tate type, we construct an Euler system for $ρ$ in the sense of forthcoming work of Jetchev--Nekovar--Skinner. The construction is based on Theta cycles as introduced in a previous paper, following works of Kudl… ▽ More Let $ρ$ be a conjugate-symplectic, geometric representation of the Galois group of a CM field. Under the assumption that $ρ$ is automorphic, even-dimensional, and of minimal regular Hodge--Tate type, we construct an Euler system for $ρ$ in the sense of forthcoming work of Jetchev--Nekovar--Skinner. The construction is based on Theta cycles as introduced in a previous paper, following works of Kudla and Liu on arithmetic theta series on unitary Shimura varieties; it relies on a certain modularity hypothesis for those theta series. Under some ordinariness assumptions, one can attach to $ρ$ a p-adic L-function. By recent results of Liu and the author, and the theory of Jetchev--Nekovar--Skinner, we deduce the following (unconditional) result under mild assumptions: if the p-adic L-function of $ρ$ vanishes to order 1 at the centre, then the Selmer group of $ρ$ has rank 1, generated by the class of an algebraic cycle. This confirms a case of the p-adic Beilinson--Bloch--Kato conjecture. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: 30 pages, comments welcome

MSC Class: 11G40; 11G18; 11F27

Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions

Authors: Daniel Disegni, Wei Zhang

Abstract: We study the p-adic analogue of the arithmetic Gan-Gross-Prasad (GGP) conjectures for unitary groups. Let $Π$ be a hermitian cuspidal automorphic representation of GL_{n} x GL_{n+1} over a CM field, which is algebraic of minimal regular weight at infinity. We first show the rationality of twists of the ratio of L-values of $Π$ appearing in the GGP conjectures. Then, when $Π$ is p-ordinary at a pri… ▽ More We study the p-adic analogue of the arithmetic Gan-Gross-Prasad (GGP) conjectures for unitary groups. Let $Π$ be a hermitian cuspidal automorphic representation of GL_{n} x GL_{n+1} over a CM field, which is algebraic of minimal regular weight at infinity. We first show the rationality of twists of the ratio of L-values of $Π$ appearing in the GGP conjectures. Then, when $Π$ is p-ordinary at a prime p, we construct a cyclotomic p-adic L-function $L_p(M_Π)$ interpolating those twists. Finally, under some local assumptions, we prove a precise formula relating the first derivative of $L_p(M_Π)$ to the p-adic heights of Selmer classes arising from arithmetic diagonal cycles on unitary Shimura varieties. We deduce applications to the p-adic Beilinson-Bloch-Kato conjecture for the motive attached to $Π$. All proofs are based on some relative-trace formulas in p-adic coefficients. △ Less

Submitted 10 October, 2024; originally announced October 2024.

Comments: 132 pages, comments welcome

MSC Class: 11G40; 11F67; 11G18; 11F33; 11F72

Theta cycles and the Beilinson--Bloch--Kato conjectures

Authors: Daniel Disegni

Abstract: We introduce `canonical' classes in the Selmer groups of certain Galois representations with a conjugate-symplectic symmetry. They are images of special cycles in unitary Shimura varieties, and defined uniquely up to a scalar. The construction is a slight refinement of one of Y. Liu, based on the conjectural modularity of Kudla's theta series of special cycles. For 2-dimensional representations, T… ▽ More We introduce `canonical' classes in the Selmer groups of certain Galois representations with a conjugate-symplectic symmetry. They are images of special cycles in unitary Shimura varieties, and defined uniquely up to a scalar. The construction is a slight refinement of one of Y. Liu, based on the conjectural modularity of Kudla's theta series of special cycles. For 2-dimensional representations, Theta cycles are (the Selmer images of) Heegner points. In general, they conjecturally exhibit an analogous strong relation with the Beilinson--Bloch--Kato conjectures in rank 1, for which we gather the available evidence. △ Less

Submitted 13 June, 2024; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 24 pages, final version, to appear in Journal of Number Theory (special issue: Proceedings of the Second JNT Biennial Conference 2022)

MSC Class: 11G40; 11F27; 11G18; 11G50; 11F80

A $p$-adic arithmetic inner product formula

Authors: Daniel Disegni, Yifeng Liu

Abstract: Fix a prime number $p$ and let $E/F$ be a CM extension of number fields in which $p$ splits relatively. Let $π$ be an automorphic representation of a quasi-split unitary group of even rank with respect to $E/F$ such that $π$ is ordinary above $p$ with respect to the Siegel parabolic subgroup. We construct the cyclotomic $p$-adic $L$-function of $π$, and show, under certain conditions, that if its… ▽ More Fix a prime number $p$ and let $E/F$ be a CM extension of number fields in which $p$ splits relatively. Let $π$ be an automorphic representation of a quasi-split unitary group of even rank with respect to $E/F$ such that $π$ is ordinary above $p$ with respect to the Siegel parabolic subgroup. We construct the cyclotomic $p$-adic $L$-function of $π$, and show, under certain conditions, that if its order of vanishing at the trivial character is $1$, then the rank of the Selmer group of the Galois representation of $E$ associated with $π$ is at least $1$. Furthermore, under a certain modularity hypothesis, we use special cycles on unitary Shimura varieties to construct some explicit elements in the Selmer group called Selmer theta lifts; and we prove a precise formula relating their $p$-adic heights to the derivative of the $p$-adic $L$-function. In parallel to Perrin-Riou's $p$-adic analogue of the Gross--Zagier formula, our formula is the $p$-adic analogue of the arithmetic inner product formula recently established by Chao~Li and the second author. △ Less

Submitted 23 February, 2024; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 107 pages; layout changed + minor modifications; to appear in Invent. Math

MSC Class: 11G18; 11G40; 11G50; 11R34

$p$-adic L-functions via local-global interpolation: the case of ${\rm GL}_2 \times {\rm GU}(1)$

Authors: Daniel Disegni

Abstract: Let $F$ be a totally real field and let $E/F$ be a CM quadratic extension. We construct a $p$-adic $L$-function attached to Hida families for the group ${\rm GL}_{2/F}\times {\rm Res}_{E/F}{\rm GL}_{1}$. It is characterised by an exact interpolation property for critical Rankin-Selberg $L$-values, at classical points corresponding to representations $π\boxtimes χ$ with the weights of $χ$ smaller t… ▽ More Let $F$ be a totally real field and let $E/F$ be a CM quadratic extension. We construct a $p$-adic $L$-function attached to Hida families for the group ${\rm GL}_{2/F}\times {\rm Res}_{E/F}{\rm GL}_{1}$. It is characterised by an exact interpolation property for critical Rankin-Selberg $L$-values, at classical points corresponding to representations $π\boxtimes χ$ with the weights of $χ$ smaller than the weights of$π$. Our $p$-adic $L$-function agrees with previous results of Hida when $E/F$ splits above $p$ or $F=\mathbf{Q}$, and it is new otherwise. Exploring a method that should bear further fruits, we build it as a ratio of families of global and local Waldspurger zeta integrals, the latter constructed using the local Langlands correspondence in families. In an appendix of possibly independent recreational interest, we give a reality-TV-inspired proof of an identity concerning double factorials. △ Less

Submitted 9 June, 2022; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: New title highlighting the methods. Final version, to appear in Canad. J. Math. 40 pages

MSC Class: 11F67; 11F33

The universal $p$-adic Gross-Zagier formula

Authors: Daniel Disegni

Abstract: Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit section $\mathscr{P}$ of a sheaf of Selmer groups over $\mathscr{X}$. We show, answering a question of Howard, that $\mathscr{P}$ is a universal Heegner class, in… ▽ More Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit section $\mathscr{P}$ of a sheaf of Selmer groups over $\mathscr{X}$. We show, answering a question of Howard, that $\mathscr{P}$ is a universal Heegner class, in the sense that it interpolates geometrically defined Heegner classes at all the relevant classical points of $\mathscr{X}$. We also propose a `Bertolini-Darmon' conjecture for the leading term of $\mathscr{P}$ at classical points. We then prove that the $p$-adic height of $\mathscr{P}$ is given by the cyclotomic derivative of a $p$-adic $L$-function. This formula over $\mathscr{X}$ (which is an identity of functionals on some universal ordinary automorphic representations) specialises at classical points to all the Gross-Zagier formulas for ${\rm G}$ that may be expected from representation-theoretic considerations. Combined with a result of Fouquet, the formula implies the $p$-adic analogue of the Beilinson-Bloch-Kato conjecture in analytic rank one, for the selfdual motives attached to Hilbert modular forms and their twists by CM Hecke characters. It also implies one half of the first example of a non-abelian Iwasawa main conjecture for derivatives, in $2[F:{\bf Q}]$ variables. Other applications include two different generic non-vanishing results for Heegner classes and $p$-adic heights. △ Less

Submitted 22 February, 2024; v1 submitted 31 December, 2019; originally announced January 2020.

Comments: 89 pages, 1 figure. New in this version: a correction as Appendix B (to appear separately in Invent. math.)

MSC Class: 11G40; 11F33

Journal ref: Invent. math. 230 (2022), 509-649

The $p$-adic Gross-Zagier formula on Shimura curves, II: nonsplit primes

Authors: Daniel Disegni

Abstract: The formula of the title relates $p$-adic heights of Heegner points and derivatives of $p$-adic $L$-functions. It was originally proved by Perrin-Riou for $p$-ordinary elliptic curves over the rationals, under the assumption that $p$ splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties. The formula of the title relates $p$-adic heights of Heegner points and derivatives of $p$-adic $L$-functions. It was originally proved by Perrin-Riou for $p$-ordinary elliptic curves over the rationals, under the assumption that $p$ splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties. △ Less

Submitted 22 February, 2024; v1 submitted 30 July, 2019; originally announced July 2019.

Comments: 38 pages, 1 figure. Appendix B contains a list of errata to arXiv:1510.02114. New in this version: a correction as Appendix C, to appear separately in JIMJ

MSC Class: 11G40; 11F33; 11G50; 11F41

Journal ref: Journal de l'Institut de Mathématiques de Jussieu 22-5 (2023), 2199-2240

p-adic equidistribution of CM points

Authors: Daniel Disegni

Abstract: Let $X$ be a modular curve and consider a sequence of Galois orbits of CM points in $X$, whose $p$-conductors tend to infinity. Its equidistribution properties in $X({\bf C})$ and in the reductions of $X$ modulo primes different from $p$ are well understood. We study the equidistribution problem in the Berkovich analytification $X_{p}^{\rm an}$ of $X_{{\bf Q}_{p}}$. We partition the set of CM po… ▽ More Let $X$ be a modular curve and consider a sequence of Galois orbits of CM points in $X$, whose $p$-conductors tend to infinity. Its equidistribution properties in $X({\bf C})$ and in the reductions of $X$ modulo primes different from $p$ are well understood. We study the equidistribution problem in the Berkovich analytification $X_{p}^{\rm an}$ of $X_{{\bf Q}_{p}}$. We partition the set of CM points of sufficiently high conductor in $X_{{\bf Q}_{p}}$ into finitely many explicit `basins' $B_{V}$, indexed by the irreducible components $V $ of the mod-$p$ reduction of the canonical model of $X$. We prove that a sequence $z_{n}$ of local Galois orbits of CM points with $p$-conductor going to infinity has a limit in $X_{p}^{\rm an}$ if and only if it is eventually supported in a single basin $B_{V}$. If so, the limit is the unique point of $X_{p}^{\rm an}$ whose mod-$p$ reduction is the generic point of $V$. The result is proved in the more general setting of Shimura curves over totally real fields. The proof combines Gross's theory of quasicanonical liftings with a new formula for the intersection numbers of CM curves and vertical components in a Lubin--Tate space. △ Less

Submitted 26 December, 2022; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: Final version, to appear in Comment. Math. Helv. 25 pages, 1 figure

MSC Class: 11G15; 14K22

Journal ref: Comment. Math. Helv. 97-4 (2022), 635-668

Local Langlands correspondence, local factors, and zeta integrals in analytic families

Authors: Daniel Disegni

Abstract: We study the variation of the local Langlands correspondence for ${\rm GL}_{n}$ in characteristic-zero families. We establish an existence and uniqueness theorem for a correspondence in families, as well as a recognition theorem for when a given pair of Galois- and reductive-group- representations can be identified as local Langlands correspondents. The results, which can be used to study local-gl… ▽ More We study the variation of the local Langlands correspondence for ${\rm GL}_{n}$ in characteristic-zero families. We establish an existence and uniqueness theorem for a correspondence in families, as well as a recognition theorem for when a given pair of Galois- and reductive-group- representations can be identified as local Langlands correspondents. The results, which can be used to study local-global compatibility questions along eigenvarieties, are largely analogous to those of Emerton, Helm, and Moss on the local Langlands correspondence over local rings of mixed characteristic. We apply the theory to the interpolation of local zeta integrals and of $L$- and $\varepsilon$-factors. △ Less

Submitted 30 July, 2019; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: 28 pages. Several corrections and improvements (main results unchanged)

MSC Class: 11F33; 11F85; 11F80

Journal ref: Journal of the London Mathematical Society 101-2 (2020), 735-764

On the non-vanishing of $p$-adic heights on CM abelian varieties, and the arithmetic of Katz $p$-adic $L$-functions

Authors: Ashay Burungale, Daniel Disegni

Abstract: Let $B$ be a simple CM abelian variety over a CM field $E$, $p$ a rational prime. Suppose that $B$ has potentially ordinary reduction above $p$ and is self-dual with root number $-1$. Under some further conditions, we prove the generic non-vanishing of (cyclotomic) $p$-adic heights on $B$ along anticyclotomic $\Z_{p}$-extensions of $E$. This provides evidence towards Schneider's conjecture on the… ▽ More Let $B$ be a simple CM abelian variety over a CM field $E$, $p$ a rational prime. Suppose that $B$ has potentially ordinary reduction above $p$ and is self-dual with root number $-1$. Under some further conditions, we prove the generic non-vanishing of (cyclotomic) $p$-adic heights on $B$ along anticyclotomic $\Z_{p}$-extensions of $E$. This provides evidence towards Schneider's conjecture on the non-vanishing of $p$-adic heights. For CM elliptic curves over $\Q$, the result was previously known as a consequence of work of Bertrand, Gross--Zagier and Rohrlich in the 1980s. Our proof is based on non-vanishing results for Katz $p$-adic $L$-functions and a Gross--Zagier formula relating the latter to families of rational points on $B$. △ Less

Submitted 6 January, 2020; v1 submitted 25 March, 2018; originally announced March 2018.

Comments: Ann. Inst. Fourier, to appear

Journal ref: Ann. Inst. Fourier 70-5 (2020), 2077-2101

On the p-adic Birch and Swinnerton-Dyer conjecture for elliptic curves over number fields

Authors: Daniel Disegni

Abstract: We formulate a multi-variable p-adic Birch and Swinnerton-Dyer conjecture for p-ordinary elliptic curves A over number fields K. It generalises the one-variable conjecture of Mazur-Tate-Teitelbaum, who studied the case K=Q and the phenomenon of exceptional zeros. We discuss old and new theoretical evidence towards our conjecture and in particular we fully prove it, under mild conditions, in the fo… ▽ More We formulate a multi-variable p-adic Birch and Swinnerton-Dyer conjecture for p-ordinary elliptic curves A over number fields K. It generalises the one-variable conjecture of Mazur-Tate-Teitelbaum, who studied the case K=Q and the phenomenon of exceptional zeros. We discuss old and new theoretical evidence towards our conjecture and in particular we fully prove it, under mild conditions, in the following situation: K is imaginary quadratic, A=E_K is the base-change to K of an elliptic curve over the rationals, and the rank of A is either 0 or 1. The proof is naturally divided into a few cases. Some of them are deduced from the purely cyclotomic case of elliptic curves over Q, which we obtain from a refinement of recent work of Venerucci alongside the results of Greenberg-Stevens, Perrin-Riou, and the author. The only genuinely multi-variable case (rank 1, two exceptional zeros, three partial derivatives) is newly established here. Its proof generalises to show that the `almost-anticyclotomic' case of our conjecture is a consequence of conjectures of Bertolini-Darmon on families of Heegner points, and of (partly conjectural) p-adic Gross--Zagier and Waldspurger formulas in families. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Comments: 28 pages, comments welcome

MSC Class: 11G40

Journal ref: Kyoto J. Math. 60, no. 2 (2020), 473-510

The p-adic Gross-Zagier formula on Shimura curves

Authors: Daniel Disegni

Abstract: We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin-Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author, to the context of the work of Yuan… ▽ More We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin-Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author, to the context of the work of Yuan-Zhang-Zhang on the archimedean Gross-Zagier formula and of Waldspurger on toric periods. We further construct analytic functions interpolating Heegner points in the anticyclotomic variables, and obtain a version of our formula for them. It is complemented, when the relevant root number is $+1$ rather than $-1$, by an anticyclotomic version of the Waldspurger formula. When combined with work of Fouquet, the anticyclotomic Gross-Zagier formula implies one divisibility in a $p$-adic Birch and Swinnerton-Dyer conjecture in anticyclotomic families. Other applications described in the text will appear separately. △ Less

Submitted 30 July, 2019; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: 75 pages. The present version is identical to the previous one (and to the published version), except for footnotes signalling that the main theorem is off by a factor of 2. A list of errata is contained in the author's "The p-adic Gross-Zagier formula on Shimura curves, II", Appendix B

MSC Class: 11G40

Journal ref: Compositio Math. 153 (2017) 1987-2074

p-adic Heights of Heegner points on Shimura curves

Authors: Daniel Disegni

Abstract: Let $f$ be a primitive Hilbert modular form of parallel weight $2$ and level $N$ for the totally real field $F$, and let $p$ be a rational prime coprime to $2N$. If $f$ is ordinary at $p$ and $E$ is a CM extension of $F$ of relative discriminant $Δ$ prime to $Np$, we give an explicit construction of the $p$-adic Rankin-Selberg $L$-function $L_{p}(f_E,\cdot)$. When the sign of its functional equati… ▽ More Let $f$ be a primitive Hilbert modular form of parallel weight $2$ and level $N$ for the totally real field $F$, and let $p$ be a rational prime coprime to $2N$. If $f$ is ordinary at $p$ and $E$ is a CM extension of $F$ of relative discriminant $Δ$ prime to $Np$, we give an explicit construction of the $p$-adic Rankin-Selberg $L$-function $L_{p}(f_E,\cdot)$. When the sign of its functional equation is $-1$, we show, under the assumption that all primes $\wp\vert p$ are principal ideals of ${\mathcal O}_{F}$ which split in ${\mathcal O}_{E}$, that its central derivative is given by the $p$-adic height of a Heegner point on the abelian variety $A$ associated with $f$. This $p$-adic Gross--Zagier formula generalises the result obtained by Perrin-Riou when $F={\mathbf Q}$ and $(N,E)$ satisfies the so-called Heegner condition. We deduce applications to both the $p$-adic and the classical Birch and Swinnerton-Dyer conjectures for~$A$. △ Less

Submitted 7 October, 2015; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 69 pages, final version (minor corrections)

MSC Class: 11G40

Journal ref: Algebra Number Theory 9 (2015) 1571-1646