{"entities":{"Q2520690":{"pageid":2531433,"ns":120,"title":"Item:Q2520690","lastrevid":74168931,"modified":"2026-04-14T18:46:12Z","type":"item","id":"Q2520690","labels":{"en":{"language":"en","value":"On abstract representations of the groups of rational points of algebraic groups in positive characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664882"}},"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":"Q2520690$CC570358-5C9D-4423-8D14-7A10F32BCEF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98dec172b927a3def4cbd0c484a711c8a1f46230","datavalue":{"value":{"text":"On abstract representations of the groups of rational points of algebraic groups in positive characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520690$CA96F92C-9126-4321-9D91-807E418C573F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48acce9ddfa8a0e24e11048a2d08c8ec1c5cbf1d","datavalue":{"value":"1375.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$5476A284-0703-4D79-8D9B-F783A84BD666","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d85ecf71e3aef712d7fcf91c40f8382d484bf318","datavalue":{"value":{"entity-type":"item","numeric-id":607472,"id":"Q607472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$D890AC22-59C7-4014-B3DD-3EE49C6F258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50d1711d9ce4b0f5015257dbfc20a6bb24baf291","datavalue":{"value":{"entity-type":"item","numeric-id":309748,"id":"Q309748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$DC3A0676-5658-464E-A0EF-62AAF3CE5303","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"db22232807c795272dc3a83fabf3be514df44f25","datavalue":{"value":{"entity-type":"item","numeric-id":166039,"id":"Q166039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$CE8A1A29-B5ED-46BE-89E9-1C26A3096B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520690$C3EAB535-2647-4629-8B80-AD3157322D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd8b90b9ff1de9fe44d858cd28e8d3b00779e46f","datavalue":{"value":"https://arxiv.org/abs/1603.03271","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520690$B48A4809-80C8-42BD-8696-44022162A87C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a8ac27f3999ad629e05774e7372b5738915b7cc","datavalue":{"value":"Let \\(K\\) be an algebraically closed field and \\(\\mathrm{Var}/K\\), the category of reduced schemes of finite type over \\(K\\). An algebraic ring over \\(K\\) (originally introduced by \\textit{M. J. Greenberg} [Ann. Math. (2) 73, 624--648 (1961; Zbl 0115.39004)]) is defined to be a `ring object' \\(A\\) in \\(\\mathrm{Var}/K\\) whose underlying scheme is affine (irreducibility of the underlying scheme is not required), i.e., \\(A\\) additionally comes with an addition map \\(\\alpha : A\\times A\\to A\\) and a multiplication map \\(\\mu : A\\times A\\to A\\) which give it the structure of an associative ring.  Every finite dimensional associative \\(K\\)-algebra \\(B\\) naturally gives rise to an algebraic ring structure \\(\\tilde{B}\\) on the underlying \\(K\\)-vector space of \\(B\\) by virtue of its addition and multiplication operations. Note that \\(\\tilde{B}(K) = B\\). If \\(\\mathrm{char}(K)=0\\), it was shown by \\textit{M. J. Greenberg} [Trans. Am. Math. Soc. 111, 472--481 (1964; Zbl 0135.21503)] that all algebraic rings arise in this fashion. However, if \\(\\mathrm{char}(K)=p>0\\), there exist algebraic rings which do not come from \\(K\\) algebras as shown by the motivating example of \\(A = \\mathrm{G}_a\\oplus \\mathrm{G}_a\\) with the twisted multiplication given by \\((x,y)\\star (a,b) = (xa, x^pb+a^py)\\). However, the algebra of dual numbers \\(B=K[t]/(t^2)\\) gives rise to a closely related algebraic ring \\(\\tilde{B}=\\mathbb{G}_a\\oplus \\mathbb{G}_a\\) with the multiplication given by \\((x,y)\\cdot (a,b)=(xa, xb+ay)\\), the connection given by the algebraic ring homomorphism \\(\\psi : \\tilde{B}\\to A\\) sending \\((x,y)\\mapsto (x,y^p)\\) which induces an isomorphism of abstract rings \\(\\tilde{B}(K) = B\\to A(K)\\) at the \\(K\\)-points level.  The authors show that this phenomenon holds true more generally (after imposing some mild conditions on \\(A\\)), namely that every algebraic ring is closely related to a finite-dimensional associative \\(K\\) algebra up to an inseparable isogeny (Theorem 1.1). The proof (given in Section 3) proceeds by investigating the structure of commutative \\textit{perfect} algebraic rings in char \\(p\\) and using Greenberg's \\textit{perfectization} functor to study the general case.  As an application, rigidity questions for representations of Chevalley groups over rings are studied. Let \\(\\phi\\) be a reduced, irreducible root system of rank at least \\(2\\) and \\(G = G(\\phi)\\), the associated \\textit{universal Chevalley Demazure group scheme} defined over \\(\\mathbb{Z}\\). For every root \\(\\alpha\\in \\phi\\), there is a canonical morphism \\(e_{\\alpha} : \\mathbb{G}_a\\to G\\) which induces a group homomorphism \\(e_{\\alpha}: (R, +)\\to G(R)\\) for every commutative ring \\(R\\). The subgroup generated by \\(e_{\\alpha}(R)\\) for all roots \\(\\alpha\\in \\phi\\) is called the \\textit{elementary subgroup} \\(E(\\phi, R)\\) of \\(G(R)\\).  In [the second author, Proc. Lond. Math. Soc. (3) 102, No. 5, 951--983 (2011; Zbl 1232.20049)], abstract representations \\(\\rho : E(\\phi, R)\\to \\mathrm{GL}_n(K)\\) were analyzed when \\(\\mathrm{char}(K)=0\\). In this paper, the same is studied in the positive characteristic setting, leading to Theorem (1.2) which shows that under mild assumptions on \\(R\\), every abstract finite dimensional representation \\(\\rho : E(\\phi, R)\\to \\mathrm{GL}_n(K)\\) can be essentially factored as follows:  There exists a commutative finite dimensional \\(K\\) algebra \\(B\\), a ring homomorphism \\(f : R \\to B\\) with Zariski-dense image, and a morphism of algebraic groups \\(\\sigma : G(B)\\to \\overline{\\rho(E(\\phi, R))}\\) such that for a suitable finite index subgroup \\(\\Gamma\\) of \\(E(\\phi,R)\\) we have \\(\\rho|_{\\Gamma} = (\\sigma\\circ F)|_{\\Gamma}\\) where \\(F : E(\\phi, R) \\to G(B)\\) is the group homomorphism induced by \\(f\\).  As a further application of this theorem, the authors give a different proof to recover the following result of Seitz (Proposition 4.3), namely:  Given an infinite perfect field \\(k\\) of characteristic \\(p > 0\\), \\(K\\) any algebraically closed field of char \\(p\\), \\(\\phi\\) a reduced irreducible root system of rank at least \\(2\\), \\(G=G(\\phi)\\) its universal Chevalley Demazure group scheme, \\(Y\\) an algebraic group over \\(K\\), and \\(\\rho : G(k)\\to Y (K)\\) a nontrivial abstract homomorphism, then \\(\\rho\\) can be factored as \\(G( k ) \\to^{\\sigma} G ( K ) \\times \\dots \\times G ( K ) \\to^{\\psi} Y ( K )\\) where \\(\\psi\\) is a morphism of algebraic groups and \\(\\sigma\\) is a \\textit{twisted diagonal embedding}, i.e. each component \\(G(k)\\to G(K)\\) of \\(\\sigma\\) arises from a field homomorphism \\(k\\to K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520690$CACBC58E-A0DA-4A5E-8E6D-494CB39B3908","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"59b77956e8ce5536b6b3c9fa6fe7d76dba5d1baf","datavalue":{"value":{"entity-type":"item","numeric-id":268286,"id":"Q268286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$3088F0EF-98EF-46A1-9C99-C080950A6467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5da4673649355244eb9246e0f14ff08374e114","datavalue":{"value":"20G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$4C94B3D7-2EC7-433E-A672-0FB181DE2C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$9A380C5F-F4A2-41DB-8851-852292ADB667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$9AD3C64A-48DC-4EC5-9DA6-801501AA6ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"975739bcf3e70dcfef1b6fbcb88cd7d5bf84c90c","datavalue":{"value":"14L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$FF3F952C-7080-40EE-845D-F7F470792996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd70dbc1281fa01e3551174a80d39d0bb973324c","datavalue":{"value":"6664882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$1A52F530-D7C6-4A32-A679-9515BB1B8DF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee2fbe857d8caf54af962208ddfd46ca232a030","datavalue":{"value":"algebraic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520690$A7813DED-A6E4-48AD-BCD1-4A8307A67413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1faf8468e79a01663beec97348aa6b18da393113","datavalue":{"value":"representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520690$A9E985AB-61B1-402C-956F-9201CF042D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95182d86298761fe607191a0ee3a831a174eb9ec","datavalue":{"value":"algebraic rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520690$1C683762-B052-45BA-AA8D-CC672CC55AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341b002f21c65cbbc10813fed30ac97bdf59efb","datavalue":{"value":"positive characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520690$0E3CC3AA-E178-42F3-B417-2E5B1CB22C64","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":"Q2520690$6D0A21A1-49B0-4C26-8BB1-7616D4F46BA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f75b4a0551c11abd740b3133c903be0d5667b7","datavalue":{"value":"W2963440250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$E00A5100-9E8C-45D2-9CB1-40D37B251183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56073d68bebaedf7222f68042901fa1a2affcc86","datavalue":{"value":{"entity-type":"item","numeric-id":759073,"id":"Q759073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$076AB607-43B3-4FF6-ABDA-957E8B884F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b946bf35e260e72308ef17e99a7c90e8636d14","datavalue":{"value":{"entity-type":"item","numeric-id":607473,"id":"Q607473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$85C0E616-7FE6-416B-BBDE-B4845A311540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60e069d6819c84cb784b967a082a82d85659ce7d","datavalue":{"value":{"entity-type":"item","numeric-id":5508128,"id":"Q5508128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$36785725-87E5-444C-8B69-103960AFA7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614502748de2c3eaaebf9478df2424ae93bf4751","datavalue":{"value":{"entity-type":"item","numeric-id":5510436,"id":"Q5510436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$F634B00A-3A0C-497A-A217-AAE7622E5FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf36b170722a4b8ddfdfdf4f20c1ca3743a12e47","datavalue":{"value":{"entity-type":"item","numeric-id":2625654,"id":"Q2625654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$F1E4262E-F5BF-4490-8708-02CB3D814FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24338fa1e33eb6fbec5ae9778ee1f4a7231357ce","datavalue":{"value":{"entity-type":"item","numeric-id":3649493,"id":"Q3649493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$0B620950-47DF-4BD3-B5FF-434387F40D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11abe1ee01356015826089002a66c3a6bb253852","datavalue":{"value":{"entity-type":"item","numeric-id":3961610,"id":"Q3961610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$AD11659F-964F-4980-B7AC-F7567D41C1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf6ad0d9b76d7cfaca23dae870cde75ab9c2f99c","datavalue":{"value":{"entity-type":"item","numeric-id":3004199,"id":"Q3004199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$D7C30FBF-A9FA-484E-B37D-073D6542DFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61357089b244a0f532d3d52b05c1bec31ebb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":4399238,"id":"Q4399238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$CA9A4F52-8AC4-4924-BA66-1A70E205618E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5508ed7c567a8ab68da3041b3a8faa15bc1a342","datavalue":{"value":{"entity-type":"item","numeric-id":773498,"id":"Q773498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$DF3CF40F-8F76-4F66-B07C-6E43DBC1850D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087d93254302a74418952726abb8f8567d03e4e1","datavalue":{"value":{"entity-type":"item","numeric-id":2395206,"id":"Q2395206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520690$FB772434-8411-43E3-A523-99B5822E1EC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6ee8e3e199999ead57d98253a4aee2278cfb2ed","datavalue":{"value":"10.1007/S00013-016-0971-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520690$E67062A0-4D74-4CBA-B242-E7219485B314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986a99c100be9ee6ef50ade77642037589a01639","datavalue":{"value":{"entity-type":"item","numeric-id":380382,"id":"Q380382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a1cd30c4a4425b9771bb554506278254955e71","datavalue":{"value":{"amount":"+0.8238764405250549","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":"Q2520690$F70CAF7A-D77F-45D4-A307-10DB152D2AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5deb3dc6ebfc76dac657f267fafa3f0f4c4e27a8","datavalue":{"value":{"entity-type":"item","numeric-id":6166032,"id":"Q6166032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64b41c2248d61ac6bee0b8ce3aaeb4d0fbf349fa","datavalue":{"value":{"amount":"+0.8210935592651367","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":"Q2520690$DADDC64A-4E25-42C3-86DE-4E5AF17A799A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9ea5ff39678122d6613ec0393faf1e097b8ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2301830,"id":"Q2301830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a46131fec3b18b4a7746d3941880e430151bd9f","datavalue":{"value":{"amount":"+0.7998729348182678","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":"Q2520690$85EF341F-50EB-4315-B9A6-4AC90ED8C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00985bf8e55e402565d18999a3c83fe2dfd8da29","datavalue":{"value":{"entity-type":"item","numeric-id":3004199,"id":"Q3004199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38829e90ddd0287cc02370090010e2987171f88c","datavalue":{"value":{"amount":"+0.7853745818138123","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":"Q2520690$A4A655F1-5E9D-4B43-96AA-5029FBF2C6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f787d3e28cff9358011b6a694b543dd5951ced","datavalue":{"value":{"entity-type":"item","numeric-id":4399238,"id":"Q4399238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d0abadc27af38242aea592af20276bec645703","datavalue":{"value":{"amount":"+0.7643653750419617","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":"Q2520690$40EDA8A4-837D-4207-A833-223883CE5C6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On abstract representations of the groups of rational points of algebraic groups in positive characteristic","badges":[]}}}}}