Searcharxiv⌕ Search

arXiv subjects

Piotr M. Hajac

Publications and source records attributed to Piotr M. Hajac.

49 records · Page 3Linked to original sources
arXiv2007

Noncommutative Geometry Approach to Principal and Associated Bundles

We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of local triviality to fibre products of C*-algebras. In the context of principal actions, we study in detail an example of a non-proper free action with continuous translation map, and examples of compact principal bundles which are piecewise trivial but not locally trivial, and neither piecewise trivial nor locally trivial, respectively. We show that the module of continuous sections of a vector bundle associated to a compact principal bundle is a cotensor product of the algebra of functions defined on the total space (that are continuous along the base and polynomial along the fibres) with the vector space of the representation. On the algebraic side, we review the formalism of connections for the universal differential algebras. In the differential geometry framework, we consider smooth connections on principal bundles as equivariant splittings of the cotangent bundle, as 1-form-valued derivations of the algebra of smooth functions on the structure group, and as axiomatically given covariant differentiations of functions defined on the total space. Finally, we use the Dirac monopole connection to compute the pairing of the line bundles associated to the Hopf fibration with the cyclic cocycle of integration over S^2.

math.DG↗
arXiv2005

Noncommutative index theory for mirror quantum spheres

We introduce and analyse a new type of quantum 2-spheres. Then we apply index theory for noncommutative line bundles over these spheres to conclude that quantum lens spaces are non-crossed-product examples of principal extensions of C*-algebras.

math.KT↗
arXiv2004

The K-Theory of Heegaard-Type Quantum 3-Spheres

We use a Heegaard splitting of the topological 3-sphere as a guiding principle to construct a family of its noncommutative deformations. The main technical point is an identification of the universal C*-algebras defining our quantum 3-spheres with an appropriate fiber product of crossed-product C*-algebras. Then we employ this result to show that the K-groups of our family of noncommutative 3-spheres coincide with their classical counterparts.

math.KT↗
arXiv2004

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.

math.QA↗
arXiv2003

The Chern-Galois character

Following the idea of Galois-type extensions and entwining structures, we define the notion of a principal extension of noncommutative algebras. We show that modules associated to such extensions via finite-dimensional corepresentations are finitely generated projective, and determine an explicit formula for the Chern character applied to the thus obtained modules.

math.KT↗
arXiv2003

Chern numbers for two families of noncommutative Hopf fibrations

We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them.

math.QA↗
arXiv2000

Quantum Real Projective Space, Disc and Sphere

We define the $C^*$-algebra of quantum real projective space $\R P_q^2$, classify its irreducible representations and compute its $K$-theory. We also show that the $q$-disc of Klimek-Lesniewski can be obtained as a non-Galois $\Z_2$-quotient of the equator Podleś quantum sphere. On the way, we provide the Cartesian coordinates for all Podleś quantum spheres and determine an explicit form of isomorphisms between the $C^*$-algebras of the equilateral spheres and the $C^*$-algebra of the equator one.

math.QA↗
arXiv1998

The Einstein Action for Algebras of Matrix Valued Functions - Toy Models

Two toy models are considered within the framework of noncommutative differential geometry. In the first one, the Einstein action of the Levi-Civita connection is computed for the algebra of matrix valued functions on a torus. It is shown that, assuming some constraints on the metric, this action splits into a classical-like, a quantum-like and a mixed term. In the second model, an analogue of the Palatini method of variation is applied to obtain critical points of the Einstein action functional for $M\sb 4(R)$. It is pointed out that a solution to the Palatini variational problem is not necessarily a Levi-Civita connection. In this model, no additional assumptions regarding metrics are made.

q-alg↗
arXiv1998

Strong Connections on Quantum Principal Bundles

A gauge invariant notion of a strong connection is presented and characterized. It is then used to justify the way in which a global curvature form is defined. Strong connections are interpreted as those that are induced from the base space of a quantum bundle. Examples of both strong and non-strong connections are provided. In particular, such connections are constructed on a quantum deformation of the fibration $S^2 -> RP^2$. A certain class of strong $U_q(2)$-connections on a trivial quantum principal bundle is shown to be equivalent to the class of connections on a free module that are compatible with the q-dependent hermitian metric. A particular form of the Yang-Mills action on a trivial $U\sb q(2)$-bundle is investigated. It is proved to coincide with the Yang-Mills action constructed by A.Connes and M.Rieffel. Furthermore, it is shown that the moduli space of critical points of this action functional is independent of q.

hep-th↗
arXiv1998

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.

math-ph↗
arXiv1998

Algebraic $K_0$ of the Quantum Sphere and Noncommutative Index Theorem

The Noncommutative Index Theorem is used to prove that the Chern character of quantum Hopf line bundles over the standard Podles quantum sphere equals the winding number of the representations defining these bundles. This result gives an estimate of the positive cone of the algebraic $K_0$ of the standard quantum sphere.

math.KT↗
arXiv1998

Coalgebra Extensions and Algebra Coextensions of Galois Type

The notion of a coalgebra-Galois extension is defined as a natural generalisation of a Hopf-Galois extension. It is shown that any coalgebra-Galois extension induces a unique entwining map $ψ$ compatible with the right coaction. For the dual notion of an algebra-Galois coextension it is also proven that there always exists a unique entwining structure compatible with the right action.

q-alg↗