The reciprocity conjecture of Khare and Wintenberger

DOI10.1093/IMRN/RNS259MaRDI QIDQ2878712zbMATH OpenOpenAlexWikidataFDO

Authors Romyar T. Sharifi

Publication date 5 September 2014

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.3226

zbMATH Keywords

cyclotomic \(\mathbb{Z}_p\)-extensionKummer dualLeopoldt conjecturereciprocity conjecture

Mathematics Subject Classification ID

Iwasawa theory (11R23) Class numbers, class groups, discriminants (11R29) Galois theory (11R32)

Abstract: We prove a strengthening of the "reciprocity conjecture" of Khare and Wintenberger. The input to the original conjecture is an odd prime p, a CM number field F containing the pth roots of unity, and a pair of primes of the maximal totally real subfield E of F that are inert in the cyclotomic Z_p-extension of E. In analogy to a statement about generalized Jacobians of curves, the conjecture asserts the equality of two procyclic subgroups of the Galois group G of the maximal p-ramified abelian pro-p extension of E. The first is the intersection of the subgroup of G fixing the cyclotomic Z_p-extension with the closed subgroup of G generated by the two primes. The second is generated by the class of an exact sequence defining the minus part of the p-part of the ray class group of the cyclotomic Z_p-extension of F of conductor the product of the two primes of E.

Review text

The goal of the present paper is to prove the reciprocity conjecture of \textit{C. Khare} and \textit{J.-P. Wintenberger} as found in [Int. Math. Res. Not. 2014, No. 1, 194--223 (2014; Zbl 1307.11117)]. Let \(p\) be an odd prime, \(F\) be a CM number field containing the \(p\)th roots of unity, \((\mathfrak q_1,\mathfrak q_2)\) a pair of primes of the maximal totally real subfield \(F^+\) of \(F\) that are inert in the cyclotomic \(\mathbb Z_p\) extension \(F_\infty^+/F^+\). The conjecture asserts the equality of two pro-cyclic subgroups of the Galois group of the maximal pro-\(p\) extension \(\mathcal M\) of \(F_\infty^+\) that is unramified outside \(p\) and abelian over \(F^+\). The first is the Frobenius line \(M_G\) defined as the intersection with \(\mathrm{Gal}(\mathcal M/F_\infty^+)\) of the closed subgroup of \(\mathrm{Gal}(\mathcal M/F^+)\) generated by the Frobenius elements of \(\mathfrak q_1\) and \(\mathfrak q_2\). The second is the ray class line \(N_G\) generated by the class of an exact sequence defining the minus part of the \(p\)-part of the ray class group of \(F_\infty\) of conductor \(\mathfrak q_1\mathfrak q_2\).

Recommendations

• Generators and Relations for Certain Class Two Galois Groups
• Triviality of Iwasawa module associated to some abelian fields of prime conductors
• A higher rank Euler system for Gm over a totally real field
• Greenberg conjectures and free pro-p-extensions of a number field
• Class numbers of real quadratic fields
• On the maximal unramified p-extension of an algebraic number field.
• Some problems on \(p\)-class field towers
• The commutativity of the Galois groups of the maximal unramified pro-\(p\)-extensions over the cyclotomic \(\mathbb Z_p\)-extensions
• Galois coinvariants of the unramified Iwasawa modules of multiple \(\mathbb{Z}_p\)-extensions
• scientific article; zbMATH DE number 5382078

This page was built for publication: The reciprocity conjecture of Khare and Wintenberger

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2878712)