{"entities":{"Q876410":{"pageid":878258,"ns":120,"title":"Item:Q876410","lastrevid":65020941,"modified":"2026-04-11T23:47:15Z","type":"item","id":"Q876410","labels":{"en":{"language":"en","value":"A Chevalley formula in equivariant \\(K\\)-theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144437"}},"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":"Q876410$5C9F8AAC-9982-4126-AFA1-B094DF4FD445","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be98b9e01349f0f5a5d16d6d0d7c4def9b0f25c3","datavalue":{"value":{"text":"A Chevalley formula in equivariant \\(K\\)-theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876410$B45C6C7A-D3A3-4374-BC26-55FEE5C86BE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30c4adb43018e12930b577a3b93253a978cb3bda","datavalue":{"value":"1116.19003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$5BE58B9B-D301-48F7-A910-B207393F4E2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b7851cfb825b21badb8081d6af14fc1c162868","datavalue":{"value":{"entity-type":"item","numeric-id":876409,"id":"Q876409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$8A90BB86-1BD7-4263-B5CE-9905111442CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$861EFEE4-B91A-4444-9DDB-D3C2D4F3BE01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f339c49c589764265da0f7de34a17b3e7a78e06","datavalue":{"value":{"time":"+2007-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q876410$1CF17B1A-9843-42F3-B67D-AE927A5ACFED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8840fae6a72692dcd3620a1556c517b725da5241","datavalue":{"value":"https://arxiv.org/abs/math/0603220","type":"string"},"datatype":"url"},"type":"statement","id":"Q876410$5A9F49FA-0088-4027-ADE9-794DDD002C3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47d1feac4b11cf28c417863116e9a88e77c867d8","datavalue":{"value":"Let \\(G\\) be a connected and simply connected complex semi-simple group, and let \\(B\\) be a Borel subgroup of \\(G\\) and \\(H\\) a Cartan subgroup of \\(B\\). Let \\(X\\) denote the flag variety \\(G/B\\) with the \\(H\\)-action by multiplication on the left. The aim of this paper is to give a formula (called a Chevalley formula) for the product of a complex line bundle and a Schubert class in the \\(H\\)-equivariant \\(K\\)-theory \\(K(H, X)\\) of \\(X\\). In the present case the Grothendieck group of \\(H\\)-equivariant complex vector bundles over \\(X\\) is isomorphic to that of \\(H\\)-equivariant coherent sheaves on \\(X\\), so that it is understood that \\(K(H, X)\\) represents these two groups which are identified. Hence one sees that \\(K(H, X)\\) has two kinds of canonical classes \\([{\\mathcal{L}}^X_\\lambda]^H\\) and \\([{\\mathcal{O}}_{\\overline{X}_w}]^H\\) where \\(\\lambda \\in X(H)\\) the group of characters of \\(H\\) and \\(w \\in W=N_G(H)/H\\) the Weyl group of \\(G\\), which are defined in its respective underlying Grothendieck groups. Here \\({\\mathcal{L}}^X_\\lambda\\) denotes the associated line bundle to the principal \\(B\\)-bundle \\(G \\to X\\) where \\(B\\) acts on \\(G\\) through the natural extension of \\(\\lambda\\) to \\(B\\), and \\({\\mathcal{O}}_{\\overline{X}_w}\\) denotes the structure sheaf of the Schubert variety \\(\\overline{X}_w\\) obtained by using the Bruhat decomposition of \\(G=\\bigsqcup_{w \\in W}BwB\\) where \\(\\overline{X}_w\\) is the closure of the \\(B\\)-orbit of \\(w \\in W\\) (in the Zariski topology).   Letting \\(R(H)\\) denote the ring of complex representations of \\(H\\), it is known that the classes \\(\\{ [{\\mathcal{O}}_{\\overline{X}_w}]^H : w \\in W \\}\\) form an \\(R(H)\\)-basis of \\(K(H, X)\\) and on the other hand the classes \\(\\{ [{\\mathcal{L}}^X_\\lambda]^H : \\lambda \\in X(H) \\}\\) generate \\(K(H, X)\\) as an \\(R(H)\\)-algebra. From this it follows that the product \\([{\\mathcal{L}}^X_\\lambda]^H[{\\mathcal{O}}_{\\overline{X}_w}]^H\\) can be written in the form  \\[  [{\\mathcal{L}}^X_\\lambda]^H[{\\mathcal{O}}_{\\overline{X}_w}]^H=\\sum_{v \\in W} q^\\lambda_{w, v}[{\\mathcal{O}}_{\\overline{X}_v}]^H  \\]  where \\(q^\\lambda_{w, v} \\in R(H)\\). The main result (Theorem 4) gives an algorithm to compute these coefficients \\(q^\\lambda_{w, v}\\). The proof uses the \\(H\\)-equivariant \\(K\\)-theory of a Bott-Samelson variety \\(\\Gamma\\). By observing restrictions to fixed points in equivariant \\(K\\)-theory, the author obtains a decomposition of the class \\([{\\mathcal{L}}^\\Gamma_\\lambda]^H\\) in its \\(R(H)\\)-basis. This enables one to deduce the required formula via a standard map from \\(\\Gamma\\) to \\(X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q876410$487EDC26-9173-4376-ADB1-9D4FBFBFB80F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c993c33cff342651cbbd54e4f5b587ad2b93dd47","datavalue":{"value":{"entity-type":"item","numeric-id":329669,"id":"Q329669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$57E99CA5-F810-4083-BAA4-4CBE0F61F5A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0de07df041448f087b0052398b7d304d4d46469","datavalue":{"value":"19E08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$2BFC2C09-5131-4597-BAA0-B930B3743773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6dd31f6535721e733e805c12cf8dc43cd8eaaf74","datavalue":{"value":"19L47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$C4F14AE4-485A-4502-B973-8FC70C759D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6201e1b7e8677a8e029bc5ba7300656cbb6afcb","datavalue":{"value":"19D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$EA4A2484-8536-469B-9F21-4E0071C0CC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e94aafaa2f33801917e46c8c822f847901de3e7","datavalue":{"value":"14M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$B7629E14-F8A7-474A-954D-0795C26DC7E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee3f18c1e9b215c9edd8a134cb08d0a4d5c049e5","datavalue":{"value":"5144437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$69EEC58A-7461-4330-A9DF-499D6E9913B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa1c64305569fdb795bf14ac26a0f8a81aed99a4","datavalue":{"value":"equivariant \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q876410$749AA3D1-BC82-4594-AEEC-E22176F36936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99e17f1b49f5418163009f03930e73117c59f753","datavalue":{"value":"flag varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q876410$F3C83822-085D-4A99-A694-765FCA1A9B20","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":"Q876410$1571E5E8-C569-45ED-A2D1-2DC61B1D4723","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ba24f01b486be0ff3015fcb3bbf81f83a3e3920","datavalue":{"value":"W2027533780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$DC4227B0-AA1F-4B25-9542-1288A78FB229","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5088cebb2029c27560c753d1986a2c845c5f279d","datavalue":{"value":{"entity-type":"item","numeric-id":4018467,"id":"Q4018467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$E61E5BF4-FB2D-462D-83DD-DBEBA70C5A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a827900059b49930f1d61a97f98515bd051de9f","datavalue":{"value":{"entity-type":"item","numeric-id":4308246,"id":"Q4308246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$FEF22A3D-38A9-4987-B9C6-3D8F62C18982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61decf45647cc242057cfd4d8bd0ce6fd570c5db","datavalue":{"value":{"entity-type":"item","numeric-id":2785535,"id":"Q2785535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$98FE01B3-A04F-4E9D-8395-2321194D3286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf1639a1aa2a5385efd686b6743c3d96da4441fb","datavalue":{"value":{"entity-type":"item","numeric-id":4071369,"id":"Q4071369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$569985F1-3FDE-43CF-B4F3-1BA7009E9324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5a0bef8219b5d602cf9656ec92d0189945d91a","datavalue":{"value":{"entity-type":"item","numeric-id":3437811,"id":"Q3437811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$431102EC-D05B-494C-8D13-5B96C08A9B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c237ebb40719bff93bd2e16069aeb213c7b5d87","datavalue":{"value":{"entity-type":"item","numeric-id":1770268,"id":"Q1770268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$C14DC3B4-C64D-4A60-ACEB-0A162721CE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc94e5088297d1b149a738a9eeeb1a57d57f8185","datavalue":{"value":{"entity-type":"item","numeric-id":1804666,"id":"Q1804666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$3EC648BE-9616-4D44-8FE1-781F6FF97D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45aaa982dc7754924392d1688f2d4816253a5900","datavalue":{"value":{"entity-type":"item","numeric-id":1100544,"id":"Q1100544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$4037DD4C-8F41-48A6-859D-0710D513C72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfcd5b14362dbf1c617fb3a3c1cea53de88980f8","datavalue":{"value":{"entity-type":"item","numeric-id":1847956,"id":"Q1847956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$8FD3A1EB-8C78-4002-93C9-BB241DC9E706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df301bca3ddf99017a36d4cc8ee5c80a7430f50d","datavalue":{"value":{"entity-type":"item","numeric-id":5428071,"id":"Q5428071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$BC1DEFAD-E6FE-452F-8A33-9408AD54D573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce153e62c046872d2e97970f328ba60f864a7a45","datavalue":{"value":{"entity-type":"item","numeric-id":4437899,"id":"Q4437899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$3E237128-7CA1-4C89-B0BA-4FC928385B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bfefcb8693d1f5f270ff24aa831d3d381068bd","datavalue":{"value":{"entity-type":"item","numeric-id":1582744,"id":"Q1582744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$69C5167E-EF8C-4E55-9C22-DE67FB946664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285415190817bb70729c7ef1ea9ad3662d47f56e","datavalue":{"value":{"entity-type":"item","numeric-id":4485748,"id":"Q4485748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$F7AA94D4-23ED-4751-AD89-E0F30F3D3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648643a555b37ccf9409844bed18c9e9ea9e3c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5314618,"id":"Q5314618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$6ABC362B-1CE6-42FA-BECF-A81E5C07AF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c88a435d92831b2e97986a8e4c1bfe0f86b1e3c","datavalue":{"value":{"entity-type":"item","numeric-id":3375343,"id":"Q3375343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$0AE5E004-091E-488E-A886-1B3E09D898D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b480ff63d07c2d35bc9ab6e5d8f463819b62c2ab","datavalue":{"value":{"entity-type":"item","numeric-id":2495305,"id":"Q2495305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876410$F559C362-BDD0-42B0-ACF4-9FFDC4BF7E31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b683ed0c68fdecdc5ec10450fbdceba33c79365","datavalue":{"value":"10.1016/J.JALGEBRA.2006.07.031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876410$8533033A-BCE7-46DC-98FF-2AD7D35EFABA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12f83f64529ccb99044662314fd9b05d6a9a02c7","datavalue":{"value":{"entity-type":"item","numeric-id":4485748,"id":"Q4485748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11d23181089aa6cc6c5cc39e7160e89224c33997","datavalue":{"value":{"amount":"+0.8022649884223938","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":"Q876410$AEE11677-D6B4-49E9-B771-506371E7464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1b209f351168354942a4eb9110b429c17cd643","datavalue":{"value":{"entity-type":"item","numeric-id":2461389,"id":"Q2461389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407cabaa5b1c88461f0d64c49941d6f02bb13050","datavalue":{"value":{"amount":"+0.7913697361946106","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":"Q876410$1EA46814-F7BA-4FE8-A867-C377F4B7480D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e609fc30dff7b1bb0019690f2a5e1fa3494fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2037605,"id":"Q2037605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f180648a84d6598ed91483f9a84783e3de3722f8","datavalue":{"value":{"amount":"+0.7904627919197083","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":"Q876410$E97BC925-E380-4987-9ACF-04442257586B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01dd399162a55ea320a0eb2db111cc5dcd8422f0","datavalue":{"value":{"entity-type":"item","numeric-id":2217883,"id":"Q2217883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78784df101b26a6e074a932513af6759ed5ed67a","datavalue":{"value":{"amount":"+0.7782580256462097","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":"Q876410$B5AEA8A0-CCBA-4DE9-A67E-590B71041232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5984e138a1dd73851a6894ee3dc3692b08d70885","datavalue":{"value":{"entity-type":"item","numeric-id":4645081,"id":"Q4645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0e04d65fbc8fc909d4c6348e538d29d1cd4de5","datavalue":{"value":{"amount":"+0.775314450263977","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":"Q876410$05992782-6A01-4084-9400-D71A4342CB14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Chevalley formula in equivariant \\(K\\)-theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Chevalley_formula_in_equivariant_%5C(K%5C)-theory"}}}}}