Kerz's commutativity conjecture for isomonodromic Higgs-bundle deformations

Less than 1 year old · traced to

Fix 0∈S0\in S, let V\mathbb V be an irreducible C\mathbb C-local system on X0X_0, and let σDol⁡:S→MDol⁡(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={z∈C∗:∣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 U⊂SU\subset S, the restriction σDol⁡∣U\sigma_{\operatorname{Dol}}|_U is holomorphic if and only if λ⋅σDol⁡∣U\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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.