Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups

This paper extends the correspondence between automorphism groups and $\aleph_0$-categorical structures to the locally Roelcke precompact and locally $\aleph_0$-categorical settings by defining the latter, proving a Ryll-Nardzewski theorem, characterizing the associated groups via isometric actions, and establishing that bi-interpretability of structures is equivalent to the isomorphism of their automorphism groups.

The Gist

Imagine you are a detective trying to understand the hidden rules of a massive, infinite city. In mathematics, this "city" is a structure (a collection of points with specific relationships), and the "rules" are the laws that govern how those points interact.

For a long time, mathematicians had a special case: $\aleph_0$-categorical structures. Think of these as cities with a very specific, rigid symmetry. If you look at any group of $n$ people in the city, there are only a finite number of "types" of groups you can find. No matter how you rearrange the city, you can't create a new kind of group; you just shuffle existing ones.

In the world of continuous logic (where distances are measured rather than just "yes/no" connections), these special cities correspond perfectly to Roelcke precompact groups.

• The City: The mathematical structure.
• The Police Force: The group of all symmetries (automorphisms) that can move the city around without breaking its rules.
• The Connection: If the city is "finite in variety" (locally $\aleph_0$-categorical), the police force is "compact" in a specific way (Roelcke precompact). They are so organized that they can't wander off infinitely far in a chaotic way; they are always "close" to doing something familiar.

The New Discovery: "Local" Cities

The authors of this paper, Itai Ben Yaacov and Todor Tsankov, asked: What if the city isn't just one finite-variety block, but an infinite chain of them?

Imagine a city that stretches infinitely in both directions, like a long train of identical train cars.

• Inside one car, everything is perfectly symmetric and finite in variety (like the old $\aleph_0$-categorical cities).
• But if you look at the whole train, it's infinite. You can walk from car 1 to car 1,000,000.

This is a Locally $\aleph_0$-categorical structure.

• "Locally" means: If you zoom in on any single train car (or any finite cluster of cars), it looks like the old, perfect, finite-variety city.
• "Globally" it's huge and unbounded.

The corresponding police force for this infinite train is a Locally Roelcke precompact group.

• These groups aren't "compact" (they can wander infinitely far), but they are "locally compact." If you stand still and look at the officers nearby, they are well-behaved. If you look at the whole group, they are organized in a way that respects the "coarse" geometry (the big picture) of the infinite train.

The Big Breakthroughs

The paper builds a bridge between these "infinite trains" and their "police forces." Here are the main ideas, translated into everyday metaphors:

1. The "Localizing" Ruler

In the old, finite cities, you could measure distance with a standard ruler. In these infinite trains, you need a special Localizing Metric.

• The Metaphor: Imagine a ruler that works perfectly for measuring the distance between two people in the same train car. But if you try to measure the distance between someone in Car 1 and someone in Car 1,000,000, the ruler breaks and says "Infinity."
• Why it matters: This "broken" ruler is actually the key. It tells you exactly which points belong to the same "local neighborhood" (finite distance) and which are in different worlds (infinite distance). The paper proves that every such city has a unique, definable ruler like this.

2. The "Prime Model" (The Perfect Blueprint)

In model theory, there's a concept called a Prime Model.

• The Metaphor: Imagine you have a blueprint for a house. You can build a million houses from it, but the "Prime Model" is the original, smallest, most essential version. Every other house is just a copy or an expansion of this one.
• The Result: The authors prove that for these infinite-train cities, there is a unique "Prime Model" (a single train car that represents the whole theory). If you know the police force of this single car, you know the police force of the whole infinite train.

3. The "Bi-Interpretability" Secret

This is the paper's crown jewel.

• The Metaphor: Imagine two different cities, City A and City B. They look totally different on the surface. Maybe City A is made of glass, and City B is made of stone.
• The Discovery: If the Police Forces of City A and City B are essentially the same (isomorphic as topological groups), then City A and City B are actually the same city underneath. You can translate every rule of City A into City B and vice versa.
• Why it's cool: It means the "shape" of the symmetry group completely determines the "shape" of the mathematical structure, even if that structure is an infinite train of local components.

Real-World Examples

The paper isn't just abstract theory; it applies to things we know:

• The Integers ($\mathbb{Z}$):

  • The City: The number line $... -2, -1, 0, 1, 2 ...$ with the "successor" function (move to the next number).
  • The Result: This is a "Locally $\aleph_0$-categorical" structure. It's a train of identical steps.
  • The Contrast: If you add the "less than" sign ($<$) to the integers, it breaks the local symmetry because you can now compare numbers that are infinitely far apart in a way that creates new, non-local rules. So, $(\mathbb{Z}, s)$ is "local," but $(\mathbb{Z}, <)$ is not.

• Banach Spaces (Infinite-Dimensional Geometry):

  • Think of a space where you can have infinite dimensions (like a vector space used in quantum mechanics or data science).
  • The paper shows that the unit ball (a bounded shape inside this space) is "finite in variety" ($\aleph_0$-categorical) if and only if the entire infinite space (the affine Banach space) is "locally finite in variety."
  • This connects the study of bounded shapes to the study of infinite spaces, showing they are two sides of the same coin.

Summary

In simple terms, this paper says:

"We used to know that 'perfectly symmetric, finite cities' match up with 'tightly organized police forces.' Now, we've figured out that 'infinite cities made of perfect local neighborhoods' match up with 'police forces that are organized locally but can wander infinitely.' We found a special ruler that measures these neighborhoods, and we proved that if two such cities have the same police force, they are secretly the same city."

This unifies the study of symmetry groups and mathematical structures, extending a classic theorem to the vast, infinite landscapes of modern geometry and logic.

Technical Summary

Here is a detailed technical summary of the paper "Locally $\aleph_0$-Categorical Theories and Locally Roelcke Precompact Groups" by Itaï Ben Yaacov and Todor Tsankov.

1. Problem Statement and Motivation

The paper aims to extend the classical correspondence between $\aleph_0$-categorical structures and Roelcke precompact Polish groups to a broader, "local" setting.

• Background: In continuous logic, a separable structure $M$ is $\aleph_0$-categorical if and only if its automorphism group $G = \text{Aut}(M)$ is Roelcke precompact (precompact in the Roelcke uniformity). This equivalence allows for a deep interplay between model theory and topological group theory, where definable sets correspond to $G$-invariant sets, and bi-interpretability corresponds to topological group isomorphism.
• The Gap: Many natural mathematical objects (e.g., infinite-dimensional hyperbolic spaces, affine Banach spaces, metrically homogeneous graphs) do not fit the strict $\aleph_0$-categorical framework because their automorphism groups are not Roelcke precompact, nor are the structures compact. However, these objects often exhibit "local" regularity: they can be viewed as disjoint unions of components at infinite distance, where each component behaves like an $\aleph_0$-categorical structure.
• Goal: The authors seek to define locally $\aleph_0$-categorical structures and locally Roelcke precompact groups and establish a precise correspondence between them, analogous to the classical Ryll-Nardzewski theorem.

2. Methodology and Definitions

The authors introduce several new concepts to handle the "coarse" geometric nature of these structures, where interactions occur only within bounded distances.

A. Locally Roelcke Precompact Groups

• Definition: A topological group $G$ is locally Roelcke precompact if the identity element admits a Roelcke precompact neighborhood.
• Coarse Geometry: The paper utilizes Rosendal's coarse geometry framework. A set is coarsely bounded if it is bounded for every continuous left-invariant pseudo-metric. An action $G \curvearrowright X$ is coarsely proper if for every $x \in X$ and $r > 0$, the set $\{g \in G : d(x, gx) < r\}$ is coarsely bounded.
• Key Characterization: The authors prove that a Polish group $G$ is locally Roelcke precompact if and only if it admits a compatible, coarsely proper, left-invariant metric such that the quotient spaces of powers of the completion are proper metric spaces.

B. Locally $\aleph_0$-Categorical Theories

• Weakly Local Theories: A theory $T$ is weakly local if its models can be decomposed into disjoint "local components" (equivalence classes under an invariant relation $\sim$) with no interaction between them. Each component is an elementary substructure.
• Localising Metric: A definable generalised metric $d$ (taking values in $[0, \infty]$) is localising if $d(a, b) < \infty$ if and only if $a \sim b$. This metric captures the coarse structure.
• Locally Isolated Types: The authors generalize the notion of isolated types. A type $p$ is locally isolated if the relation $i \sim_p j$ (defined by whether $\text{tp}(a_i, a_j)$ is isolated) forms an equivalence relation, and the restriction of $p$ to each equivalence class is isolated.
• Definition: A theory is locally $\aleph_0$-categorical if it is weakly local and admits a unique separable local model (up to isomorphism).

C. Properly $G$-Invariant Predicates

To characterize definable predicates in this setting, the authors introduce proper $G$-invariance. A predicate $P$ is properly $G$-invariant if it is $G$-invariant and, roughly speaking, its limit exists as group elements "diverge to infinity" (leaving every coarsely bounded set). This condition handles the behavior of predicates at infinite distances.

3. Key Contributions and Results

A. The Metrisation Theorem (Theorem 2.7)

The paper establishes a fundamental link between open equivalence relations and metrics:

• Result: If $T$ is a theory in a separable language and $\sim$ is an open equivalence relation on its models, there exists a definable generalised metric $d$ such that $d(a, b) < \infty \iff a \sim b$.
• Significance: This allows the authors to treat the "local components" of a structure as metric balls of finite radius, providing a rigorous metric framework for the "local" logic.

B. The Local Ryll-Nardzewski Theorem (Theorem 3.8)

This is the central model-theoretic result:

• Result: A weakly local theory $(T, \sim)$ is locally $\aleph_0$-categorical if and only if $T$ is complete and all types are locally isolated.
• Consequences:
  • The unique separable local model is the prime model.
  • The space of isolated types $I_n(T)$ is dense and open in the type space $S_n(T)$.
  • The relation $\sim$ is exactly the relation of having an isolated 2-type.

C. Correspondence with Group Actions (Theorem 1.10 & 3.13)

The authors characterize locally Roelcke precompact groups via their actions on metric spaces:

• Group Characterization: A Polish group $G$ acting on a complete separable metric space $X$ is locally Roelcke precompact with a coarsely proper action if and only if the quotient space $X^n/G$ is a proper metric space (closed bounded sets are compact) for all $n$.
• Structure Characterization: A structure $M$ is locally $\aleph_0$-categorical with a localising metric if and only if:
  1. $M/G$ is compact.
  2. Every atomic formula is properly $G$-invariant.
  3. $M^n/G$ is a proper metric space for all $n$.

D. Definability and Bi-interpretability (Theorem 4.4 & 5.7)

• Definability: A predicate $P$ on a locally $\aleph_0$-categorical structure is definable if and only if it is uniformly continuous and properly $G$-invariant.
• Bi-interpretability: Two locally $\aleph_0$-categorical structures are bi-interpretable if and only if their automorphism groups are isomorphic as topological groups. This mirrors the classical result but requires the structures to share the same coarse geometry.

E. Application to Banach Spaces (Theorem 6.12)

The paper applies these results to Banach spaces:

• Result: The unit ball $E_1$ of a separable Banach space $E$ (viewed as a metric convex structure) is $\aleph_0$-categorical if and only if the affine Banach space $E$ (viewed as a pure unbounded metric space) is locally $\aleph_0$-categorical.
• Implication: This connects the classical model theory of Banach spaces (e.g., $L_p$ spaces, Gurarij space) with the coarse geometry of their affine isometry groups.

4. Significance and Impact

1. Unification of Discrete and Continuous Logic: The paper successfully bridges the gap between the discrete world of oligomorphic permutation groups and the continuous world of Roelcke precompact groups, extending it to the "coarse" world of locally Roelcke precompact groups.
2. New Class of Structures: It provides a rigorous framework for studying structures that are "locally" well-behaved but globally unbounded, such as infinite-dimensional hyperbolic spaces and affine Banach spaces.
3. Coarse Geometry in Model Theory: By introducing "properly invariant" predicates and "localising metrics," the authors integrate coarse geometric concepts (like coarse boundedness and properness) directly into continuous model theory.
4. Counter-examples and Nuance: The paper highlights that local $\aleph_0$-categoricity is not preserved under reducts (unlike standard $\aleph_0$-categoricity), demonstrating the delicacy of the local setting.
5. Classification of Groups: It offers a new characterization of locally Roelcke precompact groups purely in terms of their isometric actions on metric spaces, providing tools to verify this property for specific groups (e.g., isometry groups of Urysohn spaces, hyperbolic spaces).

In summary, this paper establishes a robust "local" model theory that parallels the classical theory, enabling the classification and analysis of a wide range of infinite-dimensional mathematical structures through the lens of their automorphism groups' coarse geometry.