Arxiv:2108.00269V1 [Math.QA] 31 Jul 2021 Quantum
Total Page:16
File Type:pdf, Size:1020Kb
Quantum Representation Theory and Manin matrices I: finite-dimensional case Alexey Silantyev∗ Joint Institute for Nuclear Research, 141980 Dubna, Moscow region, Russia State University ”Dubna”, 141980 Dubna, Moscow region, Russia Abstract We construct Quantum Representation Theory which describes quantum analogue of representations in frame of ‘non-commutative linear geometry’ developed by Manin in [Man88]. To do it we generalise the internal hom-functor to the case of adjunction with a parameter and construct a general approach to representations of a monoid in a symmetric monoidal category with a parameter subcategory. Quantum Representation Theory is obtained by application of this approach to a monoidal category of some class of graded algebras with Manin product, where the parameter subcategory consists of connected finitely generated quadratic algebras. We formulate this theory in the language of Manin matrices and obtain quantum analogues of direct sum and tensor product of representations. Finally, we give some examples of quantum representations. Keywords: quadratic algebras; Manin matrices; quantum groups; non-commutative spaces; Representation Theory; monoidal categories. Contents 1 Introduction 2 2 Preliminaries 4 2.1 Vectorspacesandalgebras. 4 arXiv:2108.00269v2 [math.QA] 24 Sep 2021 2.2 Algebraicsetsandaffineschemes . 6 2.3 Monoidalcategoriesandfunctors . .. 8 2.4 Monoidsandtheiractions ............................ 11 2.5 Monoids and groups in a category with finite products . ... 17 ∗[email protected] 1 3 Internal hom and representations 19 3.1 Internal (co)hom-functor and its generalisation . ....... 19 3.2 (Co)representationsof(co)monoids . .... 23 3.3 Translation of (co)representations under monoidal functors .......... 27 4 Quantum linear spaces 30 4.1 Operations with quadratic algebras . 31 4.2 Maninmatrices .................................. 37 4.3 Semi-linear spaces and their quantum analogue . .. 39 4.4 Internalhomforquantumlinearspaces . ... 44 5 Quantum Representation Theory 50 5.1 Quantumrepresentations. 50 5.2 Operationswithquantumrepresentations. .... 55 5.3 S∗-embedding of classical representations . 64 5.4 T ∗-embedding of classical representations . 70 6 Examples 72 6.1 Corepresentations of Mq(m)........................... 72 6.2 An extension of the Yangian Y (glm)anditscorepresentations . 74 6.3 Corepresentations of an extended Y (som).................... 76 Conclusion and further directions 77 1 Introduction In the end of 80s Yuri Manin generalised the notion of finite-dimensional vector (linear) space to the quantum1 case [Man88]. He introduced the term ‘quantum linear spaces’ for (finitely generated connected) quadratic algebras considered as objects of the opposite category. The usual finite-dimensional vector spaces correspond to the polynomial algebras. Manin defined four binary operations with quadratic algebras, they where denoted by ◦, •, ⊗, ⊗. He also introduced a duality of quadratic algebras, which coincides with the Koszul duality for the quadratic Koszul algebras (see [Man87, Man88, Man91]). The most important binary operation for our purposes is ‘◦’, which we call ‘Manin white product’ or just ‘Manin product’. As it was shown in [Man88] the category of quantum linear spaces with these product is a closed monoidal category and that the internal hom can be written via the Koszul duality and the binary operation ‘•’, which is called ‘black 1We use the word ‘quantum’ instead of ‘non-commutative’ in the sense of non-commutative spaces by following Manin [Man88] and Drinfeld [Dr], because sometimes the word ‘non-commutative’ is confusing. For example, the term ‘non-commutative group’ does not mean a non-commutative space with a group structure (i.e. a quantum group), but rather a non-abelian group. Moreover, we want to consider the usual ‘commutative’ spaces as a particular case of the non-commutative ones. 2 Manin product’. This gives a construction of the internal hom-object as a quadratic algebra generated by entries of some matrix. It turned out that the description of the internal hom-object for the polynomial algebras gives some non-trivial commutation relations for the entries of this matrix. The matri- ces (over a non-commutative ring in general) satisfying these commutation relations were called ‘Manin matrices’ in [CF]. A lot of their interesting properties and applications were found [CF, CM, CFR, RST]. The properties and applications of q-analogues of Manin ma- trices were considered in [GLZ, CFRS, IO]. The super-version and Manin matrices for the series B, C, D were considered in [Man89, Man91, Man92, MR] and [Molev] respectively. The notion of Manin matrices was generalised in [S]. It was shown that any quadratic algebra can be given by a matrix idempotent A acting in a tensor product of a vector space. This algebra was denoted by XA(K), where K is a basic field. Then it was defined a Manin matrix for a pair of idempotents A and B and showed how this notion can be associated to the pair of quadratic algebras XA(K) and XB(K). The main aim of this paper is to generalise Representation Theory to the case of a quantum representation space. The objects which are to be represented (such as algebras, groups, algebraic groups) are generalised up to ‘quantum algebras’ (these include quantum groups). To do it we formulate a general representation theory in a monoidal category with some generalisation of internal hom-functor. For such category the representations of a monoid can be functorially identified with left actions of this monoid on some objects. In a particular case this approach gives Quantum Representation Theory: we need to take the monoidal category of quadratic algebras with the Manin product ‘◦’ together with some extension of this category, where the category of quadratic algebras plays the role of parameter subcat- egory. This extension is needed to include the representations of quantum groups. As a ‘classical’ representation can be given by a square matrix in a basis of the representation space, a quantum representation is given by a Manin matrix for the pair of idempotents A and B, where A = B. This work is mainly devoted to the finite-dimensional case. In the quantum level this means that the algebras A we consider are finitely generated and, as consequence, all the graded components Ak of these algebras are finite-dimensional vector spaces. For wider gen- erality we sometimes include the infinite-dimensional (infinitely generated) case into consid- eration, but here we do not define quantum representations on infinitely generated quadratic algebras. The paper is organised as follows. In Section 2 we give basic notations and definitions including theory of monoids and their actions. In Section 3 we describe the general approach to construct representation theory in a monoidal category by using the generalised internal hom. Since it is convenient to work in an opposite category we also define the dual notions: generalised internal cohom, corepresentations etc. Section 4 prepares the necessary notions and facts for the quantum representation theory: the Manin’s concept of quantum linear spaces, operations with quadratic algebras, semi-linear spaces and its quantum version, the 3 internal cohom for quadratic algebras and its generalisation. Section 5 is devoted to the description of the quantum representations, to the consideration of classical representations as quantum ones and to binary operations with the quantum representations. In Section 6 we give some examples of quantum representations. Acknowledgements. The author is grateful to A. Isaev, Y. Manin for useful references and to E. Patrin for discussions. The author particularly appreciates advice and guidance from V. Rubtsov. 2 Preliminaries 2.1 Vector spaces and algebras Fist of all, let us fix some terms and notations that we use in this work. 2.1.1. Basic field. Let K be a field such that char K =6 2. All the vector spaces will be over K. For two vector spaces V and W we denote by V ⊗ W = V ⊗K W their tensor product over K. For briefness we say ‘algebra’ for a unital associative algebra over K and we suppose that algebra homomorphisms map unity to unity. The unity of an algebra A we denote by 1 or 1A. 2.1.2. Notations for morphisms in a category. We denote the composition of mor- phisms f : Y → Z and g : X → Y in a category C by f · g. We do not use the symbol ‘◦’ for composition, because it will be used for the Manin product. For a natural transformation θ between functors F and G we sometimes omit the subscript of its components θX : FX → GX. In particular, for a morphism f : Y → Z we denote by ∗ f∗ and f the maps f∗ : Hom(X,Y ) → Hom(X,Z), f∗(g)= f · g : X → Z, g : X → Y, (2.1) f ∗ : Hom(Z,X) → Hom(Y,X), f ∗(h)= h · f : Y → X, h: Z → X. (2.2) They are the components of the natural transformations Hom(−,Y ) → Hom(−,Z) and Hom(Z, −) → Hom(Y, −) respectively. 2.1.3. Basis. A basis of a vector space V is a map e: I → V from a set I (which may be infinite) such that for any vector space W and any map f : I → W there exists a unique linear map h: V → W satisfying h · e = f. The basis e: I → V is denoted by (ei)i∈I or (ei), where ei is the value of e on i ∈ I. In the case of the set I = {1,...,n} we also use n the notation (ei)i=1. One can check that (ei)i∈I is a basis of V iff the elements ei ∈ V are pairwise different, the set {ei | i ∈ I} = e(I) is linear independent and any vector v ∈ V is K a finite linear combination of the form i αiei where αi ∈ . Notice that the basis (ei) is ′ not just a set, because the permutationP of the elements ei gives another basis (ei) with the ′ same set {ei} = {ei}. 4 2.1.4.