On the variety of triangles for a hyper-Kähler fourfold constructed by Debarre and Voisin (Q1730882)

A compact Kähler manifold \(M\) is a hyperkähler manifold if \(M\) is simply connected and \(H^{0}(M,\Omega_{M}^{2})\) is generated by a no-where degenerate holomorphic \(2\)-form. A classical example is the Fano variety of lines of a smooth cubic fourfold \(Y\), first appeared in [\textit{A. Beauville} and \textit{R. Donagi}, C. R. Acad. Sci., Paris, Sér. I 301, 703--706 (1985; Zbl 0602.14041)]. Another example, denoted by \(F\), has been constructed by \textit{O. Debarre} and \textit{C. Voisin} [J. Reine Angew. Math. 649, 63--87 (2010; Zbl 1217.14028)]. Denoted by \(X\) a hyperplane section of the Grassmannian of \(3\)-planes in \(\mathbb{C}^{10}\), \(F\) is the variety of \(6\)-planes \(A\subset\mathbb{C}^{10}\) such that all dimension \(3\) linear subspaces of \(A\) are contained in \(X\). The two hyperkähler manifolds are deformation equivalent to the Hilbert square of a \(K3\) surface. The aim of the article under review is to give other similarities between them. In the Beauville-Donagi case, a triangle is a triple of points parameterizing lines given by the scheme-theoretic intersection between a plane and the cubic fourfold. In particular, all triangles define the same cycles in the hypersurface \(Y\). In similar fashion, the author defines a ``triangle'' in the Debarre-Voisin example. He shows that the variety of triangles is a Lagrangian subvariety of \(F\times F\times F\), by proving that all triangles define the same cycle in \(X\). Moreover, he shows a quadratic relation in the Chow group of codimension \(4\) cycles of \(F\times F\), which involves some incidence subvarieties of \(F\times F\). The author used standard techniques of Grassmannian geometry, which have been successfully used in other similar contexts.