Questions tagged [qa.quantum-algebra]

Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory

Filter by
Sorted by
Tagged with
9 votes
1 answer
266 views

Is there a geometric interpretation of the second derivative of the Alexander polynomial at $1$?

For an (oriented) knot in $S^3$ the number $\Gamma(K) := \Delta_K’’(1)$ shows up in a number of places in knot theory, for example the Casson-Walker-Lescop invariant. Here $\Delta_K(t)$ is the ...
16 votes
1 answer
399 views

Are there small examples of non-pivotal finite tensor categories?

I'm looking for small concrete examples of non-pivotal finite tensor categories to do some calculations with. Here a finite tensor category is, according to Etingof-Ostrik, a rigid monoidal category ...
3 votes
1 answer
89 views

Is there a fusion subcategory in sphericalization tensor equivalent to the original one?

Let $C$ be a fusion category. Then $C$ is not necessary spherical. But its sphericalization $\tilde{C}$ has a canonical spherical structure $i:Id\to **$. The simple objects of $\tilde{C}$ are pairs $(...
4 votes
0 answers
88 views

Nullstellensatz for maximal left ideals of quantum plane

Let $R=\mathbb{C}\langle x,y\rangle/\langle xy=qyx\rangle$ be the quantum plane algebra. Does some sort of Nullstellensatz holds for the maximal left ideals of $R$? By this we mean all maximal left ...
3 votes
1 answer
214 views

Relating different definitions of dual of a compact quantum group

Let $\mathbb{G}$ be a compact quantum group in the sense of Woronowicz. We can look at its associated dense Hopf$^*$-subalgebra $\mathbb{C}[\mathbb{G}]$. Hence, in the framework of multiplier Hopf $*$-...
34 votes
6 answers
4k views

Why Drinfel'd-Jimbo-type quantum groups?

Hopf algebras are pretty easy to motivate, as a not-necessarily-commutative generalization of the ring of functions on an algebraic group (and there are many other ways in which they come up). I like ...
4 votes
1 answer
421 views

Motivating quantum groups from knot invariants

Quantum groups are useful for making knot/link invariants: for example, $U_q(\mathfrak{sl}_2$) you get the Jones polynomial. This boils down to the fact that $\mathcal C = \operatorname{rep }U_q(\...
4 votes
0 answers
135 views

Lusztig's root datum

In his "Introduction to quantum groups", Lusztig first defines a Cartan datum $(I,\cdot)$ and then a root datum of $(I,\cdot)$-type, which suggests (to me) that a root datum is not ...
5 votes
1 answer
130 views

PBW basis for the quantized enveloping Lie algebra of $\mathfrak{g}_2$

I would like to know if you have any reference where I can find the canonical PBW basis for $U_q(\mathfrak{g}_2),$ computed using the action of the braid group as defined by Luzstig. Alternatively I ...
10 votes
1 answer
495 views

Hopf algebra with a non-invertible antipode

What is an example of a Hopf algebra with a non-invertible antipode?
2 votes
0 answers
69 views

Dimensions of centralizers in quantum Lie algebras associated to $\mathfrak{sl}_n$

Following ideas of Woronowicz, Lyubaschenko and Sudbery defined in Quantum Lie algebras of type $A_n$ the notion of a quantum Lie algebra $\mathfrak{sl}_n$. Let me focus on the case where $q$ is not a ...
5 votes
0 answers
120 views

Product of $U^+_q(\mathfrak{sl}_2)_i$ in $U_q(\mathfrak{g})$ according to some reduced expression

Let $\mathfrak{g}$ be some simple Lie algebra, $\alpha_1,\alpha_2,\cdots,\alpha_n$ be its simple roots. Let $U^+_q(\mathfrak{sl}_2)_i$ be the subalgebra of $U_q(\mathfrak{g})$ generated by $E_i,K_i$. ...
3 votes
1 answer
354 views

Calculating fusion rules for $\operatorname{Rep}(G)$ and $G_{k}$ [reference request]

Could somebody please direct me to textbooks / literature that (perhaps lay the foundations for and) detail the method for determining the fusion rules for categories such as $\operatorname{Rep}(G)$ ...
5 votes
0 answers
154 views

Interpretation of superfactorial in terms of plane partitions

Recently I got interested in plane partitions and the following formula by MacMahon, which counts the number of plane partitions $\pi \in B(r,s,t)$ fitting in an $(r,s,t)$-box: $$ \binom{r+s+t}{r,s,t}...
7 votes
1 answer
318 views

Is the comultiplication of a compact quantum group always injective?

Let $(A, \Delta)$ be a compact quantum group in the sense of Woronowicz. Is it true that the comultiplication $\Delta : A \to A \otimes A$ always injective? This is true for both the universal (...
6 votes
1 answer
512 views

What is Out(G-mod) for a finite group G?

Following the notation of Etingof-Nikshych-Ostrik what is Out(G-mod) for a finite group G? That is what are all bimodule cateogries over the fusion category G-mod of complex G-modules which have the ...
6 votes
1 answer
165 views

Norm of contragredient of unitary representations of compact quantum groups

Maybe the answer to the following question is known but I am unable to find it in the literature. Anyway, let me begin my question by fixing some notations and terms. Let $G = (A, \Delta)$ be a ...
1 vote
0 answers
111 views

How to understand a definition in KLR algebra in the setting of quantum affine algebras?

I am trying to figure out what should the following definition correspond to in the setting of quantum affine algebra: $$ X \circ Y = Ind_{\beta, \gamma}^{\beta+\gamma} X \boxtimes Y \quad (1) $$ This ...
28 votes
2 answers
2k views

Why is the Alexander polynomial a quantum invariant?

When we think of quantum invariants, we usually think of the Jones polynomial or of the coloured HOMFLYPT. But (arguably) the simplest example of a quantum invariant of a knot or link is its Alexander ...
20 votes
4 answers
2k views

Is there a volume conjecture for closed 3-manifolds?

A typical statement of the volume conjecture, for instance in Murakami's survey 1002.0126, is Conjecture: For $K$ a knot in $S^3$, the N-th colored Jones polynomials are related to the volume of ...
5 votes
2 answers
739 views

In what precise sense is quantum (i.e., non-commutative) probability not expressable in terms of classical probability?

The quantum set-up has many settings, so let's fix some definitions. I will be taking the Hilbert space approach with a minor modification that I will make explicit. We begin with a Hilbert space $\...
12 votes
2 answers
385 views

Reference for free symmetric monoidal categories with duals on symmetric monoidal categories

The inclusion $U$ of the (2,1)-category of symmetric monoidal categories with duals into the (2,1)-category of symmetric monoidal categories admits a left 2-adjoint functor $L$ for formal reasons. In ...
29 votes
4 answers
3k views

A mysterious Heisenberg algebra identity from Sylvester, 1867

I am trying to understand two papers by James Joseph Sylvester: P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...
1 vote
0 answers
136 views

Representation of quantum groups

Let $\mathbb{G}=(A,\Delta_A)$ be a C*-quantum group and $\mathbb{H}=(B,\Delta_B)$ be a closed quantum subgroup of $\mathbb{G}$. We say that $\mathbb{H}$ is a closed quantum subgroup of $\mathbb{G}$ if ...
4 votes
1 answer
184 views

Exponential map and Lie correspondence within a Hopf algebra setting

The Cartier-Konstant-Milnor-Moore (et al.) theorem for Hopf algebras states that a cocommutative Hopf algebra over $\mathbb{C}$ is isomorphic to a smash product of a universal enveloping algebra of a ...
3 votes
1 answer
361 views

On expressions of colored Jones polynomials

In the paper by Masbaum, it was shown that the colored Jones polynomials for a twist knot $K_p$ can be written as \begin{eqnarray} J_{n}(K_p;q)&=&\sum_{k=0}^{\infty} {\cal C}_{K_p}(k) \...
3 votes
0 answers
97 views

How to interpret compositional diagrams for quantum sets algebraically

$\newcommand{\id}{\mathrm{id}}$My reference for this post is Musto, Reutter and Verdon's A compositional approach to quantum functions, arXiv:1711.07945. Questions are in bold below. Allow me to begin ...
3 votes
1 answer
203 views

Woronowicz characters are multiplicative

I'm reading the book "Compact quantum groups and their representation categories" by Neshveyev-Tuset. Let $G$ be a $C^*$-algebraic compact quantum group with function algebra $(C(G), \Delta)...
3 votes
1 answer
141 views

Norm antipode on a Kac-type compact quantum group

Let $\mathbb{G}$ be a $C^*$-algebraic compact quantum group. Consider the associated dense Hopf$^*$-subalgebra $\mathcal{O}(\mathbb{G})$ and let $S: \mathcal{O}(\mathbb{G})\to \mathcal{O}(\mathbb{G})$ ...
4 votes
0 answers
158 views

Tensor product of representations on a compact quantum group

Let $\mathbb{G}$ be a $C^*$-algebraic compact quantum group (in the sense of Woronowicz) with function algebra $(C(\mathbb{G}), \Delta)$. Let $X \in M(B_0(H)\otimes C(\mathbb{G}))$ and $Y \in M(B_0(K)\...
11 votes
0 answers
240 views

Quantum groups at small roots of 1

I wonder if there is any literature about representations of quantum groups at a root of 1 of small order. For example, I would like to understand the case of $\mathrm{SL}(2)$ and $q=-1$ (in the ...
5 votes
1 answer
183 views

Subrepresentations of C*-algebraic compact quantum groups

Let $\mathbb{G}$ be a compact quantum group with function algebra $(C(\mathbb{G}), \Delta)$ (in the sense of Woronowicz). Let $X \in M(B_0(H) \otimes C(\mathbb{G}))$ be a (possibly infinite-...
5 votes
0 answers
79 views

Drinfel'd polynomials for evaluation representations of $\mathbf{U}_q(\mathbf{L}\mathfrak{g})$?

We know for type $A$, there is an evaluation homomorphism from quantum affine algebra to quantum algebra, $$\operatorname{ev}_a:\mathbf{U}_q(\mathbf{L}\mathfrak{g})\to \mathbf{U}_q(\mathfrak{g})$$ for ...
3 votes
0 answers
117 views

Relative strength of Jones and colored Jones polynomials

this is my first post here. I've been studying some Knot Theory and I came to a question concerning invariants. We know that the Jones polynomial is related to the RT-invariant associated to the two-...
3 votes
1 answer
200 views

Characterising algebraic compact quantum groups among Hopf $^*$-algebras

Let $(A, \Delta)$ be a Hopf $^*$-algebra. Assume that $\{u^\alpha\}_{\alpha \in I}$ is a maximal collection of pairwise inequivalent irreducible unitary corepresentation matrices. I want to show that $...
13 votes
1 answer
1k views

Why is Planar algebras I (by Vaughan Jones) not published?

On Saturday 4 September 1999, Vaughan Jones put on arXiv a paper entitled Planar algebras, I. Until now, this preprint was cited 343 times (according to Google Scholar). It is often cited with the ...
1 vote
1 answer
91 views

Orthogonality relations for Haar state and antipode (Timmerman)

Consider the following proposition from Timmerman's "An invitation to quantum groups and duality": I am having trouble seeing why the boxed equations are true (Note that on the left the ...
4 votes
0 answers
100 views

Explicit construction of the Drinfeld double for quasi-bialgebras

Let $A$ be a quasi-bialgebra over a field $k$ and $A$-$\mathrm{mod}$ be the category of finite dimensional left $A$-modules. Since $A$-$\mathrm{mod}$ is a monoidal category, its Drinfel’d center $\...
19 votes
4 answers
1k views

What are the points of Spec(Vassiliev Invariants)?

Background Recall that a (oriented) knot is a smoothly embedded circle $S^1$ in $\mathbb R^3$, up to some natural equivalence relation (which is not quite trivial to write down). The collection of ...
1 vote
0 answers
59 views

Indecomposable comodules

For a Hopf algebra $A$, we say that a comodule $V$ is indecomposable if it is not equivalent to a direct sum of irreducible comodules. $\bullet$ What is an example of a finite dimensional ...
1 vote
1 answer
595 views

What is a coalgebra?

A coalgebra is a triple $(A,\Delta,\epsilon)$ consisting of a vector space, a coproduct, and a counit. Now as we all know, just like the unit in an algebra, the counit of a coalgebra is unique, i.e. ...
2 votes
0 answers
171 views

Categorical dimension and formal codegrees

Let $\mathcal{C}$ be a complex fusion category. If it admits a pivotal structure $a$ then by [1, Proposition 4.7.12], $\dim_a$ induces a character $\chi$ on the Grothendieck ring $Gr(\mathcal{C})$, of ...
6 votes
2 answers
278 views

Drinfeld center of a Deligne tensor product

Let $\mathcal{C}$ and $\mathcal{D}$ be two tensor categories (if necessary, assume they are fusion categories). Is the canonical braided monoidal functor $$\mathcal{Z}(\mathcal{C})\boxtimes\mathcal{Z}(...
5 votes
2 answers
327 views

Classifying Hopf algebras that admit a single irreducible comodule

Is it possible to classify Hopf algebras $H$, over a field $k$, which admit a unique (up to isomorphism) irreducible comodule, namely the trivial $1$-dim comodule $$ k \to k \otimes H, ~~ k \mapsto k ...
4 votes
0 answers
311 views

The fusion categories with a strict skeleton

We refer to the book Tensor Categories (by Etingof-Gelaki-Nikshych-Ostrik) for all the notions mentioned in this post. A fusion category is skeletal if two isomorphic objects are always equal. Every ...
4 votes
1 answer
152 views

Link invariants from modular categories (strictification and computation)

By the theory of Reshetikhin and Turaev, a modular tensor category $C$ gives rise to a link invariant. While $C$ is strict as a monoidal category (e.g. $\mathbb{Fib}$), calculating the link can be ...
6 votes
0 answers
312 views

Homotopy transfer of cyclic L-infinity algebras

Suppose $W$ is a cyclic $L_\infty$ algebra, i.e. $W$ has a non-degenerate, symmetric, invariant pairing $\langle\cdot,\cdot\rangle_W$. Let $V$ be a cochain complex, and suppose given the data of a ...
1 vote
0 answers
181 views

Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps $$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$ is exact if it is exact on the the underlying chain complexes level. Thought I don't know ...
3 votes
1 answer
137 views

Nonstandard Podles spheres as $U_c(\frak{h})$ invariants

In this paper Podles introduced a $2$-parameter family of $q$-deformed spheres $S_{q,c}$ that are now called the "Podles spheres". The case of $c=0$ is very special and is known as the "...
3 votes
1 answer
315 views

The adjoint representation of $U_q({\frak sl}_2)$ on itself

Let $U_q(\frak{sl}_2)$ denote the quantum universal enveloping algebra of $\frak{sl}_2$, and consider the adjoint action $$ \mathrm{ad}_X: U_q({\frak sl}_2) \to U_q({\frak sl}_2), ~~ Y \mapsto S(X_{(...

1 2
3
4 5
17