English

Classification of irrational $\Theta$-deformed CAR $C^*$-algebras

Operator Algebras 2021-05-10 v2

Abstract

Given a skew-symmetric real n×nn\times n matrix Θ\Theta we consider the universal enveloping CC^*-algebra CARΘ\mathsf{CAR}_\Theta of the *-algebra generated by a1,,ana_1, \ldots, a_n subject to the relations aiai+aiai=1,  a_i^* a_i + a_i a_i^* = 1, \ aiaj=e2πiΘi,jajai, a_i^* a_j = e^{2 \pi i \Theta_{i,j}} a_j a_i^*, aiaj=e2πiΘi,jajai. a_i a_j = e^{-2 \pi i \Theta_{i,j}} a_j a_i. We prove that CARΘ\mathsf{CAR}_\Theta has a C(Kn)C(K_n)-structure, where Kn=[0,12]nK_n = \left[ 0,\frac{1}{2} \right]^n is the hypercube and describe the fibers. We classify irreducible representations of CARΘ\mathsf{CAR}_\Theta in terms of irreducible representations of a higher-dimensional noncommutative torus. We prove that for a given irrational skew-symmetric Θ1\Theta_1 there are only finitely many Θ2\Theta_2 such that CARΘ1CARΘ2\mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2}. Namely, CARΘ1CARΘ2\mathsf{CAR}_{\Theta_1} \simeq \mathsf{CAR}_{\Theta_2} implies (Θ1)ij=±(Θ2)σ(i,j)modZ(\Theta_1)_{ij} = \pm (\Theta_2)_{\sigma(i,j)} \mod \mathbb{Z} for a bijection σ\sigma of the set {(i,j):i<j, i,j=1,,n}\{(i,j) : i < j, \ i, j = 1, \ldots, n\}. For n=2n = 2 we give a full classification: CARθ1CARθ2\mathsf{CAR}_{\theta_1} \simeq \mathsf{CAR}_{\theta_2} iff θ1=±θ2modZ\theta_1 = \pm \theta_2 \mod \mathbb{Z}.

Keywords

Cite

@article{arxiv.2010.15660,
  title  = {Classification of irrational $\Theta$-deformed CAR $C^*$-algebras},
  author = {Alexey Kuzmin and Lyudmila Turowska},
  journal= {arXiv preprint arXiv:2010.15660},
  year   = {2021}
}