Showing 1–50 of 60 results for author: Zhang, R B

A polar Brauer category and Lie superalgebra representations

Authors: G. I. Lehrer, R. B. Zhang

Abstract: We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the Brauer category, are linear combinations of `polar enhancements' of Brauer diagrams. The endomorphism algebra of each of its objects is a quotient of an alge… ▽ More We introduce a diagram category, study its structure, and investigate some of its applications to the representation theory of Lie algebras and Lie superalgebras. The morphisms of the category, which contains a subcategory isomorphic to the Brauer category, are linear combinations of `polar enhancements' of Brauer diagrams. The endomorphism algebra of each of its objects is a quotient of an algebra of chord diagrams. Analogues of the affine Temperley-Lieb category and Temperley-Lieb category of type B, whose structures are thoroughly understood, arise from particular quotients of our category. We construct a functor from our category to the full subcategory of modules for the Lie superalgebra $\mathfrak{osp}(V; ω)$ with objects $M\otimes V^{\otimes r}$ for all $r=0, 1, \dots$, where $M$ is an arbitrary module, and $V$ is the natural module. When $M$ is the universal enveloping superalgebra $\text{U}(\mathfrak{osp}(V; ω))$, this functor provides an effective tool for the study of $\text{U}(\mathfrak{osp}(V; ω))$. An analysis of this functor leads to a diagrammatic construction of explicit generators for the centre of the universal enveloping superalgebra and, in the special cases when $V$ is purely even or purely odd (i.e. the classical cases), categorical interpretations of certain widely studied ``characteristic identities'' of the orthogonal and symplectic Lie algebras. In the case $V=\mathbb{C}^{0|2}$ so that $\mathfrak{osp}(V; ω))=\mathfrak{sp}_2(\mathbb{C})$, we prove that our type B Temperley-Lieb category is isomorphic to a full subcategory of category $\mathcal O$ for $\mathfrak{sp}_2(\mathbb{C})$. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: 52 pages, 28 figures

MSC Class: Primary 16G30; 17B10; Secondary 22E46

Diagram categories and invariant theory for classical groups and supergroups

Authors: G. I. Lehrer, R. B. Zhang

Abstract: 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 from various diagram categories to categories of representnations are introduced and their properties investigated, leading to first and second fundamental theo… ▽ More 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 from various diagram categories to categories of representnations are introduced and their properties investigated, leading to first and second fundamental theorems of invariant theory for classical super groups, which include the classical groups as special cases. Application of diagrammatic methods enables the constructionof a presentation for endomorphism algebras for te orthogonal and symplectic groups, leading to the solution ofproblems raised by the work of Brauer and Weyl. △ Less

Submitted 7 November, 2022; originally announced November 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:1207.5889

MSC Class: 16W22; 16S50

Mixed cohomology of Lie superalgebras

Authors: Yucai Su, R. B. Zhang

Abstract: We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard L… ▽ More We investigate a new cohomology of Lie superalgebras, which may be compared to a de Rham cohomology of Lie supergroups involving both differential and integral forms. It is defined by a BRST complex of Lie superalgebra modules, which is formulated in terms of a Weyl superalgebra and incorporates inequivalent representations of the bosonic Weyl subalgebra. The new cohomology includes the standard Lie superalgebra cohomology as a special case. Examples of new cohomology groups are computed. △ Less

Submitted 26 February, 2019; originally announced February 2019.

Comments: 21 pages

MSC Class: 17B56; 18G35; 81R05

Temperley-Lieb at roots of unity, a fusion category and the Jones quotient

Authors: K. Iohara, G. I. Lehrer, R. B. Zhang

Abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $TL_n(q)$-modules. Jones showed that if the order $|q^2|=\ell$ there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certai… ▽ More When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $TL_n(q)$-modules. Jones showed that if the order $|q^2|=\ell$ there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. Although the algebras $Q_n(\ell):=TL_n(q)/R_n(q)$, which we refer to as the Jones algebras (or quotients), are not the largest semisimple quotients of the $TL_n(q)$, our results include dimension formulae for all the simple $Q_n(\ell)$-modules. This work could therefore be thought of as generalising that of Jones et al. on the algebras $Q_n(\ell)$. We also treat a fusion category $\mathcal{C}_{\rm red}$ introduced by Reshitikhin, Turaev and Andersen, whose objects are the quantum $\mathfrak{sl}_2$-tilting modules with non-zero quantum dimension, and which has an associative truncated tensor product (the fusion product). We show $Q_n(\ell)$ is the endomorphism algebra of a certain module in $\mathcal{C}_{\rm red}$ and use this fact to recover a dimension formula for $Q_n(\ell)$. We also show how to construct a "stable limit" $K(Q_\infty)$ of the corresponding fusion category of the $Q_n(\ell)$, whose structure is determined by the fusion rule of $\mathcal{C}_{\rm red}$, and observe a connection with a fusion category of affine $\mathfrak{sl}_2$ and the Virosoro algebra. △ Less

Submitted 4 July, 2017; originally announced July 2017.

Comments: 25 pages. This paper supercedes and replaces our earlier work arXiv:1702.08128

MSC Class: 81R15; 16W22; 46L37

The Jones quotients of the Temperley-Lieb algebras

Authors: K. Iohara, G. I. Lehrer, R. B. Zhang

Abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequent… ▽ More When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. In this work, we study the quotients $Q_n(\ell):=TL_n(q)/R_n(q)$, where $|q^2|=\ell$, which are precisely the algebras generated by Jones' projections. We give the dimensions of their simple modules, as well as $\dim(Q_n(\ell))$; en route we give generating functions and recursions for the dimensions of cell modules and associated combinatorics. When the order $|q^2|=4$, we obtain an isomorphism of $Q_n(\ell)$ with the even part of the Clifford algebra, well known to physicists through the Ising model. When $|q^2|=5$, we obtain a sequence of algebras whose dimensions are the odd-indexed Fibonacci numbers. The general case is described explicitly. △ Less

Submitted 26 February, 2017; originally announced February 2017.

MSC Class: 81R15; 46L37; 16W22

Drinfeld realisations of quantum affine superalgebras

Authors: Ying Xu, R. B. Zhang

Abstract: We construct Drinfeld realisations for the quantum affine superalgebras associated with the osp(1|2n)^{(1)}, Sl(1|2n)^{(2)} and osp(2|2n)^{(2)} series of affine Lie superalgebras. We construct Drinfeld realisations for the quantum affine superalgebras associated with the osp(1|2n)^{(1)}, Sl(1|2n)^{(2)} and osp(2|2n)^{(2)} series of affine Lie superalgebras. △ Less

Submitted 11 September, 2017; v1 submitted 19 November, 2016; originally announced November 2016.

Comments: 12 pages

MSC Class: 81R10; 17B37

Quantum correspondences of affine Lie superalgebras

Authors: Ying Xu, R. B. Zhang

Abstract: There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the… ▽ More There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories. △ Less

Submitted 24 April, 2017; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: Some proofs have been simplified; 19 pages

MSC Class: 15A72; 17B20

First fundamental theorems of invariant theory for quantum supergroups

Authors: G. I. Lehrer, Hechun Zhang, R. B. Zhang

Abstract: 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… ▽ More 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})$. △ Less

Submitted 15 February, 2016; originally announced February 2016.

MSC Class: 17B37; 17B35

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

Authors: P. Deligne, G. I. Lehrer, R. B. Zhang

Abstract: 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's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial. 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's super Pfaffian, an invariant for the special orthosymplectic super group, is polynomial. △ Less

Submitted 17 August, 2015; originally announced August 2015.

MSC Class: 15A72 (primary) 16A22; 14M30 (secondary)

Invariants of the orthosymplectic Lie superalgebra and super Pfaffians

Authors: G. I. Lehrer, R. B. Zhang

Abstract: 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… ▽ More 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') ${\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'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$. △ Less

Submitted 6 July, 2015; originally announced July 2015.

MSC Class: 16W22; 15A72; 17B20

Integrable representations of the quantum affine special linear superalgebra

Authors: Yuezhu Wu, R. B. Zhang

Abstract: 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… ▽ More 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$. △ Less

Submitted 15 October, 2014; originally announced October 2014.

Comments: 31 pages

The second fundamental theorem of invariant theory for the orthosymplectic supergroup

Authors: G. I. Lehrer, R. B. Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 3 July, 2014; originally announced July 2014.

Comments: 24 pages, 8 figures

MSC Class: 16W22; 15A72; 17B20

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

Authors: Yuezhu Wu, R. B. Zhang

Abstract: 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 the… ▽ More 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. △ Less

Submitted 1 April, 2014; v1 submitted 5 September, 2013; originally announced September 2013.

Comments: 18 pages. This is the revised version

Character and dimension formulae for queer Lie superalgebra

Authors: Yucai Su, R. B. Zhang

Abstract: Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Comments: LaTeX, 16 pages

MSC Class: 17B10

Generalised Jantzen filtration of Lie superalgebras II: the exceptional cases

Authors: Yucai Su, R. B. Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 30 pages

Cellularity of certain quantum endomorphism algebras

Authors: H. H. Andersen, G. I. Lehrer, R. B. Zhang

Abstract: We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'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… ▽ More We exhibit for all positive integers r, an explicit cellular structure for the endomorphism algebra of the r'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. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: 20 pages, 5 figures

MSC Class: 20G42; 17B37; 81R50

The Brauer Category and Invariant Theory

Authors: G. I. Lehrer, R. B. Zhang

Abstract: A category of Brauer diagrams, analogous to Turaev'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 t… ▽ More A category of Brauer diagrams, analogous to Turaev'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. △ Less

Submitted 25 July, 2012; originally announced July 2012.

Comments: 39 pages, 37 figures

MSC Class: 13A50; 14L35; 14L24

A noncommutative geometric approach to the quantum structure of spacetime

Authors: R. B. Zhang, Xiao Zhang

Abstract: 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. Example… ▽ More 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. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: 46 pages. arXiv admin note: substantial text overlap with arXiv:0810.2357

Serre presentations of Lie superalgebras

Authors: R. B. Zhang

Abstract: An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras. The proof of the theorem is conceptually transparent; it also provides an alternative approach to Serre's theorem for ordinary Lie algebras. An analogue of Serre's theorem is established for finite dimensional simple Lie superalgebras, which describes presentations in terms of Chevalley generators and Serre type relations relative to all possible choices of Borel subalgebras. The proof of the theorem is conceptually transparent; it also provides an alternative approach to Serre's theorem for ordinary Lie algebras. △ Less

Submitted 16 January, 2011; originally announced January 2011.

Comments: 45 pages

MSC Class: 17B05; 17B20; 17B22; 17B10

Generalised Jantzen filtration of Lie superalgebras I

Authors: Yucai Su, R. B. Zhang

Abstract: 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… ▽ More 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. △ Less

Submitted 15 October, 2010; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: This is the final version to appear in the Journal of European Math Society. LaTeX, 31 pages

MSC Class: 17B10; 17B20

Quantum group actions on rings and equivariant K-theory

Authors: G. I. Lehrer, R. B. Zhang

Abstract: Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an equivariant K-theory of such quantum vector bundles using Quillen's exact categories, and provide means for its compution. The equivariant K-groups of quantum h… ▽ More Let $\Uq$ be a quantum group. Regarding a (noncommutative) space with $\Uq$-symmetry as a $\Uq$-module algebra $A$, we may think of equivariant vector bundles on $A$ as projective $A$-modules with compatible $\Uq$-action. We construct an equivariant K-theory of such quantum vector bundles using Quillen's exact categories, and provide means for its compution. The equivariant K-groups of quantum homogeneous spaces and quantum symmetric algebras of classical type are computed. △ Less

Submitted 17 December, 2009; originally announced December 2009.

Comments: 31 pages

MSC Class: 19L47; 20G42; 17B37

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

Authors: Yucai Su, R. B. Zhang

Abstract: 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 coeffi… ▽ More 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. △ Less

Submitted 17 December, 2009; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: LaTeX, 23 pages, update reference (adding one reference)

MSC Class: 17B37; 20G42; 17B10

Journal ref: Journal of Algebra 357 (2012), 94-115

A quantum analogue of the first fundamental theorem of invariant theory

Authors: G. I. Lehrer, Hechun Zhang, R. B. Zhang

Abstract: 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 for… ▽ More 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. △ Less

Submitted 10 August, 2009; originally announced August 2009.

Comments: 44 pages, 3 figures

MSC Class: 81R50; 16W35;

On endomorphisms of quantum tensor space

Authors: G. I. Lehrer R. B. Zhang

Abstract: We give a presentation of the endomorphism algebra $\End_{\cU_q(\fsl_2)}(V^{\otimes r})$, where $V$ is the 3-dimensional irreducible module for quantum $\fsl_2$ over the function field $\C(q^{1/2})$. This will be as a quotient of the Birman-Wenzl-Murakami algebra $BMW_r(q):=BMW_r(q^{-4},q^2-q^{-2})$ by an ideal generated by a single idempotent $Φ_q$. Our presentation is in analogy with the case… ▽ More We give a presentation of the endomorphism algebra $\End_{\cU_q(\fsl_2)}(V^{\otimes r})$, where $V$ is the 3-dimensional irreducible module for quantum $\fsl_2$ over the function field $\C(q^{1/2})$. This will be as a quotient of the Birman-Wenzl-Murakami algebra $BMW_r(q):=BMW_r(q^{-4},q^2-q^{-2})$ by an ideal generated by a single idempotent $Φ_q$. Our presentation is in analogy with the case where $V$ is replaced by the 2- dimensional irreducible $\cU_q(\fsl_2)$-module, the BMW algebra is replaced by the Hecke algebra $H_r(q)$ of type $A_{r-1}$, $Φ_q$ is replaced by the quantum alternator in $H_3(q)$, and the endomorphism algebra is the classical realisation of the Temperley-Lieb algebra on tensor space. In particular, we show that all relations among the endomorphisms defined by the $R$-matrices on $V^{\otimes r}$ are consequences of relations among the three $R$-matrices acting on $V^{\otimes 4}$. The proof makes extensive use of the theory of cellular algebras. Potential applications include the decomposition of tensor powers when $q$ is a root of unity. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Comments: 14 pages

MSC Class: 20G42; 81R50

A Temperley-Lieb analogue for the BMW algebra

Authors: G. I. Lehrer, R. B. Zhang

Abstract: The Temperley-Lieb algebra may be thought of as a quotient of the Hecke algebra of type A, acting on tensor space as the commutant of the usual action of quantum sl(2) on the n-th tensor power of the 2-dimensional irreducible module. We define and study a quotient of the Birman-Wenzl-Murakami algebra, which plays an analogous role for the 3-dimensional representation of quantum sl(2). In the cou… ▽ More The Temperley-Lieb algebra may be thought of as a quotient of the Hecke algebra of type A, acting on tensor space as the commutant of the usual action of quantum sl(2) on the n-th tensor power of the 2-dimensional irreducible module. We define and study a quotient of the Birman-Wenzl-Murakami algebra, which plays an analogous role for the 3-dimensional representation of quantum sl(2). In the course of the discussion we prove some general results about the radical of a cellular algebra, which may be of independent interest. △ Less

Submitted 4 June, 2008; originally announced June 2008.

Comments: 31 pages

MSC Class: 17B10; 17B37

Orthosymplectic Lie superalgebras in superspace analogues of quantum Kepler problems

Authors: R. B. Zhang

Abstract: A Schroedinger type equation on the superspace R^{D|2n} is studied, which involves a potential inversely proportional to the negative of the osp(D|2n) invariant "distance" away from the origin. An osp(2,D+1|2n) dynamical supersymmetry for the system is explicitly constructed, and the bound states of the system are shown to form an irreducible highest weight module for this superalgebra. A thorou… ▽ More A Schroedinger type equation on the superspace R^{D|2n} is studied, which involves a potential inversely proportional to the negative of the osp(D|2n) invariant "distance" away from the origin. An osp(2,D+1|2n) dynamical supersymmetry for the system is explicitly constructed, and the bound states of the system are shown to form an irreducible highest weight module for this superalgebra. A thorough understanding of the structure of the irreducible module is obtained. This in particular enables the determination of the energy eigenvalues and the corresponding eigenspaces as well as their respective dimensions. △ Less

Submitted 4 September, 2007; originally announced September 2007.

Comments: 17 pages; to appear in Communications in Mathematical Physics

Journal ref: Commun.Math.Phys.280:545-562,2008

Riemannian Geometry of Noncommutative Surfaces

Authors: M. Chaichian, A. Tureanu, R. B. Zhang, X. Zhang

Abstract: A Riemannian geometry of noncommutative n-dimensional surfaces is developed as a first step towards the construction of a consistent noncommutative gravitational theory. Historically, as well, Riemannian geometry was recognized to be the underlying structure of Einstein's theory of general relativity and led to further developments of the latter. The notions of metric and connections on such non… ▽ More A Riemannian geometry of noncommutative n-dimensional surfaces is developed as a first step towards the construction of a consistent noncommutative gravitational theory. Historically, as well, Riemannian geometry was recognized to be the underlying structure of Einstein's theory of general relativity and led to further developments of the latter. The notions of metric and connections on such noncommutative surfaces are introduced and it is shown that the connections are metric-compatible, giving rise to the corresponding Riemann curvature. The latter also satisfies the noncommutative analogue of the first and second Bianchi identities. As examples, noncommutative analogues of the sphere, torus and hyperboloid are studied in detail. The problem of covariance under appropriately defined general coordinate transformations is also discussed and commented on as compared with other treatments. △ Less

Submitted 14 July, 2008; v1 submitted 13 December, 2006; originally announced December 2006.

Comments: 28 pages, some clarifications, examples and references added, version to appear in J. Math. Phys

Journal ref: J.Math.Phys.49:073511,2008

Dual canonical bases for the quantum general linear supergroup

Authors: Hechun Zhang, R. B. Zhang

Abstract: Dual canonical bases of the quantum general linear supergroup are constructed which are invariant under the multiplication of the quantum Berezinian. By setting the quantum Berezinian to identity, we obtain dual canonical bases of the quantum special linear supergroup ${\s O}_q(SL_{m\mid n})$. We apply the canonical bases to study invariant subalgebras of the quantum supergroups under left and r… ▽ More Dual canonical bases of the quantum general linear supergroup are constructed which are invariant under the multiplication of the quantum Berezinian. By setting the quantum Berezinian to identity, we obtain dual canonical bases of the quantum special linear supergroup ${\s O}_q(SL_{m\mid n})$. We apply the canonical bases to study invariant subalgebras of the quantum supergroups under left and right translations. In the case $n=1$, it is shown that each invariant subalgebra is spanned by a part of the dual canonical bases. This in turn leads to dual canonical bases for any Kac module constructed by using an analogue of Borel-Weil theorem. △ Less

Submitted 10 October, 2005; originally announced October 2005.

Comments: 32 pages

MSC Class: 17B37

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

Authors: Shun-Jen Cheng, Weiqiang Wang, R. B. Zhang

Abstract: 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|… ▽ More 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. △ Less

Submitted 16 April, 2006; v1 submitted 5 October, 2005; originally announced October 2005.

Comments: 16 pages, to appear in Transform. Groups

Journal ref: Transformation Groups 12 (2007), 209--225.

Dual canonical bases for the quantum special linear group and invariant subalgebras

Authors: Hechun Zhang, R. B. Zhang

Abstract: A string basis is constructed for each subalgebra of invariants of the function algebra on the quantum special linear group. By analyzing the string basis for a particular subalgebra of invariants, we obtain a ``canonical basis'' for every finite dimensional irreducible $U_q({\mathfrak{sl}}(n))$-module. It is also shown that the algebra of functions on any quantum homogeneous space is generated… ▽ More A string basis is constructed for each subalgebra of invariants of the function algebra on the quantum special linear group. By analyzing the string basis for a particular subalgebra of invariants, we obtain a ``canonical basis'' for every finite dimensional irreducible $U_q({\mathfrak{sl}}(n))$-module. It is also shown that the algebra of functions on any quantum homogeneous space is generated by quantum minors. △ Less

Submitted 28 September, 2005; originally announced September 2005.

Comments: 15 pages

MSC Class: 17B37; 81R50

Super duality and Kazhdan-Lusztig polynomials

Authors: Shun-Jen Cheng, Weiqiang Wang, R. B. Zhang

Abstract: We establish a direct connection between the representation theories of Lie algebras and Lie superalgebras (of type A) via Fock space reformulations of their Kazhdan-Lusztig theories. As a consequence, the characters of finite-dimensional irreducible modules of the general linear Lie superalgebra are computed by the usual parabolic Kazhdan-Lusztig polynomials of type A. In addition, we establish… ▽ More We establish a direct connection between the representation theories of Lie algebras and Lie superalgebras (of type A) via Fock space reformulations of their Kazhdan-Lusztig theories. As a consequence, the characters of finite-dimensional irreducible modules of the general linear Lie superalgebra are computed by the usual parabolic Kazhdan-Lusztig polynomials of type A. In addition, we establish closed formulas for canonical and dual canonical bases for the tensor product of any two fundamental representations of type A. △ Less

Submitted 10 October, 2006; v1 submitted 1 September, 2004; originally announced September 2004.

Comments: v.2, substantially revised and streamlined, title modified, 45 pages

Journal ref: Trans. AMS 360 (2008), 5883--5924.

Character and dimension formulae for general linear superalgebra

Authors: Yucai Su, R. B. Zhang

Abstract: The generalized Kazhdan-Lusztig polynomials for the finite dimensional irreducible representations of the general linear superalgebra are computed explicitly. Using the result we establish a one to one correspondence between the set of composition factors of an arbitrary $r$-fold atypical $gl_{m|n}$-Kac-module and the set of composition factors of some $r$-fold atypical $gl_{r|r}$-Kac-module. Th… ▽ More The generalized Kazhdan-Lusztig polynomials for the finite dimensional irreducible representations of the general linear superalgebra are computed explicitly. Using the result we establish a one to one correspondence between the set of composition factors of an arbitrary $r$-fold atypical $gl_{m|n}$-Kac-module and the set of composition factors of some $r$-fold atypical $gl_{r|r}$-Kac-module. The result of Kazhdan-Lusztig polynomials is also applied to prove a conjectural character formula put forward by van der Jeugt et al in the late 80s. We simplify this character formula to cast it into the Kac-Weyl form, and derive from it a closed formula for the dimension of any finite dimensional irreducible representation of the general linear superalgebra. △ Less

Submitted 17 May, 2004; v1 submitted 18 March, 2004; originally announced March 2004.

Comments: 28 pages, re-writing results in terms of height vectors and adding one more result

MSC Class: 17B10

Cohomology of Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$

Authors: Yucai Su, R. B. Zhang

Abstract: We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter res… ▽ More We explicitly compute the first and second cohomology groups of the classical Lie superalgebras $sl_{m|n}$ and $osp_{2|2n}$ with coefficients in the finite dimensional irreducible modules and the Kac modules. We also show that the second cohomology groups of these Lie superalgebras with coefficients in the respective universal enveloping algebras (under the adjoint action) vanish. The latter result in particular implies that the universal enveloping algebras $U(sl_{m|n})$ and $U(osp_{2|2n})$ do not admit any non-trivial formal deformations of Gerstenhaber type. △ Less

Submitted 25 February, 2004; originally announced February 2004.

Comments: 42 pages

MSC Class: 17B37; 20G42; 17B10

On the Unitarity of D=9,10,11 Conformal Supersymmetry

Authors: V. K. Dobrev, A. M. Miteva, R. B. Zhang, B. S. Zlatev

Abstract: We consider the unitarity of D=9,10,11 conformal supersymmetry using the recently established classification of the UIRs of the superalgebras osp(1|2n,R). We consider the unitarity of D=9,10,11 conformal supersymmetry using the recently established classification of the UIRs of the superalgebras osp(1|2n,R). △ Less

Submitted 12 December, 2004; v1 submitted 6 February, 2004; originally announced February 2004.

Comments: 7 pages, LATEX2e{czjphys} (amsmath,amssymb); v3: important corrections, Plenary talk by VKD at the XIII Colloquium "Quantum Groups and Integrable Systems", Prague, 17-19.6.2004; to appear in Czech. J. Phys.; v4: small corrections to coincide with journal version

Journal ref: Czech.J.Phys. 54 (2004) 1249-1256

Positive Energy Unitary Irreducible Representations of the Superalgebras osp(1|2n,R)

Authors: V. K. Dobrev, R. B. Zhang

Abstract: We give the classification of the positive energy (lowest weight) unitary irreducible representations of the superalgebras osp(1|2n,R). We give the classification of the positive energy (lowest weight) unitary irreducible representations of the superalgebras osp(1|2n,R). △ Less

Submitted 22 October, 2012; v1 submitted 5 February, 2004; originally announced February 2004.

Comments: 20 pages, LATEX2e (revtex4,amsmath,amssymb), Plenary talk by VKD at X International Conference on Symmetry Methods in Physics, Yerevan, 13-21.8.2003; added acknowledgements; corrected misprints

Report number: ESI Vienna preprint 1457 (2004)

Journal ref: Phys.Atom.Nucl. 68 (2005) 1660-1669; Yad.Fiz. 68 (2005) 1724-1732

Quantum superalgebra representations on cohomology groups of non-commutative bundles

Authors: R. B. Zhang

Abstract: Quantum homogeneous supervector bundles arising from the quantum general linear supergoup are studied. The space of holomorphic sections is promoted to a left exact covariant functor from a category of modules over a quantum parabolic sub-supergroup to the category of locally finite modules of the quantum general linear supergroup. The right derived functors of this functor provides a form of Do… ▽ More Quantum homogeneous supervector bundles arising from the quantum general linear supergoup are studied. The space of holomorphic sections is promoted to a left exact covariant functor from a category of modules over a quantum parabolic sub-supergroup to the category of locally finite modules of the quantum general linear supergroup. The right derived functors of this functor provides a form of Dolbeault cohomology for quantum homogeneous supervector bundles. We explicitly compute the cohomology groups, which are given in terms of well understood modules over the quantized universal enveloping algebra of the general linear superalgebra. △ Less

Submitted 7 November, 2003; originally announced November 2003.

Comments: 24 pages

MSC Class: 17B37; 20G42; 17B10

Journal ref: J. Pure Appl. Algebra 191 (2004), no. 3, 285--314.

Quasi-finite representations,free field realizations,and character formulae of Lie superalgebras of infinite rank

Authors: N. Lam, R. B. Zhang

Abstract: We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules to be unitarizable with respect to natural $\ast$-structures of the Lie superalgebras. The unitarizable irreducible modules are constructed in terms of Fock sp… ▽ More We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules to be unitarizable with respect to natural $\ast$-structures of the Lie superalgebras. The unitarizable irreducible modules are constructed in terms of Fock spaces of free quantum fields, and explicit formulae for their formal characters are also obtained by investigating Howe dualities between the infinite rank Lie superalgebras and classical Lie groups. △ Less

Submitted 7 November, 2003; originally announced November 2003.

Comments: 57 pages

MSC Class: 17B65; 17B10

On irreducibility of tensor products of evaluation modules for the quantum affine algebra

Authors: A. I. Molev, V. N. Tolstoy, R. B. Zhang

Abstract: Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules. Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and sufficient conditions for irreducibility of tensor products of such evaluation modules. △ Less

Submitted 3 October, 2003; v1 submitted 30 September, 2003; originally announced September 2003.

Comments: 22 pages. Some references are added

Journal ref: J. Phys. A: Math. Gen. 37 (2004), 2385 - 2399.

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

Authors: Shun-Jen Cheng, Ngau Lam, R. B. Zhang

Abstract: 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 f… ▽ More 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. △ Less

Submitted 17 January, 2003; originally announced January 2003.

Comments: 25 Pages, LaTeX format

MSC Class: 17B67

Journal ref: Journal of Algebra 273 (2004) 780-805

Howe Duality and Combinatorial Character Formula for Orthosymplectic Lie superalgebras

Authors: Shun-Jen Cheng, R. B. Zhang

Abstract: We study the Howe dualities involving the reductive dual pairs $(O(d),spo(2m|2n))$ and $(Sp(d),osp(2m|2n))$ on the (super)symmetric tensor of $\C^d\otimes\C^{m|n}$. We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of $spo(2m|2n)$ and $osp(2m|2n)$ that app… ▽ More We study the Howe dualities involving the reductive dual pairs $(O(d),spo(2m|2n))$ and $(Sp(d),osp(2m|2n))$ on the (super)symmetric tensor of $\C^d\otimes\C^{m|n}$. We obtain complete decompositions of this space with respect to their respective joint actions. We also use these dualities to derive a character formula for these irreducible representations of $spo(2m|2n)$ and $osp(2m|2n)$ that appear in these decompositions. △ Less

Submitted 17 January, 2003; v1 submitted 5 June, 2002; originally announced June 2002.

Comments: 47 pages, LaTeX format

MSC Class: 17B67

Journal ref: Advances in Mathematics 182 No. 1 (2004) 124-172

Integration on Lie supergroups. A Hopf superalgebra approach

Authors: M. Scheunert, R. B. Zhang

Abstract: For a large class of finite-dimensional Lie superalgebras (including the classical simple ones) a Lie supergroup associated to the algebra is defined by fixing the Hopf superalgebra of functions on the supergroup. Then it is shown that on this Hopf superalgebra there exists a non-zero left integral. According to a recent work by the authors, this integral is unique up to scalar multiples. For a large class of finite-dimensional Lie superalgebras (including the classical simple ones) a Lie supergroup associated to the algebra is defined by fixing the Hopf superalgebra of functions on the supergroup. Then it is shown that on this Hopf superalgebra there exists a non-zero left integral. According to a recent work by the authors, this integral is unique up to scalar multiples. △ Less

Submitted 7 December, 2000; originally announced December 2000.

Comments: 17 pages, no figures, Latex2e, uses package amssymb

Report number: BONN-TH-2000-10

Invariant integration on classical and quantum Lie supergroups

Authors: M. Scheunert, R. B. Zhang

Abstract: Invariant integrals on Hopf superalgebras, in particular, the classical and quantum Lie supergroups, are studied. The uniqueness (up to scalar multiples) of a left integral is proved, and a super version of Maschke's theorem is discussed. A construction of left integrals is developed for classical and quantum Lie supergroups. Applied to several classes of examples the construction yields the lef… ▽ More Invariant integrals on Hopf superalgebras, in particular, the classical and quantum Lie supergroups, are studied. The uniqueness (up to scalar multiples) of a left integral is proved, and a super version of Maschke's theorem is discussed. A construction of left integrals is developed for classical and quantum Lie supergroups. Applied to several classes of examples the construction yields the left integrals in explicit form. △ Less

Submitted 25 November, 1999; originally announced November 1999.

Comments: 30 pages, no figures, Latex

Characters and composition factor multiplicities for the Lie superalgebra gl(m/n)

Authors: J. Van der Jeugt, R. B. Zhang

Abstract: The multiplicities a_{lambda,mu} of simple modules L(mu) in the composition series of Kac modules V(lambda) for the Lie superalgebra gl(m/n) were described by Serganova, leading to her solution of the character problem for gl(m/n). In Serganova's algorithm all mu with nonzero a_{lambda,mu} are determined for a given lambda; this algorithm turns out to be rather complicated. In this Letter a simp… ▽ More The multiplicities a_{lambda,mu} of simple modules L(mu) in the composition series of Kac modules V(lambda) for the Lie superalgebra gl(m/n) were described by Serganova, leading to her solution of the character problem for gl(m/n). In Serganova's algorithm all mu with nonzero a_{lambda,mu} are determined for a given lambda; this algorithm turns out to be rather complicated. In this Letter a simple rule is conjectured to find all nonzero a_{lambda,mu} for any given weight mu. In particular, we claim that for an r-fold atypical weight mu there are 2^r distinct weights lambda such that a_{lambda,mu}=1, and a_{lambda,mu}=0 for all other weights lambda. Some related properties on the multiplicities a_{lambda,mu} are proved, and arguments in favour of our main conjecture are given. Finally, an extension of the conjecture describing the inverse of the matrix of Kazhdan-Lusztig polynomials is discussed. △ Less

Submitted 4 November, 1998; originally announced November 1998.

Comments: LaTeX2e, 15 pages. Submitted to Lett. Math. Phys

Report number: TWI-98-J MSC Class: 17A70; 17B70

The second cohomology of sl(m|1) with coefficients in its enveloping algebra is trivial

Authors: M. Scheunert, R. B. Zhang

Abstract: Using techniques developed in a recent article by the authors, it is proved that the 2-cohomology of the Lie superalgebra sl(m|1); m > 1, with coefficients in its enveloping algebra is trivial. The obstacles in solving the analogous problem for sl(3|2) are also discussed. Using techniques developed in a recent article by the authors, it is proved that the 2-cohomology of the Lie superalgebra sl(m|1); m > 1, with coefficients in its enveloping algebra is trivial. The obstacles in solving the analogous problem for sl(3|2) are also discussed. △ Less

Submitted 7 May, 1998; originally announced May 1998.

Comments: 15 pages, Latex, no figures

Report number: BONN-TH-98-09

Comments on the Noncommutative Geometry of Quantum Homogeneous Vector Bundles

Authors: R. B. Zhang

Abstract: Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum homogeneous vector bundles are classified and explicitly constructed by using the theory of projective modules. Differential calculi are obtained for quantum homogeneous spaces by extending Woronowicz' approach to the present context. Representation theoretical properties of the differential calculi are investigated. Connections on quantum homogeneous vector bundles are classified and explicitly constructed by using the theory of projective modules. △ Less

Submitted 2 May, 1998; originally announced May 1998.

Comments: Latex with amsfonts, 9 pages

Geometry and Representations of the Quantum Supergroup OSPq(1|2n)

Authors: H. C. Lee, R. B. Zhang

Abstract: The quantum supergroup OSPq(1|2n) is studied systematically. A Haar functional is constructed, and an algebraic version of the Peter - Weyl theory is extended to this quantum supergroup. Quantum homogeneous superspaces and quantum homogeneous supervector bundles are defined following the strategy of Connes' theory. Parabolic induction is developed by employing the quantum homogeneous supervector… ▽ More The quantum supergroup OSPq(1|2n) is studied systematically. A Haar functional is constructed, and an algebraic version of the Peter - Weyl theory is extended to this quantum supergroup. Quantum homogeneous superspaces and quantum homogeneous supervector bundles are defined following the strategy of Connes' theory. Parabolic induction is developed by employing the quantum homogeneous supervector bundles. Quantum Frobenius reciprocity and a generalized Borel - Weil theorem are established for the induced representations. △ Less

Submitted 23 April, 1998; originally announced April 1998.

Comments: Latex, 20 pages

Geometry of Quantum Homogeneous Supervector Bundles and Representation Theory of Quantum General Linear Supergroup

Authors: R. B. Zhang

Abstract: The quantum general linear supergroup GLq(m|n) is defined and its structure is studied systematically. Quantum homogeneous supervector bundles are introduced following Connes' theory, and applied to develop the representation theory of GLq(m|n). Quantum Frobenius reciprocity is proven, and a Borel - Weil theorem is established for the irreducible covariant and contravariant tensor representation… ▽ More The quantum general linear supergroup GLq(m|n) is defined and its structure is studied systematically. Quantum homogeneous supervector bundles are introduced following Connes' theory, and applied to develop the representation theory of GLq(m|n). Quantum Frobenius reciprocity is proven, and a Borel - Weil theorem is established for the irreducible covariant and contravariant tensor representations. △ Less

Submitted 9 March, 1998; originally announced March 1998.

Comments: To appear in the Proceedings of the Fifth International Wigner Symposium, 25-29 August 1997, Vienna

Vector Coherent State Realization of Representations of the Affine Lie Algebra $\hat{sl}(2)$

Authors: R. B. Zhang

Abstract: The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as special cases. The method of vector coherent states is generalized to study representations of the affine Lie algebra $\hat{sl}(2)$. A large class of highest weight irreps is explicitly constructed, which contains the integrable highest weight irreps as special cases. △ Less

Submitted 2 November, 1997; originally announced November 1997.

Comments: 8 pages plain latex. To appear in J. Phys. A

Quantum Group Duality and the Cuntz Algebra

Authors: A. L. Carey, A. Paolucci, R. B. Zhang

Abstract: The Cuntz algebra carries in a natural way the structure of a module algebra over the quantized universal enveloping algebra $U_q(g)$, and the structure of a co-module algebra over the quantum group $G_q$ associated with $U_q(g)$. These two algebraic structures are dual to each other via the duality between $G_q$ and $U_q(g)$. The Cuntz algebra carries in a natural way the structure of a module algebra over the quantized universal enveloping algebra $U_q(g)$, and the structure of a co-module algebra over the quantum group $G_q$ associated with $U_q(g)$. These two algebraic structures are dual to each other via the duality between $G_q$ and $U_q(g)$. △ Less

Submitted 27 May, 1997; originally announced May 1997.

Comments: AMS Latex, 17 pages

Geometry of Quantum Homogeneous Vector Bundles and Representation Theory of Quantum Groups I

Authors: A. R. Gover, R. B. Zhang

Abstract: Quantum homogeneous vector bundles are introduced by a direct description of their sections in the context of Woronowicz type compact quantum groups. The bundles carry natural topologies inherited from the quantum groups, and their sections furnish projective modules over algebras of functions on quantum homogeneous spaces. Further properties of the quantum homogeneous vector bundles are investi… ▽ More Quantum homogeneous vector bundles are introduced by a direct description of their sections in the context of Woronowicz type compact quantum groups. The bundles carry natural topologies inherited from the quantum groups, and their sections furnish projective modules over algebras of functions on quantum homogeneous spaces. Further properties of the quantum homogeneous vector bundles are investigated, and their applications to the representation theory of quantum groups are explored. In particular, quantum Frobenius reciprocity and a generalized Borel-Weil theorem are established. △ Less

Submitted 26 May, 1997; originally announced May 1997.

Comments: Plain Latex, 34 pages, no figures