---
title: Anchors in Modular Representation Theory
url: https://www.emergentmind.com/topics/anchors
type: topic
---

# Anchors in Modular Representation Theory

Searching arXiv for the specified paper and closely related work on characters, defect groups, and vertices.
Anchors of irreducible characters are a block-theoretic invariant attached to an ordinary irreducible character \( \chi\in \mathrm{Irr}(G) \) of a finite group \(G\) at a fixed prime \(p\). In the formulation of Kessar–Külshammer–Linckelmann, an anchor is defined as a defect group of the primitive \(G\)-interior \(O\)-algebra \(OGe_\chi\), where \(e_\chi\in Z(KG)\) is the unique primitive central idempotent with \( \chi(e_\chi)\neq 0 \) [1511.02380]. Green’s theory implies that these defect groups form a single \(G\)-conjugacy class, so the anchor is a well-defined conjugacy-class invariant of \( \chi \). The notion was considered by L. Barker in the context of finite \(p\)-solvable groups, and the systematic treatment in [1511.02380] develops its structural properties and its relation to defect groups, Green vertices, and Navarro vertices.

## 1. Definition through primitive \(G\)-interior algebras

Fix a complete discrete valuation ring \(O\) with residue field \(k\) of characteristic \(p\) and field of fractions \(K\) of characteristic \(0\), and assume that \(K\) and \(k\) split all groups under discussion. For \( \chi\in \mathrm{Irr}(G) \), let
\[
e_\chi \in Z(KG)
\]
be the unique primitive central idempotent with \( \chi(e_\chi)\neq 0 \). The quotient
\[
OGe_\chi \cong OG/\ker(OG\to OGe_\chi)
\]
is a primitive \(G\)-interior \(O\)-algebra, and Green’s theory assigns to it a defect subgroup [1511.02380].

An anchor of \( \chi \) is any defect group \( P\le G \) of the primitive \(G\)-interior \(O\)-algebra \(OGe_\chi\). Equivalently, by Green’s minimal-subgroup formulation, \(P\) is minimal up to conjugacy among the \(p\)-subgroups \(P\le G\) for which there exists
\[
d\in (OGe_\chi)^P
\quad\text{with}\quad
\mathrm{Tr}_P^G(d)=e_\chi ,
\]
where \( \mathrm{Tr}_P^G \) is the relative trace from \( (OGe_\chi)^P \) to its \(G\)-fixed points [1511.02380].

This definition places anchors directly at the interface of ordinary character theory, block theory, and interior algebra methods. A plausible implication is that the anchor captures the smallest \(p\)-local subgroup data sufficient to recover the central idempotent \(e_\chi\) via relative trace, rather than only the ambient block-level local structure.

## 2. Fundamental structural properties

The basic properties established for anchors are formulated in terms of the block \(B\subseteq OG\) containing \( \chi \) and an \(OG\)-lattice \(L\) affording \( \chi \) [1511.02380].

If \(P\) is an anchor of \( \chi \), then \(P\) is conjugate to a subgroup of any defect group \(D\) of the block \(B\). Thus anchors are always contained, up to conjugacy, in block defect groups. They therefore refine the local structure visible at the block level without in general replacing it.

The same theorem shows that any vertex of \(L\) in Green’s sense is contained in \(P\), and that the largest normal \(p\)-subgroup \(O_p(G)\) lies in \(P\) [1511.02380]. In this sense, the anchor sits above all module vertices arising from lattices affording \( \chi \), while also necessarily containing the normal \(p\)-core.

There is also a bimodule-theoretic formulation. Writing \(A=P\hookrightarrow G\times G\) for the diagonal copy, the diagonal subgroup \(A\) is contained in some vertex of the \((G\times G)\)-module \(OGe_\chi\), and \(P\times P\) contains a vertex of \(OGe_\chi\). Moreover, \(A\) itself is a vertex exactly when \( \chi \) has defect zero [1511.02380]. This identifies anchors with local data visible not only in lattices affording \( \chi \) but also in the \(G\times G\)-module structure of the corresponding character algebra summand.

These results exclude a common oversimplification: an anchor is not merely a reformulation of the defect group of the block. It is always subordinate to block defect groups, but its relation to them depends on additional character-theoretic hypotheses.

## 3. Special cases: irreducible reduction, abelian defect, and height zero

Several important cases collapse the distinction between anchors and more familiar local invariants. If the reduction \( \chi^0 \) is irreducible in \( \mathrm{IBr}(G) \), then the \(OG\)-lattice \(L\) affording \( \chi \) is unique, its vertex \(P\) is unique, and \(P\times P\) is a vertex of \(OGe_\chi\) [1511.02380]. In that situation, the anchor is exactly the conjugacy class of the vertex of the unique lattice.

If the block \(B\) has abelian defect group \(D\), then \(D\) itself is an anchor of every \( \chi\in \mathrm{Irr}(B) \) [1511.02380]. This gives a uniform answer throughout the block and shows that in the abelian-defect case the anchor no longer varies with the irreducible character.

If \( \chi \) has \(p\)-height \(0\), then its anchors coincide with the defect groups of \(B\) [1511.02380]. Height-zero characters therefore realize the maximal possible anchor inside the block.

These cases can be summarized as follows.

| Hypothesis on \( \chi \) or \(B\) | Consequence for anchors |
|---|---|
| \( \chi^0 \) irreducible in \( \mathrm{IBr}(G) \) | Unique lattice and unique vertex \(P\); \(P\times P\) is a vertex of \(OGe_\chi\) |
| \(B\) has abelian defect group \(D\) | \(D\) is an anchor of every \( \chi\in \mathrm{Irr}(B) \) |
| \( \chi \) has \(p\)-height \(0\) | Anchors coincide with defect groups of \(B\) |

Together these results show that anchors interpolate between character-specific and block-wide local structure. This suggests that the invariant is most informative precisely when the character is not height zero and when the defect structure is not already forced by abelianity.

## 4. Relation to vertices and other \(p\)-group invariants

The conceptual significance of anchors lies in their relation to three established \(p\)-local invariants: defect groups of blocks, Green vertices of modules, and Navarro vertices of characters.

For defect groups, the general containment is one-sided: anchors always lie inside defect groups of the block, and equality holds for height-zero characters [1511.02380]. Thus the block defect group provides an ambient upper bound, while the anchor supplies finer character-level localization.

For Green vertices, the relation is especially tight when \( \chi^0 \) is irreducible. In that case \(OGe_\chi\) is the endomorphism algebra of any lattice \(L\) affording \( \chi \), and the anchor is exactly the conjugacy class of any vertex of \(L\). In general, anchors “sit above” all vertices of lattices affording \( \chi \) [1511.02380]. This identifies anchors as an upper envelope for the module vertices associated with the same character.

For Navarro vertices in the \(p\)-solvable setting, if \( \chi \) has Navarro vertex \((Q,\sigma)\), then under the hypothesis that \( \chi^0 \) is irreducible and \( \chi \) is \(p\)-solvable, the subgroup \(Q\) always contains an anchor. If moreover \(p\) is odd or the \(p\)-special part of \( \chi \) is trivial, then \(Q\) itself is an anchor [1511.02380]. For groups of odd order every Navarro \(Q\) is contained in some anchor, but there are examples in even order where no anchor contains \(Q\).

A concise comparison is useful.

| Invariant | Relation to anchor |
|---|---|
| Defect group of the block | Anchor is conjugate to a subgroup; equality for height-zero characters |
| Green vertex of a lattice affording \( \chi \) | Any such vertex is contained in the anchor |
| Navarro subgroup \(Q\) | In \(p\)-solvable settings, \(Q\) contains an anchor under irreducibility of \( \chi^0 \); in further cases \(Q\) itself is an anchor |

These comparisons clarify that anchors should not be identified with any single pre-existing invariant. Rather, they organize several local invariants around the character \( \chi \), sometimes coinciding with them and sometimes strictly refining or bounding them.

## 5. Morita invariance and local structure

Anchors satisfy a Morita-invariance property under a specific class of equivalences. If two blocks \(B\) and \(B'\) of groups \(G\) and \(G'\) are Morita equivalent via a bimodule with endopermutation source, then under the induced bijection
\[
\mathrm{Irr}(B)\to \mathrm{Irr}(B')
\]
the anchors correspond via any fixed identification of the common defect group [1511.02380].

This result indicates that anchors are not merely artifacts of a particular group realization; they are preserved by a strong form of equivalence compatible with local block structure. A plausible implication is that the pair “block plus irreducible character” carries anchor data in a way robust under representation-theoretic transport, at least within the endopermutation-source Morita framework.

The same body of work also states that anchors are proved centric in the fusion system of their block, relating them to local structure and source algebras [1511.02380]. This places anchors inside the standard network of fusion-theoretic notions used in modern block theory.

The combination of Morita-invariance and centricity explains why anchors are more than an ad hoc subgroup assignment. They are designed to interact with both equivalence theory and the internal local structure of blocks.

## 6. Examples, computations, and open directions

The paper develops explicit examples illustrating both computation and divergence from neighboring invariants. For the dihedral group \(D_8\) at \(p=2\), the unique irreducible character of degree \(2\) has anchor equal to a Klein four subgroup, and its block has defect \(2\). Concretely, \(OGe_\chi\) is realized as a \(4\)-dimensional quotient of \(OG\), and its Brauer quotients can be computed directly [1511.02380].

For symmetric groups, if \(G=\mathfrak S_n\) and \( \chi \) is labelled by a partition \( \lambda \) whose reduction is irreducible, then Specht-module lattices show that the unique lattice is a permutation module; consequently the anchor equals the vertex of a \(p\)-permutation module [1511.02380].

For \( \mathrm{GL}(2,3) \) at \(p=2\), there is a \(2\)-special character of degree \(2\) whose reduction has vertex of order \(2\), while the unique \(O\)-lattice has vertex of order \(4\); hence the defect of \(k\otimes L\) is strictly smaller than the anchor \(P\) [1511.02380]. This example shows that anchors may exceed the modular vertex information visible after reduction.

Further wreath-product and \(p\)-solvable constructions show that Navarro vertices and anchors need not coincide [1511.02380]. This directly addresses a likely misconception that all natural \(p\)-local subgroups attached to a character should agree once one passes to \(p\)-solvable groups.

The work also identifies several applications and open questions. Anchors provide new upper bounds on vertices of lattices affording a given \( \chi \), refine Barker’s work on Robinson’s conjecture for \(p\)-solvable groups, and connect to local structure through fusion systems and source algebras [1511.02380]. Open directions include full comparison with Navarro vertices beyond the odd-order case, explicit classification of anchors in sporadic or exceptional groups, and potential applications to counting conjectures in block theory [1511.02380].

In that sense, anchors occupy a precise but still developing position in modular representation theory: they are rigorously defined through interior algebra defect groups, constrained by block defect groups and vertices, stable under suitable Morita equivalences, and sufficiently delicate to separate phenomena that coarser invariants do not distinguish.

Source: https://www.emergentmind.com/topics/anchors