Arakelov geometry of Cuntz-Pimsner algebras

Igor V. Nikolaev
2024-06-25
Abstract:We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields.
Number Theory,Algebraic Geometry,Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to connect Arakelov geometry with the K - theory of Cuntz - Pimsner algebras, in order to study the compactification problem of arithmetic schemes and apply it to the finiteness problem of algebraic varieties over number fields. Specifically, the author uses the K - theory of C* - algebras to study Arakelov geometry, that is, the compactification problem of the arithmetic scheme \( V \to \text{Spec}\mathbb{Z} \). The main result of the paper is to prove that there is an isomorphism between the compactified Picard group \( \text{Pic}^c(V) \) constructed by Arakelov and the \( K_0 \)-group of the Cuntz - Pimsner algebra \( \mathcal{O}_{A_\infty} \): \[ K_0(\mathcal{O}_{A_\infty}) \cong \text{Pic}^c(V) \] This result is used to explore the finiteness problem of algebraic varieties over number fields. Through this connection, the author hopes to provide new proof methods and perspectives for the finiteness of algebraic varieties. ### Core contributions of the paper 1. **Establishing an isomorphism**: Prove the isomorphism between \( K_0(\mathcal{O}_{A_\infty}) \) and \( \text{Pic}^c(V) \). 2. **Application to the finiteness problem**: Use the above isomorphism to explore the finiteness problem of algebraic varieties over number fields and propose a conjecture about the finiteness of the point set of algebraic varieties. ### Key formulas 1. **Arakelov compactified principal divisor**: \[ (\phi)^c = (\phi) + m \sum_{i = 1} v_\infty(\phi) X(i)_\infty \] where \( v_\infty(\phi)=-\int_{X(i)_\infty} \log|\phi| d\mu \), and \( \mu \) is the measure defined by the Hermitian metric. 2. **Hasse - Weil zeta function**: \[ Z_V(s)=\prod_{i = 0}^{2n} \left( \text{char } A_i^\infty \right)^{(-1)^{i + 1}} \] where \( \text{char } A_i^\infty \) is the characteristic polynomial of the matrix \( A_i^\infty \). 3. **Exact sequence in K - theory**: \[ 0 \to K_1(\mathcal{O}_{A_\infty}) \to \mathbb{Z}^\infty \xrightarrow{1-(A_\infty^t)} \mathbb{Z}^\infty \xrightarrow{i_*} K_0(\mathcal{O}_{A_\infty}) \to 0 \] Therefore, \[ K_0(\mathcal{O}_{A_\infty}) \cong \frac{\mathbb{Z}^\infty}{(1-(A_\infty^t))\mathbb{Z}^\infty} \] \[ K_1(\mathcal{O}_{A_\infty}) \cong \ker(1-(A_\infty^t)) \] Through these formulas and theoretical frameworks, the author successfully connects Arakelov geometry with the K - theory of Cuntz - Pimsner algebras, providing new tools and methods for solving the finiteness problem of algebraic varieties.