We revisit the notion of interacting Frobenius Hopf algebras for ZX-calculus in quantum computing, with focus on allowing the algebras to be noncommutative and coalgebras to be noncocommutative. We introduce the notion of *-structures in ZX-calculus at this algebraic level and construct examples based on the quantum group u_q(sl_2) at a root of unity. We provide an abstract formulation of the Hadamard gate at this level and clarify its relationship to Hopf algebra self-duality. We then solve the problem of extending the notion of interacting Hopf algebras and ZX-calculus to take place in a braided tensor category. In the ribbon case, the Hadamard gate coming from braided self-duality obeys a modular identity. We give the example of b_q(sl_2), the self-dual braided version of u_q(sl_2).
A new approach is suggested to quantum differential calculus on certain quantum varieties. It consists in replacing quantum de Rham complexes with differentials satisfying Leibniz rule by those which are in a sense close to Koszul complexes from \cite{G1}. We also introduce the tangent space on a quantum hyperboloid equipped with an action on the quantum function space and define the notions of quantum (pseudo)metric and quantum connection (partially defined) on it. All objects are considered from the viewpoint of flatness of quantum deformations. A problem of constructing a flatly deformed qu…
We show that the algebra of the bicovariant differential calculus on a quantum group can be understood as a projection of the cross product between a braided Hopf algebra and the quantum double of the quantum group. The resulting super-Hopf algebra can be reproduced by extending the exterior derivative to tensor products.
Braided non-commutative differential geometry is studied. In particular we investigate the theory of (bicovariant) differential calculi in braided abelian categories. Previous results on crossed modules and Hopf bimodules in braided categories are used to construct higher order bicovariant differential calculi over braided Hopf algebras out of first order ones. These graded objects are shown to be braided differential Hopf algebras with universal bialgebra properties. The article especially extends Woronowicz's results on (bicovariant) differential calculi to the braided non-commutative case.
On any Reflection Equation algebra corresponding to a skew-invertible Hecke symmetry (i.e. a special type solution of the Quantum Yang-Baxter Equation) we define analogs of the partial derivatives. Together with elements of the initial Reflection Equation algebra they generate a "braided analog" of the Weyl algebra. When $q\to 1$, the braided Weyl algebra corresponding to the Quantum Group $U_q(sl(2))$ goes to the Weyl algebra defined on the algebra $\Sym((u(2))$ or that $U(u(2))$ depending on the way of passing to the limit. Thus, we define partial derivatives on the algebra $U(u(2))$, find t…
Braided differential operators $\del^i$ are obtained by differentiating the addition law on the braided covector spaces introduced previously (such as the braided addition law on the quantum plane). These are affiliated to a Yang-Baxter matrix $R$. The quantum eigenfunctions $\exp_R(\vecx|\vecv)$ of the $\del^i$ (braided-plane waves) are introduced in the free case where the position components $x_i$ are totally non-commuting. We prove a braided $R$-binomial theorem and a braided-Taylors theorem $\exp_R(\veca|\del)f(\vecx)=f(\veca+\vecx)$. These various results precisely generalise to a generi…
We construct a noncommutative Cartan calculus on any braided commutative algebra and study its applications in noncommutative geometry. The braided Lie derivative, insertion and de Rham differential are introduced and related via graded braided commutators, also incorporating the braided Schouten-Nijenhuis bracket. The resulting braided Cartan calculus generalizes the Cartan calculus on smooth manifolds and the twisted Cartan calculus. While it is a necessity of derivation based Cartan calculi on noncommutative algebras to employ central bimodules our approach allows to consider bimodules over…
We construct a model of the affine nil-Hecke algebra as a subalgebra of the Nichols-Woronowicz algebra associated to a Yetter-Drinfeld module over the affine Weyl group. We also discuss the Peterson isomorphism between the homology of the affine Grassmannian and the small quantum cohomology ring of the flag variety in terms of the braided differential calculus.
In this thesis we give obstructions for Drinfel'd twist deformation quantization on several classes of symplectic manifolds. Motivated from this quantization procedure, we further construct a noncommutative Cartan calculus on any braided commutative algebra, as well as an equivariant Levi-Civita covariant derivative for any non-degenerate equivariant metric. This generalizes and unifies the Cartan calculus on a smooth manifold and the Cartan calculus on twist star product algebras. We prove that the Drinfel'd functor leads to equivalence classes in braided commutative geometry and commutes wit…
We realise the cohomology ring of a flag manifold, more generally the coinvariant algebra of an arbitrary finite Coxeter group W, as a commutative subalgebra of a certain Nichols algebra in the Yetter-Drinfeld category over W. This gives a braided Hopf algebra version of the corresponding Schubert calculus. Our proof is based on methods of braided differential calculus rather than on working directly with the relations in the Nichols algebra, which are not known explicitly. We also discuss the relationship between Fomin-Kirillov quadratic algebras, Kirillov-Maeno bracket algebras and our const…
We study super-braided Hopf algebras $Λ$ primitively generated by finite-dimensional right crossed (or Drinfeld-Radford-Yetter) modules $Λ^1$ over a Hopf algebra $A$ which are quotients of the augmentation ideal $A^+$ under right multiplication and the adjoint coaction. Here super-bosonisation $Ω=A\ltimesΛ$ provides a bicovariant differential graded algebra on $A$. We introduce $Λ_{max}$ providing the maximal prolongation, while the canonical braided-exterior algebra $Λ_{min}=B_-(Λ^1)$ provides the Woronowicz exterior calculus. In this context we introduce a Hodge star operator $\sharp$ by sup…
Fully braided analog of Faddeev-Reshetikhin-Takhtajan construction of quasitriangular bialgebra $A(X,R)$ is proposed. For given pairing $C$ factor-algebra $A(X,R;C)$ is a dual quantum braided group. Corresponding inhomogeneous quantum group is obtained as a result of generalized bosonization. Construction of first order bicovariant differential calculus is proposed.
We use monoidal category methods to study the noncommutative geometry of nonassociative algebras obtained by a Drinfeld-type cochain twist. These are the so-called quasialgebras and include the octonions as braided-commutative but nonassociative coordinate rings, as well as quasialgebra versions $\CC_{q}(G)$ of the standard q-deformation quantum groups. We introduce the notion of ribbon algebras in the category, which are algebras equipped with a suitable generalised automorphism $σ$, and obtain the required generalisation of cyclic cohomology. We show that this \emph{braided cyclic cocohomolo…
A many variable $q$-calculus is introduced using the formalism of braided covector algebras. Its properties when certain of its deformation parameters are roots of unity are discussed in detail, and related to fractional supersymmetry. The special cases of two dimensional supersymmetry and fractional supersymmetry are developed in detail.
We study braided Hochschild and cyclic homology of ribbon algebras in braided monoidal categories, as introduced by Baez and by Akrami and Majid. We compute this invariant for several examples coming from quantum groups and braided groups.
We develop a general theory of `quantum' diffeomorphism groups based on the universal comeasuring quantum group $M(A)$ associated to an algebra $A$ and its various quotients. Explicit formulae are introduced for this construction, as well as dual quasitriangular and braided R-matrix versions. Among the examples, we construct the $q$-diffeomorphisms of the quantum plane $yx=qxy$, and recover the quantum matrices $M_q(2)$ as those respecting its braided group addition law.
Let $(H,R)$ be a quasitriangular weak Hopf algebra over a field $k$. We show that there is a braided monoidal equivalence between the Yetter-Drinfeld module category $^H_H\mathscr{YD}$ over $H$ and the category of comodules over some braided Hopf algebra ${}_RH$ in the category $_H\mathscr{M}$. Based on this equivalence, we prove that every braided bi-Galois object $A$ over the braided Hopf algebra ${}_RH$ defines a braided autoequivalence of the category $^H_H\mathscr{YD}$ if and only if $A$ is quantum commutative. In case $H$ is semisimple over an algebraically closed field, i.e. the fusion …
We formulate quantum group Riemannian geometry as a gauge theory of quantum differential forms. We first develop (and slightly generalise) classical Riemannian geometry in a self-dual manner as a principal bundle frame resolution and a dual pair of canonical forms. The role of Levi-Civita connection is naturally generalised to connections with vanishing torsion and cotorsion, which we introduce. We then provide the corresponding quantum group and braided group formulations with the universal quantum differential calculus. We also give general constructions for examples, including quantum spher…
A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore, antipodally covariant calculi are studied. The concept of the *-structure on a multi-braided quantum group is formulated, and in particular the structure of left-covariant *-covariant calculi is analyzed. A special attention is given to differential calculi covariant with respect to the action of the associated braid system. In particular it is shown that the lef…
The condition for double bicrosssum to be a braided Lie bialgebra is given. The result generalizes quantum double, bicrosssum, bicrosscosum, bisum. The quantum double of braided Lie bialgebras is constructed. The relation between double crosssum of Lie algebras and double crossproduct of Hopf algebras is given.
A generalized Hopf algebra structure for the positive (negative) part of the Drinfeld-Jimbo quantum group of type A_n is established without make any use of the usual deformation of the abelian part of sl_{n+1}.
We show that if $g_Γ$ is the quantum tangent space (or quantum Lie algebra in the sense of Woronowicz) of a bicovariant first order differential calculus over a coquasitriangular Hopf algebra $(A,r)$, then a certain extension of it is a braided Lie algebra in the category of $A$-comodules. This is used to show that the Woronowicz quantum universal enveloping algebra $U(g_Γ)$ is a bialgebra in the braided category of $A$-comodules. We show that this algebra is quadratic when the calculus is inner. Examples with this unexpected property include finite groups and quantum groups with their standar…
The aim of the paper is twofold. First, we introduce analogs of (partial) derivatives on certain Noncommutative algebras, including some enveloping algebras and their "braided counterparts", namely, the so-called modified Reflection Equation algebras. By using these derivatives we construct an analog of the de Rham complex on these algebras. Second, we discuss deformation property of some quantum algebras and show that contrary to a commonly held view, in the so-called q-Witt algebra there is no analog of the PBW theorem. In this connection, we discuss different forms of the Jacobi condition r…
We demonstrate our recent general results on the Casimir construction and moduli space of all bicovariant calculi by means of some detailed examples, including finite-difference and 2-jet cacluli on $\R^n$ and full details of the Casimir construction of the 4D calculus of $SU_q(2)$. We likewise demonstrate our previous general constructions with T. Brzezinski of quantum group gauge theory with examples of such nonuniversal differential calculi on spacetime. We outline a notion of quantum homotopy of a quantum space. We indicate a possible application to classical integrable systems.
We define the braided differential algebras which can be interpreted as quantization of the differential operator algebra defined on some algebraic varieties supplied with the action of the group GL(m). The algebra is generated by right invariant or coajoint vector fields. Our main example is gl^*(m) and coadjoint orbits in it. The Heisenberg double on the quantum group Fun_q(GL(m)is a particular case of the suggested construction.
A Cartan Calculus of Lie derivatives, differential forms, and inner derivations, based on an undeformed Cartan identity, is constructed. We attempt a classification of various types of quantum Lie algebras and present a fairly general example for their construction, utilizing pure braid methods, proving orthogonality of the adjoint representation and giving a (Killing) metric and the quadratic casimir. A reformulation of the Cartan calculus as a braided algebra and its extension to quantum planes, directly and induced from the group calculus, are provided.
In a recent paper the quantum 2-sphere $S^2_q$ was described as a quantum complex manifold. Here we consider several copies of $S^2_q$ and derive their braiding commutation relations. The braiding is extended to the differential and to the integral calculus on the spheres. A quantum analogue of the classical anharmonic ratio of four points on the sphere is given, which is invariant under the coaction of $SU_q(2)$.
The paper deals with braided Clifford algebras, understood as Chevalley-Kahler deformations of braided exterior algebras. It is shown that Clifford algebras based on involutive braids can be naturally endowed with a braided quantum group structure. Basic group entities are constructed explicitly.
We classify Lagrangian subcategories of the representation category of a twisted quantum double of a finite group. In view of results of 0704.0195v2 this gives a complete description of all braided tensor equivalent pairs of twisted quantum doubles of finite groups. We also establish a canonical bijection between Lagrangian subcategories of the representation category of a twisted quantum double of a finite group G and module categories over the category of twisted G-graded vector spaces such that the dual tensor category is pointed. This can be viewed as a quantum version of V. Drinfeld's cha…
In \cite{GS1} the notion of braided Yangians of Reflection Equation type was introduced. Each of these algebras is associated with an involutive or Hecke symmetry $R$. Besides, the quantum analogs of certain symmetric polynomials (elementary symmetric ones, power sums) were suggested. In the present paper we show that these quantum symmetric polynomials commute with each other and consequently generate a commutative Bethe subalgebra. As an application, we get some Gaudin-type models and the corresponding Bethe subalgebras.
This is the second part of the paper. Results of the first part about crossed modules are applied here to study of quantum groups in braided categories. Correct cross product in the class of quantum braided groups is built. Criterion when quantum braided group is cross product is otained.
The main goal of this review is to compare different approaches to constructing geometry associated with a Hecke type braiding (in particular, with that related to the quantum group U_q(sl(n))). We make an emphasis on affine braided geometry related to the so-called Reflection Equation Algebra (REA). All objects of such type geometry are defined in the spirit of affine algebraic geometry via polynomial relations on generators. We begin with comparing the Poisson counterparts of "quantum varieties" and describe different approaches to their quantization. Also, we exhibit two approaches to intro…
Let $H$ be a Hopf algebra in braided category $\cal C$. Crossed modules over $H$ are objects with both module and comodule structures satisfying some comatibility condition. Category ${\cal C}^H_H$ of crossed modules is braided and is concrete realization of general categorical construction. For quantum braided group $(H,{\cal R})$ corresponding braided category ${\cal C}^{\cal R}_H$ of modules is identifyed with full subcategory in ${\cal C}_H^H$. Connection with crossproducts is discussed. Correct cross product in the class of quantum braided groups is built. Radford's--Majid's theorem gives…
A braided generalization of the concept of Hopf algebra (quantum group) is presented. The generalization overcomes an inherent geometrical inhomogeneity of quantum groups, in the sense of allowing completely pointless objects. All braid-type equations appear as a consequence of initial axioms. Braided counterparts of basic algebraic relations between fundamental entities of the standard theory are found.
Associated to each subset $J$ of the nodes $I$ of a Dynkin diagram is a triangular decomposition of the corresponding Lie algebra $\mathfrak{g}$ into three subalgebras $\widetilde{\mathfrak{g}_{J}}$ (generated by $e_{j}$, $f_{j}$ for $j\in J$ and $h_{i}$ for $i\in I$), $\mathfrak{n}^{-}_{D}$ (generated by $f_{d}$, $d\in D=I\setminus J$) and its dual $\mathfrak{n}_{D}^{+}$. We demonstrate a quantum counterpart, generalising work of Majid and Rosso, by exhibiting analogous triangular decompositions of $U_{q}(\mathfrak{g})$ and identifying a graded braided Hopf algebra that quantizes $\mathfrak{n…
Double-bosonisation associates to a braided group in the category of modules of a quantum group, a new quantum group. We announce the semiclassical version of this inductive construction.
Quantum Lorentz groups H admitting quantum Minkowski space V are selected. Natural structure of a quantum space G = V x H is introduced, defining a quantum group structure on G only for triangular H (q=1). We show that it defines a braided quantum group structure on G for |q|=1.
We clarify some aspects of quantum group gauge theory and its recent generalisations (by T. Brzezinski and the author) to braided group gauge theory and coalgebra gauge theory. We outline the diagrammatic version of the braided case. We study the bosonisation of any braided group provides as a trivial principal bundle in three ways.
When a quantum hyperboloid is realized, as a three - parameter algebra $\ahqc$, in the usual manner, the following problem arises: what is a ``representation theory'' of this algebra? We construct the series of all spin representations of $\ahqc$, and we discuss a braided version of the orbit method, i.e. a correspondence between orbits in $\gggg^*$ and $\gggg$-modules. A braided trace and a braided involution are discussed as well.
In general, quantum matrix algebras are associated with a couple of compatible braidings. A particular example of such an algebra is the so-called Reflection Equation algebra. In this paper we analyse its specific properties, which distinguish it from other quantum matrix algebras (in first turn, from the RTT one). Thus, we exhibit a specific form of the Cayley-Hamilton identity for its generating matrix, which in a limit turns into the Cayley-Hamilton identity for the generating matrix of the enveloping algebra U(gl(m)). Also, we consider some specific properties of the braided Yangians, rece…
We give a systematic construction of Hopf algebra structures on braided cofree coalgebras. The relevant underlying structures are braided algebras and braided coalgebras. We provide some interesting examples of these algebras and coalgebras related to quantum groups. We introduce quantum multi-brace algebras which are generalizations of both braided algebras and $\textbf{B}_\infty$-algebras, as the natural framework. This new subject enables one to quantize some important algebra structures in a uniform way. Particular interesting examples are quantum quasi-shuffle algebras.
We introduce the notion of a braided Lie algebra consisting of a finite-dimensional vector space $\CL$ equipped with a bracket $[\ ,\ ]:\CL\tens\CL\to \CL$ and a Yang-Baxter operator $Ψ:\CL\tens\CL\to \CL\tens\CL$ obeying some axioms. We show that such an object has an enveloping braided-bialgebra $U(\CL)$. We show that every generic $R$-matrix leads to such a braided Lie algebra with $[\ ,\ ]$ given by structure constants $c^{IJ}{}_K$ determined from $R$. In this case $U(\CL)=B(R)$ the braided matrices introduced previously. We also introduce the basic theory of these braided Lie algebras, in…
Braided groups and braided matrices are novel algebraic structures living in braided or quasitensor categories. As such they are a generalization of super-groups and super-matrices to the case of braid statistics. Here we construct braided group versions of the standard quantum groups $U_q(g)$. They have the same FRT generators $l^\pm$ but a matrix braided-coproduct $\undΔL=L\und\tens L$ where $L=l^+Sl^-$, and are self-dual. As an application, the degenerate Sklyanin algebra is shown to be isomorphic to the braided matrices $BM_q(2)$; it is a braided-commutative bialgebra in a braided category…
With the motivation of giving a more precise estimation of the quantum Brauer group of a Hopf algebra $H$ over a field $k$ we construct an exact sequence containing the quantum Brauer group of a Hopf algebra in a certain braided monoidal category. Let $B$ be a Hopf algebra in $\C=_H ^H\YD$, the category of Yetter-Drinfel'd modules over $H$. We consider the quantum Brauer group $\BQ(\C; B)$ of $B$ in $\C$, which is isomorphic to the usual quantum Brauer group $\BQ(k; B\rtimes H)$ of the Radford biproduct Hopf algebra $B\rtimes H$. We show that under certain symmetricity condition on the braidin…
The well known incompatibility between inhomogeneous quantum groups and the standard q-deformation is shown to disappear (at least in certain cases) when admitting the quantum group to be braided. Braided quantum ISO(p,N-p) containing SO_q(p,N-p) with |q|=1 are constructed for N=2p, 2p+1, 2p+2. Their Poisson analogues (obtained first) are presented as an introduction to the quantum case.
We introduce some braided varieties -- braided orbits -- by considering quotients of the so-called Reflection Equation Algebras associated with Hecke symmetries (i.e. special type solutions of the quantum Yang-Baxter equation). Such a braided variety is called regular if there exists a projective module on it, which is a counterpart of the cotangent bundle on a generic orbit O in gl(m)* in the framework of the Serre approach. We give a criterium of regularity of a braided orbit in terms of roots of the Cayley-Hamilton identity valid for the generating matrix of the Reflection Equation Algebra …
In the present paper we prove decomposition formulae for the braided symmetric powers of simple modules over the quantized enveloping algebra $U_q(sl_2)$; natural quantum analogues of the classical symmetric powers of a module over a complex semisimple Lie algebra. We show that their point modules form natural non-commutative curves and surfaces and conjecture that braided symmetric algebras give rise to an interesting non-commutative geometry, which can be viewed as a flat deformation of the geometry associated to their classical limits.
The connection between braided Hopf algebra structure and the quantum group covariance of deformed oscillators is constructed explicitly. In this context we provide deformations of the Hopf algebra of functions on SU(1,1). Quantum subgroups and their representations are also discussed.
Rota-Baxter algebras and the closely related dendriform algebras have important physics applications, especially to renormalization of quantum field theory. Braided structures provide effective ways of quantization such as for quantum groups. Continuing recent study relating the two structures, this paper considers Rota-Baxter algebras and dendriform algebras in the braided contexts. Applying the quantum shuffle and quantum quasi-shuffle products, we construct free objects in the categories of braided Rota-Baxter algebras and braided dendriform algebras, under the commutativity condition. We f…
Let $(H, R)$ be a finite dimensional quasitriangular Hopf algebra over a field $k$, and $_H\mathcal{M}$ the representation category of $H$. In this paper, we study the braided autoequivalences of the Drinfeld center $^H_H\mathcal{YD}$ trivializable on $_H\mathcal{M}$. We establish a group isomorphism between the group of those autoequivalences and the group of quantum commutative bi-Galois objects of the transmutation braided Hopf algebra $_RH$. We then apply this isomorphism to obtain a categorical interpretation of the exact sequence of the equivariant Brauer group $\mathrm{BM}(k, H,R)$ in […
It is shown that every quantum principal bundle is braided, in the sense that there exists an intrinsic braid operator twisting the functions on the bundle. A detailed algebraic analysis of this operator is performed. In particular, it turns out that the braiding admits a natural extension to the level of arbitrary differential forms on the bundle. Applications of the formalism to the study of quantum gauge transformations are presented.
Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We conjecture that this braided tensor category is rigid and thus is a ribbon category. We also give conjectures on the modularity of this category and on the equivalence with a suitable quantum group tensor category. In the special case that the affine Lie algebra is $\widehat{\mathfrak{sl}}_2$, we prove the rigidity and modularity conjectures.
We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show that this coaction is principal. Our examples are built from the noncommutative torus with the natural free action of the classical torus, and arbitrary anti-Drinfeld doubles of finite-dimensional Hopf algebras. The former yields a noncommutative deformation of a non-trivial torus bundle, and the latter a finite quantum covering.
In this letter, we use quantum quasi-shuffle algebras to construct Rota-Baxter algebras, as well as tridendriform algebras. We also propose the notion of braided Rota-Baxter algebras, which is the relevant object of Rota-Baxter algebras in a braided tensor category. Examples of such new algebras are provided by using quantum multi-brace algebras in a category of Yetter-Drinfeld modules.
Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of crossed modules is braided and is a concrete realization of a known general construction of a double or center of a monoidal category. For a quantum braided group $(A,\overline A,{\cal R})$ the corresponding braided category of modules ${\cal C}_{\cO{A,\overline A}}$ is identified with a full subcategory in $\DY{\cal C}_A^A$. The connection with cross products is …
Starting with the braided quantum group $\operatorname{SU}_q(2)$ for a complex deformation parameter $q$ we perform the construction of the quotient $\operatorname{SU}_q(2)/\mathbb{T}$ which serves as a model of a quantum sphere. Then we follow the reasoning of Podleś who for real $q$ classified quantum spaces with the action of $\operatorname{SU}_q(2)$ with appropriate spectral properties. These properties can also be expressed in the context of the braided quantum $\operatorname{SU}_q(2)$ (with complex $q$) and we find that they lead to precisely the same family of quantum spaces as found by…
In the algebra Sym(gl(m)) we consider Poisson pencils generated by the linear Poisson-Lie bracket {,}_{gl(m)} and that corresponding to the so-called Reflection Equation Algebra. Each bracket of such a pencil has the Poisson center coinciding with that of the bracket {,}_{gl(m)}. Consequently, any bracket from this pencil can be restricted to a generic GL(m)-orbit O in gl(m)*. Quantization of such a restricted bracket can be done in the frameworks of braided affine geometry. In the paper we consider these Poisson structures, their super-analogs as well as their quantum (braided) counterparts. …
