Riemannian Geometry on Associative Varieties

✨

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

The Big Picture: Rewriting the Rules of Space and Time

Imagine you are trying to describe the universe. Usually, we think of space as a giant grid (like graph paper) where every point has an address $(x, y, z)$ . This is the "Cartesian" view.

This paper proposes a radical new way to look at things. Instead of a static grid, the author suggests the universe is made of relationships. A "point" isn't just a location; it's a pair: an Observer and an Observed. The universe is the collection of all these pairs.

The paper's main goal is to take the rigid, algebraic rules of geometry (which usually only work with numbers) and stretch them to work with non-commutative algebras (math where the order of operations matters, like $A \times B \neq B \times A$ ). If they succeed, they can define "curves," "distances," and "time" in a universe made of these complex, non-standard mathematical structures.

Part 1: The Old Way vs. The New Way

The Old Way (Classical Geometry):
Think of a classical algebraic variety like a sculpture made of clay. You define it by writing down a list of rules (equations) like $x^2 + y^2 = 1$ . The "points" of the sculpture are just the spots where the rules are satisfied. This works great for smooth, predictable shapes.

The New Way (Associative Varieties):
Now, imagine the clay is replaced by a chaotic, shifting fog where the rules depend on the order you look at them. This is an Associative Algebra.

The Problem: In this fog, you can't just look for "points" easily because the math is too messy.
The Solution: The author says, "Let's stop looking for points and start looking for simple modules."
- Analogy: Imagine trying to find a specific person in a crowded, noisy room. Instead of scanning the whole room, you look for the people who are singing a simple, clear tune (simple modules). These "singers" act as the new "points" of the universe.

By using these "singers" as our reference points, the author builds a new kind of map (a "variety") that works even in this chaotic, non-commutative fog.

Part 2: Bringing in "Smoothness" (Differential Geometry)

Usually, algebra is about sharp corners and exact equations. Geometry (like the kind Einstein used for gravity) is about smooth curves and slopes.

The Bridge: The author realizes that if we swap the standard "polynomial" rules (like $x^2$ ) with "smooth functions" (like the gentle curve of a hill, $C^\infty$ ), we can do calculus on these new, chaotic algebras.
The Result: We can now define connections (how to move from one point to another without slipping) and geodesics (the shortest path between two points) in this new, weird universe.

Analogy: Imagine driving a car.

In Classical Geometry, the road is a straight line drawn on graph paper. You just follow the grid.
In Associative Geometry, the road is a winding, slippery river. The author has invented a new steering wheel (the "Riemannian metric") that allows you to drive smoothly along the river, calculating the exact curve and speed, even though the river flows in a non-standard way.

Part 3: The "Phase Space" and Tangent Bundles

To measure speed and direction, you need a Tangent Space (a flat surface touching a curve at one point, showing which way it's going).

The Innovation: The author creates a "Phase Space" for these algebras.
- Analogy: If the algebra is a machine, the "Phase Space" is the control panel that tells you how the machine changes when you tweak the knobs. It captures the "velocity" of the algebra itself.
By gluing these control panels together, they build a Tangent Variety. This allows them to talk about "vectors" and "directions" in a world that doesn't have a traditional grid.

Part 4: The Riemannian Metric (Measuring Distance)

The climax of the paper is defining a Riemannian Metric.

In normal math, a metric is a ruler. It tells you how far apart two points are.
In this paper, the author proves that you can build a "ruler" for these chaotic associative algebras.
Why it matters: Once you have a ruler, you can define time.
- The Prologue's Idea: The author suggests that if the universe is a collection of (Observer, Observed) pairs, and you have a ruler to measure the "distance" between them, you can define time as the "speed" of moving from one pair to another.
- Metaphor: Time isn't a ticking clock; it's the effort it takes to travel from one relationship to another.

The Epilogue: A New View of the Universe

The paper ends with a philosophical twist. It suggests that our physical universe might actually be this "Associative Variety."

Every point in space is a relationship between an observer and what they see.
The "laws of physics" (like the speed of light) are just the rules of how these relationships connect.
By using this new math, we might be able to describe gravity and time not as forces, but as the natural geometry of these relationships.

Summary in One Sentence

This paper invents a new type of geometry that allows us to measure distance, speed, and time in a universe made of complex, non-standard mathematical structures, effectively turning abstract algebra into a map for the physical world.

Based on the provided preprint "Riemannian Geometry on Associative Varieties" by Arvid Siqveland (dated April 14, 2026), here is a detailed technical summary.

1. Problem Statement

The paper addresses the challenge of extending classical differential geometry and Riemannian geometry to the realm of non-commutative (associative) algebraic structures.

Context: Classical algebraic geometry relies on commutative rings (polynomial rings $k[x_1, \dots, x_n]$ ) and the Zariski topology, where points correspond to maximal ideals. Differential geometry relies on smooth manifolds and $C^\infty$ functions.
The Gap: There is no unified framework that defines "varieties" for general associative (non-commutative) algebras in a way that naturally supports differential geometric concepts like tangent spaces, connections, and Riemannian metrics.
Goal: To construct a theory of "Associative Varieties" that generalizes both classical algebraic varieties and smooth manifolds, allowing for the definition of a Riemannian geometry (including geodesics and connections) on these non-commutative spaces.

2. Methodology

The author employs a categorical and sheaf-theoretic approach, bridging algebraic geometry, category theory, and non-commutative ring theory. The methodology proceeds through several key steps:

A. Generalization of Points and Varieties

From Maximal Ideals to Simple Modules: In commutative geometry, points are maximal ideals ( $m \subset A$ ). In the associative setting, the author replaces localization at maximal ideals with local representations at simple modules.
Local Representability: The paper proves the existence of "local representing objects" ( $A_M$ ) for associative algebras $A$ relative to simple modules $M$ . This involves constructing a subring generated by the image of $A$ and inverses of elements acting non-trivially on $M$ .
Definition of Associative Varieties: An associative variety is defined as a ringed topological space locally isomorphic to the spectrum of an associative algebra ( $Pts_k A$ ), where the topology is generated by basic open sets $D(f) = \{p \mid f(p) \neq 0\}$ .

B. Bridging Algebra and Smooth Geometry

Categorical Differential Geometry: The author draws a parallel between the polynomial ring $R[n]$ and the algebra of smooth functions $C^\infty(R^n)$ .
Equivalence: It is established that the set of $R$ -points for both $R[n]$ and $C^\infty(R^n)$ are in bijective correspondence with $\mathbb{R}^n$ . This allows the definition of "Smooth Categorical Manifolds" which are structurally identical to standard smooth manifolds but defined via sheaves of associative algebras.

C. Construction of Tangent Spaces (Phase Space)

Derivations as Tangent Vectors: Instead of using geometric tangent vectors, the author defines the tangent space algebraically using derivations.
The Phase Space Functor: A new algebra, $Ph(A)$, is constructed as the quotient of the free algebra $A\langle dA \rangle$ by the ideal generated by the Leibniz rule relations ($d(ab) - a(db) - (da)b$).
Universal Property: $Ph(A)$ represents the functor of derivations, serving as the "Phase Space" or tangent algebra. The tangent variety $TX$ is then defined by gluing the spectra of these phase spaces.

D. Riemannian Structure

Tensor Fields: Tensors are defined as homomorphisms between tensor products of the algebra and the base ring.
Metric Definition: A Riemannian metric is defined as a 2-tensor field $g$ such that at every point $p$ , the induced map is an inner product on the tangent space.
Existence Proof: The author proves that every associative geometric variety over $\mathbb{R}$ admits a Riemannian metric. This is achieved by constructing a Euclidean metric on the generators of the algebra and showing it glues globally, bypassing the need for partitions of unity (which are difficult in non-Hausdorff Zariski topologies) by relying on the irreducibility of the variety.

3. Key Contributions

Definition of Associative Varieties: A rigorous definition of algebraic varieties over arbitrary fields for non-commutative associative algebras, utilizing simple modules as the "points" of the space.
Local Representability Theorem: Proof that for any associative algebra $A$ and simple module $M$ , there exists a localizing subcategory and a representing object $A_M$ , generalizing the concept of localization in commutative algebra.
Algebraic Phase Space: The introduction of the Phase Space algebra $Ph(A)$ as the categorical equivalent of the tangent bundle. This provides a purely algebraic construction of tangent vectors via derivations.
Riemannian Geometry on Non-Commutative Spaces: The successful definition and proof of existence for Riemannian metrics on associative varieties. This introduces concepts like algebraic geodesics and connections into non-commutative algebra.
Unification of Views: The paper unifies the "Cartesian" view of space (coordinates) with a "Relational" view (observer-observed pairs), suggesting a new interpretation of physical space where time is a Riemannian metric on the space of observer-observed pairs.

4. Results

Theorem 1: Establishes the existence of a localizing category where local representing objects exist for associative rings relative to simple modules.
Lemma 6 & 7: Proves that the Phase Space functor $Ph(A)$ represents the functor of derivations and is functorial with respect to algebra homomorphisms.
Proposition 1: Every associative $n$ -geometric variety over $\mathbb{R}$ possesses a Riemannian geometry. The proof constructs a metric explicitly using the generators of the algebra and the differential structure of the Phase Space.
Gluing Lemma: Demonstrates that local affine associative varieties can be glued together to form global associative varieties, ensuring the consistency of the tangent bundle construction.

5. Significance

Theoretical Physics Implications: The paper suggests a profound link between non-commutative geometry and physical reality. By defining the universe as a space of "observer-observed" pairs ( $U = (R^6 \setminus \Delta)/GL(3)$ ) and defining time as a Riemannian metric on this space, the author proposes a framework where physical laws (including speed limits and time) emerge from the geometric structure of associative algebras.
Mathematical Synthesis: It bridges the gap between Algebraic Geometry (Zariski topology, schemes) and Differential Geometry (smooth manifolds, Riemannian metrics) in the non-commutative setting. This is a significant step toward a "non-commutative differential geometry" that does not rely solely on operator algebras (C*-algebras) but uses ring-theoretic methods.
New Geometric Tools: By defining connections and geodesics algebraically, the paper opens the door to studying "curves" and "dynamics" purely within the language of associative algebras, potentially offering new tools for quantum gravity or non-commutative field theories.

Conclusion

Arvid Siqveland's paper presents a bold theoretical framework that redefines the foundations of geometry for non-commutative algebras. By replacing maximal ideals with simple modules and polynomial rings with smooth function algebras, the author successfully constructs a Riemannian geometry on associative varieties. This work not only generalizes classical results but also proposes a novel geometric interpretation of the physical universe where space, time, and motion are derived from the algebraic properties of associative rings.