BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Piotr M. Hajac

Piotr M. Hajac appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.QAmath.KTmath.OAmath.RAmath-phmath.ATmath.MPmath.CTmath.DGmath.GN

Catalog footprint

What is connected

17works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2021arXiv

Reductions of piecewise-trivial principal comodule algebras

Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodule algebra as a replacement of a locally trivial compact principal bundle. To illustrate our theorem, first we define a new noncommutative deformation of the $\mathbb{Z}/2\mathbb{Z}$-principal bundle $S^2\rightarrow \mathbb{R}P^2$ that yields a piecewise-trivial principal comodule algebra. It is the C*-algebra of a quantum cube whose each face is given by the Toeplitz algebra. The $\mathbb{Z}/2\mathbb{Z}$-invariant subalgebra defines the C*-algebra of a quantum $\mathbb{R}P^2$. It is given as a triple-pullback of Toeplitz algebras. Next, we prolongate this noncommutative $\mathbb{Z}/2\mathbb{Z}$-principal bundle to a noncommutative $U(1)$-principal bundle, so that the former becomes a reduction of the latter thus instantiating our theorem. Moreover, using K-theory results, we prove that the prolongated noncommutative bundle is not trivial.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The K-theory type of quantum CW-complexes

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we introduce the framework of cw-Waldhausen categories, which includes the concept of weak equivalences leading to the notion of a finite weak quantum CW-complex in the realm of unital C*-algebras. Here weak equivalences are unital $*$-homomorphisms that induce an isomorphism on K-theory. Better still, we construct a noncommutative counterpart of the cup product in K-theory, which is equivalent to its standard version in the classical case. To this end, we define k-topology, a noncommutative version of Grothendieck topology with covering families given by compact principal bundles and bases related by continuous maps, which leads to the much desired idea of multiplicative K-theory for noncommutative C*-algebras. Combining this with cw-Waldhausen structure on the category of compact quantum spaces, we arrive at the multiplicative K-theory type of finite weak quantum CW-complexes. We show that non-isomorphic quantizations of the standard CW-complex structure of a complex projective space enjoy the same multiplicative K-theory type admitting a noncommutative generalization of the Atiyah--Todd calculation of the K-theory ring in terms of truncated polynomials.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Associated noncommutative vector bundles over the Vaksman-Soibelman quantum complex projective spaces

By a diagonal embedding of $U(1)$ in $SU_q(m)$, we prolongate the diagonal circle action on the Vaksman-Soibelman quantum sphere $S^{2n+1}_q$ to the $SU_q(m)$-action on the prolongated bundle. Then we prove that the noncommutative vector bundles associated via the fundamental representation of $SU_q(m)$, for $m\in\{2,\ldots,n\}$, yield generators of the even K-theory group of the C*-algebra of the Vaksman-Soibelman quantum complex projective space $\mathbb{C}{\rm P}^n_q$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Equivariant Join and Fusion of Noncommutative Algebras

We translate the concept of the join of topological spaces to the language of $C^*$-algebras, replace the $C^*$-algebra of functions on the interval $[0,1]$ with evaluation maps at $0$ and $1$ by a unital $C^*$-algebra $C$ with appropriate two surjections, and introduce the notion of the fusion of unital $C^*$-algebras. An appropriate modification of this construction yields the fusion comodule algebra of a comodule algebra $P$ with the coacting Hopf algebra $H$. We prove that, if the comodule algebra $P$ is principal, then so is the fusion comodule algebra. When $C=C([0,1])$ and the two surjections are evaluation maps at $0$ and $1$, this result is a noncommutative-algebraic incarnation of the fact that, for a compact Hausdorff principal $G$-bundle $X$, the diagonal action of $G$ on the join $X*G$ is free.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Free actions of compact quantum group on unital C*-algebras

Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Noncommutative Borsuk-Ulam-type conjectures

Within the framework of free actions of compact quantum groups on unital C*-algebras, we propose two conjectures. The first one states that, if $H$ is the C*-algebra of a compact quantum group coacting freely on a unital C*-algebra $A$, then there is no equivariant $*$-homomorphism from $A$ to the join C*-algebra $A*H$. For $A$ being the C*-algebra of continuous functions on a sphere with the antipodal coaction of the C*-algebra of funtions on $\mathbb{Z}/2\mathbb{Z}$, we recover the celebrated Borsuk-Ulam theorem. The second conjecture states that there is no equivariant $*$-homomorphism from $H$ to the join C*-algebra $A*H$. We show how to prove the conjecture in the special case $A=C(SU_q(2))=H$, which is tantamount to showing the non-trivializability of Pflaum's quantum instanton fibration built from $SU_q(2)$.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Noncommutative bundles over the multi-pullback quantum complex projective plane

We equip the multi-pullback $C^*$-algebra $C(S^5_H)$ of a noncommutative-deformation of the 5-sphere with a free $U(1)$-action, and show that its fixed-point subalgebra is isomorphic with the $C^*$-algebra of the multi-pullback quantum complex projective plane. Our main result is the stable non-triviality of the dual tautological line bundle associated to the action. We prove it by combining Chern-Galois theory with the Milnor connecting homomorphism in $K$-theory. Using the Mayer-Vietoris six-term exact sequences and the functoriality of the Künneth formula, we also compute the $K$-groups of $C(S^5_H)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Braided join comodule algebras of Galois objects

We construct the join of noncommutative Galois objects (quantum torsors) over a Hopf algebra H. To ensure that the join algebra enjoys the natural (diagonal) coaction of H, we braid the tensor product of the Galois objects. Then we show that this coaction is principal. Our examples are built from the noncommutative torus with the natural free action of the classical torus, and arbitrary anti-Drinfeld doubles of finite-dimensional Hopf algebras. The former yields a noncommutative deformation of a non-trivial torus bundle, and the latter a finite quantum covering.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local Proof of Algebraic Characterization of Free Actions

Let $G$ be a compact Hausdorff topological group acting on a compact Hausdorff topological space $X$. Within the $C^{*}$-algebra $C(X)$ of all continuous complex-valued functions on $X$, there is the Peter-Weyl algebra $\mathcal{P}_G(X)$ which is the (purely algebraic) direct sum of the isotypical components for the action of $G$ on $C(X)$. We prove that the action of $G$ on $X$ is free if and only if the canonical map $\mathcal{P}_G(X)\otimes_{C(X/G)}\mathcal{P}_G(X)\to \mathcal{P}_G(X)\otimes\mathcal{O}(G)$ is bijective. Here both tensor products are purely algebraic, and $\mathcal{O}(G)$ denotes the Hopf algebra of "polynomial" functions on $G$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Nontrivial Deformation of a Trivial Bundle

The ${\rm SU}(2)$-prolongation of the Hopf fibration $S^3\to S^2$ is a trivializable principal ${\rm SU}(2)$-bundle. We present a noncommutative deformation of this bundle to a quantum principal ${\rm SU}_q(2)$-bundle that is not trivializable. On the other hand, we show that the ${\rm SU}_q(2)$-bundle is piecewise trivializable with respect to the closed covering of $S^2$ by two hemispheres intersecting at the equator.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The Pullbacks of Principal Coactions

We prove that the class of principal coactions is closed under one-surjective pullbacks in an appropriate category of algebras equipped with left and right coactions. This allows us to handle cases of C*-algebras lacking two different non-trivial ideals. It also allows us to go beyond the category of comodule algebras. As an example of the former, we carry out an index computation for noncommutative line bundles over the standard Podles sphere using the Mayer-Vietoris type arguments afforded by a one-surjective pullback presentation of the C*-algebra of this quantum sphere. To instantiate the latter, we define a family of coalgebraic noncommutative deformations of the U(1)-principal bundle S^7 --> CP^3.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Finite closed coverings of compact quantum spaces

We show that a projective space P^\infty(Z/2) endowed with the Alexandrov topology is a classifying space for finite closed coverings of compact quantum spaces in the sense that any such a covering is functorially equivalent to a sheaf over this projective space. In technical terms, we prove that the category of finitely supported flabby sheaves of algebras is equivalent to the category of algebras with a finite set of ideals that intersect to zero and generate a distributive lattice. In particular, the Gelfand transform allows us to view finite closed coverings of compact Hausdorff spaces as flabby sheaves of commutative C*-algebras over P^\infty(Z/2).

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The cocycle condition for multi-pullbacks of algebras

Take finitely many topological spaces and for each pair of these spaces choose a pair of corresponding closed subspaces that are identified by a homeomorpism. We note that this gluing procedure does not guarantee that the building pieces, or the gluings of some pieces, are embedded in the space obtained by putting together all given ingredients. Dually, we show that a certain sufficient condition, called the cocycle condition, is also necessary to guarantee sheaf-like properties of surjective multi-pullbacks of algebras with distributive lattices of ideals.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The K-theory of Heegaard quantum lens spaces

Representing Z/N as roots of unity, we restrict a natural U(1)-action on the Heegaard quantum sphere to Z/N, and call the quotient spaces Heegaard quantum lens spaces. Then we use this representation of Z/N to construct an associated complex line bundle. This paper proves the stable non-triviality of these line bundles over any of the quantum lens spaces we consider. We use the pullback structure of the C*-algebra of the lens space to compute its K-theory via the Mayer-Vietoris sequence, and an explicit form of the Bass connecting homomorphism to prove the stable non-triviality of the bundles. On the algebraic side we prove the universality of the coordinate algebra of such a lens space for a particular set of generators and relations. We also prove the non-existence of non-trivial invertibles in the coordinate algebra of a lens space. Finally, we prolongate the Z/N-fibres of the Heegaard quantum sphere to U(1), and determine the algebraic structure of such a U(1)-prolongation.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Quantum projective space from Toeplitz cubes

From N-tensor powers of the Toeplitz algebra, we construct a multipullback C*-algebra that is a noncommutative deformation of the complex projective space CP(N). Using Birkhoff's Representation Theorem, we prove that the lattice of kernels of the canonical projections on components of the multipullback C*-algebra is free. This shows that our deformation preserves the freeness of the lattice of subsets generated by the affine covering of the complex projective space.

0 citations0 reviewsNo code linkedOpen access
preprint2004arXiv

Stable anti-Yetter-Drinfeld modules

We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich action.

0 citations0 reviewsNo code linkedOpen access
preprint1998arXiv

Axiomatic Holonomy Maps and Generalized Yang-Mills Moduli Space

This article is a follow-up of ``Holonomy and Path Structures in General Relativity and Yang-Mills Theory" by Barrett, J. W. (Int.J.Theor.Phys., vol.30, No.9, 1991). Its main goal is to provide an alternative proof of this part of the reconstruction theorem which concerns the existence of a connection. A construction of connection 1-form is presented. The formula expressing the local coefficients of connection in terms of the holonomy map is obtained as an immediate consequence of that construction. Thus the derived formula coincides with that used in "On Loop Space Formulation of Gauge Theories" by Chan, H.-M., Scharbach, P. and Tsou S.T. (Ann.Phys., vol.167, 454-472, 1986). The reconstruction and representation theorems form a generalization of the fact that the pointed configuration space of the classical Yang-Mills theory is equivalent to the set of all holonomy maps. The point of this generalization is that there is a one-to-one correspondence not only between the holonomy maps and the orbits in the space of connections, but also between all maps from the loop space on $M$ to group $G$ fulfilling some axioms and all possible equivalence classes of $P(M,G)$ bundles with connection, where the equivalence relation is defined by bundle isomorphism in a natural way.

0 citations0 reviewsNo code linkedOpen access