{"entities":{"Q656340":{"pageid":658189,"ns":120,"title":"Item:Q656340","lastrevid":63370545,"modified":"2026-04-11T12:24:49Z","type":"item","id":"Q656340","labels":{"en":{"language":"en","value":"An index formula for nonlocal operators corresponding to a diffeomorphism of a manifold"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5998408"}},"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":"Q656340$04ED55B9-38B2-4EA5-A66F-928A76C5C094","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8a5487a0faa62b586231459328017661b437d0e","datavalue":{"value":{"text":"An index formula for nonlocal operators corresponding to a diffeomorphism of a manifold","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656340$5A13572A-8555-400B-99F4-A3584736890C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35ff4c74e660731fd78d8892b2e9b2ec54a8d475","datavalue":{"value":"1246.58017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$466845F5-9C4A-47D5-A4E6-E0DF2D27E1C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83aa30ad93c7768e86fec1b4e8882e4077047f8f","datavalue":{"value":"10.1134/S106456241103029X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$4464B084-30D2-400D-BC17-22197B589438","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4fde561adc4b72ab020faa81f80e62797a7e32","datavalue":{"value":{"entity-type":"item","numeric-id":339964,"id":"Q339964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$B988B135-DA64-4C06-B654-60B69F3B1D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91d004afb562bad240aa90cacd80016b6aea51bd","datavalue":{"value":{"entity-type":"item","numeric-id":220143,"id":"Q220143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$EF88B1B1-C97D-444A-AC3B-55A00908C91B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$10F87A9E-98F9-44CF-9E60-DEC8BFD4A063","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e8f47db6d3162742e0091c274a854f76c796b77","datavalue":{"value":{"time":"+2012-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656340$05DFBBC8-A1D3-4C85-871A-3831AED66955","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d4c13a7953d6b75032367ad319d694ce84694dc","datavalue":{"value":"Let \\(M\\) be an oriented smooth manifold, let \\(g:M\\to M\\) be an orientation preserving diffeomorphism, and let \\(E\\) and \\(F\\) be complex vector bundles on \\(M\\).  The authors consider nonlocal operators given by a finite sum \\(D=\\sum_kD_kT^k:C^\\infty(M,E)\\to C^\\infty(M,F)\\), where \\(T:C^\\infty(M,E)\\to C^\\infty(M,g^*F)\\) is the shift operator induced by \\(g\\), \\((Tu)(x)=u(g(x))\\), and the coefficients \\(D_k:C^\\infty(M,g^{k*}E)\\to C^\\infty(M,F)\\) are zero order pseudodifferential operators. The symbol \\(\\sigma(D)\\) is the sequence of symbols \\(\\sigma(D_k)\\in C^\\infty(S^*M,\\pi^*\\text{Hom}(g^{k*}E,F))\\), where \\(\\pi:S^*M=T_0^*M/\\mathbb{R}_+\\to M\\) is the cospherical bundle. If \\(B=\\sum_kB_kT^k:C^\\infty(M,G)\\to C^\\infty(M,E)\\) is another operator of the same type, then \\(\\sigma(DB)(k)=\\sum_{\\ell+m=k}\\sigma(D_\\ell)((\\partial g^\\ell)^*\\sigma(B_m))\\), where \\(\\partial g=(dg^t)^{-1}:T^*M\\to T^*M\\). This formula is taken as definition of product of this kind of symbols, and the symbol of the identity operator \\(T^0\\) is the identity element. Then it is said that \\(D\\) is elliptic if \\(\\sigma(D)\\) is invertible. In this case, it is observed that \\(D\\) defines a Fredholm operator between Sobolev spaces of any order, and its kernel and cokernel consist of smooth sections.  In [\\(K\\)-Theory 34, No. 1, 71--98 (2005; Zbl 1087.58013)], the first author defined the difference construction \\([\\sigma(D)]\\in K_0(C^\\infty_0(\\mathcal{T}^*M)\\rtimes\\mathbb{Z})\\), where \\(C^\\infty_0(\\mathcal{T}^*M)\\) is the algebra consisting of all \\(u\\in C^\\infty([0,1]\\times S^*M)\\) such that \\(u|_{t>1-\\epsilon}=0\\) and \\(u|_{t<\\epsilon}=u_0(x)\\) for \\(u_0\\in C^\\infty(M)\\). Similarly, let \\(\\Lambda(\\mathcal{T}^*M)\\) be the differential algebra consisting of all \\(\\omega\\) in the de~Rham differential algebra \\(\\Lambda[0,1]\\times S^*M)\\) so that \\(\\omega|_{t>1-\\epsilon}=0\\) and \\(\\omega|_{t<\\epsilon}=\\pi^*\\omega_0\\), where \\(\\pi:[0,1]\\times S^*M\\to M\\) is the projection. Consider the corresponding Haefliger cohomology \\(H^*(\\mathcal{T}^*M/\\mathbb{Z})\\), defined by the complex \\(\\Lambda(\\mathcal{T}^*M)/(1-g^*)\\Lambda(\\mathcal{T}^*M)\\). Then the Chern character \\(\\text{ch}:K_*(\\mathcal{T}^*M)\\rtimes\\mathbb{Z})\\to H^*(\\mathcal{T}^*M/\\mathbb{Z})\\) is defined. Moreover \\(\\pi:[0,1]\\times S^*M\\to M\\) induces a homomorphism \\(\\pi_*:H^*(\\mathcal{T}^*M/\\mathbb{Z})\\to H^{*-\\dim M}(M/\\mathbb{Z})\\), where \\(H^*(M/\\mathbb{Z})\\) is the Haefliger cohomology defined by \\((M,g)\\) (given by the complex \\(\\Lambda(M)/(1-g^*)\\Lambda(M)\\)). The Chern character of an elliptic \\(D\\) is defined as \\(\\text{ch}(D)=\\pi_*\\cosh[\\sigma(D)]\\in H^*(M/\\mathbb{Z})\\).  On the other hand, let \\(H_*(M/\\mathbb{Z})\\) be the homology of the complex of \\(g\\)-invariant currents on \\(M\\), which has a canonical pairing with \\(H^*(M/\\mathbb{Z})\\). The authors assume that the class \\(\\text{Td}(T^*M\\otimes\\mathbb{C})\\cap[M]\\in H_*(M)\\), dual to \\(\\text{Td}(T^*M\\otimes\\mathbb{C})\\), belongs to the image of the canonical homomorphism \\(H_*(M/\\mathbb{Z})\\to H_*(M)\\), and take a preimage denoted by \\(\\text{Td}_g(T^*M\\otimes\\mathbb{C})\\). Then the topological index of an elliptic \\(D\\) is defined as \\(\\text{ind}_tD=\\langle\\text{ch}D,\\text{Td}_g(T^*M\\otimes\\mathbb{C})\\rangle\\). The main result of the paper is an index theorem stating that, if \\(H_{\\text{odd}}(M)\\otimes\\mathbb{Q}=0\\), then \\(\\text{ind}D=\\text{ind}_tD\\). The proof is not given, but several examples are described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$BAB27F89-FADD-4040-83FF-2D2131EA2F57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"93186b12440bc08ca467c6e27a40f50e92cc208c","datavalue":{"value":"58J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$877A9811-D307-4D2C-96C0-FA5E9A347C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e18f7e3adc27cfc6c871e7451259111ae209758","datavalue":{"value":"58J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$673C6C55-D627-4789-995B-AFFEA1E674EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81b2ba56022561f158c41eb2496086e52dc28ca0","datavalue":{"value":"5998408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$D854CAD0-666B-440A-9AB2-69D94FAAC971","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66d0f0cfbe1d251fb9a83caa3be73f8e4941e4bb","datavalue":{"value":"nonlocal elliptic operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$2D78AAE1-59CF-40A4-A50F-78CB1ADA9F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98812c498daa25b291d28069cb932d493d49ca1f","datavalue":{"value":"shift operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$3D334A40-B572-4D39-B2DB-2E7F9D15CFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95841049aecd1c871ba955af7ae83abfdcd4a4b1","datavalue":{"value":"Chern character","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$5C7E828C-063D-4DAC-BD39-0DD121E20539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef96d6ca110d3a4aa0e88280bfe08e86dede1eaa","datavalue":{"value":"difference construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$B3A4F7B4-0CF0-478C-8F30-7674167B7F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a4f84a5b2c2992dab000864c38870012bff45b","datavalue":{"value":"index theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q656340$B514F36B-B10F-4CEF-8F48-F8749DDCEDB9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff643153d2d70e126aa0dfbea009c33aa742a044","datavalue":{"value":{"entity-type":"item","numeric-id":525712,"id":"Q525712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$4B7B256A-E59A-42C4-A1DD-D27E33440C8F","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":"Q656340$0FC2E86A-6DBB-4E89-AC2E-2AF59B599226","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66edf36cfb08aef4eb685d6004e3b7c5ad994143","datavalue":{"value":{"entity-type":"item","numeric-id":4277008,"id":"Q4277008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$A4B83C3E-62E7-403C-AC2B-907A1AD165F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c22abd62fad55265bb5a4680fb3cae17e2c7fa5","datavalue":{"value":{"entity-type":"item","numeric-id":4265268,"id":"Q4265268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$8041142E-3FCF-426F-843C-222EA9913374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd3da3c2cc56e1d404a7f6f2fcc8b6b670751dc","datavalue":{"value":{"entity-type":"item","numeric-id":2477048,"id":"Q2477048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$39D7A1D5-7481-4194-ACF5-539B7FE894DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466984e6276aaa4086a8ba678cb32daca945ec50","datavalue":{"value":{"entity-type":"item","numeric-id":600734,"id":"Q600734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$B14EE5E9-6B8D-45E7-B6BC-D78E33A16BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c2218561f1bec14f5d62ffc15a6e308cc94ed","datavalue":{"value":{"entity-type":"item","numeric-id":542321,"id":"Q542321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$2363B906-E08E-4957-BEE8-9909E1DAF60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd784ff31b16dc014659a7082fe4b65a424b149d","datavalue":{"value":{"entity-type":"item","numeric-id":3426708,"id":"Q3426708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$A22D3CB3-E890-46A1-B951-C9F2E99A8ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e301e9523b2b6e2dcfdc1aa39652aedb27b35090","datavalue":{"value":{"entity-type":"item","numeric-id":1144820,"id":"Q1144820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$A4B328E5-3650-47A9-9CDF-6F27C83BB09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263194f3e3fb0aa775fda53e2abe7b9fa9204dd2","datavalue":{"value":{"entity-type":"item","numeric-id":2567986,"id":"Q2567986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$FFA889D6-C001-40F5-B17C-7B2478793012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0ba86a953b16b738a6bb7031625241df46fd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5729461,"id":"Q5729461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$5939E432-6318-4CB3-B910-6630461DBA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5105e4be68fb8a08b7d1d80cefe54bfd3d003ee7","datavalue":{"value":{"entity-type":"item","numeric-id":2645551,"id":"Q2645551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656340$3DFE4EDA-E95A-42B0-B47F-D1846EF3792B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef3e3c1995781edd32930309de52d3bc694d1b01","datavalue":{"value":"https://doi.org/10.1134/s106456241103029x","type":"string"},"datatype":"url"},"type":"statement","id":"Q656340$A0FDA19E-EF34-4B91-BD56-6472DF519C6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecb834ef3910c392f1bc6a969aeaa8001d611956","datavalue":{"value":"W2009106980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656340$78183466-550C-488E-8F49-47A49131C997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180643da7d0b59c4b6f25bca0d537bda2c58f314","datavalue":{"value":{"entity-type":"item","numeric-id":542321,"id":"Q542321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7131b68fe187db8f0b09a73e8a2c46ea98d960b0","datavalue":{"value":{"amount":"+0.8655787706375122","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":"Q656340$DF9E29DD-595F-4255-842D-D73B7B2F7C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81470445a1bc26de572ec0fd56bb82e15cacae37","datavalue":{"value":{"entity-type":"item","numeric-id":2435862,"id":"Q2435862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17b65ce7a96cb8ff0d5e5bc953735e95a5078b2","datavalue":{"value":{"amount":"+0.8518770337104797","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":"Q656340$5F523834-AB22-4B3A-A9CD-351E28C214E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a9a3d4e72a91a95cb43bd5a4f55ff0ca476c0d","datavalue":{"value":{"entity-type":"item","numeric-id":470337,"id":"Q470337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29e9e518b2e91c8692f45b27fb50fc4a8e3b2c6d","datavalue":{"value":{"amount":"+0.8413942456245422","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":"Q656340$1B9AF55B-2DD3-46E1-BBE0-D5ACF51ACE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebf421fc6b5a818278312dfafacb8a1eb5335129","datavalue":{"value":{"entity-type":"item","numeric-id":647721,"id":"Q647721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76fbd2695ef766194c533cc69b473c18bfc98001","datavalue":{"value":{"amount":"+0.8383620977401733","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":"Q656340$0AF837FC-F0D9-458D-9FA6-0F0D60B4772C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aa0f71dc942c4bb80876a8fc846cb05ac97a82","datavalue":{"value":{"entity-type":"item","numeric-id":2259068,"id":"Q2259068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420c675dbf00392181ee8684cfbcd1920751d151","datavalue":{"value":{"amount":"+0.8320509791374207","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":"Q656340$A9523C5C-FACC-48F9-AB10-C1076D29E977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An index formula for nonlocal operators corresponding to a diffeomorphism of a manifold","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_index_formula_for_nonlocal_operators_corresponding_to_a_diffeomorphism_of_a_manifold"}}}}}