Pseudo-Riemannian geodesic orbit nilmanifolds of signature $\boldsymbol{(n-3,3)}$

Abstract

The geodesic orbit property is useful and interesting in Riemannian geometry. It implies homogeneity and has important classes of Riemannian manifolds as special cases, such as weakly symmetric Riemannian manifolds and naturally reductive Riemannian manifolds. The corresponding results for indefinite metric manifolds are much more delicate than in Riemannian signature, but in the last few years important corresponding structural results were proved for geodesic orbit Lorentz and trans-Lorentz manifolds. %Here we carry out a major step in the structural analysis of geodesic orbit Lorentz nilmanifolds. Here we study pseudo-Riemannian geodesic orbit nilmanifolds of metric index three. Those are the geodesic orbit pseudo-Riemannian manifolds $M = G/H$ of signature $(n-3,3)$ such that a nilpotent analytic subgroup of $G$ is transitive on $M$. Suppose that there is a reductive decomposition $\g = \h \oplus \n$ (vector space direct sum) with $\n$ nilpotent. When the metric is nondegenerate on $[\n,\n]$ we show that $\n$ is abelian, $2$-step or $4$-step nilpotent. In contrast to the Riemannian, Lorentzian, and trans-Lorentz cases, the two-step conclusion therefore fails, but $3$-step nilpotency remains impossible. The $4$-step case is confined to a Lorentzian derived algebra with an orthogonal complement of index two, and its structure forces an invariant totally isotropic two-plane in that complement. An explicit nine-dimensional example of signature $(6,3)$ proves sharpness. When the metric is degenerate on $[\n,\n]$ we prove the existence of an invariant isotropic subspace that centralizes its orthogonal complement, yielding a double-extension reduction to a geodesic orbit metric nilpotent Lie algebra of strictly smaller index. An eight-dimensional example shows that this relative centrality need not imply centrality in the full Lie algebra.