7
$\begingroup$

Let $(U_i)_{i\in I}$ be an open covering of a topological space $X$.

At http://en.wikipedia.org/wiki/Nerve_of_an_open_covering, the nerve of the open covering is defined as follows:

the nerve $N$ is the set of finite subsets of $I$ defined as follows:

  • the empty set belongs to $N$;
  • a finite set $J\subset I$ belongs to $N$ if and only if the intersection of the $U_i$ whose subindices are in $J$ is non-empty.

On the other hand, http://en.wikipedia.org/wiki/Nerve_(category_theory) states:

If $X$ is a topological space with open cover $U_i$, 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.

Here, "the above definitions" refers to the usual construction of the nerve of a category: A vertex for each object, and a $k$-simplex for each $k$-tuple of composable morphisms.

My question is: Does this categorical construction really yield the previously defined nerve of the open covering?

For instance, cover the inverval by two intersecting invervals non of them containing the other one. Then it seems to me that the first construction yields two vertices connected by an edge, while the second construction yields to bare vertices.

What am i missing?

If the second definition is indeed wrong, what is the right way to obtain the nerve of an open covering as a special case of the nerve of a category?

$\endgroup$
1
  • 1
    $\begingroup$ The second definition needs to be corrected. $\endgroup$ Mar 24, 2010 at 17:35

1 Answer 1

5
$\begingroup$

I think the second construction is not correct. If you replace the cover with the category whose objects are all intersections of elements of your original cover, then the two notions agree.

$\endgroup$
3
  • 1
    $\begingroup$ But if I refine by adding all intersections of my covering sets, I obtain the baryzentric subdivision of the nerve of the original covering, don't I? $\endgroup$
    – Rasmus
    Mar 24, 2010 at 17:45
  • 5
    $\begingroup$ You obtain the barycentric subdivision of the first definition of nerve. The problem is that these really are two different definitions of nerve. The first definition of nerve produces a simplicial complex (with simplices determined by their vertices), whereas any category-theoretic nerve produces a simplicial set (where each simplex has an orientation). $\endgroup$ Mar 24, 2010 at 17:58
  • $\begingroup$ Tyler: If you'd post this as an answer, I'd accept it. :) $\endgroup$
    – Rasmus
    Mar 24, 2010 at 18:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.