The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
134 views

On the obstruction of a sequence of simplicial spaces that is levelwise a fibration

Given a sequence of simplicial spaces (actually bisimplicial sets) $$F\to E\to B$$ that is level-wise a fibration, then the geometric realisation does not necessarily have to be a fibration. If I ...
3
votes
1answer
417 views

Projective objects in HTT

In HTT.5.5.8.18 Lurie defines a projective object $P$ in a quasicategory $\bf C$ as an object such that its corepresented functor ${\rm Map}(P,-)$ "commutes with geometric realizations". I can catch ...
9
votes
2answers
369 views

Do Homotopy Fully Faithful Functors Push-out?

A (homotopy) fully faithful functor is a map of $\infty$-categories which induces weak equivalences on mapping spaces. Are homotopy fully faithful functors preserved under (homotopy) pushout? More ...
4
votes
1answer
242 views

Two definitions of modules in monoidal category

The standard definition of a (left) simplicial module $V$ over some simplicial algebra $A$ is the map of simplicial vector spaces $A\otimes V\to V$ that gives the usual modules component-wise. Here ...
0
votes
1answer
104 views

What is the left adjoint for taking rows of a bisimplicial set?

Let $aSS$ / $abSS$ be the category of augmented bi/simplicial sets (one can also consider $SS$/$bSS$ be the usual bi/simplicial sets, the results should related in some reasonable way.) There is an ...
7
votes
2answers
335 views

Simplicial replacements in smoothing theory

As far as I can tell, ever since Milnor's Microbundles and differentiable structures (1961) paper, whenever people talk about $Diff(\mathbb R^n)$ or $PL(\mathbb R^n)$ or $Homeo(\mathbb R^n)$, they ...
-1
votes
1answer
82 views

Poset complex of reverse ordering [closed]

This might be too easy but I cannot proof it easily. Any reference or hint will be great. Q: Suppose P is a poset in which every chain is finite and $\Delta P$ is the poset complex associated to it. ...
2
votes
3answers
249 views

How to detect if a simplicial set is the nerve of a groupoid?

I have the following question. Suppose I have a simplicial set. Is there a way to detect if it actually is isomorphic to a nerve of a groupoid? I've seen the fact that if you have a nerve ...
3
votes
0answers
175 views

What does it mean for the $\Pi_\infty$ groupoid to be fully fibrant?

The original question I had was: If I have a sequence of simplicial spaces $$A\to B\to C$$ which is degree-wise a homotopy fibration, under which conditions is the geometric ...
3
votes
0answers
195 views

The normalised cochain complex, totalisation and cosimplicial simplicial $R$-modules

Short Version Given a cosimplicial space $X_\bullet$, what is the relationship between (co)chains on the totalisation of $X_\bullet$ and the totalisation of the cosimplicial chain complex obtained by ...
1
vote
1answer
175 views

Finding automorphism groups of simplicial complexes

Question: Given a finite simplicial complex $K$, what general techniques allow one to efficiently compute (a presentation of) the group $\text{Aut}(K)$ of $K$'s automorphisms? Since this is ...
0
votes
1answer
205 views

What are the morphisms in the category of zig-zags?

For some reason I am having trouble locating a transparent explanation of precisely what are the morphisms in the category of zig-zags. The objects of this category are specified completely by triples ...
5
votes
0answers
186 views

Geometric realization of simplicial spaces and finite limits

Let $X_{\bullet}$ be a simplicial space and denote the (non-fat!) geometric realization by $\lvert X_{\bullet} \rvert$. Does this geometric realization of simplicial spaces preserve finite ...
7
votes
1answer
266 views

What kind of category is a cyclically ordered set?

Background: A preorder is a binary relation $\leq$ which is reflexive and transitive. We can write the transitive property as ${\leq}(a,b)\wedge{\leq}(b,c)\to{\leq}(a,c)$. There are additional axioms ...
4
votes
0answers
171 views

Adding morphisms to a category without changing homotopy type

I have a really tame category $C$: there are only finitely many objects $C_0$, each hom-set $C(x,y)$ for $x,y \in C_0$ has at most one element, and (aside from identity morphisms) if $C(x,y)$ is ...
4
votes
1answer
252 views

The nerve of categories preserves weak equivalence?

Does the nerve functor $\operatorname{Cat}\to \operatorname{sSet}$ from small categories to simplicial sets preserve weak equivalences? If $f\colon C\to D$ and $g\colon D\to C$ are functors of small ...
5
votes
2answers
279 views

How does one Segal-subdivide a 2-category?

Let $\mathcal{C}$ be a small category. Then, its Segal subdivision $\text{sd }\mathcal{C}$ is a new category whose objects are morphisms of $\mathcal{C}$, and a morphism from $f:x \to y$ to $g: w \to ...
3
votes
0answers
130 views

Where does the ''hyper'' go?

There is a model structure on the category $Grpd$ of groupoids such that weak equivalences are equivalences of categories, cofibrations are the injections on objects (see nlab) and there is a Quillen ...
4
votes
1answer
231 views

Is there a class of simplicial sets whose weak homotopy type is preserved by symmetrization?

We have the categories, $S$, of simplicial sets and $SS$, of symmetric simplicial sets (whose simplices are unordered). There are functors: $H:S\to SS$ forgetting the ordering on simplices and ...
1
vote
0answers
105 views

Dold-Kan preserves weak equivalences and fibrations

It's well known that Dold-Kan correspondence is an isomorphism between simplicial vector spaces and non-negative chain complexes of vector spaces. Moreover, weak equivalences and fibrations are ...
8
votes
1answer
424 views

Three questions on $\operatorname{hocolim}$

I posted this on math.stack.exchange but didn't get a helpful response, so please let me try it here. Let $D$ be a small category and $F:D\to sSets$ a functor. There is a bisimplicial set indicated ...
2
votes
2answers
370 views

how to make the category of chain complexes into an $(\infty,1)$-category

Related to this question, I would like to know, if there is an explicit presentation of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial ...
6
votes
1answer
392 views

Can we invert barycentric subdivision?

With apologies to fellow algebraic topologists, I confess that I have no idea how to answer this innocent-looking question: (1) Let's say we know that a finite simplicial complex $S$ is the ...
8
votes
1answer
299 views

Question about tetrahedron decomposition

Are there tetrahedra which can be subdivided into three parts similar to the original? I believe this would require splitting one face into three parts. I know some types of tetrahedron for which this ...
2
votes
1answer
154 views

Vector fields on a simplicial manifold.

Is there a known definition of vector fields on a simplicial manifold? For me, it seems natural that the definition should be something along the lines: Let $M_{\bullet}$ be a simplicial manifold ...
2
votes
0answers
131 views

Explicit Lie May structure on cosimplicial DG Lie algebras

In the paper "Homotopy Lie algebras", Schechtman and Hinich proved that any cosimplicial differential graded Lie algebra has the structure of a 'Lie May algebra'. If my understanding is right here, ...
5
votes
1answer
284 views

Does every simplicial polytope have a topology-preserving contractible edge?

An edge of a triangulated manifold is said to be contractible if it may be contracted to a vertex without modifying the topological type of the underlying manifold. Otherwise, the edge is ...
4
votes
0answers
169 views

Is there a local projective model structure on simplicial sheaves? What are its fibrant objects?

Consider a site S (I am mostly interested in hypercomplete sites, e.g., the site of smooth manifolds). The category of simplicial presheaves SPSh(S) on S can be equipped with the local projective ...
4
votes
2answers
324 views

Removing a simplicial subset from a simplicial set

Let $A, X$ be simplicial sets, and suppose there's an inclusion $A \longrightarrow X$. Geometrically realizing the inclusion map, we get a pair of spaces $(\mathcal{A}, \mathcal{X})$. I want to find ...
3
votes
0answers
205 views

Simplicial chain complex with ordered simplices

Let $X$ be an abstract simplicial complex. Recall that the usual simplicial chain complex for $X$ is defined as follows. Let $C_k(X)$ be the quotient of the free abelian group on formal symbols ...
7
votes
2answers
383 views

Combinatorial distance between simplicial complexes

Let $K_1$ and $K_2$ be two simplicial complexes. I am seeking a measure of the distance between $K_1$ and $K_2$ when viewed as combinatorial objects. What I have in mind is something like this. ...
1
vote
1answer
166 views

How to call a simplicial set where every boundary of a simplex can be filled?

What is the correct terminology for the following property of a simplicial set $X_\bullet$: For every $k\geq 0$, every map $\partial\Delta^k\to X_\bullet$ can be extended to a map $\Delta^k\to ...
1
vote
1answer
115 views

homology of $B S^{-1} S$ computation in the proof that $+ = Q$

Let $S$ denote the category of projective (left) $R$-modules with isomorphisms for arrows. We have that $BS^{-1}S \sim B \text{GL}(R)^+ \times K_0(R)$ In proving this, in Srinivas' algebraic ...
2
votes
1answer
225 views

Path components of a monoidal category acting on homology

Let $S$ be a (small) symmetric monoidal category and $X$ a (small) category on which $S$ acts. $\pi_0(S) = \pi_0(BS)$ is naturally an abelian monoid, with $[A] + [B] := [A+B]$, where $[A]$ denotes ...
12
votes
2answers
562 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 ...
2
votes
2answers
231 views

Simplicial space whose all face/degeneracy maps are homotopy equivalences

I believe that the following is true, but I cannot find a proof. Let $X_\bullet$ be a simplicial topological space (I can add that my $X_\bullet$ comes from a bisimplicial set, so the spaces $X_n$ are ...
7
votes
3answers
449 views

When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...
2
votes
2answers
387 views

Simplicial path and loop spaces

I am trying to understand the relationship between the simplicial path space and loop space with the path space of a topological space, and the loop space of a topological space. I have understood ...
6
votes
2answers
279 views

realization of maps between classifying spaces of categories

The classifying space $B\mathcal{C}$ of a small category $\mathcal{C}$ is by definition the geometric realization of the nerve of $\mathcal{C}$. Now let $\mathcal{C}_1$ and $\mathcal{C}_2$ be two ...
1
vote
1answer
202 views

Simplicial sets from bisimplicial sets, and their realisations.

From a bisimplicial space $T$, one can consider the simplicial spaces $\underline p \mapsto T_{pp} $, $\underline p \mapsto |\underline q \mapsto T_{pq} |$, and $\underline q \mapsto |\underline p ...
7
votes
0answers
158 views

Tangent space, metrics etc. on simplicial sets

Is there a way to attach some sensible notion of tangent space to a simplicial set? If yes, is it possible to transfer typical local data from differential geometry such as metrics to this setting? ...
13
votes
3answers
640 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 ...
1
vote
0answers
165 views

Geometric interpretation of higher simpicial homotopy groupoids.

As a geometric interpretation of the simplicial fundamental groupoid, resp. its equivalent relation I thought about something like arcwise differentiable (or arcwise linear) paths modulo "we can go ...
8
votes
0answers
117 views

Diameter of simplicial complex mirrored in property of Stanley-Reisner ring?

Consider a pure finite abstract simplicial complex $\Delta$. Define its diameter as the maximal distance between any two facets, i.e., between any two faces of maximal dimension $d-1$. The distance ...
4
votes
1answer
335 views

Is every finite subcomplex of a contractible simplicial complex contained in a finite contractible subcomplex?

The question is as in the title: Is every finite subcomplex of a contractible simplicial complex $K$ contained in a finite contractible subcomplex of $K$? What if we are allowed to take ...
5
votes
2answers
1k 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 ...
9
votes
2answers
424 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 ...
2
votes
1answer
177 views

hypervolume under the square of an n-simplex

I posted this question at math.stackexchange.com, reformulated and posted again both times without much luck. I also asked a math professor at my uni who suggested I post it here. Hopefully, it is ...
5
votes
1answer
306 views

The Quillen model structure on simplicial sets as a Bousfield localization

Starting with the trivial model structure on the category of simplicial sets (that is the weak equivalences are exactly the isomorphisms and the cofibrations and fibrations are arbitrary maps), is it ...
9
votes
3answers
2k views

This is not a category. What is it?

EDIT The question was based on an error, as it turns out. In fact my example is a category (and therefore a groupoid), by Eric Wofsey's argument. I can't remember why I thought it wasn't, and I feel a ...