Skip to content
The Lumenary

Practice · Research pathways

Categorical representation theory

Categorical representation theory

Warm-upHuman

In Rep⁡(S3)\operatorname{Rep}(S_3) over C\mathbb{C}, with VV the 22-dimensional irreducible representation, how many copies of VV occur in V⊗V⊗VV \otimes V \otimes V?

Categorical representation theory

Warm-upHuman

What is FPdim⁡(Rep⁡(D4))=∑iFPdim⁡(Xi)2\operatorname{FPdim}(\operatorname{Rep}(D_4)) = \sum_i \operatorname{FPdim}(X_i)^2, the sum over the simple objects of the representation category of the dihedral group of order 88?

Categorical representation theory

CoreHuman

Which of these statements are true? (Choose all that apply.)

Choose all that apply

Categorical representation theory

CoreHuman

How many fusion categories over C\mathbb{C}, up to monoidal equivalence, have Grothendieck ring Z[Z/2]\Z[\Z/2] (two simple objects 1,g\mathbf{1}, g with g⊗g≅1g \otimes g \cong \mathbf{1})?

Categorical representation theory

CoreHuman

The proof that the Fibonacci fusion ring is not K0(Rep⁡(G))K_0(\operatorname{Rep}(G)) uses one property of Rep⁡(G)\operatorname{Rep}(G). Which?

Choose one

Categorical representation theory

CoreComputational

The lesson's experiment finds, for the figure-eight knot, J^=q−5+q5\hat J = q^{-5} + q^{5}, while Kh\mathit{Kh} has six one-dimensional summands in bidegrees (t,q)=(−2,−5),(−1,−1),(0,−1),(0,1),(1,1),(2,5)(t, q) = (-2, -5), (-1, -1), (0, -1), (0, 1), (1, 1), (2, 5). What does this show?

Choose one

Categorical representation theory

StretchHuman

Which information about a fusion category C\mathcal{C} is lost when passing to its Grothendieck ring (as a ring with its basis of simple objects)? (Choose all that apply.)

Choose all that apply

Categorical representation theory

CoreFormal

Which Lean statement formalises “dimension is additive on short exact sequences 0→A→B→C→00 \to A \to B \to C \to 0”? (Here f : A →ₗ[k] B, g : B →ₗ[k] C, and B is finite-dimensional.)

Choose one

Categorical representation theory

StretchComputational

Write fusion_coefficients(sizes, chars) that takes the class sizes of a finite group and a list of its (real-valued) irreducible characters, each a list of values on the classes, and returns the nested list N[i][j][k] =⟨χiχj,χk⟩=1∣G∣∑c∣c∣ χi(c)χj(c)χk(c)= \langle \chi_i \chi_j, \chi_k \rangle = \frac{1}{|G|} \sum_c |c|\, \chi_i(c) \chi_j(c) \chi_k(c) as integers.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.