Gapped Modules: Structures and Applications

• Gapped modules are module-theoretic structures defined by gap conditions that classify boundaries, defects, and spectral phenomena in topological order and operator settings.
• They underpin gapped boundaries in quantum models, serving as module categories and right modules that lead to explicit Hamiltonian realizations and robust quantum phase classifications.
• These modules also appear in operator theory and homological algebra, where gap topology and graded vanishing properties help resolve classification problems via invariants and Clifford actions.

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 (Ma et al., 17 Jun 2026)", "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 (Cong et al., 2016), right $Q$-modules classifying boundary conditions of $(1+1)$-dimensional symmetric gapped phases (Ma et al., 17 Jun 2026), multiplicity spaces carrying Clifford actions for gapped quadratic fermion Hamiltonians (Abramovici et al., 2011), restricted modules for the gap-$p$ Virasoro algebra (Guo et al., 2022), and module-valued or module-detected gap phenomena in homological algebra, vector-valued modular forms, and stable homotopy theory (Barrios et al., 2018, Liu et al., 24 Dec 2025, Carrick et al., 2024). In operator theory, the closely related language concerns the gap topology on regular operators over Hilbert $C^*$-modules (Sharifi, 2009).

Context	Meaning of “gapped modules”	Representative reference
Topological order	Module categories or right $Q$-modules encoding gapped boundaries	(Cong et al., 2016, Ma et al., 17 Jun 2026)
Hilbert $C^*$-modules	Regular operators organized by the gap topology via graph projections	(Sharifi, 2009)
Free-fermion phases	Multiplicity spaces as Clifford modules for gapped BdG Hamiltonians	(Abramovici et al., 2011)
Homological/representation settings	Modules exhibiting omitted values or congruence-class gaps	(Barrios et al., 2018, Guo et al., 2022, Liu et al., 24 Dec 2025)

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 $(1+1)$0, while boundary excitations form the fusion category $(1+1)$1 and defects between two boundaries $(1+1)$2 form the bimodule category $(1+1)$3 (Cong et al., 2016).

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 $(1+1)$4 in the input unitary fusion category $(1+1)$5; local boundary ground-state sectors are classified by right $(1+1)$6-modules, elementary boundary quasiparticles by simple $(1+1)$7–$(1+1)$8 bimodules, and point defects between two different boundary types $(1+1)$9 and $p$0 by simple $p$1-bimodules. The cylinder ground-state degeneracy with boundary types $p$2 is the number of simple $p$3-bimodules (Hu et al., 2017).

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 $p$4, and its infrared degrees of freedom form a $p$5-module category $p$6. 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 (Bhardwaj et al., 2023).

2. Hamiltonian realizations, defects, and protected operations

The Hamiltonian realization of these structures is explicit in quantum double models. For a subgroup $p$7, the boundary projectors are

$p$8

and the commuting-projector boundary Hamiltonian on a boundary region $p$9 is

$C^*$0

Defects between distinct boundaries $C^*$1 and $C^*$2 are realized by adding a line term with $C^*$3, producing an exactly solvable commuting-projector defect Hamiltonian. The bulk-to-boundary condensation functor is the quotient followed by idempotent completion,

$C^*$4

and simple boundary excitations for a $C^*$5-boundary are labeled by pairs $C^*$6 with $C^*$7 and $C^*$8 (Cong et al., 2016).

These categorical and Hamiltonian structures support protected operations. The same framework yields tunneling operators $C^*$9, loop operators $Q$0, adiabatic braiding of holes, and topological charge projectors. In the abelian theory $Q$1, charge and flux condensate boundaries support a logical qutrit encoding, and the operations $Q$2 together with a coherent projection $Q$3 give a universal qutrit gate set; notably, this uses gapped boundaries in an abelian Dijkgraaf–Witten theory rather than nonabelian anyons (Cong et al., 2016).

A complementary classification of gapped domain walls uses the tunneling matrix $Q$4 with entries

$Q$5

Its defining constraints are nonnegative integrality, modular intertwining

$Q$6

fusion compatibility

$Q$7

and equality of chiral central charges $Q$8. 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 (Lan et al., 2014).

The entanglement-bootstrap approach further refines wall-localized structure. It introduces parton sectors $Q$9 and $C^*$0, wall point sectors $C^*$1, snake sectors $C^*$2, and exact identities such as

$C^*$3

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 (Shi et al., 2020).

3. Right $C^*$4-modules and one-dimensional bulk–boundary correspondence

For $C^*$5-dimensional symmetric gapped phases with categorical symmetry, the module-theoretic classification becomes especially explicit. Given a unitary fusion category $C^*$6, an indecomposable semisimple right $C^*$7-module category $C^*$8, a Q-system $C^*$9 specifying the bulk, and a right $\mathcal C$0-module $\mathcal C$1, the half-infinite fusion spin chain admits a commuting-projector boundary Hamiltonian whose local terms are

$\mathcal C$2

For simple $\mathcal C$3 and simple $\mathcal C$4, the resulting Hamiltonian has a unique ground state (Ma et al., 17 Jun 2026).

In this setting, “gapped modules” means exactly right $\mathcal C$5-modules in $\mathcal C$6. The central classification theorem states that the realization functor

$\mathcal C$7

is an equivalence; simple boundary conditions are classified by simple objects of $\mathcal C$8, and general boundary conditions by finite direct sums. The boundary DHR category is monoidally equivalent to $\mathcal C$9, while the bulk DHR category is $B=Z(\mathcal C)$0. The action of the boundary DHR category on boundary conditions agrees with the categorical action of $B=Z(\mathcal C)$1 on $B=Z(\mathcal C)$2, and the bulk is identified as the enriched center of the enriched boundary category (Ma et al., 17 Jun 2026).

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 $B=Z(\mathcal C)$3-modules and their direct sums.

4. Gap topology on Hilbert $B=Z(\mathcal C)$4-modules

A distinct operator-theoretic use of the term concerns regular operators on Hilbert $B=Z(\mathcal C)$5-modules. If $B=Z(\mathcal C)$6 are Hilbert $B=Z(\mathcal C)$7-modules and $B=Z(\mathcal C)$8 is a regular operator, then its graph $B=Z(\mathcal C)$9 is closed and orthogonally complemented. The gap metric is defined by

$A\subset Z(\mathcal C)$0

where $A\subset Z(\mathcal C)$1 is the projection onto the graph. With $A\subset Z(\mathcal C)$2, $A\subset Z(\mathcal C)$3, and bounded transform $A\subset Z(\mathcal C)$4, one has

$A\subset Z(\mathcal C)$5

and an equivalent metric formula

$A\subset Z(\mathcal C)$6

This topology measures closeness of operators by closeness of their graphs as submodules of $A\subset Z(\mathcal C)$7 (Sharifi, 2009).

Sharifi proves that the space of bounded adjointable operators $A\subset Z(\mathcal C)$8 is an open dense subset of $A\subset Z(\mathcal C)$9 in the gap topology, and that on $\mathcal M$0 the gap topology is equivalent to the operator norm topology. The bounded-transform or Riesz metric,

$\mathcal M$1

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 (Sharifi, 2009).

For Hilbert modules over the compact operators $\mathcal M$2, 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 (Sharifi, 2009).

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 $\mathcal M$3 on the real Nambu space $\mathcal M$4. For the compact unitary symmetry subgroup $\mathcal M$5, one has the real isotypic decomposition

$\mathcal M$6

where $\mathcal M$7 and $\mathcal M$8 is the multiplicity space. The Hamiltonian acts blockwise as

$\mathcal M$9

with $(1+1)$00 commuting with $(1+1)$01 (Abramovici et al., 2011).

Antiunitary symmetries are represented projectively in Nambu space by unitary “chiral” operators. On a stabilized block, one has

$(1+1)$02

with $(1+1)$03 and

$(1+1)$04

The intertwining algebra $(1+1)$05, the transferred antiunitary data $(1+1)$06, and the flattened Hamiltonian together furnish $(1+1)$07 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 (Abramovici et al., 2011).

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 $(1+1)$08, with factors of type $(1+1)$09 or $(1+1)$10. Representative identifications include class D with $(1+1)$11, class AII with $(1+1)$12, and class AIII with $(1+1)$13 (Abramovici et al., 2011).

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 $(1+1)$14, Barrios, Mata, and Rama define a gap at $(1+1)$15 to mean that no module $(1+1)$16 satisfies $(1+1)$17, where $(1+1)$18 is the Igusa–Todorov function. They prove that if $(1+1)$19, then there always exist modules with $(1+1)$20 and $(1+1)$21, but intermediate values need not occur. If $(1+1)$22 has a gap at $(1+1)$23, then

$(1+1)$24

so the existence of any gap implies the finitistic dimension conjecture for $(1+1)$25 (Barrios et al., 2018).

In representation theory of infinite-dimensional Lie algebras, the relevant objects are restricted modules for the gap-$(1+1)$26 Virasoro algebra $(1+1)$27. For $(1+1)$28 and level $(1+1)$29, the category of restricted $(1+1)$30-modules is equivalent to the category of $(1+1)$31-twisted modules of the vertex algebra $(1+1)$32. The simple restricted modules are completely classified: each is either a highest weight module or a simple induced module $(1+1)$33 built from an explicit positive-part module, and the construction includes Whittaker modules (Guo et al., 2022).

A different graded-module gap appears in the theory of vector-valued modular forms. For a representation $(1+1)$34 of $(1+1)$35, the graded module

$(1+1)$36

is free over the scalar modular-form ring, but its graded pieces can vanish in entire arithmetic progressions. The modular-spin constraint

$(1+1)$37

forces a parity restriction on allowed weights, and for finite-image $(1+1)$38 the nonzero graded pieces occur only at weights $(1+1)$39. If a coupling in a modular-invariant effective theory would require a form in an empty graded piece $(1+1)$40, the coupling vanishes; this enforced vanishing is called a modular zero. In the $(1+1)$41 example, $(1+1)$42, and that gap yields a weight-$(1+1)$43 texture zero used to realize the Weinberg texture and the relation $(1+1)$44 (Liu et al., 24 Dec 2025).

An adjacent use of gap language occurs in stable homotopy theory. The Gap Theorem for $(1+1)$45 establishes

$(1+1)$46

and the same paper notes that connective $(1+1)$47- and $(1+1)$48-modules inherit parallel vanishing constraints in Adams-type spectral sequences when built by connective constructions (Carrick et al., 2024).

Across these settings, the common feature is structural rather than terminological uniformity. A “gapped module” may encode a gapped boundary, a module category of condensed excitations, a multiplicity space constrained by a spectral gap, a regular operator viewed through the gap topology, or a module whose admissible degrees or invariant values omit whole regions. What persists is the role of the gap as an organizing principle: it constrains allowed morphisms, excitations, spectral data, or graded pieces, and it often turns classification problems into module-theoretic ones.