{"entities":{"Q931895":{"pageid":933743,"ns":120,"title":"Item:Q931895","lastrevid":65438076,"modified":"2026-04-12T02:36:19Z","type":"item","id":"Q931895","labels":{"en":{"language":"en","value":"Riemann-Roch theorem for higher bivariant \\(K\\)-functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5298313"}},"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":"Q931895$9662708D-45A9-4E78-A48A-C35EC42FD41A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8819cbda72da201cdd267e05a77ecae893e1f87","datavalue":{"value":{"text":"Riemann-Roch theorem for higher bivariant \\(K\\)-functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q931895$B1903780-676B-42C9-BC43-DBC2196B491E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f83775fc02698bb08b8a7cba3955460702af1690","datavalue":{"value":"1164.19001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$8D076209-572F-4890-92A9-4B2005750B94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1adbfe14c7042a8836166ee9006cfa285c796a8d","datavalue":{"value":{"entity-type":"item","numeric-id":931894,"id":"Q931894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$84AB1789-5A9A-44C6-869F-7A5C95B05EBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009139fe2eae5f3265e6a1f5b7f09fba6b23c2de","datavalue":{"value":{"time":"+2008-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q931895$95BCB257-7382-452E-8F0F-B733719C0D94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a889472877390ee52355b793d615919a54adbb86","datavalue":{"value":"http://www.numdam.org/item?id=AIF_2008__58_2_571_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q931895$2C8FA1FE-07CC-49CE-AF6F-181DF119AE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f50fbc3088b0def71cc71513c0ad64409705e12","datavalue":{"value":"https://eudml.org/doc/10325","type":"string"},"datatype":"url"},"type":"statement","id":"Q931895$6C2AE03B-5383-4E39-9DB4-98D2DB97029A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b823b4978ee6691070c428e0f16b98cd583226d","datavalue":{"value":"\\textit{P. Baum , W. Fulton} and \\textit{R. MacPherson} [Acta Math. 143, 155--192 (1979; Zbl 0474.14004)] proved a \\(K\\)-homological version of the Riemann-Roch theorem for quasi-projective varieties. The statement of the Riemann-Roch theorem in this context translates to the existence and uniqueness of a specific natural transformation from the Grothendieck group \\(K^{alg}_0(X)\\) of the category of coherent sheaves on the quasi-projective variety \\(X\\) to the topological \\(K\\)-theory group \\(K^{top}_0(X)\\). Later \\textit{H. Gillet} in [Adv. Math. 40, 203--289 (1981; Zbl 0478.14010)] generalized their results from the \\(K_0\\)-level to higher \\(K\\)-theory. About the same time \\textit{W. Fulton} and \\textit{R. MacPherson} [Mem. Am. Math. Soc. 243, 165 p. (1981; Zbl 0467.55005)] considered relative versions of the \\(K\\)-theory groups and construct corresponding Riemann-Roch transformations \\(K^{alg}_0(f) \\to K^{top}_0(f)\\) for morphisms \\(f\\) between quasi-projective varieties. In addition they showed that these Riemann-Roch transformations are compatible with the composition product, which is induced by the composition of morphisms. In the same memoir they conjectured that their bivariant version of the Riemann-Roch transformation also should have an analogue for higher \\(K\\)-theory.  In the paper under review the author constructs the desired bivariant version of the Riemann-Roch transformation for higher \\(K\\)-theory. In fact, he proves much more as his construction is made to apply to morphisms between general complex spaces, and not just to apply to morphisms between quasi-projective varieties. From that respect the work in the paper under review should be thought of as a continuation of the one in the same author's paper [\\textit{R. N. Levy}, Acta Math. 158, 149--188 (1987; Zbl 0627.32004)], where he already generalized the Baum-Fulton-MacPherson version of the Riemann Roch transformation from quasi-projective varieties to general complex spaces.  To obtain the bivariant Riemann-Roch transformation in all degrees of \\(K\\)-theory the author constructs an exact functor between suitably defined Waldhausen categories such that the desired transformation is realized by taking \\(K\\)-theory. In order to verify the main characteristic properties of the transformation the author in fact uses two different models for the exact functor. To show the compatibility of the bivariant Riemann-Roch transformation with the direct image functor he considers a model which is constructed using functional-analytic methods from [\\textit{R. N. Levy}, loc. cit.], while to verify the compatibility of the bivariant Riemann-Roch transformation with the composition product he uses a more algebraically oriented definition of the exact functor. To show that the two exact functors yield the same bivariant Riemann-Roch transformation the author introduces and compares various intermediate Waldhausen categories, which all represent the relevant algebraic respectively topological \\(K\\)-theory groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$47F9D501-27ED-47DA-9CF3-DEE6FB5D7A7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4922df62a0d2c247c83b67ba8b061a2814ea5dd3","datavalue":{"value":{"entity-type":"item","numeric-id":172626,"id":"Q172626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$E6F59B60-DEAE-41D9-8198-BA5B01174FE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"65846499b0ec7c59a723582c747aac1b5d6b07ee","datavalue":{"value":"19L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$FBBE0F41-FC7D-4461-9F0B-B9451511B8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d760f9b893faa1cac06367d503424a26de9e552","datavalue":{"value":"19D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$6223F8AD-5B54-415F-9FA1-7281FF366D8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d1781a0f1f4c500524a1f24cdde4874382e5ae1","datavalue":{"value":"5298313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$FD4BA64C-FE97-4078-9F32-93E94004EBA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3250d2eed374e332ff69f0b06c01d1e7764274","datavalue":{"value":"bivariant \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$1FD3DE00-FF3E-4A9B-9DEE-382A7897627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3570eef74e9305ff1ef03a1fb5f6004198a331de","datavalue":{"value":"bivariant Riemann-Roch transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$F8366917-BADC-4561-A2D0-1279248DD520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30b84357af6c0c3f97b90fc8b17e31b34c2ec0f","datavalue":{"value":"higher \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$07418BE3-F905-4F66-8D98-2F192F41A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8209ec8c518afa62ab5dc37e286d6576b0046cb","datavalue":{"value":"Riemann-Roch theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$52D70C01-FD2F-4B63-9CA7-EF69CA0F4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1ca6b4000b3fd9ca5b84e0e8c84cc245b918533","datavalue":{"value":"Waldhausen \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q931895$8324FDE1-B871-452A-BCC0-81FF10480D2A","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":"Q931895$28EBB1BA-E3EF-4594-89A7-DF901E6241B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42f469752c08d34056f9000691685597bb4d455e","datavalue":{"value":"W2322422190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$7CBB9235-60FB-4D03-B400-B0538159F622","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"285ba31c0670f978388c40b311fa8d0f3dadd70b","datavalue":{"value":{"entity-type":"item","numeric-id":3992579,"id":"Q3992579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$7706D37D-095E-4CF2-BDF1-D8E108520BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34973d887c2e986b7db80202faf43f2f53eb4468","datavalue":{"value":{"entity-type":"item","numeric-id":1159240,"id":"Q1159240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$FF3A9BC0-1640-4D3A-A6CB-5FA3FE75DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f7c0d02af9b0a10d7762b01eb1c101a64f4f54","datavalue":{"value":{"entity-type":"item","numeric-id":2554076,"id":"Q2554076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$FD36F2BE-AB58-46BC-986A-FB9B27DB661D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76bac135e2554d6648a9755947e6857366042fa6","datavalue":{"value":{"entity-type":"item","numeric-id":3920308,"id":"Q3920308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$A52FB22E-4849-4833-8A92-2E48C387EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213734e86deb9985853c0ab276790fad8dd0bad6","datavalue":{"value":{"entity-type":"item","numeric-id":1160668,"id":"Q1160668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$A534CD3D-4F62-4020-8A83-7E5AF16F5633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a717f561241244767a3bb6c233d8ef5919f0cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3247612,"id":"Q3247612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$165C5266-4515-4180-9F4E-D8B475360213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c66395ebebaf01b43485aeb117c9d83b0764d5","datavalue":{"value":{"entity-type":"item","numeric-id":1092284,"id":"Q1092284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$34155551-2D28-4300-9CBA-F7EA94F5F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfb82c6fbde1c383c86c596bccbe6da8007a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":4043211,"id":"Q4043211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$ECAA5707-C500-435D-87CC-DB1BF1589DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cb1ebc38e7663e40946af8d80cf3b0f6792c82","datavalue":{"value":{"entity-type":"item","numeric-id":3701607,"id":"Q3701607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$1B5860CF-5E8A-40C7-81FE-D5AD7571FF56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55363ae021027bf7116b6ba36e2b18298d291dd1","datavalue":{"value":"10.5802/AIF.2361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q931895$04983C37-C567-432C-891B-91397E34859F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q931895$015EA41E-741A-4292-9514-A6D93D60E972","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e0bea293cecc2292f614dd40cf939f8043ae76","datavalue":{"value":{"entity-type":"item","numeric-id":3701538,"id":"Q3701538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"becbf074fa39fdb742bc11d5acb6de1254fa1669","datavalue":{"value":{"amount":"+0.7962083220481873","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":"Q931895$9D831948-2030-4459-B39D-4836939CA7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdcd590c8c5a7b860f0e468977679308dc7b5b","datavalue":{"value":{"entity-type":"item","numeric-id":1201495,"id":"Q1201495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"560400be82b1bc525bb6c99035daf6852120090b","datavalue":{"value":{"amount":"+0.7840250134468079","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":"Q931895$0087725D-CABB-4D93-8514-846F1CDF8E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52aa2f1d771addd30100230df5362ed1fff27ff","datavalue":{"value":{"entity-type":"item","numeric-id":4519342,"id":"Q4519342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3d9288dfa812beb41bdc1abd6026f48033d765","datavalue":{"value":{"amount":"+0.7753714323043823","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":"Q931895$5289C527-5F37-4ED5-9B38-123F45A6EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20623ad1457953ab7ce3413db667c498c81c2cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2699559,"id":"Q2699559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650ed816cd41f90ceb382f33ef1d31755a6b204a","datavalue":{"value":{"amount":"+0.7725164890289307","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":"Q931895$9E6A0E0D-4448-4865-8242-0B31563032F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9feab351f10981f7836fdb766922f6772c52e347","datavalue":{"value":{"entity-type":"item","numeric-id":995625,"id":"Q995625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2061038297bfee66c34f27e944a4b4f9dfefec77","datavalue":{"value":{"amount":"+0.7692205309867859","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":"Q931895$B564FD3B-C16E-4911-9199-9D6D3B137B5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Riemann-Roch theorem for higher bivariant \\(K\\)-functors","badges":[]}}}}}