{"entities":{"Q452047":{"pageid":453814,"ns":120,"title":"Item:Q452047","lastrevid":61938969,"modified":"2026-04-11T02:41:15Z","type":"item","id":"Q452047","labels":{"en":{"language":"en","value":"When is the self-intersection of a subvariety a fibration?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084083"}},"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":"Q452047$CE1E6D29-061C-4B08-9ACF-2820F8877952","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ff2ee18f1b47a70b92ae79b93bdabc077b393cc","datavalue":{"value":{"text":"When is the self-intersection of a subvariety a fibration?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q452047$9A080BD9-9075-4D72-92B9-EC144246B398","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5648c4972b76f8f1c4125b57c7eda88281b5ce63","datavalue":{"value":"1250.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$C9CD5D36-E221-4922-84F9-74C5D5A424D6","rank":"normal"}],"P16":[{"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":"Q452047$B3922A76-E7C9-4DBD-8C06-F9BB769ACF19","rank":"normal"},{"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":"Q452047$D0179FB2-8AA6-462E-85A9-313E0DB3B229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$E992CAA3-E521-48C1-B20A-682D4956B5AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e152dd6d247137568b90f2b2f788eb084d247ca","datavalue":{"value":{"time":"+2012-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q452047$AAF519B3-B1D8-4515-BCF1-18E028876D16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec9efea8272c479068b6a1c0e1622d9a4fdee803","datavalue":{"value":"https://arxiv.org/abs/1007.1671","type":"string"},"datatype":"url"},"type":"statement","id":"Q452047$A426B45C-25A4-4E4F-8FE0-AA4A08C379AC","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":"Q452047$E686F034-E894-4582-BCD6-EA14E88B018B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e21c93a5a10d887f127b535489310b8f4645018","datavalue":{"value":"14C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$4075C498-C31C-4B73-A27F-BAB9A3617906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a34080d6e1d663615882ff871e04330e61f89ca9","datavalue":{"value":"14A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$436F763A-E06E-48BA-B88E-AF959CD59262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3476e1414024b63d1891ee4733ade3e7579c02ec","datavalue":{"value":"18G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$DDD2DAA9-AF9D-4A64-8F8C-DDA929F38ED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e097c223f99236d5586d2272f8393b0c0880645","datavalue":{"value":"6084083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$5B7F44EA-2556-4AC6-BEA0-DBAA9996191E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680e505e244ea434af11343348c39622fb0e6811","datavalue":{"value":"HKR isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q452047$092F48F4-F048-4377-B5DF-372F22E44AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e725d0c5257d068aaca310bbc3771bbc28c113","datavalue":{"value":"derived intersection theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q452047$9AB1DEAF-B0B2-4AC6-932C-0FF624E4BD47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5700da9a33410827be86857e41b0e689b946b681","datavalue":{"value":"derived algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q452047$9E163CC5-9880-41A6-A857-ECFB76A21395","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":"Q452047$3A46F041-FA0B-4B48-AF56-BE304DF2B7CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"170c5167c9cba88cac81b1fc6e53cf30186ef010","datavalue":{"value":"W2963785269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$7D66E679-0089-4FFC-A76A-BE0B93FC4506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c06a6b11de14b2644d9ab02a4a026a75db746f","datavalue":{"value":{"entity-type":"item","numeric-id":2461787,"id":"Q2461787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$040B4DBC-74C6-414C-8017-9BDFC0EF0794","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":"Q452047$D7DE0F9D-5254-4957-87DF-19DA4939C31B","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":"Q452047$80762E62-05E1-410C-B887-46D5708D06D2","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":"Q452047$921C1640-05FA-43DD-B340-7DB9F0FAADAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebcba9ad3ec41e1dc51feca7cabbdee19c3abeea","datavalue":{"value":{"entity-type":"item","numeric-id":4544948,"id":"Q4544948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$898ADD0A-C360-4C1D-AB51-3F38BED56C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ca0ddaa1e7d97c556044458a2518034114f7cf","datavalue":{"value":{"entity-type":"item","numeric-id":1095207,"id":"Q1095207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$F9318882-8B55-479B-8B12-B56985D4C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e19a8496f2e2bebde6f873de3f783ae3b93398","datavalue":{"value":{"entity-type":"item","numeric-id":5507553,"id":"Q5507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$02A8FC8C-75EE-4E9B-B12A-89BCD9B08AAF","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":"Q452047$4F49FD68-9FB1-4DEB-B7BA-CDEAE345F71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7ef0cbccfdff6fec2178fc68d7b6871d81b817","datavalue":{"value":{"entity-type":"item","numeric-id":2878696,"id":"Q2878696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$E3B1EE13-CE0A-412A-81B1-600D0852CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7433fcc1f7a0602053f26779b00936a8f0247af7","datavalue":{"value":{"entity-type":"item","numeric-id":845751,"id":"Q845751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$819A7994-4073-4231-9DEB-1479B1336F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0933bbf6b4be53b887d2e79503c11067def83c25","datavalue":{"value":{"entity-type":"item","numeric-id":2552907,"id":"Q2552907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$18B37103-CA21-439A-A3F2-2FE35DBD9845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cef7643395d9db455fff086cdc43bb9aaf932cc","datavalue":{"value":{"entity-type":"item","numeric-id":4238824,"id":"Q4238824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$214D1A3F-2927-4C9E-AF81-A68E305F24AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca591080ed3d54e3c016c7b09a682c5bf62639c","datavalue":{"value":{"entity-type":"item","numeric-id":1308988,"id":"Q1308988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$6F351EF3-AA1B-4BE7-87F6-B5CFBBC5F40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541c86cfc1463e8b26a21406b67497d7e62c14a2","datavalue":{"value":{"entity-type":"item","numeric-id":4342624,"id":"Q4342624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$1A2D0B8C-1A4E-49DD-A9E6-8DB512340DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4694734445e6313155272b10e65b43d8a87f1d42","datavalue":{"value":{"entity-type":"item","numeric-id":2538084,"id":"Q2538084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$98634BB4-A063-4F94-BF7C-7F0A1886165F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c147f4e7f78d413159e8531bcbc9148c5f1d46","datavalue":{"value":{"entity-type":"item","numeric-id":982421,"id":"Q982421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$BE736176-5613-438A-8033-AA9E1BB52DBD","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":"Q452047$C41A7D15-E7B6-4938-8454-043DBE02FB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c2e62d4b65c73cf0f6d7db33165d70da149755","datavalue":{"value":{"entity-type":"item","numeric-id":555892,"id":"Q555892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$D6C76F62-ADC6-4F3D-8F62-732A048F9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca18e8d89101026a3cbecd91488d32cc63506ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4863380,"id":"Q4863380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$E74A479A-52F0-49C7-B50D-AE007EBEBF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac86babb7b143b6d8afcdf55c5cfd7708422573a","datavalue":{"value":{"entity-type":"item","numeric-id":4800227,"id":"Q4800227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q452047$2850CAE4-B43C-441B-813C-355382C5A21F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef436dff9498244878576e9c75a508cc09dc1bdb","datavalue":{"value":"10.1016/J.AIM.2012.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q452047$4C9F1E56-BFE2-43B4-AED1-196BF01AC13D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12428329f69a48db5bbefe23cad7c612d179f29b","datavalue":{"value":"Given a closed embedding of smooth schemes \\(i: X\\hookrightarrow Y\\), the derived intersection \\(W=X\\times_Y^R X\\) can be thought of as the scheme \\(X\\) with structure sheaf replaced by a structure complex, which is a commutative differential graded (dg) algebra with certain properties. An object \\(E\\in \\mathrm{D}(X)\\) concentrated in strictly positive degrees can be regarded as a linear fibration over \\(X\\) by considering the dg-scheme over \\(X\\) with the symmetric algebra \\(\\mathbb{S}(E^\\vee)\\) of the dual of \\(E\\) as structure complex. The paper under review studies the question under which conditions the object \\(i^*i_*\\mathcal{O}_X\\) is of the form \\(\\mathbb{S}(E^\\vee)\\) for some \\(E\\in \\mathrm{D}(X)\\).NEWLINENEWLINEThe main result gives the following necessary and sufficient criterion. Namely, the derived self-intersection \\(W\\) fibers over \\(X\\) if and only if the closed embedding \\(i: X\\rightarrow Y\\) satisfies condition \\((\\ast)\\), namely that the normal bundle \\(N=N_{X|Y}\\) extends to a vector bundle \\(N'\\) on the first infinitesimal neighbourhood \\(X'\\) of \\(X\\) in \\(Y\\). This is equivalent to the vanishing of a map \\(\\alpha_N: N\\rightarrow N\\otimes N^\\vee[2]\\) whose definition involves the Atiyah class. If \\((\\ast)\\) holds, there is an isomorphism \\(i^*i_*\\mathcal{O}_X\\cong \\mathbb{S}(N^\\vee[1])=\\bigoplus_j \\bigwedge^j N^\\vee[j]\\).NEWLINENEWLINEIn the first section the authors prove the ``if'' part of the theorem by first constructing a global morphism of algebra objects \\(i^*i_*\\mathcal{O}_X\\rightarrow \\mathbb{S}(N^\\vee[1])\\) and then proving that it is an isomorphism by checking this locally. The next section is devoted to proving the reverse implication. Namely, the authors check that the map \\(\\alpha_N\\) vanishes. Section 3 presents an alternative point of view on the class \\(\\alpha\\) which arises from the existence of a natural Lie algebra structure on \\(N[-2]\\). Lastly, the authors give an explicit example of a closed embedding where condition \\((\\ast)\\) is not satisfied, namely when \\(X=\\mathbb{P}^1\\times \\mathbb{P}^1\\), \\(Y=\\mathbb{P}^5\\) and the embedding is given by the very ample line bundle \\(\\mathcal{O}(1)\\boxtimes\\mathcal{O}(2)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q452047$9ED010C2-7252-4F86-A95C-14436FA3EBC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f9db4e79f1c41ebb68ec5f186931cee8b69e5d0","datavalue":{"value":{"entity-type":"item","numeric-id":2330433,"id":"Q2330433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e3e217d7ca9368e1facf54976c871cab806c46","datavalue":{"value":{"amount":"+0.6944608092308044","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":"Q452047$C2F39BE9-51FA-434A-8A74-595EAC41D359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eede795ce3a368f79321da10285b29d816fcd154","datavalue":{"value":{"entity-type":"item","numeric-id":932162,"id":"Q932162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4dea47e9b47f0331c61474850836a4a83d9766","datavalue":{"value":{"amount":"+0.6936274766921997","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":"Q452047$40C3A114-BACE-4847-A32F-A961853F85CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864ba40c3e0ad22f152e2f24a16219e3becff22d","datavalue":{"value":{"entity-type":"item","numeric-id":2288076,"id":"Q2288076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e50c1b74044522242978c36bea3dc76dd51ba2e4","datavalue":{"value":{"amount":"+0.6704809665679932","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":"Q452047$5180611E-265E-4A0B-B88C-C2251D74A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50d843be23d9516f526566754bed5e324f740c6a","datavalue":{"value":{"entity-type":"item","numeric-id":2251900,"id":"Q2251900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b9050c9a069995e2509607b3580d703b4a7a1b9","datavalue":{"value":{"amount":"+0.6626677513122559","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":"Q452047$74C2CBCE-2DA9-4953-9F0E-054565643644","rank":"normal"},{"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":"4c80267814f60fa31ffc9d4801fc978781082e35","datavalue":{"value":{"amount":"+0.6605150103569031","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":"Q452047$CB6F52F7-AB66-4E08-83A1-0915F71AF5D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When is the self-intersection of a subvariety a fibration?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/When_is_the_self-intersection_of_a_subvariety_a_fibration%3F"}}}}}