---
title: Locally Combinatorially Defined Manifolds
url: https://www.emergentmind.com/topics/locally-combinatorially-defined-lcd
type: topic
---

# Locally Combinatorially Defined Manifolds

Searching arXiv for recent papers on “Locally Combinatorially Defined” and related terminology.
Locally combinatorially defined (LCD) denotes, in the PL-topological sense, a family of compact \(n\)-manifolds specified by finitely many local triangulation types: a set \(T\) of PL \(n\)-manifolds is LCD if there exists a finite set of local models \(M\) such that \(T=PL(M)\) [2510.06514]. In the 2025 formulation, this notion is equivalent to the existence of a compact branched \(n\)-manifold \(W\) for which the family consists exactly of the compact PL \(n\)-manifolds that properly PL immerse into \(W\), thereby identifying a finite local combinatorial presentation with a universal immersion target [2510.06514].

## 1. Formal definition

A local model of dimension \(n\) is a pair \((K,v)\), where \(K\) is a simplicial complex and \(v\) is a vertex, such that \(|K|\) is PL homeomorphic to the cube \([0,1]^n\) [2510.06514]. A family \(T\) of compact PL \(n\)-manifolds is locally combinatorially defined if there exists a finite set \(M\) of such local models and
\[
T = PL(M),
\]
where \(PL(M)\) denotes the set of PL \(n\)-manifolds admitting a triangulation modeled on \(M\) [2510.06514].

This definition isolates a strictly local specification principle. Membership in the family is determined by whether the stars appearing in a triangulation can be assembled from finitely many prescribed local configurations. A plausible implication is that LCD families are designed to capture global manifold classes through bounded local data rather than through a priori global geometric structures.

## 2. Branched manifolds as universal targets

A branched \(n\)-manifold in this setting is a compact polyhedron \(W\) equipped with a finite system of PL maps, the local projections, from subpolyhedra \(W_i\to [0,1]^n\), so that locally \(W\) is a union of parameterized sheets [2510.06514]. Given such a branched manifold \((W,\Pi)\), one writes \(PL(W,\Pi)\) for the family of compact PL \(n\)-manifolds that properly PL immerse into \((W,\Pi)\) [2510.06514].

The central theorem is the equivalence
\[
\exists\, M,\; T=PL(M)
\iff
\exists\, (W,\Pi),\; T=PL(W,\Pi),
\]
that is, a family of compact PL \(n\)-manifolds is LCD if and only if it is BM [2510.06514]. Here BM abbreviates the class of families arising from proper PL immersions into a compact branched \(n\)-manifold.

The significance of this equivalence is structural. It identifies two ostensibly different modes of classification: finite local combinatorial rules on triangulations, and immersion into a single compact branched object. In this sense, LCD is not merely a condition on triangulations; it is also an immersion-theoretic characterization.

## 3. How the equivalence is realized

For the implication \(LCD \Rightarrow BM\), a finite set of local models \(M\) is used to construct a universal branched manifold \(W\) encoding all local combinatorial types in the family [2510.06514]. The local neighborhoods in \(W\) correspond to the local models via a refined system of coloring and “geography” labels, and any manifold modeled on \(M\) can be immersed into \(W\) by mapping simplices according to their labels [2510.06514].

For the implication \(BM \Rightarrow LCD\), one begins with a compact branched \(n\)-manifold \((W,\Pi)\), triangulates \(W\) nicely so that the branch locus is a simplicial subcomplex and the projections are well behaved, and then observes that the family of compact \(n\)-manifolds immersing into \(W\) is determined by finitely many star types occurring in that triangulation [2510.06514]. Those finitely many local stars provide the required local models.

An additional point in the 2025 treatment is that the necessary labelings, including colors and “geography” data for neighborhoods, can be encoded combinatorially, so labelled LCD is equivalent to LCD [2510.06514]. This removes any essential dependence on auxiliary decorations external to the triangulation itself.

## 4. Examples and stated applications

One explicit example is the family of torus bundles over \(S^1\). The construction described in the 2025 account forms a branched 3-manifold \(W\) by gluing together torus bundles over the circle, one for each generator of \(GL(2,\mathbb{Z})\); every torus bundle over the circle immerses into this \(W\), and conversely any manifold immersing into \(W\) is a torus bundle over \(S^1\) [2510.06514]. By the LCD–BM equivalence, the family of torus bundles over \(S^1\) is LCD.

The same source states that, in subsequent papers, the equivalence will be used to show that for each of the eight Thurston geometries, the family of closed 3-manifolds admitting that geometry is LCD [2510.06514]. It also records that, by earlier work of Cooper and Thurston, all closed orientable 3-manifolds can be modeled on a finite set of local models; thus that family is LCD and there is a universal branched 3-manifold that all such manifolds immerse into [2510.06514].

These examples indicate the intended range of the concept: LCD is aimed at families naturally described by local geometric-topological structure but recoverable through finite combinatorial data.

## 5. Related local notions on simplicial complexes

A related but distinct notion appears in the study of numerical invariants of finite simplicial complexes. There, a function
\[
\Lambda(K)=\sum_{i=-1}^{\dim K} b_i f_i(K)
\]
is called combinatorially locally determined if there exists a function \(h\), invariant under combinatorial equivalence of links, such that
\[
\Lambda(K)=\sum_{v\in K(0)} h(\operatorname{link}(v,K))
\]
for every complex \(K\) in the class under consideration [1408.2351].

Within that framework, the Euler characteristic is locally determined:
\[
\chi(K)=\sum_{v\in K(0)} e(\operatorname{link}(v,K)),
\qquad
e(M)=1+\sum_{i=0}^{\dim M} (-1)^{i+1}\frac{f_i(M)}{i+2},
\]
whereas not every linear combination of simplex counts is local in this sense [1408.2351]. In particular, the Charney–Davis quantity
\[
\lambda(K)=\sum_{i=-1}^{\dim K}\left(-\frac12\right)^{i+1} f_i(K)
\]
is not locally determined in either the combinatorial or geometric sense on any class containing all flag spheres of a fixed odd dimension at least \(3\) [1408.2351].

This earlier literature is conceptually adjacent to LCD families of manifolds because both theories use finite local combinatorial data to recover global objects. The two notions are nevertheless different: one concerns families of manifolds specified by local triangulations, while the other concerns numerical functions reconstructed from vertex links.

## 6. Terminological ambiguity and contrast with coding theory

The acronym “LCD” is heavily overloaded. In coding theory it usually means **linear complementary dual**, namely a linear code \(C\) with
\[
C\cap C^\perp=\{0\},
\]
together with variants such as Euclidean LCD, Hermitian LCD, Galois LCD, and \(\sigma\)-LCD codes [1707.08789]. That usage is standard across work on bounds, constructions, masking schemes, and adder-channel coding, including mixed-alphabet settings and linear complementary pairs (LCPs) [2412.09937].

The topological usage “locally combinatorially defined” is therefore unrelated to the coding-theoretic LCD literature. This suggests that acronym disambiguation is essential in cross-disciplinary settings, particularly on repositories where both subjects coexist.

In the topological sense, LCD has a precise role: it identifies manifold families describable by finitely many local triangulation types and, equivalently, by proper PL immersions into a compact branched \(n\)-manifold [2510.06514]. That equivalence places local combinatorial specification and universal branched targets within a single classification framework.

Source: https://www.emergentmind.com/topics/locally-combinatorially-defined-lcd