In the classification of Hietarinta, three triangular $4\times 4$ $R$-matrices lead, via the FRT formalism, to matrix bialgebras which are not deformations of the trivial one. In this paper, we find the bialgebras which are in duality with these three exotic matrix bialgebras. We note that the $L-T$ duality of FRT is not sufficient for the construction of the bialgebras in duality. We find also the quantum planes corresponding to these bialgebras both by the Wess-Zumino R-matrix method and by Manin's method.
We find the exotic matrix bialgebras which correspond to the two non-triangular nonsingular 4x4 R-matrices in the classification of Hietarinta, namely, R_{S0,3} and R_{S1,4}. We find two new exotic bialgebras S03 and S14 which are not deformations of the of the classical algebras of functions on GL(2) or GL(1|1). With this we finalize the classification of the matrix bialgebras which unital associative algebras generated by four elements. We also find the corresponding dual bialgebras of these new exotic bialgebras and study their representation theory in detail. We also discuss in detail a sp…
From the method of realization of bialgebras developped in a preceding paper, we obtain the Duality Theorem and apply it to the study of the ideal of relations for each realized bialgebra. This is detailed in the english version of the abstract of this paper.
The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding induces compatible braidings for the dual objects, and how actions (resp. coactions) can be turned into coactions (resp. actions) of the dual coalgebra (resp. algebra), with an emphasis on braided bialgebras and their braided (co)module algebras.
We introduce a new 2-parameter family of sigma models exhibiting Poisson-Lie T-duality on a quasitriangular Poisson-Lie group $G$. The models contain previously known models as well as a new 1-parameter line of models having the novel feature that the Lagrangian takes the simple form $L=E(u^{-1}u_+,u^{-1}u_-)$ where the generalised metric $E$ is constant (not dependent on the field $u$ as in previous models). We characterise these models in terms of a global conserved $G$-invariance. The models on $G=SU_2$ and its dual $G^\star$ are computed explicitly. The general theory of Poisson-Lie T-dual…
We study the geometric aspects of two exotic bialgebras S03 and S14 introduced in math.QA/0206053. These bialgebras are obtained by the Faddeev-Reshetikhin-Takhtajan RTT prescription with non-triangular R-matrices which are denoted $R_{03}$ and $R_{14}$ in the classification of Hietarinta, and they are not deformations of either GL(2) or GL(1/1). We give the spectral decomposition which involves two, resp., three, projectors. These projectors are then used to provide the Baxterisation procedure with one, resp., two, parameters. Further, the projectors are used to construct the noncommutative p…
We study the behavior of the Etingof-Kazhdan quantization functors under the natural duality operations of Lie bialgebras and Hopf algebras. In particular, we prove that these functors are "compatible with duality", i.e., they commute with the operation of duality followed by replacing the coproduct by its opposite. We then show that any quantization functor with this property also commutes with the operation of taking doubles. As an application, we show that the Etingof-Kazhdan quantization of some affine Lie superalgebras coincide with their Drinfeld-Jimbo-type quantizations.
We study the relationship between general dynamical Poisson groupoids and Lie quasi-bialgebras. For a class of Lie quasi-bialgebras naturally compatible with a reductive decomposition, we extend the description of the moduli space of classical dynamical r-matrices of Etingof and Schiffmann. We construct, in each gauge orbit, an explicit analytic representative l. We translate the notion of duality for dynamical Poisson groupoids into a duality for Lie quasi-bialgebras. It is shown that duality maps the dynamical Poisson groupoid for l and a Lie quasi-bialgebra to the dynamical Poisson groupoid…
In the classification of solutions of the Yang--Baxter equation, there are solutions that are not deformations of the trivial solution (essentially the identity). We consider the algebras defined by these solutions, and the corresponding dual algebras. We then study the representations of the latter. We are also interested in the Baxterisation of these $R$-matrices and in the corresponding quantum planes.
An equivalence between Lu's bialgebroids, Xu's bialgebroids with an anchor and Takeuchi's $\times_{A}$-bialgebras is explicitly proven. A new class of examples of bialgebroids is constructed. A (formal) dual of a bialgebroid, termed bicoalgebroid, is defined. A weak Hopf algebra is shown to be an example of such a bicoalgebroid.
We prove that the action of the Grothendieck-Teichmüller group on the genus completed properad of (homotopy) Lie bialgebras commutes with the reversing directions involution of the latter. We also prove that every universal quantization of Lie bialgebras is homotopy equivalent to the one which commutes with the duality involution exchanging Lie bracket and Lie cobracket. The proofs are based on a new result in the theory of oriented graph complexes (which can be of independent interest) saying that the involution on an oriented graph complex that changes all directions on edges induces the ide…
The exotic bialgebra S03, defined by a solution of the Yang-Baxter equation, which is not a deformation of the trivial, is considered. Its FRT dual algebra $s03_F$ is studied. The Baxterisation of the dual algebra is given in two different parametrisations. The finite-dimensional representations of $s03_F$ are considered. Diagonalisations of the braid matrices are used to yield remarkable insights concerning representations of the L-algebra and to formulate the fusion of finite-dimensional representations. Possible applications are considered, in particular, an exotic eight-vertex model and an…
The Krein--Tannaka duality for compact groups was a generalization the Pontryagin--Van Kampen duality for locally compact abelian groups and a remote predecessor of the theory of tensor categories. It is less known that it found applications in algebraic combinatorics (``Krein algebras''). Later, this duality was substantially extended: in \cite{V}, the notion of {\it involutive algebras in positive vector duality} was introduced. In this paper, we reformulate the notions of this theory using the language of bialgebras (and Hopf algebras) and introduce the class of involutive bialgebras and po…
The "quantum duality principle" states that the quantization of a Lie bialgebra - via a quantum universal enveloping algebra (QUEA) - provides also a quantization of the dual Lie bialgebra (through its associated formal Poisson group) - via a quantum formal series Hopf algebra (QFSHA) - and, conversely, a QFSHA associated to a Lie bialgebra (via its associated formal Poisson group) yields a QUEA for the dual Lie bialgebra as well; more precisely, there exist functors QUEA --> QFSHA and QFSHA --> QUEA, inverse of each other, such that in either case the Lie bialgebra associated to the target ob…
This paper explains the conjectured algebraic duality between genus zero Gromov-Witten theory and genus zero "Closed String topology". This duality in another perspective is discussed on page 87 of the book "Frobenius manifold, quantum cohomology, and moduli spaces" (by Yuri Manin). This paper also discusses Fulton MacPherson strata.
The notion of PROP models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. We prove a Koszul duality theory for PROPs generalizing the one for associative algebras and for operads.
The notion of prop models the operations with multiple inputs and multiple outpus, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.
The limiting transitions between different types of quantizations are studied by the deformation theory methods. We prove that for the first order coboundary deformation (g,g*_1 + x g*_2) of a Lie bialgebra (g,g*) one can always get the quantized Lie bialgebra (g,g*_2) as a limit of the sequence of quantizations of the type A(g,g*_1). The obtained results are illustrated by some low-dimensional examples of quantized Lie algebras and superalgebras.
We construct an associative algebra with a decomposition into the direct sum of the underlying vector spaces of another associative algebra and its dual space such that both of them are subalgebras and the natural symmetric bilinear form is invariant or the natural antisymmetric bilinear form is a Connes cocycle. The former is called a double construction of Frobenius algebra and the latter is called a double construction of Connes cocycle which is interpreted in terms of dendriform algebras. Both of them are equivalent to a kind of bialgebras, namely, antisymmetric infinitesimal bialgebras an…
We give functorial recipes to get, out of any Hopf algebra over a field, two pairs of Hopf algebras which have some geometrical content. When the ground field has characteristic zero, the first pair is made by a function algebra over a connected Poisson group and a universal enveloping algebra over a Lie bialgebra. In addition, the Poisson group as a variety is an affine space, and the Lie bialgebra as a Lie algebra is graded. Forgetting these last details, the second pair is of the same type. When the Hopf algebra H we start from is already of geometric type the result involves Poisson dualit…
Let $Z$ be a principal circle bundle over a base manifold $M$ equipped with an integral closed $3$-form $H$ called the flux. Let $\widehat{Z}$ be the T-dual circle bundle over $M$ with flux $\widehat{H}$. Han and Mathai recently constructed the $\mathbb{Z}_2$-graded space of exotic differential forms $\mathcal{A}^{\bar{k}}(\widehat{Z})$. It has an additional $\mathbb{Z}$-grading such that the degree zero component coincides with the space of invariant twisted differential forms $Ω^{\bar{k}}(\widehat{Z}, \widehat{H})^{\widehat{\mathbb{T}}}$, and it admits a differential that extends the twisted…
