[Paper Review] PseudoH-type 2-step nilpotent Lie groups

Jang, C., Park, K.+1 more|ArXiv.org|Jul 28, 2003

Advanced Differential Geometry Research9 references12 citations

TL;DR

This paper provides explicit formulas for all conjugate points and their multiplicities in pseudo-H-type 2-step nilpotent Lie groups equipped with a left-invariant pseudo-Riemannian metric. By generalizing the H-type condition to indefinite metrics, the authors extend classical Riemannian results on conjugate loci to the pseudo-Riemannian setting, recovering known Riemannian results with simpler, more conceptual proofs and establishing a partial characterization via the abundance of totally geodesic 3-dimensional submanifolds.

ABSTRACT

PseudoH-type is a natural generalization of H-type to geometries with indefinite metric tensors. We give a complete determination of the conjugate locus including multiplicities. We also obtain a partial characterization in terms of the abundance of totally geodesic, 3-dimensional submanifolds.

Motivation & Objective

• To extend the theory of conjugate loci from Riemannian H-type Lie groups to the broader class of pseudo-H-type 2-step nilpotent Lie groups with indefinite metrics.
• To provide explicit formulas for all conjugate points and their multiplicities in this generalized setting.
• To recover and simplify known Riemannian results on H-type groups as special cases when the metric is positive-definite.
• To establish a geometric characterization of pseudo-H-type groups in terms of the abundance of totally geodesic 3-dimensional submanifolds, generalizing Eberlein’s result for the Riemannian case.

Proposed method

• The authors define pseudo-H-type Lie groups via the condition $ J_z^2 = - abla(z,z) I $ on the center, generalizing the Riemannian H-type condition to indefinite metrics.
• They introduce the notion of pseudoregularity, requiring surjectivity of $ \mathrm{ad}_x $ for nonnull $ x \in \mathfrak{v} $ and nonsingularity of $ J_z $ for nonnull $ z \in \mathfrak{z} $, ensuring geometric well-behavedness.
• Using the Levi-Civita connection formulas on left-invariant metrics, they derive curvature expressions involving $ R(x,y)z $ and $ R(x,y)w $, which are essential for computing Jacobi fields.
• They analyze Jacobi fields along geodesics using parallel transport and Gauss equation computations, showing that the only possible parallel Jacobi fields arise from specific linear combinations of $ x $, $ J_z x $, and $ z $.
• The proof of the conjugate locus structure relies on contradiction arguments based on linear dependence and nondegeneracy conditions, particularly using Lemma 4.2 to rule out null vector field solutions.
• For the geometric characterization, they construct 3-dimensional totally geodesic subgroups $ H = \exp[\langle z_0, x_0, y \rangle] $ when $ Jx_0 = d x_0 $, showing that such subgroups exist under pseudoregularity.

Experimental results

Research questions

• RQ1 What are the explicit formulas for all conjugate points and their multiplicities in pseudo-H-type 2-step nilpotent Lie groups with indefinite metrics?
• RQ2 How do the conjugate locus results for Riemannian H-type groups specialize when the metric becomes positive-definite in the pseudo-H-type framework?
• RQ3 What geometric conditions characterize pseudo-H-type groups in terms of the abundance of totally geodesic 3-dimensional submanifolds?
• RQ4 How does the pseudoregularity condition relate to the existence and structure of conjugate points and Jacobi fields in the indefinite setting?

Key findings

• The paper provides a complete determination of the conjugate locus, including multiplicities, for all pseudo-H-type 2-step nilpotent Lie groups with nondegenerate center and indefinite metric.
• All known Riemannian H-type conjugate locus results are recovered as special cases when the metric is positive-definite, with shorter and more conceptually transparent proofs.
• The authors prove that the cut locus coincides with the conjugate locus for pseudo-H-type groups, generalizing a result from the Riemannian case.
• A pseudoregular pseudo-H-type group admits a 3-dimensional totally geodesic subgroup containing any given tangent vector at the identity, provided the vector is not null and satisfies certain spectral conditions on $ J_z $.
• The structure of Jacobi fields along geodesics is fully characterized: only specific linear combinations of $ x $, $ J_z x $, and $ z $ can yield parallel Jacobi fields, and all such cases are ruled out via contradiction unless $ A = \lambda I $, leading to the conjugate locus condition.
• The proof shows that the only possible conjugate points arise when the curvature term $ R(x, \alpha z + \beta J_z x)x $ lies in the span of $ x $, $ \alpha z + \beta J_z x $, and $ J_z^2 x $, which leads to a system of equations that forces $ A = \lambda I $, thus characterizing the conjugate locus.