BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Kevin Ventullo contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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 if there is only one prime of $F$ lying above $p$, a certain relation holds between the $\mathscr{L}$-invariants of $χ$ and $χ^{-1}$. The main result of this paper removes both of these conditions, thus giving an unconditional proof of the conjecture.