The split building of a reductive group (Q1318080)

From MaRDI portal
Revision as of 12:03, 31 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
The split building of a reductive group
scientific article

    Statements

    The split building of a reductive group (English)
    0 references
    0 references
    0 references
    18 September 1994
    0 references
    Suppose \(M\) is a free module of finite rank over a Dedekind domain \(R\). Let \({\mathcal S}(M)\) be the partially ordered set whose elements are \(\{(M_ 1, M_ 2)\mid M_ 1\), \(M_ 2\) are non-zero submodules of \(M\), \(M=M_ 1 \oplus M_ 2\}\) with inclusion relation given by \((M_ 1,M_ 2)\leq (M_ 1', M_ 2')\) if \(M_ 1\subseteq M_ 1'\) and \(M_ 2\supseteq M_ 2'\). \textit{R. M. Charney} [Invent Math. 56, 1-17 (1980; Zbl 0427.18013)] showed that the simplicial object corresponding to \({\mathcal S}(M)\) has the homotopy type of a bouquet of spheres and therefore is spherical -- i.e., has reduced homology which vanishes except in the top dimension. Our starting point is the observation that when \(R\) is a field, this result may by interpreted as a statement about a certain fibre space over the Tits building of \(\text{GL}(n,R)\). In this work we define the notion of split building \({\mathcal S}(V)\) for any finite dimensional vector space \(V\) over a field, which has a sesquilinear (or bilinear) form. In case the form is zero \({\mathcal S}(V)\) coincides with the notion above. If \(G\) is any connected reductive linear algebraic group defined over a field \(k\), we also define the split building \({\mathcal S}(G,k)\) of \(G\) with respect to \(k\). Both \({\mathcal S}(V)\) and \({\mathcal S}(G,k)\) are locally finite posets.
    0 references
    Cohen-Macaulay property
    0 references
    bouquet of spheres
    0 references
    spherical
    0 references
    reduced homology
    0 references
    fibre space
    0 references
    Tits building
    0 references
    split building
    0 references
    connected reductive linear algebraic group
    0 references
    locally finite posets
    0 references

    Identifiers

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