To some Hecke symmetries (i.e. Yang-Baxter braidings of Hecke type) we assign algebras called braided non-commutative spheres. For any such algebra, we introduce and compute a q-analog of the Chern-Connes index. Unlike the standard Chern-Connes index, ours is based on the so-called categorical trace specific for a braided category in which the algebra in question is represented.
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 …
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.
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…
Based on a pairing of two regular multiplier Hopf algebras $A$ and $B$, Heisenberg double $\mathscr{H}$ is the smash product $A \# B$ with respect to the left regular action of $B$ on $A$. Let $\mathscr{D}=A\bowtie B$ be the Drinfel'd double, then Heisenberg double $\mathscr{H}$ is a Yetter-Drinfel'd $\mathscr{D}$-module algebra, and it is also braided commutative by the braiding of Yetter-Drinfel'd module, which generalizes the results in [10] to some infinite dimensional cases.
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.
We study the Yetter--Drinfeld D(B)-module algebra structure on the Heisenberg double H(B^*) endowed with a "heterotic" action of the Drinfeld double D(B). This action can be interpreted in the spirit of Lu's description of H(B^*) as a twist of D(B). In terms of the braiding of Yetter--Drinfeld modules, H(B^*) is braided commutative. By the Brzezinski--Militaru theorem, H(B^*)#D(B) is then a Hopf algebroid over H(B^*). For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_q(s…
We describe (braided-)commutative algebras with non-degenerate multiplicative form in certain braided monoidal categories, corresponding to abelian metric Lie algebras (so-called Drinfeld categories). We also describe local modules over these algebras and classify commutative algebras with finite number of simple local modules.
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…
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 […
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)$.
For a finite group $G$, Turaev introduced the notion of a braided $G$-crossed fusion category. The classification of braided $G$-crossed extensions of braided fusion categories was studied by Etingof, Nikshych and Ostrik in terms of certain group cohomological data. In this paper we will define the notion of a $G$-crossed Frobenius $\star$-algebra and give a classification of (strict) $G$-crossed extensions of a commutative Frobenius $\star$-algebra $R$ equipped with a given action of $G$, in terms of the second group cohomology $H^2(G,R^\times)$. Now suppose that $\mathcal{B}$ is a non-degene…
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…
This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C are recalled, the modules and comodules of Hopf algebras in such categories are studied,the notion of `braided -commutative' or `braided-cocommutative' Hopf algebras (braided groups) is reviewed and a fully diagrammatic proof of the reconstruction theorem for a braided group aut(C) is given. The theory has important implications for the theory of quasitrian…
Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the notions of extension (i.e., enlargement) of $V$ and of commutative associative algebra, with uniqueness of unit and with trivial twist, in the braided tensor category of $V$-modules are equivalent.
The set of primitive elements of a Hopf algebra in the braided category of group graded vector spaces (with a commutative group) carry the structure of a generalized Lie algebra. In particular the graded derivations of an associative algebra carry this Lie algebra structure. The Lie multiplications consist of certain n-ary partially defined multiplications satisfying generalized antisymmetry and Jacobi identities. This generalizes the concept of Lie super algebras and Lie color algebras. We show that universal enveloping algebras in the braided category exist. They are (braided) Hopf algebras.…
This paper is devoted to further results on the nontrivially associated categories $\mathcal{C}$ and $\mathcal{D}$, which are constructed from a choice of coset representatives for a subgroup of a finite group. We look at the construction of integrals in the algebras $A$ and $D$ in the categories. These integrals are used to construct abstract projection operators to show that general objects in $\mathcal{D}$ can be split into a sum of simple objects. The braided Hopf algebra $D$ is shown to be braided cocommutative, but not braided commutative. Extensions of the categories and their connectio…
Let $A$ be an algebra over a commutative ring $k$. We compute the center of the category of $A$-bimodules. There are six isomorphic descriptions: the center equals the weak center, and can be described as categories of noncommutative descent data, comodules over the Sweedler canonical $A$-coring, Yetter-Drinfeld type modules or modules with a flat connection from noncommutative differential geometry. All six isomorphic categories are braided monoidal categories: in particular, the category of comodules over the Sweedler canonical $A$-coring $A \ot A$ is braided monoidal. We provide several app…
Quantum sphere is introduced as a quotient of the so-called Reflection Equation Algebra. This enables us to construct some line bundles on it by means of the Cayley-Hamilton identity whose a quantum version was discovered in \cite{PS}, \cite{GPS}. A new way to introduce some elements of "braided geometry" on the quantum sphere is discussed.
We propose a new non-commutative generalization of the representation variety and the character variety of a knot group. Our strategy is to reformulate the construction of the algebra of functions on the space of representations in terms of Hopf algebra objects in a braided category (braided Hopf algebra). The construction works under the assumption that the algebra is braided commutative. The resulting knot invariant is a module with a coadjoint action. Taking the coinvariants yields a new quantum character variety that may be thought of as an alternative to the skein module. We give concrete…
The goal of this paper is to introduce the notion of $G$-Frobenius manifolds for any finite group $G$. This work is motivated by the fact that any $G$-Frobenius algebra yields an ordinary Frobenius algebra by taking its $G$-invariants. We generalize this on the level of Frobenius manifolds. To define a $G$-Frobenius manifold as a braided-commutative generalization of the ordinary commutative Frobenius manifold, we develop the theory of $G$-braided spaces. These are defined as $G$-graded $G$-modules with certain braided-commutative "rings of functions", generalizing the commutative rings of pow…
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
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…
We give a pedagogical introduction to integration techniques appropriate for non-commutative spaces while presenting some new results as well. A rather detailed discussion outlines the motivation for adopting the Hopf algebra language. We then present some trace formulas for the integral on Hopf algebras and show how to treat the $\int 1=0$ case. We extend the discussion to braided Hopf algebras relying on diagrammatic techniques. The use of the general formulas is illustrated by explicitly worked out examples.
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…
Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution $(X,r)$ consists of a set $X$ and a bijective map $r:X\times X\to X\times X$ which satisfies the braid relations. In this work we study the braided group $G=G(X,r)$ of an involutive square-free solution $(X,r)$ of finite order $n$ and cyclic index $p=p(X,r)$ and the group algebra $\textbf{k} [G]$ over a field $\textbf{k}$. We show that $G$ contains a $G$-invariant normal subgroup $\mathcal{F}_p$ of finite index $p^n$, $\mathcal{F}_p$ is isomorphic to th…
We study infinitesimal gauge transformations of an equivariant noncommutative principal bundle as a braided Lie algebra of derivations. For this, we analyse general $K$-braided Hopf and Lie algebras, for $K$ a (quasi)triangular Hopf algebra of symmetries, and study their representations as braided derivations. We then study Drinfeld twist deformations of braided Hopf algebras and of Lie algebras of infinitesimal gauge transformations. We give examples coming from deformations of abelian and Jordanian type. In particular we explicitly describe the braided Lie algebra of gauge transformations of…
Dijkgraaf, Pasquier and Roche introduced twisted quantum doubles of a finite group in the context of conformal field theory. We study equivalences that arise among the braided monoidal categories associated to these quantum doubles, especially in the commutative case. This involves a close study of the cohomology of various complexes introduced by Eilenberg-MacLane. We show among other things that an equivalence of braided monoidal categories is the same as gauge equivalence of the corresponding quantum doubles, and that an invariant for an equivalence class is given by a metabolic quadratic s…
We propose in this paper the construction of non-commutative Chern characters of the C*-algebras of spheres and quantum spheres. The final computation gives us a clear relation with the ordinary Z/(2)-graded Chern characters of tori or their normalizers.
In this paper we study a q-analogue of the convolution product on the line in detail. A convolution product on the braided line was defined algebraically by Kempf and Majid. We adapt their definition in order to give an analytic definition for the q-convolution and we study convergence extensively. Since the braided line is commutative as an algebra, all results can be viewed both as results in classical q-analysis and in braided algebra. We define various classes of functions on which the convolution is well-defined and we show that they are algebras under the defined product. One particularl…
Let $A$ be an algebra over a commutative ring $k$. It is known that the categories of non-commutative descent data, of comodules over the Sweedler canonical coring, of right $A$-modules with a flat connection are isomorphic as braided monoidal categories to the center of the category of $A$-bimodules. We prove that the braiding on these categories is unique if there exists a $k$-linear unitary map $E : A \to Z(A)$. This condition is satisfied if $k$ is a field or $A$ is a commutative or a separable algebra.
We show that the braided tensor product algebra $A_1\underline{\otimes}A_2$ of two module algebras $A_1, A_2$ of a quasitriangular Hopf algebra $H$ is equal to the ordinary tensor product algebra of $A_1$ with a subalgebra of $A_1\underline{\otimes}A_2$ isomorphic to $A_2$, provided there exists a realization of $H$ within $A_1$. In other words, under this assumption we construct a transformation of generators which `decouples' $A_1, A_2$ (i.e. makes them commuting). We apply the theorem to the braided tensor product algebras of two or more quantum group covariant quantum spaces, deformed Heis…
The Poisson structure arising in the Hamiltonian approach to the rational Gaudin model looks very similar to the so-called modified Reflection Equation Algebra. Motivated by this analogy, we realize a braiding of the mentioned Poisson structure, i.e. we introduce a "braided Poisson" algebra associated with an involutive solution to the quantum Yang-Baxter equation. Also, we exhibit another generalization of the Gaudin type Poisson structure by replacing the first derivative in the current parameter, entering the so-called local form of this structure, by a higher order derivative. Finally, we …
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…
These are expanded notes for a short course given at the Universidad Nacional de La Plata. They aim at giving a self-contained account of the results of Alain Connes and Michel Dubois--Violette.
By a generalized Yangian we mean a Yangian-like algebra of one of two classes. One of these classes consists of the so-called braided Yangians, introduced in our previous paper. The braided Yangians are in a sense similar to the reflection equation algebra. The generalized Yangians of second class, called the Yangians of RTT type, are defined by the same formulae as the usual Yangians are but with other quantum $R$-matrices. If such an $R$-matrix is the simplest trigonometrical $R$-matrix, the corresponding Yangian of RTT type is the so-called q-Yangian. We claim that each generalized Yangian …
A wide class of noncommutative spaces, including 4-spheres based on all the quantum 2-spheres and suspensions of matrix quantum groups is described. For each such space a noncommutative vector bundle is constructed. This generalises and clarifies various recent constructions of noncommutative 4-spheres.
It is shown that the non-commutative three-sphere introduced by Matsumoto is a total space of the quantum Hopf bundle over the classical two-sphere. A canonical connection is constructed, and is shown to coincide with the standard Dirac magnetic monopole.
Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative one does not necessarily have a Hopf algebra. Meanwhile, a Hopf category is the categorification of a Hopf algebra. It consists of a category enriched over a braided monoidal category such that every hom-set carries a coalgebra structure together with an antipode functor. In this article, we will introduce the notion of a topological Hopf category$-$ a smal…
Let $A$ be an algebra over a commutative ring $k$. We introduce the notion of a coquasitriangular left bialgebroid over $A$ and show that the category of left comodules over such a bialgebroid has a braiding. We also investigate a Tannaka type construction of bimonads and bialgebroids. As an application, the Faddeev-Reshetikhin-Takhtajan (FRT) construction over the algebra $A$ is established. Our construction associates a coquasitriangular bialgebroid to a braided object $(M, c)$ in the category of $A$-bimodules such that $M$ is finitely generated and projective as a left $A$-module. A Hopf al…
We construct a braided structure on the algebra of Kähler differential forms of a commutative algebra twisted by an endomorphism. This generalises the construction done in M. Karoubi, Quantum Methods in Algebraic Topology, see http://www.math.jussieu.fr/~karoubi, for topological purposes.
We analyze the expansion of the fuzzy sphere non-commutative product in powers of the non-commutativity parameter. To analyze this expansion we develop a graphical technique that uses spin networks. This technique is potentially interesting in its own right as introducing spin networks of Penrose into non-commutative geometry. Our analysis leads to a clarification of the link between the fuzzy sphere non-commutative product and the usual deformation quantization of the sphere in terms of the star-product.
This paper contains detailed proofs of our results on the moduli space and the structure of noncommutative 3-spheres. We develop the notion of central quadratic form for quadratic algebras, and a general theory which creates a bridge between noncommutative differential geometry and its purely algebraic counterpart. It allows to construct a morphism from an involutive quadratic algebras to a C*-algebra constructed from the characteristic variety and the hermitian line bundle associated to the central quadratic form. We apply the general theory in the case of noncommutative 3-spheres and show th…
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…
Using the concept of mixable shuffles, we formulate explicitly the quantum quasi-shuffle product, as well as the subalgebra generated by primitive elements of the quantum quasi-shuffle bialgebra. We construct a braided coalgebra structure which is dual to the quantum quasi-shuffle algebra. We provide representations of quantum quasi-shuffle algebras on commutative braided Rota-Baxter algebras. As an application, we establish a formal power series whose terms come from a special representation of some kind of quasi-shuffle algebra and whose evaluation at 1 is the multiple $q$-zeta values.
Ribbon categories of weight modules for affine $\mathfrak{sl}_2$ at admissible levels
Friedrich-Alexander Universität Erlangen-Nürnberg(埃尔朗根-纽伦堡大学);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);School of Mathematical Sciences, Shanghai Jiao Tong University(上海交通大学数学科学学院)
Suppose $D$ is a finite dimensional C*-algebra carrying a continuous action $\overlineΠ$ of the circle group $\mathbb{T}$. We study the quantum symmetry group of $D$, taking $\overlineΠ$ into account. We show that they are braided compact quantum groups $\mathbb{G}$ over $\mathbb{T}$. Here, the R-matrix, $\mathbb{Z}\times\mathbb{Z}\ni (m,n)\to ζ^{-m\cdot n}\in\mathbb{T}$ for a fixed $ζ\in \mathbb{T}$, governs the braided structure. In particular, if $\overlineΠ$ is trivial, $ζ=1$ or $D$ is commutative, then $\mathbb{G}$ coincides with Wang's quantum group of automorphisms of $D$. Moreover, we …