Kerz's commutativity conjecture for isomonodromic Higgs-bundle deformations

From papers

Fix 0S0\in S, let V\mathbb V be an irreducible C\mathbb C-local system on X0X_0, and let σDol:SMDol(X/S)\sigma_{\operatorname{Dol}}:S\to M_{\operatorname{Dol}}(X/S) be the real analytic isomonodromic deformation obtained from its de Rham isomonodromic deformation by the relative non-abelian Hodge correspondence. Writing σDol(s)=[(Es,θs)]\sigma_{\operatorname{Dol}}(s)=[(E_s,\theta_s)], define

(λσDol)(s)=[(Es,λθs)].(\lambda\cdot\sigma_{\operatorname{Dol}})(s)=[(E_s,\lambda\cdot\theta_s)].

Here S1={zC:z=1}S^1=\{z\in\mathbb C^*:|z|=1\}.

Kerz's commutativity conjecture. (i) For any λR\lambda\in\mathbb R^*, λσDol\lambda\cdot\sigma_{\operatorname{Dol}} is also an isomonodromic deformation. (ii) For any λS1\{±1}\lambda\in S^1\backslash\{\pm1\} and any complex analytic subvariety USU\subset S, the restriction σDolU\sigma_{\operatorname{Dol}}|_U is holomorphic if and only if λσDolU\lambda\cdot\sigma_{\operatorname{Dol}}|_U is also an isomonodromic deformation.

The conjecture describes when the C\mathbb C^*-action preserves isomonodromic deformations. The corresponding assertion is known for λS1\lambda\in S^1 by the results mentioned in the source, while the conjectured statements for general real λ\lambda and the stated equivalence remain open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Tianzhi Hu, Ruiran Sun, Jinbang Yang and Kang Zuo, “Isomonodromic deformations of Higgs bundles and characterization of the non-abelian Noether–Lefschetz locus”, arXiv:2606.18768 (2026).

Solutions 0

No solutions have been posted yet.