Steinberg groups for Jordan pairs (Q990231): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3941610 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups with Steinberg relations and coordinatization of polygonal geometries / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable range and linear groups for alternative rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3993275 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5620817 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Jordan pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On algebraic groups defined by Jordan pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary groups and stability for Jordan pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Steinberg groups and simplicity of elementary groups defined by Jordan pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Locally finite root systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5751041 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniqueness and presentation of Kac-Moody groups over fields / rank
 
Normal rank

Latest revision as of 03:30, 3 July 2024

scientific article
Language Label Description Also known as
English
Steinberg groups for Jordan pairs
scientific article

    Statements

    Steinberg groups for Jordan pairs (English)
    0 references
    0 references
    0 references
    6 September 2010
    0 references
    Given a locally finite root system \(\phi\), for any two elements \(\alpha\) and \(\beta\) in \(\phi\), the authors define \(((\alpha,\beta)):=\phi\cap(\mathbb N_+\alpha+\mathbb N_+\beta)\) where \(\mathbb N_+:=\{x\in\mathbb N: x>0\}\). A pair \((\alpha, \beta)\) of roots is said to be nilpotent if \(p\alpha+q\beta\neq 0\) for all \(p,q\in\mathbb N_+\). A \textsl{group with commutator relations} of type \(\phi\) is a group \(G\) provided with a family of subgroups \((U_\alpha)_{\alpha\in\phi}\) (called the \textsl{root groups}) which generate \(G\) and for which the commutator relations \(((U_\alpha,U_\beta))\subset U_{((\alpha,\beta))}\) hold for all nilpotent pairs \((\alpha,\beta)\). The notations \(U_{((\alpha,\beta))}\) stands for the subgroup of \(G\) generated by all \(U_\gamma\) where \(\gamma\in((\alpha,\beta))\) (plus some additional condition if \(\phi\) is not reduced). Given any two groups with \(\phi\)-commutator relations, the notion of a morphism \(\phi: (G,U_\alpha)\to(\tilde G, {\tilde U}_\alpha)\) is the obvious one: root groups are \(\phi\)-invariant. In the paper, the authors use the notion of \textsl{strong morphism} which roughly speaking amounts to requiring that each restriction \(\phi: U_\alpha\to {\tilde U}_\alpha\) is bijective and that \(G\) has the same generators and commutator relations than \(\tilde G\). For a fixed group with \(\phi\)-commutator relations \((\tilde G, {\tilde U}_\alpha)\) we can consider the category whose objects are the pairs \((G,s)\) where \(G=(G,U_\alpha)\) is a group with \(\phi\)-commutator relations and \(s: G\to \tilde G\) is a strong morphism. An initial element for this category is called a \textsl{Steinberg group} of \(\tilde G\). Consider a Jordan pair \(V\) over a commutative (associative) unitary ring \(k\) and its Tits-Kantor-Koecher algebra \(g(V)=g=g_{-1}\oplus g_0\oplus g_1\) (where \(g_{\pm 1}=V^{\pm}\) as \(k\)-modules.) Since \(\text{ad}(x)^3=0\) for \(x\in g_{\pm}\) we can exponentiate \(\text{ad}(x)\) and so define the \textsl{projective elementary group} of \(V\) by \(\text{PE}(V)=(\exp_+(V^+),\exp_-(V^-))\), a subgroup of the automorphism group of \(g\). The paper announces results on projective elementary groups and on Steinberg groups associated to Jordan pairs \(V\) with a grading by locally finite 3-graded root systems \(\phi\): the projective elementary group \(\text{PE}(V)\) of \(V\) is a group with \(\phi\)-commutator relations with respect to suitable root subgroups. Under certain conditions the Steinberg group associated to \(\text{PE}(V)\) covers all central extensions of \(\text{PE}(V)\) and is the universal central extension of \(\text{PE}(V)\) if \(\phi\) is irreducible and has infinite rank.
    0 references
    Steinberg groups
    0 references
    Jordan pairs
    0 references
    locally finite root systems
    0 references
    central extensions
    0 references

    Identifiers