⚛️ general relativity

Topological cones and positively polarizable hyperbolic norms

This paper investigates linear cones over totally ordered fields by establishing their universal spanned vector spaces and continuous topologies, and further demonstrates that hyperbolic norms satisfying a polarization identity induce Lorentzian inner products, thereby linking Wick-rotated completeness to order-theoretic completeness.

Original authors: Ethan Kharitonov, Argam Ohanyan

Published 2026-10-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Ethan Kharitonov, Argam Ohanyan

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

To understand the landscape of modern physics, one must first grasp how we measure distance and time. In our everyday world, distance is measured by a simple, positive number; if you walk ten steps, you have covered ten units of space, and this value never drops below zero. This concept underpins the geometry of the world we see, where shapes and spaces are defined by these reliable, positive measurements. However, the universe at its most fundamental level, particularly when describing gravity and the fabric of spacetime, operates under different rules. Here, time and space are woven together in a way that allows for a different kind of measurement, one that can be positive, negative, or zero depending on the direction you look. This is the realm of Lorentzian geometry, the mathematical language of Einstein's relativity, where the "distance" between two events can vanish or even become negative, distinguishing the past from the future in a way that ordinary geometry cannot.

For decades, mathematicians and physicists have sought to understand these strange geometries not just on smooth, perfectly curved surfaces, but in more rugged, irregular settings where the usual tools of calculus break down. This requires a new way of thinking about the building blocks of space. Instead of starting with a full, smooth map of the universe, researchers are now looking at the fundamental cones of possibility—the sets of directions in which an object can move forward in time. These cones act as the local rules of the road for anything traveling through spacetime. The challenge has been to understand how these cones behave when they are not part of a perfectly smooth sheet, but exist as independent, abstract structures that might be rough or incomplete.

In a recent study, a pair of researchers set out to build a rigorous mathematical foundation for these structures, specifically focusing on objects called hyperbolic norms. These are special rules for measuring size that apply to the cones of future directions in spacetime. Unlike the standard rules of measurement we use in daily life, these rules follow a "reverse" logic: the combined size of two things is always greater than or equal to the sum of their individual sizes. This counterintuitive property is essential for describing how time and space interact in relativity. The researchers began by asking a fundamental question: if you have such a cone of directions, can you always find a larger, complete mathematical space that contains it, much like how a small island sits within a vast ocean? They proved that for every such cone, there is indeed a unique, universal space that naturally contains it. This space acts as a container, allowing the cone to be studied with the full power of linear algebra, while preserving the cone's unique shape and properties.

The team then explored what happens when these cones are equipped with a sense of closeness or continuity, known as a topology. They showed that there is a single, most natural way to define this closeness for the larger space that holds the cone. This "universal" way of measuring distance ensures that any smooth operation performed on the cone extends perfectly to the entire space. This result is significant because it provides a stable, consistent framework for analyzing these geometric objects, ensuring that the mathematical tools used to study them do not depend on arbitrary choices made by the observer.

The core of their work focused on a specific type of hyperbolic norm that satisfies a condition called positive polarizability. This condition is a sophisticated way of saying that the norm behaves in a predictable, symmetric manner, similar to how a perfect circle relates to a square in ordinary geometry. The researchers demonstrated that when a cone possesses this property, it inevitably gives rise to a specific kind of inner product, a mathematical rule for measuring angles and lengths, on the larger space that contains it. Crucially, they proved that under reasonable assumptions—such as the cone not being empty or trivial—this induced rule is non-degenerate, meaning it provides a meaningful and distinct measurement for every direction in the space.

Furthermore, the study established precise conditions under which this induced rule becomes what mathematicians call a Lorentzian inner product. This is the specific type of geometry required to describe the universe of general relativity, where time and space are distinct yet interconnected. The researchers found that if the cone is "strictly hyperbolic"—meaning it has a sharp, well-defined shape without flat edges—or if it contains a specific type of interior point, the resulting geometry is guaranteed to be Lorentzian. This is a powerful result because it shows that the abstract, algebraic properties of the cone directly dictate the physical nature of the spacetime it describes. If the cone is well-behaved, the spacetime it generates will have the correct structure to support the laws of physics as we know them.

Finally, the paper connected two seemingly different ideas of completeness: the idea that a space is complete because every sequence of points that should converge actually does, and the idea that a space is complete because every ordered list of points has a limit. The researchers proved that for these hyperbolic structures, these two concepts are equivalent. If the space is complete in the sense of its geometric measurements, it is also complete in the sense of its ordering of time and space. This equivalence bridges the gap between the geometric view of spacetime and the logical, ordered view, suggesting that the two perspectives are inextricably linked. The work does not claim to solve all mysteries of the universe, but it provides a solid, proven foundation for understanding how the fundamental cones of spacetime relate to the larger geometric structures they inhabit, offering a clearer path for future investigations into the nature of gravity and the fabric of reality.

Technical Summary: Topological Cones and Positively Polarizable Hyperbolic Norms

Problem Statement
This work addresses the foundational properties of hyperbolic norms, a Lorentzian analogue to standard norms defined on vector spaces with positive definite inner products. While hyperbolic norms were recently introduced in [1] as 1-homogeneous functions satisfying the reverse triangle inequality on the future cone of a vector space, their behavior when defined intrinsically on linear cones (rather than full vector spaces) requires further investigation. Specifically, the authors aim to:

Establish the algebraic and topological framework for linear cones over totally ordered fields, specifically constructing the "spanned vector space" and determining the appropriate topologies on it.
Investigate "positively polarizable" hyperbolic norms defined on linear cones over $\mathbb{R}$ to determine the nature of the induced inner product on the spanned space.
Clarify the relationship between order-theoretic completeness (sequential forward completeness) and metric completeness under the Wick rotation of the induced inner product.

Methodology
The paper proceeds in two main parts, utilizing tools from convex geometry, functional analysis, and category theory.

Part I: Linear Cones and Topologies (Sections 2):
The authors study linear cones $F$ over a totally ordered field $K$ . They define a linear cone as a cancellative, Abelian monoid with compatible scalar multiplication by non-negative scalars.
- Algebraic Construction: Using the Grothendieck group construction, they prove that every linear cone $F$ embeds uniquely into a $K$ -vector space, denoted $\text{span}(F)$ , which satisfies a universal property regarding $K^+$ -linear maps.
- Topological Construction: They define topological linear cones where addition and non-negative scalar multiplication are continuous. By employing a "solution set" argument (analogous to the Freyd adjoint functor theorem), they construct a universal topology ( $\tau_{\text{univ}}$ ) on $\text{span}(F)$ . This topology makes $\text{span}(F)$ a topological vector space and ensures that any continuous $K^+$ -linear map from $F$ to a topological vector space extends uniquely to a continuous linear map from $\text{span}(F)$ .
- Norm Topologies: The authors compare $\tau_{\text{univ}}$ with the quotient topology and norm-induced topologies. They prove that if $F$ carries the subspace topology of a norm on $\text{span}(F)$ and has a non-empty interior, the universal topology, quotient topology, and the norm topology coincide.
Part II: Positively Polarizable Hyperbolic Norms (Section 3):
Focusing on cones over $\mathbb{R}$ , the authors analyze hyperbolic norms $\|\cdot\|$ that satisfy a "positive polarizability" condition (a parallelogram-like identity).
- Induced Inner Product: They demonstrate that such norms induce a symmetric bilinear form on $\text{span}(F)$ via a polarization identity. Under conditions of finiteness, non-triviality, and strict hyperbolicity, this form is non-degenerate.
- Lorentzianity: The paper establishes sufficient conditions under which this induced inner product is Lorentzian (signature $(+, -, \dots, -)$ ). These conditions include $F$ being a future cone, the existence of a core element with unit norm, or specific boundary conditions on the inner product.
- Completeness Equivalence: The authors define a "Lorentz–Hilbert space" as a Lorentzian space complete under the positive-definite Wick rotation (the induced Euclidean norm). They prove an equivalence theorem: $\text{span}(F)$ is a Lorentz–Hilbert space if and only if it is sequentially forward complete with respect to the partial order induced by $F$ (assuming the interior of $F$ is non-empty).

Key Contributions and Results

Universal Span and Topology (Theorems 2.7, 2.11):
The paper rigorously constructs the spanned vector space $\text{span}(F)$ for any linear cone $F$ over a totally ordered field. It establishes the existence of a universal topology on $\text{span}(F)$ that turns the inclusion map into a topological embedding (under specific interior conditions) and satisfies a universal property for continuous linear extensions. This formalizes the transition from cone-based structures to vector space-based analysis.
Non-degeneracy and Lorentzianity (Theorems 3.6, 3.22):
The authors prove that for a proper, finite, strictly hyperbolic, and positively polarizable cone, the induced inner product is non-degenerate. Furthermore, they provide three distinct sufficient conditions (future cone structure, existence of a core element, or boundary vanishing) that guarantee the induced inner product is Lorentzian, without assuming finite dimensionality.
Equivalence of Completeness Notions (Theorem 3.34):
A central result is the equivalence between order-theoretic completeness (sequential forward completeness of non-decreasing, order-bounded sequences) and metric completeness under the Wick rotation. This links the causal structure of the cone with the analytic properties of the induced Lorentzian geometry.
Characterization of Future Cones (Proposition 3.25):
The paper characterizes when a cone $F$ is a future cone in its span: this occurs if and only if $F$ is self-dual and contains a core element with non-zero norm.

Significance and Claims
The paper positions itself as a continuation of the foundational work on hyperbolic norms initiated in [1]. Its primary significance lies in:

Generalizing the Domain: Shifting the study of hyperbolic norms from vector spaces to linear cones, aligning with the perspective that Lorentz–Finsler structures are naturally defined on tangent cones (as noted in [7]).
Bridging Algebra and Analysis: Providing a rigorous categorical and topological framework (via the universal span and topology) that allows cone-based definitions to be analyzed using standard vector space tools.
Connecting Completeness: Establishing a direct link between the order-theoretic properties of the cone (sequential forward completeness) and the metric completeness of the associated Lorentzian geometry. This suggests that the causal structure of the cone inherently dictates the analytic completeness of the spacetime model.

The authors note that these results do not assume finite dimensionality, distinguishing them from earlier finite-dimensional characterizations. They conclude by identifying open problems, specifically the relationship between positive polarizability and infinitesimal Minkowskianity in infinite dimensions, and the extension of timelike curvature-dimension conditions to infinite-dimensional settings. The work is presented as a theoretical foundation for further study in Lorentzian geometry and spacetime structures, particularly those with low regularity.

More like this