Browsing by Author "Kuzmin, Alexey"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Sketches of Noncommutative Topology
    (2022-11-07) Kuzmin, Alexey
    This thesis thematically divided into two parts. In the first part we are mastering C*-isomorphism problem by using various techniques applied to different examples of noncommutative algebraic varieties. In the second part we apply noncommutative homotopy theory to C*-algebraic objects related to manifold theory, in such a way deriving results and formulas for such an object as differential operators. In the first article we consider C*-algebra Isom_{q_{ij}} generated by n isometries a_1, \ldots, a_n satisfying the relations a_i^* a_j = q_{ij} a_j a_i^* with \max |q_{ij}| < 1. This C*-algebra is shown to be nuclear. We prove that the Fock representation of Isom_{q_{ij}} is faithful. Further we describe an ideal in Isom_{q_{ij}} which is isomorphic to the algebra of compact operators. In the second article we consider the C*-algebra \mathcal{E}^q_{n,m}, which is a q-twist of two Cuntz-Toeplitz algebras. For the case |q| < 1, we give an explicit formula which untwists the q-deformation showing that the isomorphism class of \mathcal{E}^q_{n,m} does not depend on q. For the case |q| = 1, we give an explicit description of all ideals in \mathcal{E}^q_{n,m}. In particular, we show that \mathcal{E}^q_{n,m} contains a unique largest ideal \mathcal{M}_q. We identify \mathcal{E}^q_{n,m}/\mathcal{M}_q with the Rieffel deformation of \mathcal{O}_n \otimes \mathcal{O}_m and use a K-theoretical argument to show that the isomorphism class does not depend on q. The latter result holds true in a more general setting of multiparameter deformations. In the third article we consider the universal enveloping C*-algebra \mathsf{CAR}_\Theta of the *-algebra generated by a_1, \ldots, a_n subject to the relations a_i^* a_i + a_i a_i^* = 1, a_i^* a_j =e^{2\pi i \Theta_{ij}}a_j a_i^*, a_i a_j = e^{-2\pi i \Theta_{ij}} a_j a_i for a skew-symmetric real n x n matrix \Theta. We prove that \mathsf{CAR}_\Theta has a C(K_n)-structure, where K_n = [0, \frac{1}{2}]^n is the hypercube and describe the fibers. We classify irreducible representations of \mathsf{CAR}_\Theta in terms of irreducible representations of a higher-dimensional noncommutative torus. We prove that for a given irrational skew-symmetric \Theta_1 there are only finitely many \Theta_2 such that \mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2}. Namely, \mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2} implies (\Theta_1)_{ij} = \pm (\Theta_2)_{\sigma(i,j)} for a bijection \sigma of the set \{(i,j):i