Infinite subgroups of the Morava stabilizer groups (Q1292640): Difference between revisions
From MaRDI portal
Created a new Item |
Created claim: Wikidata QID (P12): Q128201179, #quickstatements; #temporary_batch_1723800143925 |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Vassily Gorbounov / rank | |||
Property / author | |||
Property / author: Mark E. Mahowald / rank | |||
Property / reviewed by | |||
Property / reviewed by: Paul M. Cohn / rank | |||
Property / author | |||
Property / author: Vassily Gorbounov / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Mark E. Mahowald / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Paul M. Cohn / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/s0040-9383(97)00100-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2048637021 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q128201179 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:28, 16 August 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite subgroups of the Morava stabilizer groups |
scientific article |
Statements
Infinite subgroups of the Morava stabilizer groups (English)
0 references
6 June 2000
0 references
Let \(D\) be a division algebra over the \(p\)-adic field \(\mathbb{Q}_p\), of index \(n\) and Hasse invariant \(\tfrac 1n\). Write \(W\) for the totally unramified extension of \(\mathbb{Q}_p\) of degree \(n\). Then the Galois group of \(W/\mathbb{Q}_p\) is cyclic of order \(n\), generated by the Frobenius automorphism \(\sigma\). The crossed product algebra of \(W\) and \(\text{gal}(W/\mathbb{Q}_p)\) leads to \(D\) by taking \(s\) such that \(s^n=p\) and the inner automorphism defined by \(s\) realizes \(\sigma\). The authors are concerned with the group of units in the maximal order in \(D\). It is a \(p\)-adic Lie group, called the Morava stabilizer group and denoted by \(S_n\). The subgroup of \(S_n\) consisting of strict units (i.e., \(u\) such that \(u\equiv 1\pmod s\)) is written \(S^0_n\) and the kernel of the reduced norm, restricted to \(S^0_n\) is denoted by \(S\ell\). Now the authors prove the following main theorem. \(S\ell\) contains a \(p\)th root of \(1\), \(\alpha\) such that (i) \(\{\alpha^{\omega i}\mid 1\leq i<p\}\) where \(\omega\) is a \((p-1)\)st root of \(-p\), generate an infinite subgroup \(G\) of \(S\ell\), isomorphic to the free product of \(p-1\) copies of \(\mathbb{Z}/p\), and (ii) \(G\) is dense in \(S\ell\). This result has applications to topology which are briefly discussed: each group \(S_n\) has a representation by automorphisms of a certain ring \(E_n\) and the cohomology of \(S_n\) with coefficients in this representation is related to the homotopy groups of the Bousfield localizations of the sphere, which in turn approximate the homotopy groups of spheres.
0 references
division algebras
0 references
\(p\)-adic fields
0 references
index
0 references
Hasse invariants
0 references
Galois groups
0 references
crossed product algebras
0 references
groups of units
0 references
maximal orders
0 references
\(p\)-adic Lie groups
0 references
Morava stabilizer groups
0 references
strict units
0 references
reduced norms
0 references
free products
0 references
cohomology
0 references
homotopy groups
0 references
Bousfield localizations
0 references