Questions tagged [qa.quantum-algebra]
Quantum groups, skein theories, operadic and diagrammatic algebra, quantum field theory
827
questions
2
votes
0
answers
63
views
Existence of a unitary fusion category with this relation ruled out on finite groups
In this answer, Geoff ruled out the existence of a finite group $G$ such that the fusion category $\mathrm{Rep}(G)$ has simple objects $5_1$ and $7_1$ of FPdim $5$ and $7$ resp., with (for some object ...
5
votes
2
answers
611
views
Characters on Hopf algebras
For any algebra $A$, a character for $A$ is a non-zero algebra map $c:A \to \mathbb{C}$. For $H$ be a Hopf algebra, a character is given by $\epsilon:H \to \mathbb{C}$ the counit of $H$. I am looking ...
8
votes
1
answer
832
views
Drinfeld center of a braided category
Suppose I have a braided monoidal category $\mathcal{C}$. I specifically am interested in the case where $\mathcal{C}$ is the category of finite-dimensional modules of a quantum group, say $\mathcal{U}...
7
votes
2
answers
498
views
Representations of $D(G)$ as an object in the center of $\operatorname{Rep}(G)$
Let $G$ be a finite group and $D(G)$ its quantum double. As in my previous question, a typical irreducible representation (finite dimensional over $\mathbb{C}$) is labeled by $(\theta,\pi)$, where $\...
5
votes
1
answer
300
views
What is the smallest rank for a noncommutative fusion ring?
A fusion ring $\mathcal{F}$ (of rank $r$) is given by a finite set $B = \{b_1,b_2, \dots, b_r \}$ such that $b_i b_j = \sum_k n_{i,j}^k b_k$ with $n_{i,j}^k \in \mathbb{Z}_{\ge 0}$, satisfying ...
3
votes
3
answers
422
views
Is there a noncommutative simple fusion ring?
A fusion ring $\mathcal{F}$ is given by a finite set $B = \{b_1,b_2, \dots, b_r \}$ such that $b_i b_j = \sum_k n_{i,j}^k b_k$ with $n_{i,j}^k \in \mathbb{Z}_{\ge 0}$, satisfying axioms slightly ...
8
votes
3
answers
474
views
Classification of $\operatorname{Rep} D(G)$
Let $G$ be a finite group and $D(G)$ its quantum double. Its finite dimensional complex representations are classified in this Dijkgraaf et al. Quasi-Quantum Groups Related To Orbifold Models. However,...
1
vote
0
answers
192
views
Are there skein relations for the colored Alexander/ADO invariants?
The Alexander polynomial/Conway potential can be computed as the quantum invariant associated to (a certain quotient of) $\mathcal U_q(\mathfrak{sl}_2)$ for $q = i$. More generally this works for $q = ...
2
votes
0
answers
70
views
Embedding problems on quantum groups?
We work over the field of complex numbers.
We have known that Lie algebra of type $A_2 $is a subalgebra of type $G_2$. However, when we consider their quantum groups, is this true i.e. does there ...
2
votes
2
answers
470
views
Comultiplication of elements of partition of unity
Let $F(G)$ be the algebra of functions on a finite quantum group $G$ (so that $F(G)$ is a finite dimensional $\mathrm{C}^*$-Hopf algebra).
Suppose that $\{p_i:i=0,\dots,d-1\}\subset F(G)$ is a ...
3
votes
1
answer
205
views
F-symbols for compact Lie groups
Consider a Unitary Modular Tensor Category constructed from the quantum group of some compact, simple and simply-connected Lie group $U_q(G)$ at $q=e^{2\pi i/(k+h)}$ for some integer $k$. In general, ...
1
vote
0
answers
109
views
Pants algebra $M_n$ as a dagger-special symmetric Frobenius algebra and $CP^*$
I'm looking at the paper Categorical Quantum Mechanics II: Classical-Quantum interaction by Coecke and Kissinger (arxiv link), and I'm having difficulty with one particular aspect.
Throughout the ...
7
votes
1
answer
550
views
Is there an integral fusion ring which is not of Frobenius type?
Combinatorially, a fusion ring $\mathcal{F}$ is nothing but a finite set $B=\{b_1, \dots, b_r\}$ (generating the $\mathbb{Z}$-module $\mathbb{Z} B$) together with fusion rules: $$ b_i \cdot b_j = \...
28
votes
0
answers
508
views
What algebraic structure characterizes all natural operations between differential operators and differential forms?
On a smooth manifold $M$ one can define various algebraic structures, natural with respect to diffeomorphisms:
the differential graded-commutative algebra $\Omega(M)$ of differential forms on $M$;
...
4
votes
1
answer
436
views
A submodule of a tensor product of $U_q^{\prime}(\mathfrak{g})$-modules
Does anyone have a proof for the following Lemma?
Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$ and $U_q^{\prime}(\mathfrak{g})$ be the quantum affine algebra over $\...
4
votes
0
answers
119
views
Star product on functions of a Poisson-Lie group
Consider a Poisson-Lie group $G$, with whatever additional requirements (quasi-triangular, compact, simply connected).
We can consider $G$ as a Poisson Manifold and apply Kontsevich formality to ...
2
votes
0
answers
279
views
Tracking down an elusive book
A few weeks ago I had a very engaging talk with a faculty member, where he told me lots of interesting things about quantum algebras, know theory and Reshetikhin-Turaev invariants (this field is not ...
5
votes
1
answer
275
views
Jack polynomial and Selberg integral
I am studying the generalisation of the Selberg's integral by using Jack polynomial as outlined by Forrester and Warnaar (arXiv: 0710.3981). They write down the symmetric Jack polynomial as
\begin{...
4
votes
0
answers
190
views
A group-theoretical analogous of Temperley-Lieb-Jones subfactor planar algebras
The Temperley-Lieb-Jones subfactor planar algebra $\mathcal{TLJ}_{\delta}$ admits the following properties:
maximal,
it exists for every possible index, i.e. $\delta^2 \in \{4cos^2(\pi/n) \ | \ n \...
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 ...
7
votes
2
answers
372
views
Non-associative deformation quantization
Several physicists consider non-Poisson bivectors but still apply Kontsevich formality in order to get deformation quantization type results: see e.g. Szabos's review An introduction to nonassociative ...
4
votes
0
answers
269
views
Are vertex operator algebras ever conspiratorial?
I have a vertex operator algebra (VOA) $V$ with all niceness properties (unitary, rational, CFT type, etc). Its Lie algebra $\mathfrak{g} = V_1$ of spin-$1$ fields is large, and I understand how the ...
8
votes
1
answer
383
views
Image of Comultiplication on Finite Quantum Groups/Hopf Algebras
Let $A=:F(G)$ be the algebra of functions on a finite quantum groups aka a finite dimensional C*-Hopf Algebra.
Suppose that $F(G)$ is neither commutative nor cocommutative.
In their 1966 paper Kac and ...
5
votes
0
answers
235
views
Drinfeld Polynomial for Yangian $Y(\mathfrak{sl}_2)$
I am looking for a direct proof that a highest weight representation of $Y(\mathfrak{sl}_2)$ is finite-dimensional if its highest weight is determined by a Drinfeld polynomial.
The results was ...
17
votes
1
answer
3k
views
Conjectures of Peter Scholze about q-de Rham complex: examples
Peter Scholze formulated several conjectures about $q$-de Rham complex in the paper
Canonical $q$-deformations in arithmetic geometry, Ann. Fac. Sci. Toulouse Math. (6) 26 (2017), no. 5, pp 1163–...
14
votes
1
answer
636
views
Is every finite quantum group a quantum symmetry group?
This post is basically a quantum extension of Is every finite group a group of “symmetries”?
Here finite quantum group means finite dimensional Hopf ${\rm C}^{\star}$-algebra.
Frucht's theorem ...
11
votes
2
answers
677
views
q-difference equations and quantum mechanics
I have been trying to understand why the term quantum is so easily accepted for calculus based on q-numbers $[n]_q=\frac{q^n-1}{q-1}$ and q-analogs of classical operators (derivatives, integrals,...).
...
17
votes
2
answers
2k
views
Quantum corrections to geometry
In this video Alain Connes made a comment about the ,,quantum corrections'' of the geometry. I would like to understand this notion in some details since I haven't found anything about this in the ...
11
votes
0
answers
314
views
Hausdorff dimension and von Neumann dimension
There are two subjects in which non-integral dimensions appear:
fractal geometry: consider the well-known Hausdorff dimension of fractals.
von Neumann algebra: consider a type ${\rm II_1}$ ...
5
votes
1
answer
209
views
Zero divisors in compact quantum groups
Let $\mathcal{G}$ be compact quantum group in the sense of S. L. Woronowicz. As is well-known, every compact quantum group contains a dense Hopf algebra, called the polynomial Hopf algebra Pol$(\...
3
votes
0
answers
70
views
Quotient of the free Poisson algebra
Assume 𝑃 is the free Poisson algebra on the set of generators $𝑋=\{𝑥_{1},𝑥_{2},…,𝑥_{𝑛}\}$. It is well-known that 𝑃 is the polynomial algebra with infinitely many generators $y_{1}$, $y_{2}$, ......
2
votes
0
answers
105
views
Why are the quantum Fock spaces in FLOTW the same as Uglov's?
Theorem 2.5 in the well-known FLOTW paper [1] and Theorem 2.1 in Uglov's paper [2] both refer to the original JMMO paper [3]
to define quantum Fock spaces, i.e. Fock spaces for $U_q(\widehat{\...
5
votes
2
answers
375
views
Indecomposable, non-simple, modules of quantum groups at roots of unity
Let us consider the quantum group $U_q(\mathfrak{sl}_2)$ (as defined in Kassel's book on quantum groups), for $q$ being a root of unity of order $d$ (i.e., $d$ is the smallest positive integer for ...
3
votes
0
answers
70
views
Is there a semisimple Hopf algebra Grothendieck equivalent to a strictly weak one?
By Corollary 2.22 in On fusion categories (by Pavel Etingof, Dmitri Nikshych and Viktor Ostrik) any fusion category is equivalent to the category of finite dimensional representations of a semisimple ...
5
votes
1
answer
182
views
Fusion category and induction matrix to its Drinfeld center: combinatorial properties
This question is inspired by this paper of Scott Morrison and Kevin Walker.
Consider a fusion category $\mathcal{C}$ of rank $r$, and its Drinfeld center $Z(\mathcal{C})$ of rank $s$.
Let $N_i = (n_{...
7
votes
0
answers
168
views
How to translate connection on four graphs to quantum 6j symbols
I need the explicit quantum 6j symbols for the Haagerup fusion category for a physics research project. This paper math/9803044 by Asaeda and Haagerup brute-force constructs the Haagerup subfactor, by ...
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 ...
2
votes
1
answer
159
views
Highest-$\ell$-weight tensor products and diagram subalgebras
Let $U_q(\mathcal{L}({\mathfrak{g}}))$ be a quantum loop algebra and $I$ the set of indexes of Dynking diagram of $\mathfrak{g}$. Consider $J\subset I$ a connected subdiagram, so that $U_q(\mathcal{L}(...
10
votes
1
answer
315
views
Is the quantum $\mathfrak{sl}_3$ invariant stronger than the quantum $\mathfrak{sl}_2$ invariant?
Both the $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$ quantum framed link invariants can be computed using linear skeins. The first being computed using the Kauffman bracket and the second using a similar ...
9
votes
0
answers
402
views
Lagrangian subgroups/submanifolds, 2d topological boundary and 3d "non-abelian" Chern–Simons theory
This post is meant to ask for proper references to fill a gap in the literature.
My short question is that are there known and precise ways to formulate 2d topological boundary conditions" for ...
4
votes
0
answers
141
views
Decomposition of the group of Bogoliubov transformations
Consider the fermion Fock space $\mathcal{F}=\bigoplus_{k\ge 0}\bigwedge^k\mathfrak{h}$ of some finite-dimensional 1-particle Hilbert space $\mathfrak{h}$. The group $\mathrm{Bog}(\mathcal{F})$ of ...
11
votes
0
answers
277
views
Is there a non-Kac complex finite dimensional semisimple Hopf algebra?
A complex (finite-dimensional) Hopf algebra is said to be a
Kac algebra if it is a ${\rm C^{\star}}$-algebra in such a way that the comultiplication $\Delta$ is a $\star$-homomorphism. Obviously, a (...
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 ...
11
votes
0
answers
247
views
Analogy between BV formalism and integration by residues
Domenico Fiorenza begins his description of the Batalin–Vilkovisky formalism by pointing out an analogy with integration by residues:
Take a top form (density) on $\mathbf R$ resp. space of fields;
...
10
votes
1
answer
515
views
Functoriality of the Hopf dual
Given Hopf $\mathbb{C}$-algebra $H$, it's Hopf dual $H^o$ is the largest Hopf algebra contained in $H^*$, the $\mathbb{C}$-linear dual of $H$. (This is well known to be well-defined, see for example ...
3
votes
0
answers
53
views
Quotient of quasi-isomorphic nonpositively graded cdga's
I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) concentrated in nonpositive degree, and $\mathfrak ...
4
votes
1
answer
184
views
Quotient of quasi-isomorphic cdga's
I'm looking for a theorem about quotient of quasi-isomorphic cdga's:
Let $A, B$ be two cdga's (commutative differential $\mathbb Z$-graded algebra) of nonpositive degrees, and $\mathfrak m \subset A, ...
4
votes
2
answers
247
views
How to compute the inverse of a quantum determinant?
Let $X=(x_{ij})_{mn}$ be a quantum matrix with the commutation relations between entries:
\begin{alignat*}{2}
& x_{ij} x_{il} = q x_{il} x_{ij}, && j < l, \\
& x_{ij} x_{kj} = q ...
11
votes
3
answers
595
views
Quantum groups and deformations of the monoidal category of $U(\frak{g})$-modules
In the first answer for this question is writen, about the braided category of representation of the enveloping algebra $U(\frak{g})$, for $\frak{g}$ a semisimple Lie algebra:
The space of ...
5
votes
0
answers
116
views
Yangians as unique deformation
In Drinfeld's paper "Hopf algebras and the quantum Yang-Baxter equation" there is a statement (Theorem 2) that Yangian is a unique quantization of the corresponding Lie bialgebra.
My question is ...