Showing 1–36 of 36 results for author: Buyukboduk, K

On the Artin formalism for triple product $p$-adic $L$-functions

Authors: Kâzım Büyükboduk, Ryotaro Sakamoto

Abstract: Our main objective in the present article is to study the factorization problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorization. Our analysis, which is guided by the ETNC philosophy, recasts this problem as a compa… ▽ More Our main objective in the present article is to study the factorization problem for triple-product $p$-adic $L$-functions, particularly in the scenarios when the defining properties of the $p$-adic $L$-functions involved have no bearing on this problem, although Artin formalism would suggest such a factorization. Our analysis, which is guided by the ETNC philosophy, recasts this problem as a comparison of diagonal cycles, Beilinson--Kato elements, and Heegner cycles. △ Less

Submitted 11 January, 2025; originally announced January 2025.

Comments: This is the first paper in a two-part series replacing an earlier submission (arXiv:2301.08383), which is no longer intended to be published as a stand-alone paper. 45 pages, comments are very welcome

MSC Class: Primary 11F66; 11F67; 11F33; Secondary 11F85; 11G18; 14F30

Functional equations of algebraic Rankin-Selberg $p$-adic $L$-functions

Authors: Kâzım Büyükboduk, Manisha Ganguly

Abstract: This article presents an approach to the algebraic functional equation for Selmer complexes, which in turn have applications in the Iwasawa theoretic study of Rankin-Selberg products of the Hida and Coleman families. Our treatment establishes the functional equation for algebraic $p$-adic $L$-functions (which are given in terms of characteristic ideals of Selmer groups, which arise as the cohomolo… ▽ More This article presents an approach to the algebraic functional equation for Selmer complexes, which in turn have applications in the Iwasawa theoretic study of Rankin-Selberg products of the Hida and Coleman families. Our treatment establishes the functional equation for algebraic $p$-adic $L$-functions (which are given in terms of characteristic ideals of Selmer groups, which arise as the cohomology of appropriately defined Selmer complexes in degree $2$). This is achieved by recovering the characteristic ideal as the determinant of the said Selmer complex, once we prove (under suitable but rather mild) hypotheses that the Selmer complex in question is perfect with amplitude $[1,2]$, and its cohomology is concentrated in degree-2. The perfectness of these Selmer complexes turns out to be a delicate problem, and the required properties require a study of Tamagawa factors in families, which may be of independent interest. △ Less

Submitted 15 December, 2024; originally announced December 2024.

Comments: 41 pages, comments are very welcome!

MSC Class: 11R23

On the Artin formalism for triple product $p$-adic $L$-functions: Chow--Heegner points vs. Heegner points

Authors: Kâzım Büyükboduk, Daniele Casazza, Aprameyo Pal, Carlos de Vera-Piquero

Abstract: Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients are: a) the explicit reciprocity laws governing the relationship of diagonal cycles and generalized Heegner cycles to $p$-adic $L$-functions; b) a careful compa… ▽ More Our main objective in this paper (which is expository for the most part) is to study the necessary steps to prove a factorization formula for a certain triple product $p$-adic $L$-function guided by the Artin formalism. The key ingredients are: a) the explicit reciprocity laws governing the relationship of diagonal cycles and generalized Heegner cycles to $p$-adic $L$-functions; b) a careful comparison of Chow--Heegner points and twisted Heegner points in Hida families, via formulae of Gross--Zagier type. △ Less

Submitted 13 September, 2024; originally announced September 2024.

Comments: To appear in the Proceedings of the conference "Arithmetic of L-functions", EMS Series of Congress Reports

MSC Class: 11F66; 11F67; 11F33 (Primary) 11F85; 11G18; 14F30 (Secondary)

Arithmetic of critical $p$-adic $L$-functions

Authors: Denis Benois, Kâzım Büyükboduk

Abstract: Our objective in the present work is to develop a fairly complete arithmetic theory of critical $p$-adic $L$-functions on the eigencurve. To this end, we carry out the following tasks: a) We give an "étale" construction of Bellaïche's $p$-adic $L$-functions at a $θ$-critical point on the cuspidal eigencurve. b) We introduce the algebraic counterparts of these objects (which arise as appropriat… ▽ More Our objective in the present work is to develop a fairly complete arithmetic theory of critical $p$-adic $L$-functions on the eigencurve. To this end, we carry out the following tasks: a) We give an "étale" construction of Bellaïche's $p$-adic $L$-functions at a $θ$-critical point on the cuspidal eigencurve. b) We introduce the algebraic counterparts of these objects (which arise as appropriately defined Selmer complexes) and develop Iwasawa theory in this context, including a definition of an Iwasawa theoretic $\mathscr L$-invariant $\mathscr{L}^{\rm cr}_{\rm Iw}$. c) We formulate the (punctual) critical main conjecture and study its relationship with its slope-zero counterparts. Along the way, we also develop descent theory (paralleling Perrin-Riou's work). d) We introduce what we call thick (Iwasawa theoretic) fundamental line and the thick Selmer complex to counter Bellaïche's secondary $p$-adic $L$-functions. This allows us to formulate an infinitesimal thickening of the Iwasawa main conjecture, and we observe that it implies both slope-zero and punctual critical main conjectures, but it seems stronger than both. e) We establish an $\mathcal{O}_{\mathcal{X}}$-adic leading term formula for the two-variable $p$-adic $L$-function over the affinoid neighbourhood $\mathcal{X}={\rm Spm}(\mathcal{O}_{\mathcal{X}})$ in the eigencurve about a $θ$-critical point. Using this formula we prove, when the Hecke $L$-function of $f$ vanishes to order one at the central critical point, that the derivative of the secondary $p$-adic $L$-function can be computed in terms of the second order derivative of an $\mathcal{O}_{\mathcal{X}}$-adic regulator (rather than a regulator itself). △ Less

Submitted 24 March, 2024; originally announced March 2024.

Comments: 171 pages. To appear in the Memoirs of the AMS. Numberings may differ from the published version

MSC Class: 11F11; 11F67; 11R23

Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes II

Authors: Ashay Burungale, Kâzım Büyükboduk, Antonio Lei

Abstract: Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$, and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $-1$. When $p$ is split in $K$, Castella and Wan formulated the plus and minus Heegner point main conjecture for $E$ along the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved it for semistable curves.… ▽ More Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$, and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $-1$. When $p$ is split in $K$, Castella and Wan formulated the plus and minus Heegner point main conjecture for $E$ along the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved it for semistable curves. We generalize their results to two settings: 1. Under the assumption that $p$ is split in $K$ but without assuming $a_p(E)=0$, we study Sprung-type main conjectures for $\mathrm{GL}_2$-type abelian varieties at non-ordinary primes and prove it under some conditions. 2. We formulate, relying on the recent work of the first-named author with Kobayashi and Ota, plus and minus Heegner point main conjectures for elliptic curves when $p$ is inert in $K$, and prove the minus main conjecture for semistable elliptic curves. These results yield a $p$-converse to the Gross--Zagier and Kolyvagin theorem for $E$. Our method relies on Howard's framework of bipartite Euler system, Zhang's resolution of Kolyvagin's conjecture and the recent proof of Kobayashi's main conjecture. △ Less

Submitted 10 October, 2023; originally announced October 2023.

Comments: This work complements an earlier paper arXiv:2211.03722 by the same authors

On the Artin formalism for triple product $p$-adic $L$-functions: Super-factorization

Authors: Kâzım Büyükboduk, Daniele Casazza

Abstract: We prove the factorization conjecture for triple-product $p$-adic $L$-functions formulated in a companion article in the special case when two of the (three) factors have complex multiplication. We prove the factorization conjecture for triple-product $p$-adic $L$-functions formulated in a companion article in the special case when two of the (three) factors have complex multiplication. △ Less

Submitted 14 January, 2025; v1 submitted 19 January, 2023; originally announced January 2023.

Comments: This is the second paper in a two-part series (where the first paper by the first-named author and Ryotaro Sakamoto has been posted as arXiv: 2501.06541), which together replace the first version of this submission. Version 1 is no longer intended to be published as a stand-alone paper. 33 pages, comments are very welcome

MSC Class: Primary 11F66; 11F67; 11F33; Secondary 11F85; 11G18; 14F30

Anticyclotomic Iwasawa theory of abelian varieties of $\mathrm{GL}_2$-type at non-ordinary primes

Authors: Ashay Burungale, Kâzım Büyükboduk, Antonio Lei

Abstract: Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$ and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $+1$. When $p$ is split in $K$, Darmon and Iovita formulated the plus and minus Iwasawa main conjectures for $E$ over the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved one-sided inclusion: an upper b… ▽ More Let $p\ge 5$ be a prime number, $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at $p$ and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ is $+1$. When $p$ is split in $K$, Darmon and Iovita formulated the plus and minus Iwasawa main conjectures for $E$ over the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved one-sided inclusion: an upper bound for plus and minus Selmer groups in terms of the associated $p$-adic $L$-functions. We generalize their results to two new settings: 1. Under the assumption that $p$ is split in $K$ but without assuming $a_p(E)=0$, we study Sprung-type Iwasawa main conjectures for abelian varieties of $\mathrm{GL}_2$-type, and prove an analogous inclusion. 2. We formulate, relying on the recent work of the first named author with Kobayashi and Ota, plus and minus Iwasawa main conjectures for elliptic curves when $p$ is inert in $K$, and prove an analogous inclusion. △ Less

Submitted 25 December, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: To appear in Advances in Mathematics

MSC Class: 11R23 (primary); 11G05; 11R20 (secondary)

Interpolation of Beilinson-Kato elements and $p$-adic $L$-functions

Authors: Denis Benois, Kâzım Büyükboduk

Abstract: Our objective in this series of two articles, of which the present article is the first, is to give a Perrin-Riou-style construction of $p$-adic $L$-functions (of Bellaïche and Stevens) over the eigencurve. As the first ingredient, we interpolate the Beilinson-Kato elements over the eigencurve (including the neighborhoods of $θ$-critical points). Along the way, we prove étale variants of Bellaïche… ▽ More Our objective in this series of two articles, of which the present article is the first, is to give a Perrin-Riou-style construction of $p$-adic $L$-functions (of Bellaïche and Stevens) over the eigencurve. As the first ingredient, we interpolate the Beilinson-Kato elements over the eigencurve (including the neighborhoods of $θ$-critical points). Along the way, we prove étale variants of Bellaïche's results describing the local properties of the eigencurve. We also develop the local framework to construct and establish the interpolative properties of these $p$-adic $L$-functions away from $θ$-critical points. △ Less

Submitted 23 June, 2021; v1 submitted 28 August, 2020; originally announced August 2020.

Comments: 49 Pages, final version with title change. May differ from the journal version. To appear in Annales Mathematiques du Quebec (Special birthday issue for Bernadette Perrin-Riou)

MSC Class: 11F11; 11F67 (primary); 11R23 (secondary)

Iwasawa theory of twists of elliptic modular forms over imaginary quadratic fields at inert primes

Authors: Kâzım Büyükboduk, Antonio Lei

Abstract: Our primary goal in this article is to study the Iwasawa theory for semi-ordinary families of automorphic forms on $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$, where $K$ is an imaginary quadratic field where the prime $p$ is inert. We prove divisibility results towards Iwasawa main conjectures in this context, utilizing the optimized signed factorization procedure for Perrin-Riou… ▽ More Our primary goal in this article is to study the Iwasawa theory for semi-ordinary families of automorphic forms on $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$, where $K$ is an imaginary quadratic field where the prime $p$ is inert. We prove divisibility results towards Iwasawa main conjectures in this context, utilizing the optimized signed factorization procedure for Perrin-Riou functionals and Beilinson--Flach elements for a family of Rankin--Selberg products of $p$-ordinary forms with a fixed $p$-non-ordinary modular form. The optimality enables an effective control on the $μ$-invariants of Selmer groups and $p$-adic $L$-functions as the modular forms vary in families, which is crucial for our patching argument to establish one divisibility in an Iwasawa main conjecture in three variables. △ Less

Submitted 14 June, 2023; v1 submitted 19 August, 2020; originally announced August 2020.

Comments: A superfluous file not meant for publication has been removed from the previous version

$\mathcal{L}$-invariants, $p$-adic heights and factorization of $p$-adic $L$-functions

Authors: Kâzim Büyükboduk, Ryotaro Sakamoto

Abstract: We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ri… ▽ More We continue with our study of the non-critical exceptional zeros of Katz' $p$-adic $L$-functions attached to a CM field $K$, following two threads. In the first thread, we redefine our (group-ring-valued) $\mathcal{L}$-invariant associated to each $\mathbb{Z}_{p}$-extension $K_Γ$ of $K$ in terms of $p$-adic height pairings and interpolate them as $K_Γ$ varies to a universal (multivariate) group-ring-valued $\mathcal{L}$-invariant. In the second thread, we use our results to study the exceptional zeros of the non-genuine Rankin--Selberg $p$-adic $L$-functions attached to the self-products of nearly ordinary CM families, via the factorization statements we establish. The factorization theorems are extensions of the results due to Greenberg and Palvannan. △ Less

Submitted 22 October, 2021; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 48 pages, final version (to appear in IMRN). Journal version may be slightly different

Iwasawa theory for $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$

Authors: Kâzım Büyükboduk, Antonio Lei

Abstract: Let $K$ be a imaginary quadratic field where the prime $p$ splits. Our goal in this article is to prove results towards the Iwasawa main conjectures for $p$-nearly-ordinary families associated to $\mathrm{GL}_2\times \mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$ with a minimal set of assumptions. The main technical input is an improvement on the locally restricted Euler system machinery that allows th… ▽ More Let $K$ be a imaginary quadratic field where the prime $p$ splits. Our goal in this article is to prove results towards the Iwasawa main conjectures for $p$-nearly-ordinary families associated to $\mathrm{GL}_2\times \mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$ with a minimal set of assumptions. The main technical input is an improvement on the locally restricted Euler system machinery that allows the treatment of residually reducible cases, which we apply with the Beilinson--Flach Euler system. △ Less

Submitted 14 December, 2021; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: To appear in a special volume in honour of Bernadette Perrin-Riou to be published in Annales Mathématiques du Québec

Interpolation of Generalized Heegner Cycles in Coleman Families

Authors: Kazim Büyükboduk, Antonio Lei

Abstract: Kobayashi recently proved that the generalized Heegner cycles of Bertolini--Darmon--Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate these classes along Coleman families. This construction plays a role in the proofs of $p$-adic Gross--Zagier formulae at for non-ordinary eigenforms and conseq… ▽ More Kobayashi recently proved that the generalized Heegner cycles of Bertolini--Darmon--Prasanna can be interpolated along the anticyclotomic tower, giving rise to distribution valued cohomology classes with expected growth rate. We interpolate these classes along Coleman families. This construction plays a role in the proofs of $p$-adic Gross--Zagier formulae at for non-ordinary eigenforms and consequentially, also in the proof of a conjecture of Perrin-Riou. △ Less

Submitted 17 June, 2021; v1 submitted 9 July, 2019; originally announced July 2019.

Comments: Several sections have been expanded and rewritten. We have added Appendix B, which discusses the interpolation of generalized Heegner cycles over wide-open discs and will serve as an addendum to the published version of the article

MSC Class: 11R23 (primary) 11F11; 11R20 (secondary)

On the non-critical exceptional zeros of Katz $p$-adic $L$-functions for CM fields

Authors: Kazim Buyukboduk, Ryotaro Sakamoto

Abstract: The primary goal of this article is to study $p$-adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz $p$-adic $L$-functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin-Stark elements. In the particular ca… ▽ More The primary goal of this article is to study $p$-adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz $p$-adic $L$-functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin-Stark elements. In the particular case when the CM field in question is imaginary quadratic, our leading term formula and its consequences we record herein are unconditional. △ Less

Submitted 10 May, 2022; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: 39 pages. Final version, to appear in Advances in Mathematics (may differ from the journal version)

$p$-adic Gross-Zagier formula at critical slope and a conjecture of Perrin-Riou

Authors: Kazim Büyükboduk, Robert Pollack, Shu Sasaki

Abstract: Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(Γ_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$θ$-critical). In the particular case when $f=f_A$ is the… ▽ More Let $p$ be an odd prime. Given an imaginary quadratic field $K=\mathbb{Q}(\sqrt{-D_K})$ where $p$ splits with $D_K>3$, and a $p$-ordinary newform $f \in S_k(Γ_0(N))$ such that $N$ verifies the Heegner hypothesis relative to $K$, we prove a $p$-adic Gross-Zagier formula for the critical slope $p$-stabilization of $f$ (assuming that it is non-$θ$-critical). In the particular case when $f=f_A$ is the newform of weight $2$ associated to an elliptic curve $A$ that has good ordinary reduction at $p$, this allows us to verify a conjecture of Perrin-Riou. The $p$-adic Gross-Zagier formula we prove has applications also towards the Birch and Swinnerton-Dyer formula for elliptic curves of analytic rank one. △ Less

Submitted 12 October, 2021; v1 submitted 20 November, 2018; originally announced November 2018.

Comments: 40 pages. Most significant updates are in Section 4

Rank--two Euler systems for symmetric squares

Authors: Kâzım Büyükboduk, Antonio Lei

Abstract: Let $p\ge 7$ be a prime number and $f$ a normalized eigen-newform with good reduction at $p$ such that its $p$-th Fourier coefficient vanishes. We construct a rank-two Euler system attached to the $p$-adic realization of the symmetric square motive of $f$. Furthermore, we show that the non-triviality is guaranteed by the non-vanishing of the leading term of the relevant $L$-value and the non-vanis… ▽ More Let $p\ge 7$ be a prime number and $f$ a normalized eigen-newform with good reduction at $p$ such that its $p$-th Fourier coefficient vanishes. We construct a rank-two Euler system attached to the $p$-adic realization of the symmetric square motive of $f$. Furthermore, we show that the non-triviality is guaranteed by the non-vanishing of the leading term of the relevant $L$-value and the non-vanishing of a certain $p$-adic period modulo $p$. △ Less

Submitted 1 February, 2019; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: Some of the proofs and definitions have been expanded. Some minor imprecisions have also been corrected

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Iwasawa theory for Symmetric Square of non-$p$-ordinary eigenforms

Authors: Kâzım Büyükboduk, Antonio Lei, Guhan Venkat

Abstract: Let $f$ be a normalized cuspidal eigen-newform of level coprime to $p$ with $a_p(f)=0$. We formulate both integral signed Iwasawa main conjectures and analytic Iwasawa man conjectures attached to the symmetric square motive of $f$ twisted by an auxiliary Dirichlet character. We show that the Beilinson--Flach elements attached to the symmetric square motive factorize into integral signed Beilinson-… ▽ More Let $f$ be a normalized cuspidal eigen-newform of level coprime to $p$ with $a_p(f)=0$. We formulate both integral signed Iwasawa main conjectures and analytic Iwasawa man conjectures attached to the symmetric square motive of $f$ twisted by an auxiliary Dirichlet character. We show that the Beilinson--Flach elements attached to the symmetric square motive factorize into integral signed Beilinson--Flach elements, giving evidence towards the existence a rank-two Euler system predicted by Perrin-Riou. We use these integral elements to prove one inclusion in the integral and analytic Iwasawa main conjectures. △ Less

Submitted 15 January, 2021; v1 submitted 30 July, 2018; originally announced July 2018.

Comments: This version has been accepted for publication in Documenta Mathematica

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Journal ref: Doc. Math. 26, 1-63 (2021)

Iwasawa theory for Rankin--Selberg products of $p$-non-ordinary eigenforms

Authors: Kazim Büyükboduk, Antonio Lei, David Loeffler, Guhan Venkat

Abstract: Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of $p$-stabilisations of $f$ and $g$. We prove (modulo a hypothesis on non-vanishing of $p$-adic $L$-fuctions) that the $p$-parts of these four objects arise as the ima… ▽ More Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of $p$-stabilisations of $f$ and $g$. We prove (modulo a hypothesis on non-vanishing of $p$-adic $L$-fuctions) that the $p$-parts of these four objects arise as the images under appropriate projection maps of a single class in the wedge square of Iwasawa cohomology, confirming a conjecture of Lei-Loeffler-Zerbes. Furthermore, we define an explicit logarithmic matrix using the theory of Wach modules, and show that this describes the growth of the Euler systems and $p$-adic $L$-functions associated to $f \otimes g$ in the cyclotomic tower. This allows us to formulate "signed" Iwasawa main conjectures for $f\otimes g$ in the spirit of Kobayashi's $\pm$-Iwasawa theory for supersingular elliptic curves; and we prove one inclusion in these conjectures under our running hypotheses. △ Less

Submitted 13 September, 2018; v1 submitted 12 February, 2018; originally announced February 2018.

Comments: We have expanded the introduction and corrected a few minor imprecisions

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Journal ref: Alg. Number Th. 13 (2019) 901-941

Main conjectures for higher rank nearly ordinary families -- I

Authors: Kazim Büyükboduk, Tadashi Ochiai

Abstract: In this article, we present the first half of our project on the Iwasawa theory of higher rank Galois deformations over deformations rings of arbitrary dimension. We develop a theory of Coleman maps for a very general class of coefficient rings, devise a dimension reduction procedure for locally restricted Euler systems and finally, put these into use in order to prove a divisibility in a 3-variab… ▽ More In this article, we present the first half of our project on the Iwasawa theory of higher rank Galois deformations over deformations rings of arbitrary dimension. We develop a theory of Coleman maps for a very general class of coefficient rings, devise a dimension reduction procedure for locally restricted Euler systems and finally, put these into use in order to prove a divisibility in a 3-variable main conjecture for nearly ordinary families of Rankin-Selberg convolutions. △ Less

Submitted 8 February, 2019; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: Many updates to earlier version. Comments most welcome!

MSC Class: 11R23; 11F11; 11R20

Functional Equation for p-adic Rankin-Selberg L-functions

Authors: Kazim Buyukboduk, Antonio Lei

Abstract: We prove a functional equation for the three-variable $p$-adic $L$-function attached to the Rankin-Selberg convolution of a Coleman family and a CM Hida family, which was studied by Loeffler and Zerbes. Consequentially, we deduce that an anticyclotomic $p$-adic $L$-function attached to a $p$-non-ordinary modular form vanishes identically in the indefinite setting. We prove a functional equation for the three-variable $p$-adic $L$-function attached to the Rankin-Selberg convolution of a Coleman family and a CM Hida family, which was studied by Loeffler and Zerbes. Consequentially, we deduce that an anticyclotomic $p$-adic $L$-function attached to a $p$-non-ordinary modular form vanishes identically in the indefinite setting. △ Less

Submitted 27 April, 2019; v1 submitted 3 July, 2017; originally announced July 2017.

Comments: Minor update. We have corrected some misprints and expanded some of the proofs

MSC Class: 11R23 (primary); 11S40; 11R20; 11F11 (secondary)

Iwasawa theory of elliptic modular forms over imaginary quadratic fields at non-ordinary primes

Authors: Kazim Buyukboduk, Antonio Lei

Abstract: We formulate integral Iwasawa main conjectures for suitable twists of a newform $f$ that is non-ordinary at $p$, over the cyclotomic $\mathbb{Z}_p$-extension, the anticyclotomic $\mathbb{Z}_p$-extensions (in both the definite and the indefinite cases) as well as the $\mathbb{Z}_p^2$-extension of an imaginary quadratic field $K$ where $p$ splits. In order to do so, we define Kobayashi-Sprung-style… ▽ More We formulate integral Iwasawa main conjectures for suitable twists of a newform $f$ that is non-ordinary at $p$, over the cyclotomic $\mathbb{Z}_p$-extension, the anticyclotomic $\mathbb{Z}_p$-extensions (in both the definite and the indefinite cases) as well as the $\mathbb{Z}_p^2$-extension of an imaginary quadratic field $K$ where $p$ splits. In order to do so, we define Kobayashi-Sprung-style signed Coleman maps, which we use to introduce doubly-signed Selmer groups. In the same spirit, we construct signed (integral) Beilinson-Flach elements (out of the collection of unbounded Beilinson-Flach elements of Loeffler-Zerbes), which we use to define doubly-signed $p$-adic $L$-functions. The main conjecture then relates these two set of objects. Furthermore, we show that the integral Beilinson-Flach elements form a locally restricted Euler system, that in turn allows us to deduce (under certain technical assumptions) one inclusion in each one of the four main conjectures we formulate here (which may be turned into equalities under favourable circumstances). △ Less

Submitted 6 May, 2019; v1 submitted 17 May, 2016; originally announced May 2016.

Comments: To appear in IMRN. May differ slightly from the version to be published

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Anticyclotomic p-ordinary Iwasawa Theory of Elliptic Modular Forms

Authors: Kazim Büyükboduk, Antonio Lei

Abstract: This is the first in a series of articles where we will study the Iwasawa theory of an elliptic modular form f along the anticyclotomic Zp-tower of an imaginary quadratic field K where the prime p splits completely. Our goal in this portion is to prove the Iwasawa main conjecture for suitable twists of f assuming that f is p-ordinary, both in the definite and indefinite setups simultaneously, via… ▽ More This is the first in a series of articles where we will study the Iwasawa theory of an elliptic modular form f along the anticyclotomic Zp-tower of an imaginary quadratic field K where the prime p splits completely. Our goal in this portion is to prove the Iwasawa main conjecture for suitable twists of f assuming that f is p-ordinary, both in the definite and indefinite setups simultaneously, via an analysis of Beilinson-Flach elements. △ Less

Submitted 3 July, 2017; v1 submitted 24 February, 2016; originally announced February 2016.

Comments: Some corrections on CM Hida families in Section 3

MSC Class: 11R23 (primary); 11F11; 11R20 (secondary)

Integral Iwasawa theory of Galois representations for non-ordinary primes

Authors: Kazim Büyükboduk, Antonio Lei

Abstract: In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and u… ▽ More In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of these objects, in the same fashion as Kobayashi's $\pm$-Iwasawa theory for supersingular elliptic curves. By the aid of our theory of Coleman-adapted Kolyvagin systems that we develop here, we deduce parts of Perrin-Riou's main conjecture from an explicit reciprocity conjecture. △ Less

Submitted 22 November, 2015; originally announced November 2015.

Comments: 39 pages

Beilinson-Kato and Beilinson-Flach elements, Coleman-Rubin-Stark classes, Heegner points and the Perrin-Riou Conjecture

Authors: Kazim Büyükboduk

Abstract: 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 Kolyvag… ▽ More 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 CM abelian varieties and the (conjectural) Coleman-Rubin-Stark elements we introduce here. This is a higher dimensional version of Rubin's results on rational points on CM elliptic curves. △ Less

Submitted 8 December, 2017; v1 submitted 19 November, 2015; originally announced November 2015.

Comments: 35 pages, updated the introduction (and the bibliography) so as to reflect recent developments in the field (mostly pertaining to the Iwasawa theory at critical slope)

On the exceptional zeros of $p$-non-ordinary $p$-adic $L$-functions and a conjecture of Perrin-Riou

Authors: Denis Benois, Kazim Buyukboduk

Abstract: Our goal in this article is to prove a form of $p$-adic Birch and Swinnerton-Dyer formula for the second derivative of the $p$-adic $L$-function associated to a newform $f$ which is non-crystalline semistable at $p$ at its central critical point, by expressing this quantity in terms of a $p$-adic (cyclotomic) regulator defined on an extended trianguline Selmer group. We also prove a two-variable v… ▽ More Our goal in this article is to prove a form of $p$-adic Birch and Swinnerton-Dyer formula for the second derivative of the $p$-adic $L$-function associated to a newform $f$ which is non-crystalline semistable at $p$ at its central critical point, by expressing this quantity in terms of a $p$-adic (cyclotomic) regulator defined on an extended trianguline Selmer group. We also prove a two-variable version of this result for height pairings we construct by considering infinitesimal deformations afforded by a Coleman family passing through $f$. This, among other things, leads us to a proof of an appropriate version of Perrin-Riou's conjecture in this set-up. △ Less

Submitted 15 March, 2022; v1 submitted 7 October, 2015; originally announced October 2015.

Comments: Essentially final version, to appear in Transactions of AMS

On the Iwasawa theory of CM fields for supersingular primes

Authors: Kazim Buyukboduk

Abstract: 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 directi… ▽ More 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 system. This latter result has consequences towards the Birch and Swinnerton-Dyer conjecture for $E$. △ Less

Submitted 25 July, 2016; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: 39 pages, to appear in Transactions of AMS (might slightly differ from the final published version)

MSC Class: 11G05; 11G07; 11G40; 11R23; 14G10

On Nekovář's heights, exceptional zeros and a conjecture of Mazur-Tate-Teitelbaum

Authors: Kazim Büyükboduk

Abstract: Let $E/\mathbb{Q}$ be an elliptic curve which has split multiplicative reduction at a prime $p$ and whose analytic rank $r_{an}(E)$ equals one. The main goal of this article is to relate the second order derivative of the Mazur-Tate-Teitelbaum $p$-adic $L$-function $L_p(E,s)$ of $E$ to Nekovář's height pairing evaluated on natural elements arising from the Beilinson-Kato elements. Along the way, w… ▽ More Let $E/\mathbb{Q}$ be an elliptic curve which has split multiplicative reduction at a prime $p$ and whose analytic rank $r_{an}(E)$ equals one. The main goal of this article is to relate the second order derivative of the Mazur-Tate-Teitelbaum $p$-adic $L$-function $L_p(E,s)$ of $E$ to Nekovář's height pairing evaluated on natural elements arising from the Beilinson-Kato elements. Along the way, we extend a Rubin-style formula of Nekovář (or in an alternative wording, correct another Rubin-style formula of his) to apply in the presence of exceptional zeros. Our height formula allows us, among other things, to compare the order of vanishing of $L_p(E,s)$ at $s=1$ to its (complex) analytic rank $r_{an}(E)$ assuming the non-triviality of the height pairing. This has consequences towards a conjecture of Mazur, Tate and Teitelbaum. △ Less

Submitted 7 January, 2015; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: 31 pages, submitted. Major revision and reorganization. Most notably, we have added an appendix where we give a proof of a Rubin-style formula alluded to in the Abstract

MSC Class: 11G05; 11G07; 11G40; 11R23; 14G10

Big Heegner point Kolyvagin system for a family of modular forms

Authors: Kazim Buyukboduk

Abstract: The principal goal of this paper is to develop Kolyvagin's descent to apply with the big Heegner point Euler system constructed by Howard for the big Galois representation $\mathbb{T}$ attached to a Hida family $\mathbb{F}$ of elliptic modular forms. In order to achieve this, we interpolate and control the Tamagawa factors attached to each member of the family $\mathbb{F}$ at bad primes, which sho… ▽ More The principal goal of this paper is to develop Kolyvagin's descent to apply with the big Heegner point Euler system constructed by Howard for the big Galois representation $\mathbb{T}$ attached to a Hida family $\mathbb{F}$ of elliptic modular forms. In order to achieve this, we interpolate and control the Tamagawa factors attached to each member of the family $\mathbb{F}$ at bad primes, which should be of independent interest. Using this, we then work out the Kolyvagin descent on the big Heegner point Euler system so as to obtain a big Kolyvagin system that interpolates the collection of Kolyvagin systems obtained by Fouquet for each member of the family individually. This construction has standard applications to Iwasawa theory, which we record at the end. △ Less

Submitted 12 May, 2014; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: 24 pages. Many updates to previous version. Added Remark 3.2 explaining in detail how to deduce an exact sequence of the form (3.1) verifying (3.2)

MSC Class: 11G05; 11G10; 11G40; 11R23; 14G10

Deformations of Kolyvagin systems

Authors: Kazim Buyukboduk

Abstract: Ochiai has previously proved that the Beilinson-Kato Euler systems for modular forms interpolate in nearly-ordinary $p$-adic families (Howard has obtained a similar result for Heegner points), based on which he was able to prove a half of the two-variable main conjectures. The principal goal of this article is to generalize Ochiai's work in the level of Kolyvagin systems so as to prove that Kolyva… ▽ More Ochiai has previously proved that the Beilinson-Kato Euler systems for modular forms interpolate in nearly-ordinary $p$-adic families (Howard has obtained a similar result for Heegner points), based on which he was able to prove a half of the two-variable main conjectures. The principal goal of this article is to generalize Ochiai's work in the level of Kolyvagin systems so as to prove that Kolyvagin systems associated to Beilinson-Kato elements interpolate in the full deformation space (in particular, beyond the nearly-ordinary locus) and use what we call universal Kolyvagin systems to attempt a main conjecture over the eigencurve. Along the way, we utilize these objects in order to define a quasicoherent sheaf on the eigencurve that behaves like a $p$-adic $L$-function (in a certain sense of the word, in $3$-variables). △ Less

Submitted 7 January, 2015; v1 submitted 6 March, 2013; originally announced March 2013.

Comments: 48 pages. Went under major revision and reorganization. Comments are most welcome!

MSC Class: 11G05; 11G10; 11G40; 11R23; 14G10

Main conjectures for CM fields and a Yager-type theorem for Rubin-Stark elements

Authors: Kazim Buyukboduk

Abstract: 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 Hsie… ▽ More 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. Furthermore, beyond the cases covered by Hida and Hsieh, we are able to reduce the p-ordinary CM main conjectures to a local statement about the Rubin-Stark elements. We discuss applications of our results in the arithmetic of CM abelian varieties. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 24 pages, comments are very welcome

MSC Class: 11G05; 11G10; 11G40; 11R23; 14G10

Journal ref: International Mathematics Research Notices, Vol. 2014, No. 21, pp. 5832--5873

On Euler systems of rank $r$ and their Kolyvagin systems

Authors: Kazim Buyukboduk

Abstract: In this paper we set up a general Kolyvagin system machinery for Euler systems of rank r (in the sense of Perrin-Riou) associated to a large class of Galois representations, building on our previous work on Kolyvagin systems of Rubin-Stark units and generalizing the results of Kato, Rubin and Perrin-Riou. Our machinery produces a bound on the size of the classical Selmer group attached to a Galoys… ▽ More In this paper we set up a general Kolyvagin system machinery for Euler systems of rank r (in the sense of Perrin-Riou) associated to a large class of Galois representations, building on our previous work on Kolyvagin systems of Rubin-Stark units and generalizing the results of Kato, Rubin and Perrin-Riou. Our machinery produces a bound on the size of the classical Selmer group attached to a Galoys representation T (that satisfies certain technical hypotheses) in terms of a certain r \times r determinant; a bound which remarkably goes hand in hand with Bloch-Kato conjectures. At the end, we present an application based on a conjecture of Perrin-Riou on p-adic L-functions, which lends further evidence to Bloch-Kato conjectures. △ Less

Submitted 30 March, 2011; originally announced March 2011.

Comments: 43 pages, to appear in Indiana U. Math. Journal. May differ from the final version

MSC Class: 11G05; 11G10; 11G40; 11R23; 14G10

Height pairings, exceptional zeros and Rubin's Formula: The multiplicative group

Authors: Kazim Buyukboduk

Abstract: In this paper we prove a formula, much in the spirit of one due to Rubin, which expresses the leading coefficients of various p-adic L-functions in the presence of an exceptional zero in terms of Nekovar's p-adic height pairings on his extended Selmer groups. In a particular case, the Rubin-style formula we prove recovers a p-adic Kronecker limit formula. In a disjoint case, we observe that our co… ▽ More In this paper we prove a formula, much in the spirit of one due to Rubin, which expresses the leading coefficients of various p-adic L-functions in the presence of an exceptional zero in terms of Nekovar's p-adic height pairings on his extended Selmer groups. In a particular case, the Rubin-style formula we prove recovers a p-adic Kronecker limit formula. In a disjoint case, we observe that our computations with Nekovar's heights agree with the Ferrero- Greenberg formula (more generally, Gross' conjectural formula) for the leading coefficient of the Kubota-Leopoldt p-adic L-function (resp., the Deligne-Ribet p-adic L-function) at s = 0. △ Less

Submitted 30 March, 2011; v1 submitted 27 May, 2009; originally announced May 2009.

Comments: 32 pages, to appear in Commentarii Math. Helvetici. May slightly differ from the final form of the paper

MSC Class: 11R23; 11R34; 11R42 (Primary); 11G50 (Secondary)

Stickelberger elements and Kolyvagin systems

Authors: Kazim Buyukboduk

Abstract: In this paper, we construct (many) Kolyvagin systems out of Stickelberger elements, utilizing ideas borrowed from our previous work on Kolyvagin systems of Rubin-Stark elements. We show how to apply this construction to prove results on the odd parts of the ideal class groups of CM fields which are abelian over a totally real field, and deduce the main conjecture of Iwasawa theory for totally real… ▽ More In this paper, we construct (many) Kolyvagin systems out of Stickelberger elements, utilizing ideas borrowed from our previous work on Kolyvagin systems of Rubin-Stark elements. We show how to apply this construction to prove results on the odd parts of the ideal class groups of CM fields which are abelian over a totally real field, and deduce the main conjecture of Iwasawa theory for totally real fields (for totally odd characters). Although the main results of this paper have already been established by Wiles, our approach provides another example (which slightly differs from the case of Stark elements) on how to study Kolyvagin systems of core rank r > 1 (in the sense of Mazur and Rubin). Also, by making use of the 'rigidity' of the collection of Kolyvagin systems, we establish a link between the Stickelberger elements and the Rubin-Stark elements. △ Less

Submitted 30 March, 2011; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: 45 pages, to appear in Nagoya Math. Journal. May slightly differ from the final form

MSC Class: 11R23; 11R29; 11R42; 11R80 (Primary) 11F80; 11R34 (Secondary)

Tamagawa defect of Euler systems

Authors: Kazim Buyukboduk

Abstract: As remarked in [Kolyvagin systems, by Barry Mazur and Karl Rubin] Proposition 6.2.6 and Buyukboduk[ arXiv:0706.0377v1 ] Remark 3.25 one does not expect the Kolyvagin system obtained from an Euler system for a p-adic Galois representation T to be primitive (in the sense of [Kolyvagin systems, by Barry Mazur and Karl Rubin] Definition 4.5.5) if p divides a Tamagawa number at a prime \ell different… ▽ More As remarked in [Kolyvagin systems, by Barry Mazur and Karl Rubin] Proposition 6.2.6 and Buyukboduk[ arXiv:0706.0377v1 ] Remark 3.25 one does not expect the Kolyvagin system obtained from an Euler system for a p-adic Galois representation T to be primitive (in the sense of [Kolyvagin systems, by Barry Mazur and Karl Rubin] Definition 4.5.5) if p divides a Tamagawa number at a prime \ell different from p; thus fails to compute the correct size of the relevant Selmer module. In this paper we obtain a lower bound for the size of the cokernel of the Euler system to Kolyvagin system map (see Theorem 3.2.4 of [Kolyvagin systems, by Barry Mazur and Karl Rubin] for a definition of this map) in terms of the Tamagawa numbers of T, refining [Kolyvagin systems, by Barry Mazur and Karl Rubin] Propostion 6.2.6. We show how this partially accounts for the missing Tamagawa factors in Kato's calculations with his Euler system. △ Less

Submitted 20 October, 2007; originally announced October 2007.

Comments: 20 pages

MSC Class: 11G40; 11F80; 11F11; 11R34

Stark units and main conjectures for totally real fields

Authors: Kazim Buyukboduk

Abstract: 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 algebr… ▽ More 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 statement, however, turns out to be interesting in its own right as it suggests a relation between solutions to $p$-adic and complex Stark conjectures. △ Less

Submitted 21 June, 2007; originally announced June 2007.

Comments: 33 pages

MSC Class: 11R23; 11R27; 11R42; 11R80 (Primary) 11F80; 11R34 (Secondary)

Journal ref: Compositio Math. 145 (2009) 1163-1195

$Λ$-adic Kolyvagin systems

Authors: Kazim Buyukboduk

Abstract: In this paper, we study the deformations of Kolyvagin systems that are known to exist in a wide variety of cases, by the work of B. Howard, B. Mazur, and K. Rubin for the residual Galois representations, along the cyclotomic Iwasawa algebra. We prove, under certain technical hypotheses, that a cyclotomic deformation of a Kolyvagin system exists. We also briefly discuss how our techniques could be… ▽ More In this paper, we study the deformations of Kolyvagin systems that are known to exist in a wide variety of cases, by the work of B. Howard, B. Mazur, and K. Rubin for the residual Galois representations, along the cyclotomic Iwasawa algebra. We prove, under certain technical hypotheses, that a cyclotomic deformation of a Kolyvagin system exists. We also briefly discuss how our techniques could be extended to prove that one could deform Kolyvagin systems for other deformations as well. We discuss several applications of this result, particularly relation of these $Λ$-adic Kolyvagin systems to p-adic L-functions (in view of the conjectures of Perrin-Riou on p-adic L-functions) and applications to main conjectures; also applications to the study of Iwasawa theory of Rubin-Stark units. △ Less

Submitted 30 March, 2011; v1 submitted 4 June, 2007; originally announced June 2007.

Comments: (almost) final version, to appear in IMRN

MSC Class: 11G40; 11F80; 11R23 (Primary) 11R29; 11R34; 11R42 (Secondary)

Kolyvagin systems of Stark units

Authors: Kazim Buyukboduk

Abstract: 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… ▽ More 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]. △ Less

Submitted 4 March, 2008; v1 submitted 14 March, 2007; originally announced March 2007.

Comments: 27 pages, revised version, accepted for publication in J. Reine Angew. Math. (Crelle's)

MSC Class: 11R27; 11R29; 11R42