{"entities":{"Q1000230":{"pageid":1002078,"ns":120,"title":"Item:Q1000230","lastrevid":57258789,"modified":"2026-03-27T16:36:08Z","type":"item","id":"Q1000230","labels":{"en":{"language":"en","value":"Deformations and Fourier-Mukai transforms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5503074"}},"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":"Q1000230$D939E9A5-BAFD-48E5-847A-FA60F5D456A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"378cfd932cc5c51e4aae70c9bbc454d637961232","datavalue":{"value":{"text":"Deformations and Fourier-Mukai transforms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1000230$C5655536-C8E5-4973-BACF-4C76B1831B57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b53220c21056eb4b4554b632f3b52126e68eecc9","datavalue":{"value":"1165.14019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$7B4BA42F-A2AE-46A0-980E-3DFB012C95B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c9c6bec32eae3fa1809c7699dac082ec78dc9f","datavalue":{"value":{"entity-type":"item","numeric-id":258901,"id":"Q258901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000230$288C1072-B20E-4B4B-8492-F1A1128A15E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33075497992c7b00cbed0c3ce471beb5f6082d57","datavalue":{"value":{"entity-type":"item","numeric-id":240580,"id":"Q240580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000230$238C8814-510B-4E91-A4CC-4290EE8688AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fb18d8802cf3abae5e4680d2164009847fc6528","datavalue":{"value":{"time":"+2009-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1000230$17657677-39C3-4DB9-BD63-01D350B4F613","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeec172520a6e675cb763bf2e6590f33dce7736f","datavalue":{"value":"https://arxiv.org/abs/math/0502571","type":"string"},"datatype":"url"},"type":"statement","id":"Q1000230$1BDF031E-7A68-4E52-B02E-B75326F9706B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"42af604dea22ebd80e641afa943b36cce5362a22","datavalue":{"value":"https://projecteuclid.org/euclid.jdg/1228400631","type":"string"},"datatype":"url"},"type":"statement","id":"Q1000230$57B38611-1076-4FC0-AB40-DB80AFC1F72C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c17d8f623898e9e6e06fab08d490b6a0617db1e","datavalue":{"value":"Let \\(X\\), \\(Y\\) be smooth projective varieties over \\(\\mathbb C\\), let \\(\\text{Coh}(X)\\) be the abelian category of coherent sheaves on \\(X\\), and let \\(\\text{D}^b(X)\\) be the bounded derived category of \\(\\text{Coh}(X)\\). The \\textit{Hochschild cohomology} \\(HH^{\\ast}(X)\\) of \\(X\\) is defined as \\(\\text{Ext}^{\\ast}_{X\\times X}({\\mathcal O}_{\\Delta}, {\\mathcal O}_{\\Delta})\\), where \\(\\Delta \\subset X\\times X\\) is the diagonal. The \\textit{Hochschild-Kostant- Rosenberg} isomorphism asserts that \\(HH^N(X) \\simeq \\bigoplus_{p+q = N}H^p(X, {\\wedge}^qT_X)\\). Let \\({\\mathbb C}[\\varepsilon ]\\), \\({\\varepsilon}^2 = 0\\), denote the ring of dual numbers.  In the paper under review, the author associates to each \\(u = (\\alpha ,\\beta, \\gamma )\\in HH^2(X) \\simeq H^2({\\mathcal O}_X) \\oplus H^1(T_X) \\oplus H^0({\\wedge}^2T_X)\\) a first order deformation of \\(\\text{Coh}(X)\\). This deformation is a \\({\\mathbb C}[\\varepsilon ]\\)-linear abelian category \\(\\text{Coh}(X, u)\\) which can be described as follows: let \\({\\mathcal X}_{\\beta} \\to \\text{Spec}\\, {\\mathbb C}[\\varepsilon ]\\) be the first order deformation of the scheme \\(X\\to \\text{Spec}\\, {\\mathbb C}\\) corresponding to \\(\\beta \\in H^1(T_X)\\). One has an extension of sheaves of \\(\\mathbb C\\)-algebras: \\(0 \\to {\\mathcal O}_X\\varepsilon \\to {\\mathcal O}_{{\\mathcal X}_{\\beta}} \\overset {\\pi}{} {\\mathcal O}{_X}  0\\). \\(\\gamma \\in H^0({\\wedge}^2T_X)\\) can be identified with an alternate \\(\\mathbb C\\)-bilinear map \\(\\gamma : {\\mathcal O}_X\\times {\\mathcal O}_X \\to {\\mathcal O}_X\\) with the property that \\(\\gamma (a,-) : {\\mathcal O}_X \\to {\\mathcal O}_X\\) is a \\(\\mathbb C\\)-derivation, \\(\\forall a \\in {\\mathcal O}_X\\). One can define a new structure of sheaf of (not necessarily commutative) \\({\\mathbb C}[\\varepsilon ]\\)-algebras on \\({\\mathcal O}_{{\\mathcal X}_{\\beta}}\\) by the formula: \\(a\\, {\\ast}_{\\gamma}\\, b := ab + \\gamma (\\pi (a), \\pi (b))\\varepsilon\\), \\(a, b \\in {\\mathcal O}_{{\\mathcal X}_{\\beta}}\\). Let \\({\\mathcal O}_{{\\mathcal X}_{\\beta}}^ {(\\gamma )}\\) denote the sheaf \\({\\mathcal O}_{{\\mathcal X}_{\\beta}}\\) endowed with this new multiplication. Assume that \\(\\alpha\\) is represented by a \u010cech 2-cocycle \\(({\\alpha}_{ijk})\\) on an affine open cover \\((U_i)_{1\\leq i\\leq N}\\) of \\(X\\). Then \\(\\text{Coh}(X, u)\\) consists, by definition, of collections \\((\\{{\\mathcal F}_i\\}_{1\\leq i\\leq N}, \\{{\\phi}_{ij}\\})\\), where \\({\\mathcal F}_i\\) is a finitely generated \\({\\mathcal O}_{{\\mathcal X}_{\\beta}}^{(\\gamma)} | U_i\\)-module and \\({\\phi}_{ij} : {\\mathcal F}_j | U_{ij} \\to {\\mathcal F}_i | U_{ij}\\) are isomorphisms satisfying the \\textit{twisted cocycle condition}: \\({\\phi}_{ij} \\circ {\\phi}_{jk} \\circ {\\phi}_{ki} = (1-{\\alpha}_{ijk}\\varepsilon )\\cdot \\text{id}_{{\\mathcal F}_i}\\). Let \\(\\text{D}^b(X, u)\\) denote the bounded derived category of \\(\\text{Coh}(X, u)\\).  The main result of the paper under review asserts that if an object \\(\\mathcal P\\) of \\(\\text{D}^b(X\\times Y)\\) defines an equivalence of categories: \\(\\Phi := \\text{R}p_{Y\\ast}(p_X^{\\ast}(-)\\overset {\\text{L}}\\otimes {\\mathcal P}) : \\text{D}{^b(X)}  \\text{D}^b(Y)\\), i.e., a \\textit{Fourier-Mukai transform}, if \\(v := \\Phi (u) \\in HH^2(Y)\\), and if \\({\\check u} := (\\alpha , -\\beta , \\gamma)\\) then there exists an object \\({\\mathcal P}^{\\dag} \\in \\text{D}^b_{\\text{perf}}(X\\times Y, -p_X^{\\ast}{\\check u} + p_Y^{\\ast}v)\\) with the property that the associated functor \\({\\Phi}^{\\dag} : \\text{D}^b(X, u) \\to \\text{D}^b(Y, v)\\) is an equivalence.  The key point in the proof of this result is a proposition asserting that if \\(\\mathcal E\\) is an object of \\(\\text{D}^b(X)\\) then there exists an obstruction class in \\(\\text{Ext}_X^2({\\mathcal E}, {\\mathcal E})\\), expressed in terms of \\(u\\) and the \\textit{Atiyah class} of \\(\\mathcal E\\), which vanishes iff there exists an object \\({\\mathcal E}^{\\dag}\\) of \\(\\text{D}^b_{\\text{perf}}(X, u)\\) such that \\(\\text{L}i^{\\ast}\\, {\\mathcal E}^{\\dag} \\simeq {\\mathcal E}\\), where \\(i^{\\ast} : \\text{Coh}(X, u) \\to \\text{Coh}(X)\\) is the functor corresponding to the canonical epimorphism \\({\\mathcal O}_{{\\mathcal X}_{\\beta}}^{(\\gamma)} \\to {\\mathcal O}_X\\).  As an application, the author shows that if \\(X\\) and \\(Y\\) are connected by a \\textit{flop} \\(X \\to W \\leftarrow Y\\) and if \\(\\mathcal P\\) is an object of \\(\\text{D}^b(X\\times Y)\\) supported on \\(X{\\times}_WY\\) which defines a Fourier-Mukai transform \\(\\Phi : \\text{D}^b(X) \\to \\text{D}^b(Y)\\) then there exists an isomorphism \\({\\phi}_D : H^1(T_X) \\to H^1(T_Y)\\) such that \\(\\Phi\\) extends to an equivalence \\({\\Phi}^{\\dag} : \\text{D}^b({\\mathcal X}_{\\beta}) \\to \\text{D}^b({\\mathcal Y}_{{\\phi}_D(\\beta)})\\), \\(\\forall \\beta \\in H^1(T_X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$DBE09818-CFC2-4DB4-BC30-3915CC676E0E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6a118350568ebdfec93a096c53aa8fb5a6c148c","datavalue":{"value":{"entity-type":"item","numeric-id":243912,"id":"Q243912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1000230$7BC03DF4-4D1F-4B86-B304-D67BF85F8679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$1873ED27-502D-4A82-AEFF-18BD80556F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bb7814a930a5c740ebc39704374a9f360c3e32e","datavalue":{"value":"14D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$39DE2964-C32F-4D59-A0FC-2C0858CBF39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8abdc4b34db7186b3bb2396f93749d98203650eb","datavalue":{"value":"16E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$3901F283-D8DB-4CBD-8067-3F6DF5F5C73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$5182569E-966F-4186-8B6F-5D90F236CC7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1071d1eba6d1907bb1f7ea8bab41150a7a8c604b","datavalue":{"value":"5503074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$1C21AF31-5597-46D1-B7ED-E503109ED29C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0fb597f8b6235be924964d0e7226c907caf4929","datavalue":{"value":"coherent sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$1A26EF56-42B3-45C8-9929-A0FD083F3D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6452632ab21325989cf87e1ceedea694891d9f5","datavalue":{"value":"projective variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$AFDDFA3D-CB0B-4EE8-A9E4-630B2EC5A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c77cc44acbfaffb875e933096fe8d3b70d85f0","datavalue":{"value":"deformations of abelian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$0027297B-8EFF-4256-A6A8-3380B26027FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c54ac78bf5553f64b9cd583f9b2aa460638484","datavalue":{"value":"derived category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$9F8D0681-7C3E-41C6-9D6E-3E12A13AFABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a173ba091af43b3b711e24cc0c66399c72074b5","datavalue":{"value":"Hochschild cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$828B2B72-DFA3-4442-9EA1-BCCDDC427D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2accd7cb665e7e0ac258ac41d3bf72ef7c1406","datavalue":{"value":"Fourier-Mukai transform","type":"string"},"datatype":"string"},"type":"statement","id":"Q1000230$40F8A62F-15DE-4CE2-BAB6-C3609D2DA16E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b1a0eace4e628581b30b624854782aee45ee1de0","datavalue":{"value":"Q115172915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$3B0FA0A3-053C-489D-A0AB-09E3555FCF9F","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":"Q1000230$EFAA9624-C758-4A40-A829-5AB2DE7B1BD2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"887f48d0bc3447f9697283bb8997b43520db736d","datavalue":{"value":"W1537902212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$5AFA8837-D3EC-4F55-A1C5-30D080C2B1AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31335c04c8f3df91bfa0b0a5dde88476504b16e0","datavalue":{"value":"10.4310/JDG/1228400631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1000230$8457A199-8C6C-482A-A969-E5E555543361","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1affd0dacf5f155a902874cbb389e668b4893c5a","datavalue":{"value":{"entity-type":"item","numeric-id":620538,"id":"Q620538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b70cbaa866bed98624befdedbec61a17bd729bb","datavalue":{"value":{"amount":"+0.8099803328514099","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":"Q1000230$045CA060-A4EE-4A7A-9D1D-CB9FA7C647FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5c1aaeb88cb60cfbc6d2936d3722864edbf15e","datavalue":{"value":{"entity-type":"item","numeric-id":3436491,"id":"Q3436491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6f6cd73a19b8ba46a21c69e5e8a9f4983f3b0b","datavalue":{"value":{"amount":"+0.8072659969329834","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":"Q1000230$764DA1CC-43F8-4E12-843A-53174A5022A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab3a2101cccff6e00f6664452940c16da5edb49","datavalue":{"value":{"entity-type":"item","numeric-id":3548634,"id":"Q3548634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30691ceb0c1abcabfb2d836071495ca8cb7c68c1","datavalue":{"value":{"amount":"+0.7894587516784668","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":"Q1000230$C81EB6E6-5735-47B3-AB6B-55EFAE2B82F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02da0a7989b73feccbc13e13470985dfa53a6745","datavalue":{"value":{"entity-type":"item","numeric-id":1608560,"id":"Q1608560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e282ea88e7515566641209c198e57ea72ab023f","datavalue":{"value":{"amount":"+0.7810192704200745","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":"Q1000230$BADB230B-1F2C-4DAA-8CE8-60D32914CB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e8779a4f7aa974970ffc53c2e1af3860f2cfb5","datavalue":{"value":{"entity-type":"item","numeric-id":2577485,"id":"Q2577485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b20ad8d94367b9a408215a20735e907ac44940bd","datavalue":{"value":{"amount":"+0.7784134149551392","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":"Q1000230$7861B0FA-E7A9-4CB3-91E9-0B55A9DEB870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1000230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1000230"}}}}}