Topological central extensions of semi-simple groups over local fields. I, II (Q801041): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
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.2307/2006967 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4235907238 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 18:55, 19 March 2024

scientific article
Language Label Description Also known as
English
Topological central extensions of semi-simple groups over local fields. I, II
scientific article

    Statements

    Topological central extensions of semi-simple groups over local fields. I, II (English)
    0 references
    0 references
    0 references
    1984
    0 references
    A central extension \(U\) of a group \(G\) is called universal if any central extension \(E\) of \(G\) factors uniquely through a homomorphism \(U\to E\) over \(G\); such an extension exists if and only if \(G\) is equal to its commutator subgroup \(G'=(G,G)\) and then it is unique up to a \(G\)-isomorphism. In this case, such a universal central extension is described from a free group \(F\) with image \(G\) as the commutator group of \(F/(K,F)\) with \(K\) the kernel of \(F\to G\), and the kernel of the projection of this extension onto \(G\) is naturally the second homology group \(H_2(G,{\mathbb{Z}})\). When \(G\) is a topological group, one has to consider the topological central extensions; when the group is second countable, the classes of central extensions of \(G\) by a commutative group are classified by the group \(H^2(G,C)\) of measurable classes of 2-cocycles on \(G\) with values in \(C\). For the group \(G=SL_ 2(F)\) over a field \(F\), the restriction to \(F^{\times}\) embedded in \(G\) by the co-root \(t\mapsto\left(\begin{smallmatrix} t&0\\ 0&t^{-1}\end{smallmatrix}\right)\) of a 2-cocycle on \(G\) gives a 2-cocycle on \(F^{\times}\), and using the presentation given by R. Steinberg, C. Moore and H. Matsumoto described all the co-cycles obtained, using a short co-root and also those coming from the case when \(F\) is a local field and the extensions are topological. For a non-archimedean local field, this gives \(H_ 2(G,{\mathbb{Z}})\) as the group \(\mu(F)\) of roots of unity in \(F\), and \(H^ 2(G,{\mathbb{R}}/{\mathbb{Z}})\) as its dual \(\mu(F)^{\wedge}\) sent in \(H^ 2(G,{\mathbb{R}}/{\mathbb{Z}})\) through the norm residue symbol and the above restriction from \(G\) to \(F^{\times}\). H. Matsumoto proved that the same result holds when \(G\) is the group of \(F\)-points, \(F\) a non-archimedean local field, of a connected, simply connected, simple, split algebraic group over \(F\), and the case of quasi-split groups was done by V. V. Deodhar and P. Deligne. These methods are based on the presentation given by R. Steinberg of the Chevalley groups. In this article, the authors deal with the group \(G\) of rational points in a non-archimedean local field \(F\) of a connected, simply-connected, absolutely simple, isotropic algebraic group over \(F\). They use the Bruhat-Tits building of this group on which it acts simplicially to reduce the computation of the cohomology of \(G\) to the one of the parahoric subgroups. They observe that \(H^ 2(G,{\mathbb{R}}/{\mathbb{Z}})\) is in fact \(H^ 2(G,{\mathbb{Q}}/{\mathbb{Z}})\) with the discrete topology on \({\mathbb{Q}}/{\mathbb{Z}}\), and they decompose \({\mathbb{Q}}/{\mathbb{Z}}\) in its \(p\)-primary component -- \(p\) is the residual characteristic of the field -- and its \(p'\)-primary component. This latter gives \(H^ 2(G,({\mathbb{Q}}/{\mathbb{Z}})_{p'})\) as the dual of \(\mu (F)_{p'}\), the group of roots of unity of order prime to \(p\); the former leads to \(H^ 2(G,({\mathbb{Q}}/{\mathbb{Z}})_ p)\) as the dual of \(\mu(F)_ p\) or to a subgroup of index two in \(\mu(F)^{\wedge}_ p\), and this part is technically the most difficult one of the paper. As a consequence of the determination of \(H^ 2(G,{\mathbb{R}}/{\mathbb{Z}})\), the authors prove that \(G\) is equal to its commutator subgroup, that \(G\) admits a universal central extension in the topological sense with fundamental group the dual of \(H^ 2(G,{\mathbb{R}}/{\mathbb{Z}})\). They also sketch a proof of the Kneser-Tits conjecture, proved by V. P. Platonov by a case by case check, which asserts that \(G\) is generated by the unipotent radicals of its \(F\)-parabolic subgroups.
    0 references
    universal central extensions
    0 references
    topological central extensions
    0 references
    local field
    0 references
    roots of unity
    0 references
    norm residue symbol
    0 references
    quasi-split groups
    0 references
    rational points
    0 references
    non-archimedean local fields
    0 references
    connected, simply-connected absolutely simple isotropic algebraic groups
    0 references
    Bruhat-Tits buildings
    0 references
    cohomology
    0 references
    parahoric subgroups
    0 references
    Kneser-Tits conjecture
    0 references
    unipotent radicals
    0 references
    parabolic subgroups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references