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.

Filter by
Sorted by
Tagged with
5 votes
2 answers
196 views

Density Theorem for $\infty$-Categories (HTT, Lemma 5.1.5.3)

The density theorem in the ordinary category theory asserts that every presheaf on a small category is a colimit of representables in a canonical way. In Lemma 5.1.5.3 of Higher Topos Theory, Lurie ...
  • 441
0 votes
0 answers
119 views

Is there an analogy between convergence and homotopical triviality?

Is there an analogy (formal or intuitive) between the notions of convergence and contractibility ? Is the notion of convergence an instance of homotopical triviality in some formalism, or should be ? ...
0 votes
0 answers
67 views

Décalage and the simplicial path object

$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\const{const}$Let $[+1]:\Delta\to\Delta$ be the décalage endomorphism sending $n\mapsto n+1$ adding a new minimal element, i.e. $f:n\to m$ is sent to $...
2 votes
1 answer
57 views

Strongly final vertex $Y$ in a simplicial set gives a retraction of $\mathcal{C}^{ \triangleright }$ onto $\mathcal{C}$

I have a question about a proof from Jacob Lurie's Higher Topos Theory (p 45): Proposition 1.2.12.5. Let $\mathcal{C}$ be a simplicial set. Every strongly final object (see below what means) of $\...
1 vote
0 answers
53 views

Defining null-homotopy in terms of endofunctors in an arbitrary simplicial category

I am looking for references defining contractible or null-homotopic in terms of endofunctors $\Delta\to\Delta$. Let $[+1]:\Delta\to\Delta, n\mapsto n+1$ be the endofunctor of $\Delta$ adding a new ...
4 votes
1 answer
124 views

Classifying the endofunctors of the category $\Delta$ of finite linear orders

Is there a theory of endofunctors of the category $\Delta$ of finite linear orders ? Can they be classified ? Is there a reference on this ? Can one classify endofunctors $T:\Delta\to\Delta$ which ...
0 votes
1 answer
266 views

Defining homotopy via the “doubling” endofunctor of a simplicial category

I am looking for a reference explicitly defining simplicial homotopy in terms of endofunctors of $\Delta$, and developing homotopy theory in this terms. The following is a particular question. Is it ...
0 votes
1 answer
151 views

Defining homotopy via endofunctors of a simplicial category

$\newcommand\sSets{\text{sSets}}\newcommand\sing{\text{sing}}\DeclareMathOperator\Hom{Hom}\newcommand\Top{\text{Top}}$I am looking for a reference describing the notions of homotopy and ...
5 votes
1 answer
303 views

Is every simplicial map $\Phi:K(A, n) \to K(A', n)$ a simplicial homomorphism of groups?

I have posted a few questions on MSE, most notably this one, which revolve around the same issue and have received no answers, so I decided to ask the same here. In the following, $K(A, n)$ is the ...
1 vote
1 answer
109 views

Barycentric subdivision and 1-coskeletalization

Let $sd : sSet \to sSet$ denote barycentric subdivsion; $cosk_1 : sSet \to sSet$ denote 1-coskeletalization. Question: Let $X$ be a graph or simplicial set. If the homotopy type of $cosk_1(X)$ is ...
  • 51.1k
6 votes
1 answer
215 views

Arbitrary-dimensional expanders?

Rephrasing expansion (slightly). Consider the following slightly tweaked version of the usual definition of a (spectral) expander graph. (We write a weighted graph as $(V,\beta)$, where the weight $\...
  • 17.2k
3 votes
0 answers
120 views

Is there an interesting model structure on sSet whose fibered objects are exactly contractible Kan Complexes?

For the Kan-Quillen model structure, the fibered objects are exactly the Kan Complexes and for the Joyal model structure, the fibered objects are exactly the $\infty$-categories. This follows from the ...
3 votes
1 answer
191 views

Homotopy coherent nerve versus simplicial nerve

Background Recently I asked a question on a particular construction ot the classifying space of a topological group. I got an answer, but it relied on nontrivial Quillen equivalences between various ...
  • 441
7 votes
2 answers
319 views

Simplicial nerve of a topological group

Given a group $G$, one way to construct the classifying (topological) space $BG$ is to regard $G$ as a category with one object and morphisms $G$, take its nerve, and then apply the geometric ...
  • 441
1 vote
0 answers
66 views

Homotopy limits indexed by a covering

We all know that the homotopy fiber of a continuous function $f: A \to B$ has a simple expression in terms of points and paths connecting them, that is $$ \textrm{hofib}_y(f) = \{ (x,\gamma) \in A \...
5 votes
1 answer
115 views

What is the name for the construction of this poset related to coherence of degeneracies of the simplex category?

I present you a family of posets here. I don't say the posets themselves have a conventional name. However I'm sure the general construction of this kind has received some terminology, related to ...
  • 173
2 votes
0 answers
93 views

Simplicial basis in iterated bar construction

Let $G$ be an abelian group and set $A:=\mathbb{Z}G$. We can define a commutative dga Hopf algebra $$B(A):=\bigoplus_{k \in \mathbb{Z}}\,B_k,$$ where $B_k:=A^{\otimes(k+1)}$. I like to think of the ...
4 votes
0 answers
144 views

Composition in $\infty$-Categories

This is similar to another question on MO, but is different. Let $p:\mathcal{E}\to\mathcal{C}$ be a right fibration between $\infty$-categories. As explained in Lurie's HTT, $\S$2.1, we can consider $...
  • 441
2 votes
0 answers
212 views

Non-equivalent spaces with the same homotopy groups

It is well known that two topological spaces that have all homotopy groups isomorphic need not be weakly homotopy equivalent, because it might not be possible to construct a single map inducing all ...
4 votes
0 answers
113 views

Almost acyclicity of the complex of configuration spaces of noncollinear points in projective plane over finite fields

Let $F$ be a finite field with many elements, say more than 7 for example, and $X$ be the corresponding projective plane $\mathbb{P}^2(F)$. For a set of points in $X$, if any three of them are ...
0 votes
0 answers
72 views

What is the average degree of a d-simplex?

I am a beginner in network topology topics and while I was reading an article about simplicial complexes where the authors had used random simplicial complexes, I came across a formula using "...
  • 1
5 votes
1 answer
240 views

Defining Hochschild homology of non-commutative DG-algebras with animated rings with a circle action

A cool construction of Hochschild homology (that I saw on B. Antieau's website here ) is the following: Let $k$ be a commutative ring, then denote by $\mathfrak{a}\text{CAlg}_k$ the category of ...
3 votes
0 answers
139 views

Do we really need degeneracies for spectral sequence of homotopy simplicial chain complex?

Let's consider an homotopy simplicial chain complex, that is a functor of $\infty$-categories $X_{\bullet} = \textrm{N}(\Delta^{op}) \to \mathcal{C}_{\ge 0}$, where $\mathcal{C}_{\ge 0}$ is the $\...
3 votes
1 answer
152 views

Constructing sections of a cocartesian fibration

Suppose $\mathcal{E} \to \mathcal{C}$ is a cocartesian fibration over (the nerve of) a classical category, and there is a section on zero simplices that sends $C$ to $s(C)$ such that, for every edge $...
  • 2,756
1 vote
0 answers
87 views

Cohomology of bisimplicial set is the cohomology of the total simplicial set?

Given a bisimplicial manifold (or set, topological space) there is the bar construction, which assigns to it a simplicial manifold, called the total simplicial manifold. Now stepping back for a moment,...
4 votes
0 answers
241 views

What does the cotangent complex tell you when it takes animated inputs?

These two links: What is the cotangent complex good for? and Intuition about the cotangent complex? are quite helpful in giving intution for the cotangent complex in terms of deformations but I don't ...
  • 301
3 votes
2 answers
126 views

The exactness of the associated chain complex of a simplicial free abelian group over a finite set and the normalization theorem

Update: Now I know why my method fails. But I still wanna know how to work out the original question, that is to show the exactness of the chain complex $C_*(X)$ except for two positions $n=0,N-1$. ...
3 votes
0 answers
78 views

Singular complex and homotopy coherent nerve as simplicial sets

Let $X$ be a CW complex. Is the simplicial set $\ \mathrm{Sing}\ X$ isomorphic to the homotopy coherent nerve of some Kan enriched category? Is this true for $X$ = the real line?
8 votes
0 answers
142 views

Is the category of all topological spaces, including the bad ones, simplicially tensored and cotensored?

Let $\textbf{Top}$ be the category of all topological spaces, including the bad ones. We can make $\textbf{Top}$ into a simplicially enriched category as follows: Given topological spaces $X$ and $Y$,...
  • 13.4k
1 vote
0 answers
32 views

Are there local maps of simplicial (co-)cycles on $d$-manifolds beyond cohomology operations?

I'm interested in locally defined maps of cocycles/chains on manifolds of a fixed dimension $d$ which are compatible with cohomology. To be concrete about what "local" means, let me consider ...
  • 2,629
8 votes
1 answer
186 views

Does the (1-)topos structure on simplicial sets have any homotopy-theoretic significance?

To give an example of a peculiar feature of simplicial sets that I cannot remember encountering anywhere in the context of homotopy theory: every simplicial set $X$ possesses partial map classifier $X\...
3 votes
1 answer
184 views

Kan–Thurston theorem and R-completion

A corollary of the Kan and Thurston theorem states that the space $X$ (path connected) can be recovered, up to homotopy, by applying the fiber-wise $\mathbb{Z}$-completion functor of Bousfield–Kan (...
2 votes
0 answers
117 views

Chain-level representability of simplicial cohomology

There's a simple construction for a classifying space $K(G,1)$ of a finite group $G$ as an infinite simplicial complex consisting of one $i$-simplex for each possible simplicial $1$-cocycle restricted ...
  • 2,629
6 votes
0 answers
96 views

When is the fat join a monoidal structure?

This question is about the following general construction. Definition: Let $(\mathcal C, \otimes)$ be a cocomplete, monoidal biclosed category whose unit $\ast$ is terminal. Let $I$ be an "...
  • 51.1k
21 votes
2 answers
1k views

Why are quasi-categories better than simplicial categories?

There are many models for $(\infty,1)$-categories: simplicial categories, Segal categories, complete Segal spaces, and quasi-categories. Doubtlessly the model most used to do higher category theory in ...
6 votes
1 answer
227 views

How do the various homotopy 2-categories compare?

There are various models of $\infty$-categories floating around, so there are as many models of the associated homotopy 1- and 2-categories. Because the relations between the former are worked out in ...
2 votes
0 answers
159 views

Formally étale maps of animated $k$-algebras

In Lurie's DAG, he defines what it means for a natural transformation $T:\mathcal{F}\to\mathcal{F}'$ of functors $\mathcal{F},\mathcal{F}':\mathcal{SCR}\to\mathcal{S}$ to be formally étale. Namely, it ...
  • 301
2 votes
0 answers
66 views

Is there any research about secant varieties by using homotopical algebra or simplicial methods?

Let $A$ be a finitely generated $\mathbb{C}$-algebra with $proj A$ is a projective variety $X \subset \mathbb{P}^n$. The join $J(X,X)$ can be represented by $proj (A\otimes_kA)$ and also we can ...
  • 111
2 votes
0 answers
44 views

Reference request - Two notions of suspension /loop space agree for simplicial objects

In Goerss-Jardine they point out that there are two reasonable definitions of the (reduced) suspension of a simplicial set. One is the smash product with $S^1$ and one is the join with $S^0$, the &...
5 votes
1 answer
203 views

Example of a non-$\infty$-category whose homotopy category is a groupoid

What is an example of a simplicial set $S$ such that its homotopy category $hS$ is a groupoid, but such that $S$ is not an $\infty$-category? I know that if $S$ is an $\infty$-category, then $S$ is a ...
4 votes
0 answers
69 views

Simplicial spaces and reflexive coequalisers

Let $X_\bullet$ be a simplicial space. Consider the reflexive coequaliser of $X_1\rightrightarrows X_0$, which we call $X$. Then we clearly have a map $\varphi\colon |X_\bullet|\to X$, where $|X_\...
  • 1,613
5 votes
1 answer
280 views

The localization of the span category

Suppose one has a model category $C$ with its class of weak equivalences $W$. It is possible to form a separate homotopical category $(C_{\operatorname{span}},W_{\operatorname{span}})$ which has ...
  • 3,314
2 votes
1 answer
142 views

Explicitly calculating the homotopy fiber of a 3-cocycle in the category of simplicial sets

I am stuck at a critical step in my master's thesis. If someome can help me out here, I will give appropriate credit. We know that the data of a 2-group $G$ can be given by a group $\tau_0(G)$ and a 3-...
11 votes
2 answers
1k views

Algebraic topology and homotopy theory with simplicial sets instead of topological spaces

To quote Kerodon: In fact, it is possible to develop the theory of algebraic topology in entirely combinatorial terms, using simplicial sets as surrogates for topological spaces. A similar quote can ...
4 votes
1 answer
52 views

Simplicial polytope with regular cones

Let $P$ be a convex simplicial polytope in $\mathbb{R}^n$. Can we find a convex simplicial polytope $P_0$ in $\mathbb{R}^n$ combinatorially equivalent to $P$, satisfying the following condition: The ...
  • 395
5 votes
1 answer
334 views

Geometric realisation of smooth $\infty$-stacks

Let $Sh^\infty(\mathsf{Man})$ denote the $\infty$-category of sheaves of $\infty$-groupoids over the site $\mathsf{Man}$ of smooth manifolds (if you prefer, that's the model category of simplicial ...
4 votes
1 answer
197 views

Kan Complexes, proof of extension of a map to a product

I'm reading a book about Kan Complexes in Simplicial Homotopy Theory (Curtis), and came across this theorem at the beginning : if $f : \Delta[n] \times \Lambda^k[m] \to K$ is a simplicial map and $K$ ...
1 vote
1 answer
190 views

Proving that the simplex category is generated by the face and generacy maps

Note: This is not intended to be a research level question, but concerns graduate level material. Theorem. The opposite $\Delta^\mathrm{op}$ of the simplex category $\Delta^\mathrm{op}$ (as usually ...
2 votes
1 answer
231 views

Can homotopy limits of simplicial sheaves be calculated (correctly) using sheaves of Kan complexes?

$\DeclareMathOperator\holim{holim}$ Let $sSh$ be the category of simplicial sheaves on some site (I like using the psychological crutch of the site having enough points; further, to clarify a bit, &...
  • 513
4 votes
0 answers
76 views

Why is this class of right-anodyne maps closed under pushouts?

Let $S$ be the class of all right-anodyne maps $r$ such that the pullback of $r$ along any left fibration is again right-anodyne. According to Land's book on $\infty$-categories (specifically the ...

1
2 3 4 5
15