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

learn more… | top users | synonyms

15
votes
0answers
514 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 ...
14
votes
0answers
141 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 ...
12
votes
0answers
482 views

Non-“weakly group theoretical” integral fusion categories?

Can you exclude integral fusion categories of global dimension 210, such that the simple objects have dimensions {1,5,5,5,6,7,7} and the following fusion matrices (I don't write the trivial one) ? ...
12
votes
0answers
517 views

Capelli determinant = Duflo ( determinant) - was it known ?

Question briefly. Was this fact known: Capelli determinant = Duflo (determinant) ? (This is an equality of the two central elements in universal enveloping of Lie algebra $gl_n$). I googled a lot ...
12
votes
0answers
330 views

When can we tell if PROPs, Algebraic Theories, etc. are faithfully detected in a given category?

I am interested in understanding a certain phenomenon. I am hoping this sort of problem has been studied before, but I don't know the proper terminology and am having trouble finding answers. I am ...
12
votes
0answers
488 views

Given an algebra, can it be realized as a block of a Hopf algebra?

During a classification problem I came across a set of algebras given as the path algebra of a quiver with relations. As an example the local ones: $k\langle x,y\rangle/x^2,y^2, xy-qyx$, where $q\in ...
11
votes
0answers
310 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)$. ...
11
votes
0answers
623 views

Is there an “arithmetic cobordism category”?

This question is a clumsy attempt to apply a certain analogy. I hope that if the answer is negative it comes with a clarification of the scope and limitations of the analogy. Arithmetic topology is ...
9
votes
0answers
231 views

Are there only finitely many maximal subfactors of a fixed finite index ?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. Question: are there only finitely many maximal subfactors of a fixed finite ...
9
votes
0answers
362 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 ...
9
votes
0answers
305 views

Is the quantum dilogarithm related in any way to cohomology of quantum groups?

Is the quantum dilogarithm related in any way to cohomology of quantum groups? This question is a bit vague, and I don't have any rigorous justification for such a connection, but let me explain ...
8
votes
0answers
183 views

Decomposition of certain projectives for cyclotomic q-Schur algebras

In representation theory, a very popular set of finite dimensional algebras are the $q$-Schur algebras, which are given by looking at the endomorphisms of $V^{\otimes d}$ where $V$ is the standard ...
7
votes
0answers
144 views

Does the braid group act faithfully on the quantized enveloping algebra?

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, and let $U_q(\mathfrak{g})$ be some incarnation of the quantized universal enveloping algebra of $\mathfrak{g}$, where ...
7
votes
0answers
416 views

duality between universal enveloping and function algebra for GL(n)

Motivation. Few years ago I constructed a family of internal Hopf algebras in the Loday-Pirashvili tensor category of linear maps which is in a sense a generalization of the algebra of regular ...
6
votes
0answers
219 views

Paving conjecture for Toeplitz matrices

Let me first recall what is the so-called paving conjecture: for any $\epsilon >0$, there exists $r\in \mathbb N$ such that for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a ...
6
votes
0answers
192 views

Category of modules over a coPoisson-bialgebra

Fix a ground commutative ring $k$. A coPoisson-bialgebra is a bialgebra $H$ equipped with a linear mapping $\pi:H \rightarrow H \otimes_k H$ s.t. $\pi$ is a coLie bracket $\pi$ is a coderivation ...
6
votes
0answers
444 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$. ...
6
votes
0answers
248 views

Is the category of tangles that includes, X, Y, and Lambda a free Frobenius braided category?

Consider the category whose objects are non-negative integers that are represented as dots along a line, and whose morphisms are generated by $X$---positive crossing, $\bar{X}$ --- negative crossing, ...
6
votes
0answers
395 views

Where can I find tables of dual canonical basis vectors?

Leclerc (arXiv:math/0209133) has given us an algorithm for computing the dual canonical basis of the upper part of a quantised enveloping algebra. Now presumably this algorithm has been implemented ...
6
votes
0answers
316 views

Quantum polynomial rings and singularities

Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...
5
votes
0answers
170 views

How to compute the abelianization of the representation theory of a Hopf algebra?

I will ask two versions of my question, which probably aren't precisely the same, and I am also interested in hearing about nuances between the two. Version 1: Let $(C,\otimes)$ be any monoidal ...
5
votes
0answers
255 views

Is there a version of the 2d cobordism hypothesis for surfaces with non-empty incoming and outgoing boundary?

Question: Is there a condition on an object $x$ of an $(\infty,2)$-category $\mathcal C$ which is equivalent to $x = Z(pt_+)$ for a unique TFT $Z$ from the $(\infty,2)$-category of framed bordisms ...
5
votes
0answers
110 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. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $x_n$ over $k$. (The multiplication in ...
5
votes
0answers
177 views

deformed Gauss Bonnet formula?

I was reading about Gauss-Bonnet for circles, that integrating the curvature over the circle $\gamma(t)$ leads to the number of times $\gamma'(t)$ rotates around the origin. (The degree of the Gauss ...
5
votes
0answers
247 views

Quantum dynamics on varieties: asymptotic quantum trace distance on SHL varieties

The Question Asked Definition: the Second-Hand Lion trace distance $D_k$ Let $\mathcal{M}^{(kk)}_r$ be the set of $k\times k$ complex matrices of rank $\le r$ having unit trace norm. Then the ...
4
votes
0answers
75 views

Ribbon Algebras and Co-(dual)-quasi-triangular Hopf Algebras

As is well-known, one can use the coquasi-triangular structure $\cal R$ of $U_q(\frak{g})$ to give it's category of (right) modules $\cal{M}_{U_q(\frak{g})}$ the structure of a braided monoidal ...
4
votes
0answers
155 views

An embedding theorem for a fusion ring planar algebra?

We first recall the embedding theorem for finite depth subfactor planar algebras: The planar algebra generated by a (finite depth) subfactor, is embeddable into the planar algebra generated by its ...
4
votes
0answers
160 views

Existence of a Kac algebra for a given fusion ring in a particular class

A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., ...
4
votes
0answers
125 views

Kauffman's state model for the Alexander polynomial, via representation theory

I've been reading Oleg Viro's paper on "quantum relatives of the Alexander polynomial" (arXiv:math/0204290), which, among other more general things, derives state-sum formulas for the Alexander ...
4
votes
0answers
98 views

Is there a maximal finite depth infinite index irreducible subfactor?

A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $. It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. It's cyclic if its lattice of ...
4
votes
0answers
110 views

FRT construction in the case of super algebras

I'm looking on papers which are talking about the super quantum algebra osp(2|1). I want to understand how one applies the FRT construction in the case of osp(2|1). Of course there is a super ...
4
votes
0answers
329 views

Jones Polynomial and Quantum Field Theory

I am trying Witten's paper but unable to re-produce the computations presented in the paper. I tried few things on internet but all these tutorials explicitly don't show the calculations and refer to ...
4
votes
0answers
129 views

The Killing form on quantized enveloping algebras and reduction to the classical case

Let $U_q$ be the quantized enveloping algebra associated to a semisimple Lie algebra $\mathfrak g$. It is a result due to Tanisaki (see here; also see Chapter 6 of Jantzen's book Lectures on Quantum ...
4
votes
0answers
260 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 ...
4
votes
0answers
184 views

Braid group action on canonical basis

This is a question about Lusztig's theory of based modules. This theory is elementary but far from easy and is developed in Chapter 27 of "Introduction to quantum groups". Let $V$ be a highest weight ...
4
votes
0answers
228 views

Reshetikhin-Turaev and links with a distinguished component

Hi, This question came up to me when reading the paper of Cartier on Vassiliev invariants, but it can probably be turned into a more general question. Let $T$ be the category whose objects are ...
4
votes
0answers
191 views

Algorithm/denominators of elements of a rational affine space

I hope it's not a trivial question... Suppose I have a finite dimensional vector space $V$ over $\mathbb{Q}$ with a distinguished basis (in my case it's the $k$th graded piece of the free associative ...
4
votes
0answers
306 views

Quantum Drinfeld-Sokolov reduction of a Whittaker module

Take a Whittaker module $Wh$ of a (finite or affine) semi-simple Lie algebra $\mathfrak{g}$ , and apply the quantum Drinfeld-Sokolov reduction $qDS$ with respect to an $sl(2)$ embedding $\rho:sl(2) ...
4
votes
0answers
79 views

Is there a good reference for how ribbon structures change when one switches coproducts?

I'm just going assume readers are familiar with the notions of R-matrix and ribbon categories. Given a quasi-triangular Hopf algebra $A$ with $R$-matrix $R$, one can construct the co-opposite Hopf ...
4
votes
0answers
212 views

Analogy between canonical basis of U(n_-) and Schur functors, each under restriction

.1. For any category $\mathcal C$, possibly enriched over schemes, define $Rep({\mathcal C})$ to be the functor category ${\mathcal C} \to {\bf Vec}$ with direct sum inherited from $\bf Vec$. (If ...
3
votes
0answers
45 views

Frobenius-Perron dimensions of simple objects of equivariantization and of de-equivariantization

Let $G$ be a finite group. For any conjugacy class $K$ of $G$ fix a representative $a_K \in K$. Let $G_K$ denote the centralizer of $a_K$ in $G$. So if $G$ is abelian then $K=\{a_K\}$ and $G_K=G$. ...
3
votes
0answers
65 views

dual notion to hopf galois extension and properties thereof

Let $H$ be a finite dimensional hopf algebra and $B \subset A$ be an $H$-extension of algebras. We know that the following are equivelant 1) $A \cong B \times_\sigma H$ is a cocycle crossed product ...
3
votes
0answers
62 views

Is multiplication continuous in quantum-SU(2) with respect to the $L^2$-norm

For the Hopf $\ast$-algebra ${\cal O}_q(SU(2)$, with its unique Haar measure $h$, we have an inner product, and a norm, on ${\cal O}_q(SU(2))$ defined by $$ <x,y> : = h(xy^*), ...
3
votes
0answers
173 views

What is a Homotopy between $L_\infty$-algebra morphisms II

I would like to continue on question I asking, what is a homotopy between Lie infinity algebras, since I'm not satisfied in two directions: 1.) The naive approach to define a homotopy would be ...
3
votes
0answers
84 views

Intuition for pointed Hopf algebras

I have familiarized myself with various definitions (one-dimensionality of simple left comodules, generated as an algebra by group-like and skew-like elements...) and examples of pointed Hopf algebras ...
3
votes
0answers
127 views

Quantum Drinfeld-Sokolov reduction for a module

There is a well-established procedure for quantizing the Drinfeld-Sokolov reduction for an affine Lie algebra. In particular, this paper of de Boer and Tjin describes an algorithm to produce the ...
3
votes
0answers
206 views

Quantum Coordinate Algebras at Roots of Unity and Non-Standard Irrep Types

Let $\frak{g}$ be a complex semi-simple Lie algebra of rank $n$, and $U_q(\frak{g})$ the corresponding Drinfeld-Jimbo algebra. As is well-known, for $q$ not a root of unity, the irreducible ...
3
votes
0answers
99 views

Hopf Algebra Pairings and Module-Comodule-Equivalences

Let $\left< , \right> : G \times H \to {\bf C}$ be a dually pairing for two complex Hopf algebras $G$ and $H$. For any (left)-$G$-comodule $(V,\Delta_R)$, we can give $V$ the structure of a left ...
3
votes
0answers
132 views

AS Cohen Macaulay algebras and dualizing complexes

Let $A$ be an $\mathbb N$-graded algebra such that $A_0 = k$ is a field. This are usually called graded connected algebras. One can define a torsion functor with respect to the ideal $\mathfrak m = ...
3
votes
0answers
236 views

det(A)det(B) = det(AB+correction), Capelli identities, “factorzied” representation of gl_n

Context: some probably know that there are Capelli identities which state det(A)det(B) = det(AB+correction) for some matrices with non-commuting elements, they go back to 19-th century, but also ...