On the Structure of Asymptotic Space of the Lobachevsky Plane

This paper provides an exhaustive description of the asymptotic spaces of the Lobachevsky plane using Nonstandard Analysis, revealing that while these spaces are R-trees, their specific nonisometric structures and cardinalities vary depending on the chosen nonstandard extension of the standard universe.

The Gist

The Big Picture: Zooming Out to Infinity

Imagine you are standing in a vast, infinite forest (the Lobachevsky Plane, or Hyperbolic Plane). In this forest, the trees get bigger and the paths get longer the further you go. If you look at a single tree, it looks normal. But if you zoom out, the whole forest starts to look different.

Mathematicians want to know: What does this forest look like if you zoom out so far that you are looking at it from "infinity"?

This "view from infinity" is called the Asymptotic Space. The paper by A. Shnirelman tries to answer two questions:

1. What shape does this infinite view take?
2. Is there only one way to see it, or are there many different views?

The Problem: The "Blurry" Camera

In the 1980s, a famous mathematician named Mikhail Gromov invented a way to describe this "view from infinity." He suggested shrinking the world down. Imagine taking a photo of the forest, then shrinking the photo by half, then by a tenth, then by a billionth. As you shrink it more and more ($\epsilon \to 0$), what shape does the forest become?

The problem is that for complex shapes like the Lobachevsky plane, the answer isn't a single, clear picture. It depends on how you shrink it and what kind of camera (mathematical model) you use.

The Tool: Non-Standard Analysis (The "Super-Microscope")

To solve this, the author uses a mathematical tool called Non-Standard Analysis (NSA). Think of NSA as a super-microscope that can see numbers that are infinitely small (infinitesimals) and infinitely large.

• Standard Numbers: The regular numbers we use every day (1, 2, 3.14).
• Non-Standard Numbers: Numbers that are so small they are smaller than any fraction you can write, or so big they are larger than the number of atoms in the universe.

By using these "super-numbers," the author can zoom in and out of the hyperbolic plane with perfect precision to see what happens at the very edge of infinity.

The Discovery: It's a "Tree" (But a Weird One)

The author discovers that when you zoom out to infinity on the Lobachevsky plane, the shape you see is an R-tree.

The Analogy of the Tree:
Imagine a tree where:

• The trunk is the ground.
• Branches split off from the trunk.
• Smaller branches split off from the big branches.
• Crucial Rule: Once two paths split, they never come back together. There are no loops. If you walk from point A to point B, there is only one unique path.

In math, this is called an R-tree (Real Tree). It's a structure where everything is connected, but there are no circles.

The Twist: Many Different Trees

Here is the surprising part of the paper. The author proves that the "Tree of Infinity" is not unique.

Depending on which "super-microscope" (mathematical model) you use, you might see:

1. A simple, neat tree.
2. A tree with so many branches that it has a "high cardinality" (a fancy way of saying it's unimaginably huge and complex).
3. A tree that looks slightly different in its branching pattern.

The "Saturated" Model:
The author introduces a special type of microscope called a "Saturated Model."

• Think of a standard microscope as having a limited field of view. It might miss some tiny details.
• A Saturated Model is like a microscope with infinite resolution and infinite memory. It captures every possible detail.

The paper proves that if you use this "perfect" saturated microscope, the Asymptotic Space becomes a specific, well-defined tree called $F_M$. This tree is the "truest" version of the infinity of the Lobachevsky plane.

The Construction: Building the Tree

How does the author build this tree?
He uses a method similar to unwrapping a Russian nesting doll, but in reverse.

1. He takes a point in the hyperbolic plane.
2. He breaks it down into a sequence of "layers" based on how far away it is.
3. He represents these layers as a function (a line graph) that tells you how the shape changes as you go deeper into infinity.
4. The distance between two points in this new "Infinity Tree" is calculated by finding where their paths first split apart.

Summary in Everyday Terms

Imagine the Lobachevsky plane is a fractal coastline that goes on forever.

• If you look at it from a plane, it looks jagged.
• If you look at it from space, it looks like a line.
• If you look at it from the moon, it looks like a dot.

The author asks: "What is the ultimate shape of this coastline if you go infinitely far away?"

He finds that the answer is a giant, branching tree. However, the exact shape of the tree depends on the "lens" you use to look at it.

• With a cheap lens, you see a simple tree.
• With a super-powerful, "saturated" lens, you see a magnificent, infinitely complex tree that captures every possible detail of the coastline's edge.

The Main Takeaway:
The "structure at infinity" of hyperbolic space is a tree, but it's not just one tree. It's a whole family of trees, and the most complete, perfect version of this tree exists only if you have the right mathematical tools (saturated models) to see it.

Technical Summary

1. Problem Statement

The paper addresses the mathematical challenge of rigorously defining and describing the asymptotic space (or asymptotic cone) of the Lobachevsky (hyperbolic) plane, denoted as $H$.

• Context: Introduced by M. Gromov, the asymptotic space captures the geometric structure of an unbounded metric space "at infinity."
• The Issue: While it is a known general principle that the asymptotic space of a hyperbolic space is an $\mathbb{R}$-tree (a metric space where any two points are connected by a unique geodesic, and there are no cycles), the specific structure of this tree for the Lobachevsky plane depends heavily on the underlying nonstandard model used to define the limit.
• Goal: To provide an exhaustive, explicit description of the asymptotic space $H_0$ of the Lobachevsky plane, characterizing its metric structure, cardinality, and dependence on nonstandard analysis models.

2. Methodology

The author employs Nonstandard Analysis (NSA) as the primary framework, moving beyond the classical "limit of shrinking spaces" definition which often fails for unbounded spaces.

• Nonstandard Framework:

  • The standard universe $S$ (containing $\mathbb{R}$ and metric spaces) is extended to a nonstandard model $M$ via an ultrapower or similar construction.
  • The Lobachevsky plane $H$ is extended to a nonstandard space $^*H$.
  • A new distance function is defined: $^*d_\epsilon(x, y) = \epsilon \cdot ^*d(x, y)$, where $\epsilon$ is a positive infinitesimal in $^*\mathbb{R}$.
  • The asymptotic space $H_0$ is defined as the standard part of the "finite" subset of this scaled nonstandard space: $Y = \{y \in ^*H \mid ^*d_\epsilon(O, y) \text{ is finite}\}$. The distance is $st(^*d_\epsilon)$.

• Spectral Decomposition of Nonstandard Numbers:

  • To analyze the geometry, Shnirelman introduces a "basis" for the nonstandard reals $^*\mathbb{R}$ over the standard reals $\mathbb{R}$.
  • Using the Axiom of Choice, a well-ordering is imposed on $^*\mathbb{R}$.
  • Every nonstandard number $x$ is decomposed into a transfinite sum of representatives from equivalence classes of magnitudes (spectrum). This allows the representation of nonstandard numbers as functions $f(\lambda)$ on an ordered set $\Lambda$ of magnitudes.

• Construction of Model Spaces ($F_M$):

  • The author constructs a class of metric spaces $F_M$ consisting of pairs $(f, \lambda)$, where $f$ is a function defined on a segment of the magnitude set $\Lambda$.
  • A specific distance metric $\delta$ is defined on $F_M$ based on the "moment of separation" of the functions.

3. Key Contributions

A. Dependence on Nonstandard Models

The paper proves that the asymptotic space is not unique.

• Different nonstandard models $M$ and different choices of infinitesimals $\epsilon$ yield non-isometric asymptotic spaces.
• These spaces can have arbitrarily large cardinalities.
• In some cases, the space is a simple set of points; in others, it is a complex tree.

B. The Space $F_M$ and Embedding Theorems

The author constructs a standard metric space $F_M$ associated with a model $M$ and proves two critical embedding results:

1. Embedding 1: For any model $M$, the asymptotic space $H_{0,M}$ can be isometrically embedded into the constructed space $F_M$.
2. Embedding 2: For any model $M$, there exists a larger model $M'$ such that $F_M$ can be isometrically embedded into the asymptotic space $H_{0,M'}$.

C. The Role of Saturated Models

The paper identifies saturated models (models satisfying the Generalized Continuum Hypothesis and specific saturation properties) as the "correct" setting for a complete description.

• Theorem: If the model $M$ is saturated, then the asymptotic space $H_{0,M}$ coincides exactly with the constructed space $F_M$.
• In this case, the correspondence between points in the asymptotic space and the functions in $F_M$ is one-to-one and isometric.

D. Explicit $\mathbb{R}$-Tree Structure

For saturated models, the paper explicitly proves that $F_M$ (and thus $H_{0,M}$) is an $\mathbb{R}$-tree:

• Homogeneity: The space is homogeneous (transitive group of isometries).
• Geodesic Connectivity: Any two points are connected by a unique geodesic segment.
• Tree Property: The union of two geodesic segments sharing a common endpoint is a geodesic segment (no cycles).

4. Results

• Explicit Construction: The asymptotic space of the Lobachevsky plane is explicitly described as a space of functions on an ordered set of magnitudes $\Lambda$, equipped with a specific metric derived from the "separation time" of the functions.
• Cardinality: The paper demonstrates the existence of asymptotic spaces with high cardinality, challenging the intuition that asymptotic cones are always "small" or standard.
• Generalization: The methodology suggests that for other unbounded metric spaces (specifically groups of diffeomorphisms and symplectomorphisms), the asymptotic structure may also be "large" and complex, leading to a conjecture that these groups are "large spaces" containing subspaces isometric to $F_M$.

5. Significance

• Resolution of Ambiguity: The paper resolves the ambiguity surrounding the definition of asymptotic cones by showing that the "true" structure depends on the nonstandard extension. It provides a rigorous way to handle the "limit at infinity" for hyperbolic spaces.
• Bridge to Non-Archimedean Geometry: The work draws parallels with G.W. Brumfiel's work on hyperbolic planes over non-Archimedean valued fields, though the author notes distinct differences due to the size of $^*\mathbb{R}$.
• Foundational for Geometric Group Theory: By characterizing the asymptotic cone of the hyperbolic plane (the prototype of hyperbolic spaces) as a complex $\mathbb{R}$-tree dependent on saturation, the paper provides a deeper understanding of the "boundary at infinity" for hyperbolic geometry.
• New Tools: The introduction of the spectral decomposition of nonstandard numbers provides a powerful new tool for analyzing limits and asymptotic behaviors in nonstandard analysis.

In summary, Shnirelman demonstrates that the asymptotic space of the Lobachevsky plane is not a single static object but a family of $\mathbb{R}$-trees whose complexity is determined by the saturation of the underlying nonstandard model. For saturated models, this structure is fully captured by the explicitly constructed space $F_M$.