Commutator Defects: Theory and Applications

• Commutator defects are instances where expected commutator operations fail to close, arising in contexts from group theory to fluid mechanics.
• They expose obstructions in realizing algebraic and physical models, such as codimension-2 duality defects and forbidden weighted-graph configurations.
• Analytical frameworks, including deformation theory and quantitative measures, provide actionable insights into energy balances, group structures, and topological classifications.

Commutator defects are constructions that appear in several technically distinct settings where a commutator, a commutator-generated object, or a commutator-like operation fails to close exactly. In recent literature this terminology includes the differentiated subgrid stress created by spatial filtering in the three-dimensional Navier–Stokes equations, codimension-2 duality defects associated with elements of the commutator subgroup of a duality group, forbidden weighted-graph configurations obstructing realization of derived elements as single brackets, and numerical defect measures that count or bound failures of commutator representability in groups and mapping class groups (Yu, 25 Jun 2026, Heras et al., 14 May 2026, Kishnani et al., 12 May 2025, Hatem et al., 1 Nov 2025, Calegari et al., 2012). The phrase also appears adjacent to defect-line constructions and deformation theory in conformal and Floquet systems, where exact commutation relations and their residual obstructions are the central objects of study (Konechny et al., 7 May 2025, Hegde et al., 2021, Tan et al., 2022, Kukhtina et al., 2011).

1. Terminological scope and basic definitions

In group-theoretic usage, the commutator of two elements $g,h\in G$ is

$[g,h]=g\,h\,g^{-1}\,h^{-1},$

the commutator subgroup is

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$

the commutator length $\mathrm{cl}_G(\gamma)$ of $\gamma\in [G,G]$ is the minimal $k$ such that $\gamma=[g_1,h_1]\cdots[g_k,h_k]$, and the commutator width is

$w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$

A separate numerical notion is the commutator defect

$\delta(G)=|G\setminus C|,$

where $C=\{[x,y]\mid x,y\in G\}$ is the set of all commutators (Heras et al., 14 May 2026, Hatem et al., 1 Nov 2025).

In filtered fluid mechanics, if $[g,h]=g\,h\,g^{-1}\,h^{-1},$0 is a smooth mollifier of unit mass, the filtered velocity and subgrid stress are

$[g,h]=g\,h\,g^{-1}\,h^{-1},$1

and the commutator operator measuring the failure of filtering to commute with advection is

$[g,h]=g\,h\,g^{-1}\,h^{-1},$2

In the filtered momentum and vorticity equations the corresponding forcing is

$[g,h]=g\,h\,g^{-1}\,h^{-1},$3

(Yu, 25 Jun 2026).

In weighted-graph methods for bilinear maps, an $[g,h]=g\,h\,g^{-1}\,h^{-1},$4-weighted graph $[g,h]=g\,h\,g^{-1}\,h^{-1},$5 encodes the balance equations

$[g,h]=g\,h\,g^{-1}\,h^{-1},$6

and a defect is a forbidden 4-vertex subgraph of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$7, $[g,h]=g\,h\,g^{-1}\,h^{-1},$8, or $[g,h]=g\,h\,g^{-1}\,h^{-1},$9. These defects obstruct the existence of a consistent labeling and thereby obstruct realization of certain elements in a derived Lie subalgebra or a class-2 commutator subgroup as a single bracket or commutator (Kishnani et al., 12 May 2025).

The phrase “commutator defects” is therefore not attached to one invariant alone. It names, depending on context, a stress term, a codimension-2 defect spectrum, a forbidden graph pattern, or a counting or bounded-cohomological quantity.

2. Filtered Navier–Stokes commutator stress and scale-invariant defect

For spatially filtered three-dimensional Navier–Stokes flow, the filtered vorticity $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$0 satisfies

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$1

Testing this equation against $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$2, with $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$3 smooth and compactly supported in space, yields the localized filtered enstrophy balance

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$4

where $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$5 is the commutator forcing and $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$6 is the localization residual. The filtered strain $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$7 is decomposed into a singular near-field kernel $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$8 and a smoother remainder $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$9 (Yu, 25 Jun 2026).

The commutator term is estimated through increment measures adapted both to the filter and to its derivative: $\mathrm{cl}_G(\gamma)$0 For $\mathrm{cl}_G(\gamma)$1, the local increment norms are

$\mathrm{cl}_G(\gamma)$2

and the derivative-compatible envelope is

$\mathrm{cl}_G(\gamma)$3

The scale-invariant commutator defect is then

$\mathrm{cl}_G(\gamma)$4

Lemma 7.1 gives an exact identity for $\mathrm{cl}_G(\gamma)$5, from which one deduces the pointwise bound

$\mathrm{cl}_G(\gamma)$6

hence

$\mathrm{cl}_G(\gamma)$7

(Yu, 25 Jun 2026).

At dyadic scale $\mathrm{cl}_G(\gamma)$8, the differentiated commutator stress enters through

$\mathrm{cl}_G(\gamma)$9

Theorem 7.2, “Derivative-compatible commutator insertion,” states that for any $\gamma\in [G,G]$0 and $\gamma\in [G,G]$1,

$\gamma\in [G,G]$2

This replaces the classical $\gamma\in [G,G]$3 energy-loss for the commutator by the exact scale-invariant quantity $\gamma\in [G,G]$4. In the weighted surplus inequality, after the singular near-field stretching term is absorbed by diffusion, the surviving positive surpluses are the far-field work $\gamma\in [G,G]$5, the commutator forcing $\gamma\in [G,G]$6, and local-cutoff shells $\gamma\in [G,G]$7 (Yu, 25 Jun 2026).

At the critical exponent $\gamma\in [G,G]$8, boundedness of $\gamma\in [G,G]$9 yields a cylindrical generalized Young-measure profile in the Banach space

$k$0

with barycenter equal to the resolved increment of the weak limit $k$1. Under an additional full-representation hypothesis, strict excess in the defect decomposes into oscillation and concentration measures and identifies a genuine commutator-stress defect in the weak limit of $k$2 (Yu, 25 Jun 2026).

3. Commutator width, duality groups, and codimension-2 commutator defects

In the quantum-gravity setting of 9d type IIB supergravities, codimension-2 “commutator defects” arise from the need to realize monodromies in a duality group $k$3 by physical defects rather than solely by large gravitational solitons. The relevant bordism group is

$k$4

where $k$5. The $k$6 factor is the periodic Spin structure on $k$7, and the $k$8 factor is generated by $k$9 carrying a non-trivial $\gamma=[g_1,h_1]\cdots[g_k,h_k]$0-monodromy lying outside $\gamma=[g_1,h_1]\cdots[g_k,h_k]$1 (Heras et al., 14 May 2026).

Every nontrivial element of $\gamma=[g_1,h_1]\cdots[g_k,h_k]$2 must therefore be realized by a codimension-2 defect whose core $\gamma=[g_1,h_1]\cdots[g_k,h_k]$3 carries that $\gamma=[g_1,h_1]\cdots[g_k,h_k]$4-monodromy. In 9d IIB these are the usual $\gamma=[g_1,h_1]\cdots[g_k,h_k]$5 7-branes, or their lifts or refinements when including fermions. Elements of $\gamma=[g_1,h_1]\cdots[g_k,h_k]$6 can in principle be realized by gravitational solitons of genus $\gamma=[g_1,h_1]\cdots[g_k,h_k]$7, since winding around each handle implements one commutator $\gamma=[g_1,h_1]\cdots[g_k,h_k]$8, and a genus-$\gamma=[g_1,h_1]\cdots[g_k,h_k]$9 soliton can realize any product of $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$0 commutators (Heras et al., 14 May 2026).

The commutator width becomes decisive when $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$1. In that case there are elements of $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$2 requiring arbitrarily many commutators to express, so a purely gravitational realization would require arbitrarily large genus. The paper states that such large-genus bordisms are highly suppressed, with Euclidean action $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$3 and decay rates $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$4, and formulates a refinement of the Swampland Cobordism Conjecture: if $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$5 has infinite commutator width, then consistency demands an infinite spectrum of commutator defects realizing all elements of $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$6, not just a finite generating set of $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$7. Theorem A.17 shows that if $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$8 has infinite commutator width, then any attempt to bound the number of commutators forces infinitely many distinct abelianization representatives, hence infinitely many defect types (Heras et al., 14 May 2026).

The model example is $w(G)=\sup_{\gamma\in [G,G]}\mathrm{cl}_G(\gamma).$9, for which $\delta(G)=|G\setminus C|,$0 is a free group $\delta(G)=|G\setminus C|,$1 of infinite rank, $\delta(G)=|G\setminus C|,$2 generated by $\delta(G)=|G\setminus C|,$3, and $\delta(G)=|G\setminus C|,$4. Any element of $\delta(G)=|G\setminus C|,$5 can be realized by a stack of $\delta(G)=|G\setminus C|,$6 7-branes, while the commutator length of $\delta(G)=|G\setminus C|,$7 grows $\delta(G)=|G\setminus C|,$8; the paper notes in particular that $\delta(G)=|G\setminus C|,$9, so $C=\{[x,y]\mid x,y\in G\}$0 requires $C=\{[x,y]\mid x,y\in G\}$1 commutators. By contrast, $C=\{[x,y]\mid x,y\in G\}$2 for $C=\{[x,y]\mid x,y\in G\}$3 is perfect and has finite commutator width bounded by $C=\{[x,y]\mid x,y\in G\}$4, so no commutator defects are needed beyond those that kill abelianization, which is trivial. Likewise, U-duality groups $C=\{[x,y]\mid x,y\in G\}$5 for $C=\{[x,y]\mid x,y\in G\}$6 are perfect with finite width, whereas in $C=\{[x,y]\mid x,y\in G\}$7 the $C=\{[x,y]\mid x,y\in G\}$8 factor forces an infinite 7-brane spectrum (Heras et al., 14 May 2026).

4. Weighted-graph defects and obstruction to single brackets

For a field $C=\{[x,y]\mid x,y\in G\}$9, an $[g,h]=g\,h\,g^{-1}\,h^{-1},$00-weighted graph $[g,h]=g\,h\,g^{-1}\,h^{-1},$01 consists of a finite totally ordered vertex set $[g,h]=g\,h\,g^{-1}\,h^{-1},$02, an edge set $[g,h]=g\,h\,g^{-1}\,h^{-1},$03, and weights $[g,h]=g\,h\,g^{-1}\,h^{-1},$04 attached to the edges. Its balance equations are

$[g,h]=g\,h\,g^{-1}\,h^{-1},$05

for each edge $[g,h]=g\,h\,g^{-1}\,h^{-1},$06, and a consistent labeling is a solution $[g,h]=g\,h\,g^{-1}\,h^{-1},$07 satisfying

$[g,h]=g\,h\,g^{-1}\,h^{-1},$08

for every edge (Kishnani et al., 12 May 2025).

The paper introduces three defect types on four vertices. A defect of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$09 is a four-cycle $[g,h]=g\,h\,g^{-1}\,h^{-1},$10 with

$[g,h]=g\,h\,g^{-1}\,h^{-1},$11

A defect of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$12 is a complete graph on $[g,h]=g\,h\,g^{-1}\,h^{-1},$13 with

$[g,h]=g\,h\,g^{-1}\,h^{-1},$14

and

$[g,h]=g\,h\,g^{-1}\,h^{-1},$15

A defect of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$16 is a complete graph on $[g,h]=g\,h\,g^{-1}\,h^{-1},$17 with all six weights nonzero and

$[g,h]=g\,h\,g^{-1}\,h^{-1},$18

Lemmas 2.4–2.6 show that no such subgraph can admit a consistent labeling (Kishnani et al., 12 May 2025).

The central four-vertex classification states: if $[g,h]=g\,h\,g^{-1}\,h^{-1},$19 is a connected $[g,h]=g\,h\,g^{-1}\,h^{-1},$20-weighted graph on exactly four vertices with no null vertex, then $[g,h]=g\,h\,g^{-1}\,h^{-1},$21 admits a consistent labeling if and only if $[g,h]=g\,h\,g^{-1}\,h^{-1},$22 contains none of the defects of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$23, $[g,h]=g\,h\,g^{-1}\,h^{-1},$24, or $[g,h]=g\,h\,g^{-1}\,h^{-1},$25. Trees and 4-cycles always admit solutions, regardless of weights, and the three defect patterns exhaust the obstructions in the connected four-vertex case (Kishnani et al., 12 May 2025).

This classification is applied to alternating bilinear maps $[g,h]=g\,h\,g^{-1}\,h^{-1},$26, where $[g,h]=g\,h\,g^{-1}\,h^{-1},$27 are $[g,h]=g\,h\,g^{-1}\,h^{-1},$28-vector spaces of at most countable dimension and the image of $[g,h]=g\,h\,g^{-1}\,h^{-1},$29 spans $[g,h]=g\,h\,g^{-1}\,h^{-1},$30. Writing

$[g,h]=g\,h\,g^{-1}\,h^{-1},$31

one obtains a weighted graph presentation of $[g,h]=g\,h\,g^{-1}\,h^{-1},$32. Then $[g,h]=g\,h\,g^{-1}\,h^{-1},$33 if and only if the associated graph admits a consistent labeling. Accordingly, if some presentation of $[g,h]=g\,h\,g^{-1}\,h^{-1},$34 has four vertices and is defectless, then $[g,h]=g\,h\,g^{-1}\,h^{-1},$35; if all presentations contain a defect of type $[g,h]=g\,h\,g^{-1}\,h^{-1},$36, $[g,h]=g\,h\,g^{-1}\,h^{-1},$37, or $[g,h]=g\,h\,g^{-1}\,h^{-1},$38, then $[g,h]=g\,h\,g^{-1}\,h^{-1},$39 (Kishnani et al., 12 May 2025).

For Lie algebras, this yields a surjectivity theorem: if $[g,h]=g\,h\,g^{-1}\,h^{-1},$40 has countable dimension and $[g,h]=g\,h\,g^{-1}\,h^{-1},$41, then for every $[g,h]=g\,h\,g^{-1}\,h^{-1},$42 there exist $[g,h]=g\,h\,g^{-1}\,h^{-1},$43 with $[g,h]=g\,h\,g^{-1}\,h^{-1},$44, equivalently $[g,h]=g\,h\,g^{-1}\,h^{-1},$45. The paper then gives an 8-dimensional class-2 nilpotent counterexample when $[g,h]=g\,h\,g^{-1}\,h^{-1},$46: with generators $[g,h]=g\,h\,g^{-1}\,h^{-1},$47, central generators $[g,h]=g\,h\,g^{-1}\,h^{-1},$48, and only

$[g,h]=g\,h\,g^{-1}\,h^{-1},$49

the element $[g,h]=g\,h\,g^{-1}\,h^{-1},$50 corresponds to the $[g,h]=g\,h\,g^{-1}\,h^{-1},$51 defect and is not a single bracket. The same weighted-graph formalism applies verbatim to class-2, exponent-$[g,h]=g\,h\,g^{-1}\,h^{-1},$52 groups, where the same three defect patterns obstruct commutator equations over $[g,h]=g\,h\,g^{-1}\,h^{-1},$53 (Kishnani et al., 12 May 2025).

5. Quantitative defect measures in groups and commutator geometry

For finite groups, the commutator defect $[g,h]=g\,h\,g^{-1}\,h^{-1},$54 measures the number of noncommutators. The paper “A Group with Exactly One Noncommutator” proves that there exists a finite group $[g,h]=g\,h\,g^{-1}\,h^{-1},$55 of order

$[g,h]=g\,h\,g^{-1}\,h^{-1},$56

such that $[g,h]=g\,h\,g^{-1}\,h^{-1},$57, and that, up to isomorphism, there are exactly two groups of that order and property. It also proves that no group of order strictly less than $[g,h]=g\,h\,g^{-1}\,h^{-1},$58, apart from the trivial cyclic group of order $[g,h]=g\,h\,g^{-1}\,h^{-1},$59, has $[g,h]=g\,h\,g^{-1}\,h^{-1},$60 (Hatem et al., 1 Nov 2025).

Any finite group with $[g,h]=g\,h\,g^{-1}\,h^{-1},$61 must satisfy three structural conditions: $[g,h]=g\,h\,g^{-1}\,h^{-1},$62 is perfect, the unique noncommutator $[g,h]=g\,h\,g^{-1}\,h^{-1},$63 has order $[g,h]=g\,h\,g^{-1}\,h^{-1},$64 and lies in the center $[g,h]=g\,h\,g^{-1}\,h^{-1},$65, and every element of $[g,h]=g\,h\,g^{-1}\,h^{-1},$66 can be written as a product of at most two commutators. Membership in the commutator set is tested by Frobenius’ criterion: $[g,h]=g\,h\,g^{-1}\,h^{-1},$67 Using this criterion together with Plesken–Holt’s enumeration of finite perfect groups, the paper implements a GAP search and isolates two nonisomorphic examples (Hatem et al., 1 Nov 2025).

Both examples are isomorphic to

$[g,h]=g\,h\,g^{-1}\,h^{-1},$68

where $[g,h]=g\,h\,g^{-1}\,h^{-1},$69 acts faithfully on the $[g,h]=g\,h\,g^{-1}\,h^{-1},$70-dimensional $[g,h]=g\,h\,g^{-1}\,h^{-1},$71-vector space $[g,h]=g\,h\,g^{-1}\,h^{-1},$72. The semidirect product law is

$[g,h]=g\,h\,g^{-1}\,h^{-1},$73

The center $[g,h]=g\,h\,g^{-1}\,h^{-1},$74 is isomorphic to $[g,h]=g\,h\,g^{-1}\,h^{-1},$75, and exactly one nontrivial central involution

$[g,h]=g\,h\,g^{-1}\,h^{-1},$76

fails Frobenius’ criterion and lies outside $[g,h]=g\,h\,g^{-1}\,h^{-1},$77 (Hatem et al., 1 Nov 2025).

A different quantitative defect notion appears in stable commutator length. For a group $[g,h]=g\,h\,g^{-1}\,h^{-1},$78 and $[g,h]=g\,h\,g^{-1}\,h^{-1},$79,

$[g,h]=g\,h\,g^{-1}\,h^{-1},$80

while a quasimorphism $[g,h]=g\,h\,g^{-1}\,h^{-1},$81 has defect

$[g,h]=g\,h\,g^{-1}\,h^{-1},$82

Its homogenization $[g,h]=g\,h\,g^{-1}\,h^{-1},$83 satisfies $[g,h]=g\,h\,g^{-1}\,h^{-1},$84 in general, and for class-functions that are antisymmetric one has $[g,h]=g\,h\,g^{-1}\,h^{-1},$85. Bavard duality gives

$[g,h]=g\,h\,g^{-1}\,h^{-1},$86

where the supremum runs over all nonzero homogeneous quasimorphisms $[g,h]=g\,h\,g^{-1}\,h^{-1},$87 (Calegari et al., 2012).

In the hyperelliptic mapping class setting, the $[g,h]=g\,h\,g^{-1}\,h^{-1},$88-signature quasimorphisms $[g,h]=g\,h\,g^{-1}\,h^{-1},$89 have bounded defect with

$[g,h]=g\,h\,g^{-1}\,h^{-1},$90

and in the hyperelliptic case $[g,h]=g\,h\,g^{-1}\,h^{-1},$91, $[g,h]=g\,h\,g^{-1}\,h^{-1},$92, one has the exact value

$[g,h]=g\,h\,g^{-1}\,h^{-1},$93

These defects yield lower bounds on $[g,h]=g\,h\,g^{-1}\,h^{-1},$94 of Dehn twists via Bavard duality, and the paper also gives new upper bounds and exact values for selected elements (Calegari et al., 2012).

6. Defect operators, exact commutation, and fusion in RCFT and Floquet systems

In rational conformal field theory with charge-conjugation modular invariant, topological defects and local operators can satisfy exact commutation or anticommutation conditions. For a bulk primary field $[g,h]=g\,h\,g^{-1}\,h^{-1},$95 and a topological defect line $[g,h]=g\,h\,g^{-1}\,h^{-1},$96, sweeping $[g,h]=g\,h\,g^{-1}\,h^{-1},$97 past $[g,h]=g\,h\,g^{-1}\,h^{-1},$98 yields

$[g,h]=g\,h\,g^{-1}\,h^{-1},$99

with

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$00

In the TFT construction,

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$01

In the boundary setting, for boundary condition $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$02, boundary field $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$03, and open defect $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$04 ending on $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$05, invariance requires that all nontrivial $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$06 terms vanish and that

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$07

Equivalently, the only common fusion channel of $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$08 and $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$09 must be $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$10 itself. For $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$11, the full solution shows that the only boundary special triples occur when one of the labels is a simple current leaving $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$12 invariant (Konechny et al., 7 May 2025).

In the commutant-pair construction inside $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$13, one starts from

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$14

with a branching

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$15

Insertion of a Verlinde line produces a defect partition function of the form

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$16

equivalently

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$17

When $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$18, the non-trivial primary contributes to level-1 states in $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$19, and the defect removes part of the level-1 current algebra; when $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$20 in the $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$21 meromorphic case, the full level-1 current algebra survives (Hegde et al., 2021).

In the Floquet Ising circuit, two topological defects are introduced: the spin-flip defect $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$22 and the duality defect $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$23. The Floquet evolution operator commutes with both: $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$24 The duality defect is not unitary; rather,

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$25

so $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$26 projects out half the Hilbert space. The defects satisfy the Ising-category fusion rules

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$27

For time-like duality twists, the circuit supports a single unpaired localized Majorana zero mode $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$28 obeying

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$29

with exponential localization away from a domain wall and delocalization at the drive-critical point $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$30 (Tan et al., 2022).

7. Deformation theory of local commutators and topological commutator maps

In conformal chiral quantum field theory, Möbius covariance, locality, and positivity constrain local commutation relations to the form

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$31

where the bilinear differential operators $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$32 are fixed by covariance and the remaining freedom lies in the structure constants $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$33. Graded symmetry gives

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$34

while the Jacobi identity produces an infinite family of homogeneous quadratic equations in the $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$35’s. Consistency with 2- and 3-point functions yields an additional invariance constraint (Kukhtina et al., 2011).

The associated deformation theory is governed by the reduced-Lie-algebra cohomology $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$36. Cochains are multilinear maps on the reduced space $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$37 subject to $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$38-symmetry, the differential $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$39 satisfies $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$40, and

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$41

For a formal deformation

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$42

first-order deformations satisfy

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$43

and trivial first-order deformations are of the form $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$44. Thus nontrivial first-order deformations are classes in $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$45, while higher-order integrability is obstructed by classes in $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$46. The Virasoro central-charge deformation is the basic example: $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$47 defines a nontrivial class in $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$48, and $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$49 in the one-generator case, so the deformation integrates to finite $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$50 (Kukhtina et al., 2011).

A topological counterpart appears in the commutator map of unit quaternions,

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$51

Its homotopy class lies in

$[G,G]=\langle [g,h]\mid g,h\in G\rangle,$52

so its $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$53-th power is null-homotopic if and only if $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$54. The paper constructs an explicit null-homotopy of $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$55 and relates the numbers $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$56 and $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$57 to the characteristic maps of $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$58 and $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$59, to Duran’s boundary map, and to the stable groups $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$60 for $[G,G]=\langle [g,h]\mid g,h\in G\rangle,$61 (Puettmann, 2011).

Taken together, these results show that “commutator defect” is not a single invariant but a recurring research pattern: an exact commutator law is replaced by a residual term, a forbidden configuration, a bounded-cohomological defect, or a defect operator whose persistence records unresolved microstructure, unresolved topology, or unresolved noncommutativity.