{"entities":{"Q1818749":{"pageid":1829491,"ns":120,"title":"Item:Q1818749","lastrevid":69036216,"modified":"2026-04-13T03:54:47Z","type":"item","id":"Q1818749","labels":{"en":{"language":"en","value":"Asymptotic morphisms and elliptic operators over \\(C^*\\)-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384371"}},"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":"Q1818749$A35E9A7A-78D8-4348-A032-A0D93AC3B5D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1789c211737e3db6954b1b09b93733338153767","datavalue":{"value":{"text":"Asymptotic morphisms and elliptic operators over \\(C^*\\)-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818749$2DC3CA4F-9BD3-45F2-9D75-75D573D8044C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b44fe9878a8db4e8ba30401c736cac82563bcc3","datavalue":{"value":"0938.19004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$01D1001E-906F-4F99-AE0C-C8EED38BF8A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0d456279e98e1eb7e89644906fd535c451f9ff6","datavalue":{"value":"10.1023/A:1007826011810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$29490739-DD6E-4C1A-AC36-62FACEF266D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e32d648c282b34082d5069ec6fcd67a67719beab","datavalue":{"value":{"entity-type":"item","numeric-id":1267994,"id":"Q1267994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818749$D7D61907-7BFF-4448-9BD9-366F055464F6","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":"Q1818749$B313966D-0E04-4DDB-8B3B-7A3BC83BC95D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe66a28cad835273ea4119156e456cbd684380d","datavalue":{"value":{"time":"+2000-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818749$16F66098-787F-46C8-A2BC-EADC72D4E3B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d081c172242234e982d6162bb84349e561b545c","datavalue":{"value":"https://arxiv.org/abs/math/9906098","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818749$3244C6F6-0FDD-4B3D-8682-BC69DA6245CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a708b964209b0fdf6467928956322526d93e237","datavalue":{"value":"For compact smooth manifolds, the following \\(C^*\\)-version of the well-known Atiyah-Singer index theorem, is considered. \\textit{A. S. Mishchenko} and \\textit{A. T. Fomenko} [Math. USSR, Izv. 15, 87-112 (1980); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 43, 831-859 (1979; Zbl 0416.46052)] considered an elliptic \\(A\\)-operator \\(P : C^\\infty(E_1) \\to C^\\infty(E_2)\\), acting between the spaces of smooth sections of smooth vector \\(A\\)-bundles \\(E_i \\to M\\), whose fibers are finite projective modules over a unital \\(C^*\\)-algebra \\(A\\). If the kernel and cokernel of \\(P\\) are finite projective \\(A\\)-modules, the analytic index is defined as usual \\(\\text{Index}_a= [\\text{ker}(P)]- [\\text{coker}(P)].\\) The topological index of \\(P\\) is defined by the Gysin map construction and is the class of the principal symbol \\(\\text{Index}_t(P) = [\\sigma(P)] \\in K_0({\\mathbb C}_0(T^*M) \\otimes A)\\). They proved that modulo torsions these indices are equal.    In a series of papers [see e.g., \\textit{Yu. P. Solov'ev} and \\textit{E. V. Troitskij}, ``\\(C^*\\)-algebras and elliptic operators in differential topology'' (Faktorial, Moskva) (1996); \\textit{E. V. Troitskij}, Proc. Steklov Inst. Math. 193, 197-201 (1993); translation from Tr. Mat. Inst. Steklova 193, 178-182 (1992; Zbl 0812.46067)], Troitskij gave a complete proof of the \\(C^*\\)-version of the index theorem \\(\\text{Index}_a(P) = \\text{Index}_t(P)\\), rather than modulo torsions, following a generalization of the axiomatic method of Atiyah-Singer. In particular, the greatest difficulty is the fact that the analytic index is unchanged when replacing the underlying manifold \\(M\\) by a bundle \\(S\\to M\\) with compact fibers and using the Thom isomorphism \\(K_A(T^*M) \\cong K_A(T^*S)\\) to show that the analytic index is well behaved.    The classical Atiyah-Singer index theorem was reproven clearer by \\textit{N. Higson} [Contemp. Math. 148, 67-86 (1993; Zbl 0798.19004)]. It was much clearer to prove it in the frame of asymptotic morphisms in the Connes-Higson \\(E\\)-theory. For the \\(C^*\\)-version of the problem, the author uses here the asymptotic morphism of the Connes-Higson \\(E\\)-theory \\(\\{\\Phi_t\\}_{t\\in [1,\\infty)} : {\\mathbb C}_0(T^*M)\\otimes A \\to {\\mathcal K}(L^2M) \\otimes A\\) to show that the topological index and the induced map \\(\\text{Index}_m := \\Phi_* : K^0_A(T^*M) \\to K_0(A)\\), referred to as the multiplicative index map, induces the same isomorphism \\(\\text{Index}_t(P) = \\text{Index}_m(P) :{\\mathcal E}\\ell\\ell(A) \\to K_0(A)\\), from the Baum-Douglas type group \\({\\mathcal E}\\ell\\ell(A)\\) of elliptic objects to the \\(K_0(A)\\). The index theorem is proven in Section 5, establishing the theorem first for the first-order elliptic differential \\(A\\)-operators by adapting Higson's asymptotic morphism method and then by using Kasparov's KK-theory argument stating that, up to homotopy, every elliptic pseudodifferential \\(A\\)-operator on a smooth closed spin-manifold is given by a first-order Dirac operator \\(D_E\\) twisted by a vector \\(A\\)-bundle \\(E\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818749$DE42D0BB-6ED7-4D3D-BC00-D915836C04DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ec60e09b0387b07c17ddbf66073a5b14f0797014","datavalue":{"value":{"entity-type":"item","numeric-id":213764,"id":"Q213764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818749$74ABD0F5-61C1-4BE4-BB4F-F3DE3DCC7155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f71964c2750804c1efe51f48d88536980eefc93","datavalue":{"value":"19K35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$33A9CD9D-0682-4573-A97E-3F6A1EC75393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1f44704bff84fc17b4ec12601b54a640a12b79","datavalue":{"value":"46L80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$8485B1A4-F283-4DC6-8746-979C21080C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e03f3a7f96c80d3bc548029374fff2882f548c","datavalue":{"value":"19K56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$4D60ED56-F588-4ED1-932B-73F8939707BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79e9512e6675c1f8ba6cdf93d7e0801c5bfc942f","datavalue":{"value":"1384371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$EFB42787-5619-4434-ADE9-07459315A614","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ab4e764c554311e84e769e0a6084ecc105bd3b","datavalue":{"value":"index theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818749$1D233CA8-D810-4355-9BF3-7BF2B4748D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82ee14a4afa2493c00f565ea622ef44f78f791bb","datavalue":{"value":"Bott periodicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818749$0A2899D7-7AD5-4486-8757-349BB45A8195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d67276f02738561b01c238c74f8b9991de4211fc","datavalue":{"value":"Connes-Higson E-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818749$2A0D4F06-0EBF-4DC1-90BD-917B4A68F950","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":"Q1818749$BC2C2AD5-5B5E-4E92-B3F7-ABCAA35A6BFD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298fbe46fa940f11c18f045959ca4a74e94ca41e","datavalue":{"value":"W2963846197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818749$5D61C532-087A-428B-B0C5-573A69EAD589","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2cc54369d3ac7858c6bc0b105d1d1a38f275de","datavalue":{"value":{"entity-type":"item","numeric-id":3142390,"id":"Q3142390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99c604beadc9d1222525dc26f51124d01c4de29","datavalue":{"value":{"amount":"+0.8295256495475769","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":"Q1818749$6056CA26-7B26-4D0F-8385-05796F60CE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a5b2f5be22385bfbd4633d86326dfca9771a4ec","datavalue":{"value":{"entity-type":"item","numeric-id":1043770,"id":"Q1043770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"768df8b18650d54c25b325257d24bd13c7883f25","datavalue":{"value":{"amount":"+0.7941182255744934","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":"Q1818749$742DC809-0B35-484F-A4A6-88D3F6CCC5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be7867a9bf446102f0c9fb4ff771391859837f6a","datavalue":{"value":{"entity-type":"item","numeric-id":3223545,"id":"Q3223545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65c7a06e6fbe9c615dd0804201a7af8edda27d2","datavalue":{"value":{"amount":"+0.7819123268127441","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":"Q1818749$F8615E48-9229-49D8-862C-4E4098E13E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic morphisms and elliptic operators over \\(C^*\\)-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotic_morphisms_and_elliptic_operators_over_%5C(C%5E*%5C)-algebras"}}}}}