Showing 1–44 of 44 results for author: Coquereaux, R

SU(3) higher roots and their lattices

Authors: Robert Coquereaux

Abstract: After recalling the notion of higher roots (or hyper-roots) associated with "quantum modules" of type $(G, k)$, for $G$ a semi-simple Lie group and $k$ a positive integer, following the definition given by A. Ocneanu in 2000, we study the theta series of their lattices. Here we only consider the higher roots associated with quantum modules (aka module-categories over the fusion category defined by… ▽ More After recalling the notion of higher roots (or hyper-roots) associated with "quantum modules" of type $(G, k)$, for $G$ a semi-simple Lie group and $k$ a positive integer, following the definition given by A. Ocneanu in 2000, we study the theta series of their lattices. Here we only consider the higher roots associated with quantum modules (aka module-categories over the fusion category defined by the pair $(G,k)$) that are also "quantum subgroups". For $G=SU{2}$ the notion of higher roots coincides with the usual notion of roots for ADE Dynkin diagrams and the self-fusion restriction (the property of being a quantum subgroup) selects the diagrams of type $A_{r}$, $D_{r}$ with $r$ even, $E_6$ and $E_8$; their theta series are well known. In this paper we take $G=SU{3}$, where the same restriction selects the modules ${\mathcal A}_k$, ${\mathcal D}_k$ with $mod(k,3)=0$, and the three exceptional cases ${\mathcal E}_5$, ${\mathcal E}_9$ and ${\mathcal E}_{21}$. The theta series for their associated lattices are expressed in terms of modular forms twisted by appropriate Dirichlet characters. △ Less

Submitted 13 August, 2024; originally announced September 2024.

Comments: 16 pages, 6 figures. Contribution to the volume "An Indisciplinary Tribute to Alex Grossmann", preprint version (2019)

MSC Class: 18D10; 22E46; 17B67; 17B37; 52C07; 81R10; 81T40

Journal ref: In: Flandrin, P., Jaffard, S., Paul, T., Torresani, B. (eds) Theoretical Physics, Wavelets, Analysis, Genomics. An Indisciplinary Tribute to Alex Grossmann. Applied and Numerical Harmonic Analysis. Birkhäuser, Cham. 2023

Counting partitions by genus: a compendium of results

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new d… ▽ More We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures. △ Less

Submitted 10 February, 2024; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: This version (version 3) : 35 pages, 2 figures, improved presentation, background recalled, more details provided, proofs of the two main propositions made more precise, a table forgotten in version 2 is inserted

MSC Class: 05A18; 05A15; 15B52; 60Cxx

Journal ref: Journal of Integer Sequences, Vol. 27 (2024), Article 24.2.6

About integer-valued variants of the theta and 6j symbols

Authors: Robert Coquereaux

Abstract: These notes contain essentially a rewriting of several properties of two well-known quantities, the so-called theta symbol (or triangular symbol), which is rational, and the 6j symbol, which is usually irrational, in terms of two related integer-valued functions called gon and tet. Existence of these related integer-valued avatars, sharing most essential properties with their more popular partners… ▽ More These notes contain essentially a rewriting of several properties of two well-known quantities, the so-called theta symbol (or triangular symbol), which is rational, and the 6j symbol, which is usually irrational, in terms of two related integer-valued functions called gon and tet. Existence of these related integer-valued avatars, sharing most essential properties with their more popular partners, although a known fact, is often overlooked. The properties of gon and tet are easier to obtain, or to formulate, than those of the corresponding theta and 6j symbols, both in the classical and quantum situations. Their evaluation is also simpler (the paper displays a number of explicit formulae and evaluation procedures that may speed up some computer programs). These two integer-valued functions are unusual, in that their properties do not appear to be often discussed in the literature, but their features reflect those of related real-valued functions discussed in many places. Some of the properties that we shall discuss seem however to be new, in particular several relations between the function gon and the inverse Hilbert matrices. △ Less

Submitted 10 February, 2023; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 34 pages, 10 figures. Extended revised version: comments added, new references, new appendix, corrected typos

MSC Class: 81R05; 22E99; 51M20

Journal ref: J. Math. Phys. 64, 031703 (2023)

About left-invariant geometry and homogeneous pseudo-Riemannian Einstein structures on the Lie group SU(3)

Authors: Robert Coquereaux

Abstract: This is a collection of notes on the properties of left-invariant metrics on the eight-dimensional compact Lie group SU(3). Among other topics we investigate the existence of invariant pseudo-Riemannian Einstein metrics on this manifold. We recover the known examples (Killing metric and Jensen metric) in the Riemannian case (signature (8,0)), as well as a Gibbons et al example of signature (6,2),… ▽ More This is a collection of notes on the properties of left-invariant metrics on the eight-dimensional compact Lie group SU(3). Among other topics we investigate the existence of invariant pseudo-Riemannian Einstein metrics on this manifold. We recover the known examples (Killing metric and Jensen metric) in the Riemannian case (signature (8,0)), as well as a Gibbons et al example of signature (6,2), and we describe a new example, which is Lorentzian (ie of signature (7,1). In the latter case the associated metric is left-invariant, with isometry group SU(3) x U(1), and has positive Einstein constant. It seems to be the first example of a Lorentzian homogeneous Einstein metric on this compact manifold. These notes are arranged into a paper that deals with various other subjects unrelated with the quest for Einstein metrics but that may be of independent interest: Among other topics we describe the various groups that may arise as isometry groups of left-invariant metrics on SU(3), provide parametrizations for these metrics, give several explicit results about the curvatures of the corresponding Levi-Civita connections, discuss modified Casimir operators (quadratic, but also cubic) and Laplace-Beltrami operators. In particular we discuss the spectrum of the Laplacian for metrics that are invariant under SU(3) x U(2), a subject that may be of interest in particle physics. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 22 pages, 10 figures

MSC Class: 81R05 (Primary) 53C25; 53C30; 22E46 (Secondary)

Multiplicities, pictographs, and volumes

Authors: Robert Coquereaux

Abstract: The present contribution is the written counterpart of a talk given in Yerevan at the SQS'2019 International Workshop "Supersymmetries and Quantum Symmetries" (SQS'2019, 26 August - August 31, 2019). After a short presentation of various pictographs (O-blades, metric honeycombs) that one can use in order to calculate SU(n) multiplicities (Littlewood-Richardson coefficients, Kostka numbers), we bri… ▽ More The present contribution is the written counterpart of a talk given in Yerevan at the SQS'2019 International Workshop "Supersymmetries and Quantum Symmetries" (SQS'2019, 26 August - August 31, 2019). After a short presentation of various pictographs (O-blades, metric honeycombs) that one can use in order to calculate SU(n) multiplicities (Littlewood-Richardson coefficients, Kostka numbers), we briefly discuss the semi-classical limit of these multiplicities in relation with the Horn and Schur volume functions and with the so-called Rn-polynomials that enter the expression of volume functions. For n < 7 the decomposition of the Rn-polynomials on Lie group characters is already known, the case n=7 is obtained here. △ Less

Submitted 29 February, 2020; originally announced March 2020.

Comments: 13 pages, 5 figures, to appear in the proceedings of the SQS'2019 International Workshop "Supersymmetries and Quantum Symmetries" held in Yerevan (26 August - August 31, 2019)

MSC Class: 22E46 05E10 17B10 15B52

Journal ref: Phys. Part. Nuclei Lett. 17, 763-773 (2020)

On Schur problem and Kostka numbers

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: We reconsider the two related problems: distribution of the diagonal elements of a Hermitian n x n matrix of known eigenvalues (Schur) and determination of multiplicities of weights in a given irreducible representation of SU(n) (Kostka). It is well known that the former yields a semi-classical picture of the latter. We present explicit expressions for low values of n that complement those given i… ▽ More We reconsider the two related problems: distribution of the diagonal elements of a Hermitian n x n matrix of known eigenvalues (Schur) and determination of multiplicities of weights in a given irreducible representation of SU(n) (Kostka). It is well known that the former yields a semi-classical picture of the latter. We present explicit expressions for low values of n that complement those given in the literature, recall some exact (non asymptotic) relation between the two problems, comment on the limiting procedure whereby Kostka numbers are obtained from Littlewood-Richardson coefficients, and finally extend these considerations to the case of the B2 algebra, with a few novel conjectures. △ Less

Submitted 22 January, 2020; originally announced January 2020.

Comments: 22 pages, 12 figures. To be published in Integrability, Quantization, and Geometry - B.A. Dubrovin memorial volume, edited by I. Krichever, S. Novikov, O. Ogievetsky and S. Shlosman, AMS, Proceedings of Symposia in Pure Mathematics (PSPUM) book series

MSC Class: 22E46 05E10 17B10 15B52

Revisiting Horn's Problem

Authors: Robert Coquereaux, Colin McSwiggen, Jean-Bernard Zuber

Abstract: We review recent progress on Horn's problem, which asks for a description of the possible eigenspectra of the sum of two matrices with known eigenvalues. After revisiting the classical case, we consider several generalizations in which the space of matrices under study carries an action of a compact Lie group, and the goal is to describe an associated probability measure on the space of orbits.… ▽ More We review recent progress on Horn's problem, which asks for a description of the possible eigenspectra of the sum of two matrices with known eigenvalues. After revisiting the classical case, we consider several generalizations in which the space of matrices under study carries an action of a compact Lie group, and the goal is to describe an associated probability measure on the space of orbits. We review some recent results about the problem of computing the probability density via orbital integrals and about the locus of singularities of the density. We discuss some relations with representation theory, combinatorics, pictographs and symmetric polynomials, and we also include some novel remarks in connection with Schur's problem. △ Less

Submitted 7 October, 2019; v1 submitted 23 May, 2019; originally announced May 2019.

Journal ref: J. Stat. Mech. (2019) 094018, Special Issue in Memory of Vladimir Rittenberg

On Horn's Problem and its Volume Function

Authors: Robert Coquereaux, Colin McSwiggen, Jean-Bernard Zuber

Abstract: We consider an extended version of Horn's problem: given two orbits $\mathcal{O}_α$ and $\mathcal{O}_β$ of a linear representation of a compact Lie group, let $A\in \mathcal{O}_α$, $B\in \mathcal{O}_β$ be independent and invariantly distributed random elements of the two orbits. The problem is to describe the probability distribution of the orbit of the sum $A+B$. We study in particular the famili… ▽ More We consider an extended version of Horn's problem: given two orbits $\mathcal{O}_α$ and $\mathcal{O}_β$ of a linear representation of a compact Lie group, let $A\in \mathcal{O}_α$, $B\in \mathcal{O}_β$ be independent and invariantly distributed random elements of the two orbits. The problem is to describe the probability distribution of the orbit of the sum $A+B$. We study in particular the familiar case of coadjoint orbits, and also the orbits of self-adjoint real, complex and quaternionic matrices under the conjugation actions of $\mathrm{SO}(n)$, $\mathrm{SU}(n)$ and $\mathrm{USp}(n)$ respectively. The probability density can be expressed in terms of a function that we call the volume function. In this paper, (i) we relate this function to the symplectic or Riemannian geometry of the orbits, depending on the case; (ii) we discuss its non-analyticities and possible vanishing; (iii) in the coadjoint case, we study its relation to tensor product multiplicities (generalized Littlewood--Richardson coefficients) and show that it computes the volume of a family of convex polytopes introduced by Berenstein and Zelevinsky. These considerations are illustrated by a detailed study of the volume function for the coadjoint orbits of $B_2=\mathfrak{so}(5)$. △ Less

Submitted 25 April, 2020; v1 submitted 1 April, 2019; originally announced April 2019.

Comments: 29 pages, 7 figures v3: minor improvements to the published version. Fixed two missing citations and added details in the calculation of (23). Results and proofs unchanged

MSC Class: 22E46 (Primary) 15B52; 52B12 (Secondary)

The Horn Problem for Real Symmetric and Quaternionic Self-Dual Matrices

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: Horn's problem, i.e., the study of the eigenvalues of the sum $C=A+B$ of two matrices, given the spectrum of $A$ and of $B$, is re-examined, comparing the case of real symmetric, complex Hermitian and self-dual quaternionic $3\times 3$ matrices. In particular, what can be said on the probability distribution function (PDF) of the eigenvalues of $C$ if $A$ and $B$ are independently and uniformly di… ▽ More Horn's problem, i.e., the study of the eigenvalues of the sum $C=A+B$ of two matrices, given the spectrum of $A$ and of $B$, is re-examined, comparing the case of real symmetric, complex Hermitian and self-dual quaternionic $3\times 3$ matrices. In particular, what can be said on the probability distribution function (PDF) of the eigenvalues of $C$ if $A$ and $B$ are independently and uniformly distributed on their orbit under the action of, respectively, the orthogonal, unitary and symplectic group? While the two latter cases (Hermitian and quaternionic) may be studied by use of explicit formulae for the relevant orbital integrals, the case of real symmetric matrices is much harder. It is also quite intriguing, since numerical experiments reveal the occurrence of singularities where the PDF of the eigenvalues diverges. Here we show that the computation of the PDF of the symmetric functions of the eigenvalues for traceless $3\times 3$ matrices may be carried out in terms of algebraic functions;- roots of quartic polynomials;- and their integrals. The computation is carried out in detail in a particular case, and reproduces the expected singular patterns. The divergences are of logarithmic or inverse power type. We also relate this PDF to the (rescaled) structure constants of zonal polynomials and introduce a zonal analogue of the Weyl ${\rm SU}(n)$ characters. △ Less

Submitted 24 May, 2019; v1 submitted 10 September, 2018; originally announced September 2018.

MSC Class: 17B08; 17B10; 22E46; 43A75; 52Bxx

Journal ref: SIGMA 15 (2019), 029, 34 pages

Theta functions for lattices of SU(3) hyper-roots

Authors: Robert Coquereaux

Abstract: We recall the definition of the hyper-roots that can be associated to modules-categories over the fusion categories defined by the choice of a simple Lie group G together with a positive integer k. This definition was proposed in 2000, using another language, by Adrian Ocneanu. If G=SU(2), the obtained hyper-roots coincide with the usual roots for ADE Dynkin diagrams. We consider the associated la… ▽ More We recall the definition of the hyper-roots that can be associated to modules-categories over the fusion categories defined by the choice of a simple Lie group G together with a positive integer k. This definition was proposed in 2000, using another language, by Adrian Ocneanu. If G=SU(2), the obtained hyper-roots coincide with the usual roots for ADE Dynkin diagrams. We consider the associated lattices when G=SU(3) and determine their theta functions in a number of cases; these functions can be expressed as modular forms twisted by appropriate Dirichlet characters. △ Less

Submitted 1 August, 2017; originally announced August 2017.

Comments: 33 pages, 9 figures

MSC Class: 18D10; 22E46; 17B67; 17B37; 52C07; 81R10; 81T40

Journal ref: Experimental Mathematics, April 2, 2018

From orbital measures to Littlewood-Richardson coefficients and hive polytopes

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: The volume of the hive polytope (or polytope of honeycombs) associated with a Littlewood- Richardson coefficient of SU(n), or with a given admissible triple of highest weights, is expressed, in the generic case, in terms of the Fourier transform of a convolution product of orbital measures. Several properties of this function -- a function of three non-necessarily integral weights or of three mult… ▽ More The volume of the hive polytope (or polytope of honeycombs) associated with a Littlewood- Richardson coefficient of SU(n), or with a given admissible triple of highest weights, is expressed, in the generic case, in terms of the Fourier transform of a convolution product of orbital measures. Several properties of this function -- a function of three non-necessarily integral weights or of three multiplets of real eigenvalues for the associated Horn problem-- are already known. In the integral case it can be thought of as a semi-classical approximation of Littlewood-Richardson coefficients. We prove that it may be expressed as a local average of a finite number of such coefficients. We also relate this function to the Littlewood-Richardson polynomials (stretching polynomials) i.e., to the Ehrhart polynomials of the relevant hive polytopes. Several SU(n) examples, for n=2,3,...,6, are explicitly worked out. △ Less

Submitted 12 September, 2018; v1 submitted 8 June, 2017; originally announced June 2017.

Comments: 32 pages, 4 figures. This version (V4): a few corrected typos

MSC Class: 22E46; 17B10; 43A75

Journal ref: Ann. Inst. Henri Poincaré, Comb. Phys. Interact. 5 (2018), 339-386

Conjugation Properties of Tensor Product and Fusion Coefficients

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them involving hitherto unnoticed observations on ordinary representation theory of finite simple groups of Lie type We review some recent results on properties of tensor product and fusion coefficients under complex conjugation of one of the factors. Some of these results have been proven, some others are conjectures awaiting a proof, one of them involving hitherto unnoticed observations on ordinary representation theory of finite simple groups of Lie type △ Less

Submitted 21 June, 2016; originally announced June 2016.

Comments: 8 pages, 2 figures

MSC Class: 22E46; 17B10; 17B67; 20G42; 81R10; 20C33

Journal ref: Letters in Mathematical Physics, (), 1-9 (2016)

On some properties of SU(3) Fusion Coefficients

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: Three aspects of the SU(3) fusion coefficients are revisited: the generating polynomials of fusion coefficients are written explicitly; some curious identities generalizing the classical Freudenthal-de Vries formula are derived; and the properties of the fusion coefficients under conjugation of one of the factors, previously analysed in the classical case, are extended to the affine algebra of su(… ▽ More Three aspects of the SU(3) fusion coefficients are revisited: the generating polynomials of fusion coefficients are written explicitly; some curious identities generalizing the classical Freudenthal-de Vries formula are derived; and the properties of the fusion coefficients under conjugation of one of the factors, previously analysed in the classical case, are extended to the affine algebra of su(3) at finite level. △ Less

Submitted 19 May, 2016; originally announced May 2016.

Comments: 33 pages, 10 figures. Contribution to Mathematical Foundations of Quantum Field Theory, special issue in memory of Raymond Stora, Nucl. Phys. B

MSC Class: 22E46; 17B10; 17B67; 20G42; 81R10

Journal ref: Nuclear Physics, Section B 912C (2016) pp. 119-150

Maps, immersions and permutations

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere (spherical curves), extending results by Arnold and followers. Different options where the circle and/or the sphere are/is oriented are considered in turn, followi… ▽ More We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere (spherical curves), extending results by Arnold and followers. Different options where the circle and/or the sphere are/is oriented are considered in turn, following Arnold's classification of the different types of symmetries. We also consider the case of bicolourable and bicoloured maps or immersions, where faces are bicoloured. Our method extends to immersions of a circle in a higher genus Riemann surface. There the bicolourability is no longer automatic and has to be assumed. We thus have two separate countings in non zero genus, that of bicolourable maps and that of general maps. We use a classical method of encoding maps in terms of permutations, on which the constraints of "one-componentness" and of a given genus may be applied. Depending on the orientation issue and on the bicolourability assumption, permutations for a map with n vertices live in S(4n) or in S(2n). In a nutshell, our method reduces to the counting (or listing) of orbits of certain subset of S(4n) (resp. S(2n)) under the action of the centralizer of a certain element of S(4n) (resp. S(2n)). This is achieved either by appealing to a formula by Frobenius or by a direct enumeration of these orbits. Applications to knot theory are briefly mentioned. △ Less

Submitted 18 May, 2016; v1 submitted 11 July, 2015; originally announced July 2015.

Comments: 46 pages, 18 figures, 9 tables. Version 2: added precisions on the notion used for the equivalence of immersed curves, new references. Version 3: Corrected typos, one array in Appendix B1 was duplicated by mistake, the position of tables and the order of the final sections have been modified, results unchanged. To be published in the Journal of Knot Theory and Its Ramifications

MSC Class: 05C10; 05C30; 57M25; 83C47

Journal ref: Journal of Knot Theory and Its Ramifications, Vol. 25 (2016) 1650047 (58 pages), World Scientific Publishing Company

Conjugation properties of tensor product multiplicities

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: It was recently proven that the total multiplicity in the decomposition into irreducibles of the tensor product lambda x mu of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them; at a given level, this also applies to the fusion multiplicities of affine algebras. Here, we show that, in the case of SU(3), the lists of multiplicities, in the tensor… ▽ More It was recently proven that the total multiplicity in the decomposition into irreducibles of the tensor product lambda x mu of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them; at a given level, this also applies to the fusion multiplicities of affine algebras. Here, we show that, in the case of SU(3), the lists of multiplicities, in the tensor products lambda x mu and lambda x bar{mu}, are identical up to permutations. This latter property does not hold in general for other Lie algebras. We conjecture that the same property should hold for the fusion product of the affine algebra of su(3) at finite levels, but this is not investigated in the present paper. △ Less

Submitted 24 July, 2014; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 29 pages, 23 figures. v2: Added references. Corrected typos. Some more explanations and comments have been added : subsections 1.4, 4.2.4 and a last paragraph in section 3.3. To appear in J Phys A

MSC Class: 22E46

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 455202

Drinfeld Doubles for Finite Subgroups of SU(2) and SU(3) Lie Groups

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: Drinfeld doubles of finite subgroups of SU(2) and SU(3) are investigated in detail. Their modular data - S, T and fusion matrices - are computed explicitly, and illustrated by means of fusion graphs. This allows us to reexamine certain identities on these tensor product or fusion multiplicities under conjugation of representations that had been discussed in our recent paper [J. Phys. A: Math. Theo… ▽ More Drinfeld doubles of finite subgroups of SU(2) and SU(3) are investigated in detail. Their modular data - S, T and fusion matrices - are computed explicitly, and illustrated by means of fusion graphs. This allows us to reexamine certain identities on these tensor product or fusion multiplicities under conjugation of representations that had been discussed in our recent paper [J. Phys. A: Math. Theor. 44 (2011), 295208, 26 pages, arXiv:1103.2943], proved to hold for simple and affine Lie algebras, and found to be generally wrong for finite groups. It is shown here that these identities fail also in general for Drinfeld doubles, indicating that modularity of the fusion category is not the decisive feature. Along the way, we collect many data on these Drinfeld doubles which are interesting for their own sake and maybe also in a relation with the theory of orbifolds in conformal field theory. △ Less

Submitted 1 September, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: v2: Added references. Corrected typos. Revised argument in section 3.2, results unchanged. Fig. 15 redrawn (one component of the graph was missing). Minor modifications in Abstract and Introduction. Redundant information removed. Text slightly shortened. v3: Published version. v4: misprints are corrected

Journal ref: SIGMA 9 (2013), 039, 36 pages

Character tables (modular data) for Drinfeld doubles of finite groups

Authors: Robert Coquereaux

Abstract: In view of applications to conformal field theory or to other branches of theoretical physics and mathematics, new examples of character tables for Drinfeld doubles of finite groups (modular data) are made available on a website. In view of applications to conformal field theory or to other branches of theoretical physics and mathematics, new examples of character tables for Drinfeld doubles of finite groups (modular data) are made available on a website. △ Less

Submitted 19 December, 2012; v1 submitted 17 December, 2012; originally announced December 2012.

Comments: 7 pages, 1 figure, 7th International Conference on Mathematical Methods in Physics, Rio de Janeiro, Brazil, April 2012. Version 2: a misleading sentence was removed from section 2. http://pos.sissa.it/archive/conferences/175/024/ICMP%202012_024.pdf

Quantum McKay correspondence and global dimensions for fusion and module-categories associated with Lie groups

Authors: Robert Coquereaux

Abstract: Global dimensions for fusion categories defined by a pair (G,k), where G is a Lie group and k a positive integer, are expressed in terms of Lie quantum superfactorial functions. The global dimension is defined as the square sum of quantum dimensions of simple objects, for the category of integrable modules over an affine Lie algebra at some level. The same quantities can also be defined from the t… ▽ More Global dimensions for fusion categories defined by a pair (G,k), where G is a Lie group and k a positive integer, are expressed in terms of Lie quantum superfactorial functions. The global dimension is defined as the square sum of quantum dimensions of simple objects, for the category of integrable modules over an affine Lie algebra at some level. The same quantities can also be defined from the theory of quantum groups at roots of unity or from conformal field theory WZW models. Similar results are also presented for those associated module-categories that can be obtained via conformal embeddings (they are "quantum subgroups" of a particular kind). As a side result, we express the classical (or quantum) Weyl denominator of simple Lie groups in terms of products of classical (or quantum) factorials calculated for the exponents of the group. Some calculations use the correspondence existing between periodic quivers for simply-laced Lie groups and fusion rules for module-categories (alias nimreps) of type SU(2). △ Less

Submitted 3 May, 2013; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 23 pages. Improvements suggested by a referee: those parts that had much overlap with previous work of the author have been removed, the section discussing the relation between SU2 fusion numbers and roots and weights of Lie groups was enlarged, new reference [9], new appendix

Journal ref: Journal of Algebra 398 (2014) 258 - 283

On sums of tensor and fusion multiplicities

Authors: Robert Coquereaux, Jean-Bernard Zuber

Abstract: The total multiplicity in the decomposition into irreducibles of the tensor product i x j of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them sum_k N_{i j}^{k}= sum_k N_{ibar j}^{k}. This also applies to the fusion multiplicities of affine algebras in conformal WZW theories. In that context, the statement is equivalent to a property of the modul… ▽ More The total multiplicity in the decomposition into irreducibles of the tensor product i x j of two irreducible representations of a simple Lie algebra is invariant under conjugation of one of them sum_k N_{i j}^{k}= sum_k N_{ibar j}^{k}. This also applies to the fusion multiplicities of affine algebras in conformal WZW theories. In that context, the statement is equivalent to a property of the modular S matrix, Sigma(k)= sum_j S_{j k}=0 if k is a complex representation. Curiously, this vanishing of Sigma(k) also holds when k is a quaternionic representation. We provide proofs of all these statements. These proofs rely on a case-by-case analysis, maybe overlooking some hidden symmetry principle. We also give various illustrations of these properties in the contexts of boundary conformal field theories, integrable quantum field theories and topological field theories. △ Less

Submitted 27 May, 2011; v1 submitted 15 March, 2011; originally announced March 2011.

Comments: 28 pages, 1 figure, LaTeX; corrected typos, added references, shortened appendix A and section 3.3, added comments in section 8.1

Journal ref: J.Phys.A44:295208,2011

Notes on TQFT Wire Models and Coherence Equations for SU(3) Triangular Cells

Authors: Robert Coquereaux, Esteban Isasi, Gil Schieber

Abstract: After a summary of the TQFT wire model formalism we bridge the gap from Kuperberg equations for SU(3) spiders to Ocneanu coherence equations for systems of triangular cells on fusion graphs that describe modules associated with the fusion category of SU(3) at level k. We show how to solve these equations in a number of examples. After a summary of the TQFT wire model formalism we bridge the gap from Kuperberg equations for SU(3) spiders to Ocneanu coherence equations for systems of triangular cells on fusion graphs that describe modules associated with the fusion category of SU(3) at level k. We show how to solve these equations in a number of examples. △ Less

Submitted 28 December, 2010; v1 submitted 5 July, 2010; originally announced July 2010.

Comments: 44 figures

MSC Class: 81R50 (Primary) 81R10; 20C08; 18D10 (Secondary)

Journal ref: SIGMA 6:099,2010

Global dimensions for Lie groups at level k and their conformally exceptional quantum subgroups

Authors: Robert Coquereaux

Abstract: We obtain formulae giving global dimensions for fusion categories defined by Lie groups G at level k and for the associated module-categories obtained via conformal embeddings. The results can be expressed in terms of Lie quantum superfactorials of type G. The later are related, for the type Ar, to the quantum Barnes function. We obtain formulae giving global dimensions for fusion categories defined by Lie groups G at level k and for the associated module-categories obtained via conformal embeddings. The results can be expressed in terms of Lie quantum superfactorials of type G. The later are related, for the type Ar, to the quantum Barnes function. △ Less

Submitted 12 March, 2010; originally announced March 2010.

Comments: 20 pages, talk given at: Coloquio de Algebras de Hopf, Grupos Cuanticos y Categorias Tensoriales, Cordoba, Argentina, 2009

MSC Class: 81R50; 81T40; 18D10; 33E99

Journal ref: Rev. Un. Mat. Argentina 51 (2010), no. 2, 17-42

Exceptional quantum subgroups for the rank two Lie algebras B2 and G2

Authors: R. Coquereaux, R. Rais, E. H. Tahri

Abstract: Exceptional modular invariants for the Lie algebras B2 (at levels 2,3,7,12) and G2 (at levels 3,4) can be obtained from conformal embeddings. We determine the associated alge bras of quantum symmetries and discover or recover, as a by-product, the graphs describing exceptional quantum subgroups of type B2 or G2 which encode their module structure over the associated fusion category. Global dimen… ▽ More Exceptional modular invariants for the Lie algebras B2 (at levels 2,3,7,12) and G2 (at levels 3,4) can be obtained from conformal embeddings. We determine the associated alge bras of quantum symmetries and discover or recover, as a by-product, the graphs describing exceptional quantum subgroups of type B2 or G2 which encode their module structure over the associated fusion category. Global dimensions are given. △ Less

Submitted 29 January, 2010; originally announced January 2010.

Comments: 33 pages, 27 color figures

MSC Class: 81R50; 16W30; 18D10

Journal ref: J.Math.Phys.51:092302,2010

Quantum symmetries for exceptional SU(4) modular invariants associated with conformal embeddings

Authors: Robert Coquereaux, Gil Schieber

Abstract: Three exceptional modular invariants of SU(4) exist at levels 4, 6 and 8. They can be obtained from appropriate conformal embeddings and the corresponding graphs have self-fusion. From these embeddings, or from their associated modular invariants, we determine the algebras of quantum symmetries, obtain their generators, and, as a by-product, recover the known graphs E4(SU4), E6(SU4) and E8(SU4)… ▽ More Three exceptional modular invariants of SU(4) exist at levels 4, 6 and 8. They can be obtained from appropriate conformal embeddings and the corresponding graphs have self-fusion. From these embeddings, or from their associated modular invariants, we determine the algebras of quantum symmetries, obtain their generators, and, as a by-product, recover the known graphs E4(SU4), E6(SU4) and E8(SU4) describing exceptional quantum subgroups of type SU(4). We also obtain characteristic numbers (quantum cardinalities, dimensions) for each of them and for their associated quantum groupoids. △ Less

Submitted 14 April, 2009; v1 submitted 30 May, 2008; originally announced May 2008.

Comments: 33 pages, 3 color figures

MSC Class: 81R50; 16W30; 18D10

Journal ref: Symmetry, Integrability and Geometry: Methods and Applications 5, 044 (2009) http://www.emis.de/journals/SIGMA/2009/044/

From conformal embeddings to quantum symmetries: an exceptional SU(4) example

Authors: Robert Coquereaux, Gil Schieber

Abstract: We briefly discuss several algebraic tools that are used to describe the quantum symmetries of Boundary Conformal Field Theories on a torus. The starting point is a fusion category, together with an action on another category described by a quantum graph. For known examples, the corresponding modular invariant partition function, which is sometimes associated with a conformal embedding, provides… ▽ More We briefly discuss several algebraic tools that are used to describe the quantum symmetries of Boundary Conformal Field Theories on a torus. The starting point is a fusion category, together with an action on another category described by a quantum graph. For known examples, the corresponding modular invariant partition function, which is sometimes associated with a conformal embedding, provides enough information to recover the whole structure. We illustrate these notions with the example of the conformal embedding of SU(4) at level 4 into Spin(15) at level 1, leading to the exceptional quantum graph E4(SU(4)). △ Less

Submitted 17 December, 2007; v1 submitted 7 October, 2007; originally announced October 2007.

Comments: 22 pages, 3 color figures. Version 2: We changed the color of figures (ps files) in such a way that they are still understood when converted to gray levels. Version 3: Several references have been added

Journal ref: J.Phys.Conf.Ser.103:012006,2008

Orders and dimensions for sl(2) or sl(3) module categories and Boundary Conformal Field Theories on a torus

Authors: Robert Coquereaux, Gil Schieber

Abstract: After giving a short description, in terms of action of categories, of some of the structures associated with sl(2) and sl(3) boundary conformal field theories on a torus, we provide tables of dimensions describing the semisimple and co-semisimple blocks of the corresponding weak bialgebras (quantum groupoids), tables of quantum dimensions and orders, and tables describing induction - restrictio… ▽ More After giving a short description, in terms of action of categories, of some of the structures associated with sl(2) and sl(3) boundary conformal field theories on a torus, we provide tables of dimensions describing the semisimple and co-semisimple blocks of the corresponding weak bialgebras (quantum groupoids), tables of quantum dimensions and orders, and tables describing induction - restriction. For reasons of size, the sl(3) tables of induction are only given for theories with self-fusion (existence of a monoidal structure). △ Less

Submitted 1 March, 2007; v1 submitted 26 October, 2006; originally announced October 2006.

Comments: 25 pages, 5 tables, 9 figures. Version 2: updated references. Typos corrected. Several proofs added. Examples of ADE and generalized ADE trigonometric identities have been removed to shorten the paper

Racah - Wigner quantum 6j Symbols, Ocneanu Cells for AN diagrams, and quantum groupoids

Authors: Robert Coquereaux

Abstract: We relate quantum 6J symbols of various types (quantum versions of Wigner and Racah symbols) to Ocneanu cells associated with AN Dynkin diagrams. We check explicitly the algebraic structure of the associated quantum groupoids and analyze several examples (A3, A4). Some features relative to cells associated with more general ADE diagrams are also discussed. We relate quantum 6J symbols of various types (quantum versions of Wigner and Racah symbols) to Ocneanu cells associated with AN Dynkin diagrams. We check explicitly the algebraic structure of the associated quantum groupoids and analyze several examples (A3, A4). Some features relative to cells associated with more general ADE diagrams are also discussed. △ Less

Submitted 8 May, 2006; v1 submitted 29 November, 2005; originally announced November 2005.

Comments: 52 pages, 27 figures. Version 2: Contents of subsections 2.6.3 and 3.8.1 have been changed. Fig. 9 was replaced. Updated and added references. Typos corrected

Journal ref: J.Geom.Phys.57:387-434,2007

Comments about quantum symmetries of SU(3) graphs

Authors: R. Coquereaux, D. Hammaoui, G. Schieber, E. H. Tahri

Abstract: For the SU(3) system of graphs generalizing the ADE Dynkin digrams in the classification of modular invariant partition functions in CFT, we present a general collection of algebraic objects and relations that describe fusion properties and quantum symmetries associated with the corresponding Ocneanu quantum groupoïds. We also summarize the properties of the individual members of this system. For the SU(3) system of graphs generalizing the ADE Dynkin digrams in the classification of modular invariant partition functions in CFT, we present a general collection of algebraic objects and relations that describe fusion properties and quantum symmetries associated with the corresponding Ocneanu quantum groupoïds. We also summarize the properties of the individual members of this system. △ Less

Submitted 7 April, 2006; v1 submitted 31 July, 2005; originally announced August 2005.

Comments: 36 pages

Journal ref: J.Geom.Phys. 57 (2006) 269-292

On bialgebras associated with paths and essential paths on ADE graphs

Authors: Robert Coquereaux, Ariel O. Garcia

Abstract: We define a graded multiplication on the vector space of essential paths on a graph $G$ (a tree) and show that it is associative. In most interesting applications, this tree is an ADE Dynkin diagram. The vector space of length preserving endomorphisms of essential paths has a grading obtained from the length of paths and possesses several interesting bialgebra structures. One of these, the Doubl… ▽ More We define a graded multiplication on the vector space of essential paths on a graph $G$ (a tree) and show that it is associative. In most interesting applications, this tree is an ADE Dynkin diagram. The vector space of length preserving endomorphisms of essential paths has a grading obtained from the length of paths and possesses several interesting bialgebra structures. One of these, the Double Triangle Algebra (DTA) of A. Ocneanu, is a particular kind of quantum groupoid (a weak Hopf algebra) and was studied elsewhere; its coproduct gives a filtrated convolution product on the dual vector space. Another bialgebra structure is obtained by replacing this filtered convolution product by a graded associative product.It can be obtained from the former by projection on a subspace of maximal grade, but it is interesting to define it directly, without using the DTA. What is obtained is a weak bialgebra, not a weak Hopf algebra. △ Less

Submitted 12 November, 2004; originally announced November 2004.

Journal ref: Int.J.Geom.Meth.Mod.Phys. 2 (2005) 441-466

On quantum symmetries of the non--ADE graph F4

Authors: Robert Coquereaux, Esteban Isasi

Abstract: We describe quantum symmetries associated with the F4 Dynkin diagram. Our study stems from an analysis of the (Ocneanu) modular splitting equation applied to a partition function which is invariant under a particular congruence subgroup of the modular group. We describe quantum symmetries associated with the F4 Dynkin diagram. Our study stems from an analysis of the (Ocneanu) modular splitting equation applied to a partition function which is invariant under a particular congruence subgroup of the modular group. △ Less

Submitted 7 January, 2005; v1 submitted 20 September, 2004; originally announced September 2004.

Comments: Modifications : we changed several notations and comments. This should improve the reading of the paper

Journal ref: Adv.Theor.Math.Phys. 8 (2004) 955-985

The A2 Ocneanu quantum groupoid

Authors: R. Coquereaux

Abstract: Description of the smallest quantum groupoid associated with the A2 diagram. From the talk: ``Quantum groupoids and Ocneanu bialgebras for Coxeter-Dynkin systems'' given at the XV Colloquio Latinoamericano de Algebra, Cocoyoc, Mexico, July 20th-26th, 2003. Description of the smallest quantum groupoid associated with the A2 diagram. From the talk: ``Quantum groupoids and Ocneanu bialgebras for Coxeter-Dynkin systems'' given at the XV Colloquio Latinoamericano de Algebra, Cocoyoc, Mexico, July 20th-26th, 2003. △ Less

Submitted 15 December, 2003; v1 submitted 17 November, 2003; originally announced November 2003.

Comments: Contribution to the conference: XV Colloquio Latinoamericano de Algebra, Cocoyoc, Mexico, July 20th-26th, 2003. 22 pages. Version 2: One notation was changed and the introduction was reshuffled

Journal ref: Algebraic Structures and Their Representations, Contemporary Mathematics, Vol 376 (2005) pp 227-247

Torus structure on graphs and twisted partition functions for minimal and affine models

Authors: R. Coquereaux, M. Huerta

Abstract: Using the Ocneanu quantum geometry of ADE diagrams (and of other diagrams belonging to higher Coxeter-Dynkin systems), we discuss the classification of twisted partition functions for affine and minimal models in conformal field theory and study several examples associated with the WZW, Virasoro and W_{3} cases. Using the Ocneanu quantum geometry of ADE diagrams (and of other diagrams belonging to higher Coxeter-Dynkin systems), we discuss the classification of twisted partition functions for affine and minimal models in conformal field theory and study several examples associated with the WZW, Virasoro and W_{3} cases. △ Less

Submitted 17 March, 2003; v1 submitted 27 January, 2003; originally announced January 2003.

Comments: 50 pages, 8 figures,added references, corrected typos

Journal ref: J.Geom.Phys. 48 (2003) 580-634

Determination of quantum symmetries for higher ADE systems from the modular T matrix

Authors: R. Coquereaux, G. Schieber

Abstract: We show that the Ocneanu algebra of quantum symmetries, for an ADE diagram (or for higher Coxeter-Dynkin systems, like the Di Francesco - Zuber system) is, in most cases, deduced from the structure of the modular T matrix in the A series. We recover in this way the (known) quantum symmetries of su(2) diagrams and illustrate our method by studying those associated with the three genuine exception… ▽ More We show that the Ocneanu algebra of quantum symmetries, for an ADE diagram (or for higher Coxeter-Dynkin systems, like the Di Francesco - Zuber system) is, in most cases, deduced from the structure of the modular T matrix in the A series. We recover in this way the (known) quantum symmetries of su(2) diagrams and illustrate our method by studying those associated with the three genuine exceptional diagrams of type su(3), namely E5, E9 and E21. This also provides the shortest way to the determination of twisted partition functions in boundary conformal field theory with defect lines. △ Less

Submitted 18 June, 2003; v1 submitted 26 March, 2002; originally announced March 2002.

Comments: 30 pages, 16 figures. Several misprints have been corrected. We added several references and the appendix has been enlarged (one section on essential paths and one section devoted to open problems). This article will appear in the Journal of Mathematical Physics

Journal ref: J.Math.Phys. 44 (2003) 3809-3837

Twisted partition functions for ADE boundary conformal field theories and Ocneanu algebras of quantum symmetries

Authors: Robert Coquereaux, Gil Schieber

Abstract: For every ADE Dynkin diagram, we give a realization, in terms of usual fusion algebras (graph algebras), of the algebra of quantum symmetries described by the associated Ocneanu graph. We give explicitly, in each case, the list of the corresponding twisted partition functions For every ADE Dynkin diagram, we give a realization, in terms of usual fusion algebras (graph algebras), of the algebra of quantum symmetries described by the associated Ocneanu graph. We give explicitly, in each case, the list of the corresponding twisted partition functions △ Less

Submitted 11 October, 2001; v1 submitted 29 June, 2001; originally announced July 2001.

Comments: 47 pages, 25 figures and 17 tables. Several typos are corrected. References added

Journal ref: J.Geom.Phys. 42 (2002) 216-258

Classical and quantum polyhedra: A fusion graph algebra point of view

Authors: Robert Coquereaux

Abstract: Representation theory, for the classical binary polyhedral groups is encoded by the affine Dynkin diagrams E6^{(1)}, E7^{(1)} and E8^{(1)} (McKay correspondance). The quantum versions of these classical geometries are associated with representation theories described by the usual Dynkin diagrams E6, E7 and E8. The purpose of these notes is to compare several chosen aspects of the classical and q… ▽ More Representation theory, for the classical binary polyhedral groups is encoded by the affine Dynkin diagrams E6^{(1)}, E7^{(1)} and E8^{(1)} (McKay correspondance). The quantum versions of these classical geometries are associated with representation theories described by the usual Dynkin diagrams E6, E7 and E8. The purpose of these notes is to compare several chosen aspects of the classical and quantum geometries by using the study of spaces of paths and spaces of essential paths (Ocneanu theory) on these diagrams. To keep the size of this contribution small enough, most of our discussion will be limited to the cases of diagrams E6 and E6^{(1)}, i.e. to the quantum and classical tetrahedra. We shall in particular interpret the A11 labelling of the vertices of E6 diagram as a quantum analogue of the usual decomposition of spaces of sections for vector bundles above homogeneous spaces. We also show how to recover Klein invariants of polyhedra by paths algebra techniques and discuss their quantum generalizations. △ Less

Submitted 4 June, 2001; v1 submitted 23 May, 2001; originally announced May 2001.

Comments: 24 pages, LaTeX. Lectures given at Karpacz winter school (February 2001). Minor misprints corrected. One appendix added

Report number: CPT-2001/P.4208

Journal ref: AIP Conf.Proc. 589 (2001) 181-203

Notes on the quantum tetrahedron

Authors: Robert Coquereaux

Abstract: This is a set of notes describing several aspects of the space of paths on ADE Dynkin diagrams, with a particular attention paid to the graph E6. Many results originally due to A. Ocneanu are here described in a very elementary way (manipulation of square or rectangular matrices). We recall the concept of essential matrices (intertwiners) for a graph and describe their module properties with res… ▽ More This is a set of notes describing several aspects of the space of paths on ADE Dynkin diagrams, with a particular attention paid to the graph E6. Many results originally due to A. Ocneanu are here described in a very elementary way (manipulation of square or rectangular matrices). We recall the concept of essential matrices (intertwiners) for a graph and describe their module properties with respect to right and left actions of fusion algebras. In the case of the graph E6, essential matrices build up a right module with respect to its own fusion algebra but a left module with respect to the fusion algebra of A11. We present two original results: 1) Our first contribution is to show how to recover the Ocneanu graph of quantum symmetries of the Dynkin diagram E6 from the natural multiplication defined in the tensor square of its fusion algebra (the tensor product should be taken over a particular subalgebra); this is the Cayley graph for the two generators of the twelve dimensional algebra E6 \otimes_A3 E6 and E6 refer to the commutative fusion algebras of the corresponding graphs). 2) To every point of the graph of quantum symmetries one can associate a particular matrix describing the `` torus structure'' of the chosen Dynkin diagram; following Ocneanu, one obtains in this way, in the case of E6, twelve such matrices of dimension 11x11, one of them is a modular invariant and encodes the partition function of the corresponding conformal field theory. Our own next contribution is to provide a simple algorithm for the determination of these matrices. △ Less

Submitted 20 December, 2001; v1 submitted 6 November, 2000; originally announced November 2000.

Comments: 45 pages, LaTeX, 10 eps figures. Revised version: several improvements taking into account remarks of the referee

Report number: CERN-TH/2000-179, CPT-2000/P.4077

Journal ref: Moscow Math.J. 2N1 (2002) 41-80

Associated quantum vector bundles and symplectic structure on a quantum plane

Authors: R. Coquereaux, A. O. Garcia, R. Trinchero

Abstract: We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a Hopf algebra H are particular instances of these extensions, and in these cases we are able to define a differential calculus over their associated vector bundl… ▽ More We define a quantum generalization of the algebra of functions over an associated vector bundle of a principal bundle. Here the role of a quantum principal bundle is played by a Hopf-Galois extension. Smash products of an algebra times a Hopf algebra H are particular instances of these extensions, and in these cases we are able to define a differential calculus over their associated vector bundles without requiring the use of a (bicovariant) differential structure over H. Moreover, if H is coquasitriangular, it coacts naturally on the associated bundle, and the differential structure is covariant. We apply this construction to the case of the finite quotient of the SL_q(2) function Hopf algebra at a root of unity (q^3=1) as the structure group, and a reduced 2-dimensional quantum plane as both the "base manifold" and fibre, getting an algebra which generalizes the notion of classical phase space for this quantum space. We also build explicitly a differential complex for this phase space algebra, and find that levels 0 and 2 support a (co)representation of the quantum symplectic group. On this phase space we define vector fields, and with the help of the Sp_q structure we introduce a symplectic form relating 1-forms to vector fields. This leads naturally to the introduction of Poisson brackets, a necessary step to do "classical" mechanics on a quantum space, the quantum plane. △ Less

Submitted 15 September, 1999; v1 submitted 6 August, 1999; originally announced August 1999.

Comments: 10 pages, no figures, Latex; (not so compressed version of the) Contribution to the Proceedings of the 8th International Colloquium "Quantum Groups and Integrable Systems", Prague, June 17-19, 1999; v2: few typos corrected, references added

Report number: CPT-99/P.3883 MSC Class: 16W30; 81R50

Journal ref: Czech. J. Phys. 50 (2000), 29-36

Hopf stars, twisted Hopf stars and scalar products on quantum spaces

Authors: R. Coquereaux, A. O. Garcia, R. Trinchero

Abstract: The properties of Hopf star operations and twisted Hopf stars operations on quantum groups are discussed in relation with the theory of representations (star representations). Invariant Hermitian sesquilinear forms (scalar products) on modules or module-algebras are then defined and analyzed. Particular attention is paid to scalar products that can be associated with the Killing form (when it ex… ▽ More The properties of Hopf star operations and twisted Hopf stars operations on quantum groups are discussed in relation with the theory of representations (star representations). Invariant Hermitian sesquilinear forms (scalar products) on modules or module-algebras are then defined and analyzed. Particular attention is paid to scalar products that can be associated with the Killing form (when it exists) or with the left (or right) invariant integrals on the quantum group. Our results are systematically illustrated in the case of a family of non semi-simple and finite dimensional quantum groups that are obtained as Hopf quotients of the quantum enveloping algebra U_q(sl(2,C)), q being an N-th root of unity. Many explicit results concerning the case N=3 are given. We also mention several physical motivations for the present work: conformal field theory, spin chains, integrable models, generalized Yang-Mills theory with quantum group action and the search for finite quantum groups symmetries in particle physics. △ Less

Submitted 30 April, 1999; originally announced April 1999.

Comments: 43 pages, no figures, Latex2e + Amslatex

Report number: CPT-99/P.3808 MSC Class: 16W30; 81R50

Journal ref: J.Geom.Phys. 36 (2000) 22-59

Geometry of the reduced quantum plane

Authors: R. Coquereaux, A. O. Garcia, R. Trinchero

Abstract: We consider the space M of NxN matrices as a reduced quantum plane and discuss its geometry under the action and coaction of finite dimensional quantum groups (a quotient of U_q(SL(2)), q being an N-th root of unity, and its dual). We also introduce a differential calculus for M: a quotient of the Wess Zumino complex. We shall restrict ourselves to the case N odd and often choose the particular… ▽ More We consider the space M of NxN matrices as a reduced quantum plane and discuss its geometry under the action and coaction of finite dimensional quantum groups (a quotient of U_q(SL(2)), q being an N-th root of unity, and its dual). We also introduce a differential calculus for M: a quotient of the Wess Zumino complex. We shall restrict ourselves to the case N odd and often choose the particular value N=3. The present paper (to appear in the proceedings of the conference "Quantum Groups and Fundamental Physical Applications", Palerme, December 1997) is essentially a short version of math-ph/9807012. △ Less

Submitted 19 November, 1998; originally announced November 1998.

Comments: 17 pages, no figures, LaTeX, uses diagrams macro (included). Contribution to the proceedings of the conference "Quantum Groups and Fundamental Physical Applications", I.S.I. Guccia, Palerme, December 1997

Report number: CPT-98/P.3704 MSC Class: 16W30; 81R50

Journal ref: "Quantum Groups and Fundamental Physical Applications", D. Kastler, M. Rosso and T. Schucker, Eds.; Nova Science Publishers, 1999.

Action of a finite quantum group on the algebra of complex NxN matrices

Authors: R. Coquereaux, G. E. Schieber

Abstract: Using the fact that the algebra M := M_N(C) of NxN complex matrices can be considered as a reduced quantum plane, and that it is a module algebra for a finite dimensional Hopf algebra quotient H of U_q(sl(2)) when q is a root of unity, we reduce this algebra M of matrices (assuming N odd) into indecomposable modules for H. We also show how the same finite dimensional quantum group acts on the sp… ▽ More Using the fact that the algebra M := M_N(C) of NxN complex matrices can be considered as a reduced quantum plane, and that it is a module algebra for a finite dimensional Hopf algebra quotient H of U_q(sl(2)) when q is a root of unity, we reduce this algebra M of matrices (assuming N odd) into indecomposable modules for H. We also show how the same finite dimensional quantum group acts on the space of generalized differential forms defined as the reduced Wess Zumino complex associated with the algebra M. △ Less

Submitted 15 July, 1998; originally announced July 1998.

Comments: 11 pages, LaTeX, uses diagrams.sty, to be published in "Particles, Fields and Gravitation" (Lodz conference), AIP proceedings

Report number: CPT-98/P.3668

Journal ref: AIP Conf.Proc. 453 (1998) 9-23

Differential calculus and connections on a quantum plane at a cubic root of unity

Authors: R. Coquereaux, A. O. Garcia, R. Trinchero

Abstract: We consider the algebra of N x N matrices as a reduced quantum plane on which a finite-dimensional quantum group H acts. This quantum group is a quotient of U_q(sl(2,C)), q being an N-th root of unity. Most of the time we shall take N=3; in that case \dim(H) = 27. We recall the properties of this action and introduce a differential calculus for this algebra: it is a quotient of the Wess-Zumino c… ▽ More We consider the algebra of N x N matrices as a reduced quantum plane on which a finite-dimensional quantum group H acts. This quantum group is a quotient of U_q(sl(2,C)), q being an N-th root of unity. Most of the time we shall take N=3; in that case \dim(H) = 27. We recall the properties of this action and introduce a differential calculus for this algebra: it is a quotient of the Wess-Zumino complex. The quantum group H also acts on the corresponding differential algebra and we study its decomposition in terms of the representation theory of H. We also investigate the properties of connections, in the sense of non commutative geometry, that are taken as 1-forms belonging to this differential algebra. By tensoring this differential calculus with usual forms over space-time, one can construct generalized connections with covariance properties with respect to the usual Lorentz group and with respect to a finite-dimensional quantum group. △ Less

Submitted 1 January, 1999; v1 submitted 12 July, 1998; originally announced July 1998.

Comments: 53 pages, 1 small PS figure, Latex, diagrams.sty (included); few errors corrected, final version to appear in Rev. Math. Phys

Report number: CPT-98/P.3632; IT-CNEA-CAB/2906098 MSC Class: 16W30; 81R50

Journal ref: Rev. Math. Phys. 12 (2000), 227-285

Finite dimensional quantum group covariant differential calculus on a complex matrix algebra

Authors: R. Coquereaux, A. O. Garcia, R. Trinchero

Abstract: Using the fact that the algebra M(3,C) of 3 x 3 complex matrices can be taken as a reduced quantum plane, we build a differential calculus Omega(S) on the quantum space S defined by the algebra C^\infty(M) \otimes M(3,C), where M is a space-time manifold. This calculus is covariant under the action and coaction of finite dimensional dual quantum groups. We study the star structures on these quan… ▽ More Using the fact that the algebra M(3,C) of 3 x 3 complex matrices can be taken as a reduced quantum plane, we build a differential calculus Omega(S) on the quantum space S defined by the algebra C^\infty(M) \otimes M(3,C), where M is a space-time manifold. This calculus is covariant under the action and coaction of finite dimensional dual quantum groups. We study the star structures on these quantum groups and the compatible one in M(3,C). This leads to an invariant scalar product on the later space. We analyse the differential algebra Omega(M(3,C)) in terms of quantum group representations, and consider in particular the space of one-forms on S since its elements can be considered as generalized gauge fields. △ Less

Submitted 3 April, 1998; originally announced April 1998.

Comments: 11 pages, LaTeX, uses diagrams.sty

Report number: CPT-98/P.3630, IT-CNEA-CAB/2902798 MSC Class: 81R50 (Primary) 16W30 (Secondary)

Journal ref: Phys.Lett. B443 (1998) 221-232

Differentials of higher order in non commutative differential geometry

Authors: Robert Coquereaux

Abstract: In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of functions on iterated tangent bundles (or in terms of jets). We generalize this notion to the case of non commutative differential geometry. For an arbitrary a… ▽ More In differential geometry, the notation d^n f along with the corresponding formalism has fallen into disuse since the birth of exterior calculus. However, differentials of higher order are useful objects that can be interpreted in terms of functions on iterated tangent bundles (or in terms of jets). We generalize this notion to the case of non commutative differential geometry. For an arbitrary associative algebra A, one already knows how to define the differential algebra Omega(A) of universal differential forms over A. We define Leibniz forms of order n (these are not forms of degree n, ie they are not elements of Omega^n A) as particular elements of what we call the ``iterated frame algebra'' of order n, F_n A, which is itself defined as the 2^n tensor power of the algebra A. We give a system of generators for this iterated frame algebra and identify the A-module of forms of order n as a particular vector subspace included in the space of universal one-forms built over the iterated frame algebra of order n-1. We study the algebraic structure of these objects, recover the case of the commutative differential calculus of order n (Leibniz differentials) and give a few examples. △ Less

Submitted 30 December, 1996; originally announced December 1996.

Comments: 17 pages, LaTeX

Report number: CPT-96/P.3403

On the finite dimensional quantum group M_3 + (M_{2|1}(Lambda^2))_0

Authors: Robert Coquereaux

Abstract: We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non co-commutative) Hopf algebra, hence a finite dimensional quantum group. By selecting a system of explicit generators, we show how it is related with the quantum e… ▽ More We describe a few properties of the non semi-simple associative algebra H = M_3 + (M_{2|1}(Lambda2))_0, where Lambda2 is the Grassmann algebra with two generators. We show that H is not only a finite dimensional algebra but also a (non co-commutative) Hopf algebra, hence a finite dimensional quantum group. By selecting a system of explicit generators, we show how it is related with the quantum enveloping algebra of SLq(2) when the parameter q is a cubic root of unity. We describe its indecomposable projective representations as well as the irreducible ones. We also comment about the relation between this object and the theory of modular representations of the group SL(2,F3), i.e. the binary tetrahedral group. Finally, we briefly discuss its relation with the Lorentz group and, as already suggested by A.Connes, make a few comments about the possible use of this algebra in a modification of the Standard Model of particle physics (the unitary group of the semi-simple algebra associated with H is U(3) x U(2) x U(1)). △ Less

Submitted 16 October, 1996; originally announced October 1996.

Comments: 16 pages, LaTeX, 2 eps figures

Report number: CPT-96/P.3388

Journal ref: Lett.Math.Phys. 42 (1997) 309-328

Triangular dissections, aperiodic tilings and Jones algebras

Authors: R. Coquereaux

Abstract: The Brattelli diagram associated with a given bicolored Dynkin-Coxeter graph of type $A_n$ determines planar fractal sets obtained by infinite dissections of a given triangle. All triangles appearing in the dissection process have angles that are multiples of $π/ (n+1).$ There are usually several possible infinite dissections compatible with a given $n$ but a given one makes use of $n/2$ triangl… ▽ More The Brattelli diagram associated with a given bicolored Dynkin-Coxeter graph of type $A_n$ determines planar fractal sets obtained by infinite dissections of a given triangle. All triangles appearing in the dissection process have angles that are multiples of $π/ (n+1).$ There are usually several possible infinite dissections compatible with a given $n$ but a given one makes use of $n/2$ triangle types if $n$ is even. Jones algebra with index $[ 4 \ \cos^2{π\over n+1}]^{-1}$ (values of the discrete range) act naturally on vector spaces associated with those fractal sets. Triangles of a given type are always congruent at each step of the dissection process. In the particular case $n=4$, there are isometric and the whole structure lead, after proper inflation, to aperiodic Penrose tilings. The ``tilings'' associated with other values of the index are discussed and shown to be encoded by equivalence classes of infinite sequences (with appropriate constraints) using $n/2$ digits (if $n$ is even) and generalizing the Fibonacci numbers. △ Less

Submitted 27 March, 1995; v1 submitted 23 March, 1994; originally announced March 1994.

Comments: 14 pages. Revised version. 18 Postcript figures, a 500 kb uuencoded file called images.uu available by mosaic or gopher from gopher://cpt.univ-mrs.fr/11/preprints/94/fundamental-interactions/94-P.3020

Report number: CPT - 94 /P.3020

Journal ref: Adv.Appl.Math. 16 (1995) 402-424