72 problems

Hyper-Kähler motivic conjecture. If $\operatorname{D}^b(X)$ and $\operatorname{D}^b(Y)$ are exactly equivalent, then $\mathfrak{h}(X)$ and $\mathfrak{h}(Y)$ are isomorphic as Frobe…

Beauville's conjecture. The cycle class map is injective on the subalgebra of $A^{*}(X)$ generated by divisors.

Donald's conjecture. The structure $\underline{\omega}$ can be deformed through cohomologous hypersymplectic structures to the triple of Kähler forms arising from a hyperkähler met…

Let $(X^4,\omega_1,\omega_2,\omega_3)$ be a hyperkähler $K3$ surface, and let $\alpha_1,\alpha_2,\alpha_3$ be irreducible $(-2)$-classes in $H^2(X^4;\mathbb{Z})$ satisfying…

Let $X$ be a smooth cubic fourfold, let $F(X)$ be its Fano variety of lines, and let $S^{[2]}$ be the Hilbert scheme of length-two subschemes of a K3 surface $S$. Galkin–Shinder's…

Let $({\overline{\partial}}_E,\varphi)$ be a Higgs bundle in the regular locus $\mathcal M'$, and let $g_{L^2}$ and $g_{\mathrm{sf}}$ denote Hitchin's $L^2$-metric and the semiflat…

Hyperkähler Kirwan surjectivity conjecture. The hyperkähler Kirwan map is surjective.

Flow-closedness conjecture. If $\mu_\mathbb{C}$ is a complex moment map associated to a linear action by a compact group $K$ on a vector space, then $|\mu_\mathbb{C}|^2$ is flow-cl…

Let $\mathcal{T}'$ be a $\Gamma$-labelled tree. In the Gaiotto–Moore–Neitzke asymptotic expansion, consider the total contribution to wall crossing obtained by choosing every possi…

Ginzburg's conjecture. The quotient variety $X$ can be naturally desingularized, and this desingularization is holomorphically symplectic and admits a hyperkähler structure. The co…

Let $X$ be an irreducible holomorphic symplectic manifold of dimension $2g$, and let $q_X$ denote its Beauville–Bogomolov form. A line bundle $L$ on $X$ is called non-trivial if it…

Hyperkähler Nahm transform conjecture. Then $M$ is diffeomorphic to $N$, and the hyperkähler Nahm transform is invertible.

Let $X$ be a smooth projective symplectic variety of dimension $2n$, and let … be a birational contraction whose degenerate locus $B$ is contracted to isolated points. Projective-s…

Let $G$ be a compact Lie group with Lie algebra $\mathfrak g$, let $G^c$ be its complexification, and let $\Omega$ be the data defining the examples associated to $G$. Denote the r…

Let $C$ be a hyperkähler cone, and let $B$ be the graded H-algebra defined in Definition 3.3. SGH-algebra conjecture. The graded H-algebra $B$ is an SGH-algebra. This is the algebr…

Let $M$ be a hyperkähler manifold that is AC of order $l\geq 1$, and let $k\geq -1$ be an integer. Let $x:M\rightarrow\mathbb{H}$ be a smooth function such that $D(x)$ is a $1$-for…

Let $\mu_0\in\mathfrak g$ be nonzero, let $\mu:[0,\delta]\to\mathfrak g$ be a regular deformation of $\mu_0$, meaning that $\mu(t)$ is regular for all $t>0$, and set…

Let $A$ be an abelian surface over $\mathbb{C}$, let $A^{[\ell]}$ be its Hilbert scheme of length-$\ell$ subschemes, and let $A^{\langle\ell-1\rangle}$ be the fiber over $0$ of the…

Twisted cotangent conjecture. Under these assumptions, there exists a natural isomorphism of complex manifolds

Hyperkähler cone conjecture. Any conical symplectic singularity is a hyperkähler cone.

Let $G$ be a semisimple group over $\a9\a9$ and let $G^{\mathrm{sc}}$ be its simply-connected cover. Let $\mathcal{M}^{\circ}_G$ denote the neutral component of the affine Toda mod…

Donaldson's conjecture. For every such $M$ and $\underline{\omega}$, there exists a family with these properties.

Let $(\mathrm{X},\mathrm{I},\mathrm{J},\mathrm{K},g)$ be a hyperkähler manifold, and let $\mathfrak{L}$ be a collection of compact spin $\mathrm{I}$-holomorphic Lagrangian submanif…

Let $(\mathrm{X},\mathrm{I},\mathrm{J},\mathrm{K})$ be a hyperkähler manifold with symplectic form $\omega_\mathrm{J}$, and set … Let $\mathcal{DF}(\mathrm{X},\omega_\mathrm{J})$ b…

Let $X$ be a hyperkähler variety of K3$^{[n]}$-type with $n\geq 2$. A K3 category is a category of K3 type, and let $\mathcal A_X^{[n]}$ denote its Hilbert-scheme-type construction…