{"entities":{"Q2715827":{"pageid":2726566,"ns":120,"title":"Item:Q2715827","lastrevid":82990172,"modified":"2026-05-06T22:36:54Z","type":"item","id":"Q2715827","labels":{"en":{"language":"en","value":"Hyperk\u00e4hler manifolds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1600570"}},"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":"Q2715827$26D0ED90-28FC-4FF5-B5C0-BF3622B30AFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02df02395a588ded8d881c0d36eda0e1568070e1","datavalue":{"value":"0990.53048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715827$7979AEB7-EB26-4903-AF95-AF9BE3D701C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73c672cba8b41004521afd83d420bdd586579e2a","datavalue":{"value":{"entity-type":"item","numeric-id":171076,"id":"Q171076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715827$C4F7C5CA-EFC9-467E-ACE1-C158827EE12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c23c7fe23a61e9cfd8bee5ef2fe0ffc942937ac","datavalue":{"value":{"entity-type":"item","numeric-id":488976,"id":"Q488976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715827$6D8A82CD-5C19-4A44-88C0-6DC337783630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e7044733408cd7fa759518d10aba229d93299ca","datavalue":{"value":{"time":"+2001-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715827$39F2C7AC-99CE-4087-AC91-3C5697DD68E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"34cf2d2ef0e35c82d07bcb245fa1df2d2b42ec75","datavalue":{"value":"53C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715827$0CCE8B69-099D-4EEA-8D59-AEA54FE9D7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e68d336497fb2394c7eb0ef2cf24ed570264bbba","datavalue":{"value":"32Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715827$8467DC55-0523-4ACA-8A29-E8FA0DC0C138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"028b830dae00554a17670eaf1058695447ff6459","datavalue":{"value":"53-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715827$5A3CBDF3-2C5C-4F63-9991-E0D3CF5CC1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55753d7e4ff674b6d5c95ff149c75492ed3ad09","datavalue":{"value":"1600570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715827$6A0DA39D-98F0-4A23-B1E8-39290013ABC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd04f77027a76d98afa8ccf0d54649cc6d679cdd","datavalue":{"value":"hyperk\u00e4hler manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$D107E14A-611D-4929-981E-80393FB1E13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80991b49e74f5026b1d9037008986408e90bb4c","datavalue":{"value":"hyperk\u00e4hler metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$C95DC32E-850D-47A2-BAC3-EC7558967AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d13e49d41df1f3f0b606434b67da3b14256111","datavalue":{"value":"deformation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$13BE8631-0F26-491E-B72C-70231E772EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05696a1d9505d37ffca240a0345543a1f34020d6","datavalue":{"value":"compactifications of moduli spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$795EAAA7-DD41-4AF7-B241-95F2941BBA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fac937d243424b603c1fb996a003e7763ae8bce8","datavalue":{"value":"hyperholomorphic bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$0C32479A-A287-40F2-A21B-A750987B9207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93680deb9e739f837946d3c66c51917e2555cbd0","datavalue":{"value":"hyperholomorphic sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$049A8125-A11D-4B4E-91BF-795D2EDD6338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c9b6fc96644e52936b5dd8b3f9e5da4edbfb94","datavalue":{"value":"desingularization of metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$91BB1265-2486-41A6-8216-2D079BBA1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063ef0de2db84aeb63e2a7394ce595fa00fa003e","datavalue":{"value":"cotangent bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$33BD389E-E4A1-4FDD-8326-490A23CCEE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8003bff50e5ca680e5e089bc4ceb7db40889f1a","datavalue":{"value":"real Hodge structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$4648FC13-7CA7-4BC7-B7E9-208EC1B1C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab130371e9313bcb352943063d75b4035e7cd520","datavalue":{"value":"K\u00e4hler connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$B61BDEB1-A8C1-41AF-9738-8FF074E9BFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf19e9363dacebdb24b20c3a1c8b18b1ea88981","datavalue":{"value":"hypercomplex structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$18A06CC9-6601-46EF-AEBE-20590EDD35AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fb359009a3cfa8f4c582f2c3b7e2f25323b7937","datavalue":{"value":"Hodge manifolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$D25B468F-42C8-4CFB-B5BA-635ECE0387FE","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":"Q2715827$E36D91E2-803E-4A10-8A31-53AC09003A92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc1191b4a58f5e06e2071a5176065ce296847ef3","datavalue":{"value":{"text":"Hyperk\u00e4hler manifolds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715827$CACFD1B0-4ABC-4D77-8B46-3FF570574B79","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f1b9ecbda08ddf5f38634965606789692cbb2a9a","datavalue":{"value":{"entity-type":"item","numeric-id":6768524,"id":"Q6768524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715827$6B636281-6134-4319-B04F-72B189FB6763","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0cce9ab6bef27862b43c1cad06cc84e31f05f1f5","datavalue":{"value":"A hyperk\u00e4hler manifold is a Riemannian manifold \\(M^{4n}\\) equipped with two anticommuting K\u00e4hler structures. Equivalently, \\(M^{4n}\\) is hyperk\u00e4hler if and only if its holonomy group is contained in the symplectic group \\(Sp(n)\\). The present book consists of two independent chapters.NEWLINENEWLINENEWLINEChapter I: M. Verbitsky, Hyperholomorphic sheaves and new examples of hyperk\u00e4hler manifolds.NEWLINENEWLINENEWLINEThis chapter deals with compact hyperk\u00e4hler manifolds. Beauville constructed two series of compact hyperk\u00e4hler manifolds based on the Hilbert scheme of points on a torus or on a K3 surface, respectively. It was conjectured that any compact hyperk\u00e4hler manifold \\(M\\) with \\(H^1(M)=0\\) and \\(H^{2,0}(M)= \\mathbb{C}\\) is deformationally equivalent to one of these examples. The author develops a new approach to the construction of compact hyperk\u00e4hler manifolds in the hope to find counterexamples to this conjecture.NEWLINENEWLINENEWLINEThe moduli spaces of stable holomorphic vector bundles with fixed Chern classes over compact 4-dimensional hyperk\u00e4hler manifolds are known to be smooth and hyperk\u00e4hler. In higher dimensions such moduli spaces are no longer smooth, but provide singular hyperk\u00e4hler varieties. The author introduces hyperholomorphic bundles over compact hyperk\u00e4hler manifolds \\(M^{4n}\\), \\(n\\geq 2\\). A hyperholomorphic bundle over \\(M\\) is a holomorphic vector bundle equipped with a Hermitian connection which is compatible with all complex structures on \\(M\\) induced by the hyperk\u00e4hler structure. The deformation space of hyper-holomorphic bundles is a non-compact singular hyperk\u00e4hler variety. In previous work the author developed a method for desingularizing a singular hyperk\u00e4hler variety to a smooth hyperk\u00e4hler manifold. In the present chapter of the book the author is dealing with the compactification problem.NEWLINENEWLINENEWLINEIn order to be able to apply the desingularization procedure the compactification should provide a singular hyperk\u00e4hler variety. For this purpose the author introduces hyperholomorphic sheaves, that are coherent sheaves which are compatible with the hyperk\u00e4hler structure in a certain manner. The major part of this chapter consists of a thorough study of the deformations of hyperholomorphic sheaves. This culminates in the construction of compact hyperk\u00e4hler manifolds arising as desingularizations of deformation spaces of hyperholomorphic sheaves. At the end of the chapter the author outlines a strategy for finding counterexamples to the above mentioned conjecture.NEWLINENEWLINENEWLINEChapter II: D. Kaledin, Hyperk\u00e4hler structures on total spaces of holomorphic cotangent bundles.NEWLINENEWLINENEWLINEThis chapter deals with non-compact hyperk\u00e4hler manifolds. The motivation for the author is the conjecture that the total space \\(T^*M\\) of the cotangent bundle of any K\u00e4hler manifold \\(M\\) admits a hyperk\u00e4hler structure. The main purpose of this chapter is to give an affirmative answer to a slight modification of this conjecture, and to prove an analogon which does not involve metrics.NEWLINENEWLINENEWLINELet \\(M\\) be a complex manifold equipped with a K\u00e4hler metric. This metric can be extended to a hyperk\u00e4hler metric \\(h\\) on the formal neighborhood of the zero section in the total space \\(T^*M\\) of the holomorphic cotangent bundle of \\(M\\). The dilations along the fibers of the projection \\(T^*M\\to M\\) induce an action of \\(U(1)\\) on \\(T^*M\\) leaving \\(h\\) invariant. Any \\(U(1)\\)-invariant hyperk\u00e4hler metric on the holomorphically symplectic manifold \\(T^*M\\) differs from \\(h\\) by a holomorphic symplectic \\(U(1)\\)-equivariant automorphism of \\(T^*M\\). If the K\u00e4hler metric on \\(M\\) is real analytic, then the formal hyperk\u00e4hler metric \\(h\\) converges to a real analytic metric in an open neighborhood of the zero section in \\(T^*M\\).NEWLINENEWLINENEWLINEThe version without a metric is as follows. Let \\(M\\) be a complex manifold and denote by \\(\\overline TM\\) the total space of the complex-conjugate of the tangent bundle of \\(M\\). Consider \\(\\overline TM\\) equipped with a \\(U(1)\\)-action arising from dilations along the fibers of the projection \\(\\overline TM\\to M\\). Then there exists a one-to-one correspondence between the set of all K\u00e4hler connections on the cotangent bundle of \\(M\\) and the set of all isomorphism classes of \\(U(1)\\)-equivariant hypercomplex structures on the formal neighborhood of the zero section in \\(\\overline TM\\) such that the projection \\(\\overline TM\\to M\\) is holomorphic. If the K\u00e4hler connection on \\(M\\) is real analytic, then the corresponding hypercomplex structure is defined on an open neighborhood of the zero section in \\(\\overline TM\\).NEWLINENEWLINENEWLINEThe main tool for proving these results is the relation between \\(U(1)\\)-equivariant hyperk\u00e4hler manifolds and the theory of \\(\\mathbb{R}\\)-Hodge structures discovered by Deligne and Simpson. Apart from the proofs of these results, this chapter contains a thorough introduction to Hodge manifolds, \\(\\mathbb{R}\\)-Hodge structures, and the necessary concepts for understanding the details of the proof.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715827$961C0CBC-11E4-4452-B389-278CB9BB7D72","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c094ed69bec7411737799179216976e6fe9c0def","datavalue":{"value":{"entity-type":"item","numeric-id":207600,"id":"Q207600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715827$295996A0-9A69-47F1-ABA8-D356E6DCFC10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69e3e63ed2dc7305787bd8346b796657109ff7b2","datavalue":{"value":{"entity-type":"item","numeric-id":4789478,"id":"Q4789478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c44724f0c4dbd1835fc46b1f8d91e1f96281003","datavalue":{"value":{"amount":"+0.8450382351875305","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":"Q2715827$BE3F5E7A-615F-4195-AD72-118010033121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5f1c02b9765bdbf49a91d81999116c9b27603","datavalue":{"value":{"entity-type":"item","numeric-id":3729632,"id":"Q3729632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5065661fcde21df62f684e1d8a3d54c7ab97f2","datavalue":{"value":{"amount":"+0.8420186042785645","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":"Q2715827$37F21EE8-7D2F-4D73-B9AD-2D041A3D1695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af2fa0a9f23f8a43fbdb98ccce2d260ac4d30b4","datavalue":{"value":{"entity-type":"item","numeric-id":3477629,"id":"Q3477629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177583bb633bc6f90e365dcab519097e1cbadb50","datavalue":{"value":{"amount":"+0.829380989074707","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":"Q2715827$B5680843-D53F-4F1B-B79B-7FEF51E45428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6c3baab293068e7cdaa1261ece7d71560d7777","datavalue":{"value":{"entity-type":"item","numeric-id":1428326,"id":"Q1428326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44453c8f58ceefc9675d69a6de7f4fe07a7481ef","datavalue":{"value":{"amount":"+0.8249031901359558","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":"Q2715827$C12958CF-1ADD-4BA5-A47F-43ACAE9AD65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece9219a9be4d607f4b0c0fa990698dc88669410","datavalue":{"value":{"entity-type":"item","numeric-id":3837469,"id":"Q3837469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c02d58fbaa1fc177034b66c4001f8bec1b8573f","datavalue":{"value":{"amount":"+0.8173761963844299","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":"Q2715827$702EA4AD-6907-418D-AAAE-DB6D08E5C6C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyperk\u00e4hler manifolds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyperk%C3%A4hler_manifolds"}}}}}