Showing 1–35 of 35 results for author: Kraehmer, U

A non-semisimple Kitaev lattice model

Authors: Sebastian Halbig, Ulrich Krähmer

Abstract: The construction of the topologically protected code space of Kitaev's model for fault-tolerant quantum computation is extended from complex semisimple to arbitrary finite-dimensional Hopf algebras admitting pairs in involution. One input of the model are ribbon graphs, that is, the combinatorial data of cellular decompositions of oriented closed surfaces. The other input are certain Hopf bimodule… ▽ More The construction of the topologically protected code space of Kitaev's model for fault-tolerant quantum computation is extended from complex semisimple to arbitrary finite-dimensional Hopf algebras admitting pairs in involution. One input of the model are ribbon graphs, that is, the combinatorial data of cellular decompositions of oriented closed surfaces. The other input are certain Hopf bimodules that are closely related to the coefficients in Hopf-cyclic homology. As in previous generalisations of the Kitaev model, a Yetter-Drinfeld module is constructed and shown to be a topological invariant of the surface with boundary that is obtained by "thickening" the graph. The generalisation of the protected space is defined using bitensor products of modules-comodules. Provided that the Hopf bimodule coefficients correspond to pairs in involution, this is shown to depend only on the genus of the graph. As examples, group algebras of finite groups and bosonisations of Nichols algebras are considered. △ Less

Submitted 10 June, 2025; originally announced June 2025.

Comments: comments very welcome

MSC Class: 57K16(primary); 16T05(secondary); 18M10(secondary); 57K20(secondary); 57M15(secondary); 81T45(secondary)

Duplicial functors, descent categories and generalized Hopf modules

Authors: Ivan Bartulović, John Boiquaye, Ulrich Krähmer

Abstract: Böhm and Ştefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^χ_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $χ$ between two comonads. For the key example associated to a bialgebra $H$, right $χ$-coalgebras have a description in terms of modules and comodules over $H$. The present artic… ▽ More Böhm and Ştefan have expressed cyclic homology as an invariant that assigns homology groups $\mathrm{HC}^χ_i(\mathrm N, \mathrm M)$ to right and left coalgebras $\mathrm N$ respectively $\mathrm M$ over a distributive law $χ$ between two comonads. For the key example associated to a bialgebra $H$, right $χ$-coalgebras have a description in terms of modules and comodules over $H$. The present article formulates conditions under which such a description is simultaneously possible for the left $χ$-coalgebras. In the above example, this is the case when the bialgebra $H$ is a Hopf algebra with bijective antipode. We also discuss how the generalized Hopf module theorem by Mesablishvili and Wisbauer features both in theory and examples. △ Less

Submitted 24 January, 2025; originally announced January 2025.

Comments: 32 pages, many figures

MSC Class: 18C15; 19D55

The ring of differential operators on a monomial curve is a Hopf algebroid

Authors: Ulrich Krähmer, Myriam Mahaman

Abstract: This article considers cuspidal curves whose coordinate rings are numerical semigroup algebras. Using a general result about descent of Hopf algebroid structures, their rings of differential operators are shown to be cocommutative and conilpotent left Hopf algebroids. If the semigroups are symmetric so that the curves are Gorenstein, they are full Hopf algebroids (admit an antipode). This article considers cuspidal curves whose coordinate rings are numerical semigroup algebras. Using a general result about descent of Hopf algebroid structures, their rings of differential operators are shown to be cocommutative and conilpotent left Hopf algebroids. If the semigroups are symmetric so that the curves are Gorenstein, they are full Hopf algebroids (admit an antipode). △ Less

Submitted 23 October, 2024; v1 submitted 14 May, 2024; originally announced May 2024.

Comments: New section 4.8 giving an overview of previous results by Sweedler, and by Ben-Zvi and Nevins on Hopf algebroid structures on rings of differential operators

MSC Class: 16S32; 16T15; 20M14

A remark on the Hochschild dimension of liberated quantum groups

Authors: Tomasz Brzeziński, Ulrich Krähmer, Réamonn Ó Buachalla, Karen R. Strung

Abstract: Let $A$ be a Hopf algebra equipped with a projection onto the coordinate Hopf algebra $\mathcal{O}(G)$ of a semisimple algebraic group $G$. It is shown that if $A$ admits a suitably non-degenerate comodule $V$ and the induced $G$-module structure of $V$ is non-trivial, then the third Hochschild homology group of $A$ is non-trivial. Let $A$ be a Hopf algebra equipped with a projection onto the coordinate Hopf algebra $\mathcal{O}(G)$ of a semisimple algebraic group $G$. It is shown that if $A$ admits a suitably non-degenerate comodule $V$ and the induced $G$-module structure of $V$ is non-trivial, then the third Hochschild homology group of $A$ is non-trivial. △ Less

Submitted 24 January, 2024; v1 submitted 3 November, 2022; originally announced November 2022.

Comments: to appear in J. Noncomm. Geom

Pointed Hopf algebra (co)actions on rational functions

Authors: Ulrich Krähmer, Blessing Bisola Oni

Abstract: This article studies the construction of Hopf algebras $H$ acting on a given algebra $K$ in terms of algebra morphisms $ σ\colon K \rightarrow \mathrm{M}_n(K)$. The approach is particularly suited for controlling whether these actions restrict to a given subalgebra $B$ of $K$, whether $H$ is pointed, and whether these actions are compatible with a given $*$-structure on $K$. The theory is applied… ▽ More This article studies the construction of Hopf algebras $H$ acting on a given algebra $K$ in terms of algebra morphisms $ σ\colon K \rightarrow \mathrm{M}_n(K)$. The approach is particularly suited for controlling whether these actions restrict to a given subalgebra $B$ of $K$, whether $H$ is pointed, and whether these actions are compatible with a given $*$-structure on $K$. The theory is applied to the field $K=k(t)$ of rational functions containing the coordinate ring $B=k[t^2,t^3]$ of the cusp. An explicit example is described in detail and shown to define a quantum homogeneous space structure on the cusp, which, unlike the previously known one, extends from regular to rational functions. △ Less

Submitted 22 August, 2023; v1 submitted 14 September, 2022; originally announced September 2022.

Comments: 35 pages

Cyclic duality for slice and orbit 2-categories

Authors: John Boiquaye, Philipp Joram, Ulrich Krähmer

Abstract: The self-duality of the paracyclic category is extended to a certain class of homotopy categories of (2,1)-categories. These generalise the orbit category of a group and are associated to certain self-dual preorders equipped with a presheaf of groups and a cosieve. Slice 2-categories of equidimensional submanifolds of a compact manifold without boundary form a particular case, and for $S^1$, one r… ▽ More The self-duality of the paracyclic category is extended to a certain class of homotopy categories of (2,1)-categories. These generalise the orbit category of a group and are associated to certain self-dual preorders equipped with a presheaf of groups and a cosieve. Slice 2-categories of equidimensional submanifolds of a compact manifold without boundary form a particular case, and for $S^1$, one recovers cyclic duality. This provides in particular a visualisation of the results of Böhm and Ştefan on the topic. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Clones from comonoids

Authors: Ulrich Krähmer, Myriam Mahaman

Abstract: The fact that the cocommutative comonoids in a symmetric monoidal category form the best possible approximation by a cartesian category is revisited when the original category is only braided monoidal. This leads to the question when the endomorphism operad of a comonoid is a clone (a Lawvere theory). By giving an explicit example, we prove that this does not imply that the comonoid is cocommutati… ▽ More The fact that the cocommutative comonoids in a symmetric monoidal category form the best possible approximation by a cartesian category is revisited when the original category is only braided monoidal. This leads to the question when the endomorphism operad of a comonoid is a clone (a Lawvere theory). By giving an explicit example, we prove that this does not imply that the comonoid is cocommutative. △ Less

Submitted 23 October, 2024; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: Version currently accessible for early view in the Revista de la Unión Matemática

Twisted Dirac operator on quantum SU(2) in disc coordinates

Authors: Ulrich Kraehmer, Elmar Wagner

Abstract: The quantum disc is used to define a noncommutative analogue of a dense coordinate chart and of left-invariant vector fields on quantum SU(2). This yields two twisted Dirac operators for different twists that are related by a gauge transformation and have bounded twisted commutators with a suitable algebra of differentiable functions on quantum SU(2). The quantum disc is used to define a noncommutative analogue of a dense coordinate chart and of left-invariant vector fields on quantum SU(2). This yields two twisted Dirac operators for different twists that are related by a gauge transformation and have bounded twisted commutators with a suitable algebra of differentiable functions on quantum SU(2). △ Less

Submitted 17 December, 2019; originally announced December 2019.

A Hopf algebra without modular pair in involution

Authors: Sebastian Halbig, Ulrich Kraehmer

Abstract: The aim of this short note is to communicate an example of a finite-dimensional Hopf algebra that does not admit a modular pair in involution in the sense of Connes and Moscovici. The aim of this short note is to communicate an example of a finite-dimensional Hopf algebra that does not admit a modular pair in involution in the sense of Connes and Moscovici. △ Less

Submitted 8 October, 2018; originally announced October 2018.

A universal enveloping algebra for cocommutative rack bialgebras

Authors: Ulrich Kraehmer, Friedrich Wagemann

Abstract: We construct a bialgebra object in the category of linear maps LM from a cocommutative rack bialgebra. The construction does extend to some non-cocommutative rack bialgebras, as is illustrated by a concrete example. As a separate result, we show that the Loday complex with adjoint coefficients embeds into the rack bialgebra deformation complex for the rack bialgebra defined by a Leibniz algebra. We construct a bialgebra object in the category of linear maps LM from a cocommutative rack bialgebra. The construction does extend to some non-cocommutative rack bialgebras, as is illustrated by a concrete example. As a separate result, we show that the Loday complex with adjoint coefficients embeds into the rack bialgebra deformation complex for the rack bialgebra defined by a Leibniz algebra. △ Less

Submitted 11 October, 2018; v1 submitted 8 October, 2018; originally announced October 2018.

Comments: 17 pages

The nodal cubic and quantum groups at roots of unity

Authors: Ulrich Kraehmer, Manuel Martins

Abstract: In a recent article, the coordinate ring of the nodal cubic was given the structure of a quantum homogeneous space. Here the corresponding coalgebra Galois extension is expressed in terms of quantum groups at roots of unity, and is shown to be cleft. Furthermore, the minimal quotient extensions are determined. In a recent article, the coordinate ring of the nodal cubic was given the structure of a quantum homogeneous space. Here the corresponding coalgebra Galois extension is expressed in terms of quantum groups at roots of unity, and is shown to be cleft. Furthermore, the minimal quotient extensions are determined. △ Less

Submitted 18 December, 2018; v1 submitted 29 March, 2018; originally announced March 2018.

Comments: 14 pages

MSC Class: 81R50; 81R60; 16T20; 16T05

(Weak) incidence bialgebras of monoidal categories

Authors: Ulrich Kraehmer, Lucia Rotheray

Abstract: Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner's bigraphs and crossed modules are considered. Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner's bigraphs and crossed modules are considered. △ Less

Submitted 15 April, 2019; v1 submitted 21 March, 2018; originally announced March 2018.

Comments: 16 pages, 25 PNG figures

Cyclic vs mixed homology

Authors: Ulrich Kraehmer, Dylan Madden

Abstract: The spectral theory of the Karoubi operator due to Cuntz and Quillen is extended to general mixed (duchain) complexes, that is, chain complexes which are simultaneously cochain complexes. Connes' coboundary map B can be viewed as a perturbation of the noncommutative De Rham differential d by a polynomial in the Karoubi operator. The homological impact of such perturbations is expressed in terms of… ▽ More The spectral theory of the Karoubi operator due to Cuntz and Quillen is extended to general mixed (duchain) complexes, that is, chain complexes which are simultaneously cochain complexes. Connes' coboundary map B can be viewed as a perturbation of the noncommutative De Rham differential d by a polynomial in the Karoubi operator. The homological impact of such perturbations is expressed in terms of two short exact sequences. △ Less

Submitted 12 December, 2017; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 16 pages

The Nodal Cubic is a Quantum Homogeneous Space

Authors: Ulrich Kraehmer, Angela Tabiri

Abstract: The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring $B$ can be embedded as a right coideal subalgebra into a Hopf algebra $A$ such that $A$ is faithfully flat as a $B$-module. In the present article such a Hopf algebra $A$ is constructed for the coordinate ring $B$ of the nodal cubic, thus further motivating the question which affine vari… ▽ More The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring $B$ can be embedded as a right coideal subalgebra into a Hopf algebra $A$ such that $A$ is faithfully flat as a $B$-module. In the present article such a Hopf algebra $A$ is constructed for the coordinate ring $B$ of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous spaces. △ Less

Submitted 29 August, 2016; v1 submitted 1 April, 2016; originally announced April 2016.

Comments: 4 pages

Cyclic homology arising from adjunctions

Authors: Niels Kowalzig, Ulrich Kraehmer, Paul Slevin

Abstract: Given a monad and a comonad, one obtains a distributive law between them from lifts of one through an adjunction for the other. In particular, this yields for any bialgebroid the Yetter-Drinfel'd distributive law between the comonad given by a module coalgebra and the monad given by a comodule algebra. It is this self-dual setting that reproduces the cyclic homology of associative and of Hopf alge… ▽ More Given a monad and a comonad, one obtains a distributive law between them from lifts of one through an adjunction for the other. In particular, this yields for any bialgebroid the Yetter-Drinfel'd distributive law between the comonad given by a module coalgebra and the monad given by a comodule algebra. It is this self-dual setting that reproduces the cyclic homology of associative and of Hopf algebras in the monadic framework of Boehm and Stefan. In fact, their approach generates two duplicial objects and morphisms between them which are mutual inverses if and only if the duplicial objects are cyclic. A 2-categorical perspective on the process of twisting coefficients is provided and the role of the two notions of bimonad studied in the literature is clarified. △ Less

Submitted 28 April, 2015; originally announced April 2015.

Comments: 24 pages

Journal ref: Theor. and Appl. of Categories 30 (2015), 1067--1095

Factorisations of distributive laws

Authors: Ulrich Kraehmer, Paul Slevin

Abstract: Recently, Boehm and Stefan constructed duplicial (paracyclic) objects from distributive laws between (co)monads. Here we define the category of factorisations of a distributive law, show that it acts on this construction, and give some explicit examples. Recently, Boehm and Stefan constructed duplicial (paracyclic) objects from distributive laws between (co)monads. Here we define the category of factorisations of a distributive law, show that it acts on this construction, and give some explicit examples. △ Less

Submitted 26 September, 2014; originally announced September 2014.

Comments: 15 pages

Racks, Leibniz algebras and Yetter-Drinfel'd modules

Authors: Ulrich Kraehmer, Friedrich Wagemann

Abstract: A Hopf algebra object in Loday and Pirashvili's category of linear maps entails an ordinary Hopf algebra and a Yetter-Drinfel'd module. We equip the latter with a structure of a braided Leibniz algebra. This provides a unified framework for examples of racks in the category of coalgebras discussed recently by Carter, Crans, Elhamdadi and Saito. A Hopf algebra object in Loday and Pirashvili's category of linear maps entails an ordinary Hopf algebra and a Yetter-Drinfel'd module. We equip the latter with a structure of a braided Leibniz algebra. This provides a unified framework for examples of racks in the category of coalgebras discussed recently by Carter, Crans, Elhamdadi and Saito. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: 20 pages, no figures

MSC Class: 16T05; 16T10; 17A32; 17B35; 17B37

A Lie-Rinehart algebra with no antipode

Authors: Ulrich Kraehmer, Ana Rovi

Abstract: The aim of this note is to communicate a simple example of a Lie-Rinehart algebra whose enveloping algebra is not a Hopf algebroid in the sense of Boehm and Szlachanyi. The aim of this note is to communicate a simple example of a Lie-Rinehart algebra whose enveloping algebra is not a Hopf algebroid in the sense of Boehm and Szlachanyi. △ Less

Submitted 30 August, 2013; originally announced August 2013.

Comments: 4 pages

On the Dolbeault--Dirac Operator of Quantized Symmetric Spaces

Authors: Ulrich Kraehmer, Matthew Tucker-Simmons

Abstract: The Dolbeault complex of a quantized compact Hermitian symmetric space is expressed in terms of the Koszul complex of a braided symmetric algebra of Berenstein and Zwicknagl. This defines a spectral triple quantizing the Dolbeault-Dirac operator associated to the canonical spin^c structure. The Dolbeault complex of a quantized compact Hermitian symmetric space is expressed in terms of the Koszul complex of a braided symmetric algebra of Berenstein and Zwicknagl. This defines a spectral triple quantizing the Dolbeault-Dirac operator associated to the canonical spin^c structure. △ Less

Submitted 21 December, 2014; v1 submitted 26 July, 2013; originally announced July 2013.

Comments: 25 pages

Untwisting a twisted Calabi-Yau algebra

Authors: Jake Goodman, Ulrich Kraehmer

Abstract: Twisted Calabi-Yau algebras are a generalisation of Ginzburg's notion of Calabi-Yau algebras. Such algebras A come equipped with a modular automorphism σ\in Aut(A), the case σ= id being precisely the original class of Calabi-Yau algebras. Here we prove that every twisted Calabi-Yau algebra may be extended to a Calabi-Yau algebra. More precisely, we show that if A is a twisted Calabi-Yau algebra wi… ▽ More Twisted Calabi-Yau algebras are a generalisation of Ginzburg's notion of Calabi-Yau algebras. Such algebras A come equipped with a modular automorphism σ\in Aut(A), the case σ= id being precisely the original class of Calabi-Yau algebras. Here we prove that every twisted Calabi-Yau algebra may be extended to a Calabi-Yau algebra. More precisely, we show that if A is a twisted Calabi-Yau algebra with modular automorphism σ, then the smash product algebras A \rtimes_σN and A \rtimes_σZ are Calabi-Yau. △ Less

Submitted 2 April, 2013; originally announced April 2013.

Batalin-Vilkovisky Structures on Ext and Tor

Authors: Niels Kowalzig, Ulrich Kraehmer

Abstract: This article studies the algebraic structure of homology theories defined by a left Hopf algebroid U over a possibly noncommutative base algebra A, such as for example Hochschild, Lie algebroid (in particular Lie algebra and Poisson), or group and etale groupoid (co)homology. Explicit formulae for the canonical Gerstenhaber algebra structure on Ext_U(A,A) are given. The main technical result const… ▽ More This article studies the algebraic structure of homology theories defined by a left Hopf algebroid U over a possibly noncommutative base algebra A, such as for example Hochschild, Lie algebroid (in particular Lie algebra and Poisson), or group and etale groupoid (co)homology. Explicit formulae for the canonical Gerstenhaber algebra structure on Ext_U(A,A) are given. The main technical result constructs a Lie derivative satisfying a generalised Cartan-Rinehart homotopy formula whose essence is that Tor^U(M,A) becomes for suitable right U-modules M a Batalin-Vilkovisky module over Ext_U(A,A), or in the words of Nest, Tamarkin, Tsygan and others, that Ext_U(A,A) and Tor^U(M,A) form a differential calculus. As an illustration, we show how the well-known operators from differential geometry in the classical Cartan homotopy formula can be obtained. Another application consists in generalising Ginzburg's result that the cohomology ring of a Calabi-Yau algebra is a Batalin-Vilkovisky algebra to twisted Calabi-Yau algebras. △ Less

Submitted 8 October, 2012; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: 50 pages; minor modifications, to appear in J. Reine Angew. Math

A residue formula for the fundamental Hochschild 3-cocycle for SUq(2)

Authors: Ulrich Kraehmer, Adam Rennie, Roger Senior

Abstract: An analogue of a spectral triple over SUq(2) is constructed for which the usual assumption of bounded commutators with the Dirac operator fails. An analytic expression analogous to that for the Hochschild class of the Chern character for spectral triples yields a non-trivial twisted Hochschild 3-cocycle. The problems arising from the unbounded commutators are overcome by defining a residue functio… ▽ More An analogue of a spectral triple over SUq(2) is constructed for which the usual assumption of bounded commutators with the Dirac operator fails. An analytic expression analogous to that for the Hochschild class of the Chern character for spectral triples yields a non-trivial twisted Hochschild 3-cocycle. The problems arising from the unbounded commutators are overcome by defining a residue functional using projections to cut down the Hilbert space. △ Less

Submitted 26 May, 2011; originally announced May 2011.

Comments: 26 pages

Cyclic structures in algebraic (co)homology theories

Authors: Niels Kowalzig, Ulrich Kraehmer

Abstract: This note discusses the cyclic cohomology of a left Hopf algebroid ($\times_A$-Hopf algebra) with coefficients in a right module-left comodule, defined using a straightforward generalisation of the original operators given by Connes and Moscovici for Hopf algebras. Lie-Rinehart homology is a special case of this theory. A generalisation of cyclic duality that makes sense for arbitrary para-cyclic… ▽ More This note discusses the cyclic cohomology of a left Hopf algebroid ($\times_A$-Hopf algebra) with coefficients in a right module-left comodule, defined using a straightforward generalisation of the original operators given by Connes and Moscovici for Hopf algebras. Lie-Rinehart homology is a special case of this theory. A generalisation of cyclic duality that makes sense for arbitrary para-cyclic objects yields a dual homology theory. The twisted cyclic homology of an associative algebra provides an example of this dual theory that uses coefficients that are not necessarily stable anti Yetter-Drinfel'd modules. △ Less

Submitted 15 November, 2010; originally announced November 2010.

Journal ref: Homology, Homotopy and Applications 13 (2011), no. 1, 297--318

A residue formula for the fundamental Hochschild class of the Podles sphere

Authors: Ulrich Kraehmer, Elmar Wagner

Abstract: The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula. The fundamental Hochschild cohomology class of the standard Podles quantum sphere is expressed in terms of the spectral triple of Dabrowski and Sitarz by means of a residue formula. △ Less

Submitted 11 August, 2010; originally announced August 2010.

Comments: 13 pages

Duality and products in algebraic (co)homology theories

Authors: Niels Kowalzig, Ulrich Kraehmer

Abstract: The origin and interplay of products and dualities in algebraic (co)homology theories is ascribed to a $\times_A$-Hopf algebra structure on the relevant universal enveloping algebra. This provides a unified treatment for example of results by Van den Bergh about Hochschild (co)homology and by Huebschmann about Lie-Rinehart (co)homology. The origin and interplay of products and dualities in algebraic (co)homology theories is ascribed to a $\times_A$-Hopf algebra structure on the relevant universal enveloping algebra. This provides a unified treatment for example of results by Van den Bergh about Hochschild (co)homology and by Huebschmann about Lie-Rinehart (co)homology. △ Less

Submitted 7 April, 2009; v1 submitted 22 December, 2008; originally announced December 2008.

Journal ref: Journal of Algebra 323 (2010), no. 7, 2063--2081

The Hochschild cohomology ring of the standard Podles quantum sphere

Authors: Ulrich Kraehmer

Abstract: The cup and cap product in twisted Hochschild (co)homology is computed for the standard quantum 2-sphere and used to construct a cyclic 2-cocycle that represents the fundamental Hochschild class. The cup and cap product in twisted Hochschild (co)homology is computed for the standard quantum 2-sphere and used to construct a cyclic 2-cocycle that represents the fundamental Hochschild class. △ Less

Submitted 10 June, 2008; originally announced June 2008.

On the Hochschild (co)homology of Quantum Homogeneous Spaces

Authors: Ulrich Kraehmer

Abstract: The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podles quantum 2-sphere. The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the standard Podles quantum 2-sphere. △ Less

Submitted 2 October, 2009; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: Significant changes, main theorem in v1 was not correct as stated

Twisted Homology of Quantum SL(2) - Part II

Authors: Tom Hadfield, Ulrich Kraehmer

Abstract: We complete the calculation of the twisted cyclic homology of the quantised coordinate ring of SL(2) that we began in math.QA/0405249. In particular, a nontrivial cyclic 3-cocycle is constructed which also has a nontrivial class in Hochschild cohomology and thus should be viewed as a noncommutative geometry analogue of a volume form. We complete the calculation of the twisted cyclic homology of the quantised coordinate ring of SL(2) that we began in math.QA/0405249. In particular, a nontrivial cyclic 3-cocycle is constructed which also has a nontrivial class in Hochschild cohomology and thus should be viewed as a noncommutative geometry analogue of a volume form. △ Less

Submitted 12 November, 2009; v1 submitted 26 November, 2007; originally announced November 2007.

Comments: 23 pages, final version accepted for publication. To appear in Journal of K-Theory

MSC Class: 58B34; 19D55; 81R50; 46L

Journal ref: Journal of K-Theory, Volume 6, no. 1, pp 69-98 (2010)

Piecewise principal comodule algebras

Authors: Piotr M. Hajac, Ulrich Kraehmer, Rainer Matthes, Bartosz Zielinski

Abstract: A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Fu… ▽ More A comodule algebra P over a Hopf algebra H with bijective antipode is called principal if the coaction of H is Galois and P is H-equivariantly projective (faithfully flat) over the coaction-invariant subalgebra B. We prove that principality is a piecewise property: given N comodule-algebra surjections P->Pi whose kernels intersect to zero, P is principal if and only if all Pi's are principal. Furthermore, assuming the principality of P, we show that the lattice these kernels generate is distributive if and only if so is the lattice obtained by intersection with B. Finally, assuming the above distributivity property, we obtain a flabby sheaf of principal comodule algebras over a certain space that is universal for all such N-families of surjections P->Pi and such that the comodule algebra of global sections is P. △ Less

Submitted 31 December, 2007; v1 submitted 9 July, 2007; originally announced July 2007.

Braided homology of quantum groups

Authors: Tom Hadfield, Ulrich Kraehmer

Abstract: 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 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. △ Less

Submitted 13 October, 2008; v1 submitted 6 January, 2007; originally announced January 2007.

Comments: 25 pages, 12 figures. Final version, to appear in Journal of K-theory

MSC Class: 58B32; 16W30; 19D55

Journal ref: Journal of K-theory, 4, no. 2, 299-332 (2009)

On the Hochschild homology of quantum SL(N)

Authors: Tom Hadfield, Ulrich Kraehmer

Abstract: We show that the standard quantized coordinate ring A of quantum SL(N) satisfies van den Bergh's analogue of Poincare duality for Hochschild (co)homology with dualizing bimodule being A_sigma, the A-bimodule which is A as k-vector space with right multiplication twisted by the modular automorphism sigma of the Haar functional. This implies that H_{N^2-1} (A, A_sigma)=k, generalizing our previous… ▽ More We show that the standard quantized coordinate ring A of quantum SL(N) satisfies van den Bergh's analogue of Poincare duality for Hochschild (co)homology with dualizing bimodule being A_sigma, the A-bimodule which is A as k-vector space with right multiplication twisted by the modular automorphism sigma of the Haar functional. This implies that H_{N^2-1} (A, A_sigma)=k, generalizing our previous results for quantum SL(2). △ Less

Submitted 19 May, 2006; v1 submitted 12 September, 2005; originally announced September 2005.

Comments: 5 pages, no figures. Final version accepted for publication

MSC Class: 16E40; 16W35

Journal ref: Comptes Rendus Acad. Sci. Paris, Ser. I, 343, 9-13 (2006)

Twisted homology of quantum SL(2)

Authors: Tom Hadfield, Ulrich Kraehmer

Abstract: We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of the coordinate algebra of the quantum SL(2) group relative to twisting automorphisms acting by rescaling the standard generators a,b,c,d. We discover a family of automorphisms for which the "twisted" Hochschild dimension coincides with the classical dimension of SL(2, C), thus avoiding the "… ▽ More We calculate the twisted Hochschild and cyclic homology (in the sense of Kustermans, Murphy and Tuset) of the coordinate algebra of the quantum SL(2) group relative to twisting automorphisms acting by rescaling the standard generators a,b,c,d. We discover a family of automorphisms for which the "twisted" Hochschild dimension coincides with the classical dimension of SL(2, C), thus avoiding the "dimension drop" in Hochschild homology seen for many quantum deformations. Strikingly, the simplest such automorphism is the canonical modular automorphism arising from the Haar functional. In addition, we identify the twisted cyclic cohomology classes corresponding to the three covariant differential calculi over quantum SU(2) discovered by Woronowicz. △ Less

Submitted 27 June, 2005; v1 submitted 13 May, 2004; originally announced May 2004.

Comments: 28 pages, no figures, uses package amscd. v5: substantially rewritten

MSC Class: 58B34; 19D55; 81R50; 46L

Journal ref: K-theory 34, no. 4, 327-360 (2005)

Dirac Operators on Quantum Flag Manifolds

Authors: Ulrich Kraehmer

Abstract: A Dirac operator D on quantized irreducible generalized flag manifolds is defined. This yields a Hilbert space realization of the covariant first-order differential calculi constructed by I. Heckenberger and S. Kolb. All differentials df=i[D,f] are bounded operators. In the simplest case of Podles' quantum sphere one obtains the spectral triple found by L. Dabrowski and A. Sitarz. A Dirac operator D on quantized irreducible generalized flag manifolds is defined. This yields a Hilbert space realization of the covariant first-order differential calculi constructed by I. Heckenberger and S. Kolb. All differentials df=i[D,f] are bounded operators. In the simplest case of Podles' quantum sphere one obtains the spectral triple found by L. Dabrowski and A. Sitarz. △ Less

Submitted 18 June, 2003; v1 submitted 5 May, 2003; originally announced May 2003.

Comments: 10 pages

FRT-duals as Quantum Enveloping Algebras

Authors: Ulrich Kraehmer

Abstract: The Hopf algebra generated by the l-functionals on the quantum double C_q[G] \bowtie C_q[G] is considered, where C_q[G] is the coordinate algebra of a standard quantum group and q is not a root of unity. It is shown to be isomorphic to C_q[G]^op \bowtie U_q(g). This was conjectured by T. Hodges in [Ho]. As an algebra it can be embedded into U_q(g) \otimes U_q(g). Here it is proven that there is… ▽ More The Hopf algebra generated by the l-functionals on the quantum double C_q[G] \bowtie C_q[G] is considered, where C_q[G] is the coordinate algebra of a standard quantum group and q is not a root of unity. It is shown to be isomorphic to C_q[G]^op \bowtie U_q(g). This was conjectured by T. Hodges in [Ho]. As an algebra it can be embedded into U_q(g) \otimes U_q(g). Here it is proven that there is no bialgebra structure on U_q(g) \otimes U_q(g), for which this embedding becomes a homomorphism of bialgebras. In particular, it is not an isomorphism. As a preliminary a lemma of [Ho] concerning the structure of l-functionals on C_q[G] is generalized. For the classical groups a certain choice of root vectors is expressed in terms of l-functionals. A formula for their coproduct is derived. △ Less

Submitted 19 May, 2003; v1 submitted 14 October, 2002; originally announced October 2002.

Comments: Revised version of math.QA/0109157, 12 pages

The FRT-dual U(O(G_q) \bowtie O(G_q)) and the q-Lorentz Algebra

Authors: Ulrich Kraehmer

Abstract: Withdrawn due to a gap in the proof of the main result. A corrected version is available as math.QA/0210203 Withdrawn due to a gap in the proof of the main result. A corrected version is available as math.QA/0210203 △ Less

Submitted 11 August, 2010; v1 submitted 21 September, 2001; originally announced September 2001.

Comments: Revised version available as math.QA/0210203