{"entities":{"Q2330433":{"pageid":2341176,"ns":120,"title":"Item:Q2330433","lastrevid":71860542,"modified":"2026-04-14T01:01:27Z","type":"item","id":"Q2330433","labels":{"en":{"language":"en","value":"Formality of derived intersections and the orbifold HKR isomorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120682"}},"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":"Q2330433$F6A27CAD-069A-44C2-91A2-831BA5C895BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19a96d866c68e536c15ffab94c5808e9d5369cb6","datavalue":{"value":{"text":"Formality of derived intersections and the orbifold HKR isomorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2330433$F05B9285-1070-422E-80B5-AE1CFE33F601","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b7c88e0cb32e2b32924a49d773c2740d297f60c","datavalue":{"value":"1445.14009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$6D41C8C4-558B-4034-8279-A4F9363EF6EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c896aea69c48669478609471a5645e0cfd7b4f46","datavalue":{"value":{"entity-type":"item","numeric-id":345179,"id":"Q345179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$99C9F3E2-AAA5-442D-BBD5-E229AAFFDABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"792bb20c33169814b645d98f4571fa186bd5eb29","datavalue":{"value":{"entity-type":"item","numeric-id":373864,"id":"Q373864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$0F9C9413-B5F9-4B7F-9398-E588CB5B2303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e135ee011abcd419bdb07252f75dc825f26cb18b","datavalue":{"value":{"entity-type":"item","numeric-id":309654,"id":"Q309654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$0C696AF3-CBF2-4CAF-9F9E-44CA24079F38","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":"Q2330433$DEE0AAF6-A06C-4781-9FAA-A7EB7E8F5BF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2330433$CB03A62A-41AE-417E-AED0-6C2907FFF75D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a61fbd4bb129f80fd2e6ccc46ba507c5486646c7","datavalue":{"value":"https://arxiv.org/abs/1412.5233","type":"string"},"datatype":"url"},"type":"statement","id":"Q2330433$A861A204-17F7-491B-AE12-B7E000976000","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0dd0bbbd3af7065b2476711d1a8f3a7553f01a57","datavalue":{"value":"Let \\(X\\) and \\(Y\\) be two smooth closed subschemes of a smooth scheme \\(S\\) defined over a field of characteristic \\(0\\), and assume that the scheme-theoretic intersection of \\(X\\) and \\(Y\\) is a smooth scheme \\(W\\). The derived intersection of \\(X\\) and \\(Y\\) in \\(S\\) is a derived scheme \\(W'\\), whose underlying scheme is \\(W\\), endowed with the sheaf of dg-rings \\(\\mathcal{O}_X \\overset{\\mathbb{L}}{\\otimes}_{\\mathcal{O}_X} \\mathcal{O}_Y\\). In general the natural morphism \\(W \\rightarrow W'\\) is not an isomorphism,except when the intersection is transverse. The lack of transversality is measured by the excess intersection bundle \\(E\\), which is \\(\\mathrm{T}_S / \\mathrm{T}_X + \\mathrm{T}_Y\\). The main result the author prove is that \\(W'\\) is formal as a derived scheme over \\(X \\times Y\\) (that is \\(\\mathcal{O}_X \\overset{\\mathbb{L}}{\\otimes}_{\\mathcal{O}_X} \\mathcal{O}_Y\\) is isomorphic to \\(\\mathrm{Sym}(E^*[1])\\) in the derived category \\(\\mathrm{D}(X \\times Y)\\)) if and only if the exact sequence \\(0 \\rightarrow \\mathrm{T}_X + \\mathrm{T}_Y \\rightarrow \\mathrm{T}_S \\rightarrow E\\) splits. This result is close to a result independently obtained by the reviewer in [Doc. Math. 19, 1003--1016 (2014; Zbl 1327.14033)], namely, assuming that \\(X\\) admits a retraction at the first order in \\(S\\), \\(W\\) is formal over \\(Y\\) if and only if the excess exact sequence splits. The authors apply their result to derived fixed loci of group actions (by intersecting the graph of the action with the diagonal), and extend in this way the classical Hochschild-Kostant-Rosenberg isomorphism to the orbifold setting in the case of global quotients.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330433$8EA66762-30FB-4491-BAAC-133E14C30597","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b4647f71aece6bd569246a4578d358f30e7f9b16","datavalue":{"value":{"entity-type":"item","numeric-id":431628,"id":"Q431628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$B86D6C08-4957-452B-8B8A-15B0C28E7968","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e21c93a5a10d887f127b535489310b8f4645018","datavalue":{"value":"14C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$6CD56A94-D005-4BBA-BC21-D54BEFA60A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49b1956cb93d2aa1c7f5f71657b9977797724a17","datavalue":{"value":"14F08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$2FAE85B0-F5C2-48B3-8EFB-515CA295F241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d57019a7481029b9c4fb2fc878c0e00a55dc7560","datavalue":{"value":"13D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$13085EA3-3D3C-499D-A971-C2D7B5BE8AE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b096ba79318c70382823efda28d3e3dec80e5099","datavalue":{"value":"7120682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$D9DA2825-2A2D-4700-B0A9-F09829B25ED7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063b6a39f3a4b7ffa457788710de6bda28cfdd6b","datavalue":{"value":"derived intersections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330433$9CDA4DBA-606C-4117-9067-92F3FA4FDB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a173ba091af43b3b711e24cc0c66399c72074b5","datavalue":{"value":"Hochschild cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330433$DB0A9D21-406E-4ADD-9B42-A82CF27E3472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680e505e244ea434af11343348c39622fb0e6811","datavalue":{"value":"HKR isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330433$5BF0F7B1-0638-415A-9DA0-926A8150BEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07cff6168fdde446795ca15ea540e48543d47832","datavalue":{"value":"orbifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2330433$5755804C-9DE1-474C-971D-24D880C69538","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":"Q2330433$2BD9C333-3539-46BF-9887-F88C0E6EA8A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d628a1cf55dff183613304d00276b558f3ce4c76","datavalue":{"value":"W2967946021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$4ADE46E8-7ED2-47E2-AA53-CA08C38D2EEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece907bbdd759c0d4995c2003b542b5368f0f8e2","datavalue":{"value":{"entity-type":"item","numeric-id":452047,"id":"Q452047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$9CDE0445-2238-4E52-9902-BCF0BBF08F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b2e73d616159649dd0b836861b77fef482c7b7b","datavalue":{"value":{"entity-type":"item","numeric-id":4474442,"id":"Q4474442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$EF72466B-ADCA-4D33-91FC-92B939C89A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9725c6c92b8f19ca442028019803c11d512350af","datavalue":{"value":{"entity-type":"item","numeric-id":2892846,"id":"Q2892846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$73F46724-A5FE-4D8C-B38E-9E6F46994886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d75822079ebd5f2a6a831e00f4157b6b2f3f35a","datavalue":{"value":{"entity-type":"item","numeric-id":1431507,"id":"Q1431507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$B36ED196-3FDE-4DF8-8793-3B5672C5D7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe295f15e195fb711ec114e154a20d6c8dab38fb","datavalue":{"value":{"entity-type":"item","numeric-id":2730735,"id":"Q2730735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$385A7F87-1FEC-47B2-81EB-7EB8A983519F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00851bac4d95a5a1cb57fc1e8e9ed3e4caf2573f","datavalue":{"value":{"entity-type":"item","numeric-id":1219617,"id":"Q1219617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$BA5FC99C-3A3B-4E1A-9C9F-E84293A75856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f24951feeb58df2644d60b9f062f67ebf0e701e4","datavalue":{"value":{"entity-type":"item","numeric-id":462625,"id":"Q462625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$5A605C7A-27E4-4F21-B14F-8622D0D5A03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5497ea717d844fbebe668891df72ea229a5172","datavalue":{"value":{"entity-type":"item","numeric-id":2521483,"id":"Q2521483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$E97C592F-6CA5-4CC1-9609-9F11A598E285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab3143f663f8d3d0af2e0cbd1d32b1e9e364c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3265726,"id":"Q3265726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$D8C866C2-271C-476C-93A9-F32E9073199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814be1dcf0c41a8eb2fe33611c01e411311960b","datavalue":{"value":{"entity-type":"item","numeric-id":1916418,"id":"Q1916418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$138FCE81-44B8-4ABD-AC4C-522167EDCBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab1ae41eacd595e0a793db750f67d3683ad32c2","datavalue":{"value":{"entity-type":"item","numeric-id":877170,"id":"Q877170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2330433$FA36E68F-45B0-4150-BAF9-5C7F92820726","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9709657f96f26a32bbcf32c030effa899b19c728","datavalue":{"value":"Q127375300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$FBBA9561-D864-4AB1-AF52-268127D2B3A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57a399e1058c4ff5cd9029a57e0d481a1a406fbb","datavalue":{"value":"10.1016/J.JALGEBRA.2019.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2330433$C3FF5724-C7B0-4A8F-B215-23BB24295A94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ce9dfbf00075d29b719a5bb5e8a0b5f41c568b","datavalue":{"value":{"entity-type":"item","numeric-id":462625,"id":"Q462625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55d99728f94a31a53f16814eebf63279cff6d85","datavalue":{"value":{"amount":"+0.747723400592804","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":"Q2330433$E1FE3A2F-D482-4247-A0C2-6CE59A61A454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c6ddad7353a6d5f594bf8ec8357347512ea8ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2302230,"id":"Q2302230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4c6bcf30d0003432ae21ebb0f931f9dc9bec11","datavalue":{"value":{"amount":"+0.7098380923271179","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":"Q2330433$7A5FB92A-E923-447F-99B8-EAE94D87AA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489e5314d4952aaebcfea959f16876fea0154d09","datavalue":{"value":{"entity-type":"item","numeric-id":4642017,"id":"Q4642017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1faefbbf20642bd7e557055d4d11b1ce4130eb0","datavalue":{"value":{"amount":"+0.7096470594406128","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":"Q2330433$7E20553B-DA8A-44F0-AF99-B29B02F71480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a07fb513b60da6a71c38c153309d5ad5af27f04","datavalue":{"value":{"entity-type":"item","numeric-id":4474442,"id":"Q4474442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1116536a054fcd1d1d0cb6434bfede12280c9dec","datavalue":{"value":{"amount":"+0.7054498791694641","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":"Q2330433$9CB4BB68-1EE7-4203-A057-753000966C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749d53d6f81cc0b98a1bb8464fc3c26551e54c18","datavalue":{"value":{"entity-type":"item","numeric-id":981619,"id":"Q981619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f411cbe79d0a8778972390b049b5323f1cc494","datavalue":{"value":{"amount":"+0.700546383857727","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":"Q2330433$477F6F19-56D2-43B6-A4DE-CBA94248F449","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formality of derived intersections and the orbifold HKR isomorphism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formality_of_derived_intersections_and_the_orbifold_HKR_isomorphism"}}}}}