{"entities":{"Q713402":{"pageid":715251,"ns":120,"title":"Item:Q713402","lastrevid":63743655,"modified":"2026-04-11T15:15:01Z","type":"item","id":"Q713402","labels":{"en":{"language":"en","value":"Lefschetz fixed point theorems for Fourier-Mukai functors and DG algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6099543"}},"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":"Q713402$A4DF5698-609B-4472-B694-AC86309067E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d252d20d3897e0f24167033d7d7cc4b69f35e24a","datavalue":{"value":{"text":"Lefschetz fixed point theorems for Fourier-Mukai functors and DG algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q713402$FF5B502F-F539-4DE3-83C8-14195B094A90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b32b4f3bd7b8f97ee16775db5945809d289c6f4","datavalue":{"value":"1253.14017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$8AC57DF3-36DC-4B44-9B1D-8697B8F10BE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd85f2804d180a078ea2c264ac9fd5d1237737a","datavalue":{"value":{"entity-type":"item","numeric-id":222663,"id":"Q222663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$21DC9A82-B6A4-47AA-BAF4-26F6DFC0D1F8","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":"Q713402$2515EF30-6154-4B47-AE44-B6C103CB8A5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78850d0f93143245d71b956be1f4431496cab06d","datavalue":{"value":{"time":"+2012-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q713402$9EBFFA23-644D-483E-B1A4-380E328B6114","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a58227de4e1d43639715e4d7298a70146cdbb69","datavalue":{"value":"https://arxiv.org/abs/1102.2884","type":"string"},"datatype":"url"},"type":"statement","id":"Q713402$2EB4AE6D-D7AC-4C83-82DC-CA592AE0F60B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a16d20aab53ab90979e3ad0d4a2ce84357d5eb8","datavalue":{"value":"In the paper under review the author proves several variants of the Lefschetz fixed point (LFP) theorem.  In the first part an algebro-geometric setting is considered. Namely, let \\(X\\) and \\(Y\\) be smooth projective varieties over a field \\(k\\) and let \\(\\Phi_E\\) be the usual Fourier--Mukai functor \\(\\Phi_E: D^b(X)\\rightarrow D^b(Y)\\) between the bounded derived categories of coherent sheaves on \\(X\\) and \\(Y\\) defined by an object \\(E\\in D^b(X\\times Y)\\). Given an object \\(E\\in D^b(X\\times X)\\), define its Hochschild homology \\(HH_i(E)\\) to be \\(\\text{Hom}^{-i}(\\mathcal{O}_X,\\Delta^*E)\\), where \\(\\Delta\\) is the diagonal morphism and all functors are derived. Note that with this definition the total space \\(HH_\\bullet(E)\\) is finite-dimensional and that \\(HH_i(\\Delta_*\\mathcal{O}_X)=:HH_i(X)=\\text{Hom}^{-i}(\\mathcal{O}_X,\\Delta^*\\Delta_*\\mathcal{O}_X)\\).  The Hochschild homology of a variety \\(X\\) has several nice properties, in particular, a Fourier--Mukai functor \\(\\Phi_E\\) as above induces a linear map of graded spaces \\(HH_\\bullet(X)\\rightarrow HH_\\bullet(Y)\\). For \\(X=Y\\) one gets an endomorphism and the first LFP-type theorem proved in this paper is the equality \\(\\sum_i (-1)^i\\text{dim} HH_i(E)=\\sum_j (-1)^j \\text{Tr}HH_j(\\Phi_E)\\).  Next, if \\(k=\\mathbb{C}\\), one can consider singular cohomology \\(H^\\bullet(X,\\mathbb{C})\\). A Fourier--Mukai functor \\(\\Phi_E\\) induces a map \\(H^\\bullet(\\Phi_E)\\) on cohomology which preserves the parity of the cohomological degree. In this setting and if \\(X=Y\\), one gets \\(\\sum_i (-1)^i\\text{dim}HH_i(E)=\\text{Tr}H^{ev}(\\Phi_E)-\\text{Tr}H^{odd}(\\Phi_E)\\).  One can also study singular homology \\(H_\\bullet(X,\\mathbb{C})\\). For a map \\(f: X\\rightarrow X\\), consider the structure sheaf \\(\\mathcal{O}_{\\Gamma(f)}\\) of the graph of \\(f\\). The author proves that \\(\\sum_i (-1)^i\\text{dim} HH_i(\\mathcal{O}_{\\Gamma(f)})=\\sum_j(-1)^j\\text{Tr}H_j(f)\\), where \\(H_j(f)\\) is the linear map induced by \\(f\\) on the \\(j\\)-th piece of the homology. The above results are proved in Sections 3, 4 and 5, respectively, while Section 6 establishes a LFT-type theorem for two maps between different spaces.  In the second part of the paper the focus shifts to a categorical setting. Namely, let \\(A\\) be a smooth and proper DG algebra over a field \\(k\\) and consider the triangulated category of perfect DG \\(A\\)-modules \\(\\text{Perf}(A)\\). A perfect DG bimodule \\(M\\) defines an endofunctor of \\(\\text{Perf}(A)\\) by the formula \\(\\Phi_M(B)=B\\otimes^L_A M\\). One can define Hochschild homology of \\(A\\) and \\(M\\), the functor \\(\\Phi_M\\) induces a map on the Hochschild homology of \\(A\\) and the final result of the paper is the equality \\(\\sum_i(-1)^i\\text{dim}HH_i(M)=\\sum_j(-1)^j\\text{Tr}HH_j(\\Phi_M)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q713402$9F17640B-0C92-41BB-BA27-244549B4FFE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d6432cd620d3971a1e256f78156adb1af981933b","datavalue":{"value":{"entity-type":"item","numeric-id":335066,"id":"Q335066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$A65CCA1D-D73D-4572-9D48-FEC1F764EA08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$470411DC-E74E-4D1B-B7A3-4A074ACDA10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$B1712925-C1BF-47B2-A944-4DC2A9A6AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95f29fdc22281515479c771e95c94f402b6c5ce1","datavalue":{"value":"14F43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$A42B60CE-107B-4BF9-BF93-17980AA16FF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b336a9075ad9d01ed0f9add058ac6888b39b50","datavalue":{"value":"6099543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$0A9D206E-0FC5-4A89-8CD9-84BE9C8F874F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2accd7cb665e7e0ac258ac41d3bf72ef7c1406","datavalue":{"value":"Fourier-Mukai transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q713402$C1CB5315-1694-4544-89C6-48E97F82148E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac82067bb8840a2b5043c396bce481c4370c2867","datavalue":{"value":"Lefschetz fixed point theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q713402$8B0EA6BC-0D48-4555-BCBC-ABEE25605AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10d9898c5e14cbd28e7067820d03d43dff7b99e2","datavalue":{"value":"DG algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q713402$D45A4F66-15A4-469E-B179-C811E40F9FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f585ef92fcf68dde60dd97e80046943cc2c2e83e","datavalue":{"value":"Hochschild homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q713402$82780BFA-5333-407E-A023-2345598530AA","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":"Q713402$FFD9C7E3-7CFE-4CA8-A4D0-FD26542B965B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6289bada92f62ff4d55fd9b2709955757149517","datavalue":{"value":"W2085876606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$F600E5FB-874C-4C50-931B-366CC81E5784","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d705d0d291aae5e1ba953f7970064177c528947a","datavalue":{"value":{"entity-type":"item","numeric-id":1330279,"id":"Q1330279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$4ACEFCDA-080E-4483-9155-A93D09E1DF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f599be553f45de59c739a363609657debf47e52","datavalue":{"value":{"entity-type":"item","numeric-id":556865,"id":"Q556865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$FB1CD827-DC90-47BC-A910-C348ACE01EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82fd2e206b43d177a87faa177cd1c94ef1d540d5","datavalue":{"value":{"entity-type":"item","numeric-id":1427366,"id":"Q1427366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$CEBD20B3-1956-41FE-9F10-DE7B90B59916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f941b0e51e89bfebf991e32d44e6ee5f3992783e","datavalue":{"value":{"entity-type":"item","numeric-id":4289257,"id":"Q4289257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$DDFD48F0-998B-4CB5-BB1A-DA01FFA07E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113c0364842986b756633bb93af74f6778b38132","datavalue":{"value":{"entity-type":"item","numeric-id":1295705,"id":"Q1295705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$C05B1493-DE8F-4657-AE8F-5706CC808FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64123f46f03c7ca003b8029d63403d121f5fb885","datavalue":{"value":{"entity-type":"item","numeric-id":975101,"id":"Q975101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$48D30BA5-C280-4979-82AB-79555EF6C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2ffb1984519dec89350231616d71f14efc6c7d","datavalue":{"value":{"entity-type":"item","numeric-id":3396250,"id":"Q3396250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$68A67D92-F98A-488D-95DA-D86A4D44C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e894333a43be119a3f0a5249d74aed39b98560a6","datavalue":{"value":{"entity-type":"item","numeric-id":3207120,"id":"Q3207120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$5DD42C1D-AA0C-4F4F-8C7D-B671C790847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfa82227bac2e20159e431e456fc00ab50d8b37","datavalue":{"value":{"entity-type":"item","numeric-id":4898123,"id":"Q4898123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$01AEA490-1011-4722-8546-4A5CFB3F91C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9afb1fc3a182b28aaca195dd6f37ab7d8cb0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2861485,"id":"Q2861485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$DE1620B7-CC3B-4B1E-9722-FCC3F8F21864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474929b07c89f373e6b8bd7aeed63a95efc87e","datavalue":{"value":{"entity-type":"item","numeric-id":958358,"id":"Q958358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$A9F0C574-FDFD-4984-A583-CCBA047BD5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db234f8fe689dad8b1e6757663ee4a1b81cb636","datavalue":{"value":{"entity-type":"item","numeric-id":3057883,"id":"Q3057883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$C2AECA2F-505A-4693-83F6-177BB2282D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18118af3ec237aaf928ffbffb4a19c1033647a19","datavalue":{"value":{"entity-type":"item","numeric-id":4907990,"id":"Q4907990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713402$EC716A4F-CC7D-475F-A6B2-F15BC55030ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbe2276a8129fbdb0e6521ea0c4ab212df91cbc4","datavalue":{"value":"10.1016/J.JALGEBRA.2012.01.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713402$7684D2BB-795E-465A-B276-27E7EE537E4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac06ef86742519572e67ea0a14fbaaf1513bb9c9","datavalue":{"value":{"entity-type":"item","numeric-id":2264075,"id":"Q2264075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd732f8b78e5ba4d242d620efdf403cbf7e629a","datavalue":{"value":{"amount":"+0.797173261642456","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":"Q713402$EAAD3B2A-85B2-48C0-8BDA-2907BA0E0736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2390f3dfc543fc1bd02bb58ccd7dc67a97cc60","datavalue":{"value":{"entity-type":"item","numeric-id":2510413,"id":"Q2510413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7196655a564d25bb613a7cf55fc27f2878e795aa","datavalue":{"value":{"amount":"+0.7677577137947083","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":"Q713402$1E01FA70-7440-488B-B94F-741570BCE480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef97a7259dfca48fde3bfec16bd88f6b82d1e34d","datavalue":{"value":{"entity-type":"item","numeric-id":2921070,"id":"Q2921070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67dda26bb24d6225bc7ab6ac3f9e437378ae464d","datavalue":{"value":{"amount":"+0.7374458312988281","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":"Q713402$31E32121-EE6B-427F-937C-B61957E8A7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0599d16fea9650b3e18c8a3efbae7a62cb9534","datavalue":{"value":{"entity-type":"item","numeric-id":2346457,"id":"Q2346457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dee87a96c3f7fa7912c97c40a54d3a20b95aa06c","datavalue":{"value":{"amount":"+0.7324857711791992","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":"Q713402$DD0B0D8A-6C16-478E-91CE-728846C5A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210229384dab5649f6249251e8eabed48636ac96","datavalue":{"value":{"entity-type":"item","numeric-id":2412529,"id":"Q2412529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ccec39855023d9130f7e1d49648fe16fdf5f05","datavalue":{"value":{"amount":"+0.7309793829917908","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":"Q713402$E8917AC9-035F-47E3-924B-9F1848E28E46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lefschetz fixed point theorems for Fourier-Mukai functors and DG algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lefschetz_fixed_point_theorems_for_Fourier-Mukai_functors_and_DG_algebras"}}}}}