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

learn more… | top users | synonyms

1
vote
1answer
251 views

Does a nonabelian Picard group exist?

Over a noncommutative algebra $A$ we have no problem in defining invertible bimodules (as in the book by Bass on algebraic $K$-theory) - corresponding to line bundles over topological spaces $X$ if $A=...
13
votes
1answer
713 views

Representations of quantum groups at roots of unity

I'm interested in the semisimplified category of representations of a quantum group at a root of unity. I've heard that simple objects in this category correspond to certain "integral" conjugacy ...
12
votes
0answers
225 views

What is the (quasi-) classical limit of categorified quantum groups?

$\newcommand{\g}{\mathfrak g}$ Let $G$ be a reductive group and $U_q(\g)$ the associated quantum group. One can argue that the classical limit of $U_q(\g)$ is $G$ or $\g$, with some Poisson structure, ...
0
votes
1answer
94 views

Definition of a cosemisimple Hopf algebra

A cosemisimple Hopf algebra is usually defined to a Hopf algebra which is the sum of its cosimple subcoalgebras. Does this definition assume that each cosimple subcoalgebra appears only once in the ...
8
votes
3answers
330 views

What are the intermediate subfactors of the tensor product of two maximal subfactors?

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two maximal subfactors. Their tensor product, the subfactor $(N_1 \otimes N_2 \subset M_1 \otimes M_2)$, admits four obvious intermediate ...
6
votes
0answers
115 views

Are the weight spaces of indecomposable $U_q\mathfrak{sl}(2)$-modules at most 2-dimensional?

This is a follow up of this question. Let $U_q\mathfrak{sl}(2)$ be Lusztig's integral form of the quantized enveloping algebra of $\mathfrak{sl}_2$, specialised at $q$ a root of unity. This is an ...
-1
votes
1answer
119 views

Crystal basis for quantum groups and Lie algebras

Lie $g$ be a finite dimensional complex simple Lie algebra and $U_q(g)$ the corresponding quantum group, where $q$ is not a root of unity. Every simple finite dimensional $g$-module is of the form $V(\...
8
votes
0answers
73 views

Are the quantum groups $C_q[SU_{1,1}]$ and $C_q[SL_{2}(R)]$ isomorphic?

Classically the group of Moebius transformations of the unit disk and Moebius transformations of the upper half plane are isomorphic, as the unit disk and upper half plane are transformed into each ...
0
votes
0answers
32 views

Simple modules of quantum toroidal algebras

Many properties of quantum toroidal algebras are similar to quantum affine algebras. Every simple module of a quantum affine algebra of rank $n$ corresponds to an $n$-tuple of Drinfeld polynomials. ...
16
votes
0answers
269 views

What are the indecomposable $U_q\mathfrak{sl}(2)$-modules?

Let $\mathfrak g=\mathfrak{sl}(2)$. Let $\zeta$ be a primitive root of unity of even order. Say $\zeta=e^{2\pi i/6}$, for concreteness. Let $U_q\mathfrak g$ be Lusztig's integral form of the ...
9
votes
2answers
466 views

Computing in quantum groups

I'd be interested in doing some computations in quantum groups $ U_q(\mathfrak g)$ that are conceptually simple (``is this element 0"?, and $\mathfrak g = sl_5$), but are somewhat lengthy to do by ...
5
votes
0answers
126 views

Deformation quantization of Poisson bracket without star-product

Kontsevich's formality theorem implies in particular that star-products on a $C^\infty$-manifold $M$, $$f\star g = fg + \sum_{k\geq1} \hbar^k B_k(f,g),\qquad f,g\in C^\infty(M),$$ where $B_k$ are ...
5
votes
1answer
377 views

What is the state in the WRT TQFT associated to a handlebody?

Let $Y^3$ be a handlebody with boundary $\Sigma$. By definition, there is some associated vector $v_{WRT}(Y^3)\in Z(\Sigma)$, the (finite dimensional) Hilbert space associated to $\Sigma$ by the ...
12
votes
0answers
459 views

Generalization of Witten's computation of the volume of moduli space

Let $\Sigma$ be a Riemann surface, and let $X:=\operatorname{Hom}(\pi_1(\Sigma),\operatorname{SU}(2))/\operatorname{SU}(2)$ be the $\operatorname{SU}(2)$ character variety of $\pi_1(\Sigma)$. There ...
3
votes
1answer
126 views

How to obtain an quantization of the algebra of functions of a given space?

My question is inspired by quantum spheres and quantum projective spaces (studied by Dijkhuizen & Noumi, Vaksman & Soibelman, etc., i.e. "A FAMILY OF QUANTUM PROJECTIVE SPACES AND RELATED $q$-...
0
votes
0answers
80 views

How to write a braiding as a matrix?

Let $V$ be the vector representation of $sl_n$. Then $V \otimes V$ is a $U_q(sl_n)$-module. Suppose that a braiding \begin{align} \Psi: V \otimes V \to V \otimes V \end{align} satisfies the ...
5
votes
1answer
434 views

TQFT and Mapping Class Groups

It is well known how could we get a representation of the mapping class group of a surface S (which I assume compact, connected and orientable), given a TQFT. My question is: is there any reference ...
2
votes
0answers
66 views

Bialgebraic structure of Sklyanin algebra

Does Sklyanin algebra (which is an elliptic extension of the quantum group) admit a bialgebra structure or even Hopf algebraic structure? Or is it proved that it is impossible to have such a structure?...
3
votes
0answers
251 views

Do real polarization and Kahler polarization of character varieties of closed surfaces give equivalent representations of the Mapping Class Group?

This is a question about the Witten--Reshetikhin--Turaev representations of the mapping class group of a closed surface $\Sigma_g$. For simplicity, we'll stick to the case $G=SU(2)$. These ...
6
votes
0answers
147 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 ...
3
votes
1answer
79 views

Comodules of Cosemisimple Hopf Algebras

A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
2
votes
1answer
89 views

When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...
5
votes
2answers
103 views

When are the braid relations in a quasitriangular Hopf algebra equivalent?

Quasitriangular Hopf algebras have to satisfy, amongst other conditions, the following equations: $$(\Delta \otimes \mathrm{id}) (R) = R_{13} R_{23}$$ $$(\mathrm{id} \otimes \Delta) (R) = R_{13} R_{12}...
6
votes
1answer
109 views

The Quantum Group ${\cal O}_q(SL(n))$, for $q>1$

For the quantum group ${\cal O}_q(SL(n))$, $q\in \mathbb{R}$, I have read, without a proof, that for $p>1$, there exists a $q\in (0,1)$ such that $$ {\cal O}_p(SL(n)) \simeq {\cal O}_q(SL(n)). $$ ...
2
votes
0answers
43 views

How to value $\Omega$ in T-system for twisted quantum affine algebras?

Let us proceed to the unrestricted T-systems. Choose $h\in {\mathbb{C}\backslash 2\pi \sqrt{-1} \mathbb{Q}}$ arbitrarily. The unrestricted T-system for $U_{q}(X_{N}^{(\mathfrak{k})})$ is the following ...
6
votes
0answers
90 views

Modular double of elliptic quantum group

By studying dynamical quantum Yang-Baxter equations and corresponding $RLL$ relations, Felder defined an elliptic version of quantum group $E_{\tau, \eta}(sl_2)$, which can be understood as $\mathfrak{...
8
votes
0answers
539 views

Does anyone know this sequence of polynomials?

A referee on a paper of mine showed me the following recurrence for polynomials $P_{n,k}\in\mathbb Q[q,q^{-1}]$ for $n\geq 0$ and $0\leq k\leq n/2$. \begin{align} P_{0,0}&=1\\ \text{for $n\geq 1$}...
7
votes
2answers
273 views

The Irreducible Representations of the Sekine Quantum Groups

Here Y. Sekine introduces a one-parameter family of finite quantum groups of dimension $2n^2$. Let $n\geq 3$ be fixed and $\zeta=e^{2\pi i/n}$. Set $$\mathcal{B}_n=\mathbb{Z}_n\times\mathbb{Z}_n=\{(i,...
3
votes
0answers
85 views

Self-dual vertex algebras

Let $(V,Y)$ be a self-dual conformal vertex algebra. For instance, it could be the vertex algebra associated to a positive definite, even, unimodular quadratic form. I look for a formula to compute $$ ...
5
votes
1answer
199 views

Bounding $p$-adic characters and Jacquet-Langlands tranfert

I would like to bound uniformly in $\pi$ the $p$-adic Harisch-Chandra characters $\Theta_p$ for division quaternion algebras. By the Jacquet-Langlands correspondence, it is sufficient to bound it on $...
2
votes
0answers
183 views

The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual. Let the Fourier transform $\mathcal{F}: \mathbb{A} \to \hat{\mathbb{...
4
votes
1answer
216 views

Understanding “Decategorified” symplectic Khovanov homology

In http://arxiv.org/abs/math/0405089 Seidel and Smith constructed a link invariant using Lagrangian Floer theory that was conjectured to be equivalent to Khovanov homology. The equivalence was ...
50
votes
4answers
4k views

Why hasn't anyone proved that the two standard approaches to quantizing Chern-Simons theory are equivalent?

The two standard approaches to the quantization of Chern-Simons theory are geometric quantization of character varieties, and quantum groups plus skein theory. These two approaches were both first ...
5
votes
0answers
83 views

Distinguishing the Duflo star product

$\newcommand{\g}{\mathfrak g}\newcommand{\h}{\hbar}$ For a finite dimensional Lie algebra $\g$, he Duflo isomorphism is a complicated algebra isomorphism between the $\g$-invariant part $S(\g)^\g$ of ...
14
votes
2answers
631 views

Projective modules over quantum groups

My question is short: How can one calculate $\operatorname{Tor}_{U_q(\mathfrak g)}(k,k)$? ($k$ is the ground field of characteristic zero). If we had a regular universal enveloping algebra $U(\...
15
votes
1answer
983 views

On Tamarkin's proof of Etingof-Kazhdan quantization of Lie bialgebra

This question is motivated by the desire to understand better the interplay between Drinfeld associators, algebraic structures up to homotopy and related results. Recall that a Lie bialgebra is a Lie ...
33
votes
2answers
2k views

Is there a “quantum” Riemann zeta function?

Occasionally I find myself in a situation where a naive, non-rigorous computation leads me to a divergent sum, like $\sum_{n=1}^\infty n$. In times like these, a standard approach is to guess the ...
9
votes
1answer
194 views

Comparing a Chevalley basis with the canonical basis of the adjoint module?

First some background: Given a simple Lie algebra $\mathfrak{g}$ over an algebraically closed field of characteristic 0 such as $\mathbb{C}$, fix a Cartan decomposition $\mathfrak{g} = \mathfrak{h} \...
4
votes
0answers
143 views

Quantization of $S^2$ as $C^*$-algebra?

The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695). The particular question is about ...
8
votes
0answers
143 views

Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...
6
votes
1answer
105 views

Classifying Low Dimensional Solutions of the Yang--Baxter Equation

What is the present situation with classifying solutions of the Yang--Baxter equation in low dimensions? To make my question more specific, have all solutions for dimension $2$ and $3$ been ...
3
votes
1answer
89 views

Can the ribbon category of f.d. reps of $\mathcal{U}_q(\mathfrak{sl}(2))$ be modified so the twist is trivial on the vector representation?

Consider the ribbon category of finite-dimensional representations of $\mathcal{U}_q(\mathfrak{sl}(2))$, with twist $\theta$. If $V$ is the vector representation, then $\theta_V$ is multiplication by $...
19
votes
4answers
1k views

Why are quantum groups so called?

I've recently been to a seminar on quantum matrices. In particular the speaker introduced these objects as the coordinate ring of $2$ by $2$ matrices modulo some odd looking relations (see start of ...
3
votes
0answers
278 views

Is there a non-trivial Hopf algebra without left coideal subalgebra?

Let $H$ be a Hopf algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$. A subalgebra $I$ of $H$ is called a left coideal subalgebra if $\Delta(I) \subset H \otimes I$. $H$ is ...
5
votes
2answers
183 views

How to make a premodular category a modular tensor category?

A premodular category (also called ribbon fusion category) is roughly speaking a tensor category where fusion and braiding of the objects are defined. With an extra nondegeneracy condition for the ...
7
votes
0answers
185 views

Flat connection from gauged WZW model

$\newcommand{\g}{\mathfrak g}$ $\newcommand{\h}{\mathfrak h}$ In short my question is : Has someone worked out the flat connection that one should get from the gauged WZW model in genus 0 ? Some ...
2
votes
0answers
82 views

Cosemi-simple FRT Hopf Algebras

This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...
7
votes
1answer
205 views

Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$?

Let $n\in\mathbb N$. Let $k$ be a commutative ring in which $1,2,3,\ldots$ are invertible. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $...
9
votes
4answers
2k views

Short Introduction to Planar Algebras

Are there any good short expositions of planar algebras out there? I am interested primarily in seeing the main definition and some explicit examples.
4
votes
1answer
230 views

Open questions on (finite) tensor categories

I would like to know about problems on (finite) tensor categories. I have read Etingof´s notes from his course at MIT. I have a question: There exists any reference where I can find an open problem ...