{"entities":{"Q6935763":{"pageid":21118212,"ns":120,"title":"Item:Q6935763","lastrevid":84111938,"modified":"2026-05-10T08:43:13Z","type":"item","id":"Q6935763","labels":{"en":{"language":"en","value":"Essentials dimension of reductive groups via generically free representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8087458"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$EF111425-3D5E-49C1-977B-871B7273D8B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3461ce402c799b77cde5df0370c88ad6f24c76dd","datavalue":{"value":{"text":"Essentials dimension of reductive groups via generically free representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6935763$4A5BACAB-90A2-4F74-B06B-169614BEE85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97d882ba1beeda7da7e3b6bea4aecfe16ef4d616","datavalue":{"value":"1573.20065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$32923351-2B48-4E5E-A45D-39886DC44E84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be238c27e2b8eed1fc06a98eb2fe6e7156905fb9","datavalue":{"value":"10.1016/J.JPAA.2025.108044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$E32D4C91-6DAA-47D9-84BB-3758945C15FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2eb4e94f35e48442dcfbf7929d82d0a2fa036c7","datavalue":{"value":{"entity-type":"item","numeric-id":418685,"id":"Q418685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$2EFC07B0-E39D-4697-B76E-78DE3F9356FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42d754ef9bf5e5960b843af5e7c83355a645253c","datavalue":{"value":{"entity-type":"item","numeric-id":6115732,"id":"Q6115732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$9C716093-0C22-45BD-A6BA-C24CDE21F3C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$DB89A35F-A01D-4295-9655-A43CBDD9486C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6935763$8DFFB239-FC5B-4930-8154-731A7AAD7074","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8786104d82876eb45d1fc813638c2ea10eec3e25","datavalue":{"value":"Let \\(G\\) be an algebraic group over a field \\(k\\) and \\( K/k \\) a field extension. A \\(G\\)-torsor \\( \\alpha: Y\\rightarrow Z \\) is called versal if every \\(G\\)-torsor \\( X\\rightarrow\\mathrm{Spec} ( K ) \\) with \\(K\\) infinite is isomorphic to the pull-back of \\(\\alpha\\) with respect to a point \\( \\mathrm{Spec} ( K )\\rightarrow Z \\) and such points form a dense subset of \\(Z\\). The essential dimension \\( \\mathrm{ed} ( G ) \\) of \\(G\\) is the smallest dimension \\( \\dim Z \\) of a versal \\(G\\)-torsor \\( Y\\rightarrow Z \\).\\N\\NLet \\(G\\) act on a geometrically irreducible variety \\(X\\) over \\(k\\). A closed subgroup scheme \\(S\\) of \\(G\\) is called a generic stabilizer of \\(X\\) if there exists a dense open subset \\(U\\) of \\(X\\) such that the scheme-theoretic stabilizer of every \\( \\bar{k} \\)-point in \\(U\\) is conjugate to \\(S\\), where \\( \\bar{k} \\) denotes the algebraic closure of \\(k\\). A \\(G\\)-action \\(X\\) is said to be generically free if the trivial subgroup scheme of \\(G\\) is a generic stabilizer for this action.\\N\\NIf \\(G\\) is a split semisimple group over \\(k\\), then \\( G_{\\mathrm{red}} \\) denotes a strict reductive envelope of \\(G\\), i.e. \\( G_{\\mathrm{red}} \\) is a split reductive group such that \\(G\\) is its semisimple part and the center \\( Z ( G_{\\mathrm{red}} ) \\) is a torus.\\N\\NIn the paper under review, the authors provide a method to compute upper bounds on the essential dimension of an arbitrary semisimple group and its strict reductive envelope by constructing a generically free representation. More precisely, they compute an upper bound of the essential dimension of a semisimple group \\(G\\) and its reductive envelope \\( G_{\\mathrm{red}} \\) with \\(m\\) simple components of the form \\(G = ( \\tilde{G}_{1}\\times\\dots\\times\\tilde{G}_{m} ) / \\mu \\) where each \\( \\tilde{G}_{i} \\) is a simple simply connected group and \\(\\mu\\) is a central subgroup \\( \\tilde{G}_{1}\\times\\dots\\times\\tilde{G}_{m} \\) with no direct factors of the center of \\( \\tilde{G}_{i} \\) for all \\( 1 \\le i \\le m \\). This is given by Theorem 2.2 below in which the following notation is adopted.\\N\\NIf \\(G\\) is any algebraic group, then \\( Z ( G ) \\) and \\( G^{\\ast} \\) mean the center of \\(G\\) and the character group of \\(G\\), respectively. \\( \\mathbb{G}_{m} \\) denotes the multiplicative group. A character \\( \\chi : Z ( G ) \\rightarrow \\mathbb{G}_{m} \\) is considered as the \\(m\\)-tuple \\( \\chi_{1},\\dots, \\chi_{m} \\), where \\( \\chi_{i} \\) is the restriction of \\(\\chi\\) to \\( Z ( \\tilde{G}_{i} ) \\) with the above \\( \\tilde{G}_{i} \\). The set of all \\( i\\in \\{ 1, 2, \\dots, m \\} \\) such that \\( \\chi_{i}\\not= 0 \\) is denoted \\( \\mathrm{supp} ( \\chi ) \\). If \\(\\chi\\) is a character \\( \\chi : C \\rightarrow \\mathbb{G}_{m} \\) of a central subgroup \\(C\\), then \\( \\mathrm{Rep}^{\\chi} ( G ) \\) is the category of all finite dimensional representations \\(V\\) of \\(G\\) such that \\( cv = \\chi ( c ) v \\) for any \\(c\\in C\\) and \\(v\\in V\\).\\N\\NTheorem 2.2. Let \\(G\\) be a split semisimple group over a field \\(k\\) of characteristic \\(0\\) with \\(m\\) simple components and let \\( G_{\\mathrm{red}} \\) be a strict reductive envelope. Let \\(B\\) be a generating set of \\( Z ( G )^{\\ast} \\) of minimal cardinality and let \\( \\rho_{\\chi} : G \\rightarrow \\mathrm{GL}(V_{\\chi}) \\) be representations in \\( \\mathrm{Rep}^{\\chi}(G) \\) for all \\( \\chi \\in B \\). Assume that there is a nonempty subset \\( B_{0} \\) of \\(B\\) with \\( \\bigcup_{\\chi\\in B_{0}} \\mathrm{supp} ( \\chi)=\\{1,2,\\dots,m\\}\\). (i) If the generic stabilizer of \\( V_{\\chi} \\) in \\( \\rho_{\\chi} ( G ) \\) is trivial for each \\( \\chi\\in B_{0} \\), then \\( \\mathrm{ed}(G) \\le \\sum_{\\chi\\in B},\\dim V_{\\chi}-\\dim G\\). (ii) If the generic stabilizer of \\( \\mathbb{P} ( V_{\\chi} ) \\) in \\( \\bar{\\rho}_{\\chi}(G) \\) is trivial for each \\( \\chi\\in B_{0} \\), where \\( \\bar{\\rho}_{\\chi} : G \\rightarrow \\mathrm{PGL}( V_{\\chi}) \\) denotes the projective representation induced by \\( \\rho_{\\chi} \\), then \\( \\mathrm{ed}( G_{\\mathrm{red} } ) \\le \\sum_{\\chi\\in B}\\dim ( V_{\\chi} ) - \\dim G - \\mathrm{rank} \\ Z ( G ) \\), where \\(\\mathrm{rank} \\ Z ( G ) \\) is the minimal cardinality of a generating set of \\(Z(G)\\).\\N\\NAlso, the authors provide a complementary method of computing the essential dimension \\( \\mathrm{ed} ( G ) \\) for the case where \\( G = \\mathrm{Spin} ( n ) \\) with \\( 4 | n\\), \\(n\\ge 20 \\). Applying their methods to split semisimple groups of types \\( A\\), \\(B\\), \\(C\\), \\(D \\) and \\( E_{6} \\), the authors obtain new upper bounds and exact values for the essential dimension of the semisimple groups extending previous results on simple groups \\(\\mathrm{Spin}(n) \\) by \\textit{P. Brosnan} et al. [Ann. Math. (2) 171, No. 1, 533--544 (2010; Zbl 1252.11034); J. Eur. Math. Soc. (JEMS) 13, No. 4, 1079--1112 (2011; Zbl 1234.14003)], strict reductive envelopes of groups of type \\(A\\) by \\textit{S. Cernele} and \\textit{Z. Reichstein} [Pac. J. Math. 279, No. 1--2, 155--179 (2015; Zbl 1364.20035)] and semisimple groups of type \\(B\\) by \\textit{S. Baek} and \\textit{Y. Kim} [J. Algebra 633, 205--224 (2023; Zbl 1521.20106)].\\N\\NIn the proofs, a classification of generically free representations of semisimple groups is used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935763$452B158D-632A-4563-96AB-A37D6060F2D9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60bdcfae6553e861adc4d12a271d24a1c874ebae","datavalue":{"value":{"entity-type":"item","numeric-id":531376,"id":"Q531376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$ADC991A3-EF21-449C-A9CE-8388F22E80C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$A8F7F42F-771D-407E-9027-1700DEBF8D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$BCCF5C27-9CFF-44E0-ABC8-733EF6835D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$B53471A9-FE06-4E18-A58C-8984BE9650A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21d837310bf4df0ec238da85c66a764921b37628","datavalue":{"value":"16K50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$CC3F9455-AA22-4FCC-B244-D3398F1B29A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c92381e539112a9b32831187109bce44cd9d507a","datavalue":{"value":"11E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$86603E65-DD8A-44E5-A1A4-AA1D99EA5490","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f52170932b3a07f160dea90bdc9ac6472d66cefd","datavalue":{"value":"8087458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935763$ECCE339C-AC45-41DF-BCD0-E6B9B8F30F26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3a3afebbe6fbef7e4f322a37ac959bc9e9153f","datavalue":{"value":"linear algebraic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935763$2E67E2B5-5D67-410A-97F8-D5684934F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a6093a6828df3e57656db1f7ed13f4d9e015ca","datavalue":{"value":"essential dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935763$F5433F4C-1046-4DA3-913A-B337BE19068C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eecde51285149ffb1e5ac2a2a29191e7123e4b74","datavalue":{"value":"generically free representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935763$F37DD612-77B0-4212-B463-01F7418B4312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0d86f14b397896386c650f176ea44712a3e554","datavalue":{"value":"torsor","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935763$1A675053-D621-49CA-9EBD-000E401CCF15","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$0079B771-732D-4BDE-8F3E-7056093865DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6d4159595841bc22113a893de8873a9aa0249c","datavalue":{"value":{"entity-type":"item","numeric-id":2001574,"id":"Q2001574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$F69F1B18-41C9-4981-A79F-20C50EFBF78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6e501377d82dca99943d2635beb894c892b68a","datavalue":{"value":{"entity-type":"item","numeric-id":6115733,"id":"Q6115733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$884E6731-6F46-4B42-8C61-20B4C46E90A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6f21f25ceba16c21118ecde648d4497ebfeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1419684,"id":"Q1419684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$2E0B671F-1F63-4ADC-BAE4-35A2C67120AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1195e6e762f63eb199686bf64c954409cb375b59","datavalue":{"value":{"entity-type":"item","numeric-id":974047,"id":"Q974047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$C4033377-F362-4D00-B12F-64233E6420A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f5adf93f72a1d968e9caf865f8f815b0f00ea6","datavalue":{"value":{"entity-type":"item","numeric-id":550566,"id":"Q550566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$5615D366-8481-49E1-9537-9CDEA6F0D372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34a04e51a43d60b000bcd812b2eb8021599b92a","datavalue":{"value":{"entity-type":"item","numeric-id":903160,"id":"Q903160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$3499A899-A95F-4DB8-BE94-7E2748274962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a23ed56961a772f3026d266c1f790b25d50eb794","datavalue":{"value":{"entity-type":"item","numeric-id":2509407,"id":"Q2509407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$6C7C39DE-CCF3-43BB-B002-F5F06ED5D6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d708fa4d8246298d6e8e0a0d1490179726b33eb","datavalue":{"value":{"entity-type":"item","numeric-id":2557330,"id":"Q2557330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$9C3378C6-D635-4906-9695-494E20006DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c07f9f1a2106c59afda663c9ec9efa50ffcd56","datavalue":{"value":{"entity-type":"item","numeric-id":2557331,"id":"Q2557331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$9E512BCA-1BE3-4677-8C95-4D32189B47B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17ed5573297d8d68984a8da8efa1b769cb5cb3b","datavalue":{"value":{"entity-type":"item","numeric-id":926267,"id":"Q926267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$5CB8E291-58E8-42AD-BF19-F3A5D89F0AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb40a7d39fbd680df386817e311d05a1cdb151b","datavalue":{"value":{"entity-type":"item","numeric-id":4210545,"id":"Q4210545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$308FACEB-8E50-4010-B806-ADB5A6E48C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec896108c74051ba80527876ce8d32c88c99d014","datavalue":{"value":{"entity-type":"item","numeric-id":4904428,"id":"Q4904428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$93424015-A09B-418B-8E5D-D8AEA118CC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cee862482e3ec93d13d61e52d1bdd90a50bef41","datavalue":{"value":{"entity-type":"item","numeric-id":2377158,"id":"Q2377158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$9B60562A-15B6-4A8E-9A12-49C82CEDDE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ef0a0fe69ba2012acc5ed8c6d3bc3980e8968d1","datavalue":{"value":{"entity-type":"item","numeric-id":1922725,"id":"Q1922725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$10E66B1C-23E1-4B32-B8DA-3360C285C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585c6b4997808f9bd406a11248810fa71585f48d","datavalue":{"value":{"entity-type":"item","numeric-id":3798898,"id":"Q3798898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$28F9AB2E-4B3D-4E12-A0C6-C7EFFBCFCAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c1a2b5c51997cb5c8d96ecdcb934911e39c718","datavalue":{"value":{"entity-type":"item","numeric-id":3819247,"id":"Q3819247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$E60BC4D1-66A1-4F74-AAB5-69FD35A335AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c9e60af7739ed4778400bfb55aff50394c5273","datavalue":{"value":{"entity-type":"item","numeric-id":3198005,"id":"Q3198005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$6CBF37EE-9206-4A35-83B1-8E365522AE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec31dc464f0a7cfccbe84ceb9bce46cde4460ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3096595,"id":"Q3096595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$A0A863B4-B829-49D3-A488-EB88E5D1EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e9d77552357da5914ed81237c3dbed0d9fc315","datavalue":{"value":{"entity-type":"item","numeric-id":2470386,"id":"Q2470386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$D85C3617-A5D0-478E-8666-2DFACC11123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b622f32d5a63bea773e6b2056836ab7a55d4eb","datavalue":{"value":{"entity-type":"item","numeric-id":2554005,"id":"Q2554005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$0C7EB6C3-BAC1-48CC-9ECB-E7FD49EF8B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef17aad2a91908412751cf95599bfd2609ff976","datavalue":{"value":{"entity-type":"item","numeric-id":4349107,"id":"Q4349107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935763$DA70ACE1-5724-4E9A-90F3-CBFFAC71349B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Essentials dimension of reductive groups via generically free representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Essentials_dimension_of_reductive_groups_via_generically_free_representations"}}}}}