Iwasawa theory for K2nOF

Qingzhong Ji,Hourong Qin

DOI: https://doi.org/10.1017/is013004020jkt225

2013-01-01

Abstract:Given a number field F and a prime number p, let F-n denote the cyclotomic extension with [F-n : F] = p(n), and let OFn denote its ring of integers. We establish an analogue of the classical Iwasawa theorem for the orders of K-2i(OFn){p}.

What problem does this paper attempt to address?

Iwasawa Theory for K2n

Qingzhong Ji,Hourong Qin

DOI: https://doi.org/10.1017/is013004020jkt225

2013-01-01

Abstract:AbstractGiven a number field F and a prime number p; let Fn denote the cyclotomic extension with [Fn : F] = pn; and let $\mathematical script capital(O)_F_n\$ denote its ring of integers. We establish an analogue of the classical Iwasawa theorem for the orders of K2i ($\mathematical script capital(O)_F_n\$){p}.
The 2-Sylow subgroup of K2OF for number fields F

Qin Hourong

DOI: https://doi.org/10.1016/j.jalgebra.2004.10.024

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:Let F be a quadratic number field. We give a criterion, via Hilbert symbols, for an element of order two in the tame kernel of F to be a fourth power in the tame kernel of F. The result can be applied to compute the 8-rank of the tame kernel of F and the Tate kernel of an imaginary quadratic number field. We list the 8-ranks of K2OF for all quadratic number fields whose discriminants have exactly two odd prime divisors. In the case when F is an imaginary quadratic number field with the 8-rank of K2OF=0, the Tate kernel of F is given too. An application of our method to the maximal real subfield of a cyclotomic field is discussed. Numerical examples, in particular the examples of quadratic number fields F with 4-rank of K2OF= 8-rank of K2OF=2 illustrate our results.
The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

Hourong Qin,Haiyan Zhou

DOI: https://doi.org/10.1016/j.jpaa.2006.05.029

IF: 0.834

2007-01-01

Journal of Pure and Applied Algebra

Abstract:Let F be a cubic cyclic field with exactly one ramified prime p,p>7, or F=Q(d), a real quadratic field with d≢6(mod9). In this paper, we study the 3-primary part of K2OF. If 3 does not divide the class number of F, we get some results about the 9-rank of K2OF. In particular, in the case of a cubic cyclic field F with only one ramified prime p>7, we prove that four conclusions concerning the 3-primary part of K2OF, obtained by J. Browkin by numerical computations for primes p, 7≤p≤5000, are true in general.
Non-vanishing of Kolyvagin systems and Iwasawa theory

Ashay Burungale,Francesc Castella,Giada Grossi,Christopher Skinner

2023-12-15

Abstract:Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime. In 1991 Kolyvagin conjectured that the system of cohomology classes for the $p$-adic Tate module of $E$ derived from Heegner points on $E$ over ring class fields of an imaginary quadratic field $K$ is non-trivial. In this paper we prove Kolyvagin's conjecture in the cases where $p$ is a prime of good ordinary reduction for $E$ that splits in $K$ and a $p$-adic anticyclotomic Iwasawa Main Conjecture for $E/K$ holds. In particular, our results cover many cases where $p$ is an Eisenstein prime, complementing W. Zhang's progress towards the conjecture. Our methods also yield a proof of a refinement of Kolyvagin's conjecture expressing the divisibility index of the $p$-adic Heegner point Kolyvagin system in terms of the Tamagawa numbers of $E$, as conjectured by W. Zhang in 2014, as well as proofs of analogous results for the Kolyvagin systems obtained from the cyclotomic Euler system of Beilinson--Kato elements.

Number Theory
Reflection theorems and the p-Sylow subgroup of K2 OF for a number field F

Hourong Qin

DOI: https://doi.org/10.1016/j.jpaa.2009.10.005

IF: 0.834

2010-01-01

Journal of Pure and Applied Algebra

Abstract:For any odd prime p, we present a reflection theorem which for p=3 is the Scholz Reflection Theorem. We obtain some formulas for the p-rank and the pn-rank(K2OF), where F is a number field. With the help of our reflection theorem, we establish relations between the pn-divisibility of the order of K2OF and the pn-divisibility of the class number of some algebraic number fields F.
On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

Peikai Qi,Matt Stokes

2024-08-07

Abstract:Let $p$ be an odd prime, and $m,r \in \mathbb{Z}^+$ with $m$ coprime to $p$. In this paper we investigate the real quadratic fields $K = \mathbb{Q}(\sqrt{m^2p^{2r} + 1})$. We first show that for $m < C$, where constant $C$ depends on $p$, the fundamental unit $\varepsilon$ of $K$ satisfies the congruence $\varepsilon^{p-1} \equiv 1 \mod{p^2}$, which implies that $K$ is a non $p$-rational field. Varying $r$ then gives an infinite family of non $p$-rational fields. When $m = 1$ and $p$ is a non-Wieferich prime, we use a criterion of Fukuda and Komatsu to show that if $p$ does not divide the class number of $K$, then the Iwasawa invariants for cyclotomic $\mathbb{Z}_p$-extension of $K$ vanish. We conjecture that there are infinitely many $r$ such that $p$ does not divide the class number of $K$.

Number Theory
The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

Hourong Qin

DOI: https://doi.org/10.1016/j.jalgebra.2004.10.024

IF: 0.908

2005-01-01

Journal of Algebra

Abstract:Let F be a quadratic number field. We give a criterion, via Hilbert symbols, for an element of order two in the tame kernel of F to be a fourth power in the tame kernel of F. The result can be applied to compute the 8-rank of the tame kernel of F and the Tate kernel of an imaginary quadratic number field. We list the 8-ranks of K2OF for all quadratic number fields whose discriminants have exactly two odd prime divisors. In the case when F is an imaginary quadratic number field with the 8-rank of K2OF=0, the Tate kernel of F is given too. An application of our method to the maximal real subfield of a cyclotomic field is discussed. Numerical examples, in particular the examples of quadratic number fields F with 4-rank of K2OF= 8-rank of K2OF=2 illustrate our results.
On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

Xiao Yun Cheng,Xue Jun Guo

DOI: https://doi.org/10.1007/s10114-016-5053-y

2016-01-01

Abstract:Let $F = Q\left( {\sqrt p } \right)$, where p = 8t+1 is a prime. In this paper, we prove that a special case of Qin’s conjecture on the possible structure of the 2-primary part of K 2 O F up to 8-rank is a consequence of a conjecture of Cohen and Lagarias on the existence of governing fields. We also characterize the 16-rank of K 2 O F , which is either 0 or 1, in terms of a certain equation between 2-adic Hilbert symbols being satisfied or not.
A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

Xuejun Guo

DOI: https://doi.org/10.1080/00927870701404333

2007-01-01

Communications in Algebra

Abstract:Let F be a totally real number field with degree n = [F: Q] >= 3. Mazur and Urbanowicz proved that ifK2OF similar or equal to (Z/2Z)([F:Q]) (*)and F is not Q(zeta(7) +zeta(-1)(7)) or Q(zeta(9) + zeta(-1)(9)), then F must be one of the 14 cases listed in Mazur and Urbanowicz (1992). In this article, it is proved that 3 of these 14 cases don't satisfy (*), while all the other cases satisfy (*). Hence we find all totally real number fields which satisfy (*).
On the Birch-Tate conjecture for cyclic number fields

Feng Keqin

DOI: https://doi.org/10.1016/0022-4049(87)90111-3

IF: 0.834

1987-01-01

Journal of Pure and Applied Algebra

Abstract:The proof of the Main Conjecture in Iwasawa theory by Mazur and Wiles implies that the Birch-Tate conjecture #K2(OF) = w2(F)|ζF(−1)| is true up to 2-torsion for real abelian number fields. In the present paper the even part of the Birch-Tate conjecture is verified for cyclic number fields F with odd prime degree p if the order of 2 mod p is even, 2 is inertial in F and the class number h(F) of F is odd.
Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

Josue Avila

2024-10-23

Abstract:For a real quadratic field $K=\mathbb{Q}(\sqrt{D})$, let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{p}$-extension of $K$. Greenberg conjectured that the corresponding Iwasawa module $X_{\infty}$ is finite. Building on the work of Mouhib and Movahhedi, we provide new examples of real quadratic fields for which the conjecture holds, when $X_{\infty}$ is cyclic and the prime is $p=2$. Furthermore, we find a fundamental system of units for certain biquadratic fields of the form $\mathbb{Q}(\sqrt{2}, \sqrt{D})$ and show how to use it to calculate the order of $X_{\infty}$.

Number Theory
On the $K$-theory of $\mathbf{Z}/p^n$

Benjamin Antieau,Achim Krause,Thomas Nikolaus

2024-05-07

Abstract:We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes the rings $\mathbf{Z}/p^n$ where $p$ is a prime.

K-Theory and Homology,Algebraic Geometry,Algebraic Topology
Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Junhwa Choi,Yukako Kezuka,Yongxiong Li

DOI: https://doi.org/10.4310/ajm.2019.v23.n3.a2

2019-01-01

Asian Journal of Mathematics

Abstract:Let K = Q(root-q), where q is any prime number congruent to 7 modulo 8, and let O be the ring of integers of K. The prime 2 splits in K, say 2O = pp*, and there is a unique Z(2)-extension K-infinity of K which is unramified outside p. Let H be the Hilbert class field of K, and write H-infinity = HK infinity. Let M(H-infinity) be the maximal abelian 2-extension of H-infinity which is unramified outside the primes above p, and put X(H-infinity) = Gal(M(H-infinity)/H-infinity). We prove that X(H-infinity) is always a finitely generated Z(2)-module, by an elliptic analogue of Sinnott's cyclotomic argument. We then use this result to prove for the first time the weak p-adic Leopoldt conjecture for the compositum J(infinity) of K-infinity with arbitrary quadratic extensions J of H. We also prove some new cases of the finite generation of the Mordell-Weil group E(J(infinity)) modulo torsion of certain elliptic curves E with complex multiplication by O.
Iwasawa theory for Rankin-Selberg convolution at an Eisenstein prime

Somnath Jha,Sudhanshu Shekhar,Ravitheja Vangala

2023-12-13

Abstract:Let $p$ be an odd prime, $ f$ be a $ p $-ordinary newform of weight $ k $ and $ h $ be a normalized cuspidal $ p $-ordinary Hecke eigenform of weight $ l < k$. In this article, we study the $p$-adic $ L $-function and $ p^{\infty} $-Selmer group of the Rankin-Selberg product of $f$ and $h$ under the assumption that $ p $ is an Eisenstein prime for $ h $ i.e. the residual Galois representation of $ h $ at $ p $ is reducible. We show that the $ p $-adic $ L $-function and the characteristic ideal of the $p^\infty$-Selmer group of the Rankin-Selberg product of $f, h$ generate the same ideal modulo $ p $ in the Iwasawa algebra i.e. the Rankin-Selberg Iwasawa main conjecture for $f \otimes h$ holds mod $p$. As an application to our results, we explicitly describe a few examples where the above congruence holds.

Number Theory
A number field analogue of Weil's theorem on congruent zeta functions

Manabu Ozaki

2023-06-07

Abstract:Let $K$ be a function field of one variable over a finite field $\mathbb{F}$. Weil's celebrated theorem states that the congruent zeta function of $K/\mathbb{F}$ is determined by the $\mathrm{Gal}(\overline{\mathbb{F}}/\mathbb{F})$-module structure of $X_{\overline{\mathbb{F}}K}(p)\otimes_{\mathbb{Z}_p}\mathbb{Q}_p$, and vise versa, where $p$ is a prime number different from the characteristic of $K$ and $X_{\overline{\mathbb{F}}K}(p)$ stands for the Galois group of the maximal unramified abelian $p$-extension over $\overline{\mathbb{F}}K$. In the present paper, I will give a number field analogue of the above mentioned theorem by considering the total cyclotomic extension, which we may regard as a number field analogue of $\overline{\mathbb{F}}K/K$.

Number Theory
2-SYLOW SUBGROUPS OF K2OF FOR REAL QUADRATIC FIELDS-F

HR QIN

1994-01-01

Abstract:A method which can be used to determine the structures of 2-Sylow subgroups of K2OF for real quadratic fields F is given. By this method, the structures of the 2-Sylow subgroups of K2OF for real quadratic fields are determined. The method here is suitable for the non-elementary Abelian case as well as the elementary Abelian case.
Classical Iwasawa theory and infinite descent on a family of abelian varieties

John Coates,Jianing Li,Yongxiong Li

DOI: https://doi.org/10.1007/s00029-021-00644-3

2021-01-01

Abstract:For primes q ≡ 7 mod 16 , the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of integers of the field K = ℚ(√(-q)) , which are in perfect accord with the predictions of the conjecture of Birch and Swinnerton-Dyer. We also prove some interesting phenomena related to a classical conjecture of Greenberg, and give a new proof of an old theorem of Hasse.
On the anticyclotomic Iwasawa theory of newforms at Eisenstein primes of semistable reduction

Timo Keller,Mulun Yin

2024-10-31

Abstract:Let $f$ be a newform of weight $k=2r$ and level $N$ with trivial nebentypus. Let $\mathfrak{p}\nmid 2N$ be a maximal ideal of the ring of integers of the coefficient field of $f$ such that the self-dual twist of the mod-$\mathfrak{p}$ Galois representation of $f$ is reducible with constituents $\phi,\psi$. Denote a decomposition group over the rational prime $p$ below $\mathfrak{p}$ by $G_p$. We remove the condition $\phi|_{G_p} \neq \mathbf{1}, \omega$ from [CGLS22], and generalize their results to newforms of higher weights $2r$ with $r$ being odd. As a consequence, we prove some Iwasawa Main Conjectures and get the $p$-part of the strong BSD Conjecture for elliptic curves of analytic rank $0$ or $1$ over $\mathbf{Q}$ in this setting. In particular, non-trivial $p$-torsion is allowed in the Mordell--Weil group. Using Hida families, we also prove an Iwasawa Main Conjecture for newforms of weight $2$ of multiplicative reduction at Eisenstein primes. In the above situations, we also get $p$-converse to the theorems of Gross--Zagier--Kolyvagin. The $p$-converse theorems have applications to Goldfeld's conjecture in certain quadratic twist families of elliptic curves having a $3$-isogeny.

Number Theory
A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)

Xin Wan

2023-04-20

Abstract:Let $p>3$ be a prime. In this paper we develop a new kind of anticyclotomic local $\pm$-Iwasawa theory at $p$ for Hecke characters of quadratic imaginary fields which is valid for all ramification types of $p$ (split, inert and ramified). As an application we deduce the converse of Gross-Zagier-Kolyvagin theorem for these CM forms, which states that Selmer rank one implies analytic rank one. To carry out the Iwasawa theory argument we employ a recent construction of a new type of $p$-adic $L$-function by Andreatta-Iovita, and generalized by Yangyu Fan to Shimura curves in the Appendix, and a ``virtual Heenger family'' made via a limiting procedure from a Heegner family along Coleman-Mazur eigencurve constructed by Jetchev-Loeffler-Zerbes.

Number Theory
Iwasawa theory of Frobenius-torsion class group schemes

Jeremy Booher,Bryden Cais,Joe Kramer-Miller,James Upton

2024-07-19

Abstract:We establish a new Iwasawa theory for the kernel of Frobenius on Jacobians of curves in geometric $\mathbf{Z}_p$-towers over the projective line in characteristic $p$, thereby proving several of the main conjectures of [<a class="link-https" data-arxiv-id="2107.12555" href="https://arxiv.org/abs/2107.12555">arXiv:2107.12555</a>].

Number Theory,Algebraic Geometry

Iwasawa theory for K2nOF

Iwasawa Theory for K2n

The 2-Sylow subgroup of K2OF for number fields F

The 3-Sylow Subgroup of the Tame Kernel of Real Number Fields

Non-vanishing of Kolyvagin systems and Iwasawa theory

Reflection theorems and the p-Sylow subgroup of K2 OF for a number field F

On the Non p-Rationality and Iwasawa Invariants of Certain Real Quadratic Fields

The 2-Sylow subgroup of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msub><mml:mi>K</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:msub><mml:mi>O</mml:mi><mml:mi>F</mml:mi></mml:msub></mml:math> for number fields F

On the 2-Primary Part of Tame Kernels of Real Quadratic Fields

A Remark on K-2 of the Rings of Integers of Totally Real Number Fields

On the Birch-Tate conjecture for cyclic number fields

Iwasawa module of the cyclotomic $\mathbb{Z}_{2}$-extension of certain real quadratic fields

On the $K$-theory of $\mathbf{Z}/p^n$

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

Iwasawa theory for Rankin-Selberg convolution at an Eisenstein prime

A number field analogue of Weil's theorem on congruent zeta functions

2-SYLOW SUBGROUPS OF K2OF FOR REAL QUADRATIC FIELDS-F

Classical Iwasawa theory and infinite descent on a family of abelian varieties

On the anticyclotomic Iwasawa theory of newforms at Eisenstein primes of semistable reduction

A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)

Iwasawa theory of Frobenius-torsion class group schemes