{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2484074","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2484074","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2484074","kernelVersion":"v1","immutable":true,"modified":"2026-04-03T04:27:47Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2484074","name":"A geometric approach to complete reducibility.","headline":"A geometric approach to complete reducibility.","description":"scientific article; zbMATH DE number 2190623","url":"https://portal.mardi4nfdi.de/entity/Q2484074","datePublished":"2005-08-02","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q312282"},{"@id":"https://portal.mardi4nfdi.de/entity/Q214340"},{"@id":"https://portal.mardi4nfdi.de/entity/Q268256"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163162"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00222-004-0425-9","url":"https://doi.org/10.1007/S00222-004-0425-9"},"sameAs":["https://doi.org/10.1007/S00222-004-0425-9"],"comment":"Let \\(G\\) be a connected reductive linear algebraic group. A subgroup \\(H\\) is called \\(G\\)-completely reducible provided that, whenever \\(H\\) is contained in a parabolic subgroup \\(P\\) of \\(G\\), it is contained in a Levi subgroup \\(L\\) of \\(P\\). This notion is due to \\textit{J.-P.~Serre}, who studied it using the theory of Tits buildings [Astérisque 299, 195-217, Exp.~No.~932 (2005; Zbl 1156.20313)]. There are also the related notions \\(G\\)-irreducible and \\(G\\)-indecomposable subgroup. Now let \\(S\\) be a maximal torus of the centralizer \\(C_G(H)\\) of a subgroup \\(H\\) of \\(G\\). Then \\textit{R.~W.~Richardson} has called \\(H\\) strongly reductive in \\(G\\) provided that \\(H\\) is not contained in any proper parabolic subgroup of \\(C_G(H)\\) [Duke Math. J. 57, No. 1, 1-35 (1988; Zbl 0685.20035)]. Now suppose that \\(H\\) is topologically generated in \\(G\\) by \\(h_1,\\dots,h_n\\). Then Richardson showed that \\(H\\) is strongly reductive in \\(G\\) if and only if the \\(G\\) orbit of \\((h_1,\\dots,h_n)\\) under the simultaneous conjugation action on \\(G^n\\) is closed in \\(G^n\\).   The main result of the present paper is that \\(H\\) is strongly reductive in \\(G\\) if and only if it is \\(G\\)-completely reducible. The arguments are based on geometric invariant theory. The authors deduce a wealth of consequences. They also develop the theory for the case that \\(G\\) is reductive but maybe not connected.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3741718"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3999894"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2648111"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2523827"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2552955"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4095018"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4195138"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5813959"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4338608"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4670625"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1257528"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2387120"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4880267"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1868753"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4822284"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4000275"},{"@id":"https://portal.mardi4nfdi.de/entity/Q698671"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1873799"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1400189"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4354310"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3236704"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4855478"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1895627"},{"@id":"https://portal.mardi4nfdi.de/entity/Q775595"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1259636"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2526017"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4126464"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3919820"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1825962"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4399238"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1368043"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3977493"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4338613"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5906294"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1213013"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4332329"}]},"provenance":{"prov:generatedAtTime":"2026-04-03T04:27:47Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}