arXiv subjects
Publications and source records attributed to Victor Rotger.
We investigate Eisenstein congruences between the so-called Euler systems of Garrett--Rankin--Selberg type. This includes the cohomology classes of Beilinson--Kato, Beilinson--Flach and diagonal cycles. The proofs crucially rely on different known versions of the Bloch--Kato conjecture, and are based on the study of the Perrin-Riou formalism and the comparison between the different $p$-adic $L$-functions.
We study the action of the derived Hecke algebra in the setting of dihedral weight one forms, and prove a conjecture of the second- and fourth- named authors relating this action to certain Stark units associated to the symmetric square L-function. The proof exploits the theta correspondence between various Hecke modules as well as ideas of Merel and Lecouturier on higher Eisenstein elements.
Stark-Heegner points are conjectural substitutes for Heegner points when the imaginary quadratic field of the theory of complex multiplication is replaced by a real quadratic field $K$. They are constructed analytically as local points on elliptic curves with multiplicative reduction at a prime $p$ that remains inert in $K$, but are conjectured to be rational over ring class fields of $K$ and to satisfy a Shimura reciprocity law describing the action of $G_K$ on them. The main conjectures of \cite{darmon-hpxh} predict that any linear combination of Stark-Heegner points weighted by the values of a ring class character $\psi$ of $K$ should belong to the corresponding piece of the Mordell-Weil group over the associated ring class field, and should be non-trivial when $L'(E/K,\psi,1) \ne 0$. Building on the results on families of diagonal classes described in the remaining contributions to this volume, this note explains how such linear combinations arise from global classes in the idoneous pro-$p$ Selmer group, and are non-trivial when the first derivative of a weight-variable $p$-adic $L$-function associated to the Hida family passing through $f$ does not vanish at the point associated to $(E/K,\psi)$.
This note provides the construction of a three-variable family of cohomology classes arising from diagonal cycles on a triple product of towers of modular curves, and proves a reciprocity law relating it to the three variable triple-product $p$-adic $L$-function associated to a triple of Hida families by means of Perrin-Riou's $\Lambda$-adic regulator.
Let $E/\mathbb{Q}$ be an elliptic curve having multiplicative reduction at a prime $p$. Let $(g,h)$ be a pair of eigenforms of weight $1$ arising as the theta series of an imaginary quadratic field $K$, and assume that the triple-product $L$-function $L(f,g,h,s)$ is self-dual and does not vanish at the central critical point $s=1$. The main result of this article is a formula expressing the $p$-adic iterated integrals introduced in [DLR] to the Kolyvagin classes associated by Bertolini and Darmon to a system of Heegner points on $E$.
Let $f$ be a cuspidal eigenform of weight two and level $N$, let $p\nmid N$ be a prime at which $f$ is congruent to an Eisenstein series and let $V_f$ denote the $p$-adic Tate module of $f$. Beilinson constructed a class $\kappa_f\in H^1(\mathbb Q,V_f(1))$ arising from the cup-product of two Siegel units and proved a striking relationship with the first derivative $L'(f,0)$ at the near central point $s=0$ of the $L$-series of $f$, which led him to formulate his celebrated conjecture. In this note we prove two congruence formulae relating the "motivic part" of $L'(f,0) \,(\mathrm{mod} \, p)$ and $L''(f,0) \,(\mathrm{mod} \, p)$ with circular units. The proofs make use of delicate Galois properties satisfied by various integral lattices within $V_f$ and exploits Perrin-Riou's, Coleman's and Kato's work on the Euler systems of circular units and Beilinson--Kato elements and, most crucially, the work of Sharifi, Fukaya--Kato and Ohta.
The main purpose of this note is to understand the arithmetic encoded in the special value of the $p$-adic $L$-function $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})$ associated to a triple of modular forms $(f,g,h)$ of weights $(2,1,1)$, in the case where the classical $L$-function $L(f\otimes g\otimes h,s)$ - which typically has sign $+1$ - does not vanish at its central critical point $s=1$. When $f$ corresponds to an elliptic curve $E/\mathbb{Q}$ and the classical $L$-function vanishes, the Elliptic Stark Conjecture of Darmon-Lauder-Rotger predicts that $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})(2,1,1)$ is either $0$ (when the order of vanishing of the complex $L$-function is $>2$) or related to logarithms of global points on $E$ and a certain Gross--Stark unit associated to $g$. We complete the picture proposed by the Elliptic Stark Conjecture by providing a formula for the value $\mathcal{L}_p^g(\mathbf{f},\mathbf{g},\mathbf{h})(2,1,1)$ in the case where $L(f\otimes g\otimes h,1)\neq 0$.
The purpose of this article is proving the equality of two natural $\mathcal L$-invariants attached to the adjoint representation of a weigth one cusp form, each defined by purely analytic, respectively algebraic means. The proof departs from Greenberg's definition of the algebraic $\mathcal L$-invariant as a universal norm of a canonical $\mathbb{Z}_p$-extension of $\mathbb{Q}_p$ associated to the representation. We relate it to a certain $2\times 2$ regulator of $p$-adic logarithms of global units by means of class field theory, which we then show to be equal to the analytic $\mathcal L$-invariant computed by Rivero and the second author.
This article studies the first-order $p$-adic deformations of classical weight one newforms, relating their fourier coefficients to the $p$-adic logarithms of algebraic numbers in the field cut out by the associated projective Galois representation.
Kings, Lei, Loeffler and Zerbes constructed a three-variable Euler system $\kappa({\bf g},{\bf h})$ of Beilinson-Flach elements associated to a pair of Hida families $({\bf g},{\bf h})$ and exploited it to obtain applications to the arithmetic of elliptic curves by specializing the Euler system to points of weights $(2,1,1)$. The aim of this article is showing that this Euler system also encodes arithmetic information at points of weights $(1,1,0)$, concerning the group of units of the associated number fields. The setting becomes specially novel and intriguing when ${\bf g}$ and ${\bf h}$ specialize in weight $1$ to $p$-stabilizations of eigenforms such that one is dual of another. We encounter an exceptional zero phenomenon which forces the specialization of $\kappa({\bf g}, {\bf h})$ at $(1,1,0)$ to vanish and we are led to study the derivative of this class. The main result we obtain is the proof of a conjecture of Darmon, Lauder and Rotger on iterated integrals and another conjecture of Darmon and Rotger for Beilinson-Flach elements in the adjoint setting. The main point of this paper is that the methods of previous works, where the above conjectures are proved when the weight $1$ eigenforms have CM, do not apply to our setting and new ideas are required. Here, a factorization of $p$-adic $L$-functions is not available due to the lack of critical points. Instead we resort to the principle of improved Euler systems and $p$-adic $L$-functions to reduce our problems to questions which can be resolved using Galois deformation theory. We expect this approach may be adapted to prove other cases of the elliptic Stark conjecture and of its generalizations that are appearing in the literature.
This article is devoted to the elliptic Stark conjecture formulated by Darmon, Lauder and Rotger [DLR], which proposes a formula for the transcendental part of a $p$-adic avatar of the leading term at $s=1$ of the Hasse-Weil-Artin $L$-series $L(E,\varrho_1\otimes \varrho_2,s)$ of an elliptic curve $E$ twisted by the tensor product $\varrho_1\otimes \varrho_2$ of two odd $2$-dimensional Artin representations, when the order of vanishing is two. The main ingredient of this formula is a $2\times 2$ $p$-adic regulator involving the $p$-adic formal group logarithm of suitable Stark points on $E$. This conjecture was proved in [DLR] in the setting where $\varrho_1$ and $\varrho_2$ are induced from characters of the same imaginary quadratic field $K$. In this note we prove a refinement of this result, that was discovered experimentally in Remark 3.4 of [DLR] in a few examples. Namely, we are able to determine the algebraic constant up to which the main theorem of [DLR] holds in a particular setting where the Hida-Rankin $p$-adic $L$-function associated to a pair of Hida families can be exploited to provide an alternative proof of the same result. This constant encodes local and global invariants of both $E$ and $K$.
We study Heegner points on elliptic curves, or more generally modular abelian varieties, coming from uniformization by Shimura curves attached to a rather general type of quaternionic or- ders closely related to those introduced by Hijikata{Pizer{Shemanske in the 80's. We address several questions arising from the Birch and Swinnerton-Dyer (BSD) conjecture in this general context. In par- ticular, under mild technical conditions, we show the existence of non-torsion Heegner points on elliptic curves in all situations in which the BSD conjecture predicts their existence.
Let $F/F_0$ be a quadratic extension of totally real number fields, and let $E$ be an elliptic curve over $F$ which is isogenous to its Galois conjugate over $F_0$. A quadratic extension $M/F$ is said to be almost totally complex (ATC) if all archimedean places of $F$ but one extend to a complex place of $M$. The main goal of this note is to provide a new construction of a supply of Darmon-like points on $E$, which are conjecturally defined over certain ring class fields of $M$. These points are constructed by means of an extension of Darmon's ATR method to higher dimensional modular abelian varieties, from which they inherit the following features: they are algebraic provided Darmon's conjectures on ATR points hold true, and they are explicitly computable, as we illustrate with a detailed example that provides certain numerical evidence for the validity of our conjectures.
For an abelian surface A over a number field k, we study the limiting distribution of the normalized Euler factors of the L-function of A. This distribution is expected to correspond to taking characteristic polynomials of a uniform random matrix in some closed subgroup of USp(4); this Sato-Tate group may be obtained from the Galois action on any Tate module of A. We show that the Sato-Tate group is limited to a particular list of 55 groups up to conjugacy. We then classify A according to the Galois module structure on the R-algebra generated by endomorphisms of A_Qbar (the Galois type), and establish a matching with the classification of Sato-Tate groups; this shows that there are at most 52 groups up to conjugacy which occur as Sato-Tate groups for suitable A and k, of which 34 can occur for k = Q. Finally, we exhibit examples of Jacobians of hyperelliptic curves exhibiting each Galois type (over Q whenever possible), and observe numerical agreement with the expected Sato-Tate distribution by comparing moment statistics.
Building on our previous work on rigid analytic uniformizations, we introduce Darmon points on Jacobians of Shimura curves attached to quaternion algebras over Q and formulate conjectures about their rationality properties. Moreover, if K is a real quadratic field, E is an elliptic curve over Q without complex multiplication and \chi is a ring class character such that L(E/K,\chi,1) is not 0 we prove a Gross-Zagier type formula relating Darmon points to a suitably defined algebraic part of L(E/K,\chi,1); this generalizes results of Bertolini, Darmon and Dasgupta to the case of division quaternion algebras and arbitrary characters. Finally, as an application of this formula, assuming the rationality conjectures for Darmon points we obtain vanishing results for Selmer groups of E over extensions of K contained in narrow ring class fields when the analytic rank of E is zero, as predicted by the Birch and Swinnerton-Dyer conjecture.
Let f be a modular eigenform of even weight k>0 and new at a prime p dividing exactly the level, with respect to an indefinite quaternion algebra. The theory of Fontaine-Mazur allows to attach to f a monodromy module D_FM(f) and an L-invariant L_FM(f). The first goal of this paper is building a suitable p-adic integration theory that allows us to construct a monodromy module D(f) and an L-invariant L(f) in the spirit of Darmon. We conjecture both monodromy modules are isomorphic, and in particular the two L-invariants are equal. For the second goal of this note we assume the conjecture is true. Let K be a real quadratic field and assume the sign of the functional equation of the L-series of f over K is -1. The Bloch-Beilinson conjectures suggest that there should be a supply of elements in the Mordell-Weil group of the motive attached to f over the tower of narrow ring class fields of K. Generalizing work of Darmon for k=2, we give a construction of local cohomology classes which we expect to arise from global classes and satisfy an explicit reciprocity law, accounting for the above prediction.
We study the group of automorphisms of Shimura curves $X_0(D, N)$ attached to an Eichler order of square-free level $N$ in an indefinite rational quaternion algebra of discriminant $D>1$. We prove that, when the genus $g$ of the curve is greater than or equal to 2, $\Aut (X_0(D, N))$ is a 2-elementary abelian group which contains the group of Atkin-Lehner involutions $W_0(D, N)$ as a subgroup of index 1 or 2. It is conjectured that $\Aut (X_0(D, N)) = W_0(D, N)$ except for finitely many values of $(D, N)$ and we provide criteria that allow us to show that this is indeed often the case. Our methods are based on the theory of complex multiplication of Shimura curves and the Cerednik-Drinfeld theory on their rigid analytic uniformization at primes $p\mid D$.
Let A be a modular abelian variety over \Q of arbitrary even dimension. We establish criteria to prevent a given quaternion algebra over a totally real number field to be the endomorphism algebra of A over \bar\Q. We accomplish this by analyzing the representation of Gal(\bar\Q /\Q) on the points of N-torsion of A at primes N which ramify in B.