Showing papers in "arXiv: Quantum Algebra in 1998"

The q-characters of representations of quantum affine algebras and deformations of W-algebras

Abstract: We propose the notion of q-characters for finite-dimensional representations of quantum affine algebras. It is motivated by our theory of deformed W-algebras. We show that the q-characters give rise to a homomorphism from the Grothendieck ring of representations of a quantum affine algebra to a polynomial ring. We conjecture that the image of this homomorphism is equal to the intersection of certain "screening operators". We also discuss the connection between q-characters and Bethe Ansatz.

Another proof of M. Kontsevich formality theorem

Abstract: This is a draft of paper in which we announce a plan of an alternative proof of M. Kontsevich formality theorem [5]. The basic idea is to equip Hochshild cochains of an associative algebra with a structure of homotopy Poisson algebra and to prove the formality of this algebra. The author was told about this idea by Boris Tsygan about a year ago. The author would like to thank Boris Tsygan and Paul Bressler for their help.

Lifting of Quantum Linear Spaces and Pointed Hopf Algebras of order p^3

Abstract: We propose the following principle to study pointed Hopf algebras, or more generally, Hopf algebras whose coradical is a Hopf subalgebra. Given such a Hopf algebra A, consider its coradical filtration and the associated graded coalgebra grad(A). Then grad(A) is a graded Hopf algebra, since the coradical A_0 of A is a Hopf subalgebra. In addition, there is a projection \pi: grad(A) \to A_0; let R be the algebra of coinvariants of \pi. Then, by a result of Radford and Majid, R is a braided Hopf algebra and grad(A) is the bosonization (or biproduct) of R and A_0: grad(A) is isomorphic to (R # A_0). The principle we propose to study A is first to study R, then to transfer the information to grad(A) via bosonization, and finally to lift to A. In this article, we apply this principle to the situation when R is the simplest braided Hopf algebra: a quantum linear space. As consequences of our technique, we obtain the classification of pointed Hopf algebras of order p^3 (p an odd prime) over an algebraically closed field of characteristic zero; with the same hypothesis, the characterization of the pointed Hopf algebras whose coradical is abelian and has index p or p^2; and an infinite family of pointed, non-isomorphic, Hopf algebras of the same dimension. This last result gives a negative answer to a conjecture of I. Kaplansky.

Remarks on fermionic formula

Abstract: Fermionic formulae originate in the Bethe ansatz in solvable lattice models. They are specific expressions of some q-polynomials as sums of products of q-binomial coefficients. We consider the fermionic formulae associated with general non-twisted quantum affine algebra U_q(X^{(1)}_n) and discuss several aspects related to representation theories and combinatorics. They include crystal base theory, one dimensional sums, spinon character formulae, Q-system and combinatorial completeness of the string hypothesis for arbitrary X_n.

Quantization of Lie bialgebras, V

Abstract: This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting examples of such algebras. In particular, we construct a quantum vertex operator algebra from a rational, trigonometric, or elliptic R-matrix, which is a quantum deformation of the affine vertex operator algebra. The simplest vertex operator in this algebra is the quantum current of Reshetikhin and Semenov-Tian-Shansky.

Courant Algebroids and Strongly Homotopy Lie Algebras

Abstract: Courant algebroids are structures which include as examples the doubles of Lie bialgebras and the direct sum of tangent and cotangent bundles with the bracket introduced by T. Courant for the study of Dirac structures. Within the category of Courant algebroids one can construct the doubles of Lie bialgebroids, the infinitesimal objects for Poisson groupoids. We show that Courant algebroids can be considered as strongly homotopy Lie algebras.

On the decomposition matrices of the quantized Schur algebra

Abstract: We prove the decomposition conjecture of Leclerc and Thibon for the Schur algebra. We also give a new approach to the Lusztig conjecture for the dimension of the simple U(sl_k)-modules at roots of unity via canonical bases of the Hall algebra.

Higher order Painlevé equations of type $A^{(1)}_l$

Abstract: A series of systems of nonlinear equations with affine Weyl group symmetry of type $A^{(1)}_l$ is studied. This series gives a generalization of Painleve equations $P_{IV}$ and $P_{V}$ to higher orders.

Inhomogeneous lattice paths, generalized Kostka polynomials and A$_{n-1}$ supernomials

Abstract: Inhomogeneous lattice paths are introduced as ordered sequences of rectangular Young tableaux thereby generalizing recent work on the Kostka polynomials by Nakayashiki and Yamada and by Lascoux, Leclerc and Thibon. Motivated by these works and by Kashiwara's theory of crystal bases we define a statistic on paths yielding two novel classes of polynomials. One of these provides a generalization of the Kostka polynomials while the other, which we name the A$_{n-1}$ supernomial, is a $q$-deformation of the expansion coefficients of products of Schur polynomials. Many well-known results for Kostka polynomials are extended leading to representations of our polynomials in terms of a charge statistic on Littlewood-Richardson tableaux and in terms of fermionic configuration sums. Several identities for the generalized Kostka polynomials and the A$_{n-1}$ supernomials are proven or conjectured. Finally, a connection between the supernomials and Bailey's lemma is made.

Theorie des representations du groupe quantique compact libre O(n)

Abstract: We find, for each $n\geq 2$, the class of $n\times n$ compact quantum groups having the representation theory similar to that of $SU(2)$: it is the class of ``free analogues of $O(n)$'', defined by Wang and Van Daele.

Braided Hopf algebras over non abelian finite groups

Abstract: This is a survey of general aspects of the theory of braided Hopf algebras with emphasis on a special class of braided graded Hopf algebras named tobas. The interest on tobas arises from problems of classification of pointed Hopf algebras. We discuss tobas from different points of view following ideas of Lusztig, Nichols and Schauenburg. We then concentrate on braided Hopf algebras in the Yetter-Drinfeld category over H, where H is the group algebra of a non abelian finite group. We present some finite dimensional examples arising in an unpublished work by Milinski and Schneider.

The Swiss-Cheese operad

Abstract: We introduce a new operad, which we call the Swiss-cheese operad. It mixes naturally the little disks and the little intervals operads. The Swiss-cheese operad is related to the configuration spaces of points on the upper half-plane and points on the real line, considered by Kontsevich for the sake of deformation quantization. This relation is similar to the relation between the little disks operad and the configuration spaces of points on the plane. The Swiss-cheese operad may also be regarded as a finite-dimensional model of the moduli space of genus-zero Riemann surfaces appearing in the open-closed string theory studied recently by Zwiebach. We describe algebras over the homology of the Swiss-cheese operad.

An Algebraic Characterization of the Affine Canonical Basis

Abstract: The canonical basis for quantized universal enveloping algebras associated to the finite--dimensional simple Lie algebras, was introduced by Lusztig. The principal technique is the explicit construction (via the braid group action) of a lattice over $\bz[q^{-1}]$. This allows the algebraic characterization of the canonical basis as a certain bar-invariant basis of $\cl$. Here we present a similar algebraic characterization of the affine canonical basis. Our construction is complicated by the need to introduce basis elements to span the ``imaginary'' subalgebra which is fixed by the affine braid group. Once the basis is found we construct a PBW-type basis whose $\bz[q^{-1}]$-span reduces to a ``crystal'' basis at $q=\infty,$ with the imaginary component given by the Schur functions.

On generalized Kostka polynomials and quantum Verlinde rule

Abstract: Here we propose a way to construct generalized Kostka polynomials. Namely, we construct an equivariant filtration on tensor products of irreducible representations. Further, we discuss properties of the filtration and the adjoint graded space. Finally, we apply the construction to computation of coinvariants of current algebras.

Skein Modules and the Noncommutative Torus

Abstract: We show that the Kauffman bracket skein module of a cylinder over the torus embeds as a subalgebra of the noncommutative torus. Using this we derive nice formulas for the Jones-Wenzl idempotents and analyze the structure of the Kauffman bracket skein module of the unknot as a module over the Kauffman bracket skein module of a cylinder over the torus.

Axioms for Weak Bialgebras

Abstract: Let A be a finite dimensional unital associative algebra over a field K, which is also equipped with a coassociative counital coalgebra structure (\Delta,\eps). A is called a Weak Bialgebra if the coproduct \Delta is multiplicative. We do not require \Delta(1) = 1 \otimes 1 nor multiplicativity of the counit \eps. Instead, we propose a new set of counit axioms, which are modelled so as to guarantee that \Rep\A becomes a monoidal category with unit object given by the cyclic A-submodule \E := (A --> \eps) \subset \hat A (\hat A denoting the dual weak bialgebra). Under these monoidality axioms \E and \bar\E := (\eps <-- A) become commuting unital subalgebras of \hat A which are trivial if and only if the counit \eps is multiplicative. We also propose axioms for an antipode S such that the category \Rep\A becomes rigid. S is uniquely determined, provided it exists. If a monoidal weak bialgebra A has an antipode S, then its dual \hat A is monoidal if and only if S is a bialgebra anti-homomorphism, in which case S is also invertible. In this way we obtain a definition of weak Hopf algebras which in Appendix A will be shown to be equivalent to the one given independently by G. B\"ohm and K. Szlach\'anyi. Special examples are given by the face algebras of T. Hayashi and the generalised Kac algebras of T. Yamanouchi.

Kontsevich's Universal Formula for Deformation Quantization and the Campbell-Baker-Hausdorff Formula, I

Abstract: We relate a universal formula for the deformation quantization of arbitrary Poisson structures proposed by Maxim Kontsevich to the Campbell-Baker-Hausdorff formula. Our basic thesis is that exponentiating a suitable deformation of the Poisson structure provides a prototype for such universal formulae.

Representations of compact quantum groups and subfactors

Abstract: We associate Popa systems (= standard invariants of subfactors) to the finite dimensional representations of compact quantum groups. We characterise the systems arising in this way: these are the ones which can be ``represented'' on finite dimensional Hilbert spaces. This is proved by an universal construction. We explicitely compute (in terms of some free products) the operation of going from representations of compact quantum groups to Popa systems and then back via the universal construction. We prove a Kesten type result for the co-amenability of compact quantum groups, which allows us to compare it with the amenability of subfactors.

Quantum geometry of algebra factorisations and coalgebra bundles

Abstract: We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra version of theory introduced previously, to include frame resolutions and corresponding covariant derivatives and torsions. As an example, we construct $q$-monopoles on all the Podle\'s quantum spheres $S^2_{q,s}$.

Actions of Multiplier Hopf Algebras

Abstract: For an action $\alpha$ of a group $G$ on an algebra $R$ (over $\Bbb C$), the crossed product $R\times_\alpha G$ is the vector space of $R$-valued functions with finite support in $G$, together with the twisted convolution product given by $$(\xi \eta)(p) = \sum_{q \in G} \xi(q) \alpha_q (\eta (q^{-1}p))$$ where $p\in G$. This construction has been extended to the theory of Hopf algebras. Given an action of a Hopf algebra $A$ on an algebra $R$, it is possible to make the tensor product $R\ot A$ into an algebra by using a twisted product, involving the action. In this case, the algebra is called the smash product and denoted by $R# A$. In the group case, the action $\alpha$ of $G$ on $R$ yields an action of the group algebra $\Bbb C G$ as a Hopf algebra on $R$ and the crossed $R\times_\alpha G$ coincides with the smash product $R# \Bbb C G$. In this paper we extend the theory of actions of Hopf algebras to actions of multiplier Hopf algebras. We also construct the smash product and we obtain results very similar as in the original situation for Hopf algebras. The main result in the paper is a duality theorem for such actions. We consider dual pairs of multiplier Hopf algebras to formulate this duality theorem. We prove a result in the case of an algebraic quantum group and its dual. The more general case is only stated and will be proven in a separate paper on coactions. These duality theorems for actions are substantial generalizations of the corresponding theorem for Hopf algebras. Also the techniques that are used here to prove this result are slightly different and simpler.

On free conformal and vertex algebras

Abstract: Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in the categories of conformal and vertex algebras. In some cases we can explicitly build their Groebner bases.

On Finite-Dimensional Semisimple and Cosemisimple Hopf Algebras in Positive Characteristic

Abstract: Recently, important progress has been made in the study of finite-dimensional semisimple Hopf algebras over a field of characteristic zero. Yet, very little is known over a field of positive characteristic. In this paper we prove some results on finite-dimensional semisimple and cosemisimple Hopf algebras A over a field of positive characteristic, notably Kaplansky's 5th conjecture on the order of the antipode of A. These results have already been proved over a field of characteristic zero, so in a sense we demonstrate that it is sufficient to consider semisimple Hopf algebras over such a field (they are also cosemisimple), and then to use our Lifting Theorem 2.1 to prove it for semisimple and cosemisimple Hopf algebras over a field of positive characteristic. In our proof of Lifting Theorem 2.1 we use standard arguments of deformation theory from positive to zero characteristic. The key ingredient of the proof is the theorem that the bialgebra cohomology groups of A vanish.

Automorphism Groups and Twisted Modules for Lattice Vertex Operator Algebras

Abstract: We give a complete description of the full automorphism group of a lattice vertex operator algebra, determine the twisted Zhu's algebra for the automorphism lifted from the -1 isometry of the lattice and classify the corresponding irreducible twisted modules through the twisted Zhu algebra.

Deformation Quantization: Twenty Years After

Abstract: We first review the historical developments, both in physics and in mathematics, that preceded (and in some sense provided the background of) deformation quantization. Then we describe the birth of the latter theory and its evolution in the past twenty years, insisting on the main conceptual developments and keeping here as much as possible on the physical side. For the physical part the accent is put on its relations to, and relevance for, "conventional" physics. For the mathematical part we concentrate on the questions of existence and equivalence, including most recent developments for general Poisson manifolds; we touch also noncommutative geometry and index theorems, and relations with group theory, including quantum groups. An extensive (though very incomplete) bibliography is appended and includes background mathematical literature.

Spherical 2-categories and 4-manifold invariants

Abstract: In this paper I define the notion of a non-degenerate finitely semi-simple semi-strict spherical 2-category of non-zero dimension. Given such a 2-category I define a state-sum for any triangulated compact closed oriented 4-manifold and show that this state-sum does not depend on the chosen triangulation by proving invariance under the 4D Pachner moves. This invariant of piece-wise linear closed compact oriented 4-manifolds generalizes the Crane-Yetter invariant and probably it is also a generalization of the Crane-Frenkel invariant. As an example we show how to obtain a 2-category of the right kind from a finite group and a 4-cocycle on this group. The invariant we obtain from this example looks like a four dimensional version of the Dijkgraaf-Witten invariant.

n-ary Lie and Associative Algebras

Abstract: With the help of the multigraded Nijenhuis-- Richardson bracket and the multigraded Gerstenhaber bracket from [7] for every $n\ge 2$ we define $n$-ary associative algebras and their modules and also $n$-ary Lie algebras and their modules, and we give the relevant formulas for Hochschild and Chevalley cohomogy

Quantum Kac-Moody Algebras and Vertex Representations

Abstract: We introduce an affinization of the quantum Kac-Moody algebra associated to a symmet- ric generalized Cartan matrix. Based on the affinization, we construct a representation of the quantum Kac-Moody algebra by vertex operators from bosonic fields. We also obtain a combinatorial identity about Hall-Littlewood polynomials. Mathematics Subject Classifications ( 1991): Primary: 17Bxx; Secondary: 05Exx.

The Aarhus integral of rational homology 3-spheres II: Invariance and universality

Abstract: We continue the work started in part I (q-alg/9706004) and prove the invariance and universality in the class of finite type invariants of the object defined and motivated there, namely the Aarhus integral of rational homology 3-spheres. Our main tool in proving invariance is a translation scheme that translates statements in multi-variable calculus (Gaussian integration, integration by parts, etc.) to statements about diagrams. Using this scheme the straight-forward "philosophical" calculus-level proofs of part I become straight-forward honest diagram-level proofs here. The universality proof is standard and utilizes a simple "locality" property of the Kontsevich integral.

Polyhedral Realizations of Crystal Bases for Integrable Highest Weight Modules

Abstract: We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.

Graded characters of modules supported in the closure of a nilpotent conjugacy class

Abstract: We study the Poincare polynomials of isotypic components of a natural family of graded GL(n)-modules supported in the closure of a nilpotent conjugacy class. These polynomials generalize the Kostka-Foulkes and are q-analogues of Littlewood-Richardson coefficients corresponding to arbitrary tensor products of irreducibles. Many properties and formulas for these polynomials are derived, such as a generalized Morris recurrence, q-Kostant formula, and a conjectural formula in terms of catabolizable tableaux and charge.