Extended Brauer-type Algebra

• Extended Brauer-type algebra is a generalization of the classical Brauer algebra that incorporates reflection groups, diagrammatics, and various deformation methods.
• It unifies group or Hecke generators with contraction or idempotent operators, yielding rich structures such as cellular and semisimple representation theories.
• Key constructions include adaptations via Coxeter folding, quantum deformations, super and categorical variants, and configuration-theoretic extensions.

An extended Brauer-type algebra is a Brauer-theoretic construction that retains the characteristic Brauer pattern—group or Hecke generators together with contraction or idempotent operators, composition laws controlled by diagrams or incidence geometry, and centralizer, monodromy, or tensor-categorical interpretations—while enlarging the classical setting of Brauer’s centralizer algebra. In the current literature, this extension occurs along several axes: arbitrary complex or pseudo reflection groups, non-simply-laced Coxeter types, $q$- and BMW/VW-type deformations, super and categorical variants, affine type $B/C$ constructions, and configuration-theoretic or cohomological analogues (Chen, 2010, Andreou, 2024, Wenzl, 2011, Kujawa et al., 2014, Calvert, 2019, Liu et al., 2024).

1. Classical paradigm and common extension mechanisms

The classical Brauer algebra is the starting point for all of these developments. It is defined by pairing diagrams on $2n$ vertices, with multiplication by concatenation and a loop parameter, and it contains the symmetric-group algebra as the subalgebra spanned by diagrams with only vertical edges. In Wenzl’s formulation, this algebra admits a bimodule decomposition

$$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$

which already exhibits the two recurrent ingredients of later extensions: a group-algebra layer and a hierarchy of contraction-like idempotents (Wenzl, 2011).

Representative extensions preserve this architecture while changing the ambient combinatorics.

Family	Extension mechanism	Representative property
$B_G(\Upsilon)$	Pseudo reflection groups and hyperplane-indexed $e_i$	Flat Cherednik-type connection
$\Br(W)$	Complex reflection groups and transversality	Generic split semisimplicity and basis $\{we_B\}$
$\Br(C_n)$, $\Br(B_n)$	Dynkin folding and symmetric diagrams	Freeness, rank formulas, cellularity
$B/C$0, $B/C$1	$B/C$2-deformation or affine type $B/C$3 enlargement	Hecke/hyperoctahedral subalgebras
Marked and categorical Brauer variants	Super and tensor-categorical extension	Schur–Weyl duality, quasi-idempotent kernel generators
Fractional/configuration and local/cohomological variants	Trivial extensions, local quotients, cohomology	Symmetric type $B/C$4, Brauer-group interpretation

A plausible summary is that “extended Brauer-type algebra” functions less as a single definition than as a family resemblance: the relevant objects enlarge Brauer theory while preserving one or more of its structural hallmarks—diagrammatics, centralizer roles, group-algebra inclusions, idempotent layers, or deformation theory.

2. Reflection-group and arrangement generalizations

Chen’s algebra $B/C$5 is a foundational extension from the symmetric and simply-laced Coxeter settings to arbitrary pseudo reflection groups. For a pseudo reflection group $B/C$6 with reflecting hyperplanes $B/C$7, the algebra is generated by

$B/C$8

with parameters $B/C$9 subject to conjugacy and orbit conditions. Its defining relations combine the group law, local Brauer-type relations $2n$0, $2n$1-equivariance, and codimension-two arrangement geometry through the sets

$2n$2

The algebra is built so that the logarithmic connection

$2n$3

is flat and $2n$4-equivariant, and every representation of $2n$5 yields braid-group monodromy. When $2n$6 is simply laced Coxeter, $2n$7 is isomorphic to the generalized Brauer algebra of Cohen–Gijsbers–Wales; when $2n$8 is finite, $2n$9 is finite-dimensional; and in rank two the paper proves generic semisimplicity and cellularity (Chen, 2010).

The 2024 treatment of the Brauer–Chen algebra $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$0 turns this reflection-group generalization into a full representation-theoretic theory for finite complex reflection groups $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$1. Here the generators are the elements of $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$2 together with $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$3 indexed by reflecting hyperplanes $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$4, and the key geometric relation is controlled by transversality $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$5. The algebra is defined over

$$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$6

and the main structural theorem classifies simple modules by admissible pairs $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$7, where $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$8 is a transverse collection and $$D_n(x)=\bigoplus_{k=0}^{\lfloor n/2\rfloor}\mathbb Z[x]\,S_n e_{(k)} S_n,$$9 is a simple module for a stabilizer quotient. Over proper fields, $B_G(\Upsilon)$0 is split-semisimple, and for irreducible $B_G(\Upsilon)$1 it has a uniform basis

$B_G(\Upsilon)$2

The paper also gives dimension formulas for $B_G(\Upsilon)$3, explicit dimensions for all exceptional complex reflection groups, and proves freeness over the ring of definition in every irreducible case except $B_G(\Upsilon)$4 and $B_G(\Upsilon)$5 (Andreou, 2024).

This line of work also contains an internal critique of overly large extensions. Chen’s variant $B_G(\Upsilon)$6, obtained by weakening the zero relation $B_G(\Upsilon)$7 to commutativity in one case, still has flat connections and generalized Lawrence–Krammer representations, but generically loses semisimplicity and parameter-independent dimension; this is presented as evidence that the sharper relation is the appropriate Brauer-type choice (Chen, 2010). Marin later studied the first non-trivial quotient $B_G(\Upsilon)$8 of the Brauer–Chen algebra, determined its generic representation theory, and defined natural lattice extensions that likewise admit natural monodromic deformations (Marin, 2019).

3. Coxeter-type, folded, and exceptional constructions

One major branch of extended Brauer-type algebra theory is organized by Coxeter type and Dynkin folding. The type $B_G(\Upsilon)$9 Brauer algebra $e_i$0 is defined by generators $e_i$1 and relations adapted to the $e_i$2 diagram, with the asymmetric idempotent relations

$e_i$3

Its decisive structural theorem is the isomorphism

$e_i$4

where the right-hand side is the subalgebra of the classical Brauer algebra on $e_i$5 strands spanned by diagrams symmetric under vertical reflection. The algebra is free of rank equal to the number of symmetric Brauer diagrams, denoted $e_i$6, where

$e_i$7

It also admits a cellular structure (Cohen et al., 2011).

The type $e_i$8 Brauer algebra $e_i$9 is defined analogously, but now by folding $\Br(W)$0. Its distinguished non-simply-laced feature is

$\Br(W)$1

The algebra embeds into $\Br(W)$2 by

$\Br(W)$3

and this map identifies $\Br(W)$4 with the symmetric subalgebra $\Br(W)$5. The algebra is free of rank

$\Br(W)$6

and is cellular over integral domains in which $\Br(W)$7 and $\Br(W)$8 are invertible (Cohen et al., 2011).

Bowman’s analysis of type $\Br(W)$9 adds a stratified representation-theoretic description. The algebra is an iterated inflation of hyperoctahedral group algebras, with layers

$\{we_B\}$0

and, when $\{we_B\}$1, it is cellularly stratified. This yields explicit standard modules, decomposition-number information, and the criterion that over a field of characteristic $\{we_B\}$2,

$\{we_B\}$3

(Bowman, 2011).

Exceptional simply-laced types $\{we_B\}$4 admit parallel BMW/Brauer theories. Cohen and Wales prove that the BMW algebras $\{we_B\}$5 are free over the appropriate coefficient ring of ranks $\{we_B\}$6, $\{we_B\}$7, and $\{we_B\}$8, respectively, are semisimple over $\{we_B\}$9, and are cellular over suitable integral domains. The corresponding Brauer algebras are homomorphic images of the BMW algebras under $\Br(C_n)$0, $\Br(C_n)$1, and share the same ranks (Waagan et al., 2011). More recently, the modular representation theory of the type $\Br(C_n)$2 Brauer algebra has been developed further: permutation modules and Young modules $\Br(C_n)$3 are constructed from hyperoctahedral data, a stratifying system is established, and if the characteristic is neither $\Br(C_n)$4 nor $\Br(C_n)$5, every permutation module decomposes into a direct sum of indecomposable Young modules (Chowdhury et al., 18 Jul 2025).

4. Quantum, BMW/VW, and affine type $\Br(C_n)$6 deformations

A second major direction replaces the classical symmetric-group layer by Hecke-type or affine data. Wenzl’s $\Br(C_n)$7-Brauer algebra $\Br(C_n)$8 is generated by Hecke generators $\Br(C_n)$9 together with $\Br(B_n)$0, with defining relations including

$\Br(B_n)$1

It contains the Hecke algebra $\Br(B_n)$2 of type $\Br(B_n)$3 as a unital subalgebra, degenerates to the classical Brauer algebra when $\Br(B_n)$4, and has a basis indexed by Brauer diagrams. Over the generic two-parameter ground ring, $\Br(B_n)$5 is free of rank $\Br(B_n)$6 and has the same decomposition into simple matrix rings as the generic classical Brauer algebra; it also carries a Markov trace and semisimple quotients at roots of unity (Wenzl, 2011).

Chen’s reflection-group algebra $\Br(B_n)$7 is explicitly designed to occupy the infinitesimal side of BMW-type deformation theory. The paper constructs a Cherednik-type flat connection for the classical BMW algebra, proves that monodromy representations arising from Brauer-algebra representations factor through $\Br(B_n)$8 under the specialization

$\Br(B_n)$9

and uses this as motivation for the pseudo-reflection-group construction $B/C$00 and its generalized Lawrence–Krammer representations (Chen, 2010).

In the real-group setting, Eberle and Vazirani introduce the type $B/C$01 affine Brauer or VW algebra

$B/C$02

generated by the VW algebra together with involutions $B/C$03 such that the subalgebra generated by $B/C$04 and the $B/C$05 is $B/C$06. This algebra acts on

$B/C$07

for $B/C$08 or $B/C$09, giving a compact analogue of Schur–Weyl duality. The associated exact functors

$B/C$10

connect admissible $B/C$11-modules to $B/C$12-modules, and after quotienting by explicit ideals one obtains

$B/C$13

so that non-spherical principal series are sent to principal series for graded Hecke algebras of type $B/C$14, $B/C$15, or $B/C$16 (Calvert, 2019).

5. Super, categorical, and invariant-theoretic formulations

Extended Brauer-type algebra also includes super and categorical enlargements. The marked Brauer algebra $B/C$17 and marked Brauer category $B/C$18 are defined for a homogeneous supersymmetric bilinear form on a $B/C$19-graded space. Diagrammatically, cups carry beads and caps carry arrows; when adjacent markings exchange latitude, or an arrow reverses direction, a factor of $B/C$20 appears. If $B/C$21, forgetting markings gives the ordinary Brauer algebra; if $B/C$22, then necessarily $B/C$23, and $B/C$24 is isomorphic to Moon’s algebra. The algebra has an iterated-inflation structure

$B/C$25

but in the odd case it is not cellular in the usual sense. At the same time it admits a Schur–Weyl duality with the Lie superalgebra

$B/C$26

and, in stable range,

$B/C$27

(Kujawa et al., 2014).

Lehrer and Zhang’s Brauer category $B/C$28 provides a different categorical enlargement. Its objects are natural numbers, its morphisms are Brauer-diagram spaces $B/C$29, and it is generated as a strict $B/C$30-linear tensor category by four morphisms $B/C$31 subject to seven relations. For orthogonal and symplectic groups over characteristic-zero fields, they construct full tensor functors

$B/C$32

with

$B/C$33

The kernel of this functor is generated by the ideal of the alternating element $B/C$34, and the induced endomorphism algebras are obtained from the ordinary Brauer algebra by imposing one additional quasi-idempotent relation. In the symplectic case,

$B/C$35

where $B/C$36 is the central idempotent for the trivial representation in $B/C$37, explicitly described as an analogue of the Jones idempotent; in the orthogonal case,

$B/C$38

(Lehrer et al., 2012).

6. Homological, local, and configuration-theoretic extensions

The literature also broadens Brauer-type language beyond centralizer-style associative algebras. In modular representation theory, the extended Brauer quotient for $B/C$39-interior $B/C$40-algebras is defined by

$B/C$41

where

$B/C$42

This construction is $B/C$43-graded, functorial, and equipped with a normalizer action. For permutation algebras it yields correspondences of pointed groups and recovers Brauer’s First Main Theorem as a special case (Coconet et al., 2013).

In a different direction, Dokas gives a cohomological Brauer-group interpretation for purely inseparable extensions of exponent $B/C$44. Restricted Lie–Rinehart algebras $B/C$45 satisfy

$B/C$46

and Quillen–Barr–Beck cohomology classifies restricted Lie–Rinehart extensions by

$B/C$47

Applied to $B/C$48, this gives

$B/C$49

an inseparable analogue of the classical Galois-cohomological Brauer-group description (Dokas, 2011).

Homological and configuration-algebra versions of the Brauer paradigm are equally explicit. For a Brauer graph algebra $B/C$50, the Ext algebra

$B/C$51

is generated in degrees $B/C$52 if and only if the Brauer graph does not contain both truncated and nontruncated edges; equivalently, the length-graded algebra is $B/C$53 exactly in that case (Green et al., 2013). For arbitrary finite-dimensional monomial algebras $B/C$54, a fractional Brauer configuration $B/C$55 of type $B/C$56 can be constructed so that its associated algebra $B/C$57 is symmetric and

$B/C$58

Moreover, isomorphism classes of monomial algebras correspond bijectively to equivalence classes of pairs consisting of a symmetric fractional Brauer configuration algebra of type $B/C$59 with trivial degree function and an admissible cut (Liu et al., 2024).

Taken together, these developments show that extended Brauer-type algebra is a structurally coherent but non-uniform field. Some members remain close to Brauer’s original diagram algebra; others are controlled by reflection arrangements, affine Hecke quotients, super sign rules, local fixed-point quotients, or configuration combinatorics. The unifying feature is not a single presentation, but the persistent reappearance of Brauer-theoretic ingredients—pairing or contraction operators, symmetry or reflection data, and representation-theoretic control through centralizer, monodromy, cellular, or cohomological structures.