Cristian D. Popescu
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
On Weil-Stark elements, II: refined Stark conjectures
本文利用 Weil-Stark 元素理论提出公理化方法，表述精细 Stark 猜想，并给出 Artin L-级数首项及 Stark 元素算术性质的新结果。
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.
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猜想的完整证明。
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 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…
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.
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.
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.
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.
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…
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. …
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…
Comparing Two Formulas for the Gross-Stark Units
本文证明了当F为三次域时，两个关于格罗斯-斯塔克单位的公式在格罗斯调节矩阵的对角线元素上是相同的。
We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'. Using the theory of Kolyvagin systems we prove a large part of this conjecture when the order of vanishing of the corresponding complex $L$-function is $1$.
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$-部分的无条件证明。
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 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…
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.
Let $E/\mathbb{Q}$ be an elliptic curve of level $N$ and rank equal to $1$. Let $p$ be a prime of ordinary reduction. We experimentally study conjecture $4$ of B. Mazur and J. Tate in his article "Refined Conjectures of the Birch and Swinnerton-Dyer Type". We report the computational evidence.
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…
The rationality of Stark-Heegner cycles attached to Bianchi modular forms -- The base-change scenario
本文证明了当Bianchi本征形式为经典椭圆尖点形式的基变换时，关于其Stark-Heegner循环为全局Bloch-Kato Selmer类限制的猜想成立。
The refined Kaneko-Zagier conjecture claims that the algebras spanned by two kinds of "completed" finite multiple zeta values, called $\hat{A}$- and $\hat{S}$-MZVs, are isomorphic. Recently, Komori defined $\hat{S}$-MZVs of general integer (i.e., not necessarily positive) indices, extending the existing definition for positive indices. In view of the refined Kaneko-Zagier conjecture, Komori's work suggests that these extended values are closely connected to $\hat{A}$-MZVs of general indices, which can be defined in an obvious way. In this paper, we show that the generalization of the refined K…
Mazur and Tate proposed a conjecture which compares the Mordell-Weil rank of an elliptic curve over $\mathbb{Q}$ with the order of vanishing of Mazur-Tate elements, which are analogues of Stickelberger elements. Under some relatively mild assumptions, we prove this conjecture. Our strategy of the proof is to study divisibility of certain derivatives of Kato's Euler system.
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方法结合新伽罗瓦模完成证明。
On the refined `Birch--Swinnerton-Dyer type' conjectures of Mazur and Tate
该研究证明了Mazur和Tate对Birch-Swinnerton-Dyer猜想的精细化猜想的大部分内容，通过等变Tamagawa数猜想的零秩分量方法，还得到了比原预测更精细的结果。
We prove a conjectural formula relating the Bessel period of certain automorphic forms on $\mathrm{GSp}_4$ to a central $L$-value. This formula is proposed by Liu \cite{liu} as the refined Gan-Gross-Prasad conjecture for the groups $(\SO(5), \SO(2))$. The conjecture has been previously proved for certain automorphic forms on $\mathrm{GSp_4}$ from lifts. In this paper, we extend the formula to Siegel modular forms of $\Sp_4(\bZ)$.
We prove a precise formula relating the Bessel period of certain automorphic forms on ${\rm GSp}_{4}(\mathbb{A}_{F})$ to a central $L$-value. This is a special case of the refined Gan--Gross--Prasad conjecture for the groups $({\rm SO}_{5},{\rm SO}_{2})$ as set out by Ichino--Ikeda and Liu. This conjecture is deep and hard to prove in full generality; in this paper we succeed in proving the conjecture for forms lifted, via automorphic induction, from ${\rm GL}_{2}(\mathbb{A}_{E})$ where $E$ is a quadratic extension of $F$. The case where $E=F\times F$ has been previously dealt with by Liu.
Jones and Boston conjectured that the factorization process for iterates of irreducible quadratic polynomials over finite fields is approximated by a Markov model. In this paper, we find unexpected and intricate behavior for some quadratic polynomials, in particular for the ones with tail size one. We also propose a multi-step Markov model that explains these new observations better than the model of Jones and Boston.
Balanced triple product $p$-adic $L$-functions and Stark points
本研究推广Hsieh的三变量平衡三重积$p$-进$L$-函数构造，针对秩一情形提出联系其插值域外值与Stark点、Stark单位的椭圆Stark猜想，并对同一虚二次域的二面体表示证明该猜想。
On refined nonvanishing conjectures by Kurihara and Kolyvagin
本文拓展了Kurihara和Kolyvagin的精细非消失猜想，通过重新表述Iwasawa主猜想并利用Selmer复形行列式，提出新的方法计算Galois上同调中特定元素的p-可除性指数。
This article is concerned with proving a refined function field analogue of the Coates-Sinnott conjecture, formulated in the number field context in 1974. Our main theorem calculates the Fitting ideal of a certain even Quillen K-group in terms of special values of L-functions. The techniques employed are directly inspired by recent work of Greither and Popescu in the equivariant Iwasawa theory of arbitrary global fields. They rest on the results of Greither-Popescu on the Galois module structure of certain naturally defined Picard 1-motives associated to an arbitrary Galois extension of functi…
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.
In this paper we construct, using Stark elements of Rubin [Ann. Inst. Fourier (Grenoble) 46 (1996), no. 1, 33-62], Kolyvagin systems for certain modified Selmer structures (that are adjusted to have core rank one in the sense of [Mem. Amer. Math. Soc. 168 (2004), no. 799] and prove a Gras-type conjecture, relating these Kolyvagin systems to appropriate ideal class groups, refining the results of Rubin [J. Reine Angew. Math. 425 (1992), 141-154].
We derive a refined conjecture for the variance of Gaussian primes across sectors, with a power saving error term, by applying the L-functions Ratios Conjecture. We observe a bifurcation point in the main term, consistent with the Random Matrix Theory (RMT) heuristic previously proposed by Rudnick and Waxman. Our model also identifies a second bifurcation point, undetected by the RMT model, that emerges upon taking into account lower order terms. For sufficiently small sectors, we moreover prove an unconditional result that is consistent with our conjecture down to lower order terms.
Refined conjectures on Fitting ideals of BDP Selmer groups
本文在温和假设下证明了Kurihara精细化Iwasawa理论意义下椭圆曲线BDP Selmer群的强主猜想，并确定了其初始Fitting理想的结构由$p$-adic模形式在CM点的取值决定。
On the Mazur--Tate refined conjecture for the anticyclotomic tower at inert primes
本文针对$p\geq5$为惰性素数且椭圆曲线在该处超奇异约化的情形，利用Burungale--Büyükboduk--Lei的结果，证明了虚二次域反圆塔上的弱Mazur--Tate精细猜想。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。