Nerve (category theory)

Nerve (category theory)

In category theory, the nerve N(C) of a small category C is a simplicial set constructed from the objects and morphisms of C. The geometric realization of this simplicial set is a topological space, called the classifying space of the category C. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory.

Contents

Motivation

The nerve of a category is often used to construct topological versions of moduli spaces. If X is an object of C, its moduli space should somehow encode all objects isomorphic to X and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the meaning of the various homotopy groups πn(N(C)). One hopes that the answers to such questions provide interesting information about the original category C, or about related categories.

The notion of nerve is a direct generalization of the classical notion of classifying space of a discrete group; see below for details.

Construction

Let C be a small category. It is easy to define the sets N(C)k for small k, which leads to the general definition. In particular, there is a 0-simplex of N(C) for each object of C. There is a 1-simplex for each morphism f: xy in C. Now suppose that f: xy and g: yz are morphisms in C. Then we also have their composition gf: xz.

A 2-simplex.

The diagram suggests our course of action: add a 2-simplex for this commutative triangle. Every 2-simplex of N(C) comes from a pair of composable morphisms in this way. Note that the addition of these 2-simplices does not erase or otherwise disregard morphisms obtained by composition, it merely remembers that that is how they arise.

In general, N(C)k consists of the k-tuples of composable morphisms

A_0 \to A_1 \to A_2 \cdots \to A_{k-1} \to A_k

of C. To complete the definition of N(C) as a simplicial set, we must also specify the face and degeneracy maps. These are also provided to us by the structure of C as a category. The face maps

d_i \colon N(C)_k\to N(C)_{k-1}

are given by composition of morphisms at the ith object (or dropping an object on the end, when i is 0 or k). This means that di sends the k-tuple

A_0 \to \ldots \to A_{i-1} \to A_i \to A_{i+1} \to \ldots \to A_k

to the (k-1)-tuple

A_0 \to \ldots \to A_{i-1} \to A_{i+1} \to \ldots \to A_k.

That is, the map di composes the morphisms Ai-1Ai and AiAi+1 into the morphism Ai-1Ai+1, yielding a (k−1)-tuple for every k-tuple.

Similarly, the degeneracy maps

s_i:N(C)_k\to N(C)_{k+1}

are given by inserting an identity morphism at the object Ai.

Recall that simplicial sets may also be regarded as functors ΔopSet, where Δ is the category of totally ordered finite sets and order-preserving morphisms. Every partially ordered set P yields a (small) category i(P) with objects the elements of P and with a unique morphism from p to q whenever pq in P. We thus obtain a functor i from the category Δ to the category of small categories. We can now describe the nerve of the category C as the functor ΔopSet

N(C)(?) = Fun(i(?),C).

This description of the nerve makes functoriality quite transparent; for example, a functor between small categories C and D induces a map of simplicial sets N(C) → N(D). Moreover a natural transformation between two such functors induces a homotopy between the induced maps. This observation can be regarded as the beginning of one of the principles of higher category theory. It follows that adjoint functors induce homotopy equivalences. In particular, if C has an initial or final object, its nerve is contractible.

Examples

The primordial example is the classifying space of a discrete group G. We regard G as a category with one object whose endomorphisms are the elements of G. Then the k-simplices of N(G) are just k-tuples of elements of G. The face maps act by multiplication, and the degeneracy maps act by insertion of the identity element. If G is the group with two elements, then there is exactly one nondegenerate k-simplex for each nonnegative integer k, corresponding to the unique k-tuple of elements of G containing no identities. After passing to the geometric realization, it is not hard to see that this k-tuple can be identified with the unique k-cell in the usual CW structure on infinite-dimensional real projective space. The latter is the most popular model for the classifying space of the group with two elements. See (Segal 1968) for further details and the relationship of the above to Milnor's join construction of BG.

Most spaces are classifying spaces

It is well known that every "reasonable" topological space is homeomorphic to the classifying space of a small category. Here, "reasonable" means that the space in question is the geometric realization of a simplicial set. This is obviously a necessary condition; it is perhaps surprising that it is also sufficient. Indeed, let X be the geometric realization of a simplicial set K. The set of simplices in K is partially ordered, by the relation xy if and only if x is a face of y. Of course, we may consider this partially ordered set as a category. The nerve of this category is the barycentric subdivision of K, and thus its realization is homeomorphic to X, because X is the realization of K by hypothesis and barycentric subdivision does not change the homeomorphism type of the realization.

The nerve of an open covering

If X is a topological space with open cover Ui, the nerve of the cover is obtained from the above definitions by replacing the cover with the category obtained by regarding the cover as a partially ordered set with relation that of set inclusion. Note that the realization of this nerve is not generally homeomorphic to X (or even homotopy equivalent).

A moduli example

One can use the nerve construction to recover mapping spaces, and even get "higher-homotopical" information about maps. Let D be a category, and let X and Y be objects of D. One is often interested in computing the set of morphisms XY. We can use a nerve construction to recover this set. Let C = C(X,Y) be the category whose objects are diagrams

X \longleftarrow U \longrightarrow V \longleftarrow Y

such that the morphisms UX and YV are isomorphisms in D. Morphisms in C(X,Y) are diagrams of the following shape:

Mappings-as-moduli.png

Here, the indicated maps are to be isomorphisms or identities. The nerve of C(X,Y) is the moduli space of maps XY. In the appropriate model category setting, this moduli space is weak homotopy equivalent to the simplicial set of morphisms of D from X to Y.

References

  • Blanc, D., W.G. Dwyer, and P.G. Goerss. "The realization space of a Π-algebra: a moduli problem in algebraic topology." Topology 43 (2004), no. 4, 857-892.
  • Goerss, P.G., and M.J. Hopkins. "Moduli spaces of commutative ring spectra." Structured ring spectra, 151-200, London Math. Soc. Lecture Note Ser., 315, Cambridge Univ. Press, Cambridge, 2004.
  • Segal, Graeme. "Classifying spaces and spectral sequences." Inst. Hautes Études Sci. Publ. Math. No. 34 (1968) 105-112.

Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Nerve (disambiguation) — A nerve is a part of the nervous system. The term is often used to refer to a peripheral nerve. Nerve may also refer to: Nerve (band), band of Jojo Mayer Nerve (category theory), a construction in category theory Nerve (Farscape), a 2000 episode… …   Wikipedia

  • automata theory — Body of physical and logical principles underlying the operation of any electromechanical device (an automaton) that converts information input in one form into another, or into some action, according to an algorithm. Norbert Wiener and Alan M.… …   Universalium

  • learning theory — ▪ psychology Introduction       any of the proposals put forth to explain changes in behaviour produced by practice, as opposed to other factors, e.g., physiological development.       A common goal in defining any psychological (psychology)… …   Universalium

  • Nobel Prize winners by category (physiology or medicine) — ▪ Table Nobel Prize winners by category (physiology or medicine) year name country* achievement 1901 Behring, Emil von Germany work on serum therapy 1902 Ross, Sir Ronald U.K. discovery of how malaria enters an organism 1903 Finsen, Niels Ryberg… …   Universalium

  • Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

  • Список награждённых Национальной медалью науки США — Джошуа Ледерберг (справа) получает Национальную медаль науки из рук Президента США Джорджа Буша старшего Список …   Википедия

  • Orbifold — This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976 77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”,… …   Wikipedia

  • Nicolas Rashevsky — Born November 9, 1899(1899 11 09) Chernigov, Ukraine, Russian Empire Died January 16, 1972( …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”