🔢 mathematics

Connections on Associative Varieties

This paper generalizes the concept of connections from smooth manifolds to associative varieties, leveraging a faithful embedding of manifolds into this category to prove the existence of geodesics within associative varieties.

Original authors: Arvid Siqveland

Published 2026-07-17

📖 5 min read🧠 Deep dive

CC0 1.0

Original authors: Arvid Siqveland

Original paper dedicated to the public domain under CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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

The Map and the Compass: Navigating a Bumpy Universe

Imagine you are trying to draw a map of a city, but the streets don't just go straight; they twist, turn, and sometimes the rules of geometry change depending on which block you are standing on. In the world of mathematics, this is the challenge of studying "manifolds"—shapes that look flat and simple up close (like a sheet of paper) but can be curved and complex when you step back (like the surface of a sphere). For centuries, mathematicians have used smooth, predictable rules to navigate these shapes, defining things like "straight lines" and "speed" to understand how objects move through space and time.

However, some scientists have started asking a wilder question: What if the universe isn't perfectly smooth? What if, at its deepest level, the rules of geometry are "associative" but not "commutative"? In everyday language, "commutative" means the order doesn't matter (like adding 2 apples and 3 oranges is the same as 3 oranges and 2 apples). "Non-commutative" means order does matter (like putting on your socks before your shoes is different from shoes before socks). This paper lives in the corner of science called algebraic geometry, where researchers build models of space using complex algebraic equations rather than just drawing pictures. The big idea here is that if we can treat the universe as a "non-commutative associative variety," we might be able to define what "distance" and "time" actually mean in a universe that is fundamentally messy and order-dependent. To do this, we need a new kind of compass: a mathematical tool called a connection, which tells us how to move in a straight line even when the ground beneath us is shifting.

The Paper's Journey: Building a Compass for a Weird Universe

In this paper, Arvid Siqveland takes a bold step to generalize the tools we use to navigate smooth, familiar shapes and applies them to these new, "associative varieties." Think of a smooth manifold as a perfectly polished marble floor where you can roll a ball in a straight line forever. An associative variety is more like a floor made of interlocking, slightly shifting puzzle pieces where the rules of movement change depending on which piece you are on. The paper's main goal is to prove that even on this bumpy, shifting floor, we can still define what a "straight line" (a geodesic) looks like and prove that such a path actually exists.

The author starts by showing how to embed the familiar world of smooth shapes into this new, stranger world of associative varieties. It's like taking a standard map of a city and overlaying it onto a holographic projection that changes shape as you walk through it. Once this foundation is laid, the paper introduces the concept of a connection. In simple terms, a connection is a rulebook that tells a traveler how to keep moving in the same direction when the ground beneath them tilts. On a smooth surface, if you walk north, you keep walking north. On a shifting associative variety, "north" might change meaning every step you take. The connection is the mathematical formula that corrects for this shift, allowing you to calculate your true direction.

Siqveland then uses this connection to define geodesics. In the real world, a geodesic is the shortest path between two points, like a plane flying a great circle route over the Earth. In this paper, a geodesic is defined as a path where the "acceleration" is zero. Imagine you are driving a car; if you aren't pressing the gas or the brakes, and you aren't turning the wheel, you are moving in a straight line. The paper proves that for any starting point and any starting direction in an associative variety, there is one and only one such "straight" path that the object can follow.

The paper doesn't just guess that these paths exist; it constructs them mathematically. By defining how to differentiate (measure change) along these curves, the author shows that the "velocity" of a particle moving along a geodesic remains constant relative to the connection. This is a crucial step because, as the author notes, if we can define these paths, we can eventually use them to define distance. And if we have distance, we can define time. This connects back to a grander vision proposed by O. A. Laudal, who suggested the universe itself might be an associative variety. If this paper's math holds up, it means we have the tools to measure the "time" it takes to travel between two points in a universe that is fundamentally non-commutative.

The paper explicitly rules out the idea that these complex shapes are too chaotic to navigate. It argues against the notion that we need smooth, perfect surfaces to define motion. Instead, it demonstrates that by using algebraic structures (specifically free noncommutative polynomial algebras and their tangent varieties), we can build a robust system of navigation. The confidence here is high within the mathematical framework: the author provides definitions, lemmas, and theorems that logically prove the existence of these geodesics. It is not a simulation or a suggestion; it is a proof that, given the rules of associative varieties, geodesics are a guaranteed feature.

So, what does this mean for a curious teenager? It means that even if the universe is a giant, shifting puzzle where the order of events matters, we still have the mathematical keys to find our way. We can draw a line from point A to point B, even if the space between them is weird. We can define a "straight line" in a world that doesn't want to be straight. And by doing so, we might just be one step closer to understanding the very fabric of time and space, turning abstract algebra into a map for the cosmos.

Technical Summary: Connections on Associative Varieties

Problem and Context
The paper addresses the generalization of differential geometric concepts, specifically connections and geodesics, from the category of smooth real manifolds to the broader category of associative varieties. Building upon previous work where smooth real $n$ -manifolds were faithfully embedded into the category of associative varieties [4], the author seeks to extend the interpretation of connections on manifolds to this noncommutative setting. The ultimate objective is to establish the existence of geodesics within associative varieties, thereby enabling the definition of distance and time via Riemannian metrics, a concept proposed by O. A. Laudal [1] as a model for the universe.

Methodology
The methodology relies on a categorical and algebraic approach to geometry, following the framework established in [4] and the geometric interpretations in John M. Lee's Introduction to Riemannian Manifolds [2].

Algebraic Framework: The paper utilizes real associative varieties defined as schemes formed by gluing affine varieties. The notation $R\langle n \rangle$ denotes the free noncommutative polynomial algebra, while $R[n]$ denotes the commutative case. Points of an $R$ -algebra $A$ are defined as $Pts_R A = \text{Hom}_R(A, R)$ .
Vector Bundles and Sections: Vector bundles $\pi: E \to X$ are defined locally via $R$ -algebra homomorphisms $\phi: A \to (A \otimes_R R\langle x_1, \dots, x_m \rangle)/I$ . Sections of these bundles correspond to algebra homomorphisms $\sigma$ satisfying specific identity conditions.
Tangent Structures: The tangent variety $TM$ of an associative variety $M = Pts_R A$ is defined as $Pts_R(\text{Ph}(A))$ , where $\text{Ph}(A)$ is a specific algebra involving derivations $dx_i$ . The tangent space $T_p M$ at a point $p$ is defined as $R \otimes_A \text{Ph}(A)$ .
Generalization of Derivatives: The author defines directional derivatives and vector fields algebraically. For a vector field $Y$ with component functions $y_i$ , the Euclidean directional derivative is generalized to $\nabla_v Y$ .
Definition of Connection: A connection $\nabla$ on a vector bundle $E$ over $M$ is defined as a map $\nabla: X(M) \times \Gamma(E) \to \Gamma(E)$ satisfying three axioms: $A$ -linearity in the first argument, $\mathbb{R}$ -linearity in the second, and a Leibniz (product) rule $\nabla_X(fY) = f\nabla_X Y + (Xf)Y$ .
Covariant Derivative along Curves: For a curve $\gamma: \mathbb{R} \to M$ , the paper defines an operator $D_t$ on vector fields along $\gamma$ . This operator is uniquely determined by the connection $\nabla$ and satisfies linearity, a product rule involving the derivative of the scalar function, and consistency with the connection on extendible vector fields.

Key Contributions and Results

Existence of Connections: The paper proves (Proposition 1) that any vector bundle over an associative variety admits a connection. This is established by defining the connection locally on affine covers and showing that the local definitions lift to the global variety due to the gluing nature of associative varieties.
Definition of Geodesics: The author defines the acceleration of a curve $\gamma$ as $D_t \gamma'$ , where $D_t$ is the covariant derivative operator induced by the connection. A curve is defined as a geodesic if its acceleration vanishes identically ( $D_t \gamma' \equiv 0$ ).
Existence and Uniqueness of Geodesics: The primary result (Theorem 2) states that for a smooth manifold $M$ (viewed as an associative variety) with a connection $\nabla$ , and for any initial point $p \in M$ and tangent vector $w \in T_p M$ , there exists a unique geodesic $\gamma: \mathbb{R} \to M$ satisfying $\gamma(t_0) = p$ and $\gamma'(t_0) = w$ . This result is presented as a direct consequence of the established framework, mirroring Theorem 4.27 in Lee [2].

Significance
The paper claims that by successfully generalizing the theory of connections and proving the existence of geodesics in associative varieties, it provides the necessary geometric machinery to interpret Laudal's model of the universe [1]. Specifically, the existence of geodesics allows for the definition of distance via a chosen Riemannian metric, which in turn implies the concept of time within this noncommutative geometric framework. The work serves to bridge the gap between abstract associative algebraic geometry and physical models of spacetime, grounding the latter in the rigorous differential geometry of the former.

The Map and the Compass: Navigating a Bumpy Universe

The Paper's Journey: Building a Compass for a Weird Universe

More like this