{"entities":{"Q2275691":{"pageid":2286434,"ns":120,"title":"Item:Q2275691","lastrevid":57818520,"modified":"2026-04-02T16:13:29Z","type":"item","id":"Q2275691","labels":{"en":{"language":"en","value":"Essential dimensions of \\(A_7\\) and \\(S_7\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5937368"}},"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":"Q2275691$912FF61F-B44B-4731-B41F-D4ABE31B135A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98e2a9874a99bb27698c05b4df8bf52a5f487ebd","datavalue":{"value":{"text":"Essential dimensions of \\(A_7\\) and \\(S_7\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2275691$89E34FD2-B78C-4019-B9DF-67BC71382C29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd730a1682b1eeb48dded133e336c3f480ecd985","datavalue":{"value":"1262.14057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$17FA3DA6-DDD7-457A-9F75-198D7D0CAA42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90e7a3fd59904b8af5ec79f0903ab330c821b361","datavalue":{"value":{"entity-type":"item","numeric-id":326358,"id":"Q326358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275691$223132D3-D607-4048-8CEA-300D642D55B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275691$0368D60D-ED90-427C-8DA7-10E03366DB40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"399bbc4a0282c300647b51764f24de75dbb073cc","datavalue":{"value":{"time":"+2011-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2275691$133E80FC-287D-4E9C-BA1F-3CCF42807362","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03cd106166e96f3673543b2a6714c6c933023428","datavalue":{"value":"https://arxiv.org/abs/0908.3220","type":"string"},"datatype":"url"},"type":"statement","id":"Q2275691$F76275C0-522E-429C-99E3-1FF09AE0EB04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a8ea8c04fde9dbd440a256f7efa4a6d96e8d66f3","datavalue":{"value":"Let \\(k\\) be a field and \\(G\\) be a finite group. A compression is a dominant rational \\(G\\)-map of faithful \\(G\\)-varieties over \\(k\\). Let \\(V\\) be a faithful linear representation of \\(G\\) over \\(k\\); thus \\(V\\) can be regarded as a faithful \\(G\\)-variety over \\(k\\). The essential dimension of \\(G\\) over \\(k\\), denoted by \\(\\text{ed}_{k}(G)\\), is the minimal value of \\(\\dim(X)\\) where \\(X\\) is taken from the set of all faithful \\(G\\)-varieties sitting under a compression \\(V \\rightarrow X\\).   It is not an easy job to determine \\(\\text{ed}_{k}(G)\\) even for a group \\(G\\) which we meet almost everyday (see page 13 of the book [\\textit{S. Garibaldi, A. Merkurjev} and \\textit{J.-P. Serre}, Cohomological invariants in Galois cohomology. University Lecture Series 28. Providence, RI: American Mathematical Society (2003; Zbl 1159.12311)]). For example, let \\(S_n\\) and \\(A_n\\) be the symmetric group and the alternating group of degree \\(n\\). It was known long before that, if \\(k\\) is a field with \\(\\text{char}\\,k = 0\\), then \\(\\text{ed}_k(A_5)=2\\), \\(\\text{ed}_k(A_6)=2\\) or \\(3\\), \\(\\text{ed}_k(S_6)=3\\), \\(\\text{ed}_{k}(S_7)=3\\) or \\(4\\). But it was an open question for many years to determine the exact values of \\(\\text{ed}_{k}(A_6)\\) and \\(\\text{ed}_{k}(S_7)\\).   The essential dimension of \\(A_6\\) over a characteristic zero field \\(k\\) was found by \\textit{J.-P. Serre} [S\u00e9min. Bourbaki Vol. 2008/2009, Ast\u00e9risque 332, 75--100, Exp. No. 1000 (2010; Zbl 1257.14012)] by using Manin-Iskovskikh's classification of minimal rational \\(G\\)-surfaces. A sketch of Serre's proof was included in the second paragraph of Section 2 of the paper under review.   The main result of this paper is to show that \\(\\text{ed}_k(S_7)=\\text{ed}_k(A_7)=4\\). By standard results for essential dimensions, it suffices to show that \\(\\text{ed}_{C}(A_7)=3\\) is impossible. The proof is rather similar to Serre's Theorem, but this time Prokhorov's classification of rationally connected faithful \\(A_7\\)-threefolds will be used [\\textit{Yu. Prokhorov}, J. Algebr. Geom. 21, No. 3, 563--600 (2012; Zbl 1257.14011), \\url{http://arxiv.org/abs/0908.0678}], instead of Manin-Iskovskikh's classification of \\(G\\)-surfaces.   Here is an outline of the proof. Suppose \\(\\text{ed}_{C}(A_7)=3\\). Then there is a compression \\(V\\to X\\) where \\(V\\) and \\(X\\) are faithful \\(A_7\\)-varieties over \\(C\\), \\(V\\) is rational and \\(\\dim X=3\\). It follows that \\(X\\) is a rationally connected faithful \\(A_7\\)-threefold. By Prokhorov's classification, \\(X\\) is \\(A_7\\)-birationally equivalent to one of the two threefolds: (i) the subvariety of \\(P^6\\) (with the ``obvious'' \\(A_7\\)-action) cut out by symmetric polynomials of degrees \\(1,2\\) and \\(3\\), and (ii) \\(P^3\\) with a linear action of \\(A_7\\).   On the other hand, the compression \\(V\\to X\\) implies that \\(X\\) has an \\(A\\)-fixed point for any abelian subgroup \\(A\\) of \\(A_7\\) by an old result of \\textit{Z. Reichstein} and \\textit{B. Youssin} [Can. J. Math. 52, No. 5, 1018--1056 (2000; Zbl 1044.14023)]; Proposition 5.3. Thus, for any abelian subgroup \\(A\\) of \\(A_7\\), the above two threefolds have \\(A\\)-fixed points. It is easy to see this is not the case. Hence the proof is finished.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275691$9AA12F1C-F1AD-4D4A-B783-D4DE28C49638","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9b8413dab2fca43f8521f158aab3e03c4bc85182","datavalue":{"value":{"entity-type":"item","numeric-id":186503,"id":"Q186503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2275691$5A223BFC-6CC6-4007-A0FF-6E5D486B7EEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"353ba66050a67bc895f382b93e63f66cfb4dd50c","datavalue":{"value":"14L40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$9EB2FB80-7F4B-4B12-9966-F876A2F6C4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$8B42794C-0578-47A8-B4AA-3D79325F38A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba5c5b6e0015c8c123455a26d5f750389eb494dc","datavalue":{"value":"14E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$B1D4E06E-3661-410F-81F3-DCBF384E468D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c92381e539112a9b32831187109bce44cd9d507a","datavalue":{"value":"11E72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$625D423C-62AE-4A20-A1CC-1FF283CEE7C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cffa92cac97f34cdbac45d9c96e93926fd4f0cb6","datavalue":{"value":"5937368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$701EDAC1-F8FC-47AA-B11C-2381C1CF43D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd8405224e60c68032e1f4db66b35fb6bcbe8450","datavalue":{"value":"essential dimensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275691$167A8D6B-40AA-4184-96FB-2CCF3B7A93BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275691$E0E28F11-AE30-4B82-8282-D9B825F388BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8569446bd291eb33e407f9f145d17e7d64b77f","datavalue":{"value":"alternating group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2275691$40497FA9-D818-4FAF-9871-7B868C90CE3D","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":"Q2275691$AC25B61D-1DC2-43D6-9B9D-3470796F9085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c5c4d3ab1bf3f8f68be6fb634f6c1bb29a4988e","datavalue":{"value":"W2120538630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$1EBA269D-7AF5-4D44-B9D5-57B11AE2662C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32eb0e0ec5a242a3c3b34ecfb9e7ded9cae10149","datavalue":{"value":"10.4310/MRL.2010.V17.N2.A5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2275691$EBF43F82-8793-4761-9A52-1CABF8E08CFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bea5a42169f2ac1dc93624f4b29c8e3e04ab7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2948985,"id":"Q2948985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014323289b91089951ba0a99c600de5ddb5c5259","datavalue":{"value":{"amount":"+0.7944008111953735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2275691$B74F67FD-5541-4418-A03A-5C8E6D244D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1f36eb2b28b74351061df60acb6b2d3eae86a2","datavalue":{"value":{"entity-type":"item","numeric-id":2862960,"id":"Q2862960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b1407620647d7edd12f184fb3905e9dedc2a8a","datavalue":{"value":{"amount":"+0.77421635389328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2275691$38B6EBEB-3AE6-45C4-889C-8BDF581A672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9719ef7c233435b42cace8fda9a305fc8a3430bd","datavalue":{"value":{"entity-type":"item","numeric-id":304055,"id":"Q304055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8018bee75eb5f8af20db1e8fc3a35923a359bf","datavalue":{"value":{"amount":"+0.7718116641044617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2275691$B9871ADA-EDA6-4FE2-96F1-32793BAC9B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4338698e4085f0d0128c9c656b98956f3281ec8","datavalue":{"value":{"entity-type":"item","numeric-id":926267,"id":"Q926267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78eafb960c986cc6a9364f0981e5031c58bf40f7","datavalue":{"value":{"amount":"+0.7627266645431519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2275691$965E80E0-D9F4-4B1B-A61C-BCAD78C0AC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c828a1dd10ed3f6c82203c07d4d862ef5c98d9","datavalue":{"value":{"entity-type":"item","numeric-id":2934800,"id":"Q2934800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ce0e689ee4e729573cf9adddc61ffeac9c3ba5","datavalue":{"value":{"amount":"+0.7570182085037231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2275691$B984893D-3C28-4ECD-8D19-6986847C451B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2275691","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2275691"}}}}}