arXiv subjects

Mahmud Azam

Publications and source records attributed to Mahmud Azam.

5 recordsLinked to original sources

arXiv2026

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

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.

math.DG↗

arXiv2026

A diffeological perspective on non-Abelian Hodge theory

We construct diffeological moduli stacks $\mathscr{M}_{Dol}(X)$ and $\mathscr{M}_{dR}(X)$ parametrizing smooth families of Higgs bundles and those of flat bundles, respectively, on a compact K\"ahler manifold $X$. We then establish an equivalence of stacks between diffeological substacks $\mathscr{M}^\mathscr{H}_{Dol} \subset \mathscr{M}_{Dol}(X)$ and $\mathscr{M}^\mathscr{H}_{dR}(X) \subset \mathscr{M}_{dR}(X)$, whose fibres over the point are the categories of semistable Higgs bundles, with the usual condition on Chern classes, and of flat bundles on $X$, respectively. $\mathscr{M}^\mathscr{H}_{Dol}(X)$ contains families of semistable Higgs bundles to points of which the classical correspondence of coarse moduli spaces does not extend continuously. This shows that the equivalence we provide is, in a sense, a common extension, in the context of diffeological moduli stacks, of both the homeomorphism of coarse moduli spaces, and of the equivalence of categories between semistable Higgs bundles and arbitrary flat bundles.

math.DG↗

arXiv2025

Moduli stacks of quiver connections and non-Abelian Hodge theory

In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to these moduli stacks. In the present work, we formalize the de Rham side of this conjectural extension. We construct moduli stacks parametrizing diagrams of bundles with $\lambda$--connections over a base prestack $X$, where $\lambda$ can be a fixed number or a parameter. Taking $\lambda$ to be $1$ gives a moduli stack parametrizing diagrams of bundles with connection, while taking it to be a parameter gives a version of Simpson's non-Abelian Hodge filtration for digrams of bundles with connection. We show that when $X$ is a smooth and projective scheme over an algebraically closed field $k$ of characteristic $0$, these moduli stacks are algebraic and locally of finite presentation, and have affine diagonal.

math.AG↗

arXiv2024

Moduli stacks of quiver bundles with applications to Higgs bundles

We provide a general method for constructing moduli stacks whose points are diagrams of vector bundles over a fixed base, indexed by a fixed simplicial set -- that is, quiver bundles of a fixed shape. We discuss some constraints on the base for these moduli stacks to be Artin and observe that a large class of interesting schemes satisfy these constraints. Using this construction, we recover Nakajima quiver varieties and provide an alternate construction for moduli stacks of Higgs bundles along with a proof of algebraicity following readily from the algebraicity of moduli stacks of quiver bundles. One feature of our approach is that, for each of the moduli stacks we discuss, there are moduli stacks that are Artin, parametrizing morphisms of the objects being classified. We discuss some potential applications of this in categorifying non-abelian Hodge theory in a sense we will make precise. We also discuss potential applications of our methods and perspectives to the subjects of quiver varieties, abstract moduli theory, and homotopy theory.

math.AG↗

arXiv2022

TQFTs and quantum computing

Quantum computing is captured in the formalism of the monoidal subcategory of $\textbf{Vect}_{\mathbb C}$ generated by $\mathbb C^2$ -- in particular, quantum circuits are diagrams in $\textbf{Vect}_{\mathbb C}$ -- while topological quantum field theories, in the sense of Atiyah, are diagrams in $\textbf{Vect}_{\mathbb C}$ indexed by cobordisms. We initiate a program that formalizes this connection. In doing so, we equip cobordisms with machinery for producing linear maps by parallel transport along curves under a connection and then assemble these structures into a double category. Finite-dimensional complex vector spaces and linear maps between them are given a suitable double categorical structure which we call $\mathbb F\textbf{Vect}_{\mathbb C}$. We realize quantum circuits as images of cobordisms under monoidal double functors from these modified cobordisms to $\mathbb F\textbf{Vect}_{\mathbb C}$, which are computed by taking parallel transports of vectors and then combining the results in a pattern encoded in the domain double category.

quant-ph↗