Lorentzian Signature Torus

• Lorentzian signature torus is a compact two-dimensional manifold (S1 x S1) with a nondegenerate (1,1) metric, distinct from its Riemannian counterpart.
• It exhibits unique local canonical forms and geodesic structures, including an absence of conjugate points, driven by the periodic function f(x).
• Its rich structure finds applications in differential geometry, quantum gravity triangulations, and conformal field theory, offering models beyond traditional flat tori.

A Lorentzian signature torus is a two-dimensional compact manifold with topology $T^2 = S^1 \times S^1$, equipped with a nondegenerate metric of signature $(1,1)$, making it fundamentally distinct from its Riemannian counterpart. The Lorentzian torus appears in multiple domains: classical differential geometry, quantum gravity, and conformal field theory, each with unique structural, dynamical, and symmetry properties. Its rich internal geometry supports a variety of nonflat, projectively nontrivial, and analytically tractable structures, with deep implications for both mathematics and theoretical physics.

1. Local Canonical Form and Classification

Any Lorentzian metric $g$ on the two-torus, particularly those admitting a smooth nontrivial Killing field $K$, possesses a canonical local representation. Following Bavard–Mounoud, the universal cover $\widetilde T$ of the torus can be endowed with global coordinates $(x, y)\in\mathbb{R}^2$ such that $K = \partial_y$, and there exists a lightlike vector field $L = \partial_x$ normalized by $\langle L, K \rangle = 1$. In this gauge, the metric takes the form: $$g = 2\,dx\,dy + f(x)\,dy^2,\quad f \in C^\infty(\mathbb{R})\ \text{periodic}.$$ The function $f(x) = \langle K, K \rangle$ encapsulates the metric's local invariants, with its zero set characterizing null orbits and nonzero regions partitioned into type II bands (the only possibility for tori), each glued by group actions and reflections to yield the global Lorentzian torus. Any nonflat Lorentzian torus with a Killing field is obtained as a quotient of a unique “universal extension” $E^u_f$ constructed for a choice of periodic $f$ (Mehidi, 2019, Mounoud, 2016).

2. Geodesic Structure and Conjugate Point Obstructions

Within Lorentzian geometry, geodesics may be timelike, spacelike, or null, with null geodesics invariably free of conjugate points. The Jacobi equation along a geodesic $\gamma$ in signature $(1,1)$ reads: $$u''(t) + \epsilon\,\kappa(t)\,u(t) = 0,\quad \epsilon = \langle\dot{\gamma}, \dot{\gamma}\rangle = \pm 1$$ where $\kappa$ denotes sectional curvature. Key global obstructions for the absence of conjugate points on a Lorentzian torus modeled on $E^u_f$ include:

• $f\neq 0$ has finitely many connected components per period,
• $f$ changes sign at each zero,
• $f'$ changes sign exactly once in each band,
• all bands are type II.

A new necessary rigidity condition controls the incompleteness of null orbits: if two consecutive null orbits are parametrized by $1/\lambda_i e^{\lambda_i t}$, then $\lambda_1 = \lambda_2$ (Mehidi, 2019).

3. Explicit Examples: Clifton–Pohl and Analytic Families

The Clifton–Pohl torus is constructed by quotienting $\mathbb{R}^2\setminus\{0\}$ with metric

$g_{CP} = \frac{2\,dx\,dy}{x^2 + y^2}$

by homotheties. In appropriate coordinates, $f(u) = \sin(2u)$. All non-null geodesics lack conjugate points, as confirmed by precise solutions to the corresponding Jacobi fields.

A new analytic family of nonflat Lorentzian tori without conjugate points is generated by enforcing conditions on $f$, e.g., $f$ $2\pi$-periodic, with simple zeros, sign changes, $f'f''' \leq 0$, and even symmetry. Concrete examples include deformations $f(x) = \sin(2x) - 2a\cos^2(x)$ and $f(x)=\ln(2+\sin x)$, exhibiting the infinite-dimensional moduli of pairwise non-isometric metrics with no conjugate points. Oscillation arguments and explicit integral constructions of Jacobi fields, using the Clairaut integral $C = \langle\dot{\gamma}, K\rangle$, establish the absence of conjugate points across this family (Mehidi, 2019).

4. Projective, Isometric, and Conformal Structures

On Lorentzian tori, projective equivalence relates metrics with identical unparametrized geodesics. Every nonflat torus metric constructed above belongs to a 2-parameter family of projectively equivalent metrics, either admitting a Killing field (form $2\,dx\,dy + f(x)\,dy^2$) or, in the Liouville-type case, of the type $g = (h_1(x) + h_2(y))(dx^2-dy^2)$. For nonflat tori, the index $[G_{\text{proj}}(T):G_{\text{iso}}(T)]\leq 2$, i.e., there is at most one non-isometric projective involution beyond the isometry group (Mounoud, 2016).

The geometry allows for nontrivial projective maps of infinite order on noncompact finite-type surfaces, in contrast to the strictly finite structure observed on compact tori.

5. Lorentzian Signature Tori in Quantum Gravity

Fixed-topology Lorentzian triangulations model quantum gravity path integrals via discrete structures on the torus. The Lorentzian triangulated torus is constructed from $N = 2N_sN_t$ triangles, with periodic boundary conditions, and is characterized by a partition function: $$Z_{\rm LFT} = \int_{\{l\}} d\mu[\{l^2\}]\; \exp\Bigl(i\,\lambda\,\sum_{s=1}^N A_L(l_s)\Bigr)$$ where $A_L(l_s)$ are Lorentzian triangle areas. Lorentzian signature removes standard Euclidean triangle inequalities—areas remain real and positive for all admissible edge-lengths—eliminating the "spike" divergences (pathologies) inherent to Euclidean models. Scaling laws for average area per triangle in the causal-diamond truncation are controlled simply by the cosmological constant, e.g., $\langle A\rangle/N = 1/(2\lambda)$. The loop-to-loop amplitudes and transfer matrix formalism are well-defined and computationally efficient (Tate et al., 2011).

6. Conformal Field Theory on the Lorentzian Torus

The Lorentzian torus with equal-radius spatial and temporal cycles—$S^1_t \times S^1_\phi$—serves as the compactification space for conformal field theories, notably in the context of modular and global SO$(D,2)$ conformal invariance. Using light-cone coordinates $\sigma^\pm = (t \pm \phi)/2$ and modular parameter $\tau = i$, primary operator time-ordered correlation functions admit a single-valued, conformally invariant extension to the Lorentzian torus. For two-point functions in CFT$_2$,

$$\big\langle \mathcal{O}(\sigma_1^+, \sigma_1^-) \mathcal{O}(\sigma_2^+, \sigma_2^-) \big\rangle_{ET^2} = \frac{1}{[i-\sin(\sigma^+_{12})\sin(\sigma^-_{12})]^{2h} [i-\sin(\sigma^-_{12})\sin(\sigma^+_{12})]^{2\bar h}}$$

which is periodic and single-valued under both spatial and temporal identifications. The single-valuedness persists for generic $n$-point functions, assuming that all branch cuts arise only when pairs of operator insertions become null separated—a condition rigorously proven in $D=2$, and plausibly generalized to $D>2$.

In higher dimensions, using embedding-space formalism, the time-ordered scalar two-point function takes the form

$$\langle O(t_1,\Omega_1)\,O(t_2,\Omega_2)\rangle_{ET^D} =\frac{1}{[\,2\cos t_{12} - 2\cos\theta_{12} + i\epsilon\,]^\Delta}$$

with all cross-ratios and correlation functions retaining single-valuedness under the torus identifications. Equal radii are essential, as generic radii break the cancellation of Feynman-prescribed phases (Melton et al., 9 Dec 2025).

7. Stability, Moduli, and Contrast with Riemannian Case

The moduli space of Lorentzian signature tori without conjugate points is infinite-dimensional, parametrized by general periodic functions $f(x)$ in the canonical form. The family of such tori is $C^\infty$-open, i.e., robust under small metric deformations that preserve the underlying symmetry and zero-pattern of $f$. The absence of conjugate points is thus a stable property within this class, sharply contrasting the Riemannian Hopf theorem, which shows that any Riemannian torus without conjugate points must be flat and admits no nontrivial moduli. Hence, Lorentzian tori display a fundamental lack of Hopf-type rigidity, supporting a diverse array of geometric and physical phenomena (Mehidi, 2019).