Researcher profile

R. B. Zhang

R. B. Zhang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
21works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2016arXiv

First fundamental theorems of invariant theory for quantum supergroups

Let $U_q(\mathfrak{g})$ be the quantum supergroup of $\mathfrak{gl}_{m|n}$ or the modified quantum supergroup of $osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $U_q(\mathfrak{g})$. There exists a unique tensor functor, associated with $V_q$, from the category of ribbon graphs to the category of finite dimensional representations of $U_q(\mathfrak{g}$, which preserves ribbon category structures. We show that this functor is full in the cases $\mathfrak{g}=\mathfrak{gl}_{m|n}$ or $osp_{2\ell+1|2n}$. For $\mathfrak{g}=osp_{2\ell|2n}$, we show that the space $Hom_{U_q(\mathfrak{g}}(V_q^{\otimes r}, V_q^{\otimes s})$ is spanned by images of ribbon graphs if $r+s< 2\ell(2n+1)$. The proofs involve an equivalence of module categories for two versions of the quantisation of $U(\mathfrak{g})$.

preprint2015arXiv

Invariants of the orthosymplectic Lie superalgebra and super Pfaffians

Given a complex orthosymplectic superspace $V$, the orthosymplectic Lie superalgebra $\mathfrak {osp}(V)$ and general linear algebra ${\mathfrak {gl}}_N$ both act naturally on the coordinate super-ring $\mathcal{S}(N)$ of the dual space of $V\otimes{\mathbb C}^N$, and their actions commute. Hence the subalgebra $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ of $\mathfrak {osp}(V)$-invariants in $\mathcal{S}(N)$ has a ${\mathfrak {gl}}_N$-module structure. We introduce the space of super Pfaffians as a simple ${\mathfrak {gl}}_N$-submodule of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$, give an explicit formula for its highest weight vector, and show that the super Pfaffians and the elementary (or `Brauer&#39;) ${\rm OSp}$-invariants together generate $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as an algebra. The decomposition of $\mathcal{S}(N)^{\mathfrak {osp}(V)}$ as a direct sum of simple ${\mathfrak {gl}}_N$-submodules is obtained and shown to be multiplicity free. Using Howe&#39;s $({\mathfrak {gl}}(V), {\mathfrak {gl}}_N)$-duality on $\mathcal{S}(N)$, we deduce from the decomposition that the subspace of $\mathfrak{osp}(V)$-invariants in any simple ${\mathfrak {gl}}(V)$-tensor module is either $0$ or $1$-dimensional. These results also enable us to determine the $\mathfrak {osp}(V)$-invariants in the tensor powers $V^{\otimes r}$ for all $r$.

preprint2015arXiv

The first fundamental theorem of invariant theory for the orthosymplectic super group

We give a new proof, inspired by an argument of Atiyah, Bott and Patodi, of the first fundamental theorem of invariant theory for the orthosymplectic super group. We treat in a similar way the case of the periplectic super group. Lastly, the same method is used to explain the fact that Sergeev&#39;s super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial.

preprint2014arXiv

Integrable representations of affine A(m, n) and C(m) superalgebras

Rao and Zhao classified the irreducible integrable modules with finite dimensional weight spaces for the untwisted affine superalgebras which are not $\hat{A}(m,n)$ ($m\ne n$) or $\hat{C}(m)$. Here we treat the latter affine superalgebras to complete the classification. The problem boils down to classifying the irreducible zero-level integrable modules with finite dimensional weight spaces for these affine superalgebras, which is solved in this paper. We note in particular that such modules for $\hat{A}(m,n)$ ($m\ne n$) and $\hat{C}(m)$ must be of highest weight type, but are not necessarily loop modules. This is in sharp contrast to the cases of ordinary affine algebras and the other types of affine superalgebras.

preprint2014arXiv

Integrable representations of the quantum affine special linear superalgebra

The simple integrable modules with finite dimensional weight spaces are classified for the quantum affine special linear superalgebra $\U_q(\hat{\mathfrak{sl}}(M|N))$ at generic $q$. Any such module is shown to be a highest weight or lowest weight module with respect to one of the two natural triangular decompositions of the quantum affine superalgebra depending on whether the level of the module is zero or not. Furthermore, integrable $\U_q(\hat{\mathfrak{sl}}(M|N))$-modules at nonzero levels exist only if $M$ or $N$ is $1$.

preprint2014arXiv

The second fundamental theorem of invariant theory for the orthosymplectic supergroup

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 invariant theory, using some elementary algebraic supergeometry, and based upon an idea of Atiyah. In this work we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. The proof uses algebraic supergeometry to reduce the problem to the case of the general linear supergroup, which is understood. The main result has a succinct formulation in terms of Brauer diagrams. Our proof includes new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues. These new proofs are independent of the Capelli identities, which are replaced by algebraic geometric arguments.

preprint2013arXiv

Cellularity of certain quantum endomorphism algebras

We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r&#39;th tensor power of an integral form of the Weyl module with highest weight d of the quantised enveloping algebra of sl2. When q is specialised to a root of unity of order bigger than d, we consider the corresponding specialisation of the tensor power. We prove one general result which gives sufficient conditions for the commutativity of specialisation with the taking of endomorphism algebras, and another which relates the multiplicities of indecomposable summands to the dimensions of simple modules for an endomorphism algebra. Our cellularity result then allows us to prove that knowledge of the dimensions of the simple modules of the specialised cellular algebra above is equivalent to knowledge of the weight multiplicities of the tilting modules for the specialised quantum group. In the final section we independently determine the weight multiplicities of indecomposable tilting modules for quantum sl2, and the decomposition numbers of the endomorphism algebras. We indicate how either one of these sets of numbers determines the other.

preprint2013arXiv

Generalised Jantzen filtration of Lie superalgebras II: the exceptional cases

Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finite dimensional simple modules are obtained.

preprint2012arXiv

Extended Poincaré supersymmetry in three dimensions and supersymmetric anyons

We classify the unitary representations of the extended Poincaré supergroups in three dimensions. Irreducible unitary representations of any spin can appear, which correspond to supersymmetric anyons. Our results also show that all irreducible unitary representations necessarily have physical momenta. This is in sharp contrast to the ordinary Poincaré group in three dimensions, that admits in addition irreducible unitary representations with non-physical momenta, which are discarded on physical grounds.

preprint2012arXiv

The Brauer Category and Invariant Theory

A category of Brauer diagrams, analogous to Turaev&#39;s tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all equations among the morphisms. Full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group $O(V)$ or the symplectic group $Sp(V)$ over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic setting. The major outcome is that we obtain new presentations for the endomorphism algebras of the module $V^{\otimes r}$. These are obtained by appending to the standard presentation of the Brauer algebra of degree $r$ one additional relation. This relation stipulates the vanishing of an element of the Brauer algebra which is quasi-idempotent, and which we describe explicitly both in terms of diagrams and algebraically. In the symplectic case, if $\dim V = 2n$, the element is precisely the central idempotent in the Brauer subalgebra of degree $n + 1$, which corresponds to its trivial representation. Since this is the Brauer algebra of highest degree which is semisimple, our generator is an exact analogue for the Brauer algebra of the Jones idempotent of the Temperley-Lieb algebra. In the orthogonal case the additional relation is also a quasi-idempotent in the integral Brauer algebra. Both integral and quantum analogues of these results are given, the latter of which involve the BMW algebras.

preprint2011arXiv

A noncommutative geometric approach to the quantum structure of spacetime

Together with collaborators, we introduced a noncommutative Riemannian geometry over Moyal algebras and systematically developed it for noncommutative spaces embedded in higher dimensions in the last few years. The theory was applied to construct a noncommutative version of general relativity, which is expected to capture some essential structural features of spacetime at the Planck scale. Examples of noncommutative spacetimes were investigated in detail. These include quantisations of plane-fronted gravitational waves, quantum Schwarzschild spacetime and Schwarzschild-de Sitter spacetime, and a quantun Tolman spacetime which is relevant to gravitational collapse. Here we briefly review the theory and its application in the study of quantum structure of spacetime.

preprint2010arXiv

Generalised Jantzen filtration of Lie superalgebras I

A Jantzen type filtration for generalised Varma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. Furthermore, the length of the Jantzen filtration for any Kac module is determined explicitly in terms of the degree of atypicality of the highest weight. These results are applied to obtain a detailed description of the submodule lattices of Kac modules.

preprint2010arXiv

Projective module description of embedded noncommutative spaces

An algebraic formulation is given for the embedded noncommutative spaces over the Moyal algebra developed in a geometric framework in \cite{CTZZ}. We explicitly construct the projective modules corresponding to the tangent bundles of the embedded noncommutative spaces, and recover from this algebraic formulation the metric, Levi-Civita connection and related curvatures, which were introduced geometrically in \cite{CTZZ}. Transformation rules for connections and curvatures under general coordinate changes are given. A bar involution on the Moyal algebra is discovered, and its consequences on the noncommutative differential geometry are described.

preprint2009arXiv

A quantum analogue of the first fundamental theorem of invariant theory

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 space forms a module for the quantum group and whose algebraic structure is preserved by the quantum group action. The subspace of invariants is shown to form a subalgebra, which is finitely generated. We determine generators of this subalgebra of invariants and determine their commutation relations. In each case considered, the noncommutative modules we construct are flat deformations of their classical commutative analogues. Thus by taking the limit as $q\to 1$, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case.

preprint2009arXiv

Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k|2)

The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules.

preprint2006arXiv

A Fock space approach to representation theory of osp(2|2n)

A Fock space is introduced that admits an action of a quantum group of type A supplemented with some extra operators. The canonical and dual canonical basis of the Fock space are computed and then used to derive the finite-dimenisonal tilting and irreducible characters for the Lie superalgebra osp(2|2n). We also determine all the composition factors of the symmetric tensors of the natural osp(2|2n)-module.

preprint2003arXiv

Character Formula for Infinite Dimensional Unitarizable Modules of the General Linear Superalgebra

The Fock space of $m+p$ bosonic and $n+q$ fermionic quantum oscillators forms a unitarizable module of the general linear superalgebra $gl_{m+p|n+q}$. Its tensor powers decompose into direct sums of infinite dimensional irreducible highest weight $gl_{m+p|n+q}$-modules. We obtain an explicit decomposition of any tensor power of this Fock space into irreducibles, and develop a character formula for the irreducible $gl_{m+p|n+q}$-modules arising in this way.