Related papers: First fundamental theorems of invariant theory for…

We develop the non-commutative polynomial version of the invariant theory for the quantum general linear supergroup ${\rm{ U}}_q(\mathfrak{gl}_{m|n})$. A non-commutative ${\rm{ U}}_q(\mathfrak{gl}_{m|n})$-module superalgebra…

The classical invariant theory for the queer Lie superalgebra is an investigation of the $\mathrm{U}(\mathfrak{q}_n)$-invariant sub-superalgebra of the symmetric superalgebra $\mathrm{Sym}(V^{\oplus r}\oplus V^{*\oplus s})$ for…

$U(N)^{\otimes r} \otimes O(N)^{\otimes q}$ invariants are constructed by contractions of complex tensors of order $r+q$, also denoted $(r,q)$. These tensors transform under $r$ fundamental representations of the unitary group $U(N)$ and…

Let $U(G)$ be a maximal unipotent subgroup of one of classical groups $G=GL(V),O(V),Sp(V)$. Let $W$ be a direct sum of copies of $V$ and its dual $V*$. For the natural action $U(G):W$, we describe a minimal system of homogeneous generators…

We establish a noncommutative analogue of the first fundamental theorem of classical invariant theory. For each quantum group associated with a classical Lie algebra, we construct a noncommutative associative algebra whose underlying vector…

We develop invariant theory for the quantum group ${\rm U}_q$ of $G_2$ at generic $q$ in the setting of braided symmetric algebras. Let ${\mathcal A}_m$ be the braided symmetric algebra over $m$-copies of the $7$-dimensional simple ${\rm…

We first give a short intrinsic, diagrammatic proof of the First Fundamental Theorem of invariant theory (FFT) for the special orthogonal group $\text{SO}_m(\mathbb{C})$, given the FFT for $\text{O}_m(\mathbb{C})$. We then define, by means…

We introduce the notion of a diagram category and discuss its application to the invariant theory of classical groups and super groups, with some indications concerning extensions to quantum groups and quantum super groups. Tensor functors…

This thesis provides a partial answer to a question posed by Greg Kuperberg in q-alg/9712003 and again by Justin Roberts as problem 12.18 in "Problems on invariants of knots and 3-manifolds", math.GT/0406190, essentially: "Can one describe…

Let $\mathfrak g$ be a simple complex Lie algebra. In this paper we study the BGG category $\mathcal O_q$ for the quantum group $U_q(\mathfrak g)$ with $q$ being a root of unity in a field $K$ of characteristic $p >0$. We first consider the…

Let $V=\oC^n$ and let $T:=T(V)\otimes T(V^*)$ be the mixed tensor algebra over $V$. We characterize those subsets $A$ of $T$ for which there is a subgroup $G$ of the unitary group $\UU(n)$ such that $A=T^G$. They are precisely the…

The first fundamental theorem of invariant theory for the orthosymplectic supergroup ${\rm OSp}(V)$ (where $V$ has superdimension $(m|2n)$) in the endomorphism algebra setting states that there is a surjective algebra homomorphism $F_r^r:…

Let $\mathfrak{g}$ be a simple complex Lie algebra of a classical type and $U_q(\mathfrak{g})$ the corresponding Drinfeld-Jimbo quantum group at $q$ not a root of unity. With every point $t$ of the fixed maximal torus $T$ of an algebraic…

The category of finite dimensional module over the quantum superalgebra U_q(sl(2|1)) is not semi-simple and the quantum dimension of a generic U_q(sl(2|1))-module vanishes. This vanishing happens for any value of q (even when q is not a…

The aim of this paper is to establish a first and second fundamental theorem for $GL(V)$ equivariant polynomial maps from $k$--tuples of matrix variables $End(V)^{ k} $ to tensor spaces $End(V)^{ \otimes n}$ in the spirit of H. Weyl's book…

An example of a finite dimensional factorizable ribbon Hopf C-algebra is given by a quotient H=u_q(g) of the quantized universal enveloping algebra U_q(g) at a root of unity q of odd degree. The mapping class group M_{g,1} of a surface of…

In a previous work we established a super Schur-Weyl-Brauer duality between the orthosymplectic supergroup of superdimension $(m|2n)$ and the Brauer algebra with parameter $m-2n$. This led to a proof of the first fundamental theorem of…

The quantum supergroup ${\rm{U}}_q({\mathfrak {osp}}(1|2n))$ admits a finite dimensional spinor representation, which does not have a classical limit. We construct a realisation of this representation on the Fock space of $q$-fermions. We…

The general method of Reshetikhin and Turaev is followed to develop topological invariants of closed, connected, orientable 3-manifolds from a new class of algebras called pseudo-modular Hopf algebras. Pseudo-modular Hopf algebras are a…

Fix a finite-dimensional simple Lie algebra $\mathfrak{g}$ and let $\mathfrak{g}_J\subseteq\mathfrak{g}$ be a Lie subalgebra coming from a Dynkin diagram inclusion. Then, the corresponding restriction functor is not essentially surjective…