Canonical Local-to-Global Lattice Theory

• Canonical local-to-global lattice theory is a framework that reconstructs global lattice structures from local or partial invariants using canonical filtrations, extensions, and gluing methods.
• It classifies structures such as rational fans, locally compact frames, and bounded lattices by decomposing global invariants into minimal local generators.
• The theory provides rigorous tools for applications in toric geometry, geometric group theory, and quantum logic, bridging local combinatorics with global topology.

Canonical local-to-global lattice theory encompasses a series of rigorous frameworks that reconstruct or classify global lattice-theoretic, combinatorial, or algebraic structures by functorially assembling local or partial invariants. This paradigm is realized across diverse domains, including rational fans, locally compact frames, bounded lattices, and combinatorial geometries, by canonical filtration, extension, and gluing methods. These constructions preserve precise algebraic information and discover global invariants from prescribed local data, exemplifying themes central to contemporary algebra, topology, and combinatorics.

1. Canonical Lattice Constructions for Rational Fans

Let $\Sigma$ be a rational fan in a lattice $N$ of rank $n$. Canonical local-to-global lattice theory for rational fans, as developed in "Canonical Lattices and Integer Relations Associated to Rational Fans" (Jahangir, 9 Jan 2026), introduces the following invariants:

• Ray Lattice: $$L_{\mathrm{rays}}(\Sigma) := \langle v_\rho \mid \rho\in\Sigma(1) \rangle_{\mathbb Z} \subset N$$, where $v_\rho$ is a primitive generator for each ray $\rho$.
• Global Relation Lattice: $$L_{\mathrm{rel}}(\Sigma) := \ker(\mathbb Z^{\Sigma(1)} \to N)$$, where $e_\rho\mapsto v_\rho$; equivalently, it records all integral linear dependencies between ray generators.
• Star-Local Relation Lattices: For a cone $\tau\in\Sigma$, the star-local lattice $$\mathcal{L}_{\mathrm{rel}}(\tau) \subset \mathbb{Z}^{\Sigma(1)_\tau}$$ is the relation lattice for the quotient fan $\Sigma_\tau$ in $N/\operatorname{Span}_\mathbb{Z}(\tau)$.

This structure allows for the definition of the codimension filtration on $L_{\mathrm{rel}}(\Sigma)$:

$$F_k L_{\mathrm{rel}}(\Sigma) := \sum_{\substack{\tau\in\Sigma\setminus\{0\}\ \operatorname{codim}(\tau)\leq k}} \operatorname{Im}\big(L_{\mathrm{rel}}(\operatorname{Star}(\tau)) \to L_{\mathrm{rel}}(\Sigma)\big).$$

The filtration depth of a relation $r$ is the minimal $k$ such that $r$ is contained in $F_k L_{\mathrm{rel}}(\Sigma)$.

A principal theorem asserts that for a complete fan $\Sigma$, the global lattice is generated by relations local on stars of codimension at least one:

$$L_{\mathrm{rel}}(\Sigma) = F_{n-1}L_{\mathrm{rel}}(\Sigma) = \sum_{\rho\in\Sigma(1)} \operatorname{Im}\big(L_{\mathrm{rel}}(\operatorname{Star}(\rho)) \to L_{\mathrm{rel}}(\Sigma)\big).$$

Subdivision of the fan induces injections $$L_{\mathrm{rel}}(\Sigma) \to L_{\mathrm{rel}}(\Sigma')$$, and the conjecture (filtration monotonicity) posits that such refinements do not increase the depth of any relation:

$$\operatorname{depth}_{\Sigma'}(j(r)) \leq \operatorname{depth}_{\Sigma}(r).$$

This theory quantifies global lattice relations by decomposing them canonically into minimal local generators, highly sensitive to the facial topology and combinatorics of the fan.

2. Local-to-Global Rigidity in Lattices of Graphs and Buildings

For lattices arising from geometric and combinatorial groups, such as Cayley graphs or buildings, the local-to-global principle is formalized via local-to-global rigidity (Escalier, 2020).

A graph $Y$ is $R$-locally $X$ if every radius-$R$ neighborhood in $Y$ is isometric to a radius-$R$ ball in $X$. A vertex-transitive graph $X$ is LG-rigid at scale $R$ if every $R$-locally $X$ graph is covered by $X$.

Key results include:

• Bruhat–Tits buildings of $PSL_n(\mathbb{K})$ ($n\geq 4$, $\mathbb{K}$ non-Archimedean of char 0) are strongly LG-rigid.
• Torsion-free uniform lattices in $SL_n(\mathbb{K})$ are LG-rigid for $n\neq 3$, with any finite generating set.

The proof employs a canonical "atlas" of local isometries and injective invariants (e.g., the "print" of a vertex), allowing the reconstruction, up to automorphism, of the global object from prescribed local data. The construction is canonical in that choices are unique up to the group action, implementing a functorial local-to-global mechanism.

3. Canonical Extension in Frames and Lattices

The canonical local-to-global paradigm in the setting of frames (complete lattices satisfying infinite distributivity) employs canonical extensions to embed a frame into a completely distributive lattice functorially (Jakl, 2019).

Let $L$ be a frame. The canonical extension $e: L \to L^\delta$ satisfies:

• Density: Every element of $L^\delta$ lies between filters of $L$ and their images.
• Compactness: The order relation in $L^\delta$ between filter and element reflects membership in the filter.

For locally compact frames (those where every element is a directed join of compact elements), $e$ is injective, uniquely embedding $L$ as a subframe of $L^\delta$, and $L^\delta \cong (L)$, the lattice of saturated subsets of the specialization order. This fully algebraic, choice-free construction realizes global invariants via local (Scott-open filter) data.

Extension of monotone maps (the $\sigma$- and $\pi$-extensions) are canonically defined so that perfect maps between frames lift to complete lattice homomorphisms between canonical extensions, yielding a full functor to the category of completely distributive lattices.

4. Distributive Envelopes and Duality via Canonical Extensions

Generalizing Stone duality, the local-to-global theory for an arbitrary bounded lattice $L$ constructs two canonical distributive envelopes $D^\wedge(L)$, $D^\vee(L)$ preserving join- and meet-admissible finite operations, respectively (Gehrke et al., 2013). These are functorial universal objects with natural Galois connections whose fixed points canonically recover $L$.

Construction proceeds as follows:

• Canonical Extension: $L \hookrightarrow L^\delta$ as a perfect lattice.
• Meet-Dense Envelope ($D^\wedge(L)$): The distributive sublattice generated by finitely generated a-ideals (down-sets closed under join-admissible joins), embedding into the powerset of join-irreducible points of $L^\delta$.
• Galois Correspondence: Between $D^\wedge(L)$ and $D^\vee(L)$ via the relation on meet and join irreducibles, reconstructing $L$ as the sublattice of Galois-closed elements.

Moreover, the Stone–Priestley dual of these envelopes correspond to completions of canonical quasi-uniform spaces naturally associated with $L$, providing spatial meaning to the local-to-global algebraic passage.

5. Locality, Orthocomplementation, and Canonical Relations

The canonical local-to-global perspective is extended to the theory of locality relations and orthocomplementation in bounded lattices (Clavier et al., 2020). A locality relation $\top \subseteq L\times L$ is a symmetric relation such that for all $a\in L$, the polar set $a^\top=\{x\in L : a\top x\}$ is a lattice ideal.

Strongly separating locality relations yield a bijection with orthocomplementations $\Psi:L\to L$. The assignment is canonical:

$$\Psi(x) = \max\{y : x\top y\}, \qquad x\top y \Longleftrightarrow y \leq \Psi(x)$$

This formulation enables canonical classification of complements and projections in both distributive and non-distributive lattices, with direct applications to frameworks in quantum logic, algebraic renormalization, and geometric lattice decompositions.

6. Canonical Extensions, Ultraproducts, and Closure of Varieties

In abstract algebraic logic, canonical local-to-global methodology is manifest in the closure of varieties of lattice-based algebras under canonical extension (Goldblatt, 2017). Given a class of structures (e.g., polarities), the local-to-global process involves:

• Forming stable set lattices $P^+$ from local polarity data $P=(X,Y,R)$,
• Passing to canonical extensions $(P^+)^\sigma$,
• Using ultraproduct-MacNeille arguments to ensure that generation by local data yields closure under canonical extension.

Goldblatt's theorem guarantees that if a class of local structures is ultraproduct-closed, the generated variety of global algebras is closed under canonical extension, unifying classical completeness theorems (e.g., Fine's theorem for modal logics) via a functorial local-to-global passage.

7. Applications and Significance

Canonical local-to-global lattice theory provides a uniform language and rigorous techniques for decomposing, reconstructing, and classifying complex global structures from local algebraic, order-theoretic, or geometric data. Its functorial nature ensures that all invariants and maps are defined independently of choices or auxiliary constructions. This has concrete impact in:

• The study of toric and tropical geometry (structure of fans and their invariants (Jahangir, 9 Jan 2026)),
• Lattice congruence and duality theory (canonical extensions and distributive envelopes (Jakl, 2019, Gehrke et al., 2013)),
• Combinatorial and geometric group theory (rigidity of buildings and lattices (Escalier, 2020)),
• Quantum logic and renormalization via canonical locality/orthocomplementation correspondences (Clavier et al., 2020),
• Universal algebraic logic and closure properties of varieties (Goldblatt, 2017).

These frameworks yield fine-grained invariants sensitive to combinatorial topology, guide algorithmic lattice reductions, and provide conceptual bridges between local combinatorics, algebra, and global topology.