# Questions tagged [simplicial-stuff]

For questions about simplicial sets, simplicial (co)algebras and simplicial objects in other categories; geometric realization, Dold-Kan correspondence, simplicial resolutions etc.

606
questions

**81**

votes

**6**answers

11k 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 ...

**52**

votes

**1**answer

24k 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 ...

**36**

votes

**7**answers

4k 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 [...

**33**

votes

**2**answers

2k 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 ...

**28**

votes

**3**answers

3k 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 ...

**26**

votes

**4**answers

2k views

### An abstract nonsense proof of the Hurewicz theorem

The ordinary homotopy groups of a space $X$ are the homotopy groups of the corresponding singular simplicial set $Sing(X)$. The ordinary homology groups of $X$ are the homotopy groups of the ...

**25**

votes

**4**answers

3k 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 ...

**24**

votes

**5**answers

2k 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 smaller ...

**24**

votes

**4**answers

1k 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 ...

**22**

votes

**0**answers

507 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 ...

**21**

votes

**4**answers

2k 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 ...

**21**

votes

**0**answers

574 views

### A combinatorial approximation functor sSet->qCat

Let $sSet_J$ denote the category of simplicial sets equipped with the Joyal model structure. Simply by the fact that $sSet_J$ is locally presentable and its class of anodynes ($\neq \mathbf{Cof} \cap ...

**20**

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 ...

**20**

votes

**2**answers

936 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 ...

**19**

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 ...

**19**

votes

**5**answers

1k 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 ...

**19**

votes

**1**answer

1k 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 ...

**18**

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 I'...

**18**

votes

**2**answers

1k views

### If $X$ is a simplicial complex, is there a characterization of the links of its vertices 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 ...

**18**

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 $\text{...

**18**

votes

**4**answers

3k 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 ...

**18**

votes

**0**answers

1k 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 ...

**17**

votes

**3**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 ...

**17**

votes

**1**answer

729 views

### Errata on Rezk's paper

I am reading this paper of Rezk's http://arxiv.org/abs/0901.3602 A cartesian presentation of weak n-categories, and as it is pointed out in the introduction, it contained a wrong statement (2.19 in ...

**17**

votes

**2**answers

1k 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

2k 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 ...

**17**

votes

**3**answers

2k views

### What are the fibrant objects in the injective model structure?

If C is a small category, we can consider the category of simplicial presheaves on C. This is a model category in two natural ways which are compatible with the usual model structure on simplicial ...

**16**

votes

**2**answers

759 views

### Teaching Steenrod Operations

I am teaching a class on topology and want to introduce Steenrod Operations. I have talked about simplicial sets and classifying spaces of groups but have not talked about Eilenberg–MacLane spaces. ...

**16**

votes

**3**answers

946 views

### Why is Kan's $Ex^\infty$ functor useful?

I've always heard that Kan's $Ex^\infty$ functor has important theoretical applications, but the only one I know is to show that the Kan-Quillen model structure is right proper. What else is it useful ...

**16**

votes

**0**answers

735 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 $2$-functors....

**15**

votes

**5**answers

3k 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

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 non-...

**15**

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 ...

**15**

votes

**3**answers

1k 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 ...

**15**

votes

**1**answer

628 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 ...

**15**

votes

**1**answer

428 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 ...

**15**

votes

**0**answers

470 views

### Is there an analog of Kan's $Ex^\infty$ functor for quasicategories?

Is there a fibrant replacement functor in the Joyal model structure which can be described non-recursively, like $Ex^\infty$ for the Quillen model structure? I believe another way to put this is to ...

**15**

votes

**0**answers

399 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

**3**answers

839 views

### Extending Kan fibrations, without using minimal fibrations

$\require{AMScd}$One thing that needs to be checked to give an interpretation of type theory in simplicial sets (as in Kapulkin-Lumsdaine) is that "the base of the universal fibration is fibrant". ...

**14**

votes

**2**answers

821 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 ...

**14**

votes

**2**answers

710 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 auto-...

**14**

votes

**4**answers

1k 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. ...

**14**

votes

**1**answer

1k views

### Why does the singular simplicial space geometrically realize to the original space?

I have seen it claimed that (for compactly generated Hausdorff spaces) the geometric realization of the singular (internal) simplicial space is homotopy equivalent to the original space. I know how to ...

**14**

votes

**1**answer

1k views

### Is there an algebraic “derived mapping space” construction that encompasses both Hochschild homology and loop spaces of non-simply-connected spaces?

I'm looking for directions to the literature that might contain fairly explicit constructions that might be called (the algebra of functions on) the "derived mapping space" from a simplicial set to a ...

**14**

votes

**2**answers

1k 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 ...

**14**

votes

**1**answer

792 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 $$f(x_1,\dots,x_n)=-x_1^2-x_2^2-\dots-...

**14**

votes

**1**answer

506 views

### Simplicial set of permutations

Let $S_k$ be the set of all permutations of $k+1$ elements $0,1,...,k$. introduce boundary maps $d_i : S_k \rightarrow S_{k-1}$ by deleting from permutation $\eta$ element $\eta(i)$ and monotone ...

**14**

votes

**0**answers

211 views

### Kan's simplicial formula for the Whitehead product

In his article on Simplicial Homotopy Theory (Advances in Math., 6, (1971), 107 –209) Curtis quotes a formula (on page 197) for the Whitehead and Samelson products in a simplicial group $G$. The ...

**13**

votes

**4**answers

2k 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 ...

**13**

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 ...