{"entities":{"Q1983971":{"pageid":1994713,"ns":120,"title":"Item:Q1983971","lastrevid":73745364,"modified":"2026-04-14T17:07:24Z","type":"item","id":"Q1983971","labels":{"en":{"language":"en","value":"Homogeneous varieties under split solvable algebraic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7394428"}},"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":"Q1983971$5E602136-E73F-4099-B94D-9DF1ABE9EDF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c37b33743c31833a9f53fcf668675953765ec3e","datavalue":{"value":{"text":"Homogeneous varieties under split solvable algebraic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1983971$48185DA0-F877-462F-8B0E-5507CBC737D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e742a7779cfb337321687f5ccbf2a013d3d96df4","datavalue":{"value":"1477.14081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$953FE064-B47A-4CC9-BB4E-437344C24AC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0965df20c8149e00098e847c94473ff4f54d79b9","datavalue":{"value":{"entity-type":"item","numeric-id":203360,"id":"Q203360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$69205F8F-2E7E-4CDF-A71A-BF8BE0BC32D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$96E55235-0B48-4F9D-A1DC-45D1737D1974","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cd7f874d1887973443b158642586a3e9670362","datavalue":{"value":{"time":"+2021-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1983971$C61A4874-AE65-4B86-AC9A-24CB8E3E6526","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d466cb3ea7066f5b13ebeb498997ad388f0875a7","datavalue":{"value":"https://arxiv.org/abs/2101.12452","type":"string"},"datatype":"url"},"type":"statement","id":"Q1983971$AC89AED7-6DA9-4DBF-BA8F-8E3201F4040E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3dbb798fe2b4129d4ca040f136ba8c0ebf5f09e4","datavalue":{"value":"A connected solvable linear algebraic group \\(G\\) over a field \\(k\\) is said to be split if it admits a subnormal series of closed subgroups \\(\\{e\\}=G_0\\vartriangleleft G_1\\vartriangleleft\\dots\\vartriangleleft G_s=G\\) such that \\(G_i/G_{i-1}\\simeq \\mathbb G_{\\text{a}}\\) or \\(\\mathbb G_{\\text{m}}\\) for \\(i=1,\\dots,s\\). A classical theorem of \\textit{M. Rosenlicht} [Ann. Mat. Pura Appl. (4) 62, 97--120 (1963; Zbl 0126.16901)] states that any homogeneous \\(G\\)-variety \\(X\\) is \\(k\\)-isomorphic to \\(\\mathbb A^m\\times(\\mathbb A^\\times)^n\\) for some \\(m,n\\), where \\(\\mathbb A^\\times\\) denotes the punctured affine line. The aim of the note under review is to provide a modern proof for this theorem and some further developments.  Starting with a structure lemma saying that the subnormal series in \\(G\\) can be chosen so that each \\(G_i\\) is normal in \\(G\\) and the quotients \\(G_i/G_{i-1}\\) are isomorphic to \\(\\mathbb G_{\\text{a}}\\), resp.\\ \\(\\mathbb G_{\\text{m}}\\), whenever \\(i\\le m\\), resp. \\(i>m\\), the author proves the theorem of Rosenlicht by induction on \\(\\dim G\\). By existence of a \\(k\\)-rational point in \\(X\\) (also proved by  \\textit{M. Rosenlicht} [Am. J. Math. 78, 401--443 (1956; Zbl 0073.37601)] and reproved in this note), \\(X\\) can be presented as a quotient space \\(X=G/H\\), and the induction step is performed by applying the induction assumption to \\(Y=X/G_1=G/HG_1\\). The cases \\(H\\supset G_1\\) and \\(G_1\\simeq\\mathbb G_{\\text{m}}\\) are trivial, because then either \\(G\\) acts through \\(G/G_1\\) or \\(G\\) is a split torus. In the nontrivial case \\(H\\not\\supset G_1\\simeq\\mathbb G_{\\text{a}}\\), it is proved that the quotient morphism \\(X\\to Y\\) is a \\(\\mathbb G_{\\text{a}}\\)-torsor, which has to be trivial since \\(Y\\) is affine.  More generally, given any \\(G\\)-variety \\(X\\), the author considers a rational quotient \\(Y\\) for the action of \\(G\\) on \\(X\\), that is, a geometric model of the field \\(k(X)^G\\) of invariant rational functions, and applies Rosenlicht's theorem to the generic fiber of the rational map \\(X\\dashrightarrow Y\\). With some further efforts, he deduces existence of a \\(G\\)-stable open subvariety \\(X_0\\subset X\\) isomorphic to \\(\\mathbb A^m\\times(\\mathbb A^\\times)^n\\times Y\\) (for some \\(m,n\\), and \\(Y\\)). As a corollary, he proves that \\(k(X)\\) is a pure transcendental extension of \\(k(X)^G\\), cf.\\ [\\textit{V. L. Popov}, Eur. J. Math. 2, No. 1, 283--290 (2016; Zbl 1332.14061)]. In the case \\(G=\\mathbb G_{\\text{a}}\\), the \\(G\\)-action on \\(X_0\\simeq\\mathbb A^1\\times Y\\) is given explicitly by a monic additive polynomial \\(P\\in\\mathcal{O}(Y)[t]\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983971$6F934E88-7E2D-45CB-A659-B3B6A3B1997B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef60fa660eb8eeefff8ce9f6c3fab03eb14063d3","datavalue":{"value":"14M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$0CE6EE80-7052-4EFD-A211-7ABE163990BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$9E28786A-47C8-41A3-9859-55C4CE35B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$338D0B87-3C8B-4516-8006-BF15401A670C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"931d440d81bc36bd995d55315147f8320cad5b38","datavalue":{"value":"20G07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$4228EB16-0616-4D43-9677-4C2DF2C3300A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c8e1060acb12ed55a43001ca9c91e7930bf1ee","datavalue":{"value":"7394428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$5209FE70-745A-44EF-A9A9-40356DEA9A22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33f56202c8de1fa088c37f6895d2c6b90da86d5","datavalue":{"value":"split solvable algebraic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983971$C0987D27-F7B1-4EC4-9D6C-276F768DC2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3995888e21e91866acbd51a125ae828731fbfabe","datavalue":{"value":"homogeneous variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983971$7AE17502-847F-4EBC-92D8-D1FAE7E7B50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1669042e50bfb29e6fcdcf9a43a10513d93766","datavalue":{"value":"group scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1983971$BCBB2FED-4CFE-47AD-8E52-5499C43E9665","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f75d3158bceb1d72b9ea4931a3ea186507521a1","datavalue":{"value":{"entity-type":"item","numeric-id":621540,"id":"Q621540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$7DF5EFDB-85DA-4658-8C17-E4D968D34AC9","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":"Q1983971$9FA447E3-004F-4C58-8D46-45421D0A943F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b8a9b81a5d1495cf70093db27292fb48ae7b797","datavalue":{"value":"W3154129246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$95409AF6-8086-446B-B48C-A327E2D725A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28cb0121733a09cc70158f936264e612a50ec20a","datavalue":{"value":{"entity-type":"item","numeric-id":4603996,"id":"Q4603996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$D3BA1BF0-BCB7-4292-8D53-D5C374E57FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68764a3b5ec74c7aebee70f653efc1fcd03555a","datavalue":{"value":{"entity-type":"item","numeric-id":3999894,"id":"Q3999894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$21CDE5D1-159D-45DB-B14B-47EBACB767B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32ae977cf15591d8ea0aa966799c45385343fe","datavalue":{"value":{"entity-type":"item","numeric-id":2951914,"id":"Q2951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$8FD539CC-5382-423A-9586-E2A47A7D2096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b481e18d65c7a65cec9962668271096bbb6ed6a","datavalue":{"value":{"entity-type":"item","numeric-id":2967737,"id":"Q2967737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$0EBBDC5C-152C-4866-BCE9-4BA1676E2447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab29f083e8bcdd5c461a09542346cda05ccd9efb","datavalue":{"value":{"entity-type":"item","numeric-id":5602064,"id":"Q5602064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$496BC7CF-D5C3-46F7-A9CE-27B9201F4F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7674aa3cee90c3fe5b49e32a2035c48fc60fa27","datavalue":{"value":{"entity-type":"item","numeric-id":3092538,"id":"Q3092538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$283DD44E-BF1F-4077-885A-822029C9A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489728c95410779f72453ed8a9b283e1846d204","datavalue":{"value":{"entity-type":"item","numeric-id":5322842,"id":"Q5322842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$568F49DC-6B20-4E35-8E31-9A297CCC69C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5497ea717d844fbebe668891df72ea229a5172","datavalue":{"value":{"entity-type":"item","numeric-id":2521483,"id":"Q2521483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$DEBAB070-6346-4ECE-AF9D-6B1F8F07C448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec430ed7fe82ec9f253917fe60f0b53d662bc54","datavalue":{"value":{"entity-type":"item","numeric-id":1318063,"id":"Q1318063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$F5974769-C660-4EA3-B287-128B0FB4C5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82a011583a4595938e921b7ae9e013c6b79eb539","datavalue":{"value":{"entity-type":"item","numeric-id":2981940,"id":"Q2981940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$17070452-3664-479E-8A13-A83738ED640D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2325c90bf9fc953164f18959e440013841108e","datavalue":{"value":{"entity-type":"item","numeric-id":4272025,"id":"Q4272025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$3B78ACF1-A93F-4BD7-9CCC-277168906A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde1e98c324ff0c6628e0155fd7c8167670a3739","datavalue":{"value":{"entity-type":"item","numeric-id":253169,"id":"Q253169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$697262B1-D45F-4765-BEFA-2A537728FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5f64be0e099dc77609af2880d0c86d9929fc34","datavalue":{"value":{"entity-type":"item","numeric-id":3237904,"id":"Q3237904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$4298E326-0FBC-4440-A69D-F487B1AD8BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d872abf2c074207d28dfca85b784e13dd0d68a4","datavalue":{"value":{"entity-type":"item","numeric-id":768822,"id":"Q768822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$6359A0E6-A58D-4F58-9C80-0A0EA30E6C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed348c62681dc80a2a851744f1c5f0350c988404","datavalue":{"value":{"entity-type":"item","numeric-id":2394275,"id":"Q2394275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$72B71F14-776C-4A2E-BF0A-A536E33AC50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b18336d8eccc92830acdb11752ab1cca466da06","datavalue":{"value":{"entity-type":"item","numeric-id":2540519,"id":"Q2540519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$FF371F6D-57D9-40CC-9492-D91D1B9C2D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0515273c7a1b345bbdf18bd0e6e3eb9b22677fea","datavalue":{"value":{"entity-type":"item","numeric-id":5906294,"id":"Q5906294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$94034DBA-DC0D-40AC-AE11-BD415CBEE980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd77a4ae8925886381d9aaf69675cc551f062c9","datavalue":{"value":{"entity-type":"item","numeric-id":1227778,"id":"Q1227778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1983971$07BBC34A-2EE2-4CC0-A1DB-23B429200F07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1909bf71cb1e14ffd5fb6d93c1d94ce2a0cd3b57","datavalue":{"value":"10.1016/J.INDAG.2021.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1983971$79C6B02B-8B48-4A82-854B-9DC343749153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc01ecdc7c4c451122819b7ffdc2fe5c8929b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":2951914,"id":"Q2951914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421b76fff75846d704442483b67f190e74a3ae5b","datavalue":{"value":{"amount":"+0.7677044868469238","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":"Q1983971$D871A95B-5548-4627-B053-DF75AB6AB2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21a795a8420e385c1b6df53c3fab6aab0c4a696","datavalue":{"value":{"entity-type":"item","numeric-id":4417282,"id":"Q4417282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d217b9398135d401de89d97029104ef3d881826e","datavalue":{"value":{"amount":"+0.7473097443580627","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":"Q1983971$E68F99C5-1FC7-4472-83F3-7864BEC2D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0220ef9beb4cf812bf0077cae41656e291e78e9","datavalue":{"value":{"entity-type":"item","numeric-id":253169,"id":"Q253169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b882d566f2561ea79fd5e9ca5c1d22f3f3a6e891","datavalue":{"value":{"amount":"+0.7419302463531494","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":"Q1983971$D137BEA2-762F-4E3A-AB8E-5B7BB90F1CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cee9b3d96c9609c5f7677b78b626d144382431a","datavalue":{"value":{"entity-type":"item","numeric-id":5956592,"id":"Q5956592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7958d8f4734cb6549193460abf6f4cb96a85914","datavalue":{"value":{"amount":"+0.7231340408325195","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":"Q1983971$336FEA85-99FE-44C3-8372-AD566A945454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc3efeb5649dabfdf64bcd5ba595c82b222641b","datavalue":{"value":{"entity-type":"item","numeric-id":2209003,"id":"Q2209003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b199b622ce0e34b177b2259139099a3828d88c","datavalue":{"value":{"amount":"+0.716500997543335","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":"Q1983971$7FEBC67F-04C5-41FA-A148-8120C952F086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homogeneous varieties under split solvable algebraic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homogeneous_varieties_under_split_solvable_algebraic_groups"}}}}}