Abstract:Based on its central role in the framework of real calculi, the existence of the Levi-Civita connection for real calculi over projective modules is studied, with a special emphasis placed on the simple module of N-dimensional complex vectors over the algebra of complex N-by-N matrices. It is demonstrated that existence of the Levi-Civita connection in this case depends on the Lie algebra g of hermitian derivations, and necessary and sufficient conditions for the possibility of constructing a real calculus for which there exists a Levi-Civita connection are given in this case. Furthermore, in the general case of real calculi over projective modules, necessary and sufficient conditions for the existence of the Levi-Civita connection are given in terms of explicit projection coefficients.
What problem does this paper attempt to address?
The core problems that this paper attempts to solve can be summarized as follows:
In the framework of non - commutative geometry, study the problem of whether there exists a Levi - Civita connection on **real calculi**. Specifically, the paper focuses on the existence and necessary conditions of the Levi - Civita connection when the module is a finitely - generated projective module.
### Specific problem decomposition:
1. **Existence of the Levi - Civita connection**:
In a given real calculus structure, can a Levi - Civita connection that is compatible with the metric and torsion - free always be constructed? If not, what conditions are required to ensure its existence?
2. **Analysis in special cases**:
Take the matrix algebra $A = \text{Mat}_N(\mathbb{C})$ and the simple projective module $M=\mathbb{C}^N$ as examples, and explore how the choice of the Lie algebra $g$ affects the existence of the Levi - Civita connection.
3. **Conditions in general cases**:
For real calculi on more general projective modules, give the necessary and sufficient conditions for the existence of the Levi - Civita connection.
---
### Main contributions of the paper:
1. **Research on special cases**:
When the Lie algebra $g$ is a semisimple Lie algebra, it is proved that in this case there is no Levi - Civita connection (see Proposition 4.4). This is because the structure constants of the semisimple Lie algebra will cause the torsion to be unable to be eliminated.
2. **Conditions in general cases**:
Give the necessary and sufficient conditions for the existence of the Levi - Civita connection (see Theorem 4.6). Specifically, only when the Lie algebra $g$ is not a semisimple Lie algebra and there exists a common eigenvector can a Levi - Civita connection be constructed.
3. **Application of theoretical tools**:
Use the Koszul formula (see Proposition 3.6) and the concept of the anchor map to systematically analyze the metric compatibility and torsion - free conditions of the connection.
---
### Summary:
The core objective of the paper is to study the existence problem of the Levi - Civita connection in non - commutative geometry, and give clear answers through specific examples and general theories. In particular, the paper points out:
- If the Lie algebra $g$ is a semisimple Lie algebra, then there is no Levi - Civita connection.
- If the Lie algebra $g$ contains an Abel sub - algebra and there exists a common eigenvector, then a Levi - Civita connection can be constructed.
These results provide an important theoretical basis for understanding the connection theory in non - commutative geometry.