# Differential fields and Geodesic flows II : Geodesic flows of pseudo-Riemannian algebraic varieties

## TL;DR

This paper introduces a model-theoretic approach to studying geodesic equations on pseudo-Riemannian algebraic varieties, showing irreducibility and orthogonality properties in the real negative curvature case.

## Contribution

It defines pseudo-Riemannian algebraic varieties and analyzes their geodesic equations using model theory, establishing irreducibility and orthogonality results for real negatively curved cases.

## Key findings

- Geodesic equations are absolutely irreducible.
- The generic type is orthogonal to the constants.
- Results apply to compact Riemannian manifolds with negative curvature.

## Abstract

We define the notion of a smooth pseudo-Riemannian algebraic variety $(X,g)$ over a field $k$ of characteristic $0$, which is an algebraic analogue of the notion of Riemannian manifold and we study, from a model-theoretic perspective, the algebraic differential equation describing the geodesics on $(X,g)$. When $k$ is the field of real numbers, we prove that if the real points of $X$ are Zariski-dense in $X$ and if the real analytification of $(X,g)$ is a compact Riemannian manifold with negative curvature, then the algebraic differential equation describing the geodesics on $(X,g)$ is absolutely irreducible and its generic type is orthogonal to the constants.