0
votes
1answer
33 views

A question about abstract simplicial complexes and discs.

I find the following definitions in a book about algebraic topology: Definition: Let $K$ be an abstract simplicial complex. $(1)$ If $K$ is finite, simply connected and with nonempty ...
0
votes
1answer
51 views

How does one give topological structure to an abstract simplicial complex?

Given an abstract simplicial complex $K,$ I'd like to know how I can endow it with a topology.
2
votes
1answer
341 views

Show simplicial complex is Hausdorff

I have a simplicial complex $K$ and I need to show that its topological realisation $|K|$ is Hausdorff. And $K$ need not be finite. I have very little idea on how to get started on this. Only that if ...
5
votes
0answers
118 views

Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the simplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
1
vote
1answer
38 views

Contractibility of topological spaces associated to posets

Suppose $\mathcal{P}$ is a partially ordered set. To $\mathcal{P}$ we can associate a simplicial complex $K(\mathcal{P})$ whose $n$-simplices are the chains of length $n+1$ in $\mathcal{P}$. Since ...
2
votes
1answer
76 views

Show that two different embeddings of the figure-eight in the torus are not homotopic

Note, we can express the torus $|X.| \cong T$ as a square with edges denoted by $e$ and $f$, the diagonal by $g$, and faces $T_1$ and $T_2$, and a single vertex $v$, with appropriate identifications. ...
5
votes
1answer
93 views

Does the category of Simplicial Complexes have finite limits and colimits?

Does the category of Simplicial Complexes have finite limits and colimits? Does the geometric realization functor preserve them? Thanks!
0
votes
1answer
36 views

Paths between 0-cells in a classifying space. II

Let $\mathcal{C}$ be a small category and $X,Y$ objects within. If $X$ and $Y$ (as $0$-cells) lie within the same path-component in $B\mathcal{C}$, can one say anything in general on how $X$ and ...
1
vote
1answer
41 views

Paths between 0-cells in a classifying space.

Let $\mathcal{C}$ be a small category. Giving a morphism $u: X \to Y$ in $\mathcal{C}$ is equivalent to giving a functor $f: \{0 < 1 \} \to \mathcal{C}$ (with $f(0) = X$, $f(1) = Y$, and $f(0 \to ...
5
votes
1answer
143 views

What exactly is the CW complex structure on a geometric realisation?

This is likely a silly question. Definitions: $\bullet$ $\Delta_n = \{ (t_0, \dots, t_n) \: | \: 0 \leq t_i \leq 1, \sum_i t_i = 1 \}$ $\bullet$ Given $f: \underline{m} \to \underline{n}$ in ...
5
votes
1answer
110 views

Pseudomanifolds

An $n$-dimensional (closed) pseudomanifold is a finite simplicial complex $X$ such that (i) every simplex is a face of an $n$-simplex (ii) every $(n-1)$-simplex is a face of exactly two ...
2
votes
0answers
86 views

Ways to decompose a torus for finite element method so that each cell contains a complete revolution of the major radius

I've got a finite element problem involving paths around the interior of a torus. For this particular problem I think I could make things more computationally efficient if each cell in the mesh made ...
1
vote
1answer
139 views

manifold as simplicial complex

I want to know the topological relation between a manifold and a simplicial complex. I know that a simplicial complex cannot be a manifold since its a union of simplices which are manifolds of ...
2
votes
1answer
232 views

Comparison between various types of cell complexes

There are the following (and more) types of geometric cell complexes: 1) The geometric realization of a simplicial set 2) CW-complexes 3) The geometric realization of an abstract simplicial complex ...
0
votes
1answer
97 views

Simplicial Complexes - the Closure of the Star is a Cone on the Link (proof?)

I'm trying to prove that $\overline{st_K(x)}$ is a cone on $lk_K(x)$, but can't seem to get anywhere! I know how to construct a topological cone given a space $X$. However I don't know any way to ...