Diffeological non-Abelian Hodge theory: relative harmonic metrics and deformation theory

Abstract

Let $X$ be a compact K\"ahler manifold. In prior work, we constructed diffeological moduli stacks of Higgs and flat bundles on $X$, related by extension completion of smooth harmonic families. Here, we develop the relative analytic theory. On Sobolev completions over arbitrary plots, we prove that every smooth stable Higgs family satisfying the numerical conditions admits a global smooth harmonic metric. Fixing a Hermitian--Einstein determinant metric removes scalar freedom, and then elliptic regularity and normalized gluing yield plotwise smoothness. The theorem holds at every finite parameter regularity $C^d$ and on reduced singular parameter spaces with ambient extensions. For a Higgs deformation $\eta$, the normalized metric variation satisfies $L_hs=-\mathcal S_h(\eta)$ and $s=-G_h\mathcal S_h(\eta)$ up to an independent rank-one determinant term for $\mathrm{GL}_r$. This computes the plotwise differential and recovers the classical comparison. Locally split, constant-type polystable families admit smooth harmonic metrics. Real-analytic examples show general polystable families may have neither continuous harmonic metrics nor relative harmonic filtrations and may lie outside every $C^d$ extension-generated locus. In one example a singular harmonic reduction produces a continuous adjoint Higgs field and a flat family with semisimple slices. This defines a weak $C^0$ operator-level harmonic mediator, strictly larger than the metric-regular one, whose endpoint images after finite extension completion and stackification satisfy $\mathscr M_{\mathrm{Dol},0}^{\mathrm{wk}\mathcal H}(X)\simeq\mathscr M_{\mathrm{dR},0}^{\mathrm{wk}\mathcal H}(X)$. We characterize the extension-generated stack by relative harmonic filtrations, develop their obstruction theory, analyze the loss of extension data under heat flow, and construct the smooth Hodge $\lambda$-family on the stable locus.