### A cup product in the Galois cohomology of number fields

William G. McCallum and Romyar T. Shafiri
Source: Duke Math. J. Volume 120, Number 2 (2003), 269-310.

#### Abstract

Let K be a number field containing the group μn of nth roots of unity, and let S be a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal S-ramified extension of K with coefficients in μn, which yields a pairing on a subgroup of $K\sp \mathsf{x}$ containing the S-units. In this general situation, we determine a formula for the cup product of two elements that pair trivially at all local places.

Our primary focus is the case in which $K=\mathbb {Q}(\mu\sb p)$ for n=p, an odd prime, and S consists of the unique prime above p in K. We describe a formula for this cup product in the case that one element is a pth root of unity. We explain a conjectural calculation of the restriction of the cup product to p-units for all p≤10,000\$ and conjecture its surjectivity for all p satisfying Vandiver's conjecture. We prove this for the smallest irregular prime p=37 via a computation related to the Galois module structure of p-units in the unramified extension of K of degree p.

We describe a number of applications: to a product map in K-theory, to the structure of S-class groups in Kummer extensions of S, to relations in the Galois group of the maximal pro-p extension of $\mathbb {Q}(mu\sb p)$ unramified outside p, to relations in the graded ℤp-Lie algebra associated to the representation of the absolute Galois group of ȑA in the outer automorphism group of the pro-p fundamental group of $\mathbf {P}\sp 1(\overline \mathbb {Q})-\{0,1,\infty\}$, and to Greenberg's pseudonullity conjecture.

First Page:
Primary Subjects: 11R34
Secondary Subjects: 11R23, 11R29, 11R70, 20F34
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Permanent link to this document: http://projecteuclid.org/euclid.dmj/1082138585
Digital Object Identifier: doi:10.1215/S0012-7094-03-12023-2
Mathematical Reviews number (MathSciNet): MR2019977
Zentralblatt MATH identifier: 1047.11106
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8494000434875488, "perplexity_flag": "middle"}