Stability Conditions, Projective Models, and Derived Equivalences in Hyperkähler Geometry (Stab-HK)

This proposal is situated in algebraic geometry, a field where geometry and algebraic structures interact closely. The geometry of an algebraic variety is studied through algebraic techniques, in particular by organizing sheaves into categories and derived categories, which serve as refined invariants of the variety. This categorical viewpoint forms a common ground connecting homological algebra, mirror symmetry, representation theory, and theoretical physics, and provides a natural framework for addressing questions in birational geometry, offering tools that classical approaches cannot always access. The project is deeply interdisciplinary and spans broad areas of algebra and geometry. It focuses on three main directions. The first investigates stability conditions on derived categories of hyperkähler varieties, with a particular focus on the Fano variety of lines on cubic fourfolds. This work generalizes classical results to higher-dimensional settings and links homological structures to the birational geometry of moduli spaces. The second develops explicit projective models for certain hyperkähler manifolds, known as generalized Kummer fourfolds, constructing locally complete families and uncovering symmetries and dualities, including cases arising from non-Jacobian abelian surfaces. This approach makes the abstract geometry of hyperkaehler manifolds concrete, producing explicit equations that can be handled by hand or with computational tools, generalizing classical constructions developed for surfaces, such as Mukai models for K3 surfaces. The third direction addresses the D-equivalence conjecture, constructing Fourier–Mukai kernels in new birational settings to clarify how categorical structures govern birational transformations. This study provides crucial insight into the invariance of derived categories under birational equivalence and deepens our understanding of the relationship between geometry and homological algebra.