Markman's Projectively Hyperholomorphic Bundles

• Markman's projectively hyperholomorphic bundles are canonical holomorphic vector bundles on hyper-Kähler varieties, defined via connections that remain of type (1,1) across all twistor fibers.
• They serve as explicit Fourier–Mukai kernels that mediate derived equivalences and motivic isomorphisms, linking the geometry of moduli spaces to categorical structures.
• Their construction yields sharp period-index bounds for Brauer classes and supports proofs of Orlov-type and Fu–Vial motivic isomorphisms in higher-dimensional hyper-Kähler geometry.

Markman’s projectively hyperholomorphic bundles are canonical holomorphic vector bundles defined on products of hyper-Kähler varieties, especially those deformation-equivalent to Hilbert schemes of points on K3 surfaces ($K3^{[n]}$-type). These bundles are characterized by their Chern connections being hyperholomorphic up to projectivization, meaning that the connection admits curvature of type $(1,1)$ with respect to all complex structures in the twistor family, up to a central term. Markman’s construction links the geometry of these bundles to derived equivalence, motivic isomorphisms, period-index bounds for Brauer classes, and major conjectures in the theory of hyper-Kähler varieties.

1. Projectively Hyperholomorphic Bundles: Definition and Analytic Structure

A holomorphic vector bundle $E \to X$ on a compact hyper-Kähler manifold $(X,g,I,J,K)$ is hyperholomorphic if the Chern connection $\nabla$ satisfies $F_\nabla \in \Omega^{1,1}_{(aI+bJ+cK)}(X)$ for all $(a,b,c)$ on the twistor sphere $S^2$ (Zhang, 4 Feb 2025, Maulik et al., 2024). Projectively hyperholomorphic bundles are those for which the induced connection on $\operatorname{End}(E)$ has curvature of type $(1,1)$ on every twistor fiber, or equivalently, $E$ is polystable in the sense of Kobayashi–Hitchin and admits a projectively flat Hermitian–Einstein connection $\nabla$ with $F_\nabla = \omega \otimes \operatorname{id}_E$ for some scalar 2-form $\omega$ (Hotchkiss et al., 13 Feb 2025). All Chern classes of $E$ are monodromy-invariant, i.e., they remain fixed under parallel transport in twistor deformations.

When $\alpha \in \operatorname{Br}(X)$ is a Brauer class, analogous statements hold for $\alpha$-twisted locally free sheaves. Projective hyperholomorphicity ensures that the curvature’s trace part is central, while the trace-free part remains of type $(1,1)$ on all twistor fibers (Maulik et al., 2024).

2. Markman’s Construction on $K3^{[n]}$-Type Varieties

Given a projective K3 surface $S_0$ and a primitive isotropic Mukai vector $v_0=(r, mH, s)$ with $r \geq 2$, $\gcd(r,s)=1$, the moduli space $M_{S_0,v_0}$ parametrizes $v_0$-stable sheaves and itself is a K3 surface. There exists a universal bundle $E \in \operatorname{Coh}(M_{S_0,v_0} \times S_0)$ that is projectively hyperholomorphic (Maulik et al., 28 Jan 2026, Zhang, 4 Feb 2025). Via the Bridgeland–King–Reid correspondence, one obtains a canonical bundle $$E^{[n]} \in \operatorname{Coh}(M_{S_0,v_0}^{[n]} \times S_0^{[n]})$$ of rank $n! r^n$, which remains projectively hyperholomorphic.

This bundle is transported by parallel deformation (twistor-path deformation) to arbitrary varieties $X$ of $K3^{[n]}$-type, yielding a (possibly twisted) bundle $(E,\alpha) \in \operatorname{Coh}(Y \times X)$ that mediates a derived equivalence

$$\Phi_{(E,\alpha)} : D^b(Y, \alpha_Y) \xrightarrow{\sim} D^b(X, \alpha_X).$$

All Chern classes $c_i(E)$ descend via monodromy invariance from those of $E^{[n]}$ (Hotchkiss et al., 13 Feb 2025).

3. Derived Equivalences and Fourier–Mukai Kernels

Markman’s construction provides explicit Fourier–Mukai kernels using projectively hyperholomorphic bundles. The kappa-class associated to $E$,

$$\kappa(E) := \text{root}_R[\operatorname{ch}(E^{\otimes R} \otimes \det E^{-1})],$$

serves as the geometric input for defining derived equivalences, with

$$F := \kappa(E) \cdot \sqrt{\operatorname{Td}_{Y \times X}} \in CH^*(Y \times X)$$

and

$$F^{-1} := \kappa(E^\vee) \cdot \sqrt{\operatorname{Td}_{X \times Y}} \in CH^*(X \times Y).$$

Via Grothendieck–Riemann–Roch, these satisfy

$$F \circ F^{-1} = [\Delta_X]; \quad F^{-1} \circ F = [\Delta_Y],$$

yielding a true equivalence of derived categories (Maulik et al., 28 Jan 2026). The associated Fourier–Mukai functor is

$$\Phi_F(-) = R\pi_{2*}(\pi_1^*(-) \overset{L}{\otimes} E).$$

4. Motivic Decompositions, Chow–Künneth Projectors, and Algebraic Cycles

Under the Fourier-vanishing conjecture (proved cohomologically by Markman), the correspondences $F, F^{-1}$ decompose by degree, leading to Chow–Künneth projectors

$$p_{2k} := F_{2k} \circ F^{-1}_{4n-2k} \in CH^{2n}(X \times X)$$

for $0 \leq k \leq 2n$, and similarly on $Y$. This delivers graded motivic decompositions

$h(X) = \bigoplus_{k=0}^{2n} h_{2k}(X),$

with $h_{2k}(X) = (X, p_{2k}, 0)$ and analogous terms for $Y$ (Maulik et al., 28 Jan 2026). These motivic decompositions respect both homological and Chow-theoretic equivalences, providing isomorphisms of motives in the derived-equivalent case.

The cup-product $\cup$ on $H^*(X)$ is intertwined with Markman's convolution product $*$ on $H^*(Y)$ via the correspondence $F$, yielding compatibility of algebraic structures across motivic isomorphism.

5. Applications: Derived Equivalence, Motives, and the Orlov Conjecture

Markman’s projectively hyperholomorphic bundles have crucial implications:

• Derived equivalent hyper-Kähler varieties of $K3^{[n]}$-type have isomorphic ungraded homological motives, compatible with the cup-product (Maulik et al., 28 Jan 2026).
• All smooth projective moduli spaces of stable sheaves on a fixed K3 surface share isomorphic homological motives, again preserving cup-product.
• Under Franchetta conditions for cycles on universal families, these homological isomorphisms can be lifted to Chow motives (notably for K3 surfaces of Picard rank $1$).

This provides the first proofs of Orlov-type motivic isomorphisms beyond K3 surfaces, including multiplicative (cup-product preserving) refinements as conjectured by Fu–Vial (Maulik et al., 28 Jan 2026).

6. Period-Index Bounds for Brauer Classes

Markman’s construction yields explicit bundles whose ranks bound the index of Brauer classes on $K3^{[n]}$-type varieties. For any Brauer class $a \in \operatorname{Br}(X)$ of period $\ell$,

$\operatorname{ind}(a) \mid \ell^{\dim X / 2}$

and, under additional Picard rank and lattice-theoretic conditions,

$\operatorname{ind}(a) \mid \frac{1}{2} \dim X$

for most classes, as shown in (Hotchkiss et al., 13 Feb 2025). The universal property of projectively hyperholomorphic bundles, their deformation invariance, and the precise control of Chern classes make them ideal for bounding period-index relationships in high-dimensional hyper-Kähler geometry.

7. Significance and Current Research Directions

By producing canonical motivic correspondences and derived equivalences in higher dimensions, Markman’s projectively hyperholomorphic bundles form the geometric backbone of new proofs for long-standing conjectures (Orlov, Fu–Vial, D-equivalence), and deliver enhanced control of Brauer groups. Their deformation-theoretic stability under twistor extension and monodromy sets them apart in the landscape of algebraic cycle theory and categorical geometry. Ongoing research leverages these constructions to probe deeper into motivic equivalence, period-index problems, and the structure of derived categories for hyper-Kähler varieties (Maulik et al., 28 Jan 2026, Zhang, 4 Feb 2025, Hotchkiss et al., 13 Feb 2025, Maulik et al., 2024).