For questions about simplicial sets (functors from simplex category to sets), simplicial (co)algebras and simplicial objects in other categories; geometric realization, model structures, Dold-Kahn correspondence etc. Please do not use for questions about geometry of simplices nor about ...

learn more… | top users | synonyms

8
votes
3answers
425 views

What is combinatorial homotopy theory?

Edit: After a discussion with t.b. we agreed that this question aims to a different answer from this one, for more information you can read the comment below. Many times I've heard people ...
8
votes
2answers
320 views

What is the homotopy colimit of the Cech nerve as a bi-simplical set?

Let $f:Y_\bullet\to X_\bullet$ be an epimorphism of simplicial sets and define the bi-simplicial set $$ F_{\bullet\bullet}=\ldots Y\times_X Y\times_X Y\underset{\to}{\underset{\to}{\to}}Y\times_X Y ...
8
votes
1answer
282 views

How does hocolim relate to Hom?

In a usual category $\mathcal{C}$ one can pull the colim out of the Hom like ...
8
votes
1answer
97 views

How to construct a quasi-category from a category with weak equivalences?

Let $(\mathcal{C},W)$ be a pair with $\mathcal{C}$ a category and $W$ a wide (containing all objects) subcategory. Such a pair represents an $(\infty,1)$-category. One model for such gadgets is a ...
8
votes
1answer
1k views

Difference between simplicial and singular homology?

I am having some difficulties understanding the difference between simplicial and singular homology. I am aware of the fact that they are isomorphic, i.e. the homology groups are in fact the same (and ...
7
votes
0answers
82 views

A theorem of Kan regarding fibrant replacement

Recall that there is an adjunction $$\mathrm{Sd} \dashv \mathrm{Ex} : \mathbf{sSet} \to \mathbf{sSet}$$ where $\mathrm{Sd} (\Delta^n)$ is the first barycentric subdivision of $\Delta^n$. There is a ...
7
votes
1answer
110 views

Playing with the torus and semisimplicial sets (prove that $\phi$ and $\psi$ are not homotopic)

Recall that we can express the torus $|X.| \cong T$ as a square with edges $e$ and $f$, diagonal $g$, faces $T_1$ and $T_2$, and a single vertex $v$, and appropriate identifications. Let $Y.$ be the ...
6
votes
3answers
125 views

Why is the 'mapping space' between two objects in a quasi-category a Kan complex?

Let $X$ be a quasi-category. (i.e. a simplicial set satisfying the weak Kan extension condition). Given two 'objects' $a,b\in X_0$ in $X$, one defines the mapping space $X(a,b)$ to be the pullback of ...
6
votes
1answer
96 views

Cohomological Whitehead theorem

Let $X$ and $Y$ be CW complexes (resp. Kan complexes) and let $f : X \to Y$ be a continuous map (resp. morphism of simplicial sets). The following seems to be a folklore result: Theorem. The ...
6
votes
1answer
225 views

Toric Varieties: gluing of affine varieties (blow-up example)

Let $\Delta$ be a fan, consisting of cones $\sigma_0=conv(e_1,e_1+e_2)$ and $\sigma_2=conv(e_1+e_2,e_2)$ and $\tau=\sigma_0\cap\sigma_1=conv(e_1+e_2)$. The dual cones are $\sigma_0^\vee= ...
5
votes
2answers
133 views

Are bounded open regions in $\mathbb{R}^n$ determined by their boundary?

Let $U$ and $V$ be two bounded open regions in $\mathbb{R}^n$, and let us further assume that their topological boundaries are nice enough that they are homeomorphic to finite simplicial complexes. ...
5
votes
2answers
254 views

Passing pullbacks through adjunction

I'm having trouble following the proof of Proposition I.5.2 in Goerss-Jardine (Simplicial Homotopy Theory). After establishing the adjunction $\hat\Delta(X\times K,Y) \simeq \hat\Delta(K,[X,Y])$, ...
5
votes
1answer
98 views

Fat geometric realization weakly equivalent to the usual one

Let $X$ be a simplicial set. Recall that we can associate to it a certain topological space, the geometric realization, given by $ | X | = \int ^{n \in \Delta} X_{n} \times \Delta _{n} \simeq ...
5
votes
1answer
94 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!
5
votes
2answers
217 views

Excision via simplicial sets

Let $X$ be a topological space, covered by a collection of open sets $\{U_\alpha\}$ (or more generally a cover by subspaces whose interiors cover $X$). Consider the singular simplicial set ...
5
votes
1answer
139 views

Homology other than singular?

Usually, one defines $n$-th homology functor on topological spaces as the composite functor $$ \mathbf{Top} \to [\Delta^\mathrm{op},\mathbf{Set}] \to [\Delta^\mathrm{op},R\!-\!\mathbf{Mod}] \overset C ...
5
votes
1answer
145 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
111 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 ...
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 ...
5
votes
0answers
137 views

Inverse functor in proof of Dold Kan Correspondence

I´m looking at the proof of the Dold-Kan correspondence. Let $SA$ be the category of simplicial objects in an abelian category $A$ and $CH_{\ge0}(A) $ the category of non-negative chain complexes in ...
4
votes
2answers
184 views

'homotopy' between morphisms of a 'topological' or 'algebraic' category (Stanley-Reisner ring)

In what follows, a homotopy is a congruence $\simeq$ on a given category. Given such a homotopy, objects $X$ and $Y$ of the given category are homotopy equivalent when there exist morphisms ...
4
votes
2answers
126 views

Does the functor $S:\mathbf{Top}\to \mathbf{sSets}$ preserve (homotopy)colimits?

Does the functor $S:\mathbf{Top}\to \mathbf{sSets}$ given by $S(X)_m=Hom_{\mathbf{Top}}(\Delta^m,X)$ preserve colimits? If not, what is a counterexample? The only things I can say are that it ...
4
votes
2answers
144 views

The empty set in homotopy theoretic terms (as a simplicial set/top. space)

I am currently confused about the empty set in terms of its path components and how this fits into the Quillen adjunction between topological spaces and simplicial sets. Probably, one of my ...
4
votes
1answer
453 views

Does the homology, homotopy, and geometric realization functors of a simplicial group preserve colimits?

Given a based simplicial group, you can find its reduced homology with coefficients in a field, homotopy, and geometric realization. These are functors. If I have a free product of based simplicial ...
4
votes
1answer
653 views

Barycentric subdivisions of simplices yield a simplicial complex

The following interesting result (in particular parts (b) and (d)) is stated either as a obvious fact or as an exercise in several books on algebraic topology: The barycenter $b_\sigma$ of an ...
4
votes
1answer
180 views

What are simplicial topological spaces intuitively?

(NOTE: I reposted the question to MO. Please answer there.) I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial sets are ...
4
votes
1answer
52 views

Unique representation of a degenerate simplex

I recently learned about simplicial sets, and now I'm studying some basic properties. I've learned that every degenerate simplex is a degeneracy of a unique non-degenerate (nice) simplex. However, I ...
4
votes
1answer
91 views

Existence and homotopies of embeddings between simplicial complexes

Let $K$ and $L$ be simplicial complexes, $m=\dim K$, and $h:|K|\rightarrow |L|$ be a continuous map. Show that $h$ is homotopic to a map carrying $K$ into $L^{(m)}$, the $m$-skeleton of $L$. I'm ...
4
votes
1answer
111 views

The two-sided simplicial bar construction is Reedy-cofibrant

Let $\mathcal{M}$ be a simplicial model category and let $\mathbb{C}$ be a small category. For a diagram $F : \mathbb{C} \to \mathcal{M}$ and a weight $G : \mathbb{C}^\mathrm{op} \to \mathbf{sSet}$, ...
4
votes
1answer
85 views

Model structure on sSet

Which is the model structure on $ \text{sSet} $ (category of simplicial sets) that makes $\text{sSet}$ Quillen equivalent to the category $ \text{Cat} $ (of small categories) by the adjunction ...
4
votes
0answers
112 views

Two definitions of equivariant sheaves

Let $G$ be a topological group. Here are two definitions of $G$-equivariant sheaves on a $G$-space $X$. (a) Define an $G$-equivariant sheaf by a sheaf $F$ (étalé space) equipped with a $G$-action ...
4
votes
0answers
198 views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
4
votes
0answers
106 views

What is a copresheaf on a “precategory”?

Let $\mathcal{S}$ be a category with pullbacks. A precategory $\mathbb{C}$ in the sense of Borceux and Janelidze [Galois Theories, §7.2] comprises three objects $C_0, C_1, C_2$ in $\mathcal{S}$ and ...
3
votes
1answer
78 views

Why do we ask that condition in Kan complex?

Let $\{X_n\}_{n=0}^\infty$ be simplicial set with faces $d_i:X_n\to X_{n-1} $, a simplicial set is called a Kan Complex if for any $x_0,...,x_{k-1},x_{k+1},...,x_{n+1}$ if $d_i(x_j)=d_{j-1}(x_i)$ for ...
3
votes
2answers
218 views

Triangulate rectangular parallelepiped in $\mathbb{R}^{n}$

I need to triangulate the n-dimensioned rectangular parallelepiped in $\mathbb{R}^{n}$ into a set of $n$-simplices. Could you suggest me any known algorithm for that or maybe an extension of Delaunay ...
3
votes
2answers
94 views

How do we get a simplicial homology functor?

The $n$-th simplicial homology group $H_n(A)$ of an abstract simplicial complex $A$ depends on the choice of an orientation for $A$ (but for different orientations, the homology groups are ...
3
votes
1answer
73 views

n-truncated simplicial set

It might be a trivial question. So, I apologise in advance. Let $ \Delta ^{op}_n $ be the full subcategory of $ \Delta ^{op} $ such that the set of objects of $ \Delta ^{op}_n $ is $ \left\{ 0, ...
3
votes
2answers
243 views

Kan fibrations and surjectivity

I have a basic question on the usual model structure on simplicial sets. What is the relation between being a Kan (trivial maybe ?) fibration and surjectivity ? Surjectivity here means either ...
3
votes
2answers
175 views

The subcomplex of degenerate simplices has trivial homology

Let $A_\bullet$ be a (non-augmented) simplicial object in an abelian category, with face maps $d_i : A_n \to A_{n-1}$ and degeneracy maps $s_i : A_n \to A_{n+1}$, $0 \le i \le n$, for each $n \ge 0$. ...
3
votes
1answer
59 views

Does $\pi_0$ preserve infinite products?

The functor $\pi_0\colon \operatorname{sSets}\to \operatorname{Sets}$ has value on a simplicial set $X$ the coequalizer of the two boundary morphisms $d_0,d_1\colon X_1\to X_0$. It is easy to see ...
3
votes
1answer
52 views

Difference between the simplicial nerve and the nerve of a simplicial category

In Jacob Lurie's Higher Topos Theory book, he defines the following notion of a simplicial nerve: Definition 1.1.5.5. Let $\mathcal{C}$ be a simplicial category. The simplicial nerve ...
3
votes
1answer
47 views

Relative Simplicial Approximation

While I was studying the cellular approximation theorem on May's "A Concise Course in Algebraic Topology" I found something a bit unclear. I agree with the fact that, given two CW-complexes $X,Y$, and ...
3
votes
2answers
59 views

Why is the Cech nerve $C(U)$ of a surjective map $U\to X$ weakly equivalent to $X$?

Let $f:U\to X$ be a surjective map of sets and $$ ...U\times_XU\times_XU \substack{\textstyle\rightarrow\\[-0.6ex] \textstyle\rightarrow \\[-0.6ex] ...
3
votes
1answer
95 views

Cech cohomology and cohomology of a category : a cluster of questions.

I apologize in advance : what follows is a bit of a mess. Also, I think it might be a big tautology, but i don't see it yet. My question is about the rapport of Cech cohomology and cohomology of a ...
3
votes
1answer
130 views

What is the cone over a simplicial set?

At the moment I'm reading through Edward B. Curtis, 'Simplicial Homotopy Theory' (Advances in Mathematics 6, 107-209 (1971)) in order to learn about simplicial sets and I run into a problem where the ...
3
votes
1answer
56 views

Random mixing of the space of triangulations of a surface

Summary: How quickly does the edge-flip random walk in the space of triangulations of a closed, connected, orientable surface converge to the uniform distribution over all triangulations? Let $M$ be ...
3
votes
0answers
43 views

Converting a space to a simplicial set

Given a compact manifold and a Morse function, we obtain a convenient cellular decomposition. But suppose I have a (finite dimensional, possibly singular) space $X$ that is not a manifold and I wish ...
3
votes
0answers
60 views

Morita theory for simplicial rings

My question is the following: is there an analog of Morita theorem in the simplicial setting? I mean, we can define two simplicial rings $A,B$ to be simplicially Morita equivalent is the categories ...
3
votes
0answers
54 views

Does the $\mathcal{E}G$-construction arise form a comonad?

Let $G$ be a simplicial group and consider the adjunction $$ Fr:sSets\rightleftarrows G-sSets:U $$ where the left adjoint $Fr$ maps a simplicial set $X$ to the free $G$-simplicial set $G\times X$ and ...
3
votes
0answers
62 views

Is a simplicial subcomplex of a contractible simplicial CW-complex also contractible?

Let $Y,X$ be simplical CW-complexes (By that I mean functors $\Delta^{op}\to CW$. In other words, for each natural number $n$ there exist CW-complexes $X_n$ and $Y_n$ and there are face and degeneracy ...