The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
0answers
71 views

What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the Segal condition: For each $j$, the map $$ X_j \to ...
13
votes
1answer
303 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 ...
2
votes
0answers
90 views

When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed by deriving the product functor sSetW→sSet, for example, by performing the componentwise fibrant replacement using Kan's ...
1
vote
0answers
104 views

Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and $$ X_n=\underbrace{ X\times_S ...
4
votes
0answers
146 views

Getting a Postnikov Tower from the Tot-tower?

I have had a problem I've been thinking of recently but can't seem to make anything of it. Let $X$ be a simplicial set. It is well known that one can construct a Postnikov tower $$P_nX \rightarrow ...
2
votes
0answers
94 views

Recognizing Simplicial (Quasi)Fibrations

Let's say we are given two finite simplicial complexes, which I will suggestively call $E$ and $B$. We'd like an algorithm for the following decision problem: Does there exist a simplicial map ...
2
votes
0answers
65 views

Why does $\pi_t$ preserve pullbacks in this special case?

Let $X$ be a fibrant pointed cosimplicial space. Following Bousfield-Kan, let $\text{lim}^{\partial \Delta_{n+1}} X = M^{n}X$ be the nth matching object of $X$. Onecan then show that there is a ...
4
votes
1answer
135 views

In a Simplicial group the Degenerate elements don't intersect the kernel of the face maps.

Let $G_{\bullet}$ be a simplical group. I denote by $D_n \subset G_n$ the subgroup generated by all the degeneracy maps $s_i:G_{n-1} \to G_n$. I also denote $$M_n = \bigcap_{i>0} \mathrm{Ker} d_i ...
0
votes
0answers
48 views

Homotopy addition theorem and lifting in a certain diagram

If I am confusing somewhere here, please excuse me and ask me to clarify. The proof I am having trouble with is lemma 1.19 of Goerss-Jardine, pg. 398. I have tried to isolate the troublesome ...
2
votes
1answer
85 views

Does the right adjoint of the category of simplices functor is “homotopicaly inverse” to the category of simplices functor?

Short Version (the question) Let $\text{Cat}$ be the category of (small) categories and $\text{sSet}$ the category of simplicial sets. There is a functor $\Gamma:\text{sSet}\to \text{Cat}$ that takes ...
3
votes
2answers
236 views

Pseudo-manifolds and homology

Is there a good reference for the proof that the cobordism group of pseudo-manifolds is isomorphic to the singular homology group? I was looking for a more geometrical definition of homology and ...
2
votes
0answers
134 views

A model structure on marked simplicial sets

Do you have a reference for the following fact? And before that, is it true? The Joyal model structure on simplicial sets "lifts" to a model structure on the category of marked simplicial sets, ...
1
vote
1answer
170 views

Milnor's exact sequence and a certain proof

Please forgive me if this is not the right forum for this question. Let $$ X = \cdots \rightarrow X_n \rightarrow X_{n-1} \rightarrow \cdots \rightarrow X_0 = \ast$$ be a tower of fibrations of ...
4
votes
0answers
70 views

Is a finite-dimensional simplicial set the homotopy colimit over a truncated simplicial category?

If $K$ is a simplicial set, we can extend it to a bisimplicial set $K^\prime: \Delta^{op} \to sSet$ by setting $K^\prime_n = (K_n)_\delta$ where $(-)_\delta$ means taking a discrete simplicial set. ...
1
vote
3answers
246 views

Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Let $\pi _1:SS\to Grpd$ denote the fundamental groupoid functor, from simplicial sets to groupoids, and let $N:Grpd\to SS$ denote the nerve functor. Then $\pi _1$ is left adjoint to $N.$ On ...
1
vote
0answers
67 views

When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...
5
votes
2answers
137 views

Mapping complexes in the simplicial localization of the category of manifolds

Let $\mathit{Mfd}$ denote the category of smooth manifolds. Let $W$ denote all projections of the form $$M \times \mathbb{R} \to M.$$ Let $\mathit{Mfd}_W$ denote the Hammock localization of ...
6
votes
0answers
116 views

When does a sheaf of categories represent a homotopy sheaf?

Suppose that $F$ is a sheaf of categories (on a Grothendieck site or even a topological space). By this, I mean a sheaf in the naive 1-categorical sense, so it can equivalently be viewed as a category ...
9
votes
1answer
429 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 ...
9
votes
2answers
386 views

Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...
2
votes
0answers
84 views

How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$. We can see that $\mathcal{L}BG$ has the homotopy type of ...
2
votes
0answers
81 views

A natural simplicial object in the simplicial category (?)

In several works (es. [CS]) the study of the properties of the simplicial category $\Delta$ reveals fundamental aspects of universal properties (eg monoid generator) or basic constructions (eg ...
8
votes
3answers
479 views

References for the “nerve of an algebraic variety”

Let's do algebraic geometry over an arbitrary base ring $k$. I've frequently seen a definition of the algebraic $n$-simplex, as follows: $$\Delta^n = ...
2
votes
1answer
174 views

A certain kind of simplicial complex

I'm interested in collections $\mathcal{C}$ of tuples $\mathbf{t} = (n_1, n_2, \ldots, n_r)$ of positive integers satsifying if $\mathbf{t}\in \mathcal{C}$ then so is any permutation of $\mathbf{t}$ ...
6
votes
1answer
224 views

Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets. The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C models the suspension and loop functors on the underlying ∞-category of C. There is another ...
9
votes
0answers
139 views

Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...
11
votes
0answers
410 views

Has this chain complex associated with a simplicial complex been studied before?

I have stumbled upon a construction that has probably been noticed before, and I wonder if anyone can point me to a reference. Suppose that $K$ is a simplicial complex. Let $P(K)$ be the free abelian ...
8
votes
1answer
308 views

Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...
3
votes
0answers
104 views

Recognition principle for 2-categories (2-groupoids)

Given a 2-category (i.e. bicategory) $C$ there is a unitary geometrical nerve whose 0-simplices are objects of $C$, 1-simplices are 1-arrows of $C$, 2-simplices are 2-commutative triangles (in certain ...
2
votes
1answer
338 views

A question about the proof of Quillen's Theorem A

(I posted this question on Mathstack but I haven't received any answers or comments so I thought I might as well try my luck here. I apologize if it is not an appropriate question.) Theorem (Quillen) ...
1
vote
0answers
40 views

Prove the functor $[n]\to [n]\star [n]$ preserves inner anodyne

Let $f:\Delta\to \Delta$ be the functor given by $[n]\mapsto [n]\star[n]=[2n+1]$. We can extend $f$ cocontinuously to a functor $$f_!: SSet\to SSet$$ (that is, the left adjoint of the functor $f^*$. ...
5
votes
1answer
100 views

Is there any relation between the simplicial $S^1$ and the Hochschild homology of a noncommutative algebras

Let $k$ be the base field and $A$ be a unital associative $k$-algebra. Let's review the Hochschild homology theory: we have the Hochschild chain comple $C_{\cdot}(A)$ where $$ C_n(A):=A^{\otimes n+1} ...
12
votes
2answers
331 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 ...
4
votes
1answer
168 views

Cocycle condition for equivariant sheaves

Let $G$ be an affine group that acts on a variety $X$. Equivariant sheaves on $X$ could be defined in the following way. Consider the simplicial space $X_\bullet$ : $X_n := G^n \times X$, $s_0:X_0 ...
0
votes
1answer
143 views

How to define $\Lambda^0_0$, 0-horn of a simplicial point

This is really a trivial question. The 0-horn of a simplicial point $\Delta^0$ is not defined nor remarked in the books and papers I could find. So one expect if we could make some meaningful ...
9
votes
1answer
244 views

Equivariant homotopy, simplicially

It is a classic result of Kan that the homotopy categories (with appropriate model structures) of simplicial sets and of topological spaces (in fact, one could only care about CW-complexes) are ...
1
vote
0answers
63 views

What is a homotopy between bisimplicial maps

I originally posted it on stackexchange, but did not get any comments or answer, so I try my luck here. I am looking for the naive notion of homotopy. For maps $f, g: A\to B$ of simplicial sets ...
1
vote
0answers
125 views

The bar construction or the quotient for monoidal category action on a category

Given a monoid $C$ acting (from the right) on a set $M$, there is a bar construction giving a simplicial set or equivalently a translation/action category, $$ N_\bullet (M\rtimes C)= \cdots M\times ...
9
votes
1answer
739 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 ...
1
vote
1answer
206 views

Thomason’s homotopy colimit theorem for pseudo-functor

Thomason’s homotopy colimit theorem R W Thomason, Homotopy colimits in the category of small categories, Math. Proc. Camb. Phil. Soc. (1) 85 (1979)91-109 says that for a functor $F:I^{op}\to ...
2
votes
0answers
56 views

Relationship of height zero hypercovers to co-cartesian condition on cosimplicial modules

Suppose given a cosimplicial ring $R^\bullet$ and a cosimplicial module $M^\bullet$ (i.e. a cosimplicial Abelian group such that $M^n$ is an $R^n$-(left/right/bi)module). I have seen it said that ...
6
votes
0answers
139 views

Uniformly sampling from the set of all simplicial maps

Let $K$ and $L$ be finite simplicial complexes that remain fixed throughout. How does one efficiently sample (according to the uniform distribution) elements from the finite set of simplicial ...
1
vote
0answers
92 views

Characterising singular homology among a more general class of cosimplicial spaces

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

Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...
6
votes
1answer
333 views

Morita theorem 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
103 views

Weak notions of Kan fibrations

I have two semi-simplicial complexes $X_\bullet$ and $Y_\bullet$, along with a simplicial map $f_\bullet: X_\bullet \to Y_\bullet$. Now $f_\bullet$ is not a Kan fibration: for an $n$-simplex in ...
1
vote
2answers
284 views

Finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. It is not hard to show that every finite simplicial set has only a finite number of simplicies in ...
9
votes
1answer
283 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
2answers
550 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 ...
3
votes
1answer
159 views

What is the suitable setting for supercoherence with value in a bicategory?

It was J.F. Jardine established the so called supercoherence theory in Journal of Pure and Applied Algebra Volume 75, Issue 2, 18 October 1991, Pages 103–194. The result can be roughly stated as ...