🔢 mathematics

Finding suitably generic points on curves with an application to the construction of rigid real closed fields

This paper establishes the existence of algebraically independent points on specific irreducible curves over algebraically closed fields of characteristic zero and utilizes this result to construct non-Archimedean real closed fields of transcendence degree up to $\aleph_1$ that possess no non-trivial automorphisms.

Original authors: Dragos Ghioca, David Marker, Charles Steinhorn

Published 2026-08-20

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Dragos Ghioca, David Marker, Charles Steinhorn

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

Mathematics often explores the hidden architecture of numbers, asking how they relate to one another and what rules govern their behavior. In one branch of this field, researchers study fields, which are collections of numbers where you can add, subtract, multiply, and divide without ever getting stuck. Some of these fields are "real closed," meaning they behave very much like the familiar number line we use in daily life, complete with a clear sense of order where one number is bigger than another. Within these systems, mathematicians look for "rigid" structures. A rigid structure is one that is so tightly bound by its own internal rules that it cannot be twisted or reshuffled in any meaningful way; the only way to rearrange its elements without breaking the rules is to leave every single one exactly where it started. For a long time, it was known that certain simple number systems were rigid, but mathematicians wondered if this property could exist in more complex, non-standard systems that stretch far beyond the ordinary number line.

The question of whether these complex, rigid systems exist has been a puzzle for decades. While some earlier work suggested they might exist under very specific, complicated conditions, a definitive construction for a wide range of these systems remained elusive. The challenge lies in finding points within these mathematical landscapes that are "generic" enough to avoid falling into predictable patterns, yet specific enough to lock the entire system into a rigid shape. If a system has too many symmetries or ways to be rearranged, it is flexible rather than rigid. The goal is to build a system so unique that it has no hidden symmetries at all.

In a recent paper, a team of mathematicians from the University of British Columbia, the University of Illinois Chicago, and Vassar College has advanced the understanding of these systems. They proved that it is possible to construct rigid real closed fields with a specific measure of complexity, known as transcendence degree, ranging from two up to a very large infinite number called aleph-one. Their work provides a method for building these structures, confirming that they are not just theoretical possibilities but can be systematically created, building upon a foundation laid by previous researchers.

To understand how they did this, one must first look at the curves they studied. Imagine a smooth, continuous line drawn on a flat surface, but instead of being made of simple numbers, this line exists in a vast, complex mathematical space. The researchers focused on curves that are not defined by simple, pre-existing rules found in basic arithmetic. They asked a fundamental question: can you find a point on such a curve where the coordinates are completely independent of one another? In simpler terms, can you find a spot on the line where the horizontal and vertical positions do not follow a predictable, algebraic pattern derived from the rational numbers?

The team showed that for almost any such curve in a sufficiently complex space, the answer is yes. They demonstrated that there are points on these curves where the coordinates are algebraically independent, meaning they do not satisfy any polynomial equation with rational coefficients. This might sound abstract, but it is the key to unlocking rigidity. If you can find points that are truly independent, you can use them to build a system that resists any attempt to rearrange it. The researchers used a sophisticated tool called "height," which measures the complexity of a number, to prove that most points on these curves are indeed independent. By showing that points with high complexity are abundant, they could guarantee the existence of the specific points needed for their construction.

The breakthrough came when they extended this idea to pairs of curves. They considered two curves and a relationship connecting them, asking if they could find matching points on both curves that were simultaneously independent. They proved that such matching points always exist. This result was crucial because it allowed them to link different parts of their mathematical construction together without introducing any unwanted symmetries. By carefully selecting these independent points, they could ensure that the resulting field would have a unique property: for any algebraically independent pair of numbers, there is only one such pair in the entire field that shares its specific logical description (or "type"). This uniqueness is what forces the system to be rigid, as it prevents the existence of distinct pairs that could be swapped or mapped onto one another by an automorphism.

With this foundation, the team moved to the final stage of their work: building the actual fields. They started with a known, smaller rigid field constructed in a 2018 paper by Marker and Steinhorn and used their new theorem to expand it step by step. At each step, they added new numbers in a way that preserved the property of having unique independent pairs. They constructed a specific type of mathematical object, known as a type, in stages to ensure that the new numbers they added maintained the necessary independence. Because they could control the complexity of the numbers they added, they were able to build fields of increasing size. They showed that this process could continue indefinitely, creating fields of any size up to the limit of aleph-one.

The result is a family of mathematical worlds that are both vast and completely rigid. These fields are non-Archimedean, meaning they contain numbers that are infinitely large or infinitely small compared to the standard counting numbers, yet they possess a rigidity that prevents any internal rearrangement. The authors note that while earlier work had constructed such fields of specific sizes, their method is more general and covers a continuous range of complexities. They also point out that their construction relies on the assumption that the starting field has a certain property, which they proved is satisfied by their initial example.

This work settles a long-standing question in the field of model theory and real algebraic geometry. It confirms that the rigid, non-Archimedean worlds are not rare anomalies but can be systematically constructed across a wide spectrum of sizes. The researchers did not just prove that these fields exist; they provided a framework for building them. While the construction is complex and relies on deep theoretical tools, the outcome is clear: there are infinitely many ways to build a number system that is so unique it cannot be changed, even by the most powerful mathematical rearrangements. The paper leaves open the question of whether such fields can be built for even larger sizes, but for the range they covered, the answer is a definitive and constructive yes.

Technical Summary: Finding Suitably Generic Points on Curves with an Application to the Construction of Rigid Real Closed Fields

Problem Statement
The paper addresses two interconnected problems in model theory and arithmetic geometry. First, it investigates the existence of "suitably generic" points on algebraic curves. Specifically, given an algebraically closed field $K$ of characteristic 0 with transcendence degree at least 2, and an irreducible curve $C \subset K^2$ defined over $K$ but not over the algebraic closure of $\mathbb{Q}$ , the authors seek to determine if $C$ contains a point $(x, y)$ where the coordinates $x$ and $y$ are algebraically independent. The authors further consider the case of a finite-to-finite algebraic correspondence between two such curves, asking if one can find corresponding points on both curves that are simultaneously algebraically independent.

Second, the paper applies these geometric results to the construction of rigid non-Archimedean real closed fields. A structure is rigid if it admits no non-trivial automorphisms. While Archimedean real closed fields are rigid, the existence of non-Archimedean rigid fields of specific transcendence degrees (particularly countable or uncountable up to $\aleph_1$ ) has been a subject of investigation, with previous results relying on set-theoretic assumptions (e.g., $\diamondsuit_{\omega_1}$ ) or producing fields of very large cardinality.

Methodology
The primary technical tool employed is the theory of Weil heights, specifically utilizing a recent result by Ghioca, Masser, and Zannier [2] regarding the boundedness of heights on intersections of curves.

Height Machinery: The authors define Weil heights for points in $K$ relative to a transcendence base. They utilize Theorem 2.1 (Ghioca–Masser–Zannier), which states that if $C$ is an irreducible curve not defined over a subfield of transcendence degree $\le 1$ , then the set of points on $C$ that lie on curves defined over a smaller field $k$ has bounded height.
Generic Point Construction: By combining the bounded height theorem with Lemma 2.2 (which establishes a linear relationship between the heights of coordinates on a curve projecting dominantly), the authors demonstrate that one can select points with sufficiently large height. Points of sufficiently large height cannot lie on curves defined over smaller fields, thereby ensuring algebraic independence of coordinates.
Case Analysis: The proof of the main theorem (Theorem 3.2) proceeds by a detailed case analysis of the projections of a curve $C \subset K^4$ onto coordinate planes. The authors handle scenarios where projections are points, curves defined over subfields of transcendence degree 1, or curves not defined over such subfields, systematically reducing the problem to the application of the height bounds.
Real Closed Fields Extension: In Section 4, the authors adapt these algebraic results to real closed fields. They utilize o-minimality and quantifier elimination to relate definable functions to algebraic curves. They introduce the concept of "unique independent pairs" (where any algebraically independent pair realizes a unique type) and prove that this property implies rigidity.
Iterative Construction: In Section 5, the authors construct a non-Archimedean real closed field with unique independent pairs by iteratively extending a base field. At each stage, they use the main theorem to find a type $p$ such that adjoining a realization of $p$ preserves the "unique independent pairs" property, ensuring no new automorphisms are introduced.

Key Contributions and Results

Proposition 3.1: Proves that if $K$ is an algebraically closed field of characteristic 0 with $\text{td}(K) \ge 2$ and $C \subset K^2$ is an irreducible curve not defined over $\overline{\mathbb{Q}}$ , then $C$ contains a point $(x, y)$ with algebraically independent coordinates.
Theorem 3.2: Generalizes the above to correspondences. If $C \subset K^4$ is an irreducible curve whose projections $C_0, C_1 \subset K^2$ are not contained in curves defined over $\overline{\mathbb{Q}}$ , then there exists a point $(x_0, y_0, x_1, y_1) \in C$ such that $(x_0, y_0)$ and $(x_1, y_1)$ are both pairs of algebraically independent coordinates.
Corollary 4.3: Establishes the existence of points $z$ in an interval $(a, b)$ of a real closed field $K$ such that definable functions $f_i, g_i$ map $z$ to algebraically independent pairs, provided $K$ satisfies a density condition on its subfields.
Theorem 5.3 & Corollary 5.5: The authors construct non-Archimedean real closed fields of transcendence degree $\kappa$ (for $2 \le \kappa \le \aleph_1$ ) that possess "unique independent pairs." They prove that any such field is rigid. This construction is performed within ZFC, avoiding the need for combinatorial principles like $\diamondsuit_{\omega_1}$ used in earlier set-theoretic constructions.

Significance and Claims
The paper claims to provide a new, model-theoretic construction of rigid non-Archimedean real closed fields. The authors note that while previous work by Marker and Steinhorn [5] and Lange [4] constructed rigid fields of finite transcendence degree and countable transcendence degree respectively, this work extends the construction to all transcendence degrees up to $\aleph_1$ .

The significance lies in the application of arithmetic geometry tools (heights) to solve a model-theoretic problem regarding automorphisms. The authors explicitly state that their construction allows for fields of transcendence degree $\kappa$ for all $2 \le \kappa \le \aleph_1$ . They modestly note that their method, based on Theorem 5.3, reaches a limit at $\aleph_1$ and that it remains an open question whether ZFC alone suffices to prove the existence of such fields of cardinality $2^{\aleph_0}$ (which may exceed $\aleph_1$ ). The paper does not claim to resolve the existence of rigid fields of arbitrary large cardinality, nor does it propose experimental applications, focusing strictly on the theoretical construction within the framework of real closed fields.

More like this