Source author record

Hechun Zhang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
4close collaborators

Published work

7 publications

preprint2022arXiv

Automorphisms and representations of quasi Laurent polynomial algebras

We study automorphisms and representations of quasi polynomial algebras (QPAs) and quasi Laurent polynomial algebras (QLPAs). For any QLPA defined by an arbitrary skew symmetric integral matrix, we explicitly describe its automorphism groups at generic qq and at roots of unity. Any QLPA is isomorphic to the tensor product of copies of the QLPA of degree 22 at different powers of qq and the centre, thus the study of representations of QPAs and QLPAs largely reduces to that of Lq(2){\mathcal L}_q(2) and Aq(2){\mathcal A}_q(2), the QLPA and QPA of degree 22. We study a category of Aq(2){\mathcal A}_q(2)-modules which have finite covers by submodules with natural local finiteness properties and satisfy some condition under localisation, determining its blocks, classifying the simple objects and providing two explicitly constructions for the simples. One construction produces the simple Aq(2){\mathcal A}_q(2)-modules from Lq(2){\mathcal L}_q(2)-modules via monomorphisms composed of the natural embedding of Aq(2){\mathcal A}_q(2) in Lq(2){\mathcal L}_q(2) and automorphisms of Lq(2){\mathcal L}_q(2), and the other explores a class of holonomic Dq{\mathcal D}_q-modules for the algebra Dq{\mathcal D}_q of qq-differential operators.

preprint2022arXiv

Representations of Quantum Coordinate Algebras at Generic qq and Wiring Diagrams

This paper is devoted to the representation theory of quantum coordinate algebra Cq[G]\mathbb{C}_q[G], for a semisimple Lie group GG and a generic parameter qq. By inspecting the actions of normal elements on tensor modules, we generalize a result of Levendorski and Soibelman in [22] for highest weight modules. For a double Bruhat cell Gw1,w2G^{w_1,w_2}, we describe the primitive spectra prim Cq[G]w1,w2\mathrm{prim}\,\mathbb{C}_q[G]_{w_1,w_2} in a new fashion, and construct a bundle of (w1,w2)(w_1,w_2) type simple modules onto prim Cq[G]w1,w2\mathrm{prim}\,\mathbb{C}_q[G]_{w_1,w_2}, provided Supp(w1)∩Supp(w2)=∅\mathrm{Supp}(w_1)\cap\mathrm{Supp}(w_2)=\varnothing or enough pivot elements. The fibers of the bundle are shown to be products of the spectrums of simple modules of 2-dimensional quantum torus Lq(2)L_q(2). As an application of our theory, we deduce an equivalent condition for the tensor module to be simple, and construct some simple modules for each primitive ideal when G=SL3(C)G=SL_3(\mathbb{C}). This completes the Dixmier's program for Cq[SL3]\mathbb{C}_q[SL_3]. The wiring diagrams, introduced by Fomin and Zelevinsky in their study of total positivity (cf. [3,9]), is the main tool to compute the action of generalized quantum minors on tensor modules in the type A case. We obtain a quantum version of Lindström's lemma, which plays an important role in transforming representation problems into combinatorial ones of wiring diagrams.

preprint2016arXiv

First fundamental theorems of invariant theory for quantum supergroups

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

preprint2012arXiv

Double-partition Quantum Cluster Algebras

A family of quantum cluster algebras is introduced and studied. In general, these algebras are new, but subclasses have been studied previously by other authors. The algebras are indexed by double partitions or double flag varieties. Equivalently, they are indexed by broken lines LL. By grouping together neighboring mutations into quantum line mutations we can mutate from the cluster algebra of one broken line to another. Compatible pairs can be written down. The algebras are equal to their upper cluster algebras. The variables of the quantum seeds are given by elements of the dual canonical basis. This is the final version, where some arguments have been expanded and/or improved and several typos corrected. Full bibliographic details: Journal of Algebra (2012), pp. 172-203 DOI information: 10.1016/j.jalgebra.2012.09.015

preprint2010arXiv

Canonical bases and quantum coordinate ring

Some filtrations of the tensor product of a highest weight module and a lowest weight module over quantum group Uq(g)U_q(\mathfrak g) are constructed in \cite{LZ:2009} and one can use them to define some ideals of the modified quantized enveloping algebra. It is shown that the quotient algebras inherit canonical bases from the modified quantized enveloping algebra and are dual to the quantum coordinate ring defined by Kashiwara for symmetrizable Kac-Moody algebra g\mathfrak g.

preprint2010arXiv

Composition Series of Tensor Product

Given a quantized enveloping algebra Uq(g)U_q(\mathfrak g) and a pair of dominant weights (λλ, μμ), we extend a conjecture raised by Lusztig in \cite{Lusztig:1992}to a more general form and then prove this extended Lusztig's conjecture. Namely we prove that for any symmetrizable Kac-Moody algebra g\mathfrak g, there is a composition series of the Uq(g)U_q(\mathfrak g)-module V(λ)⊗V(μ)V(λ)\otimes V(μ) compatible with the canonical basis. As a byproduct, the celebrated Littlewood-Richardson rule is derived and we also construct, in the same manner, a composition series of V(λ)⊗V(−μ)V(λ)\otimes V(-μ) compatible with the canonical basis when g\mathfrak g is of affine type and the level of λ−μλ-μ is nonzero.

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→1q\to 1, our results imply the first fundamental theorem of classical invariant theory, and therefore generalise them to the noncommutative case.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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