Showing 1–50 of 113 results for author: Brzeziński, T

Lie affgebras vis-à-vis Lie algebras

Authors: Ryszard R. Andruszkiewicz, Tomasz Brzeziński, Krzysztof Radziszewski

Abstract: It is shown that any Lie affgebra, that is an algebraic system consisting of an affine space together with a bi-affine bracket satisfying affine versions of the antisymmetry and Jacobi identity, is isomorphic to a Lie algebra together with an element and a specific generalised derivation (in the sense of Leger and Luks, [G.F.\ Leger \& E.M.\ Luks, Generalized derivations of Lie algebras, {\em J.\… ▽ More It is shown that any Lie affgebra, that is an algebraic system consisting of an affine space together with a bi-affine bracket satisfying affine versions of the antisymmetry and Jacobi identity, is isomorphic to a Lie algebra together with an element and a specific generalised derivation (in the sense of Leger and Luks, [G.F.\ Leger \& E.M.\ Luks, Generalized derivations of Lie algebras, {\em J.\ Algebra} {\bf 228} (2000), 165--203]). These Lie algebraic data can be taken for the construction of a Lie affgebra or, conversely, they can be uniquely derived for any Lie algebra fibre of the Lie affgebra. The close relationship between Lie affgebras and (enriched by the additional data) Lie algebras can be employed to attempt a classification of the former by the latter. In particular, up to isomorphism, a complex Lie affgebra with a simple Lie algebra fibre $\mathfrak{g}$ is fully determined by a scalar and an element of $\mathfrak{g}$ fixed up to an automorphism of $\mathfrak{g}$, and it can be universally embedded in a trivial extension of $\mathfrak{g}$ by a derivation. The study is illustrated by a number of examples that include all Lie affgebras with one-dimensional, nonabelian two-dimensional, $\mathfrak{s}\mathfrak{l}(2,\mathbb{C})$ and $\mathfrak{s}\mathfrak{o}(3)$ fibres. Extensions of Lie affgebras by cocycles and their relation to cocycle extensions of tangent Lie algebras is briefly discussed too. △ Less

Submitted 3 September, 2024; originally announced September 2024.

Comments: 22 pages

MSC Class: 17B40; 14R10

On matrix Lie affgebras

Authors: Tomasz Brzeziński, Krzysztof Radziszewski

Abstract: Lie brackets or Lie affgebra structures on several classes of affine spaces of matrices are studied. These include general normalised affine matrices, special normalised affine matrices, anti-symmetric and anti-hermitian normalised affine matrices and special anti-hermitian normalised affine matrices. It is shown that, when retracted to the underlying vector spaces, they correspond to classical ma… ▽ More Lie brackets or Lie affgebra structures on several classes of affine spaces of matrices are studied. These include general normalised affine matrices, special normalised affine matrices, anti-symmetric and anti-hermitian normalised affine matrices and special anti-hermitian normalised affine matrices. It is shown that, when retracted to the underlying vector spaces, they correspond to classical matrix Lie algebras: general and special linear, anti-symmetric, anti-hermitian and special anti-hermitian Lie algebras respectively. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 9 pages

MSC Class: 17B05; 20N10; 81R12

Heaps of modules: Categorical aspects

Authors: Simion Breaz, Tomasz Brzezinski, Bernard Rybolowicz, Paolo Saracco

Abstract: Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the ca… ▽ More Connections between heaps of modules and (affine) modules over rings are explored. This leads to explicit, often constructive, descriptions of some categorical constructions and properties that are implicit in universal algebra and algebraic theories. In particular, it is shown that the category of groups with a compatible action of a truss T (also called pointed T-modules) is isomorphic to the category of modules over the ring R(T) universally associated to the truss. This is widely used in the explicit description of free objects. Next, it is proven that the category of heaps of modules over T is isomorphic to the category of affine modules over R(T) and, in order to make the picture complete, that (in the unital case) these are in turn equivalent to a specific subcategory of the slice category of pointed T-modules over R(T). These correspondences and properties are then used to describe explicitly various (co)limits and to compare short exact sequences in the Barr-exact category of heaps of T-modules with short exact sequences as defined previously. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 28 pages, comments are welcome

MSC Class: 16D90; 16Y99; 08A99

Special normalised affine matrices. An example of a Lie affgebra

Authors: Tomasz Brzeziński

Abstract: The affine space of traceless complex matrices in which the sum of all elements in every row and every column is equal to one is presented as an example of an affine space with a Lie bracket or a Lie affgebra. The affine space of traceless complex matrices in which the sum of all elements in every row and every column is equal to one is presented as an example of an affine space with a Lie bracket or a Lie affgebra. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 8 pages; XL Workshop on Geometric Methods in Physics, Białowieża 2023

MSC Class: 20N10; 16E40; 81R12

Lie and Nijenhuis brackets on affine spaces

Authors: Tomasz Brzeziński, James Papworth

Abstract: Lie algebras are extended to the affine case using the heap operation, giving them a definition that is not dependent on the unique element 0, such that they still adhere to antisymmetry and Jacobi properties. It is then looked at how Nijenhuis brackets function on these Lie affgebras and demonstrated how they fulfil the compatibility condition in the affine case. Lie algebras are extended to the affine case using the heap operation, giving them a definition that is not dependent on the unique element 0, such that they still adhere to antisymmetry and Jacobi properties. It is then looked at how Nijenhuis brackets function on these Lie affgebras and demonstrated how they fulfil the compatibility condition in the affine case. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: 20 pages

MSC Class: 17B05; 20N10; 81R12

Translation Hopf algebras and Hopf heaps

Authors: Tomasz Brzeziński, Małgorzata Hryniewicka

Abstract: To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence… ▽ More To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence between categories of Hopf heaps and Hopf-Galois co-objects. △ Less

Submitted 23 March, 2023; originally announced March 2023.

Comments: 14 pages

MSC Class: 16T05; 16T15; 20N10

Affine Nijenhuis Operators and Hochschild Cohomology of Trusses

Authors: Tomasz Brzeziński, James Papworth

Abstract: The classical Hochschild cohomology theory of rings is extended to abelian heaps with distributing multiplication or trusses. This cohomology is then employed to give necessary and sufficient conditions for a Nijenhuis product on a truss (defined by the extension of the Nijenhuis product on an associative ring introduced by Cariñena, Grabowski and Marmo in [Internat. J. Modern Phys. A 15 (2000), 4… ▽ More The classical Hochschild cohomology theory of rings is extended to abelian heaps with distributing multiplication or trusses. This cohomology is then employed to give necessary and sufficient conditions for a Nijenhuis product on a truss (defined by the extension of the Nijenhuis product on an associative ring introduced by Cariñena, Grabowski and Marmo in [Internat. J. Modern Phys. A 15 (2000), 4797-4810, arXiv:math-ph/0610011]) to be associative. The definition of Nijenhuis product and operators on trusses is then linearised to the case of affine spaces with compatible associative multiplications or associative affgebras. It is shown that this construction leads to compatible Lie brackets on an affine space. △ Less

Submitted 4 August, 2023; v1 submitted 22 March, 2023; originally announced March 2023.

MSC Class: 20N10; 16E40; 81R12

Journal ref: SIGMA 19 (2023), 056, 22 pages

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

On the algebra of elliptic curves

Authors: Tomasz Brzeziński

Abstract: It is argued that a nonsingular elliptic curve admits a natural or fundamental abelian heap structure uniquely determined by the curve itself. It is shown that the set of complex analytic or rational functions from a nonsingular elliptic curve to itself is a truss arising from endomorphisms of this heap. It is argued that a nonsingular elliptic curve admits a natural or fundamental abelian heap structure uniquely determined by the curve itself. It is shown that the set of complex analytic or rational functions from a nonsingular elliptic curve to itself is a truss arising from endomorphisms of this heap. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 8 pages

MSC Class: 14H52; 20N10; 16Y99; 08A99

Lie trusses and heaps of Lie affebras

Authors: Tomasz Brzeziński

Abstract: A frame-independent formulation of Lie brackets on affine spaces or {\em Lie affebras} introduced in [K.\ Grabowska, J.\ Grabowski \& P.\ Urbański, Lie brackets on affine bundles, {\em Ann.\ Global Anal.\ Geom.} {\bf 24} (2003), 101--130] is given. A frame-independent formulation of Lie brackets on affine spaces or {\em Lie affebras} introduced in [K.\ Grabowska, J.\ Grabowski \& P.\ Urbański, Lie brackets on affine bundles, {\em Ann.\ Global Anal.\ Geom.} {\bf 24} (2003), 101--130] is given. △ Less

Submitted 24 March, 2022; originally announced March 2022.

Comments: 12 pages

Heaps of modules and affine spaces

Authors: Simion Breaz, Tomasz Brzeziński, Bernard Rybołowicz, Paolo Saracco

Abstract: A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine spaces) and algebraic topology (chain contractions) are presented. Relationships between heaps of modules and modules over a ring and affine spaces are revealed and… ▽ More A notion of heaps of modules as an affine version of modules over a ring or, more generally, over a truss, is introduced and studied. Basic properties of heaps of modules are derived. Examples arising from geometry (connections, affine spaces) and algebraic topology (chain contractions) are presented. Relationships between heaps of modules and modules over a ring and affine spaces are revealed and analysed. △ Less

Submitted 14 March, 2022; originally announced March 2022.

MSC Class: 14R10; 20N10; 08A99

Journal ref: Ann. Mat. Pur. Appl. (2023)

Homothetic Rota-Baxter systems and Dyck$^m$-algebras

Authors: Tomasz Brzeziński

Abstract: It is shown that generalized Rota-Baxter operators introduced in [W.A. Martinez, E.G. Reyes & M. Ronco, Int. J. Geom. Meth. Mod. Phys. 18 (2021) 2150176] are a special case of Rota-Baxter systems [T. Brzeziński, J. Algebra 460 (2016), 1-25]. The latter are enriched by homothetisms and then shown to give examples of Dyck$^m$-algebras. It is shown that generalized Rota-Baxter operators introduced in [W.A. Martinez, E.G. Reyes & M. Ronco, Int. J. Geom. Meth. Mod. Phys. 18 (2021) 2150176] are a special case of Rota-Baxter systems [T. Brzeziński, J. Algebra 460 (2016), 1-25]. The latter are enriched by homothetisms and then shown to give examples of Dyck$^m$-algebras. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Comments: 8 pages, submitted to the proceeding of the 14-th International Workshop "Lie Theory and Its Applications in Physics" (LT-14), 21-25 June 2021, Sofia, Bulgaria (on-line)

MSC Class: 17B38;

Ideal ring extensions and trusses

Authors: Ryszard R. Adruszkiewicz, Tomasz Brzeziński, Bernard Rybołowicz

Abstract: It is shown that there is a close relationship between ideal extensions of rings and trusses, that is, sets with a semigroup operation distributing over a ternary abelian heap operation. Specifically, a truss can be associated to every element of an extension ring that projects down to an idempotent in the extending ring; every weak equivalence of extensions yields an isomorphism of corresponding… ▽ More It is shown that there is a close relationship between ideal extensions of rings and trusses, that is, sets with a semigroup operation distributing over a ternary abelian heap operation. Specifically, a truss can be associated to every element of an extension ring that projects down to an idempotent in the extending ring; every weak equivalence of extensions yields an isomorphism of corresponding trusses. Furthermore, equivalence classes of ideal extensions of rings by integers are in one-to-one correspondence with associated trusses up to isomorphism given by a translation. Conversely, to any truss $T$ and an element of this truss one can associate a ring and its extension by integers in which $T$ is embedded as a truss. Consequently any truss can be understood as arising from an ideal extension by integers. The key role is played by interpretation of ideal extensions by integers as extensions defined by double homothetisms of Redei [L.\ Redei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, {\em Acta Sci.\ Math.\ Szeged}, {\bf 14} (1952), 252--273] or by self-permutable bimultiplications of Mac Lane [S.\ Mac Lane, Extensions and obstructions for rings, {\em Illinois J.\ Math.} {\bf 2} (1958), 316--345], that is, as {\em integral homothetic extensions}. It is shown that integral homothetic extensions of trusses are universal as extensions of trusses to rings but still enjoy a particular smallness property: they do not contain any subrings to which the truss inclusion map corestricts. Minimal extensions of trusses into rings are defined. The correspondence between homothetic ring extensions and trusses is used to classify fully up to isomorphism trusses arising from rings with zero multiplication and rings with trivial annihilators. △ Less

Submitted 23 January, 2021; originally announced January 2021.

Comments: 42 pages

MSC Class: 16S70; 16Y99; 08A99

The Baer-Kaplansky theorem for all abelian groups and modules

Authors: Simion Breaz, Tomasz Brzeziński

Abstract: It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined up to isomorphism by its endomorphism truss and every isomorphism between two endomorphism trusses associated to some abelian groups $G$ and $H$ is induced by… ▽ More It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined up to isomorphism by its endomorphism truss and every isomorphism between two endomorphism trusses associated to some abelian groups $G$ and $H$ is induced by an isomorphism between $G$ and $H$ and an element from $H$. This correspondence is then extended to all modules over a ring by considering heaps of modules. It is proved that the truss of endomorphisms of a heap associated to a module $M$ determines $M$ as a module over its endomorphism ring. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 11 pages

MSC Class: 20K30; 16Y99

From pre-trusses to skew braces

Authors: Tomasz Brzeziński, Stefano Mereta, Bernard Rybołowicz

Abstract: The notion of a pre-truss, that is, a set that is both a heap and a semigroup is introduced. Pre-trusses themselves as well as pre-trusses in which one-sided or two-sided distributive laws hold are studied. These are termed near-trusses and skew trusses respectively. Congruences in pre-trusses are shown to correspond to paragons defined here as sub-heaps satisfying particular closure property. Nea… ▽ More The notion of a pre-truss, that is, a set that is both a heap and a semigroup is introduced. Pre-trusses themselves as well as pre-trusses in which one-sided or two-sided distributive laws hold are studied. These are termed near-trusses and skew trusses respectively. Congruences in pre-trusses are shown to correspond to paragons defined here as sub-heaps satisfying particular closure property. Near-trusses corresponding to skew braces and near-rings are identified through their paragon and ideal structures. Regular elements in a pre-truss are defined leading to the notion of a (pre-truss) domain. The latter are described as quotients by completely prime paragons, also defined hereby. Regular pre-trusses as domains that satisfy the Ore condition are introduced and the pre-trusses of fractions are defined. In particular, it is shown that near-trusses of fractions without an absorber correspond to skew braces. △ Less

Submitted 23 July, 2020; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: 25 pages; v2 a connection with skew-rings explained, references updated

MSC Class: 16Y99; 08A99

On functors between categories of modules over trusses

Authors: Tomasz Brzeziński, Bernard Rybołowicz, Paolo Saracco

Abstract: Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their propert… ▽ More Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss versions of the Eilenberg-Watts theorem and Morita equivalence are formulated. Projective and small-projective modules over trusses are defined and their properties studied. △ Less

Submitted 30 March, 2022; v1 submitted 30 June, 2020; originally announced June 2020.

Comments: Authors' Accepted Manuscript

MSC Class: 16Y99; 08A99

Journal ref: J. Pure Appl. Algebra 226 (2022), no. 11, Paper No. 107091

On congruence classes and extensions of rings with applications to braces

Authors: Tomasz Brzeziński, Bernard Rybołowicz

Abstract: Two observations in support of the thesis that trusses are inherent in ring theory are made. First, it is shown that every equivalence class of a congruence relation on a ring or, equivalently, any element of the quotient of a ring $R$ by an ideal $I$ is a paragon in the truss $\mathrm{T}(R)$ associated to $R$. Second, an extension of a truss by a one-sided module is described. Even if the extende… ▽ More Two observations in support of the thesis that trusses are inherent in ring theory are made. First, it is shown that every equivalence class of a congruence relation on a ring or, equivalently, any element of the quotient of a ring $R$ by an ideal $I$ is a paragon in the truss $\mathrm{T}(R)$ associated to $R$. Second, an extension of a truss by a one-sided module is described. Even if the extended truss is associated to a ring, the resulting object is a truss, never a ring, unless the module is trivial. On the other hand, if the extended truss is associated to a brace, the resulting truss is also associated to a brace, irrespective of the module used. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Comments: 20 pages

MSC Class: 16Y99; 08A99

An algebraic framework for noncommutative bundles with homogeneous fibres

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the… ▽ More An algebraic framework for noncommutative bundles with (quantum) homogeneous fibres is proposed. The framework relies on the use of principal coalgebra extensions which play the role of principal bundles in noncommutative geometry which might be additionally equipped with a Hopf algebra symmetry. The proposed framework is supported by two examples of noncommutative $\mathbb{C} P_q^1$-bundles: the quantum flag manifold viewed as a bundle with a generic Podleś sphere as a fibre, and the quantum twistor bundle viewed as a bundle over the quantum 4-sphere of Bonechi, Ciccoli and Tarlini. △ Less

Submitted 27 November, 2019; originally announced November 2019.

Comments: 21 pages

Journal ref: Alg. Number Th. 15 (2021) 217-240

Modules over trusses vs modules over rings: direct sums and free modules

Authors: Tomasz Brzeziński, Bernard Rybołowicz

Abstract: Categorical constructions on heaps and modules over trusses are considered and contrasted with the corresponding constructions on groups and rings. These include explicit description of free heaps and free Abelian heaps, coproducts or direct sums of Abelian heaps and modules over trusses, and description and analysis of free modules over trusses. It is shown that the direct sum of two non-empty Ab… ▽ More Categorical constructions on heaps and modules over trusses are considered and contrasted with the corresponding constructions on groups and rings. These include explicit description of free heaps and free Abelian heaps, coproducts or direct sums of Abelian heaps and modules over trusses, and description and analysis of free modules over trusses. It is shown that the direct sum of two non-empty Abelian heaps is always infinite and isomorphic to the heap associated to the direct sums of the group retracts of both heaps and $\mathbb{Z}$. Direct sum is used to extend a given truss to a ring-type truss or a unital truss (or both). Free modules are constructed as direct sums of a truss. It is shown that only free rank-one modules are free as modules over the associated truss. On the other hand, if a (finitely generated) module over a truss associated to a ring is free, then so is the corresponding quotient-by-absorbers module over this ring. △ Less

Submitted 12 September, 2019; originally announced September 2019.

Comments: 25 pages

MSC Class: 16Y99; 08A99

From quasi-hereditary algebras with exact Borel subalgebras to directed bocses

Authors: Tomasz Brzeziński, Julian Külshammer, Steffen Koenig

Abstract: Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given. Up to Morita equivalence, every quasi-hereditary algebra is the dual algebra of a directed bocs or coring. From the bocs, an exact Borel subalgebra is obtained. In this paper a characterisation of exact Borel subalgebras arising in this way is given. △ Less

Submitted 30 July, 2019; originally announced July 2019.

Comments: 13 pages

MSC Class: 16G10; 16E45; 16T15; 17B10; 17B35

The Quantum Flag Manifold $\mathbf{SU_q(3)/\mathbb{T}^2}$ as an Example of a Noncommutative Sphere Bundle

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described. The quantum flag manifold ${SU_q(3)/\mathbb{T}^2}$ is interpreted as a noncommutative bundle over the quantum complex projective plane with the quantum or Podleś sphere as a fibre. A connection arising from the (associated) quantum principal $U_q(2)$-bundle is described. △ Less

Submitted 11 June, 2019; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 18 pages

On the quantum flag manifold $SU_q(3)/\mathbb{T}^2$

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: The structure of the $C^*$-algebra of functions on the quantum flag manifold $SU_q(3)/\mathbb{T}^2$ is investigated. Building on the representation theory of $C(SU_q(3))$, we analyze irreducible representations and the primitive ideal space of $C(SU_q(3)/\mathbb{T}^2)$, with a view towards unearthing the `quantum sphere bundle' $\mathbb{C} P_q^1 \to SU_q(3)/\mathbb{T}^2 \to \mathbb{C} P_q^2$ The structure of the $C^*$-algebra of functions on the quantum flag manifold $SU_q(3)/\mathbb{T}^2$ is investigated. Building on the representation theory of $C(SU_q(3))$, we analyze irreducible representations and the primitive ideal space of $C(SU_q(3)/\mathbb{T}^2)$, with a view towards unearthing the `quantum sphere bundle' $\mathbb{C} P_q^1 \to SU_q(3)/\mathbb{T}^2 \to \mathbb{C} P_q^2$ △ Less

Submitted 29 March, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: 11 pages; to appear in the proceedings of XXXVI Workshop on Geometric Methods in Physics, Białowieża 2018; v2 two references added

MSC Class: 46L65; 81R60

Trusses: Paragons, ideals and modules

Authors: Tomasz Brzeziński

Abstract: Trusses, defined as sets with a suitable ternary and a binary operations, connected by the distributive laws, are studied from a ring and module theory point of view. The notions of ideals and paragons in trusses are introduced and several constructions of trusses are presented. A full classification of truss structures on the Abelian group of integers is given. Modules over trusses are defined an… ▽ More Trusses, defined as sets with a suitable ternary and a binary operations, connected by the distributive laws, are studied from a ring and module theory point of view. The notions of ideals and paragons in trusses are introduced and several constructions of trusses are presented. A full classification of truss structures on the Abelian group of integers is given. Modules over trusses are defined and their basic properties and examples are analysed. In particular, the sufficient and necessary condition for a sub-heap of a module to induce a module structure on the quotient heap is established. △ Less

Submitted 24 September, 2019; v1 submitted 21 January, 2019; originally announced January 2019.

Comments: 39 pages; v2 - presentation made more economical, appendix removed, misprints corrected, and terminology adjusted

MSC Class: 16Y99; 08A99

On the Relationship between Classical and Deformed Hopf Fibrations

Authors: Tomasz Brzeziński, James Gaunt, Alexander Schenkel

Abstract: The $θ$-deformed Hopf fibration $\mathbb{S}^3_θ\to \mathbb{S}^2$ over the commutative $2$-sphere is compared with its classical counterpart. It is shown that there exists a natural isomorphism between the corresponding associated module functors and that the affine spaces of classical and deformed connections are isomorphic. The latter isomorphism is equivariant under an appropriate notion of infi… ▽ More The $θ$-deformed Hopf fibration $\mathbb{S}^3_θ\to \mathbb{S}^2$ over the commutative $2$-sphere is compared with its classical counterpart. It is shown that there exists a natural isomorphism between the corresponding associated module functors and that the affine spaces of classical and deformed connections are isomorphic. The latter isomorphism is equivariant under an appropriate notion of infinitesimal gauge transformations in these contexts. Gauge transformations and connections on associated modules are studied and are shown to be sensitive to the deformation parameter. A homotopy theoretic explanation for the existence of a close relationship between the classical and deformed Hopf fibrations is proposed. △ Less

Submitted 23 February, 2020; v1 submitted 27 November, 2018; originally announced November 2018.

MSC Class: 81T75; 16T05

Journal ref: SIGMA 16 (2020), 008, 29 pages

On twisted reality conditions

Authors: Tomasz Brzezinski, Ludwik Dabrowski, Andrzej Sitarz

Abstract: We study the twisted reality condition of Math. Phys. Anal. Geom. 19 (2016),no. 3, Art. 16, for spectral triples, in particular with respect to the product and the commutant. Motivated by this we present the procedure, which allows one to "untwist" the twisted spectral triples studied in Lett. Math. Phys. 106 (2016), 1499-1530. We also relate this construction to conformally rescaled real twisted… ▽ More We study the twisted reality condition of Math. Phys. Anal. Geom. 19 (2016),no. 3, Art. 16, for spectral triples, in particular with respect to the product and the commutant. Motivated by this we present the procedure, which allows one to "untwist" the twisted spectral triples studied in Lett. Math. Phys. 106 (2016), 1499-1530. We also relate this construction to conformally rescaled real twisted spectral triples, and discuss the untwisting of the `minimal twist' procedure of an even spectral triple. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Comments: 15 pages

MSC Class: 58B34; 58B32; 46L87

Journal ref: Lett Math Phys (2019) 109: 643

Towards semi-trusses

Authors: Tomasz Brzeziński

Abstract: A general or truss distributive laws between two associative operations on the same set are studied for cancellative and inverse semigroups. A general or truss distributive laws between two associative operations on the same set are studied for cancellative and inverse semigroups. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Comments: 13 pages; contribution to the proceedings of the 13th Workshop on Differential Geometry and Its Applications, Ploiesti 2017

MSC Class: 16Y99; 16T05; 20M18

Skew derivations on down-up algebras

Authors: Munerah Almulhem, Tomasz Brzeziński

Abstract: A class of skew derivations on complex Noetherian generalized down-up algebras $L=L(f,r,s,γ)$ is constructed. A class of skew derivations on complex Noetherian generalized down-up algebras $L=L(f,r,s,γ)$ is constructed. △ Less

Submitted 27 December, 2017; originally announced December 2017.

Comments: 7 pages; contribution to the Proceedings of the XXXVI Workshop on Geometric Methods in Physics, Bialowieza 2017

MSC Class: 16W25; 58B32

Trusses: between braces and rings

Authors: Tomasz Brzeziński

Abstract: In an attempt to understand the origins and the nature of the law binding together two group operations into a {\em skew brace}, introduced in [L.\ Guarnieri \& L.\ Vendramin, Math.\ Comp.\ \textbf{86} (2017), 2519--2534] as a non-Abelian version of the {\em brace distributive law} of [W.\ Rump, J.\ Algebra {\bf 307} (2007), 153--170] and [F.\ Cedó, E.\ Jespers \& J.\ Okniński, Commun.\ Math.\ Phy… ▽ More In an attempt to understand the origins and the nature of the law binding together two group operations into a {\em skew brace}, introduced in [L.\ Guarnieri \& L.\ Vendramin, Math.\ Comp.\ \textbf{86} (2017), 2519--2534] as a non-Abelian version of the {\em brace distributive law} of [W.\ Rump, J.\ Algebra {\bf 307} (2007), 153--170] and [F.\ Cedó, E.\ Jespers \& J.\ Okniński, Commun.\ Math.\ Phys.\ {\bf 327} (2014), 101--116], the notion of a {\em skew truss} is proposed. A skew truss consists of a set with a group operation and a semigroup operation connected by a modified distributive law that interpolates between that of a ring and a brace. It is shown that a particular action and a cocycle characteristic of skew braces are already present in a skew truss; in fact the interpolating function is a 1-cocycle, the bijecitivity of which indicates the existence of an operation that turns a truss into a brace. Furthermore, if the group structure in a two-sided truss is Abelian, then there is an associated ring -- another feature characteristic of a two-sided brace. To characterise a morphism of trusses, a {\em pith} is defined as a particular subset of the domain consisting of subsets termed {\em chambers}, which contains the kernel of the morphism as a group homomorphism. In the case of both rings and braces piths coincide with kernels. In general the pith of a morphism is a sub-semigroup of the domain and, if additional properties are satisfied, a pith is a $\mathbb{N}_+$-graded semigroup. Finally, giving heed to [I.\ Angiono, C.\ Galindo \& L.\ Vendramin, Proc.\ Amer.\ Math.\ Soc.\ {\bf 145} (2017), 1981--1995] we linearise trusses and thus define {\em Hopf trusses} and study their properties, from which, in parallel to the set-theoretic case, some properties of Hopf braces are shown to follow. △ Less

Submitted 14 September, 2018; v1 submitted 8 October, 2017; originally announced October 2017.

Comments: 29 pages; v2 includes interpretation of the truss distributive law in terms of heaps (or herds or torsors), the definition of a morphism is simplified; v3 - the definition of a pith has been modified, and the definition of a Hopf truss slightly adjusted - accepted for publication in Transactions of the American Mathematical Society

MSC Class: 16Y99; 16T05

A curious differential calculus on the quantum disc and cones

Authors: Tomasz Brzeziński, Ludwik Dąbrowski

Abstract: A non-classical differential calculus on the quantum disc and cones is constructed and the associated integral is calculated. A non-classical differential calculus on the quantum disc and cones is constructed and the associated integral is calculated. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 7 pages

MSC Class: 58B32

Differential and integral forms on non-commutative algebras

Authors: Tomasz Brzeziński

Abstract: An extended summary of the lecture course given at the V School on Geometry and Physics, Białoweża 2016, in which an algebraic approach to differentiation and integration that is characteristic for non-commutative geometry is described. An extended summary of the lecture course given at the V School on Geometry and Physics, Białoweża 2016, in which an algebraic approach to differentiation and integration that is characteristic for non-commutative geometry is described. △ Less

Submitted 3 November, 2016; originally announced November 2016.

Comments: 5 pages

Skew derivations on generalized Weyl algebras

Authors: Munerah Almulhem, Tomasz Brzeziński

Abstract: A wide class of skew derivations on degree-one generalized Weyl algebras $R(a,\varphi)$ over a ring $R$ is constructed. All these derivations are twisted by a degree-counting extensions of automorphisms of $R$. It is determined which of the constructed derivations are $Q$-skew derivations. The compatibility of these skew derivations with the natural ${\mathbb Z}$-grading of $R(a,\varphi)$ is studi… ▽ More A wide class of skew derivations on degree-one generalized Weyl algebras $R(a,\varphi)$ over a ring $R$ is constructed. All these derivations are twisted by a degree-counting extensions of automorphisms of $R$. It is determined which of the constructed derivations are $Q$-skew derivations. The compatibility of these skew derivations with the natural ${\mathbb Z}$-grading of $R(a,\varphi)$ is studied. Additional classes of skew derivations are constructed for generalized Weyl algebras given by an automorphism $\varphi$ of a finite order. Conditions that the central element $a$ that forms part of the structure of $R(a,\varphi)$ need to satisfy for the orthogonality of pairs of aforementioned skew derivations are derived. General constructions are illustrated by classification of skew derivations of generalized Weyl algebras over the polynomial ring in one variable and with a linear polynomial as the central element. △ Less

Submitted 11 October, 2016; originally announced October 2016.

Comments: 24 pages

MSC Class: 16S38; 16W25; 58B32

Differential smoothness of skew polynomial rings

Authors: Tomasz Brzeziński, Christian Lomp

Abstract: It is shown that, under some natural assumptions, the tensor product of differentially smooth algebras and the skew-polynomial rings over differentially smooth algebras are differentially smooth. It is shown that, under some natural assumptions, the tensor product of differentially smooth algebras and the skew-polynomial rings over differentially smooth algebras are differentially smooth. △ Less

Submitted 13 September, 2016; originally announced September 2016.

Comments: 14 pages

MSC Class: 16S38; 16S36; 58B34; 16E45

Curved Rota-Baxter systems

Authors: Tomasz Brzeziński

Abstract: Rota-Baxter systems are modified by the inclusion of a curvature term. It is shown that, subject to specific properties of the curvature form, curved Rota-Baxter systems $(A,R,S,ω)$ induce associative and (left) pre-Lie products on the algebra $A$. It is also shown that if both Rota-Baxter operators coincide with each other and the curvature is $A$-bilinear, then the (modified by $R$) Hochschild c… ▽ More Rota-Baxter systems are modified by the inclusion of a curvature term. It is shown that, subject to specific properties of the curvature form, curved Rota-Baxter systems $(A,R,S,ω)$ induce associative and (left) pre-Lie products on the algebra $A$. It is also shown that if both Rota-Baxter operators coincide with each other and the curvature is $A$-bilinear, then the (modified by $R$) Hochschild cohomology ring over $A$ is a curved differential graded algebra. △ Less

Submitted 12 April, 2016; originally announced April 2016.

Comments: 7 pages; to appear in Bulletin of Belgian Mathematical Society - Simon Stevin

The $C^*$-algebras of quantum lens and weighted projective spaces

Authors: Tomasz Brzeziński, Wojciech Szymański

Abstract: It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic grou… ▽ More It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic group $\mathbb{Z}_N$, with the labelling induced by the weights. Based on this description, the K-groups of specific examples are computed. Furthermore, the K-groups of the algebras of continuous functions on quantum weighted projective spaces $C(\mathbb{WP}_q^n(m_0,\ldots, m_n))$, interpreted as fixed points under the circle action on $C(S_q^{2n+1})$, are computed under a mild assumption on the weights. △ Less

Submitted 14 March, 2016; originally announced March 2016.

Comments: 17 pages

MSC Class: 46L87; 58B32; 58B34

Noncommutative Differential Geometry of Generalized Weyl Algebras

Authors: Tomasz Brzeziński

Abstract: Elements of noncommutative differential geometry of ${\mathbb Z}$-graded generalized Weyl algebras ${\mathcal A}(p;q)$ over the ring of polynomials in two variables and their zero-degree subalgebras ${\mathcal B}(p;q)$, which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of ${\mathcal A}(p;q)$… ▽ More Elements of noncommutative differential geometry of ${\mathbb Z}$-graded generalized Weyl algebras ${\mathcal A}(p;q)$ over the ring of polynomials in two variables and their zero-degree subalgebras ${\mathcal B}(p;q)$, which themselves are generalized Weyl algebras over the ring of polynomials in one variable, are discussed. In particular, three classes of skew derivations of ${\mathcal A}(p;q)$ are constructed, and three-dimensional first-order differential calculi induced by these derivations are described. The associated integrals are computed and it is shown that the dimension of the integral space coincides with the order of the defining polynomial $p(z)$. It is proven that the restriction of these first-order differential calculi to the calculi on ${\mathcal B}(p;q)$ is isomorphic to the direct sum of degree 2 and degree $-2$ components of ${\mathcal A}(p;q)$. A Dirac operator for ${\mathcal B}(p;q)$ is constructed from a (strong) connection with respect to this differential calculus on the (free) spinor bimodule defined as the direct sum of degree 1 and degree $-1$ components of ${\mathcal A}(p;q)$. The real structure of ${\rm KO}$-dimension two for this Dirac operator is also described. △ Less

Submitted 23 June, 2016; v1 submitted 24 February, 2016; originally announced February 2016.

MSC Class: 16S38; 58B34; 58B32

Journal ref: SIGMA 12 (2016), 059, 18 pages

Twisted reality condition for Dirac operators

Authors: Tomasz Brzeziński, Nicola Ciccoli, Ludwik Dąbrowski, Andrzej Sitarz

Abstract: Motivated by examples obtained from conformal deformations of spectral triples and a spectral triple construction on quantum cones we propose a new twisted reality condition for the Dirac operator. Motivated by examples obtained from conformal deformations of spectral triples and a spectral triple construction on quantum cones we propose a new twisted reality condition for the Dirac operator. △ Less

Submitted 22 June, 2016; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: 9 pages; v2: changes in presentation and emphasis (including the main definition)

MSC Class: 58B34; 58B32; 46L87

Journal ref: Math Phys Anal Geom (2016) 19:16

Rota-Baxter systems, dendriform algebras and covariant bialgebras

Authors: Tomasz Brzeziński

Abstract: A generalisation of the notion of a Rota-Baxter operator is proposed. This generalisation consists of two operators acting on an associative algebra and satisfying equations similar to the Rota-Baxter equation. Rota-Baxter operators of any weights and twisted Rota-Baxter operators are solutions of the proposed system. It is shown that dendriform algebra structures of a particular kind are equivale… ▽ More A generalisation of the notion of a Rota-Baxter operator is proposed. This generalisation consists of two operators acting on an associative algebra and satisfying equations similar to the Rota-Baxter equation. Rota-Baxter operators of any weights and twisted Rota-Baxter operators are solutions of the proposed system. It is shown that dendriform algebra structures of a particular kind are equivalent to Rota-Baxter systems. It is shown further that a Rota-Baxter system induces a weak peudotwistor [F. Panaite & F. Van Oystaeyen, Twisted algebras, twisted bialgebras and Rota-Baxter operators, arXiv:1502.05327 (2015)] which can be held responsible for the existence of a new associative product on the underlying algebra. Examples of solutions of Rota-Baxter systems are obtained from quasitriangular covariant bialgebras hereby introduced as a natural extension of infinitesimal bialgebras [M. Aguiar, Infinitesimal Hopf algebras, [in:] New trends in Hopf algebra theory (La Falda, 1999), Contemp. Math., 267, Amer. Math. Soc., Providence, RI, (2000), pp. 1-29]. △ Less

Submitted 17 March, 2015; originally announced March 2015.

Comments: 20 pages LaTeX

MSC Class: 16T05; 16T25

Differential smoothness of affine Hopf algebras of Gelfand-Kirillov dimension two

Authors: Tomasz Brzeziński

Abstract: Two-dimensional integrable differential calculi for classes of Ore extensions of the polynomial ring and the Laurent polynomial ring in one variable are constructed. Thus it is concluded that all affine pointed Hopf domains of Gelfand-Kirillov dimension two which are not polynomial identity rings are differentially smooth. Two-dimensional integrable differential calculi for classes of Ore extensions of the polynomial ring and the Laurent polynomial ring in one variable are constructed. Thus it is concluded that all affine pointed Hopf domains of Gelfand-Kirillov dimension two which are not polynomial identity rings are differentially smooth. △ Less

Submitted 20 December, 2014; originally announced December 2014.

Comments: 8 pages

MSC Class: 16S36; 58B32; 16T05

Notes on quantum weighted projective spaces and multidimensional teardrops

Authors: Tomasz Brzeziński, Simon A. Fairfax

Abstract: It is shown that the coordinate algebra of the quantum $2n+1$-dimensional lens space $\mathcal{O}(L^{2n+1}_q(\prod_{i=0}^n m_i; m_0,\ldots, m_n))$ is a principal $\mathbb{Z}$-comodule algebra or the coordinate algebra of a circle principal bundle over the weighted quantum projective space $\mathbb{WP}^n_q(m_0,\ldots, m_n)$. Furthermore, the weighted $U(1)$-action or the $\mathbb{CZ}$-coaction on t… ▽ More It is shown that the coordinate algebra of the quantum $2n+1$-dimensional lens space $\mathcal{O}(L^{2n+1}_q(\prod_{i=0}^n m_i; m_0,\ldots, m_n))$ is a principal $\mathbb{Z}$-comodule algebra or the coordinate algebra of a circle principal bundle over the weighted quantum projective space $\mathbb{WP}^n_q(m_0,\ldots, m_n)$. Furthermore, the weighted $U(1)$-action or the $\mathbb{CZ}$-coaction on the quantum odd dimensional sphere algebra $\mathcal{O}(S^{2n+1}_q)$ that defines $\mathbb{WP}^n_q(1,m_1,\ldots, m_n)$ is free or principal. Analogous results are proven for quantum real weighted projective spaces $\mathbb{RP}^{2n}_q(m_0,\ldots, m_n)$. The $K$-groups of $\mathbb{WP}^n_q(1,\ldots, 1, m)$ and $\mathbb{RP}^{2n}_q(1,\ldots, 1,m)$ and the $K_1$-group of $L^{2n+1}_q(N; m_0,\ldots, m_n)$ are computed △ Less

Submitted 5 March, 2015; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 14 pages; v2 minor revisions

MSC Class: 58B32; 58B34

Smooth geometry of the noncommutative pillow, cones and lens spaces

Authors: Tomasz Brzeziński, Andrzej Sitarz

Abstract: This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincaré duality realized as an isomorphism between complexes of differential and integral forms. The quantum two- and three-spheres, disc, plane and the noncommutative torus are all sm… ▽ More This paper proposes a new notion of smoothness of algebras, termed differential smoothness, that combines the existence of a top form in a differential calculus over an algebra together with a strong version of the Poincaré duality realized as an isomorphism between complexes of differential and integral forms. The quantum two- and three-spheres, disc, plane and the noncommutative torus are all smooth in this sense. Noncommutative coordinate algebras of deformations of several examples of classical orbifolds such as the pillow orbifold, singular cones and lens spaces are also differentially smooth. Although surprising this is not fully unexpected as these algebras are known to be homologically smooth. The study of Riemannian aspects of the noncommutative pillow and Moyal deformations of cones leads to spectral triples that satisfy the orientability condition that is known to be broken for classical orbifolds. △ Less

Submitted 6 May, 2015; v1 submitted 24 October, 2014; originally announced October 2014.

Comments: 30 pages, LaTeX; minor corrections; accepted for publication in Journal of Noncommutative Geometry

MSC Class: 58B34; 58B32

Complex geometry of quantum cones

Authors: Tomasz Brzeziński

Abstract: The algebras obtained as fixed points of the action of the cyclic group $Z_N$ on the coordinate algebra of the quantum disc are studied. These can be understood as coordinate algebras of quantum or non-commutative cones. The following observations are made. First, contrary to the classical situation, the actions of $Z_N$ are free and the resulting algebras are homologically smooth. Second, the qua… ▽ More The algebras obtained as fixed points of the action of the cyclic group $Z_N$ on the coordinate algebra of the quantum disc are studied. These can be understood as coordinate algebras of quantum or non-commutative cones. The following observations are made. First, contrary to the classical situation, the actions of $Z_N$ are free and the resulting algebras are homologically smooth. Second, the quantum cone algebras admit differential calculi that have all the characteristics of calculi on smooth complex curves. Third, the corresponding volume forms are exact, indicating that the constructed algebras describe manifolds with boundaries. △ Less

Submitted 10 June, 2014; originally announced June 2014.

Comments: 6 pages; submitted to the proceedings of Corfu Summer Institute 2013

Circle and line bundles over generalized Weyl algebras

Authors: Tomasz Brzeziński

Abstract: Strongly $\mathbb{Z}$-graded algebras or principal circle bundles and associated line bundles or invertible bimodules over a class of generalized Weyl algebras $\mathcal{B}(p;q, 0)$ (over a ring of polynomials in one variable) are constructed. The Chern-Connes pairing between the cyclic cohomology of $\mathcal{B}(p;q, 0)$ and the isomorphism classes of sections of associated line bundles over… ▽ More Strongly $\mathbb{Z}$-graded algebras or principal circle bundles and associated line bundles or invertible bimodules over a class of generalized Weyl algebras $\mathcal{B}(p;q, 0)$ (over a ring of polynomials in one variable) are constructed. The Chern-Connes pairing between the cyclic cohomology of $\mathcal{B}(p;q, 0)$ and the isomorphism classes of sections of associated line bundles over $\mathcal{B}(p;q, 0)$ is computed thus demonstrating that these bundles, which are labeled by integers, are non-trivial and mutually non-isomorphic. The constructed strongly $\mathbb{Z}$-graded algebras are shown to have Hochschild cohomology reminiscent of that of Calabi-Yau algebras. The paper is supplemented by an observation that a grading by an Abelian group in the middle of a short exact sequence is strong if and only if the induced gradings by the outer groups in the sequence are strong. △ Less

Submitted 21 July, 2015; v1 submitted 13 May, 2014; originally announced May 2014.

Comments: 13 pages; final version accepted by Algebras and Representation Theory

MSC Class: 16S38; 58B32; 58B34

On the Smoothness of the Noncommutative Pillow and Quantum Teardrops

Authors: Tomasz Brzeziński

Abstract: Recent results by Krähmer [Israel J. Math. 189 (2012), 237-266, arXiv:0806.0267] on smoothness of Hopf-Galois extensions and by Liu [arXiv:1304.7117] on smoothness of generalized Weyl algebras are used to prove that the coordinate algebras of the noncommutative pillow orbifold [Internat. J. Math. 2 (1991), 139-166], quantum teardrops ${\mathcal O}({\mathbb W}{\mathbb P}_q(1,l))$ [Comm. Math. Phys.… ▽ More Recent results by Krähmer [Israel J. Math. 189 (2012), 237-266, arXiv:0806.0267] on smoothness of Hopf-Galois extensions and by Liu [arXiv:1304.7117] on smoothness of generalized Weyl algebras are used to prove that the coordinate algebras of the noncommutative pillow orbifold [Internat. J. Math. 2 (1991), 139-166], quantum teardrops ${\mathcal O}({\mathbb W}{\mathbb P}_q(1,l))$ [Comm. Math. Phys. 316 (2012), 151-170, arXiv:1107.1417], quantum lens spaces ${\mathcal O}(L_q(l;1,l))$ [Pacific J. Math. 211 (2003), 249-263], the quantum Seifert manifold ${\mathcal O}(Σ_q^3)$ [J. Geom. Phys. 62 (2012), 1097-1107, arXiv:1105.5897], quantum real weighted projective planes ${\mathcal O}({\mathbb R}{\mathbb P}_q^2(l;\pm))$ [PoS Proc. Sci. (2012), PoS(CORFU2011), 055, 10 pages, arXiv:1203.6801] and quantum Seifert lens spaces ${\mathcal O}(Σ_q^3(l;-))$ [Axioms 1 (2012), 201-225, arXiv:1207.2313] are homologically smooth in the sense that as their own bimodules they admit finitely generated projective resolutions of finite length. △ Less

Submitted 14 February, 2014; v1 submitted 19 November, 2013; originally announced November 2013.

MSC Class: 58B32; 58B34

Journal ref: SIGMA 10 (2014), 015, 8 pages

Weighted circle actions on the Heegaard quantum sphere

Authors: Tomasz Brzeziński, Simon A. Fairfax

Abstract: Weighted circle actions on the quantum Heeqaard 3-sphere are considered. The fixed point algebras, termed quantum weighted Heegaard spheres, and their representations are classified and described on algebraic and topological levels. On the algebraic side, coordinate algebras of quantum weighted Heegaard spheres are interpreted as generalised Weyl algebras, quantum principal circle bundles and Fred… ▽ More Weighted circle actions on the quantum Heeqaard 3-sphere are considered. The fixed point algebras, termed quantum weighted Heegaard spheres, and their representations are classified and described on algebraic and topological levels. On the algebraic side, coordinate algebras of quantum weighted Heegaard spheres are interpreted as generalised Weyl algebras, quantum principal circle bundles and Fredholm modules over them are constructed, and the associated line bundles are shown to be non-trivial by an explicit calculation of their Chern numbers. On the topological side, the C*-algebras of continuous functions on quantum weighted Heegaard spheres are described and their K-groups are calculated. △ Less

Submitted 25 September, 2013; v1 submitted 25 May, 2013; originally announced May 2013.

Comments: 15 pages; comments on piecewise triviality added

MSC Class: 58B32; 58B34

Curved differential graded algebras and corings

Authors: Tomasz Brzeziński

Abstract: A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with surjective counits. Under this equivalence, comodules over a coring correspond to integrable connections or quasi-cohesive curved modules, while contramodules over a co… ▽ More A relationship between curved differential algebras and corings is established and explored. In particular it is shown that the category of semi-free curved differential graded algebras is equivalent to the category of corings with surjective counits. Under this equivalence, comodules over a coring correspond to integrable connections or quasi-cohesive curved modules, while contramodules over a coring correspond to a specific class of curved modules introduced and termed Z-divergences in here. △ Less

Submitted 25 January, 2013; originally announced January 2013.

Comments: 25 pages

MSC Class: 16T15; 16E45; 18E30

Bundles over Quantum Real Weighted Projective Spaces

Authors: Tomasz Brzeziński, Simon A. Fairfax

Abstract: The algebraic approach to bundles in non-commutative geometry and the definition of quantum real weighted projective spaces are reviewed. Principal U(1)-bundles over quantum real weighted projective spaces are constructed. As the spaces in question fall into two separate classes, the {\em negative} or {\em odd} class that generalises quantum real projective planes and the {\em positive} or {\em ev… ▽ More The algebraic approach to bundles in non-commutative geometry and the definition of quantum real weighted projective spaces are reviewed. Principal U(1)-bundles over quantum real weighted projective spaces are constructed. As the spaces in question fall into two separate classes, the {\em negative} or {\em odd} class that generalises quantum real projective planes and the {\em positive} or {\em even} class that generalises the quantum disc, so do the constructed principal bundles. In the negative case the principal bundle is proven to be non-trivial and associated projective modules are described. In the positive case the principal bundles turn out to be trivial, and so all the associated modules are free. It is also shown that the circle (co)actions on the quantum Seifert manifold that define quantum real weighted projective spaces are almost free. △ Less

Submitted 10 July, 2012; originally announced July 2012.

Comments: 25 pages; submitted to special issue of Axioms devoted to Hopf Algebras, Quantum Groups and Yang-Baxter Equations

Circle actions on a quantum Seifert manifold

Authors: Tomasz Brzeziński

Abstract: The quotients of a (non-orientable) quantum Seifert manifold by circle actions are described. In this way quantum weighted real projective spaces that include the quantum disc and the quantum real projective space as special cases are obtained. Bounded irreducible representations of the coordinate algebras and the K-groups of the algebras of continuous functions on quantum weighted real projective… ▽ More The quotients of a (non-orientable) quantum Seifert manifold by circle actions are described. In this way quantum weighted real projective spaces that include the quantum disc and the quantum real projective space as special cases are obtained. Bounded irreducible representations of the coordinate algebras and the K-groups of the algebras of continuous functions on quantum weighted real projective spaces are presented. △ Less

Submitted 30 March, 2012; originally announced March 2012.

Comments: 9 pages

MSC Class: 58B32; 58B34

A note on flat noncommutative connections

Authors: Tomasz Brzeziński

Abstract: It is proven that every flat connection or covariant derivative $\nabla$ on a left $A$-module $M$ (with respect to the universal differential calculus) induces a right $A$-module structure on $M$ so that $\nabla$ is a bimodule connection on $M$ or $M$ is a flat differentiable bimodule. Similarly a flat hom-connection on a right $A$-module $M$ induces a compatible left $A$-action. It is proven that every flat connection or covariant derivative $\nabla$ on a left $A$-module $M$ (with respect to the universal differential calculus) induces a right $A$-module structure on $M$ so that $\nabla$ is a bimodule connection on $M$ or $M$ is a flat differentiable bimodule. Similarly a flat hom-connection on a right $A$-module $M$ induces a compatible left $A$-action. △ Less

Submitted 13 October, 2011; v1 submitted 5 September, 2011; originally announced September 2011.

Comments: 10 pages; v2 typos corrected and references added

MSC Class: 58B34

Noncommutative differential operators, Sobolev spaces and the centre of a category

Authors: Edwin Beggs, Tomasz Brzezinski

Abstract: We consider differential operators over a noncommutative algebra $A$ generated by vector fields. These are shown to form a unital associative algebra of differential operators, and act on $A$-modules $E$ with covariant derivative. We use the repeated differentials given in the paper to give a definition of noncommutative Sobolev space for modules with connection and Hermitian inner product. The te… ▽ More We consider differential operators over a noncommutative algebra $A$ generated by vector fields. These are shown to form a unital associative algebra of differential operators, and act on $A$-modules $E$ with covariant derivative. We use the repeated differentials given in the paper to give a definition of noncommutative Sobolev space for modules with connection and Hermitian inner product. The tensor algebra of vector fields, with a modified bimodule structure and a bimodule connection, is shown to lie in the centre of the bimodule connection category ${}_A\mathcal{E}_A$, and in fact to be an algebra in the centre. The crossing natural transformation in the definition of the centre of the category is related to the action of the differential operators on bimodules with connection. △ Less

Submitted 23 January, 2012; v1 submitted 25 August, 2011; originally announced August 2011.

Comments: This is a substantial revision, both deleting and adding material. The authors would be grateful for any comments or additional references

MSC Class: 16E45

Quantum teardrops

Authors: Tomasz Brzeziński, Simon A. Fairfax

Abstract: Algebras of functions on quantum weighted projective spaces are introduced, and the structure of quantum weighted projective lines or quantum teardrops are described in detail. In particular the presentation of the coordinate algebra of the quantum teardrop in terms of generators and relations and classification of irreducible *-representations are derived. The algebras are then analysed from the… ▽ More Algebras of functions on quantum weighted projective spaces are introduced, and the structure of quantum weighted projective lines or quantum teardrops are described in detail. In particular the presentation of the coordinate algebra of the quantum teardrop in terms of generators and relations and classification of irreducible *-representations are derived. The algebras are then analysed from the point of view of Hopf-Galois theory or the theory of quantum principal bundles. Fredholm modules and associated traces are constructed. C*-algebras of continuous functions on quantum weighted projective lines are described and their K-groups computed. △ Less

Submitted 7 July, 2011; originally announced July 2011.

Comments: 18 pages

MSC Class: 58B32; 58B34