Categorical representation theory
Warm-upHumanIn over , with the -dimensional irreducible representation, how many copies of occur in ?
In over , with the -dimensional irreducible representation, how many copies of occur in ?
What is , the sum over the simple objects of the representation category of the dihedral group of order ?
Which of these statements are true? (Choose all that apply.)
How many fusion categories over , up to monoidal equivalence, have Grothendieck ring (two simple objects with )?
The proof that the Fibonacci fusion ring is not uses one property of . Which?
The lesson's experiment finds, for the figure-eight knot, , while has six one-dimensional summands in bidegrees . What does this show?
Which information about a fusion category is lost when passing to its Grothendieck ring (as a ring with its basis of simple objects)? (Choose all that apply.)
Which Lean statement formalises “dimension is additive on short exact sequences ”? (Here f : A →ₗ[k] B, g : B →ₗ[k] C, and B is finite-dimensional.)
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] as integers.