Questions tagged [braided-tensor-categories]
The braided-tensor-categories tag has no usage guidance.
38
questions with no upvoted or accepted answers
14
votes
0
answers
784
views
Splitting of homomorphism from cactus group to permutation group
We all learned in kindergarten that the category of finite-dimensional (type I, say) $U_q(\mathfrak{g})$-modules is braided monoidal for $\mathfrak{g}$ a complex semisimple Lie algebra. This gives an ...
- 8,409
11
votes
0
answers
660
views
What is the role of fiber functor in Deligne's theorem on Tannakian categories?
The theorem states that, for a field $k$ of characteristic 0, any $k$-linear tensor category with $End(1)=k$ satisfying a condition that each object is annihilated by a Schur functor, is equivalent to ...
- 223
10
votes
0
answers
283
views
What's the relation between half-twists, star structures and bar involutions on Hopf algebras?
A star structure on a Hopf algebra is an antilinear antiautomorphism squaring to 1 and satisfying some further axioms. A Hopf algebra with a star structure is then a star algebra and a Hopf algebra in ...
- 5,535
8
votes
0
answers
386
views
Which Drinfeld centers are balanced monoidal, i.e. have a twist?
A twist is an automorphism $\theta$ of the identity functor of a monoidal category with braiding $c$, such that $\theta_{X \otimes Y} = c_{Y,X} c_{X,Y} (\theta_X \otimes \theta_Y)$. A braided monoidal ...
- 5,535
8
votes
0
answers
318
views
Structure of Lagrangian algebras in the center of a fusion category
(1) Let $\mathcal F$ be a spherical fusion tensor category. Then Müger showed that
$R=\bigoplus_{H\in\mathrm{Irr}(\mathcal F)} H\boxtimes H^\mathrm{op}$ canonically has the structure of a Frobenius ...
- 2,101
8
votes
0
answers
512
views
Skew polynomial algebra
When I was a very little hare, a big grey wolf told me about the following skew polynomial algebra, which I never understood. My question is whether the following construction is a part of some bigger ...
- 12.1k
7
votes
0
answers
293
views
Explicit Braid Group Reps from quantum SO(N) at roots of unity
This question is related to this one (and indeed the goals are similar).
Let $N$ be odd and consider the braided fusion category $\mathcal{C}$ (actually modular) obtained from $U_q\mathfrak{so}_N$ ...
- 1,629
6
votes
0
answers
187
views
Does a fusion ring with F and R-symbols uniquely determine a braided tensor category?
Background : In mathematical physics, 'anyons' in (2+1) dimensional systems are described by braided tensor categories. The anyon types correspond to the irreducible objects of the category. From such ...
- 61
6
votes
0
answers
126
views
Braid groups representations on infinite dimensional vector spaces
Let $V$ be an infinite dimensional complex vector space. Let $R:V\otimes V\to V\otimes V$ be a solution to the quantum Yang Baxter Equation. In other words: $R$ is invertible and satisfies the ...
- 4,979
5
votes
0
answers
130
views
Can a braided fusion category have an order-2 Morita equivalence class which cannot be simultaneously connected and isomorphic to its opposite?
Let $\mathcal{B}$ be a braided fusion category over $\mathbb{C}$. Let me write $\mathrm{Alg}(\mathcal{B})$ for the set of isomorphism classes of unital associative algebra objects in $\mathcal{B}$, ...
- 53.1k
5
votes
0
answers
107
views
Non-semisimple representations of the braid group in a semisimple braided category
Suppose $\mathcal{C}$ is a semisimple braided tensor category (over $\mathbb{C}$, with finite dimensional hom spaces) and $X$ an object in $\mathcal{C}$.
Then for each n > 0 the braid group $B_n$ ...
- 303
5
votes
0
answers
168
views
Question about terminology, and reference request related to the braid operad
Let $\Delta_n$ stand for the Garside element of the braid group $B_n$. It turns out that the family of all Garside elements have the following ``operadic'' property:
$$
\Delta_n\left[ \Delta_{k_1},\...
4
votes
0
answers
217
views
Is the rank of an integral MTC an upper bound for the prime factors of its FPdim?
In this post, the abbreviation "MTC" and "FPdim" stand for "Modular Tensor Category" and "Frobenius-Perron dimension".
From [DLN, Theorem II (iii)], where the ...
4
votes
0
answers
178
views
additivity of trace with respect to short exact sequences
Let $\mathcal{C}$ be an abelian rigid symmetric monoidal category over a field $K$. Assume that the endomorphism ring of the tensor unit in $\mathcal{C}$ is $K$. If $X$ is an object in $\mathcal{C}$ ...
- 4,979
4
votes
0
answers
103
views
Tensor algebras in the bicategory $\mathsf{2Vect}$
To my knowledge there are two main approaches to categorify the notion of a vector space. I will refer to them as BC-2-vector spaces (Baez, Crans) and KV-2-vector spaces (Kapranov, Voevodsky). Both ...
- 1,661
4
votes
0
answers
76
views
Categorical construction of comodule category of FRT algebra
Let $\mathcal{B}$ denote the braid groupoid, with objects being non-negative integers $n \in \mathbb{Z}_{\geq 0}$ and morphisms $\mathcal{B}(n,n)=B_{n}$ given by the braid group. Let $\mathcal{C}$ be ...
- 1,661
4
votes
0
answers
101
views
Scaling Yetter--Drinfeld Modules
A braided vector space is a pair $(V,\sigma)$ consisting of a vector space $V$, and a linear map $\sigma:V \otimes V \to V \otimes V$, satisfying the Yang--Baxter equation. Ee can scale the braiding ...
- 815
4
votes
0
answers
113
views
semisimplicity of maps in braided vector spaces
Let $V$ be a finite dimensional braided vector space over $\mathbb{C}$.
This means that we have a map $$c_{V,V}:V\otimes V\to V\otimes V$$ which gives us an action of the braid group $B_n$ on $V^{\...
- 4,979
4
votes
0
answers
389
views
How does the relative Drinfeld center interact with the relative Deligne tensor product?
Let $\mathcal{C}$ be a fusion category, and $\mathcal{M}, \mathcal{N}$ semisimple $(\mathcal{C}, \mathcal{C})$-bimodule categories. The left $\mathcal{C}$-action is denoted as $- \triangleright - \...
- 5,535
4
votes
0
answers
113
views
Tensor categories with integer rank
I wonder the state of the following conjecture in "Deformation theory, Kontsevich, Soibelman":
Conjecture 3.3.5. Rigid [abelian symmetric] tensor categories [over an algebraically closed field $k$] ...
- 4,454
3
votes
0
answers
37
views
Are the Drinfeld doubles of twist equivalent Hopf algebras twist equivalent?
Let $H_1$ and $H_2$ be finite dimensional Hopf algebras that are twist equivalent, i.e. $H_2$ is obtained from $H_1$ using a Drinfeld twist. My question is: are the Drinfeld doubles $D(H_1)$ and $D(...
- 423
3
votes
0
answers
80
views
Yetter-Drinfeld modules for Hopf monads
1. Context.
1.1. Classical Yetter-Drinfeld modules.
Let $H$ a bialgebra in a braided monoidal category $\mathcal{C}$. A left-right Yetter-Drinfeld module over $H$ is a triple $(V,\rho,\Delta)$ ...
- 766
3
votes
0
answers
143
views
How to calculate the Lagrangian subgroup of $G\oplus\hat{G}$?
Let $G$ be an finite abelian group. We have known the following things:
Denote the Drinfeld center of $\operatorname{Rep}(G)$ by $\mathfrak{Z}_1(\operatorname{Rep}...
- 31
3
votes
0
answers
130
views
Symmetries of modular categories coming from quantum groups
This is a request for references about the computation of the braided autoequivalences of fusion categories coming from a quantum group. I could not find even the description of braided ...
- 1,452
3
votes
0
answers
281
views
About symmetry, braids, and pseudo-functors.
Let $(\mathcal{C}, \otimes, I)$ a monoidal category, and let $\mathbb{B}(\mathcal{C})$ the bicategory (with only one object and $(\mathcal{C}, \otimes, I)$ as (monoidal) category of morphisms and ...
- 4,125
3
votes
0
answers
260
views
Braidings and Isomorphism Classes in a Monoidal Category
Let $X$ be an object in a monoidal category $({\cal C}, \otimes)$, and $\gamma:X \otimes X \to X \otimes X$ a braiding (that is to say a morphism in ${\cal C}$ from $X \otimes X$ to itself that ...
- 627
2
votes
0
answers
52
views
Is anything known about the center of the Fomin-Kirillov algebra?
Let $\mathcal{B}_{\mathbb{S}_m}$ be the quotient of the Fomin-Kirillov algebra so that its pairing becomes certainly nondegenerate. This algebra is conjecturally isomorphic to the Fomin-Kirillov ...
- 1,064
2
votes
0
answers
69
views
Naturality of ribbon category twists
Tortile Tensor Categories by Shum defines a twist to be a natural transformation $\theta : \operatorname{Id} \to \operatorname{Id}$ satisfying some axioms. However, wikipedia and nLab worded the ...
- 1,031
2
votes
0
answers
73
views
On $\Psi$-generating paths in the Bruhat order of a Weyl group
Let $W$ be a Weyl group with roots $R$ and positive roots $R^+$. Let $v\in W$ of length $r$. We call $\mathbb{m}=(\alpha_1,\ldots,\alpha_r)\in(R^+)^r$ a Bruhat path from $1$ to $v$ if $1\lessdot s_{\...
- 1,064
2
votes
0
answers
60
views
Integrals in noncommutative graded algebras which are not necessarily Hopf
Let $\mathbf{k}$ be a field. Let $A$ be a finite dimensional $\mathbb{Z}_{\geq 0}$-graded $\mathbf{k}$-algebra such that $A^0=\mathbf{k}1$. Let $m$ be the maximal non-negative integer such that $A^m\...
- 1,064
1
vote
0
answers
53
views
Reshetikhin-Turaev invariants from extended 3d TQFTs
Attached to any object $V\in \mathcal{C}$ of a ribbon category $\mathcal{C}$, Reshetikhin and Turaev have defined knot invariants
$$\tau_V(K)\ \in\ \text{End}_{\mathcal{C}}(1_{\mathcal{C}})$$
for ...
- 5,515
1
vote
0
answers
105
views
Lagrangian subcategories of (non-pointed) braided tensor categories
I am interested in generalising the following claim in On braided fusion categories I (Remarks 4.67.)
“A braided fusion category $\mathcal C$ may have more than one Lagrangian subcategory. E.g., if $\...
- 113
1
vote
0
answers
120
views
Recovering the center of a monoid from the Drinfeld center
The Drinfeld center construction is intended to be a categorification of the center of a monoid. It seems to be folklore (eg this answer or this one) that when the Drinfeld center is taken over a ...
- 571
1
vote
0
answers
96
views
When is the action of the braid group on tensor powers of Yetter-Drinfeld modules faithful?
Let $V$ be a Yetter-Drinfeld module over a Hopf algebra $H$ with invertible antipode. Recall that $V$ is a braided vector space with braiding $\Psi\colon V\otimes V\to V\otimes V, v\otimes w\mapsto v_{...
- 1,064
1
vote
0
answers
87
views
Braided category inside braided 2-category
Let $\mathcal{C}$ be a semistrict braided monoidal $2$-category in the sense of [BN] (so in particular a strict $2$-category). Let $\mathcal{C}_1$ be the category of $1$-morphisms (objects) and $2$-...
- 1,661
1
vote
0
answers
84
views
On reflexive bialgebras
Let $A$ be a bialgebra. We can consider $A$ as a relfexive algebra (i.e. $A\cong A^{o*}$) or relfexive coalgebra (i.e. $A\cong A^{*o}$ where in each case $o$ denotes what is sometimes called ...
- 1,064
1
vote
0
answers
127
views
References of an operator $T: V \otimes V \to V \otimes V$
Let $V$ be a vector space with a basis $v_1, \ldots, v_n$ and let $X_{ij} = v_i \otimes v_j$. Then $X_{ij}, i,j=1,\ldots, n$, is a basis of $V \otimes V$. Let $T: V \otimes V \to V \otimes V$ be the ...
- 6,121
0
votes
0
answers
76
views
Is a Lagrangian subgroup of a metric group isomorphic to its quotient?
A metric group is a finite abelian group $G$ with a quadratic function
$$q:G\rightarrow \mathbb R/\mathbb Z\;,$$
that is,
$$M(a,b):= q(a+b)-q(a)-q(b)$$
is bilinear in $a$ and $b$ [edit: and non-...
- 2,901