Francesca Gatti, Xavier Guitart
We study the special values of the triple product $p$-adic $L$-function constructed by Darmon and Rotger at all classical points outside the region of interpolation. We propose conjectural formulas for these values that can be seen as extending the Elliptic Stark Conjecture, and we provide theoretical evidence for them by proving some particular cases.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove a conjecture on Rubin-Stark elements, which was recently proposed by the author, and also by Mazur and Rubin, in a special case.
We present an elliptic curve analog of the Stark conjecture for the value of the $L$-function at $s=0$. Although implied by the general Beilinson conjectures, the approach here is very concrete. Several cases are proved.
The Brumer--Stark Conjecture over Z
本文给出了Z上的Brumer-Stark猜想的完整证明。
On Weil-Stark elements, II: refined Stark conjectures
本文利用 Weil-Stark 元素理论提出公理化方法，表述精细 Stark 猜想，并给出 Artin L-级数首项及 Stark 元素算术性质的新结果。
We give an introduction to generalisations of conjectures of Brumer and Stark on the annihilator of the class group of a number field. We review the relation to the equivariant Tamagawa number conjecture, the main conjecture of Iwasawa theory for totally real fields, and a conjecture of Gross on the behaviour of $p$-adic Artin $L$-functions at zero.
We formulate a conjecture which generalizes Darmon's "refined class number formula". We discuss relations between our conjecture and the equivariant leading term conjecture of Burns. As an application, we give another proof of the "except 2-part" of Darmon's conjecture, which was first proved by Mazur and Rubin.
In this note we describe our personal encounters with the $p$-adic Stark conjecture. Gross describes the period between $1977$ and $1986$ when he came to formulate these conjectures (§1-8), and Dasgupta describes the period between $1998$ and $2021$, when he worked with others to finally prove them (§9-12).
In a previous paper the second author developed a new approach to the abelian p-adic Stark Conjecture at s=1 and stated some related conjectures. This paper develops and applies techniques using p-adic measures and continued fractions to numerically investigate one of these conjectures to high precision in fifteen cases with a real quadratic base field.
We prove that a refinement of Stark's Conjecture formulated by Rubin is true up to primes dividing the order of the Galois group, for finite, abelian extensions of function fields over finite fields. We also show that in the case of constant field extensions a statement stronger than Rubin's holds true.
The purpose of this paper is to formulate and study a common refinement of a version of Stark's conjecture and its $p$-adic analogue, in terms of Fontaine's $p$-adic period ring and $p$-adic Hodge theory. We construct period-ring-valued functions under a generalization of Yoshida's conjecture on the transcendental parts of CM-periods. Then we conjecture a reciprocity law on their special values concerning the absolute Frobenius action. We show that our conjecture implies a part of Stark's conjecture when the base field is an arbitrary real field and the splitting place is its real place. It al…
We show that for an odd prime p, the p-primary parts of refinements of the (imprimitive) non-abelian Brumer and Brumer-Stark conjectures are implied by the equivariant Iwasawa main conjecture (EIMC) for totally real fields. Crucially, this result does not depend on the vanishing of the relevant Iwasawa mu-invariant. In combination with the authors' previous work on the EIMC, this leads to unconditional proofs of the non-abelian Brumer and Brumer-Stark conjectures in many new cases.
We establish formulae of Stark type for the Stickelberger elements in the function field setting. Our result generalizes a work of Hayes and a conjecture of Gross. It is used to deduce a $p$-adic version of Rubin-Stark Conjecture and Burns Conjecture.
The `Congruence Conjecture' was developed by the second author in a previous paper. It provides a conjectural explicit reciprocity law for a certain element associated to an abelian extension of a totally real number field whose existence is predicted by earlier conjectures of Rubin and Stark. The first aim of the present paper is to design and apply techniques to investigate the Congruence Conjecture numerically. We then present complete verifications of the conjecture in 48 varied cases with real quadratic base fields.
On generalized Iwasawa main conjectures and $p$-adic Stark conjectures for Artin motives
本文提出关于Artin动机的广义Iwasawa主猜想和$p$-adic Stark猜想，并证明其与Rubin-Stark元素的等价性及虚二次域中相关猜想的无条件成立。
Let E/F be a finite Galois extension of totally real number fields and let p be a prime. The `p-adic Stark conjecture at s=1' relates the leading terms at s=1 of p-adic Artin L-functions to those of the complex Artin L-functions attached to E/F. We prove this conjecture unconditionally when E/Q is abelian. We also show that for certain non-abelian extensions E/F the p-adic Stark conjecture at s=1 is implied by Leopoldt's conjecture for E at p. Moreover, we prove that for a fixed prime p, the p-adic Stark conjecture at s=1 for E/F implies Stark's conjecture at s=1 for E/F. This leads to a `prim…
We discuss three different formulations of the equivariant Iwasawa main conjecture attached to an extension K/k of totally real fields with Galois group G, where k is a number field and G is a p-adic Lie group of dimension 1 for an odd prime p. All these formulations are equivalent and hold if Iwasawa's μ-invariant vanishes. Under mild hypotheses, we use this to prove non-abelian generalizations of Brumer's conjecture, the Brumer-Stark conjecture and a strong version of the Coates-Sinnott conjecture provided that μ= 0.
In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne--Ribet $p$-adic $L$-function associated to a totally even character $ψ$ of a totally real field $F$. The conjecture states that after scaling by $L(ψω^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $ψω^{-1}$. In this paper, we prove Gross's conjecture.
We propose a conjectural construction of global points on modular elliptic curves over arbitrary number fields, generalizing both the p-adic construction of Heegner points via Cerednik-Drinfeld uniformization and the definition of classical Stark-Heegner points. In alignment with Nekovar and Scholl's plectic conjectures, we expect the non-triviality of these plectic Stark-Heegner points to control the Mordell-Weil group of higher rank elliptic curves. We provide some indirect evidence for our conjectures by showing that higher order derivatives of anticyclotomic p-adic L-functions compute plec…
The Harris-Venkatesh conjecture for derived Hecke operators II: a unified Stark conjecture
本文证明了权为1的虚二面体模形式的Stark猜想与Harris-Venkatesh猜想间的兼容性，利用二元Siegel-Weil公式将导出Hecke算子作用重新解释为模Stark单位数据，并提出统一的猜想。
We give a new definition of a $p$-adic $L$-function for a mixed signature character of a real quadratic field and for a nontrivial ray class character of an imaginary quadratic field. We then state a $p$-adic Stark conjecture for this $p$-adic $L$-function. We prove our conjecture in the case when $p$ is split in the imaginary quadratic field by relating our construction to Katz's $p$-adic $L$-function. We also provide numerical evidence for our conjecture in three examples.
Main theorem of [Buyukboduk, arXiv:0706.0377v1] suggests that it should be possible to lift the Kolyvagin systems of Stark units constructed in [Buyukboduk, arXiv:math/0703426v1] to a Kolyvagin system over the cyclotomic Iwasawa algebra. This is what we prove in this paper. This construction gives the first example towards a more systematic study of Kolyvagin system theory over an Iwasawa algebra when the core Selmer rank is greater than one. As a result of this construction, we reduce the main conjectures of Iwasawa theory for totally real fields to a statement of local Iwasawa theory. This s…
We give a systematic method of providing numerical evidence for higher order Stark-type conjectures such as (in chronological order) Stark's conjecture over $\mathbb{Q}$, Rubin's conjecture, Popescu's conjecture, and a conjecture due to Burns that constitutes a generalization of Brumer's classical conjecture on annihilation of class groups. Our approach is general and could be used for any abelian extension of number fields, independent of the signature and type of places (finite or infinite) that split completely in the extension. We then employ our techniques in the situation where $K$ is a …
We state the Brumer-Stark conjecture and motivate it from two perspectives. Stark's perspective arose in his attempts to generalize the classical Dirichlet class number formula for the leading term of the Dedekind zeta function at $s=1$ (equivalently, $s=0$). Brumer's perspective arose by generalizing Stickelberger's work regarding the factorization of Gauss sums and the annihilation of class groups of cyclotomic fields. These viewpoints were synthesized by Tate, who stated the Brumer-Stark conjecture in its current form. The conjecture considers a totally real field $F$ and a finite abelian C…
We study the behaviour of the Stark conjecture for an abelian extension K/k of totally real number fields as K varies in a cyclotomic Z_p-tower. We consider possible strengthenings of the natural norm-coherence in the tower of putative solution of the complex conjecture and,especially, the consequences for the analogous p-adic conjecture. More precisely, under two principal assumptions - (i) that these solutions are given by exterior powers of norm-coherent sequences of global (or p-semilocal) units and (ii) that p splits in k - we show how the values of p-adic twisted zeta-functions for K/k a…
Given an abelian, CM extension K of any totally real number field k, we consider two conjectures `of Stark type'. The `Integrality Conjecture' concerns the image of a p-adic map `\mathfrak{s}_{K/k,S}' determined by the minus-part of the S-truncated equivariant L-function for K/k at s=1. It is connected to the Equivariant Tamagawa Number Conjecture of Burns and Flach. The `Congruence Conjecture' says that \mathfrak{s}_{K/k,S} gives an explicit reciprocity law for the element predicted by the corresponding Rubin-Stark Conjecture for K^+/k. We study the general properties of these conjectures and…
In this article, we study the p-ordinary Iwasawa theory of the (conjectural) Rubin-Stark elements defined over abelian extensions of a CM field F and develop a rank-g Euler/Kolyvagin system machinery (where 2g is the degree of F), refining and generalizing Perrin-Riou's theory and the author's prior work. This has several important arithmetic consequences: Using the recent results of Hida and Hsieh on the CM main conjectures, we prove a natural extension of a theorem of Yager for the CM field F, where we relate the Rubin-Stark elements to the several-variable Katz p-adic L-function. Furthermor…
Let $F$ be a totally real number field, $p$ a rational prime, and $χ$ a finite order totally odd abelian character of Gal$(\bar{F}/F)$ such that $χ(\mathfrak{p})=1$ for some $\mathfrak{p}|p$. Motivated by a conjecture of Stark, Gross conjectured a relation between the derivative of the $p$-adic $L$-function associated to $χ$ at its exceptional zero and the $\mathfrak{p}$-adic logarithm of a $p$-unit in the $χ$ component of $F_χ^\times$. In a recent work, Dasgupta, Darmon, and Pollack have proven this conjecture assuming two conditions: that Leopoldt's conjecture holds for $F$ and $p$, and that…
Let $H/F$ be a finite abelian extension of number fields with $F$ totally real and $H$ a CM field. Let $S$ and $T$ be disjoint finite sets of places of $F$ satisfying the standard conditions. The Brumer-Stark conjecture states that the Stickelberger element $Θ^{H/F}_{S, T}$ annihilates the $T$-smoothed class group $\text{Cl}^T(H)$. We prove this conjecture away from $p=2$, that is, after tensoring with $\mathbf{Z}[1/2]$. We prove a stronger version of this result conjectured by Kurihara that gives a formula for the 0th Fitting ideal of the minus part of the Pontryagin dual of $\text{Cl}^T(H) \…
The strong Stark conjecture for totally odd characters
本文在有限Galois CM-扩张且Galois群具有交换Sylow $p$-子群的条件下，证明了完全奇特征和奇素数$p$的强Stark猜想的$p$-部分，并给出了等变高木数猜想减$p$-部分的无条件证明。
On the adjoint Selmer groups of semi-stable elliptic curves and Flach's zeta elements
本文显式构造了半稳定椭圆曲线的秩1本原Stark系统，证明了其与极小模性提升定理的等价性，并比传统几何Euler系统方法更精细地解释了Flach的zeta元素。
Our first goal in this note is to explain that a weak form of Perrin-Riou's conjecture on the non-triviality of Beilinson-Kato classes follows as an easy consequence of the Iwasawa main conjectures, and deduce its refined versions in the supersingular case from this fact and a variety of Gross-Zagier formulae. Our second goal is to set up a conceptual framework in the context of $Λ$-adic Kolyvagin systems to treat analogues of Perrin-Riou's conjectures for higher motives of higher rank. We apply this general discussion in order to establish a link between Heegner points on a general class of C…
We develop a detailed arithmetic theory related to special values at arbitrary integers of the Artin $L$-series of linear characters. To do so we define canonical generalized Stark elements of arbitrary `rank' and `weight', thereby extending the classical theory of Rubin-Stark elements. We then formulate an extension to arbitrary weight of the refined version of the Rubin-Stark Conjecture that we studied in an earlier article and also show that generalized Stark elements constitute a $p$-adic family by formulating precise conjectural congruence relations between elements of differing weights. …
We propose a conjecture refining the Stark conjecture St(K/k,S) (Tate's formulation) in the function field case. Of course St(K/k,S) in this case is a theorem due to Deligne and independently to Hayes. The novel feature of our conjecture is that it involves two- rather than one-variable algebraic functions over finite fields. Because the conjecture is formulated in the language and framework of Tate's thesis we have powerful standard techniques at our disposal to study it. We build a case for our conjecture by (i) proving a parallel result in the framework of adelic harmonic analysis which we …
We describe a conjectural construction (in the spirit of Hilbert's 12th problem) of units in abelian extensions of certain base fields which are neither totally real nor CM. These base fields are quadratic extensions with exactly one complex place of a totally real number field F, and are referred to as Almost Totally real (ATR) extensions. Our construction involves certain null-homologous topological cycles on the Hilbert modular variety attached to F. The special units are the images of these cycles under a map defined by integration of weight two Eisenstein series on GL_2(F). This map is fo…
Let $K/k$ be an abelian extension of number fields with a distinguished place of $k$ that splits totally in $K$. In that situation, the abelian rank one Stark conjecture predicts the existence of a unit in $K$, called the Stark unit, constructed from the values of the $L$-functions attached to the extension. In this paper, assuming the Stark unit exists, we prove index formulae for it. In a second part, we study the solutions of the index formulae and prove that they admit solutions unconditionally for quadratic, quartic and sextic (with some additional conditions) cyclic extensions. As a resu…
In this paper, we present a unifying approach to the general theory of abelian Stark conjectures. To do so we define natural notions of `zeta element', of `Weil-étale cohomology complexes' and of `integral Selmer groups' for the multiplicative group $\mathbb{G}_m$ over finite abelian extensions of number fields. We then conjecture a precise connection between zeta elements and Weil-étale cohomology complexes, we show this conjecture is equivalent to a special case of the equivariant Tamagawa number conjecture and we give an unconditional proof of the analogous statement for global function fie…
Let $K/k$ be a finite Galois CM-extension of number fields whose Galois group $G$ is monomial and $S$ a finite set of places of $k$.\ Then the "Stickelberger element" $θ_{K/k,S}$ is defined.\ Concerning this element,\ Andreas Nickel formulated the non-abelian Brumer and Brumer-Stark conjectures and their "weak" versions.\ In this paper,\ when $G$ is a monomial group,\ we prove that the weak non-abelian conjectures are reduced to the weak conjectures for abelian subextensions.\ We write $D_{4p},\ Q_{2^{n+2}}$ and $A_4$ for the dihedral group of order $4p$ for any odd prime $p$,\ the generalized…
We introduce an integral version of the Eisenstein cocycle. As applications we prove a conjecture of Gross regarding the "order of vanishing" of Stickelberger elements relative to an abelian tower of fields and give a cohomological construction of the conjectural Gross--Stark units.
Balanced triple product $p$-adic $L$-functions and Stark points
本研究推广Hsieh的三变量平衡三重积$p$-进$L$-函数构造，针对秩一情形提出联系其插值域外值与Stark点、Stark单位的椭圆Stark猜想，并对同一虚二次域的二面体表示证明该猜想。
In a recent work of Darmon, Pozzi and Vonk, the authors consider a particular $p$-adic family of Hilbert Eisenstein series $E_k(1,\brch)$ associated with an odd character $\brch$ of the narrow ideal class group of a real quadratic field $F$ and compute the first derivative of a certain one-variable twisted triple product $p$-adic $L$-series attached to $E_k(1,\brch)$ and an elliptic newform $f$ of weight $2$ on $Γ_0(p)$. In this paper, we generalize their construction to include the cyclotomic variable and thus obtain a two-variable twisted triple product $p$-adic $L$-series. Moreover, when $f…
We describe a refinement of the general theory of higher rank Euler, Kolyvagin and Stark systems in the setting of the multiplicative group over arbitrary number fields. We use the refined theory to prove new results concerning the Galois structure of ideal class groups and the validity of both the equivariant Tamagawa number conjecture and of the `refined class number formula' that has been conjectured by Mazur and Rubin and by Sano. In contrast to previous work in this direction, these results require no hypotheses on the decomposition behaviour of places that are intended to rule out the ex…
For an abelian extension of number fields we show that the Stark conjecture for all Artin L-functions with zero of order r is equivalent to existence of a special element in the rational span of the r-th exterior power of the Galois module of units of the bigger field.
We study a relation between two refinements of the rank one abelian Gross-Stark conjecture: For a suitable abelian extension $H/F$ of number fields, a Gross-Stark unit is defined as a $p$-unit of $H$ satisfying some proporties. Let $τ\in \mathrm{Gal}(H/F)$. Yoshida and the author constructed the symbol $Y_p(τ)$ by using $p$-adic $\log$ multiple gamma functions, and conjectured that the $\log_p$ of a Gross-Stark unit can be expressed by $Y_p(τ)$. Dasgupta constructed the symbol $u_T(τ)$ by using the $p$-adic multiplicative integration, and conjectured that a Gross-Stark unit can be expressed by…
We consider partial zeta functions $ζ(s,c)$ associated with ray classes $c$'s of a totally real field. Stark's conjecture implies that an appropriate product of $\exp(ζ'(0,c))$'s is an algebraic number which is called a Stark unit. Shintani gave an explicit formula for $\exp(ζ'(0,c))$ in terms of Barnes' multiple gamma function. Yoshida ``decomposed'' Shintani's formula: he defined the symbol $X(c,ι)$ satisfying that $\exp(ζ'(0,c))=\prod_ι \exp(X(c,ι))$ where $ι$ runs over all real embeddings of $F$. Hence we can decompose a Stark unit into a product of $[F:\mathbb Q]$ terms. The main result i…
Brumer-Stark Units and Explicit Class Field Theory
本文证明了全实域CM阿贝尔扩张中Brumer-Stark p-单位的整Gross-Stark猜想的p部分，结合n-1个F中元素的平方根生成全实域极大阿贝尔扩张，给出其无条件构造，并推广Ribet方法结合新伽罗瓦模完成证明。
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$. T…
The existence of a set of d^2 pairwise equiangular complex lines (equivalently, a SIC-POVM) in d-dimensional Hilbert space is currently known only for a finite set of dimensions d. We prove that, if there exists a set of real units in a certain ray class field (depending on d) satisfying certain congruence conditions and algebraic properties, a SIC-POVM may be constructed when d is an odd prime congruent to 2 modulo 3. We give an explicit analytic formula that we expect to yield such a set of units. Our construction uses values of derivatives of zeta functions at s=0 and is closely connected t…
In this paper, we remove certain hypothesis in the theorem of Bertolini-Darmon on the rationality of Stark-Heegner points over narrow genus class fields of real quadratic fields. Along the way, we establish that certain normalized special values of $L$-functions are squares of rational numbers, a result that is of independent interest, and can be regarded as instances of the rank zero case of the Birch and Swinnerton-dyer conjecture modulo squares.
We introduce the notion of Shintani data, which axiomatizes algebraic aspects of Shintani zeta functions. We develop the general theory of Shintani data, and show that the order of vanishing part of Gross's conjecture follows from the existence of a Shintani datum. Recently, Dasgupta and Spiess proved the order of vanishing part of Gross's conjecture under certain conditions. We give an alternative proof of their result by constructing a certain Shintani datum. We also propose a refinement of Gross's leading term conjecture by using the theory of Shintani data. Out conjecture gives a conjectur…
The goal of this article is two-fold: First, to prove a (two-variable) main conjecture for a CM field $F$ without assuming the $p$-ordinary hypothesis of Katz, making use of what we call the Rubin-Stark $\mathcal{L}$-restricted Kolyvagin systems which is constructed out of the conjectural Rubin-Stark Euler system of rank $g$. (We are also able to obtain weaker unconditional results in this direction.) Second objective is to prove the Park-Shahabi plus/minus main conjecture for a CM elliptic curve $E$ defined over a general totally real field again using (a twist of the) Rubin-Stark Kolyvagin s…
In an earlier article we proved the existence of a canonical Kolyvagin derivative homomorphism between the modules of Euler and Kolyvagin systems (in any given rank) that are associated to $p$-adic representations over number fields. We now explain how the existence of such a homomorphism leads to new results on the structure of the Selmer modules of Galois representations over Gorenstein orders and to a strategy for verifying (refinements of) the Tamagawa number conjecture of Bloch and Kato. We describe concrete applications relating to the multiplicative group over arbitrary number fields an…
A Conjecture on Almost Flat SIC-POVMs
本文探讨具有反单位元对称性的SIC-POVMs的恒等式是否能确定Stark单位，发现其不足以完全确定但可能影响较小。
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},\ma…
We prove the existence of a canonical `higher Kolyvagin derivative' homomorphism between the modules of higher rank Euler systems and higher rank Kolyvagin systems, as has been conjectured to exist by Mazur and Rubin. This homomorphism exists in the setting of $p$-adic representations that are free with respect to the action of a Gorenstein order $\mathcal{R}$ and, in particular, implies that higher rank Euler systems control the $\mathcal{R}$-module structures of Selmer modules attached to the representation. We give a first application of this theory by considering the (conjectural) Euler sy…
The eigencurve at crystalline points with scalar Frobenius and Gross-Stark regulators
本文研究了R=T方法失效时p-adic eigencurve在p-irregular权一尖点形式处的局部几何，并证明了椭圆模曲线塔的普通p-adic étale上同调群在局部化时不是Hecke代数上的自由模。
On The Equivariant Tamagawa Number Conjecture
该研究在全实域的有限阿贝尔CM扩张框架下，利用类域论证明强形式Brumer-Stark猜想可推出相关Tate motive的等变玉河数猜想负部，且在整系数下验证了函子性质的推导作用。
In 1979 Goldfeld conjectured: 50\% of the quadratic twists of an elliptic curve defined over the rationals have analytic rank zero. In this expository article we present a few recent developments towards the conjecture, especially its first instance - the congruent number elliptic curves.
In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.
We give an elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves by using Kato's element.
We give a new proof of a conjecture of Darmon, Lauder and Rotger regarding the computation of the $\mathcal L$-invariant of the adjoint of a weight one modular form in terms of units and $p$-units. While in our previous work with Rotger the essential ingredient was the use of Galois deformations techniques following the computations of Bellaïche and Dimitrov, we propose a new approach exclusively using the properties of Beilinson--Flach classes. One of the key ingredients is the computation of a cyclotomic derivative of a cohomology class in the framework of Perrin-Riou theory, which can be se…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。