BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Tomasz Brzeziński appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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 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.
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.
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.
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.
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.
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.
A non-classical differential calculus on the quantum disc and cones is constructed and the associated integral is calculated.
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.
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.
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.
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.
A wide class of skew derivations on degree-one generalized Weyl algebras $R(a,φ)$ 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,φ)$ is studied. Additional classes of skew derivations are constructed for generalized Weyl algebras given by an automorphism $φ$ of a finite order. Conditions that the central element $a$ that forms part of the structure of $R(a,φ)$ 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.
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.
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.
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
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].
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.
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.
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.
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.
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.
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.
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.
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.
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.
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that makes the linearisation (almost) automatic. The linearisation is then achieved by replacing sets by coalgebras and the Cartesian product by the tensor product of vector spaces. As a result, definitions of orders and equivalence relations on coalgebras are proposed. These are illustrated by explicit examples that include relations on colagebras spanned by grouplike elements (or linearised sets), the diagonal relation, and an order on a three-dimensional non-cocommutative coalgebra. Although relations on coalgebras are defined for vector spaces, all the definitions are formulated in a way that is immediately applicable to other braided monoidal categories.
Two hierarchies of quantum principal bundles over quantum real projective spaces are constructed. One hierarchy contains bundles with U(1) as a structure group, the other has the quantum group $SU_q(2)$ as a fibre. Both hierarchies are obtained by the process of prolongation from bundles with the cyclic group of order 2 as a fibre. The triviality or otherwise of these bundles is determined by using a general criterion for a prolongation of a comodule algebra to be a cleft Hopf-Galois extension.
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.
Definitions of actions of Hopf quasigroups are discussed in the context of Long dimodules and smash products. In particular, Long dimodules are defined for Hopf quasigroups and coquasigroups, and solutions to Militaru's D-equation are constructed. A necessary compatibility condition between action and multiplication of a Hopf quasigroup acting on its quasimodule Hopf quasigroup for a smash product construction is derived.
A method of constructing (finitely generated and projective) right module structure on a finitely generated projective left module over an algebra is presented. This leads to a construction of a first order differential calculus on such a module which admits a hom-connection or a divergence. Properties of integrals associated to this divergence are studied, in particular the formula of integration by parts is derived. Specific examples include inner calculi on a noncommutative algebra, the Berezin integral on the supercircle and integrals on Hopf algebras.
The complexes of integral forms on the quantum Euclidean group $E_q(2)$ and the quantum plane are defined and their isomorphisms with the corresponding de Rham complexes are established.
The theory of R-smash products for Hopf quasigroups is developed.