Twisted Diagonal Vertex

• Twisted Diagonal Vertex is defined via a twisted diagonal subgroup Δφ(D) for a bimodule, connecting block theory to endopermutation module properties.
• It plays a central role in establishing stable Morita-type equivalences, with Puig’s theorem providing criteria that equate twisted diagonals to endopermutation sources.
• The concept extends to quantum and twisted vertex algebras, where twisted diagonal coproducts enable new constructions in boson–fermion correspondences and module categories.

A twisted diagonal vertex is a technical concept arising in the modular representation theory of finite groups, particularly within the framework of stable equivalences of Morita type for block algebras, as well as in the algebraic structures of quantum and classical (super/twisted) vertex algebras. Its central role connects the modular invariants of block theory, sources of bimodules, endopermutation modules, and the categorical and algebraic structure of vertex (and quantum vertex) algebras.

1. Formal Definition and Foundational Setup

Fix a prime $p$, a complete discrete valuation ring $O$ with residue field $k$ of characteristic $p$, possibly $O=k$, and let $G$, $H$ be finite groups with blocks $b$ of $OG$ and $c$ of $OH$. Let $M$ be an indecomposable $(OGb, OHc)$-bimodule, finitely generated projective on both sides, inducing a stable equivalence of Morita type between $OGb$ and $OHc$. Such a bimodule $M$ can be equipped with an $O(G \times H)$-module structure via $(g,h): m \mapsto g m h^{-1}$.

By the Green correspondence, $M$ has a vertex $X \leq G \times H$ (a $p$-subgroup) and an $OX$-source $V$. A subgroup $X \leq G \times H$ is called a twisted diagonal subgroup if there exist subgroups $D \leq G$, $E \leq H$, and an isomorphism $\varphi: D \overset{\sim}{\longrightarrow} E$ such that

$$X = \Delta_\varphi(D) = \{ (\varphi(d), d) \mid d \in D \} \subset G \times H.$$

If $D = E$ and $\varphi = \mathrm{Id}_D$, $X$ is the diagonal subgroup $\Delta D$. $M$ is said to have a twisted diagonal vertex if for some (thus all) choices, its vertex $X$ is of the above form.

2. Puig’s Theorem: Endopermutation Sources and Twisted Diagonal Vertices

Puig's criterion (Corollary 7.4 of [Puig99]) as re-expressed and extended in Huang (Huang, 7 Dec 2025) establishes strong structural properties for bimodules with twisted diagonal vertices:

Let $X \leq G \times H$ be a vertex of $M$, $V$ an $OX$-source. If $k$ is algebraically closed, the following are equivalent:

• (i) $X$ is a twisted diagonal subgroup,
• (ii) $V$ is an endopermutation $OX$-module,
• (iii) $p$ does not divide $\operatorname{rank}_O(V)$.

This equivalence sharply characterizes the local structure: a stable equivalence of Morita type induced by a bimodule with a twisted diagonal vertex has an endopermutation module as source. Furthermore, under mild technical assumptions (no $Q_8$ or relevant cyclic quotients without corresponding roots of unity), these results extend to arbitrary $O=k$ fields.

3. Proof Outline and Reduction Strategies

The proof proceeds via several structural and categorical reductions (Huang, 7 Dec 2025):

• Step A: Reduces to showing (i) $\Rightarrow$ (ii) for $k$ algebraically closed; the other implications follow from general properties of endopermutation modules.
• Step B: Moves to source algebras using chosen source idempotents for projection onto defect groups, and constructs appropriate (interior) $P$-algebras.
• Step C: Applies Puig’s Theorem 7.2, showing that under a symmetric $P$-stable basis and nondegenerate symmetric form, the embedding properties of source algebras force the source $V$ to be endopermutation.
• Step D: Employs Galois descent, Feit–Kessar–Linckelmann descent, and Thévenaz’s classification to establish the result over non-algebraically closed fields, assuming the necessary technical exclusions.

4. Occurrence and Structural Significance in Block Theory

Twisted diagonal vertices arise naturally in several key constructions:

• For the restriction of the regular bimodule $OG$ to $P \times Q \leq G \times G$, Mackey’s theorem yields summands of the form $OP \otimes_{OR} {}_{\varphi}(OQ)$ for isomorphic $R \leq P$, $S \leq Q$ and an isomorphism $\varphi$, making the vertex a twisted diagonal when $Q \cong P$ and $R = P$.
• In the context of stable or Rickard equivalences for blocks with abelian defect groups, summands often possess twisted diagonal vertices.

In these contexts, the bimodule "sees" only one copy of the defect group within $G \times H$, encoded by the twisted diagonal $\Delta_\varphi(P)$. This restricts the possible sources to endopermutation modules, crucial for classifying stable equivalences and for the structure of source algebras.

5. Broader Context: Classification and Source-Algebra Theory

The presence of a twisted diagonal vertex is a decisive structural feature in the theory of stable Morita-type equivalences. It confines the possible sources to endopermutation modules, the building blocks of the Dade group which underpin Puig’s source-algebra approach to block equivalences. This constrains classification of such equivalences to circumstances controlled by the defect group, enabling finer structural results, including splendid and derived equivalences involving endopermutation sources (Huang, 7 Dec 2025). The role of the twisted diagonal vertex is thus central in tying the stable equivalence landscape to Dade’s combinatorics of endopermutation modules.

6. Twisted Diagonal in Quantum and Twisted Vertex Algebras

Beyond group theory, the notion of a twisted diagonal appears in the construction of twisted tensor products and diagonal coproducts for quantum affine vertex algebras. Specifically, given quantum vertex algebras $V^\ell$, $V^{\ell'}$ (over $\mathfrak{g}$ and deformation parameter $\hbar$), there is a homomorphism (the twisted diagonal coproduct)

$$\Delta: V^{\ell+\ell'} \longrightarrow V^\ell \widehat\otimes_{S^{\ell, \ell'}} V^{\ell'}$$

where $S^{\ell, \ell'}(z)$ is a twisting operator determined by the deformation data, and $\widehat\otimes_{S^{\ell, \ell'}}$ is the twisted tensor product (Kong, 2024). The compatibility and coassociativity of this diagonal is ensured by quantum Yang–Baxter and hexagon relations satisfied by the twisting operators.

The key formulas for the twisted diagonal $\Delta$ on generators, and compatibility equations, are explicitly given in [(Kong, 2024), Sec. 3–5], showing how "twisted diagonal" structure mediates both the algebraic and categorical composition of vertex algebra modules.

Moreover, in the context of twisted vertex algebras of order $N$, diagonal twists enter in the construction of new types of boson–fermion correspondences. Imposing a twist of order $N$ and constructing bicharacters $r$ enforcing locality at roots of unity (i.e., at $z = \epsilon^i w$ for $\epsilon = e^{2\pi i/N}$) yields diagonal-type twisted bosons, which generalize well-known fermion–boson correspondences and underpin the structure of twisted vertex algebras (Anguelova, 2012).

7. Impact and Connections to Representation Theory and Quantum Algebra

The concept of a twisted diagonal vertex unifies structural phenomena in block theory, module theory, vertex (and quantum vertex) algebras, and homological algebra. Its presence denotes highly structured, classifiable situations: for blocks, it ties stable Morita-type equivalences to endopermutation sources and consequently to the Dade group; for quantum and twisted vertex algebras, it prescribes the form of diagonal coproducts and the behavior of module categories under twisting.

Twisted diagonal vertices thus constitute a central organizing principle in the modular structure of finite group representations and in the categorical underpinnings of vertex-algebraic objects, with far-reaching implications for classification, equivalence, and categorical frameworks of modern representation theory (Huang, 7 Dec 2025, Kong, 2024, Anguelova, 2012).