Nerve complex

(Redirected from Nerve theorem)

In topology, the nerve complex of a set family is an abstract complex that records the pattern of intersections between the sets in the family. It was introduced by Pavel Alexandrov[1] and now has many variants and generalisations, among them the Čech nerve of a cover, which in turn is generalised by hypercoverings. It captures many of the interesting topological properties in an algorithmic or combinatorial way.[2]

Constructing the nerve of an open good cover containing 3 sets in the plane.

Basic definition

edit

Let   be a set of indices and   be a family of sets  . The nerve of   is a set of finite subsets of the index set  . It contains all finite subsets   such that the intersection of the   whose subindices are in   is non-empty:[3]: 81 

 

In Alexandrov's original definition, the sets   are open subsets of some topological space  .

The set   may contain singletons (elements   such that   is non-empty), pairs (pairs of elements   such that  ), triplets, and so on. If  , then any subset of   is also in  , making   an abstract simplicial complex. Hence N(C) is often called the nerve complex of  .

Examples

edit
  1. Let X be the circle   and  , where   is an arc covering the upper half of   and   is an arc covering its lower half, with some overlap at both sides (they must overlap at both sides in order to cover all of  ). Then  , which is an abstract 1-simplex.
  2. Let X be the circle   and  , where each   is an arc covering one third of  , with some overlap with the adjacent  . Then  . Note that {1,2,3} is not in   since the common intersection of all three sets is empty; so   is an unfilled triangle.

The Čech nerve

edit

Given an open cover   of a topological space  , or more generally a cover in a site, we can consider the pairwise fibre products  , which in the case of a topological space are precisely the intersections  . The collection of all such intersections can be referred to as   and the triple intersections as  .

By considering the natural maps   and  , we can construct a simplicial object   defined by  , n-fold fibre product. This is the Čech nerve.[4]

By taking connected components we get a simplicial set, which we can realise topologically:  .

Nerve theorems

edit

The nerve complex   is a simple combinatorial object. Often, it is much simpler than the underlying topological space (the union of the sets in  ). Therefore, a natural question is whether the topology of   is equivalent to the topology of  .

In general, this need not be the case. For example, one can cover any n-sphere with two contractible sets   and   that have a non-empty intersection, as in example 1 above. In this case,   is an abstract 1-simplex, which is similar to a line but not to a sphere.

However, in some cases   does reflect the topology of X. For example, if a circle is covered by three open arcs, intersecting in pairs as in Example 2 above, then   is a 2-simplex (without its interior) and it is homotopy-equivalent to the original circle.[5]

A nerve theorem (or nerve lemma) is a theorem that gives sufficient conditions on C guaranteeing that   reflects, in some sense, the topology of  . A functorial nerve theorem is a nerve theorem that is functorial in an approriate sense, which is, for example, crucial in topological data analysis.[6]

Leray's nerve theorem

edit

The basic nerve theorem of Jean Leray says that, if any intersection of sets in   is contractible (equivalently: for each finite   the set   is either empty or contractible; equivalently: C is a good open cover), then   is homotopy-equivalent to  .

Borsuk's nerve theorem

edit

There is a discrete version, which is attributed to Borsuk.[7][3]: 81, Thm.4.4.4  Let K1,...,Kn be abstract simplicial complexes, and denote their union by K. Let Ui = ||Ki|| = the geometric realization of Ki, and denote the nerve of {U1, ... , Un } by N.

If, for each nonempty  , the intersection   is either empty or contractible, then N is homotopy-equivalent to K.

A stronger theorem was proved by Anders Bjorner.[8] if, for each nonempty  , the intersection   is either empty or (k-|J|+1)-connected, then for every jk, the j-th homotopy group of N is isomorphic to the j-th homotopy group of K. In particular, N is k-connected if-and-only-if K is k-connected.

Čech nerve theorem

edit

Another nerve theorem relates to the Čech nerve above: if   is compact and all intersections of sets in C are contractible or empty, then the space   is homotopy-equivalent to  .[9]

Homological nerve theorem

edit

The following nerve theorem uses the homology groups of intersections of sets in the cover.[10] For each finite  , denote   the j-th reduced homology group of  .

If HJ,j is the trivial group for all J in the k-skeleton of N(C) and for all j in {0, ..., k-dim(J)}, then N(C) is "homology-equivalent" to X in the following sense:

  •   for all j in {0, ..., k};
  • if   then   .

See also

edit

References

edit
  1. ^ Aleksandroff, P. S. (1928). "Über den allgemeinen Dimensionsbegriff und seine Beziehungen zur elementaren geometrischen Anschauung". Mathematische Annalen. 98: 617–635. doi:10.1007/BF01451612. S2CID 119590045.
  2. ^ Eilenberg, Samuel; Steenrod, Norman (1952-12-31). Foundations of Algebraic Topology. Princeton: Princeton University Press. doi:10.1515/9781400877492. ISBN 978-1-4008-7749-2.
  3. ^ a b Matoušek, Jiří (2007). Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry (2nd ed.). Berlin-Heidelberg: Springer-Verlag. ISBN 978-3-540-00362-5. Written in cooperation with Anders Björner and Günter M. Ziegler , Section 4.3
  4. ^ "Čech nerve in nLab". ncatlab.org. Retrieved 2020-08-07.
  5. ^ Artin, Michael; Mazur, Barry (1969). Etale Homotopy. Lecture Notes in Mathematics. Vol. 100. doi:10.1007/bfb0080957. ISBN 978-3-540-04619-6. ISSN 0075-8434.
  6. ^ Bauer, Ulrich; Kerber, Michael; Roll, Fabian; Rolle, Alexander (2023). "A unified view on the functorial nerve theorem and its variations". Expositiones Mathematicae. arXiv:2203.03571. doi:10.1016/j.exmath.2023.04.005.
  7. ^ Borsuk, Karol (1948). "On the imbedding of systems of compacta in simplicial complexes". Fundamenta Mathematicae. 35 (1): 217–234. doi:10.4064/fm-35-1-217-234. ISSN 0016-2736.
  8. ^ Björner, Anders (2003-04-01). "Nerves, fibers and homotopy groups". Journal of Combinatorial Theory. Series A. 102 (1): 88–93. doi:10.1016/S0097-3165(03)00015-3. ISSN 0097-3165.
  9. ^ Nerve theorem at the nLab
  10. ^ Meshulam, Roy (2001-01-01). "The Clique Complex and Hypergraph Matching". Combinatorica. 21 (1): 89–94. doi:10.1007/s004930170006. ISSN 1439-6912. S2CID 207006642.