Approximation of structures:local and global

Abstract: We provide a mathematically rigorous definition of local approximation and demonstrate its applicability to some interesting classes of structures. In particular, we prove that any compact simple Lie group is locally approximated by finite groups. The definition and main examples are motivated by physics but the techniques are of model theory. Namely, we introduce the ultraproduct of emerging metric structures, which generalises the ultraproduct in metric model theory.

• The paper introduces a local ultraproduct framework that extends global approximations to capture finite structure limits in metric and topological models.
• It demonstrates that every compact simple Lie group is locally approximable by finite groups, addressing key global obstructions in group theory.
• Applications in algebra, quantum mechanics, and model theory reveal the significant impact of finite approximations on understanding continuous structures.

Approximation of Structures: Local and Global

Introduction and Motivation

The paper "Approximation of structures: local and global" (2604.00720) establishes a rigorous mathematical formalism for the concept of local approximation of structures, complementing and extending prior approaches centered on global approximation. The central motivation is the longstanding question, arising both in fundamental physics and model theory, of the emergence of infinite or continuous structures from finite or discrete ones—a theme with relevance dating from Hilbert's Sixth Problem to modern foundational investigations in quantum physics and spacetime models.

The work generalizes the well-known ultraproduct construction in model theory to what is termed the "local ultraproduct" in the context of emerging metric structures. This broader framework is designed to capture and formalize when infinite (topological, metric, or continuous-logic) structures can be locally realized as ultraproduct limits of finite structures, even in situations where global ultraproducts (hence, global approximations) cannot exist.

Framework and Definitions

The paper adopts the formalism of general structures in the sense of Kiesler, wherein structures have predicates with values in $[0,1]$ and allow for a many-sorted universe with potentially unbounded diameter. This encompasses both first-order, topological, metric, and continuous-logic structures. The general approach involves two main notions:

• Global Approximation: Given by the existence of a surjective homomorphism from the (first-order) ultraproduct of a family of finite structures onto the target infinite structure. Such approximations require quasi-compactness and often fail for important classes, such as simple compact Lie groups.
• Local Approximation: Developed through the local ultraproduct, which focuses on the "emerging metric" in neighborhoods where finite structures locally resemble the infinite target. The local ultraproduct is constructed as a quotient of the restricted ultraproduct, where objects are confined to subspaces with finite (but arbitrarily large) diameter. The metric is inherited in a well-defined way, yielding a complete metric structure in the limit.

A key formal result demonstrates that, when additional compactness criteria are met, local approximation can be extended to a global one.

Applications

Fields and Rings

The construction is applied to algebraic fields and rings, concretely establishing that:

• Finite fields $F_q$ locally approximate the field of real numbers $\mathbb{R}$ via the local ultraproduct. The finite elements with bounded size in the ultraproduct inherit a norm, and the standard part map recovers $\mathbb{R}$ in the local limit.
• A similar method applies to ultraproducts of finite rings, enabling the local approximation of $\mathbb{R}$ as a metric ring.
• For algebraic varieties $V$ over finite fields or rings, the local ultraproduct yields the set of limit points $\overline{V(\mathbb{R})}$ within the affine variety $V(\mathbb{R})$.

Notably, the approach can also be used to show that structures essential for physics, such as Minkowski spacetime $(\mathbb{R}^4, \mathrm{SO}^+(1,3))$, are locally approximable by suitable finite groups and lattices, preserving invariant actions and local geometry.

Compact Simple Lie Groups

A central and technically significant result of the paper is the theorem that every simple compact Lie group is locally approximable by finite groups. This stands in strict contrast to previous negative results regarding global approximation [Nik]. The proof systematically considers all families of compact simple Lie groups (orthogonal, unitary, symplectic, and exceptional), establishing density conditions via rational (number-theoretic) constructions and leveraging classical results in algebraic groups and arithmetic.

The methodology involves:

• Demonstrating density of rational (finite-type) elements in the real models of Lie groups.
• Realizing each compact group as the real points of an anisotropic absolutely simple algebraic group over a suitable number field.
• Extending the local ultraproduct framework to algebraic groups and thereby to each case in the Cartan–Killing classification.

The result implies the existence, at the level of infinitesimal neighborhoods, of finite approximations even for those groups which have global obstructions due to their topological or representation-theoretic properties.

Open Problems

The paper concludes by formulating an open question: whether infinite-dimensional groups of substantial interest in mathematical physics, such as the Virasoro group or the orientation-preserving diffeomorphism group of the circle $\mathrm{Diff}^+(S^1)$, can be locally approximated by finite groups. Resolving this would further bridge finite model methods with analysis and geometry in mathematical physics.

Theoretical and Practical Implications

The development of rigorous local approximation frameworks has several implications:

• Consistency with Finitary Models: The results formalize the intuition that calculations in mathematical physics remain valid under the assumption of an underlying finite model, provided that local structures are appropriately captured.
• Foundations of Quantum Mechanics and Spacetime: Local approximability grounds the emergence of continuum structures, as encountered in quantum mechanics and relativity, from finite analogs, an approach compatible with physical discretization schemes.
• Model Theory and Continuous Logic: The extension of ultraproducts to local contexts generalizes compactness and transfer principles, offering new tools for both pure and applied model theory.

Although the calculational utility for finite approximations in explicit examples may be limited (as stated in the paper), the foundational consequences for logic, physics, and the classification of algebraic and topological structures are significant.

The contrast between local and global approximability further suggests new avenues of research at the interface of group theory, logic, and topology, particularly regarding the "finitizability" of objects relevant to physical symmetries, topological quantum field theory, and representation theory.

Conclusion

The paper provides a technical and conceptual advance in formalizing local ultraproducts and local approximations, establishing their applicability to classes of structures central in mathematical physics, notably demonstrating that every compact simple Lie group is locally approximable by finite groups. This clarifies the fundamental relationships between finitary and infinitary mathematics, opens directions for further work on infinite-dimensional groups, and strengthens the interplay between model theory and structures in physical theory.