--- title: 'Gapped Modules: Structures and Applications' url: https://www.emergentmind.com/topics/gapped-modules type: topic --- # Gapped Modules: Structures and Applications Searching arXiv for recent and foundational uses of “gapped modules” and closely related formulations. {"query": "\"gapped modules\" arXiv", "max_results": 10, "sort_by": "submittedDate"} {"query": "\"gapped boundary\" module category arXiv", "max_results": 10, "sort_by": "relevance"} {"query": "arXiv 2606.19137", "max_results": 5, "sort_by": "relevance"} “Gapped modules” is not a single uniform notion across contemporary mathematics and mathematical physics. In the cited literature, the phrase refers to several module-theoretic structures associated with a gap condition: module categories encoding gapped boundaries and defects in topological phases [1609.02037], right $Q$-modules classifying boundary conditions of $(1+1)$-dimensional symmetric gapped phases [2606.19137], multiplicity spaces carrying Clifford actions for gapped quadratic fermion Hamiltonians [1101.1054], restricted modules for the gap-$p$ Virasoro algebra [2202.13342], and module-valued or module-detected gap phenomena in homological algebra, vector-valued modular forms, and stable homotopy theory [1810.12112], [2512.21386], [2412.01640]. In operator theory, the closely related language concerns the gap topology on regular operators over Hilbert $C^*$-modules [0901.1891]. | Context | Meaning of “gapped modules” | Representative reference | |---|---|---| | Topological order | Module categories or right $Q$-modules encoding gapped boundaries | [1609.02037], [2606.19137] | | Hilbert $C^*$-modules | Regular operators organized by the gap topology via graph projections | [0901.1891] | | Free-fermion phases | Multiplicity spaces as Clifford modules for gapped BdG Hamiltonians | [1101.1054] | | Homological/representation settings | Modules exhibiting omitted values or congruence-class gaps | [1810.12112], [2202.13342], [2512.21386] | ## 1. Gapped boundaries as module categories In the theory of topological order, the most systematic use of “gapped modules” arises from the equivalence between gapped boundaries and module categories. For Kitaev quantum double and Dijkgraaf–Witten models with input fusion category $\mathcal C$, the bulk topological order is $B=Z(\mathcal C)$, and a gapped boundary is modeled categorically by a condensable commutative, separable, connected algebra object $A\subset Z(\mathcal C)$ of maximal dimension, i.e. a Lagrangian algebra. The key identification is that gapped boundaries are in bijection with indecomposable module categories $\mathcal M$ over $\mathcal C$, while boundary excitations form the fusion category $\mathrm{Fun}_{\mathcal C}(\mathcal M,\mathcal M)$ and defects between two boundaries $\mathcal M_A,\mathcal M_B$ form the bimodule category $\mathrm{Fun}_{\mathcal C}(\mathcal M_A,\mathcal M_B)$ [1609.02037]. The Levin–Wen boundary Hamiltonian formalism gives the same structure in lattice terms. There, a gapped boundary condition is classified by a Frobenius algebra object $A$ in the input unitary fusion category $\mathcal C$; local boundary ground-state sectors are classified by right $A$-modules, elementary boundary quasiparticles by simple $A$–$A$ bimodules, and point defects between two different boundary types $A$ and $B$ by simple $(A,B)$-bimodules. The cylinder ground-state degeneracy with boundary types $(A,B)$ is the number of simple $(A,B)$-bimodules [1706.00650]. The categorical Landau paradigm recasts this as a general classification principle for symmetric gapped phases. In that framework, a symmetric gapped phase is a topological boundary of the one-higher-dimensional SymTFT, such a boundary is a condensable algebra in $Z(\mathcal C)$, and its infrared degrees of freedom form a $\mathcal C$-module category $\mathrm{Mod}_A(\mathcal C)$. Morita-equivalent algebra objects define the same physical boundary, so “gapped module” here is most naturally the module category itself rather than an individual module object [2310.03786]. ## 2. Hamiltonian realizations, defects, and protected operations The Hamiltonian realization of these structures is explicit in quantum double models. For a subgroup $K\subset G$, the boundary projectors are $$ A_v^K := \frac{1}{|K|}\sum_{k\in K}A_v(k),\qquad B_p^K := \sum_{k\in K}B_p(k),\qquad L_e^K := \frac{1}{|K|}\sum_{k\in K}L^k(e),\qquad T_e^K := \sum_{k\in K}T^k(e), $$ and the commuting-projector boundary Hamiltonian on a boundary region $\mathfrak h$ is $$ H_{(G,1)}^{(K,1)}= -\sum_{v\in V(\mathfrak h)}A_v^K -\sum_{p\in F(\mathfrak h)}B_p^K -\sum_{e\in E(\mathfrak h)}(L_e^K+T_e^K). $$ Defects between distinct boundaries $K_1$ and $K_2$ are realized by adding a line term with $K_1\cap K_2$, producing an exactly solvable commuting-projector defect Hamiltonian. The bulk-to-boundary condensation functor is the quotient followed by idempotent completion, $$ F: Z(\mathcal C)\to Q=(Z(\mathcal C)/A)\to \mathrm{Fun}_{\mathcal C}(\mathcal M,\mathcal M), $$ and simple boundary excitations for a $K$-boundary are labeled by pairs $(T,R)$ with $T\in K\backslash G/K$ and $R\in \mathrm{Irr}(K^{r_T})$ [1609.02037]. These categorical and Hamiltonian structures support protected operations. The same framework yields tunneling operators $W_a(\gamma)$, loop operators $W_a(\alpha_i)$, adiabatic braiding of holes, and topological charge projectors. In the abelian theory $\mathfrak D(\mathbb Z_3)$, charge and flux condensate boundaries support a logical qutrit encoding, and the operations $\{H_3,\mathrm{SUM}_3,Q_3\}$ together with a coherent projection $M$ give a universal qutrit gate set; notably, this uses gapped boundaries in an abelian Dijkgraaf–Witten theory rather than nonabelian anyons [1609.02037]. A complementary classification of gapped domain walls uses the tunneling matrix $\mathcal W$ with entries $$ \mathcal W_{ia}=\dim\bigl[\mathcal V(S^2,i,W,a^*)\bigr]\in\mathbb N. $$ Its defining constraints are nonnegative integrality, modular intertwining $$ S^{(B)}W=WS^{(A)},\qquad T^{(B)}W=WT^{(A)}, $$ fusion compatibility $$ W_{ia}W_{jb}\le \sum_{k,c}(N^{(B)})_{ij}^k\,W_{kc}\,(N^{(A)})_{ab}^c, $$ and equality of chiral central charges $c_-^{(A)}=c_-^{(B)}$. This provides a modular-data-level criterion for the existence of gapped domain walls and gapped boundaries, and it yields topological ground-state degeneracy formulas on manifolds with walls and boundaries [1408.6514]. The entanglement-bootstrap approach further refines wall-localized structure. It introduces parton sectors $n\in\mathcal C_N$ and $u\in\mathcal C_U$, wall point sectors $\alpha\in\mathcal C_O$, snake sectors $s\in\mathcal C_S$, and exact identities such as $$ d_n^2d_u^2=\sum_{s\in\mathcal C_S^{[n,u]}}d_s^2 =\frac{\sum_{\alpha\in\mathcal C_O^{[n,u]}}d_\alpha^2}{\sum_{\alpha\in\mathcal C_O^{[1,1]}}d_\alpha^2}. $$ In this formulation, O-type sectors behave as simple objects of a bimodule category, while the new parton sectors refine the usual wall superselection sectors [2008.11793]. ## 3. Right $Q$-modules and one-dimensional bulk–boundary correspondence For $(1+1)$-dimensional symmetric gapped phases with categorical symmetry, the module-theoretic classification becomes especially explicit. Given a unitary fusion category $\mathcal C$, an indecomposable semisimple right $\mathcal C$-module category $\mathcal M$, a Q-system $Q\in\mathcal C$ specifying the bulk, and a right $Q$-module $K\in\mathcal M_Q$, the half-infinite fusion spin chain admits a commuting-projector boundary Hamiltonian whose local terms are $$ \Phi_{K,Q}([0,1])=1-\mu^\dagger\mu,\qquad \Phi_{K,Q}([i,i+1])=1-m_{i,i+1}^\dagger m_{i,i+1}. $$ For simple $Q$ and simple $K$, the resulting Hamiltonian has a unique ground state [2606.19137]. In this setting, “gapped modules” means exactly right $Q$-modules in $\mathcal M$. The central classification theorem states that the realization functor $$ \mathcal M_Q^{\mathrm{op}}\to \mathrm{BCond} $$ is an equivalence; simple boundary conditions are classified by simple objects of $\mathcal M_Q$, and general boundary conditions by finite direct sums. The boundary DHR category is monoidally equivalent to $(\mathcal C_{\mathcal M^\vee})^{\mathrm{rev}}$, while the bulk DHR category is $Z_1(\mathcal C^{\mathrm{rev}})$. The action of the boundary DHR category on boundary conditions agrees with the categorical action of $(\mathcal C_{\mathcal M^\vee})^{\mathrm{rev}}$ on $\mathcal M_Q^{\mathrm{op}}$, and the bulk is identified as the enriched center of the enriched boundary category [2606.19137]. This gives a one-dimensional bulk–boundary correspondence in operator-algebraic form. The earlier two-dimensional use of module and bimodule categories for boundaries and defects persists, but here the classification is sharpened to simple right $Q$-modules and their direct sums. ## 4. Gap topology on Hilbert $C^*$-modules A distinct operator-theoretic use of the term concerns regular operators on Hilbert $C^*$-modules. If $E,F$ are Hilbert $A$-modules and $t\in R(E,F)$ is a regular operator, then its graph $G(t)\subset E\oplus F$ is closed and orthogonally complemented. The gap metric is defined by $$ d_g(t,s):=\|P_{G(t)}-P_{G(s)}\|, $$ where $P_{G(t)}$ is the projection onto the graph. With $Q_t=(1+t^*t)^{-1/2}$, $R_t=(1+t^*t)^{-1}$, and bounded transform $F_t=tQ_t$, one has $$ P_{G(t)}= \begin{pmatrix} R_t & Q_tF_t^*\\ F_tQ_t & 1-R_{t^*} \end{pmatrix}, $$ and an equivalent metric formula $$ d_g(t,s)=\sup\{\|R_t-R_s\|,\ \|R_{t^*}-R_{s^*}\|,\ \|tR_t-sR_s\|\}. $$ This topology measures closeness of operators by closeness of their graphs as submodules of $E\oplus F$ [0901.1891]. Sharifi proves that the space of bounded adjointable operators $B(E,F)$ is an open dense subset of $R(E,F)$ in the gap topology, and that on $B(E,F)$ the gap topology is equivalent to the operator norm topology. The bounded-transform or Riesz metric, $$ d_r(t,s):=\|F_t-F_s\|, $$ defines a strictly stronger topology than the gap topology. In the selfadjoint case, the gap metric is uniformly equivalent to a resolvent metric and to the Cayley-transform metric [0901.1891]. For Hilbert modules over the compact operators $A=K(H)$, the restriction map to a minimal projection fiber identifies the gap-topological theory with the Hilbert-space case. Path components of regular Fredholm operators are then classified by index, and the space of selfadjoint regular Fredholm operators is path-connected. The paper emphasizes that this path-connectedness can fail for more general coefficient algebras [0901.1891]. ## 5. Clifford modules and gapped free-fermion Hamiltonians In the classification of quadratic fermion systems, “gapped modules” are the multiplicity spaces arising from symmetry decomposition of the real Nambu space. A gapped BdG Hamiltonian satisfies $0\notin \mathrm{Spec}(iH_N)$ on the real Nambu space $W_R$. For the compact unitary symmetry subgroup $G_0$, one has the real isotypic decomposition $$ W_R=\bigoplus_{\lambda\in \widehat G_0^R} W_\lambda,\qquad W_\lambda\cong R_\lambda\otimes_{F_\lambda}E_\lambda, $$ where $F_\lambda=\mathrm{End}_{G_0}(R_\lambda)\in\{\mathbb R,\mathbb C,\mathbb H\}$ and $E_\lambda$ is the multiplicity space. The Hamiltonian acts blockwise as $$ iH_N=\bigoplus_{\lambda}(1\otimes h_\lambda), $$ with $h_\lambda$ commuting with $F_\lambda$ [1101.1054]. Antiunitary symmetries are represented projectively in Nambu space by unitary “chiral” operators. On a stabilized block, one has $$ s|_{W_\lambda}=\mathsf E_{s,\lambda}\otimes \phi_\lambda, $$ with $\phi_\lambda^2=\pm 1$ and $$ h_\lambda\phi_\lambda=-\phi_\lambda h_\lambda. $$ The intertwining algebra $F_\lambda$, the transferred antiunitary data $\phi_\lambda$, and the flattened Hamiltonian together furnish $E_\lambda$ with a module structure over a real or complex Clifford algebra. The paper proves a one-to-one correspondence between the ten Altland–Zirnbauer symmetry classes and the ten Morita equivalence classes of real and complex Clifford algebras [1101.1054]. This converts the classification of gapped symmetric Hamiltonians into a classification of Clifford modules. The resulting space of gapped symmetric Hamiltonians is homotopy equivalent to a product of classifying spaces indexed by $\widehat G_0^R$, with factors of type $R_q$ or $C_q$. Representative identifications include class D with $R_2$, class AII with $R_4$, and class AIII with $C_1$ [1101.1054]. ## 6. Gap phenomena in homological algebra, vertex algebras, and modular-form modules In homological algebra, the relevant notion is not a boundary gap but a gap in the values of a module invariant. For a finite-dimensional algebra $A$, Barrios, Mata, and Rama define a gap at $t$ to mean that no module $M$ satisfies $\phi(M)=t$, where $\phi$ is the Igusa–Todorov function. They prove that if $0<\phi\dim(A)=m<\infty$, then there always exist modules with $\phi=1$ and $\phi=m-1$, but intermediate values need not occur. If $A$ has a gap at $X$, then $$ \mathrm{findim}(A)