{"entities":{"Q1367004":{"pageid":1377744,"ns":120,"title":"Item:Q1367004","lastrevid":68745588,"modified":"2026-04-13T01:47:41Z","type":"item","id":"Q1367004","labels":{"en":{"language":"en","value":"\\(K\\)-theory of algebraic tori and toric varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1062412"}},"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":"Q1367004$68CD73F9-DA28-4870-A2C0-675ADFA09380","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ac10c0a5a2b2f0d1d4cf3d543217dce2d9ca7c5","datavalue":{"value":{"text":"\\(K\\)-theory of algebraic tori and toric varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1367004$0DD7A37E-319B-460B-A5D0-78877335515F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"913ed338596abc65e9bab9fa0baac3b677293c51","datavalue":{"value":"0882.19002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$70FC3F10-0194-449C-A4EB-0F16F06A8028","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e73f30edc555110ac7a97a9a0621bbc879f0846","datavalue":{"value":"10.1023/A:1007770500046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$5D43E300-3F9F-4067-A47F-D51E6DE2B864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaeb5b1f7d517fff2e7dbdcd4baad56ef184454a","datavalue":{"value":{"entity-type":"item","numeric-id":503917,"id":"Q503917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367004$ECA2BFFF-3AA4-4517-8EEA-D931B77796C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f437908fa67a06dafc858823bd4f0413bc043c45","datavalue":{"value":{"entity-type":"item","numeric-id":713359,"id":"Q713359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367004$C0FF68F2-867C-4BF8-A8E0-6177358BA7A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367004$D03C1C93-415C-47FF-80A8-AF11CBE27607","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6731495957fce69e0c4829616a87e0bb5b599fc8","datavalue":{"value":{"time":"+1998-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1367004$25640136-138E-4E51-8227-B2CFBC31437D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"644a771f9d4ddc257c4cee6488ab079955b4d212","datavalue":{"value":"Let \\(F\\) be a field. Write \\({\\mathcal V}ar(F)\\) for the category of all varieties over \\(F\\), \\({\\mathcal {PV}}ar(F)\\) for the full subcategory of smooth projective varieties over \\(F\\), and \\({\\mathcal A}lg (F)\\) for the category of separable \\(F\\)-algebras. For \\(X\\in {\\mathcal V}ar(F)\\) and \\(A\\in {\\mathcal A}lg (F)\\) one has the exact category \\({\\mathcal P}(X,A)\\) of left \\(A\\otimes_F{\\mathcal O}_X\\)-modules which are locally free \\({\\mathcal O}_X\\)-modules of finite rank and morphisms of \\(A\\otimes_F{\\mathcal O}_X\\)-modules. Similarly one has the abelian category \\({\\mathcal M}(X,A)\\) of left \\(A\\otimes_F{\\mathcal O}_X\\)-modules which are coherent \\({\\mathcal O}_X\\)-modules and morphisms of \\(A\\otimes_F{\\mathcal O}_X\\)-modules. One can define the \\(K\\)-groups \\(K_n(X,A):=K_n ({\\mathcal P}(X,A))\\) and \\(K'_n(X,A):=K_n ({\\mathcal M}(X,A))\\), with the usual properties such as inverse image, direct image, base change, products, projection formula, pairings. For \\(X\\in {\\mathcal {PV}}ar(F)\\) and \\(A\\in {\\mathcal A}lg(F)\\) consider the pairs \\((X,A)\\) with morphisms given by \\(\\text{Mor}((X,A),(Y,B))=K_0(X\\times Y,A^{\\text{op}}\\otimes_FB)\\), where \\(A^{\\text{op}}\\) is the opposite \\(F\\)-algebra. One obtains the motivic category \\({\\mathcal C}= {\\mathcal C}_F\\) with involution and tensor structure. One has functors \\(i:{\\mathcal {PV}}ar(F)\\to {\\mathcal C}\\) taking \\(X\\) to \\((X,F)\\), and \\(j:{\\mathcal A}lg(F)\\to{\\mathcal C}\\) taking \\(A\\) to \\((\\text{Spec}(F),A)\\). For any \\(V\\in{\\mathcal{PV}}ar(F)\\) the composition \\({\\mathcal{PV}}ar(F)@>j>>{\\mathcal C}@>{\\mathbf K}_n^V>>{\\mathcal A}b\\) coincides with the functor \\(X\\mapsto K'_n(V\\times X)\\), and for any \\(V\\in{\\mathcal V}ar(F)\\) the composition \\({\\mathcal A}lg(F)@>j>>{\\mathcal C}@>{\\mathbf K}_n^V>>{\\mathcal A}b\\) coincides with \\(A\\mapsto K'_n(V,A)\\).   Let \\(S\\) be a reductive algebraic group over \\(F\\) and let \\(\\pi:U\\rightarrow S\\) be an \\(S\\)-torsor over the smooth projective variety \\(X\\). Assume there is an \\(S\\)-equivariant open embedding of \\(U\\) into an affine space on which \\(S\\) acts linearly. Now the main theorem of the paper says: There exists a separable \\(F\\)-algebra \\(A\\) and morphisms \\(u:X\\rightarrow A\\) and \\(v:A\\rightarrow X\\) in \\({\\mathcal C}\\) such that \\(v\\circ u=\\text{Id}_X\\). In other words, \\(X\\) is a `direct summand' of \\(A\\) in \\({\\mathcal C}\\). Thus the groups \\(K_n(X)\\) become direct summands of the \\(K_n(A)\\).   For an algebraic torus \\(T\\) defined over \\(F\\) one defines a toric \\(T\\)-variety \\(X\\) as a normal geometrically irreducible variety \\(X\\) defined over \\(F\\) if there is an open orbit being a principal homogeneous space over \\(T\\). \\(X\\) is called a toric \\(T\\)-model if the open orbit has a rational point. An application of the main theorem to this situation gives the result: For a smooth projective toric model of an algebraic torus defined over \\(F\\) there exists a commutative separable \\(F\\)-algebra \\(A\\) and elements \\(u,v\\in K_0(X,A)\\) such that \\(X@>u>> A@>v>> X\\) is \\(\\text{Id}_X\\) in \\({\\mathcal C}\\) and \\(u\\) is represented by a class in \\(\\text{Pic}(X\\otimes_FA)\\). Several applications of this result are deduced, e.g., \\(CH^2(X)\\) is finitely generated, and \\((d-1)!A_0(X)=0\\) (\\(d\\) is the dimension of \\(X\\)), etc.   Using a splitting principle for morphisms in \\({\\mathcal C}\\) one can deduce the general result: For a smooth projective toric variety \\(X\\) over \\(F\\) there exists a separable \\(F\\)-algebra \\(A\\) and morphisms \\(u:X\\rightarrow A\\) and \\(v:A\\rightarrow X\\) in \\({\\mathcal C}\\) such that \\(v\\circ u=\\text{Id}_X\\). As a corollary one finds that \\(K_0(X)\\) is a free abelian group of finite rank and \\(K_0(X_{sep})\\) is a direct summand of a finitely generated permutation \\(\\text{Gal}(F_{sep}/F)\\)-module. Furthermore, the group \\(CH^2(X)\\) is finitely generated.   For an algebraic torus \\(T\\) one can describe the group \\(K_0(T)\\) in terms of generators and relations. Let \\(L/F\\) be a finite splitting field extension of \\(T\\). \\({\\mathcal A}(T)\\) will be the abelian group with generators the isomorphism classes \\(\\langle P\\rangle\\) of invertible sheaves \\(P\\in\\text{Pic}(T_E)\\) for all intermediate extensions \\(F\\subset E\\subset L\\), and relations are given by \\(\\langle P\\otimes_{E_1}E_2\\rangle= (E_2:E_1)\\cdot\\langle P\\rangle\\) for any \\(F\\)-homomorphism \\(\\phi:E_1\\rightarrow E_2\\) of subfields in \\(L\\) and any \\(P\\in\\text{Pic}(T_E)\\). Then \\({\\mathcal A}(T)\\) is finitely generated. One has a homomorphism \\(\\alpha:{\\mathcal A}(T)\\rightarrow K_0(T)\\), \\(\\langle P\\rangle\\mapsto(i_{E/F})_*[P]\\), \\(P\\in\\text{Pic}(T_E)\\), with \\(i_{E/F}:T_E\\rightarrow T\\) the natural morphism. The following theorem is proved: \\(\\alpha\\) is an isomorphism. Several corollaries ensue, e.g., \\(K_0(T)^{(1)}\\) is finite (where \\(K_0(T)={\\mathbb{Z}}\\cdot 1\\oplus K_0(T)^{(1)}\\)), \\(CH^2(T)\\) is finite.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$A1D25CB8-2A71-483C-A3DC-A919964CBA30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0de07df041448f087b0052398b7d304d4d46469","datavalue":{"value":"19E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$A8E7DFAF-5619-4ED2-8D45-094A3A829C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$656E17AD-DDBF-4BA7-B7EC-4223C9F66583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd707926678c23fd6f3990ca4c5c306963ed8e65","datavalue":{"value":"19D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$209F6A1F-3C3E-45C5-B4CA-2DE7C23E905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$2B686D33-AAA4-4A14-964A-B1B3410D214F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88688e72f0a33acf959239abdf7bdeaf924c3028","datavalue":{"value":"1062412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$4A94C274-99CB-4576-92CA-82D8EEF289F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e6879fb7937e79aa13431e06f9a0d9212415df","datavalue":{"value":"toric variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$52B0BBA2-39AA-444E-9FCF-0511ECD37CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a92680589d44497e9a17bbd29cbf21cc800513e2","datavalue":{"value":"toric model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$CB9B1704-3912-420B-BF59-CC3AF3B1B6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7d38dd9bb5033d63d244f906a862c3e76d8952","datavalue":{"value":"Chow group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$8B7D89A3-B992-4DBE-BD85-996D444738CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f39b8b6365791b62097087188f69a6a9a4ec422","datavalue":{"value":"smooth projective varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$E2336BD5-7A2D-4D4C-A9B6-14147CB6018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"549202308acc1401c68b11873c514572461d3e88","datavalue":{"value":"motivic category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$DDC7F52D-E106-4AE7-8013-9CEDB8CED8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a32b01dd1d07c1fa31f4f59d34aaaeac655989f","datavalue":{"value":"principal homogeneous space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1367004$0CA0A12B-FBAA-4CBA-8983-A94D394B5D91","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87338ed4c4ef03b7b929db88cdefad9c24ab3698","datavalue":{"value":{"entity-type":"item","numeric-id":916707,"id":"Q916707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1367004$D0EE4565-41FD-4787-86C2-ECC826C9930D","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":"Q1367004$4981EB4B-1721-4127-A516-A651BA03DE85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff731be0a34a78864fd7f9fe674c785c01782f1","datavalue":{"value":"https://doi.org/10.1023/a:1007770500046","type":"string"},"datatype":"url"},"type":"statement","id":"Q1367004$F8D84147-30F1-4671-9AFA-491ADECB17A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92db092c169fba33aa2efbea8cd47cadbd100509","datavalue":{"value":"W2008611168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1367004$4951349A-0733-4660-A2D8-13D78BE79E05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15212c17f0aeced19ecb64a8f5c66c02d55762e8","datavalue":{"value":{"entity-type":"item","numeric-id":5718775,"id":"Q5718775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc7a51d5eb6f15fcaf64bc191f64001e93cde6c","datavalue":{"value":{"amount":"+0.8127791285514832","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":"Q1367004$6EF16480-6498-49C4-ACC7-0157A3883D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edd674cb07a128e6aca336449e315cab8d35c73","datavalue":{"value":{"entity-type":"item","numeric-id":3603873,"id":"Q3603873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e524866d3bc8a78c587eba5f3603f3556776cbb","datavalue":{"value":{"amount":"+0.8082761168479919","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":"Q1367004$1B6CEBE7-602E-46F4-B13D-BFB3F58E66B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da697c6cd2fbb635817198ffbaab178c494e13c0","datavalue":{"value":{"entity-type":"item","numeric-id":1261272,"id":"Q1261272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d5611bc96d493294c5120a47d1cdab81414c817","datavalue":{"value":{"amount":"+0.7939882278442383","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":"Q1367004$1B549B09-BD82-43D5-8446-7D15467D3BD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(K\\)-theory of algebraic tori and toric varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(K%5C)-theory_of_algebraic_tori_and_toric_varieties"}}}}}