The simplicial-stuff tag has no usage guidance.

**50**

votes

**5**answers

7k views

### Is there a high-concept explanation for why “simplicial” leads to “homotopy-theoretic”?

My (limited) understanding is that simplicial methods tend to be used whenever you want some kind of nontrivial homotopy theory -- for instance, to get a nice model structure, you use simplicial sets ...

**33**

votes

**1**answer

15k views

### If I want to study Jacob Lurie's books “Higher Topoi Theory”, “Derived AG”, what prerequisites should I have?

I've been told that it's important to know modern physics, Differential Geometry and Algebraic Topology for understanding higher structures. Is there any other prerequisite for understanding Lurie's ...

**30**

votes

**7**answers

3k views

### Simplicial objects

How should one think about simplicial objects in a category versus actual objects in that category? For example, both for intuition and for practical purposes, what's the difference between a ...

**26**

votes

**2**answers

725 views

### A more natural proof of Dold-Kan?

The Dold-Kan correspondence gives an equivalence of categories between $SAb$, the category of simplicial abelian groups, and $Ch_{\geq 0}$, the category of non-negatively graded chain complexes of ...

**21**

votes

**4**answers

1k views

### A Peculiar Model Structure on Simplicial Sets?

I'm wondering if there is a Quillen model structure on the category of simplicial sets which generalizes the usual model structure, but where every simplicial set is fibrant? I want to use this to do ...

**20**

votes

**4**answers

2k views

### Model structure on Simplicial Sets without using topological spaces

The category of simplicial sets has a standard model structure, where the weak equivalences are those maps whose geometric realization is a weak homotopy equivalence, the cofibrations are ...

**20**

votes

**3**answers

2k views

### What facts in commutative algebra fail miserably for simplicial commutative rings, even up to homotopy?

Simplicial commutative rings are very easy to describe. They're just commutative monoids in the monoidal category of simplicial abelian groups. However, I just realized that a priori, it's not clear ...

**19**

votes

**2**answers

648 views

### How many simplicial complexes on n vertices up to homotopy equivalence?

Fix a number $n$, and define $\gamma(n)$ to be the number of simplicial complexes on $n$ unlabeled vertices up to homotopy equivalence. It is unlikely that an explicit formula exists, but what is ...

**18**

votes

**6**answers

2k views

### A canonical and categorical construction for geometric realization

There is a very intimate connection between categories, simplicial sets, and topological spaces. On one hand, simplicial sets are the presheaf category on the category $\Delta$ and $\Delta$ is a ...

**18**

votes

**2**answers

801 views

### Is there a discrete Cerf theory?

Towards the end of the 1990's, Robin Forman developed a discrete version of Morse theory, which concerns maps from a simplicial complex to $\mathbb{R}$ satisfying a combinatorial analogue to the ...

**17**

votes

**6**answers

2k views

### Simplicial homotopy book suggestion for HTT computations

I'm struggling through Lurie's Higher Topos Theory, since it appears that someone reading through the book is expected to be somewhat comfortable with simplicial homotopy theory. The main trouble ...

**17**

votes

**2**answers

1k views

### Is the 4x5 chessboard complex a link complement?

The 2x3 and 3x4 chessboard complexes (form a square grid of vertices and make a simplex for any set of vertices no two of which are in the same row or column) are a 6-cycle and a triangulated torus ...

**17**

votes

**2**answers

786 views

### When is a topological space the homotopy colimit of an open covering?

Suppose that $X$ is a topological space and $\left(U_i \to X\right)$ is an open cover. We can associate to it the Cech diagram of this cover $$C_U:\Delta^{op} \to Top.$$ I know that for many good ...

**17**

votes

**1**answer

1k views

### Homotopy colimits/limits using model categories

A homotopy (limits and) colimit of a diagram $D$ topological spaces can be explicitly described as a geometric realization of simplicial replacement for $D$.
However, a homotopy colimit can also be ...

**16**

votes

**3**answers

1k views

### Testing simplicial complexes for shellability

Question
Are there efficient algorithms to check if a finite simplicial complex defined in terms of its maximal facets is shellable?
By efficient here I am willing to consider anything with ...

**16**

votes

**1**answer

1k views

### Analogue of simplicial sets

This question is prompted by this one (and some of the comments that it drew).
Simplicial complex is to ordered simplicial complex as $X$ is to simplicial set. The question is about $X$.
Let ...

**16**

votes

**4**answers

2k views

### Why is complex projective space triangulable?

In an exercise in his algebraic topology book, Munkres asserts that $\mathbf{C}P^n$ is triangulable (i.e., there is a simplicial complex $K$ and a homeomorphism $|K| \rightarrow \mathbf{C}P^n$). Can ...

**16**

votes

**0**answers

306 views

### Is this a model for $K$-theory of a triangulated category?

The recent question Complete the following sequence: point, triangle, octahedron, . . . in a dg-category reminded me of something I wanted to clarify long time ago; most likely this is now well known ...

**15**

votes

**5**answers

2k views

### Advantages of working with CW complexes/spaces over Kan complexes/simplicial sets?

Many topologists express a clear preference for working with CW complexes instead of simplicial sets.
One of the reasons is that the cellular chain complex of a CW complex is often easier to work ...

**15**

votes

**2**answers

683 views

### If $X$ is a simplicial complex, is their a characterization of the links of the vertices of $X$ that is equivalent to the statement "$|X|$ is a manifold

We have a characterization when we want $|X|$ to be a PL-manifold, in particular that the links of all the vertices are themselves (PL) spheres. If we are in the category of PL- spaces then this is a ...

**14**

votes

**3**answers

788 views

### Necessity of hypercovers for sheaf condition for simplicial sheaves

I'm trying to understand where the definition of simplicial sheaf on a space/site comes from.
For a presheaf $F$ of sets on a topological space $X$, the sheaf condition can be viewed as saying that ...

**14**

votes

**1**answer

825 views

### Is there a combinatorial way to factor a map of simplicial sets as a weak equivalence followed by a fibration?

Background on why I want this:
I'd like to check that suspension in a simplicial model category is the same thing as suspension in the quasicategory obtained by composing Rezk's assignment of a ...

**14**

votes

**0**answers

338 views

### Asymptotics for the number of triangulations of a manifold M

In Gromov's talk at the Clay Math Research from 23:23 to 25:55 Gromov says (slightly paraphrased)
I want to emphasize a problem which
comes from mathematical physics which
is unsolved which is ...

**14**

votes

**0**answers

885 views

### Hodge star and harmonic simplicial differential forms

Is there a notion of harmonic forms and Hodge theory for Sullivan's piecewise smooth differential forms on a simplicial set?
Let me recall some background.
Hodge Theory on a Riemannian manifold
A ...

**13**

votes

**2**answers

1k views

### Status of Quillen's conjecture on elementary abelian p-groups

These are questions on D. Quillen's 1978 paper Homotopy properties of the poset of nontrivial p-subgroups of a group.
Let $G$ be a finite group, $p$ a prime number, $\mathcal S(G)$ the poset of ...

**13**

votes

**3**answers

669 views

### Triangulations of polyhedra

A topologist came to me with this question, but everything I think should work doesn't.
How many triangulations are there of a polyhedron with n vertices?
By a "triangulation" of a polyhedron P we ...

**13**

votes

**1**answer

1k views

### What are simplicial topological spaces intuitively?

(This is a repost of a question from MSE. I hope there is more to say.)
I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial ...

**13**

votes

**2**answers

629 views

### Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$?
Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...

**13**

votes

**3**answers

964 views

### Does the classification diagram localize a category with weak equivalences?

Let $(C,W)$ be a category equipped with a subcategory of weak equivalences. Its "classification diagram" or "bisimplicial nerve" $N(C,W)$ is a bisimplicial set, for which $N(C,W)_n$ is the nerve of ...

**13**

votes

**1**answer

504 views

### When can a contractible 2-complex be embedded in R^3?

Let $X$ be a contractible 2-dimensional simplicial complex. Are there nice necessary and sufficient conditions for $X$ to be embeddable in $\mathbb R^3$? Clearly it is necessary that the link of ...

**13**

votes

**1**answer

476 views

### Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...

**13**

votes

**2**answers

433 views

### Group cohomology without G-modules (a.k.a. what does this bar construction compute?)

Without any prior exposure to the cohomology of groups, one might naively proceed by replacing a group by a sort of resolution.
For instance, let's take $G = \mathbb{Z}^2$, and "resolve":
$$ 0 \to ...

**13**

votes

**0**answers

553 views

### Does the category of strict $2$-categories together with Dwyer-Kan equivalences provide a model for $(\infty,1)$-categories?

The question is the title.
In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are ...

**12**

votes

**3**answers

1k views

### What are the endofunctors on the simplex category?

Is there a 'classification' of the endofunctors F: Δ --> Δ where Δ denotes the simplex category with objects [n] and the weakly monotone maps [m] --> [n] as morphisms (Actually, I ...

**12**

votes

**2**answers

2k views

### What is a symmetric monoidal $(\infty,n)$-category?

This question arose from reading Jacob Lurie's "Classification of topological field theories" paper. In that paper, he uses complete $n$-fold Segal spaces as a model for $(\infty,n)$-categories, but ...

**12**

votes

**2**answers

550 views

### The symmetric monoidal category of finite sets

It is well-known that the (augmented) simplex category is the universal monoidal category with a monoid object. What about a commutative analogue? Consider the category $\mathsf{FinSet}$ of finite ...

**12**

votes

**4**answers

712 views

### Simplicial Model of Hopf Map?

The Hopf fibration is a famous map S3 --> S2 with fiber S1, which is the generator in pi_3(S2). We can model this map in terms simplicial sets by taking the singular simplicial sets of these spaces ...

**12**

votes

**1**answer

445 views

### The weak equivalences in the covariant model structure

Let $S$ be a simplicial set. Recall that there is a model structure, called the covariant model structure (see HTT ch. 2 and this question), on $\mathbf{SSet}/S$ such that:
The cofibrations are the ...

**12**

votes

**4**answers

979 views

### Degeneracies for semi-simplicial Kan complexes

By a semi-simplicial set I mean a simplicial set without degeneracies. In such a thing we can define horns as usual, and thereby "semi-simplicial Kan complexes" which have a filler for every horn. ...

**12**

votes

**2**answers

525 views

### Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...

**12**

votes

**2**answers

611 views

### Multisimplicial geometric realization

Does anyone know a reference or proof for the following? Let $k\geq 1$ and let $X$ be a space. There is a $k$-fold multisimplicial set whose simplices in degree $n_1,\ldots,n_k$ are the maps ...

**12**

votes

**1**answer

914 views

### The reflexive free-category comonad-resolution is a cofibrant replacement of the discrete simplicial category associated with an ordinary category in the Bergner model structure on the category of small simplicial categories?

Let $X$ be the category of reflexive quivers, and let $Cat$ be the category of small categories. There exists an evident forgetful functor $U:Cat\to X$ sending a category $A$ to its underlying ...

**12**

votes

**1**answer

230 views

### From relative categories to marked simplicial sets

Both relative categories and marked simplicial sets (over Δ^0) present the ∞-category of ∞-categories.
Naturally, one could ask whether there is a reasonably direct way to pass between these two ...

**12**

votes

**1**answer

428 views

### Lemma 2.1.1.4 in Lurie's HTT

I have encountered a problem in understanding Lurie's proof of the following fact:
"Given a left fibration between simplicial sets $q:X \to S$, there exists a functor $$ho(S) \to Ho(sSet)$$ which is ...

**12**

votes

**1**answer

350 views

### Verifying that $\epsilon^!$ is indeed the right adjoint of $\epsilon_*$ in the context of algebraic stacks

The question is about the last paragraph of Remark 12.4.3 in the book on algebraic stacks by Laumon and Moret-Bailly.
Let $S$ be a (quasi-separated) scheme and let $\mathscr{X}$ be an algebraic stack ...

**11**

votes

**7**answers

2k views

### History of classifying spaces

Where did the idea and formal definition of the "classifying space of a (small) category" first appear?
Added: As Andy Putman noted below, the "classical" early reference for this is G. Segal's ...

**11**

votes

**4**answers

1k views

### Is there any generalization of the Dold-Kan correspondence?

The Dold-Kan correspondence gives an equivalence between simplicial abelian groups and chain complexes of abelian groups supported on negative degrees. It actually works for any abelian category. I'm ...

**11**

votes

**3**answers

856 views

### Which properties of finite simplicial sets can be computed?

A simplicial set $X$ is a a combinatorial model for a topological space $|X|$, its realization, and conversely every topological space is weakly equivalent to such a realization of a simplicial set. I ...

**11**

votes

**2**answers

2k views

### What is the homotopy theory of categories?

I've heard that Grothendieck, in his letter "Pursuing Stacks," wanted to find alternative models for the classical homotopy category of CW complexes and continuous maps (up to homotopy), and one of ...

**11**

votes

**1**answer

887 views

### Is the simplicial completion of a localizer always a bousfield localization of the injective model structure?

Background
Recall (from Cisinski's Astérisque volume 308) that given a small category $A$, we define an $A$-localizer to be a class $W$ of morphisms of $\mathrm{Psh}(A)$ satisfying the following ...