Questions tagged [qa.quantum-algebra]

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

Filter by
Sorted by
Tagged with
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 ...
Sebastien Palcoux's user avatar
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 ...
Fofi Konstantopoulou's user avatar
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}...
Calvin McPhail-Snyder's user avatar
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 $\...
Student's user avatar
  • 5,008
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 ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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,...
Student's user avatar
  • 5,008
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 = ...
Calvin McPhail-Snyder's user avatar
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 ...
user11090426's user avatar
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 ...
JP McCarthy's user avatar
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, ...
Delmastro's user avatar
  • 195
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 ...
Student's user avatar
  • 33
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 = \...
Sebastien Palcoux's user avatar
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$; ...
Dmitri Pavlov's user avatar
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 $\...
cl4y70n____'s user avatar
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 ...
Rik Voorhaar's user avatar
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 ...
user43263's user avatar
  • 667
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{...
morgoth's user avatar
  • 53
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 \...
Sebastien Palcoux's user avatar
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 ...
Eugene Rabinovich's user avatar
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 ...
Jim Stasheff's user avatar
  • 3,840
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 ...
Theo Johnson-Freyd's user avatar
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 ...
JP McCarthy's user avatar
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 ...
Zhihua Chang's user avatar
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–...
Daniil Rudenko's user avatar
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 ...
Sebastien Palcoux's user avatar
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,...). ...
plm's user avatar
  • 972
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 ...
truebaran's user avatar
  • 9,140
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}$ ...
Sebastien Palcoux's user avatar
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$(\...
Dave Shulman's user avatar
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}$, ......
user100's user avatar
  • 31
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{\...
Chris Schoennenbeck's user avatar
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 ...
Konstantinos Kanakoglou's user avatar
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 ...
Sebastien Palcoux's user avatar
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_{...
Sebastien Palcoux's user avatar
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 ...
Ying's user avatar
  • 437
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 ...
Nadia SUSY's user avatar
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}(...
cl4y70n____'s user avatar
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 ...
user530316's user avatar
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 ...
wonderich's user avatar
  • 10.3k
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 ...
Robert Rauch's user avatar
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 (...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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; ...
Alex Shpilkin's user avatar
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 ...
Nadia SUSY's user avatar
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 ...
Hsuan-Yi Liao's user avatar
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, ...
Hsuan-Yi Liao's user avatar
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 ...
Jianrong Li's user avatar
  • 6,101
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 ...
Bas Winkelman's user avatar
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 ...
DerLoewe's user avatar

1
3 4
5
6 7
17