One-parametric series of SO(1,1)-symmetric (sub-)Lorentzian structures on the universal covering of SL(2,R)

This paper investigates a one-parametric family of left-invariant, SO(1,1)-symmetric Lorentzian structures on the universal covering of SL(2,R), analyzing their global geodesic optimality and examining how these properties deform into those of a limiting sub-Lorentzian structure.

The Gist

Here is an explanation of the paper using simple language, analogies, and metaphors.

The Big Picture: A Universe of "Longest Paths"

Imagine you are a traveler in a strange, curved universe. In our normal world, if you want to get from Point A to Point B, you look for the shortest path (like a straight line on a map).

But in this paper, the author is studying a universe governed by Lorentzian geometry (the math behind Einstein's relativity). In this universe, time and space are mixed up. Here, the goal isn't to find the shortest path; it's to find the longest possible path that a traveler can take without breaking the laws of physics (specifically, without traveling faster than light).

Think of it like a video game where you want to maximize your "survival time" or "experience points" between two checkpoints, but you are constrained by a speed limit.

The Setting: The Shape-Shifting Group

The author is working on a specific mathematical shape called the Universal Covering of $SL_2(\mathbb{R})$.

• The Metaphor: Imagine a giant, infinite spiral staircase that never ends. This is the shape of the space.
• The Symmetry: The space has a special kind of symmetry called $SO_{1,1}$. Imagine this as a "hyperbolic rotation." If you were to spin a normal wheel, it goes in a circle. If you "hyperbolically rotate" this space, it stretches and squashes in a way that looks like a hyperbola (an "X" shape) rather than a circle.

The Experiment: The "Oblate" vs. "Prolate" Slider

The author creates a series of different versions of this universe by adjusting a single "dial" (a parameter called $\mu$). This dial changes the shape of the "future cone"—the set of all directions a traveler can move into the future.

Think of the future cone as the shape of a flashlight beam shining forward.

1. The Oblate Case (The Flattened Cone):

   • The Shape: Imagine a flashlight beam that is squashed flat, like a pancake or a frisbee.
   • The Result: In this version, there are longest paths. The author maps out exactly where these paths stop being the "best" (the cut locus).
   • The Surprise: The author finds that the "boundary" of where you can go (the attainable set) changes as you turn the dial. However, the "cut locus" (where the longest path ends) stays exactly the same, no matter how you turn the dial. It's like the destination of the longest path is fixed, even if the map around it shifts.

2. The Prolate Case (The Stretched Cone):

   • The Shape: Imagine the flashlight beam is stretched out into a long, thin needle.
   • The Result: This is the chaotic version. In this universe, you can loop around and come back to where you started, but you can do it in a way that adds infinite time to your journey.
   • The Conclusion: Because you can keep looping and adding time forever, there is no "longest path." The answer is always "infinity." You can never find the ultimate maximum because you can always find a longer one.

The "Sub-Lorentzian" Limit: The Wall

The author also looks at what happens when they turn the dial to its absolute extreme (the Sub-Lorentzian case).

• The Metaphor: Imagine the "future cone" gets so flat that it collapses into a 2D sheet of paper. You can't move "up" or "down" anymore; you are forced to slide along a specific track. This is a non-holonomic constraint (like a car that can only move forward or backward, never sideways).
• The Finding: Even though the math changes drastically here, the "longest paths" in this flat world behave very similarly to the "flattened" (oblate) version of the 3D world. The author shows how the 3D paths "deform" smoothly into these 2D sliding paths.

Key Concepts Explained Simply

• Geodesics: These are the "straight lines" of this curved universe. They are the paths a traveler takes if they don't steer left or right.
• Cut Locus: Imagine you are walking on a sphere. If you walk straight from the North Pole, you eventually hit the South Pole. But once you pass the South Pole, you could have gotten there faster by walking the other way around the world. The "Cut Locus" is the line where your "straight" path stops being the best option.
• Caustic: This is where all the "straight lines" (geodesics) start to bunch up and cross each other, like light rays focusing through a magnifying glass.
• Abnormal Geodesics: These are weird, special paths that only exist in the "flat" (sub-Lorentzian) limit. They are like a car that switches from driving forward to driving sideways instantly. The author proves these paths are the "boundary" of where you can go.

The Main Takeaways

1. In the "Flat" (Oblate) Universe: There is a clear limit to how long a path can be. The author has drawn the exact map of where these paths end. Interestingly, this map doesn't change even if you tweak the shape of the universe slightly.
2. In the "Stretched" (Prolate) Universe: The game is broken. You can find paths of infinite length, so the concept of a "longest path" doesn't exist.
3. The Connection: The author shows how the complex 3D math of the "Flat" universe smoothly turns into the simpler 2D math of the "Wall" universe, proving that the weird paths in the 2D world are just the limit of the 3D paths.

Why Does This Matter?

This isn't just about abstract math. Understanding these "longest paths" helps physicists and engineers understand:

• How time behaves in extreme gravity (like near black holes).
• How to control systems with strict limits (like a robot arm that can't move sideways).
• The fundamental structure of space and time in our universe.

The author essentially built a mathematical "slider" to see how the rules of the universe change from "there is a best path" to "there is no best path," and how the geometry of space dictates the limits of travel.

Technical Summary

Here is a detailed technical summary of the paper "One-parametric series of SO1,1-symmetric (sub-)Lorentzian structures on the universal covering of SL2(R)" by A. V. Podobryaev.

1. Problem Statement

The paper investigates the global optimality of geodesics (specifically, the existence and description of the longest arcs) within a one-parametric family of left-invariant Lorentzian structures on the universal covering of the Lie group $SL_2(\mathbb{R})$ (denoted as $\widetilde{SU}_{1,1}$).

• Geometric Context: The study focuses on manifolds equipped with a Lorentzian metric of signature $(1, n)$. Unlike Riemannian geometry, where one seeks shortest paths, Lorentzian geometry seeks longest non-space-like (causal) curves.
• The Series: The authors define a family of metrics parameterized by $\mu = \frac{I_1}{I_3} - 1$, where $I_1, I_2, I_3$ are parameters of the control set defining the metric. The family includes:
  • Oblate Case ($\mu < 0$): Corresponds to $I_1 = I_2 < I_3$. The future cone is "flat" or oblate.
  • Symmetric Case ($\mu = 0$): Corresponds to the Anti-de Sitter (AdS) space ($I_1=I_2=I_3$).
  • Prolate Case ($\mu > 0$): Corresponds to $I_1 = I_2 > I_3$. The future cone is elongated.
  • Sub-Lorentzian Limit ($\mu \to -1$): A singular limit where the control set becomes a cone in a hyperplane, introducing a non-holonomic constraint.
• Symmetry: All structures in the series possess $SO_{1,1}$-symmetry (hyperbolic rotations), allowing for explicit parametrization of geodesics.

2. Methodology

The authors employ Geometric Control Theory combined with Lorentzian Geometry techniques.

• Optimal Control Formulation: The problem of finding the longest arc is formulated as an optimal control problem maximizing the Lorentzian length functional subject to the dynamics $\dot{x} = L_{x(t)*}u(t)$, where the control $u$ lies in a specific cone $C$.
• Pontryagin Maximum Principle (PMP): The authors apply PMP to derive the Hamiltonian system on the cotangent bundle $T^*G$.
  • Extremals: They distinguish between normal extremals (time-like geodesics) and abnormal extremals (light-like geodesics).
  • Geodesic Orbit Property: Due to the $SO_{1,1}$ symmetry, the authors prove that the manifolds are geodesic orbit spaces. This means every geodesic is an orbit of a one-parameter subgroup of isometries. This allows them to write explicit parametrizations of geodesics as products of two one-parameter subgroups.
• Analytical Tools:
  • Exponential Map: Explicit formulas for the exponential map are derived in coordinates $(c, w)$ for the universal covering.
  • Conjugate Points: Calculated by finding the zeros of the Jacobian of the exponential map (caustics).
  • Maxwell Points: Identified via symmetry groups ($O_{1,1} \times \mathbb{Z}_2$) where distinct geodesics of equal length meet.
  • Cut Locus: Determined as the set of points where geodesics lose global optimality, defined as the minimum of the first conjugate time and the first Maxwell time.

3. Key Contributions and Results

A. The Oblate Case ($\mu < 0$)

This is the most complex and physically significant case, as it includes the sub-Lorentzian limit.

1. Geodesic Structure: Geodesics are explicitly parametrized using hyperbolic and trigonometric functions depending on the Killing form of the initial covector.
2. Attainable Set: The set of points reachable by causal curves is bounded from below in the $c$-coordinate. The boundary is swept by light-like geodesics.
3. Cut Locus and Caustic:
   • The first caustic (set of first conjugate points) coincides with the cut locus.
   • Both are independent of the parameter $\mu$ and are given by the set $M = \{(c, w) \in G \mid c = \pi, w \in i\mathbb{R}\}$.
   • The first conjugate time is $t_{conj} = \frac{2\pi I_1}{|h|}$ for time-like geodesics.
4. Optimality: Longest arcs exist for all points within the attainable set up to the cut locus. The exponential map is a diffeomorphism on the domain bounded by the first Maxwell time.
5. Sub-Lorentzian Limit ($\mu \to -1$):
   • Convergence of Geometry: The normal geodesics, conjugate times, caustics, and cut loci converge smoothly to the sub-Lorentzian case.
   • Divergence of Attainable Sets: Crucially, the attainable set does not converge to the limit of the attainable sets. The sub-Lorentzian attainable set is strictly smaller.
   • Reason: In the sub-Lorentzian limit, the boundary of the attainable set is formed by abnormal geodesics (concatenations of light-like arcs with at most one switch). These abnormal geodesics do not exist in the Lorentzian case for $\mu > -1$ in the same manner, leading to a "gap" between the limit of the sets and the set of the limit.

B. The Prolate Case ($\mu > 0$)

This case exhibits fundamentally different global behavior.

1. Global Controllability: The system is completely controllable. The attainable set coincides with the entire group $G$.
2. Non-existence of Longest Arcs: Since the system is controllable, there exist admissible loops passing through every point. Consequently, one can construct causal curves of arbitrarily large length between any two points. No longest arcs exist.
3. Conjugate vs. Maxwell Times:
   • Unlike the oblate case (and standard Riemannian geometry), the first conjugate point appears strictly earlier than the first Maxwell point (where geodesics intersect).
   • $t_{conj}(h) < t_{max}(h)$ for time-like geodesics.
   • This implies that geodesics lose local optimality (become conjugate) before they meet another geodesic of the same length.

C. Sub-Lorentzian Structure

The paper provides a rigorous analysis of the limit case $\mu = -1$.

• It confirms that the sub-Lorentzian structure is a specific case of left-invariant contact 3D sub-Lorentzian structures.
• It characterizes the abnormal geodesics as the primary drivers of the attainable set's boundary, a feature distinct from the Lorentzian case where the boundary is purely light-like geodesics.

4. Significance and Implications

• Deformation Theory: The paper demonstrates that while local geometric properties (like conjugate points and cut loci) can be stable under deformation of the metric, global properties (specifically the attainable set) can undergo discontinuous changes in the limit. This challenges the intuition that the limit of a sequence of sets is the set of the limit.
• Sub-Lorentzian Geometry: It provides a concrete model for understanding how sub-Lorentzian geometry (relevant in control theory and certain physical models with non-holonomic constraints) emerges as a limit of Lorentzian geometry, highlighting the critical role of abnormal extremals in the limit.
• Geodesic Orbit Manifolds: It reinforces the utility of the "geodesic orbit" property in solving complex global optimization problems on Lie groups, providing explicit formulas for geodesics that are otherwise difficult to derive.
• Control Theory: The results on the prolate case (complete controllability and non-existence of optimal solutions) offer insights into the behavior of systems with "wide" control cones, contrasting sharply with the constrained oblate case.

In summary, Podobryaev provides a comprehensive classification of geodesic optimality for a symmetric family of Lorentzian manifolds, revealing a sharp dichotomy between the oblate (where optimal paths exist and converge to a sub-Lorentzian limit) and prolate (where global optimality vanishes) regimes, and uncovering a subtle discontinuity in the attainable sets at the sub-Lorentzian limit.