arxiv: 2604.22078 · v3 · submitted 2026-04-23 · 🧮 math.RT · math.GR

Recognition: unknown

On irreducible representations of conjugacy quandles

Mohamad Maassarani

Pith reviewed 2026-05-08 13:10 UTC · model grok-4.3

classification 🧮 math.RT math.GR

keywords quandle representationsconjugacy quandlesymmetric 2-cocyclesBogomolov multiplierenveloping groupfinite groupsrepresentation theory

0 comments

The pith

Irreducible representations of Conj(G) over C arise exactly from products of group representations and quandle characters iff all symmetric 2-cocycles on G are coboundaries.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

For a finite group G, one can construct irreducible quandle representations of the conjugacy quandle Conj(G) over the complex numbers by taking the product of an irreducible linear representation of G with a quandle character of Conj(G), which is a morphism into the multiplicative group of nonzero complexes. The paper proves this construction yields every irreducible representation precisely when every symmetric 2-cocycle from G to the nonzero complexes is a coboundary. The condition holds for all groups whose Bogomolov multiplier is trivial. Under the same hypothesis the enveloping group of Conj(G) embeds into the direct product of G with a free abelian group of rank equal to the number of conjugacy classes of G, and the embedding becomes an isomorphism once G is perfect.

Core claim

The irreducible quandle representations of Conj(G) over C are given by the stated product construction if and only if every symmetric 2-cocycle on G with values in C^x is a coboundary. When this occurs, the enveloping group of Conj(G) injects into G × Z^{c_G} where c_G counts the conjugacy classes of G, and the map is an isomorphism whenever G is perfect.

What carries the argument

Symmetric 2-cocycles on G with values in C^x, whose coboundary status controls whether the product construction exhausts all irreducible representations of Conj(G).

If this is right

Groups with trivial Bogomolov multiplier have their irreducible quandle representations of Conj(G) fully classified by the product construction.
The enveloping group of Conj(G) embeds into G × Z raised to the power of the number of conjugacy classes.
When G is perfect the embedding is an isomorphism.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

For groups whose Bogomolov multiplier is nontrivial, the iff statement implies that at least one additional irreducible representation must exist outside the product construction.
The classification supplies a concrete criterion for deciding when the representation theory of Conj(G) reduces to ordinary group representation theory plus characters.
The same cocycle condition may be checked on concrete families such as symmetric or alternating groups to determine the precise form of their quandle representations.

Load-bearing premise

Any irreducible quandle representation of Conj(G) must arise from the product of an irreducible group representation and a quandle character once the symmetric 2-cocycle condition holds.

What would settle it

An explicit finite group G possessing a symmetric 2-cocycle to C^x that is not a coboundary, together with an irreducible representation of Conj(G) that cannot be written as the product of a group representation and a quandle character.

read the original abstract

For $G$ a finite group, one way to construct irreducible quandle representations over $\mathbb{C}$ of the conjugacy quandle $Conj(G)$ is by taking the product of an irreducible linear group representation of $G$ by what we call a quandle character of $Conj(G)$ (a quandle morphism into $\mathbb{C}^\times$ ). We show that these are all the irreducible quandle representations of $Conj(G)$ over $\mathbb{C}$ if and only if all the symmetric $2$-cocyles over $G$ ($\alpha(g,h)=\alpha(h,g)$ for all $g,h$) with values in $\mathbb{C}^\times$ are coboundaries. For instance, this is the case of groups with trivial Bogomolov multiplier. We apply this to study the enveloping group of $Conj(G)$. If $G$ finite satisfies the previous condition on symmetric $2$-cocycles, we obtain that the enveloping group of $Conj(G)$ injects into $G\times \mathbb{Z}^{c_G}$ where $c_G$ is the number of the conjugacy classes of $G$. If moreover $G$ is perfect the injection is an isomorphism.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a clean iff criterion for when product constructions exhaust all irreducible representations of conjugacy quandles, then uses it to describe the enveloping group.

read the letter

The core contribution is the statement that, for finite G, the irreducible quandle representations of Conj(G) over C are exactly the products of an irreducible linear representation of G with a quandle character if and only if every symmetric 2-cocycle G×G → C^x is a coboundary. The paper then shows that under this hypothesis the enveloping group injects into G × Z^{c_G}, with equality when G is perfect. This is a direct structural result rather than a restatement of earlier constructions. It is useful because it ties the representation theory of the quandle to a concrete cohomology condition that is already studied for groups with trivial Bogomolov multiplier. The explicit injection for the enveloping group is a concrete payoff that specialists can check against known examples. The argument stays within standard definitions of quandle morphisms and group cohomology, with no obvious circularity or invented objects. The scope is limited to finite groups and to those G where the cocycle condition holds, so the result does not claim to classify representations in general. The proofs are not visible in the abstract, but the stated equivalence appears internally consistent and does not rest on unstated fitting or self-reference. This work is for people already working in quandle cohomology and its links to knot invariants or enveloping groups. A reader who knows the basic dictionary between conjugacy quandles and groups will get immediate value from the criterion and the enveloping-group consequence. It is worth sending to a serious referee who can verify the cohomology steps and check the enveloping-group injection on small examples.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that for a finite group G, the irreducible representations of the conjugacy quandle Conj(G) over C are exactly the products of an irreducible linear representation of G with a quandle character (i.e., a quandle morphism to C^x) if and only if every symmetric 2-cocycle G×G → C^x is a coboundary. It then shows that, under this cohomological condition, the enveloping group of Conj(G) injects into G × Z^{c_G} (with c_G the number of conjugacy classes of G), and that the map is an isomorphism when G is perfect. The condition holds, for instance, when the Bogomolov multiplier of G is trivial.

Significance. If the central iff statement holds, the paper supplies a clean cohomological criterion that completely classifies the irreducible quandle representations of Conj(G) in terms of ordinary group representations and characters. The structural consequence for the enveloping group is a concrete embedding (or isomorphism) that clarifies the relationship between the quandle and its associated group. The result is scoped precisely to finite groups and correctly identifies the Bogomolov-multiplier condition as a source of examples; these features make the work a useful reference for further study of quandle representations and their invariants.

minor comments (3)

§1 (Introduction): the phrase 'quandle character of Conj(G)' is introduced without an immediate concrete example; adding a short computation for a small non-abelian group such as S_3 would help readers verify the product construction before the general theorem.
Theorem 4.2 (enveloping-group statement): the injection map is described only by its target; stating the explicit images of the generators of the enveloping group (or at least the images of the conjugacy-class elements) would make the proof of injectivity easier to follow.
Notation: the symbol c_G for the number of conjugacy classes is used without a prior definition in the statement of the main theorem; a single sentence recalling that c_G = |G/∼| where ∼ is conjugacy would remove any ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main results on the classification of irreducible quandle representations of Conj(G) via the symmetric 2-cocycle condition, and the structural results on the enveloping group. The recommendation for minor revision is noted. No major comments appear in the report, so there are no specific points requiring rebuttal or changes to the mathematical content.

Circularity Check

0 steps flagged

No circularity; derivation self-contained

full rationale

The paper proves an if-and-only-if equivalence: the listed product construction yields all irreducible quandle representations of Conj(G) precisely when every symmetric 2-cocycle G×G→C^x is a coboundary. This rests on the standard definitions of quandle morphisms, linear representations, and group cohomology (no fitted parameters, no self-referential definitions, and no load-bearing self-citations). The enveloping-group injection follows directly from the same equivalence for finite G (and isomorphism when G is perfect). No step reduces the central claim to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard definitions of quandles, quandle representations, symmetric 2-cocycles, and the enveloping group; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)

standard math Standard properties of group cohomology and the definition of symmetric 2-cocycles being coboundaries
Invoked to state the iff condition for the representation classification.
domain assumption Finiteness of G and working over the complex numbers
Required for the statements about irreducible representations and the enveloping-group embedding.

pith-pipeline@v0.9.0 · 5508 in / 1402 out tokens · 53183 ms · 2026-05-08T13:10:18.354939+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references

[1]

[Ku10] Kunyavski˘ ı Boris, The Bogomolov Multiplier of Finite Simple Groups

[Ka87] Karpilovsky, Gregory, The Schur Multiplier.Clarendon Press, 1987. [Ku10] Kunyavski˘ ı Boris, The Bogomolov Multiplier of Finite Simple Groups. Cohomological and Geometric Approaches to Rationality Problems: New Perspectives, Birkhäuser Boston, 2010, pp. 209-217. 8 [EM14] Eisermann, Michael, Quandle Coverings and Their Galois Correspondence. Fundame...

1987