{"entities":{"Q1955666":{"pageid":1966408,"ns":120,"title":"Item:Q1955666","lastrevid":57609393,"modified":"2026-03-31T14:50:10Z","type":"item","id":"Q1955666","labels":{"en":{"language":"en","value":"Remarks on the Lefschetz standard conjecture and hyperk\u00e4hler varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176454"}},"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":"Q1955666$87171965-4F14-42E1-BCDF-70BF575A0D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dbf48db2d8c50cda154159f268e4b4ce7ae884c","datavalue":{"value":{"text":"Remarks on the Lefschetz standard conjecture and hyperk\u00e4hler varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1955666$D6A99C16-3598-4ADE-AD29-14F377A05532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6927bf33303622ba5d2791a94dfc03d17c8467b","datavalue":{"value":"1276.14011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$1FE681CA-221B-4189-B589-64FB0707E43D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f825a3af4540c65c153d6ed6da8944c80ba25070","datavalue":{"value":"10.4171/CMH/291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$7364F2E9-8EAF-45AD-AD24-4176AB729425","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa48f428a5a152c20f51564d1e5272433500e77","datavalue":{"value":{"entity-type":"item","numeric-id":278879,"id":"Q278879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955666$6860043F-1B6F-4745-A293-AF1659CBD29E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5fcb6cd43a0998d068add0035faca6247a2e2036","datavalue":{"value":{"entity-type":"item","numeric-id":185403,"id":"Q185403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955666$ABBAF217-803B-4B13-9760-B8E744B54B2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ec4dcfe353abb47f7c02239576410581e77a728","datavalue":{"value":{"time":"+2013-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1955666$C0D430CB-CCCD-41EF-B899-DD721F09F741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b1c708e4117d7c14b9c173aa6ca7e4a4d274aee","datavalue":{"value":"https://arxiv.org/abs/1002.5011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1955666$2DD95581-ECCC-40C5-A8CE-7A08EC12BAFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6140b4dd102279b174b0a4ece7ad24f80c775868","datavalue":{"value":"Let \\(X\\) be a smooth projective variety over \\({\\mathbb C}\\) of dimension \\(n\\) and \\(\\xi \\in H^2 (X, {\\mathbb Q})\\) be the cohomology class of a hyperplane section of \\(X\\). Then for any \\(0 \\leq k \\leq n\\) the cup product \\(\\cup \\xi ^{n-k} : H^k (X, {\\mathbb Q}) \\rightarrow H^{2n-k} (X, {\\mathbb Q})\\) is an isomorphism by the hard Lefschetz theorem. The Lefschetz standard conjecture in degree \\(k\\) questions the existence of an algebraic cycle \\(Z\\) of codimension \\(k\\) in \\(X \\times X\\), such that \\([Z]_* : H^{2n-k} (X, {\\mathbb Q}) \\rightarrow H^k (X, {\\mathbb Q})\\) is the inverse of \\(\\cup \\xi ^{n-k}\\). This conjecture was formulated by Grothendieck in 1968. A cohomology class \\(\\alpha \\in H^k (X, {\\mathbb Z})\\) is of level \\(c\\) if it is a push-forward of a cohomology class on a subvariety \\(Y \\subset X\\) of codimension \\(c\\). The set \\(N^c H^k (X, {\\mathbb Z})\\) of the cohomology classes \\(\\alpha \\in H^k (X, {\\mathbb Z})\\) of level at least \\(c\\) is contained in \\(H^k (X, {\\mathbb Z}) \\cap [H^{k-c,c}(X) + \\dots + H^{c,k-c}(X)]\\). Grothendieck's generalized Hodge conjecture from 1969 asks whether \\(N^c H^k (X, {\\mathbb Z})\\) is the largest sub-Hodge structure of \\(H^k (X, {\\mathbb Z})\\), contained in \\(H^{k-c,c}(X) + \\dots + H^{c, k-c}(X)\\). Let \\(S\\) be a smooth quasi-projective scheme with tangent sheaf \\(\\mathcal{T}_S\\) and \\(Z \\in CH^k (X \\times S)\\) be a family of codimension \\(k\\) cycles in \\(X\\) parameterized by \\(S\\). The cohomology class \\([Z] \\in H^k (X \\times S, \\Omega ^k _{X \\times S} ) \\simeq H^0 (S, \\Omega ^k_S) \\otimes H^k (X, \\mathcal{O}_X)\\) induces a morphism \\(\\phi _Z : \\bigwedge ^k \\mathcal{T}_S \\rightarrow H^k (X, \\mathcal{O}_X) \\otimes \\mathcal{O}_S\\) of sheaves on \\(S\\). Making use of the map \\(\\phi _{Z,s}\\) at a point \\(s \\in S\\), the article under review reduces the Lefschetz conjecture for \\(X\\) to the existence of local deformations of algebraic cycles in \\(X\\). More precisely, let us assume that the generalized Hodge conjecture holds for \\(H^k (X, {\\mathbb Z})\\) and the Lefschetz conjecture in degree \\(k-2\\) is true for all smooth projective varieties. Then \\(X\\) is shown to be subject to the Lefschetz conjecture in degree \\(k\\) if and only if there exist a smooth quasi-projective scheme \\(S\\), a codimension \\(k\\) cycle \\(Z \\in CH^k (X \\times S)\\) and a point \\(s \\in S\\), such that the morphism \\(\\phi _{Z,s} : \\bigwedge ^k \\mathcal{T}_S \\rightarrow H^k (X, \\mathcal{O}_X)\\) is surjective. In particular, \\(X\\) satisfies the Lefschetz conjecture in degree \\(2\\) exactly when \\(\\phi _{Z,s} : \\bigwedge ^2 \\mathcal{T}_S \\rightarrow H^2 (X, \\mathcal{O}_X)\\) is surjective for some smooth quasi-projective variety \\(S\\), some \\(Z \\in CH^2 (X \\times S)\\) and some \\(s \\in S\\).  The article provides an explicit formula for the morphism \\(\\phi _Z\\) if the class \\(Z \\in CH^k (X \\times S)\\) is given by the codimension \\(k\\) part \\(ch_k(\\mathcal{E})\\) of the Chern character of a vector bundle \\(\\mathcal{E}\\) over \\(X \\times S\\). More precisely, if \\(p: X \\times S \\rightarrow S\\) is the projection on the second factor then the deformation of vector bundles determined by \\(\\mathcal{E}\\) is described by the Kodaira-Spencer morphism of sheaves \\(\\rho : \\mathcal{T}_S \\rightarrow \\mathcal{E}xt^1_p (\\mathcal{E}, \\mathcal{E})\\). For \\(\\forall k \\in {\\mathbb N}\\) let \\(\\phi _k (\\mathcal{E}) : \\bigwedge ^k \\mathcal{T}_S \\rightarrow H^k (X, \\mathcal{O}_X) \\otimes \\mathcal{O}_S\\) be the composition of \\(\\bigwedge ^k \\rho : \\bigwedge ^k \\mathcal{T}_S \\rightarrow \\bigwedge ^k \\mathcal{E}xp ^1 _p (\\mathcal{E}, \\mathcal{E})\\), the Yoneda product \\(\\bigwedge ^k \\mathcal{E}xt ^1 _p (\\mathcal{E}, \\mathcal{E}) \\rightarrow \\mathcal{E}xt ^k _p ( \\mathcal{E}, \\mathcal{E})\\) and the trace map \\(\\mathcal{E}xt ^k _p ( \\mathcal{E}, \\mathcal{E}) \\rightarrow H^k (X, \\mathcal{O}_X) \\otimes \\mathcal{O}_S\\). If there exist a smooth quasi-projective scheme \\(S\\), a vector bundle \\(\\mathcal{E} \\rightarrow X \\times S\\) and a point \\(s \\in S\\), such that \\(\\phi _k (\\mathcal{E}) _s : \\bigwedge ^k \\mathcal{T}_{S,s} \\rightarrow H^k (X, \\mathcal{O}_X)\\) is surjective then the Lefschetz conjecture in degree \\(2\\) holds for \\(X\\). Moreover, the Lefschetz conjecture in degree \\(k-2\\) for all smooth projective varieties and the generalized Hodge conjecture for \\(H^k (X, {\\mathbb Z})\\) suffice for the Lefschetz conjecture in degree \\(k\\) for \\(X\\).  The results on the Lefschetz conjecture in degree \\(2\\) are specified for the hyperk\u00e4hler varieties \\(M\\). A simply connected K\u00e4hler manifold \\(M\\) is an irreducible hyperk\u00e4hler variety if it admits a closed, everywhere non-degenerate \\(2\\)-form \\(\\omega\\). The presence of such \\(\\omega\\) is equivalent to the existence of three complex structures \\(I, J, K\\) on \\(M\\), subject to the quaternionic relations \\(I^2 = J^2 = K^2 = - \\text{Id}\\), \\(IJ = - JI = K\\). A complex hermitian vector bundle \\(\\mathcal{E} \\rightarrow M\\) with a hermitian connection \\(\\theta\\) is hyperholomorphic if \\(\\theta\\) is compatible with \\(I, J\\) and \\(K\\). For instance, the tangent bundle of an irreducible hyperk\u00e4hler variety \\(M\\) is a hyperholomorphic. The article under review establishes that if a stable hyperholomorphic bundle \\(\\mathcal{E}\\) over a projective irreducible hyperk\u00e4hler variety \\(M\\) admits a non-trivial positive-dimensional family of deformations then the Lefschetz conjecture in degree \\(2\\) holds for \\(M\\). Let us suppose that for every \\(K3\\) surface \\(S\\) there exists a stable hyperholomorphic sheaf \\(\\mathcal{E}\\) with a non-trivial positive-dimensional family of deformations on the Hilbert scheme \\(S^{[n]}\\) parameterizing the subschemes of \\(S\\) of length \\(n\\). Then the Lefschetz conjecture in degree \\(2\\) is true for any projective deformation of \\(S^{[n]}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955666$D9B1281A-80C8-435A-B60C-2A6968A172EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5887135b7249cf7ceb12c2d20d80b4526626302c","datavalue":{"value":{"entity-type":"item","numeric-id":534690,"id":"Q534690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1955666$D644DFD0-01ED-454F-A9C0-F0DE11BCEDF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b149beccc7217da5f0fb8758235d36c0666d20ac","datavalue":{"value":"14C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$0CFC92FD-86FD-42A6-85F4-641F675138DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5aa7ebd882fec2eb992b063ddb9a0c4a927f9f7","datavalue":{"value":"14J60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$C47D6600-36A4-47CE-AD66-69160389CAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34cf2d2ef0e35c82d07bcb245fa1df2d2b42ec75","datavalue":{"value":"53C26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$2F4D8E61-4617-4378-B475-509C93E284EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"898bd2292c301eb07831f78c7333552dd30aea41","datavalue":{"value":"6176454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$1DA2AAE2-74F9-4186-86AF-3A9BEC6BA2C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb93f2f509c2f0d999030d370232c8476edf24d","datavalue":{"value":"algebraic cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955666$4E0E7AE4-D0E6-4B47-862D-338962716E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f5ce9c99c01feb3f4c69f38fcfa78c0c55262","datavalue":{"value":"holomorphic symplectic varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955666$DD947A83-B82A-4342-B16D-CB46A4812B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b31d31619fad3b437439c72aff3de6308d219e2","datavalue":{"value":"standard conjectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1955666$5AD56549-63B7-49F4-A451-BC0756810C9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba49b9abf97a7063b37db453308a430951738eb0","datavalue":{"value":"Q123132578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1955666$3D4B8B81-5012-45FA-A0B8-AAC684DB8C09","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":"Q1955666$D9171628-C158-4B9C-B297-8B7F2B2B1A4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"342759cc0ccbefae9cc12d42d19e4363c2890d90","datavalue":{"value":{"entity-type":"item","numeric-id":2071629,"id":"Q2071629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1be700590cb0c10379b92631f6f75eaaf2e6cb5","datavalue":{"value":{"amount":"+0.875413715839386","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":"Q1955666$3B03109C-B95C-4AD0-8FE3-203BA06A8C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb88c6411704d4d85967048df758f934bbab2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5246476,"id":"Q5246476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b459c1867c86d830c4b7a9a01a5c6ccd98d3b005","datavalue":{"value":{"amount":"+0.8583459258079529","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":"Q1955666$76712F45-AB6B-4B25-AF26-19878EABC0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103d227b993bcfd29c8433db97c1b36624677cde","datavalue":{"value":{"entity-type":"item","numeric-id":3552174,"id":"Q3552174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fac7723d0a8e3bd23141ebfcbaf89c3ebb80f5ad","datavalue":{"value":{"amount":"+0.8513498902320862","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":"Q1955666$4EBDE9B4-C383-4C5C-8CF5-8AA618E61BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b0ee25f4a8fae839cd68bedddd7ebd0bf34e5","datavalue":{"value":{"entity-type":"item","numeric-id":4914611,"id":"Q4914611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4cc8fedc80f16e7e0e52cab2f7f3e71040f3e13","datavalue":{"value":{"amount":"+0.8473804593086243","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":"Q1955666$3F92E955-A690-4FD2-8465-F8748627CB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0446905e5a81f48610e6dab1e3210f3430b73a71","datavalue":{"value":{"entity-type":"item","numeric-id":2391648,"id":"Q2391648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6b19f16d0d5b42e21f11e38d3e40240911e309a","datavalue":{"value":{"amount":"+0.8461199998855591","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":"Q1955666$ECF0137B-89AE-4747-8BAD-FD32AA52882E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1955666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1955666"}}}}}