K\"ahler structure on certain $C^*$-dynamical systems and the noncommutative even dimensional tori

TL;DR

This paper demonstrates that certain noncommutative $C^*$-dynamical systems, including even-dimensional noncommutative tori, naturally admit K"ahler structures, extending classical complex geometry to a noncommutative setting.

Contribution

It establishes the existence of K"ahler structures on a broad class of noncommutative $C^*$-algebras, particularly noncommutative tori, and connects these structures with spectral triples and holomorphic vector bundles.

Findings

Noncommutative even-dimensional tori are noncommutative K"ahler manifolds.

Multiple distinct K"ahler structures exist on these noncommutative spaces.

The category of holomorphic vector bundles on noncommutative tori is abelian.

Abstract

Let $G$ be an even dimensional, connected, abelian Lie group and $(\mathcal{A}^\infty,G,\alpha,\tau)$ be a $C^*$-dynamical system equipped with a faithful $G$-invariant trace $\tau$. We show that whenever it determines a $\varTheta$-summable even spectral triple, $\mathcal{A}^\infty$ inherits a K\"ahler structure. Moreover, there are at least $\prod_{j=1,\,j\,odd}^{\,dim(G)}(dim(G)-j)$ different K\"ahler structures. In particular, whenever $\mathbb{T}^{2k}$ acts ergodically on the algebra, it inherits a K\"ahler strcture. This gives a class of examples of noncommutative K\"ahler manifolds. As a corollary, we obtain that all the noncommutative even dimensional tori, like their classical counterpart the complex tori, are noncommutative K\"ahler manifolds. We explicitly compute the space of complex differential forms for the noncommutative even dimensional tori and show that the category of holomorphic vector bundle over it is an abelian category. We also explain how the earlier set-up of Polishchuk-Schwarz for the holomorphic structure on noncommutative two-torus follows as a special case of our general framework.