{"entities":{"Q2710516":{"pageid":2721255,"ns":120,"title":"Item:Q2710516","lastrevid":82802045,"modified":"2026-05-06T22:07:00Z","type":"item","id":"Q2710516","labels":{"en":{"language":"en","value":"On the cohomology of a tautological fibre bundle on the Hilbert scheme of a surface"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590473"}},"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":"Q2710516$81C3172F-1799-4450-8B64-00F14E5E4D67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46a1da6bbeb603766dc0d5df4f1c016d38b30f67","datavalue":{"value":"0988.14011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710516$3EAB81CC-6078-44E6-8D3D-173D3007E5F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7c58244d9a0092987e92b61f31b55ad47f510a9","datavalue":{"value":{"entity-type":"item","numeric-id":1586369,"id":"Q1586369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710516$09C3F263-9305-48E2-A767-246FF2702C8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0cc71ed348578604783485987e55d1614aa1f2f","datavalue":{"value":{"time":"+2002-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710516$0CA7E8B2-7455-41F5-A85C-82DE341D3404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b127fcb6c03fa512b1691b3d2bc2cc40f67130d3","datavalue":{"value":"https://arxiv.org/abs/math/9904004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710516$03C36187-E0ED-4A17-A348-A74CA80A8986","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710516$30E9D700-9BA1-40E7-8BD1-E3B82E917FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28b1f93eb7267ca868d7c0bc17d7cfb5e9cb0c8c","datavalue":{"value":"14C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710516$C6148186-A67B-4FA2-A0A5-019FFAFC084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2358a0f2b56d01235884968bd2f1228a9a017341","datavalue":{"value":"14F17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710516$43BFEEE4-F2CD-44EB-8D5A-494924E7B1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a36758487793323293c6a422334990f37cac3641","datavalue":{"value":"1590473","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710516$6AF372F1-CEBE-45B1-B39A-6DEE2886E037","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1c450d1e0c3ee2ed5000b48403ec6462c63c2a","datavalue":{"value":"Hilbert scheme of a surface","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710516$AD60AD13-C3DE-4FC9-A0C0-AF4BB6F4E88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"176f8e9bdf26f7913070c37123400fa7e1846203","datavalue":{"value":"vanishing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710516$A78135D7-2961-4361-BC55-0F5F382B0594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bd5d5849349dfa84719f29cafbf9a922d71ac7","datavalue":{"value":"Le Potier's strange duality conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710516$7DAA47AB-C1B2-4441-9430-5058322CF026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710516$6192ED47-88CD-4C97-9E97-E3979B02F565","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":"Q2710516$C0DDC5D3-3D28-42FA-9E08-78F97A45F550","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75156abc3e10aaf0328098be250993ddedf99ef3","datavalue":{"value":{"text":"On the cohomology of a tautological fibre bundle on the Hilbert scheme of a surface","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710516$1BF2C7CE-02BF-49B0-ABF0-8FB2EC0A0825","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"339f6ac4c17410db15e94ddcc45c91a1918c64f6","datavalue":{"value":{"entity-type":"item","numeric-id":2778305,"id":"Q2778305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710516$6279B2B2-0EB5-4DEC-830A-9775C4BC322E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a3afc9d7f8ca9552879c90e07a2f4297a6aad65","datavalue":{"value":"Let \\(X\\) be a smooth projective surface on \\({\\mathbb C}\\). Let \\(S^m(X)\\) be the \\(m\\)-th symmetric product and \\(\\omega_X\\) the canonical bundle of \\(X\\). Let \\(X^{[m]}\\) denote the Hilbert scheme of subschemes of \\(X\\) of length \\(m\\). Let \\(L\\) and \\(A\\) be two line bundles on \\(X\\). The symmetrization of the \\(m\\)-fold tensor product of \\(A\\) gives a line bundle on \\(S^m(X)\\). Let \\({\\delta}^A\\) (the determinant bundle for \\(A\\)) denote the pull back of this line bundle to \\(X^{[m]}\\) by the canonical (Hilbert-Chow) morphism from \\(X^{[m]}\\) to \\(S^m(X)\\). Let \\(S \\subset X^{[m]} \\times X\\) be the universal scheme of couples \\((Z,x)\\) with \\(x\\in Z\\). Let \\(p_1\\) and \\(p_2\\) be the projections from \\(S\\) to \\(X^{[m]}\\) and \\(X\\) respectively and \\(L^{[m]} = {p_1}_* {p_2}^*L\\). The main result is the following. NEWLINENEWLINENEWLINETheorem: If \\({\\omega_X}^{-1} \\otimes A\\) and \\({\\omega _X}^{-1} \\otimes A \\otimes L\\) are ample, thenNEWLINENEWLINENEWLINE(i) \\(H^q(X^{[m]}, L^{[m]}\\otimes {\\delta ^A}) = 0\\) for \\(q > 0\\);NEWLINENEWLINENEWLINE(ii) \\(H^0(X^{[m]}, L^{[m]} \\otimes {\\delta ^A}) \\approx S^{m-1}(H^0(A)) \\otimes H^0(L\\otimes A)\\).NEWLINENEWLINENEWLINEAs a corollary, it is shown that the conclusion of the theorem holds under the hypothesis \\(H^q(X, A) = H^q(X, A\\otimes L)= 0\\) for \\(q>0\\). These results can be used to give examples supporting Le Potier's strange duality conjecture about moduli of semistable rank \\(2\\) torsionfree sheaves on a projective plane.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710516$EA815558-D564-48DC-88CF-C1AA148AE6FE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"153682fbeead18182f4956ae9ed5ff19dd73ee69","datavalue":{"value":{"entity-type":"item","numeric-id":216439,"id":"Q216439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710516$59EA2928-2AF4-4BD5-822D-0FEAA3A1C19E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c24ac2ad79a460e32a996db290ffe17abd02b5","datavalue":{"value":{"entity-type":"item","numeric-id":4467322,"id":"Q4467322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb47edb2c6805d6b1c0fcfde774b86885a140564","datavalue":{"value":{"amount":"+0.8780642747879028","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":"Q2710516$267A61E4-F49B-49B6-AA1B-2FF5EC1DA2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6f1601da404c16b317848334eefd3c217b0999","datavalue":{"value":{"entity-type":"item","numeric-id":5294578,"id":"Q5294578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b9632f612bf912fcaebf1df70865b213c91226","datavalue":{"value":{"amount":"+0.8247421979904175","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":"Q2710516$D45E4B98-0241-42E4-B27B-81F45120BBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"182239de893f6864683f2429756ccea14c90948d","datavalue":{"value":{"entity-type":"item","numeric-id":624850,"id":"Q624850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b538c825e53fd01d6a5a593aff0f0cdd30da2d3","datavalue":{"value":{"amount":"+0.8150876760482788","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":"Q2710516$DF919E4C-BE36-4613-B7AB-FC5A9A7EE787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d511847158977d05f08291ab802d706dadf78b64","datavalue":{"value":{"entity-type":"item","numeric-id":602052,"id":"Q602052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b9777a60bbd4864874b237d3a553f206fb59da","datavalue":{"value":{"amount":"+0.8136664628982544","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":"Q2710516$4A7D38CB-F392-4A33-A64D-FAAB2EFCE950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcf8030ed1b7f31dd732f947a3bf68b4eb42e2f","datavalue":{"value":{"entity-type":"item","numeric-id":858926,"id":"Q858926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5c0572104ea52948ff264788c0e91290d8843a","datavalue":{"value":{"amount":"+0.8121321201324463","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":"Q2710516$3B6CAFCD-F333-47BA-B164-81AAA18C64A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the cohomology of a tautological fibre bundle on the Hilbert scheme of a surface","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_cohomology_of_a_tautological_fibre_bundle_on_the_Hilbert_scheme_of_a_surface"}}}}}