arXiv Science⌕ Search

SEARCH · arXiv Science

Results for “math.QA”

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 recordsLinked to original sources
arXiv2003

Fusion and exchange matrices for quantized sl(2) and associated q-special functions

The aim of this paper is to evaluate in terms of q-special functions the objects (intertwining map, fusion matrix, exchange matrix) related to the quantum dynamical Yang-Baxter equation (QDYBE) for infinite dimensional representations (Verma modules) of the quantized universal enveloping algebra of g=sl(2,C). This study is done in the framework of the exchange construction, which was initiated (for general semisimple g) by Etingof and Varchenko (math.QA/9801135} and surveyed by Etingof and Schiffmann (math.QA/9908064) and Etingof (math.QA/0207008). Special attention is paid to the shifted boundary introduced by Babelon, Bernard and Billey (q-alg/9511019) and to its coincidence (first observed by Rosengren) with Rosengren's generalized elements in U_q(sl(2)) for conjugation. The present paper extends in various aspects our earlier paper math.QA/0007086, which dealt with q=1.

math.QA↗
arXiv2004

On radically graded finite dimensional quasi-Hopf algebras

Let p be a prime, and denote the class of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p, by RG(p). The purpose of this paper is to continue the structure theory of finite dimensional quasi-Hopf algebras started in math.QA/0310253 (p=2) and math.QA/0402159 (p>2). More specifically, we completely describe the class RG(p) for p>2. Namely, we show that if H\in RG(p) has a nontrivial associator, then the rank of H[1] over H[0] is \le 1. This yields the following classification of H\in RG(p), p>2, up to twist equivalence: (a) Duals of pointed Hopf algebras with p grouplike elements, classified in math.QA/9806074. (b) Group algebra of Z_p with associator defined by a 3-cocycle. (c) The algebras A(q), introduced in math.QA/0402159. This result implies, in particular, that if p>2 is a prime then any finite tensor category over C with exactly p simple objects which are all invertible must have Frobenius-Perron dimension p^N, N=1,2,3,4,5 or 7. In the second half of the paper we construct new examples of finite dimensional quasi-Hopf algebras H, which are not twist equivalent to a Hopf algebra. They are radically graded, and H/Rad(H)=C[Z_n^m], with a nontrivial associator. For instance, to every finite dimensional simple Lie algebra g and an odd integer n, coprime to 3 if g=G_2, we attach a quasi-Hopf algebra of dimension n^{dim(g)}.

math.QA↗
arXiv2006

Generalized double affine Hecke algebras of higher rank

We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, and parametrize its irreducible representations in the case when D is affine (i.e. extended D4, E6, E7, E8) and q=1. We formulate a series of conjectures regarding algebraic properties of GDAHA. We expect that, similarly to how GDAHA of rank 1 provide quantizations of del Pezzo surfaces (as shown in math.QA/0406480), GDAHA of higher rank provide quantizations of deformations of Hilbert schemes of these surfaces. The proofs are based on the study of the rational version of GDAHA (which is closely related to the algebras studied in math.QA/0401038), and differential equations of Knizhnik-Zamolodchikov type.

math.QA↗
arXiv2006

Anchor maps and stable modules in depth two

An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu math.QA/9905192, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids S = End {}_BA_B and T = End {}_AA\otimes_BA_A over the centralizer R = C_A(B) are the modules {}_SR and R_T studied in math.RA/0505004, math.RA/0408155 and math.GR/0409346, which provide information about the bialgebroids and the extension (cf. math.QA/0409106). The anchor maps for the Hopf algebroids in math.KT/0105105 and math.QA/0508411 reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in math.QA/0508638. We sketch a theory of stable $A$-modules and their endomorphism rings and generalize the smash product decomposition in Prop. 1.1, (L. Kadison, Hopf Algebroid and H-separable extensions, Proc. A.M.S. 131 (2003), 2993-3002) to any A-module. We observe that Schneider's coGalois theory (Isr.J.Math 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.

math.QA↗
arXiv2001

On the quasi-exponent of finite-dimensional Hopf algebras

Recall (math.QA/9812151) that the exponent of a finite-dimensional complex Hopf algebra H is the order of the Drinfeld element u of the Drinfeld double D(H) of H. Recall also that while this order may be infinite, the eigenvalues of u are always roots of unity (math.QA/9812151, Theorem 4.8); i.e., some power of u is always unipotent. We are thus naturally led to define the quasi-exponent of a finite-dimensional Hopf algebra H to be the order of unipotency of u. The goal of the paper is to create a theory of quasi-exponent, which would be parallel to the theory of the exponent developed in math.QA/9812151. In particular, we give two other equivalent definitions of the quasi-exponent, and prove that it is invariant under twisting. Furthermore, we prove that the quasi-exponent of a finite-dimensional pointed Hopf algebra H is equal to the exponent of the group G(H) of grouplike elements of H. (In particular, the order of the squared antipode of H divides exp(G(H)).) As an application, we find that if H is obtained by twisting the quantum group at root of unity U_q(g) then the order of any grouplike element in H divides the order of q.

math.QA↗
arXiv2002

The classification of finite-dimensional triangular Hopf algebras over an algebraically closed field of characteristic 0

We explain that a new theorem of Deligne on symmetric tensor categories implies, in a straightforward manner, that any finite dimensional triangular Hopf algebra over an algebraically closed field of characteristic zero has Chevalley property, and in particular the list of finite dimensional triangular Hopf algebras over such a field given in math.QA/0008232, math.QA/0101049 is complete. We also use Deligne's theorem to settle a number of questions about triangular Hopf algebras, raised in our previous publications, and generalize Deligne's result to nondegenerate semisimple categories in characteristic $p$, by using lifting methods developed in math.QA/0203060.

math.QA↗
arXiv2004

Basic quasi-Hopf algebras of dimension n^3

It is shown in math.QA/0310253 that a finite dimensional quasi-Hopf algebra over the complex numbers with radical of codimension 2 is twist equivalent to a Nichols Hopf algebra, or to a lifting of one of four special quasi-Hopf algebras of dimensions 2, 8, 8, and 32. The purpose of this paper is to construct new finite dimensional basic quasi-Hopf algebras A(q) of dimension n^3, n>2, parametrized by primitive roots of unity q of order n^2, with radical of codimension n, which generalize the construction of the basic quasi-Hopf algebras of dimension 8 given in math.QA/0310253. These quasi-Hopf algebras are not twist equivalent to a Hopf algebra, and may be regarded as quasi-Hopf analogs of Taft Hopf algebras. By math.QA/0301027, our construction is equivalent to the construction of new finite tensor categories whose simple objects form a cyclic group of order n, and which are not tensor equivalent to a representation category of a Hopf algebra. In a later publication we plan to use our construction to classify finite tensor categories whose simple objects form a cyclic group of prime order n. We also prove that if H is a finite dimensional radically graded quasi-Hopf algebra with H[0]=(C[\Z/n\Z],Φ), where n is prime and Φis a nontrivial associator, such that H[1] is a free left module over H[0] of rank 1 (it is always free) then H is isomorphic to A(q).

math.QA↗
arXiv2004

Liftings of graded quasi-Hopf algebras with radical of prime codimension

Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with grA in RG(p), where grA is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. Then either A is twist equivalent to a Hopf algebra, or it is twist equivalent to H(2), H_\pm(p), A(q), or H(32), constructed in math.QA/0310253, math.QA/0402159 and math.QA/0403096. Note that any finite tensor category whose simple objects are invertible and form a group of order p under tensor is the representation category of a quasi-Hopf algebra A as above. Thus this paper provides a classification of such categories.

math.QA↗
arXiv2000

Twisted traces of quantum intertwiners and quantum dynamical R-matrices corresponding to generalized Belavin-Drinfeld triples

This paper is a continuation of math.QA/9907181 and math.QA/9908115. We consider traces of intertwiners between certain representations of the quantized enveloping algebra associated to a semisimple complex Lie algebra g, which are twisted by a ``generalized Belavin-Drinfeld triple'', i.e a triple consisting of two subdiagrams of the Dynkin diagram of g together with an isomorphism between them. The generating functions F(lambda,mu) for such traces depend on two weights lambda and mu. We show that F(lambda,mu) satisfy two sets of difference equations in the variable lambda: the Macdonald-Ruijsenaars (MR) equations and the quantum Knizhnik-Zamolodchikov (qKZB) equations. These equations involve as a main ingredient the quantum dynamical R-matrices constructed in math.QA/9912009. When the generalized Belavin-Drinfeld triple is an automorphism, we show that F(lambda,mu) satisfy another two sets of difference equations with respect to the weight mu. These dual MR and dual qKZB equations involve the usual Felder's dynamical R-matrix. These results were first obtained by the first author and A. Varchenko in the special case of the trivial Belavin-Drinfeld triple. However, the symmetry between lambda and mu which exists in that case is destroyed in the twisted setting. At the end, we brielfly treat the (simialr) case of Kac-Moody algebras g and derive the classical limits of all the previous results.

math.QA↗
arXiv2002

Virtual crystals and Kleber's algorithm

Kirillov and Reshetikhin conjectured what is now known as the fermionic formula for the decomposition of tensor products of certain finite dimensional modules over quantum affine algebras. This formula can also be extended to the case of $q$-deformations of tensor product multiplicities as recently conjectured by Hatayama et al. (math.QA/9812022 and math.QA/0102113). In its original formulation it is difficult to compute the fermionic formula efficiently. Kleber (q-alg/9611032 and math.QA/9809087) found an algorithm for the simply-laced algebras which overcomes this problem. We present a method which reduces all other cases to the simply-laced case using embeddings of affine algebras. This is the fermionic analogue of the virtual crystal construction by the authors, which is the realization of crystal graphs for arbitrary quantum affine algebras in terms of those of simply-laced type.

math.QA↗
arXiv2007

Combinatorial Formulae for Nested Bethe Vectors

We give combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for tensor products of irreducible evaluation modules over the Yangian $Y({\mathfrak{gl}}_N)$ and the quantum affine algebra $U_q(\widetilde{{\mathfrak{gl}}_N})$. The results of the paper were obtained in 1998 and were used in math.QA/9905137, math.QA/0302148, math.QA/0610517.

math.QA↗
arXiv2009

Representations of pointed Hopf algebras over S_3

The classification of finite-dimensional pointed Hopf algebras with group S_3 was finished in "The Nichols algebra of a semisimple Yetter-Drinfeld module", arXiv:0803.2430v1 [math.QA], by Andruskiewitsch, Heckenberger and Schneider: there are exactly two of them, the bosonization of a Nichols algebra of dimension 12 and a non-trivial lifting. Here we determine all simple modules over any of these Hopf algebras. We also find the Gabriel quivers, the projective covers of the simple modules, and prove that they are not of finite representation type. To this end, we first investigate the modules over some complex pointed Hopf algebras defined in the papers "Examples of liftings of Nichols algebras over racks", by Andruskiewitsch and Gra\~na and "Finite dimensional pointed Hopf algebras over S_4", arXiv:0904.2558v2 [math.QA], by G. Garcia and the author, whose restriction to the group of group-likes is a direct sum of 1-dimensional modules.

math.QA↗
arXiv2016

Two statements on path systems related to quantum minors

In ArXiv:1604.00338[math.QA] we gave a complete combinatorial characterization of homogeneous quadratic identities for minors of quantum matrices. It was obtained as a consequence of results on minors of matrices of a special sort, the so-called path matrices $Path_G$ generated by paths in special planar directed graphs $G$. In this paper we prove two assertions that were stated but left unproved in ArXiv:1604.00338[math.QA]. The first one says that any minor of $Path_G$ is determined by a system of disjoint paths, called a flow, in $G$ (generalizing a similar result of Lindstr\"om's type for the path matrices of Cauchon graphs by Casteels). The second, more sophisticated, assertion concerns certain transformations of pairs of flows in $G$.

math.CO↗
arXiv2000

Some details of proofs of theorems related to the quantum dynamical Yang-Baxter equation

This paper gives some further details of proofs of some theorems related to the quantum dynamical Yang-Baxter equation. This mainly expands proofs given in "Lectures on the dynamical Yang-Baxter equation" by P. Etingof and O. Schiffmann, math.QA/9908064. This concerns the intertwining operator, the fusion matrix, the exchange matrix and the difference operators. The last part expands proofs given in "Traces of intertwiners for quantum groups and difference equations, I" by P. Etingof and A. Varchenko, math.QA/9907181. This concerns the dual Macdonald-Ruijsenaars equations. This paper does not claim originality, priority or completeness. It is meant as a service to whoever may take profit of it.

math.QA↗
arXiv2001

The global quantum duality principle: theory, examples, applications

The "quantum duality principle" states that a quantisation of a Lie bialgebra provides also a quantisation of the dual formal Poisson group and, conversely, a quantisation of a formal Poisson group yields a quantisation of the dual Lie bialgebra as well. We extend this to a much more general result: namely, given any principal ideal domain R, for each prime h in R we establish sort of an "inner" Galois' correspondence on the category HA of torsionless Hopf algebras over R, via the definition of two functors (from HA to itself) such that the image of the first, resp. of the second, is the full subcategory of those Hopf algebras which are commutative, resp. cocommutative, modulo h (i.e. they are "quantum function algebras" (=QFA), resp. "quantum universal enveloping algebras" (=QUEA), at h). In particular we provide a machine to get two quantum groups - a QFA and a QUEA - out of any Hopf algebra H over a field k: just plug in a parameter x and apply the functors to H[x] for h = x. Several relevant examples are studied in full detail: the trivial quantisations, the semisimple groups, the Euclidean group, the Heisenberg group, and the Kostant-Kirillov structure on any Lie algebra; furthermore, an interesting application to renormalisation theory in quantum electro-dynamics is studied, as a sample of application of the principle to a quite large class of problems. This work is a far-reaching "evolution" of the same author's preprint math.QA/9912186: the present paper is entirely self-contained, is more general from the mathematical point of view, and contains additional examples. WARNING: This preprint has been overtaken by a new, deeply enhanced and improved version, available as {\tt math.QA/0303019}; the interested reader is kindly asked to refer to that new preprint.

math.QA↗