{"entities":{"Q2344038":{"pageid":2354781,"ns":120,"title":"Item:Q2344038","lastrevid":57863205,"modified":"2026-04-02T20:44:53Z","type":"item","id":"Q2344038","labels":{"en":{"language":"en","value":"Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6435240"}},"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":"Q2344038$A986AFA9-9CE7-41E9-A91E-1C40D4F978E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5296517919b444cb79a12e80a3e0bf5542150477","datavalue":{"value":{"text":"Derived algebraic geometry, determinants of perfect complexes, and applications to obstruction theories for maps and complexes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2344038$9D7D0F93-FAA4-48CF-8063-777FFE99CC27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04afaba34d134cfba8120fec5ce14abd84c3bb76","datavalue":{"value":"1320.14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$167786A7-7500-4958-92B3-B3A0F641EF41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"325d73916d6dc6bc6b93a892466f53834f70201e","datavalue":{"value":{"entity-type":"item","numeric-id":888894,"id":"Q888894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344038$0A8423E8-FB66-4C46-96F9-F8504BD63D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b201bb8862be058ee2e655c2d7c2d198d6a49e","datavalue":{"value":{"entity-type":"item","numeric-id":305709,"id":"Q305709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344038$F46AA211-E152-4FA2-AD0C-21A76C2196CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf41e1e5eb99cd57d07de86b0410d516ea66cd9","datavalue":{"value":{"entity-type":"item","numeric-id":341057,"id":"Q341057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344038$87556323-0418-44B6-9D73-07C661CEEE79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344038$E9BF357E-6748-4CBC-8D7A-D03DD672EB64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c74a80acbaba6ce7a83b1ea95034a1bd8502d7c8","datavalue":{"value":{"time":"+2015-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2344038$844DCBF0-0743-419F-BF66-AC197A41FEC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bc8dab86fb03969254f6c4d4df25f47b86f2878","datavalue":{"value":"https://arxiv.org/abs/1102.1150","type":"string"},"datatype":"url"},"type":"statement","id":"Q2344038$223CA00D-38E9-4D03-A8BA-1A9908D6EA17","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65e05026e4ded2aca9f3ef25540e87b70e55ef9b","datavalue":{"value":"The article under review applies techniques from derived algebraic geometry to the formalism of perfect obstruction theories [\\textit{K. Behrend} and \\textit{B. Fantechi}, Invent. Math. 128, No. 1, 45--88 (1997; Zbl 0909.14006)]. Recall that a perfect obstruction theory a morphism \\(E\\to{\\mathbf L}_{\\mathcal X}\\) in the derived category which is an isomorphism in degree zero cohomology, surjective in degree minus one cohomology and where \\(E\\) is of perfect amplitude in degrees \\([-1,0]\\). It is used to define virtual fundamental classes in the Chow group of the stack, and in the case of the stack of pointed stable maps one obtains all Gromov-Witten invariants by integrating against this class.  In section 1 it is explained how a derived enhancement \\(\\mathcal X^{\\text{der}}\\) of a Deligne-Mumford stack \\(\\mathcal X\\) induces via the canonical closed immersion \\(j:\\text{t}_0({\\mathcal X}^{\\text{der}})\\hookrightarrow{\\mathcal X}^{\\text{der}}\\) a perfect obstruction \\(j^*({\\mathbf L}_{\\mathcal X^{\\text{der}}})\\to{\\mathbf L}_{\\mathcal X}\\), provided the stack is quasi-smooth (i.e.\\ the cotangent complex is of perfect amplitude contained in \\([-1,0]\\)). The functoriality properties in derived algebraic geometry then improve the limited and ad hoc functoriality properties for perfect obstruction theories.  In section~2 derived enhancements of well-known moduli spaces are constructed: the Picard stack resp.\\ the stack of (\\(n\\)-pointed) (pre)stable maps of genus \\(g\\), and open substacks of these fixing a class \\(c_1\\in\\text{H}^2(X,{\\mathbb Z})\\) resp.\\ \\(\\beta\\in\\text{H}_2(X,{\\mathbb Z})\\). It is explained how the derived enhancement \\({\\mathbb R}\\overline{M}_g(X;\\beta)\\) induces the \\textit{standard} perfect obstruction theory on the underived moduli stack \\(\\overline{M}_g(X;\\beta)\\) of the moduli stack of stable maps of type \\((g,\\beta)\\) (and likewise for a pointed version) inducing Gromov-Witten invariants. This is not the only perfect obstruction theory in the literature: it can be shown that for a \\(K3\\) surface this standard perfect obstruction theory gives trivial Gromov-Witten invariants, hence the need for the \\textit{reduced} perfect obstruction theory.  To construct a derived enhancement inducing this reduced perfect obstruction theory a version of the determinant map in derived algebraic geometry is constructed in section 3. This is a morphism \\(\\text{det}_{\\text{perf}}:{\\mathbb R}\\text{Perf}\\to\\text{Pic}\\) generalising \\(\\text{Vect}\\to\\text{Pic}\\). Using this determinant map a morphism \\(\\text{A}_X:{\\mathbb R}\\overline{M}_g(X)\\to{\\mathbb R}\\text{Perf}(X)\\) is constructed using the universal family on \\({\\mathbb R}\\overline{M}_g(X)\\), and it is explained how its tangent morphism is related to the Atiyah class of its associated perfect complexes.  Section 4 is devoted to the special case of \\(\\overline{M}_g(S;\\beta)\\) where \\(S\\) is a \\(K3\\) surface, to obtain the reduced perfect obstruction theory which gives non-trivial Gromov-Witten invariants. First the properties of this obstruction theory are recalled. To construct the correct enhancement the derived Picard stack for a \\(K3\\) surface is shown to exhibit a special structure, which allows to use the morphism \\(\\text{A}_S\\) from the previous section to define a new derived enhancement \\({\\mathbb R}\\overline{M}_g^{\\text{red}}(S;\\beta)\\). The main technical part of the paper is in the proof that the induced perfect obstruction theory is indeed the reduced obstruction theory.  In section 5 the moduli stack of perfect complexes and various substacks are studied. In the case of a \\(K3\\) surface it is shown using the perfect determinant map that the reduced enhancement from section 4 gives rise to a smooth \\textit{underived} substack of simple perfect complexes, whose coarse moduli space was shown to be a smooth algebraic space by \\textit{M. Inaba} [Adv. Math. 227, No. 4, 1399--1412 (2011; Zbl 1220.14010)]. In the case of a smooth projective Calabi-Yau 3-fold the standard enhancement from section~3 gives rise to a (non-proper) quasi-smooth derived stack of simple perfect complexes with fixed determinant. Finally a comparison morphism between this stack and an appropriate open substack of \\({\\mathbb R}\\overline{M}_{g,n}(X)\\) from section~2 is constructed, which allows for an open version of the comparison between Donaldson-Thomas and Gromov-Witten invariants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344038$C88DBA84-EF0A-4EDB-BC6D-4CC215171DFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8fc481aa4efbd267df14788993dd6d37e3339a2","datavalue":{"value":{"entity-type":"item","numeric-id":590272,"id":"Q590272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2344038$EF4D05FA-D4CD-4387-9D92-2D20DE69B1CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$2435F6BE-27E0-4310-BE2E-51177B92AADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6513d146462f8a810160db474d42cad45c7c34da","datavalue":{"value":"18E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$B2EC3C67-150F-4129-A0CC-5601C2027DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dc4bf3875ed9809536161f66fd244a6dc55a1b32","datavalue":{"value":"14A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$9A4F5990-622E-4974-B665-8D6AEA71F096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"532bdb28d686a8c29b43bb16eab512a6e594a67b","datavalue":{"value":"14J28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$5020CEEB-9AE4-477A-BA26-998EBC6B74AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d495811a7ec99ece80fca616b55b2a63678df719","datavalue":{"value":"6435240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$DA91F649-63C1-499D-8CFD-35285D8AF827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"038c6f1f2ff604b34175c6783cf1ca62f2ed8167","datavalue":{"value":"Gromov-Witten invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344038$BEB93971-4F7D-45BA-869F-A430CB1037F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5700da9a33410827be86857e41b0e689b946b681","datavalue":{"value":"derived algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344038$C9870F84-ED01-4003-B318-086E66155EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c065055f8145fa7ff0e040f5bbdd556f397f648e","datavalue":{"value":"perfect obstruction theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2344038$FFAE7FD1-4367-47BE-907C-B2A0E018C6A0","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":"Q2344038$0EBE09FD-1424-41EC-B861-AE8F08C7A571","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a41e78c9623ffbdec56747f9a40f1cf93b8bef8","datavalue":{"value":"W2165926301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$B9585CEB-F515-4670-94D0-C5B14C8FCA14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1545adc59cccb71a9a0225c3a7e7300e7c5c4eaf","datavalue":{"value":"10.1515/CRELLE-2013-0037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2344038$2EAE52BC-FF65-4469-A0A0-6D5D1764B471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed4e54d994fa5a06631e4ddf7925fb21866331","datavalue":{"value":{"entity-type":"item","numeric-id":1938776,"id":"Q1938776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c804b658ad3c6f6fc748bf1f5a7b91d388f5c1","datavalue":{"value":{"amount":"+0.8283734321594238","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":"Q2344038$3379B080-8AA9-4446-AC7F-7AB87B94B188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834aa4237e78bea5f7c501ce25842b7b0549d755","datavalue":{"value":{"entity-type":"item","numeric-id":5028228,"id":"Q5028228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024d3d8c4fdc4a66a78df26b1295cf0d90c323dd","datavalue":{"value":{"amount":"+0.8062585592269897","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":"Q2344038$E67C511E-7B46-4F22-9C0F-5C5F974CF992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"867a018971537b84e99032077f7c025aae0cc001","datavalue":{"value":{"entity-type":"item","numeric-id":2346003,"id":"Q2346003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2d2cd5b456d1fc5b80c4ef9e6d2025c8323dad","datavalue":{"value":{"amount":"+0.8029405474662781","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":"Q2344038$95575F39-4624-4485-8279-328B58D5107D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38a68a2124e470909e223a94e5babc9a40e98fd","datavalue":{"value":{"entity-type":"item","numeric-id":429265,"id":"Q429265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83e9a33ed95a6429bd134ac26543e9a3286a387","datavalue":{"value":{"amount":"+0.7945106625556946","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":"Q2344038$B2024053-E4BE-43D4-9F46-F2029775BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026323ab3d63c47c59480b5fa6d1bc36857368a8","datavalue":{"value":{"entity-type":"item","numeric-id":1359213,"id":"Q1359213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5d1d7de5b5338e12dd4cebcd9fc01dc954322f","datavalue":{"value":{"amount":"+0.7582502365112305","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":"Q2344038$B0B1B592-DBA3-4EB4-9022-C7BAAD81C10C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2344038","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2344038"}}}}}