10
votes
1answer
235 views
Calculating 6j-symbols (aka Racah-Wigner coefficients) for quantum groups
Which $6j$-symbols for quantised enveloping algebras are known explicitly?
The quantum $6j$-symbols for $sl(2)$ are well-known. The references are
Masbaum and Vogel and
Frenkel …
12
votes
4answers
265 views
Understanding the definition of the Lefschetz (pure effective) motive
For all those who are unlikely to have answers to my questions, I provide some
Background:
In some sense, pure motives are generalisations of smooth projective varieties. Every W …
8
votes
3answers
222 views
Why is a monoid with closed symmetric monoidal module category commutative?
Given a symmetric monoidal category and a monoid object A in it, one can form the category of modules over this monoid object, i.e. objects are $A \otimes M \rightarrow M$ satisfyi …
7
votes
2answers
148 views
Effects of “weak” vs. “strict” categories in Eckmann-Hilton arguments
A standard example for demonstrating the need for genuinely weak n-categories is that a weak 3-category with unique 0- and 1-cells amounts to the same thing as a braided monoidal c …
13
votes
0answers
150 views
Semiadditivity and dualizability of 2
Short version: Let (C, ⊗, 1) be a locally presentable closed symmetric monoidal category with a zero object, and write 2 = 1 ∐ 1. Suppose the object 2 has a dual. Does it …
2
votes
1answer
96 views
When does a certain natural construction on monoidal categories yield a Hopf algebra?
Let $\mathcal C = (\mathcal C_0,\mathcal C_1)$ be a (small) strict monoidal category. Pick a field $\mathbb K$, and let $\mathbb K[\mathcal C_1]$ be the vector space with basis th …
7
votes
3answers
320 views
When does Tannakian theory work over affine schemes besides fields?
By 'work' I would like the correspondence between fiber functors (to finitely generated projective modules) and algebraic groups to be the same as in the field case.
Specifically, …
10
votes
4answers
432 views
What structure on a monoidal category would make its 2-category of module categories monoidal and braided?
So, many of us know the answer to "what kind of structure on an algebra would make its category of representations braided monoidal": your algebra should be a quasi-triangular Hopf …
4
votes
2answers
227 views
Are there interesting monoidal structures on representations of quantum affine algebras?
Is there a good monoidal structure on a category of integrable representations of a quantum affine algebra? In the ordinary affine Kac-Moody case, there is the usual tensor produc …
4
votes
4answers
276 views
Are abelian nondegenerate tensor categories semisimple?
A pivotal monoidal category is called non-degenerate if the inner product (x,y) = Tr(xy*) (where y* is the dual map) is non-degenerate. As a rule of thumb non-degenerate is closel …
8
votes
6answers
222 views
How do I describe a fusion category given a subfactor?
I felt like following up on Kate's question. There were some good motivational answers there.
Given a pair of factors M < N, there is a standard way to construct a 2-category …
8
votes
4answers
331 views
Do all 3D TQFTs come from Reshetikhin-Turaev?
The Reshetikhin-Turaev construction take as input a Modular Tensor Category (MTC) and spits out a 3D TQFT. I've been told that the other main construction of 3D TQFTs, the Turaev-V …
6
votes
2answers
180 views
Is there a meaningful difference between biased and unbiased composition?
In higher category theory, there are notions of biased and unbiased definitions of composition of $n$-morphisms (or, as a special case, tensor products of objects). In the biased f …
12
votes
4answers
556 views
Tannakian Formalism
The Tannakian formalism says you can recover a complex algebraic group from its category of finite dimensional representations, the tensor structure, and the forgetful functor to V …
7
votes
4answers
297 views
What’s the right object to categorify a braided tensor category?
The yoga of categorification has gained a lot of popularity in recent years, and some techniques for it have made a lot of progress. It's well-understood that, for example, a ring …
