{"entities":{"Q849198":{"pageid":851046,"ns":120,"title":"Item:Q849198","lastrevid":64809381,"modified":"2026-04-11T22:22:51Z","type":"item","id":"Q849198","labels":{"en":{"language":"en","value":"Universal classes for algebraic groups."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5674934"}},"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":"Q849198$AC1FDF00-A948-4233-916C-253F66A18F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b87f20a534af448481f63b1872f5b0ade70f9110","datavalue":{"value":{"text":"Universal classes for algebraic groups.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q849198$A9389C69-E4E8-4876-8FF9-198F8987D59C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dce3eada34f4724fc8350c1500e4849e4a31670a","datavalue":{"value":"1196.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$676830EA-32AE-452B-87A8-A83E1FACB38A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83dc4e53f415a104cc648494332eaa523d95d9c3","datavalue":{"value":"10.1215/00127094-2009-064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$E53E9E28-9499-4EBE-BA9F-1D5633C6B1D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bdc488e6f5172158406aa440d0d13c3b6d93bda","datavalue":{"value":{"entity-type":"item","numeric-id":258885,"id":"Q258885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$514597C4-72CA-4751-BAED-CB1425DD31B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$C2EC00B6-B89A-4F84-AF43-54E862819798","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be19e3c69678fcf2fa52cc7afba09b0a02572b8e","datavalue":{"value":{"time":"+2010-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q849198$6EBB7E10-2072-4B72-B48F-7F23F071583F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"621510b3ffa02f1ee88a898409c0a0a52e32d5bf","datavalue":{"value":"https://arxiv.org/abs/0809.0989","type":"string"},"datatype":"url"},"type":"statement","id":"Q849198$1309DDF5-C8FC-4747-B9FE-BAF7D3EC8FF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"013251592822836e45d2c0a859074829c19f6025","datavalue":{"value":"Let \\(G\\) be a reductive linear algebraic group over a field \\(k\\) of positive characteristic \\(p\\). The group \\(G\\) is said to have the cohomological finite generation (CFG) property if for every finitely generated commutative \\(k\\)-algebra \\(A\\) on which \\(G\\) acts rationally by \\(k\\)-algebra automorphisms, the cohomology ring \\(H^*(G,A)\\) is finitely generated as a \\(k\\)-algebra. W. van der Kallen observed that the CFG property would hold for all such \\(G\\) if certain universal cohomology classes (in the cohomology of the general linear group \\(\\text{GL}_n\\)) could be constructed. The main result of this paper is the construction of such classes. Proofs of the CFG property are presented by the author and \\textit{W. van der Kallen} [in Duke Math. J. 151, No. 2, 251-278 (2010; Zbl 1196.20053)].   More precisely, the result here is the construction of classes \\(c[d]\\) in \\(H^{2d}(\\text{GL}_n,\\Gamma^d(\\mathfrak{gl}_n^{(1)}))\\) where \\(\\Gamma^d\\) denotes the divided power functor and \\(\\mathfrak{gl}_n^{(1)}\\) denotes the adjoint representation (the Lie algebra of \\(\\text{GL}_n\\)) once twisted by Frobenius. Further \\(c[1]\\) is shown to be non-zero, and there is a cup product relationship between \\(c[d]\\) and \\(c[1]\\) for higher \\(d\\). These classes generalize those constructed by \\textit{E. M. Friedlander} and \\textit{A. Suslin} [Invent. Math. 127, No. 2, 209-270 (1997; Zbl 0945.14028)] in their proof of the finite generation of \\(H^*(G,k)\\) for a finite group scheme \\(G\\).   The construction of the desired classes is first reduced to large values of \\(n\\). From there, the problem can be translated to bifunctor cohomology for strict polynomial bifunctors. Note that the work of Friedlander and Suslin made use of strict polynomial functors. Here functors are replaced with bifunctors. Working with bifunctors, explicit coresolutions of \\(\\Gamma^d(\\mathfrak{gl}^{(1)})\\) are constructed from which the desired cocycles are obtained. The construction of the resolutions requires investigation of \\(p\\)-complexes and a tensor product property of complexes obtained from \\(p\\)-complexes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$B36ED78B-83F9-4D2D-A0AF-1A3723994C16","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"027d76d8bbd9c58e93864c012471474b318d2663","datavalue":{"value":{"entity-type":"item","numeric-id":210536,"id":"Q210536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$88721767-FC02-4EE1-93C5-D446F699CEEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0f74f1bfe7bc5707c851bdfd982cd61c83ba8e6","datavalue":{"value":"20G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$325E6361-5709-476A-B095-1B945D3579EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$4B8D2215-A1E8-4BFA-AED2-0CC64584C3F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f6b046b596e27e58ba29093e0796a1818bcb984","datavalue":{"value":"5674934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$EB5C235A-EFDC-40C8-A978-832F1FF47A0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f570f44dfd029351df42f78c3bace2d6c55e66","datavalue":{"value":"cohomology of general linear groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$5E747203-B0D9-4888-901B-89B42ECE7F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41f0a4fc8b31e008c6058342c713aadea6b7da06","datavalue":{"value":"strict polynomial bifunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$7287CA71-172F-467C-8354-97FD623C7AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80552681d812bcaf08ad89f9764d185f0e61b488","datavalue":{"value":"bifunctor cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$8E7C05F5-EB74-406B-8B18-CD0E8CB03EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e90fb2beeea6d407ef8d84637cb0fd980369c9","datavalue":{"value":"coresolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$3EE29691-AC5E-4E3E-BE9B-0C57C468BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5d017b571ed6a021faa21fbef9863e18444462","datavalue":{"value":"\\(p\\)-complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$EBBB8100-0580-406A-83BC-71A373703458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2e25920aa9a7229bc1b48e0a32112ae79bf0a31","datavalue":{"value":"cohomological finite generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$76B06523-6863-413D-A794-F13A335EA4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9530c03477609c2ec47a5a69866592cf3acafba2","datavalue":{"value":"divided powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$530E6C1B-894E-4915-A5D0-E4B42099BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7470c1758d360c3a0328d62b3867911a0a1ff9c8","datavalue":{"value":"universal cohomology classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q849198$BBB64D1E-CDE5-4737-B110-4E477570CB18","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":"Q849198$B073C782-18AC-4B90-9B21-AC4FAED032DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c1ea0ab701da9b0f3debcfdfc2c6a277c2fd479","datavalue":{"value":"W3103273976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q849198$FBD9FAFA-AFED-4091-BF7D-426D1C7FDE6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6403f7c47fdf6f15bf43e2b312577e76d7fa8c","datavalue":{"value":{"entity-type":"item","numeric-id":1170588,"id":"Q1170588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$14E55A85-E291-4C6D-9C9A-0F7CDCD307E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a65ac667c26dd3fcbee54aadad1b6c94c715c7a","datavalue":{"value":{"entity-type":"item","numeric-id":5827573,"id":"Q5827573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$4B94DA70-6178-456D-8CA4-05794CE18EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d5a4676dd3fe8ccbd5a2252191ec1a53ef44a4","datavalue":{"value":{"entity-type":"item","numeric-id":3375320,"id":"Q3375320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$288F3177-8CF3-481E-B28D-13526D96FDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb86af114da67cdc70c229a3eeb87cf62041ec9","datavalue":{"value":{"entity-type":"item","numeric-id":3525985,"id":"Q3525985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$32263CCA-7AD3-463B-84E0-4A0A9D6B867D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583e3101bc71ae5b3552538289a31125712cc405","datavalue":{"value":{"entity-type":"item","numeric-id":1970470,"id":"Q1970470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$6D6CAD98-6CDD-408B-B9D3-DC7C23A65987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6588aa0360d3ceba93b35c8c30a77952efe60bba","datavalue":{"value":{"entity-type":"item","numeric-id":1320497,"id":"Q1320497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$5BEAF9B2-C2FC-43A4-88B9-B8210F78D294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c6dd788c81e1e4400ebefe8c47a6579fa1fd66","datavalue":{"value":{"entity-type":"item","numeric-id":1359218,"id":"Q1359218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$5CC8E284-4957-4F49-BED4-2CAA3D7E88E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4afe49e65451b0110388066df13362388132409","datavalue":{"value":{"entity-type":"item","numeric-id":2626209,"id":"Q2626209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$99C7091E-5CAA-427D-B67E-4091D34832ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beba4cbfa0bfbebdd0418c0c46d7c78a9af79b89","datavalue":{"value":{"entity-type":"item","numeric-id":1221144,"id":"Q1221144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$57D6BA8F-A33B-454B-A88B-069318892B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acaf779cdbbbd2f5ca2d58653060e2ee0df3fed2","datavalue":{"value":{"entity-type":"item","numeric-id":4608833,"id":"Q4608833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$3496AD02-0DDB-4E6F-8B61-94D45510AB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b31f25dc2baaf1683f4bed84c401d956a43083","datavalue":{"value":{"entity-type":"item","numeric-id":5931089,"id":"Q5931089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$FFBB190E-25FF-4D64-AC5F-3FD223328B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"279fce94674fd8e2c84bd98e1805b11844cc99e4","datavalue":{"value":{"entity-type":"item","numeric-id":2524086,"id":"Q2524086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$ACF4DD36-70A2-48EE-9972-D5B869EDA4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44ee781b0036b4015fe0fa2655bbc0a0511175e","datavalue":{"value":{"entity-type":"item","numeric-id":1572689,"id":"Q1572689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$F6ED02F4-80E3-4571-BCD3-D4B27ECED9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8781d5a30cc3c9f5a306e371c742372a117cde","datavalue":{"value":{"entity-type":"item","numeric-id":733671,"id":"Q733671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$16D97DAC-8D75-4086-B6C4-97305603DE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd4fe6530cfd0ea6bc967b4f44f198876dbcc36","datavalue":{"value":{"entity-type":"item","numeric-id":5690182,"id":"Q5690182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$FF96E30D-37FF-4A85-A091-06AC28C5F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8716ea4199e869a6228f966fb3baad522ffd8f","datavalue":{"value":{"entity-type":"item","numeric-id":849199,"id":"Q849199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$F5EB3CDD-0754-48E0-895A-29409DAB3518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780904658c63db806c97a83bb892594d5d30deea","datavalue":{"value":{"entity-type":"item","numeric-id":2566836,"id":"Q2566836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$0B1CD8C2-727B-4129-A53A-068FA495BE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282549a63ac560e98c54880752c1976195372abb","datavalue":{"value":{"entity-type":"item","numeric-id":4659158,"id":"Q4659158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$1298748F-B200-44D2-9043-8D4924CAE41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5018644cde2d81f71e951032ed13ca7428e36bdb","datavalue":{"value":{"entity-type":"item","numeric-id":5442218,"id":"Q5442218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q849198$FFA80865-C624-4DE6-9EC7-BEA7B34A1280","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d40622e26bd72d9c9dcefd85aeab0a59597d64ac","datavalue":{"value":{"entity-type":"item","numeric-id":2288140,"id":"Q2288140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d0acc3095c847c74429b4425d2e4e19de123bb","datavalue":{"value":{"amount":"+0.7809901237487793","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":"Q849198$391A1BB5-BE8D-4966-8051-A1AA9009D1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c975803620ab9f8f51d61395bfde7add14d1d6ae","datavalue":{"value":{"entity-type":"item","numeric-id":484633,"id":"Q484633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce260ff240f1809482203b7dfe602c1338facb0","datavalue":{"value":{"amount":"+0.7469056844711304","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":"Q849198$73B82D0B-1F3D-4306-A1AD-E4BF60CA59DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"169f1f1cacb666c1ac73d4ff054207b65dd0bfd7","datavalue":{"value":{"entity-type":"item","numeric-id":3794407,"id":"Q3794407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb460251b8633bf9fe566e2c39f892cc989c50c","datavalue":{"value":{"amount":"+0.7454493045806885","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":"Q849198$35F6DD9A-C485-48E6-999A-1C36A0E715E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af2fc35d4a0cc9628bb0a2dd32ac61df45207ff","datavalue":{"value":{"entity-type":"item","numeric-id":1359218,"id":"Q1359218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b9b81ac760565f526e3b36773da32409dd3266","datavalue":{"value":{"amount":"+0.7446755766868591","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":"Q849198$FD0E069B-32C3-474D-B2A8-F223666447DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28bd8dcb826bde786081abc2822fde3a48b522a1","datavalue":{"value":{"entity-type":"item","numeric-id":2855931,"id":"Q2855931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b9b81ac760565f526e3b36773da32409dd3266","datavalue":{"value":{"amount":"+0.7446755766868591","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":"Q849198$2A7460B4-0F6B-4807-9F88-F8F1DEDF99EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal classes for algebraic groups.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_classes_for_algebraic_groups."}}}}}