For questions about simplicial sets (functors from simplex category to sets), simplicial (co)algebras and simplicial objects in other categories; geometric realization, model structures, Dold-Kahn correspondence etc. Please do not use for questions about geometry of simplices nor about ...

learn more… | top users | synonyms

2
votes
1answer
143 views

adjunction relation

Assume I have simplicial sets $X:\Delta^{op}\rightarrow Set$ and $Y:\Delta^{op}\rightarrow Set$, then I can form the simplicial set $\operatorname{Hom}(X,Y)_n := ...
1
vote
0answers
73 views

geometric realization of a free simplicial group

Call a simplicial group $G_{\bullet}$ free if for each $n$, the group $G_n$ is a free group. How does the geometric realization of $G_{\bullet}$ look like? Can its nondegenerate and ...
1
vote
1answer
85 views

Does the suspension functor preserve fibrations?

Let $X_{\bullet}$ be a simplicial set and let $\Sigma X_{\bullet}$ denote its simplicial suspension. If $X_{\bullet} \to Y_{\bullet}$ is a fibration, then is $\Sigma X_{\bullet} \to \Sigma ...
4
votes
0answers
201 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
1answer
2k views

Difference between simplicial and singular homology?

I am having some difficulties understanding the difference between simplicial and singular homology. I am aware of the fact that they are isomorphic, i.e. the homology groups are in fact the same (and ...
4
votes
2answers
152 views

The empty set in homotopy theoretic terms (as a simplicial set/top. space)

I am currently confused about the empty set in terms of its path components and how this fits into the Quillen adjunction between topological spaces and simplicial sets. Probably, one of my ...
3
votes
2answers
265 views

Kan fibrations and surjectivity

I have a basic question on the usual model structure on simplicial sets. What is the relation between being a Kan (trivial maybe ?) fibration and surjectivity ? Surjectivity here means either ...
3
votes
0answers
81 views

What is an “absolute, equational pushout”?

I was leafing through Joyal and Tierney's Notes on simplicial homotopy theory. In the first few lines of the section on the skeleton of a simplicial set they display the simplicial identities as a ...
1
vote
1answer
78 views

Decomposition of simplicial G-sets as a colimits of its simplicial G-subsets

Every simplicial set is the colimit of its finite simplicial subsets. Suppose $G$ be a finite discrete set. Is every simplicial $G$-set a colimit of its finite simplicial $G$-subsets? I'm ...
0
votes
1answer
80 views

How to show that $\Delta[n]$ isn't Kan fibrant…?

This is the problem: I have to prove that $\Delta[n]$ isn't Kan fibrant for n >=2. Does anyone how idea how to do it?
4
votes
0answers
113 views

What is a copresheaf on a “precategory”?

Let $\mathcal{S}$ be a category with pullbacks. A precategory $\mathbb{C}$ in the sense of Borceux and Janelidze [Galois Theories, §7.2] comprises three objects $C_0, C_1, C_2$ in $\mathcal{S}$ and ...
0
votes
0answers
55 views

Teminology for a “supercomplex”

If $\Delta_{1}$ and $\Delta_{2}$ are abstract simplicial complexes and $\Delta_{1}\subseteq \Delta_{2}$, then we say that $\Delta_{1}$ is a subcomplex of $\Delta_{2}$. Is there a terminology for ...
2
votes
1answer
49 views

Colimits of cosimplicial rings

The forgetful functor from the category of rings to the category of sets does not preserve arbitrary colimits. But it does preserve filtered colimits. For example, the colimit of a sequence of rings ...
1
vote
1answer
105 views

Boundary of a simplicial set in terms of a coequalizer

I am trying to understand why we have a coequalizer $\sqcup_{0 \leq i < j \leq n} |\Delta^{n-2}| \rightrightarrows \sqcup_{0 \leq i \leq n} |\Delta^{n-1}| \rightarrow |\partial \Delta^n|$. What ...
2
votes
0answers
94 views

Ways to decompose a torus for finite element method so that each cell contains a complete revolution of the major radius

I've got a finite element problem involving paths around the interior of a torus. For this particular problem I think I could make things more computationally efficient if each cell in the mesh made ...
1
vote
1answer
165 views

manifold as simplicial complex

I want to know the topological relation between a manifold and a simplicial complex. I know that a simplicial complex cannot be a manifold since its a union of simplices which are manifolds of ...
2
votes
2answers
86 views

Equivalent definition for a collection of simplices to be a simplicial complex

I am reading the following lemma from Munkres' Elements of Algebraic Topology: Lemma 2.1 A collection $K$ of simplices is a simplicial complex if and only if the follow hold: ...
1
vote
0answers
62 views

Can one define “simplicial” EM spaces?

Let $\Delta$ be the well-known simplicial category, and denote with $\widehat\Delta_\bf C$ the category of simplicial objects in $\bf C$ ($\widehat\Delta$ for short). Given $\mathcal ...
5
votes
2answers
133 views

Are bounded open regions in $\mathbb{R}^n$ determined by their boundary?

Let $U$ and $V$ be two bounded open regions in $\mathbb{R}^n$, and let us further assume that their topological boundaries are nice enough that they are homeomorphic to finite simplicial complexes. ...
3
votes
2answers
229 views

Triangulate rectangular parallelepiped in $\mathbb{R}^{n}$

I need to triangulate the n-dimensioned rectangular parallelepiped in $\mathbb{R}^{n}$ into a set of $n$-simplices. Could you suggest me any known algorithm for that or maybe an extension of Delaunay ...
2
votes
1answer
254 views

Comparison between various types of cell complexes

There are the following (and more) types of geometric cell complexes: 1) The geometric realization of a simplicial set 2) CW-complexes 3) The geometric realization of an abstract simplicial complex ...
5
votes
2answers
224 views

Excision via simplicial sets

Let $X$ be a topological space, covered by a collection of open sets $\{U_\alpha\}$ (or more generally a cover by subspaces whose interiors cover $X$). Consider the singular simplicial set ...
2
votes
3answers
261 views

can the statement “a simplicial set is the nerve of a category if and only if it satisfies a horn-filling condition” be tweaked for groupoids?

For some reason I convinced myself that a simplicial set (or maybe I mean directly Kan complex) is homotopy equivalent to the nerve of a groupoid if and only if it has no higher homotopy groups. Is ...
2
votes
0answers
218 views

does it make sense to tensor a simplicial set with a simplicial ring?

Given a simplicial commutative ring $A$ and a simplicial set $K$ does $K \otimes A$ make sense as a (commutative) simplicial ring? I'm asking as I've seen the expression $S^n \otimes A$ written down ...
1
vote
1answer
80 views

Is the Image of a Simplicial Complex under a Simplicial Map again a Simplicial Complex?

I think this is trivially true, but just wanted confirmation. A simple yes or no would be great! Thanks.
2
votes
0answers
170 views

The Fundamental Group of a Polyhedron Depends Only on its $2$-Skeleton

Does anyone have a good quick proof of this using the Simplicial Approximation Theorem? I'm aware that it comes out as a corollary when considering edge paths and the edge group, but this seems like ...
0
votes
0answers
162 views

Generalizing Euler's Polyhedral Formula for Graph Embeddings in Higher Dimensions.

In the plane, Euler's Polyhedral formula tells us that $V - E + F = \chi$, where for graph embeddings we have that $\chi = 1$. Alternatively, we can think of a graph embedding as a simplicial ...
0
votes
1answer
179 views

Maximum number of simplexes given n-element point sets in the plane

Does anyone know if it has been proved what the maximum number of simplexes occurring in the plane is for a given value of $n$ points? I am interested in this question in relation to packing problems ...
0
votes
1answer
103 views

Simplicial Complexes - the Closure of the Star is a Cone on the Link (proof?)

I'm trying to prove that $\overline{st_K(x)}$ is a cone on $lk_K(x)$, but can't seem to get anywhere! I know how to construct a topological cone given a space $X$. However I don't know any way to ...
1
vote
1answer
128 views

simplex and power set

I read the following: Let $M$ be a set. The simplex on $M$ is the set of all subsets of $M$; we denote this by $\Delta_M$. We will sometimes refer to the elements of $M$ as vertices of $\Delta_M$. A ...
2
votes
0answers
119 views

left inverse to trivial fibration is trivial cofibration

It is claimed that in the model category of simplicial sets (with usual model structure), a trivial fibration $X \to Y$ has a section, which is a trivial cofibration. Now, I see that there is a ...
3
votes
2answers
185 views

The subcomplex of degenerate simplices has trivial homology

Let $A_\bullet$ be a (non-augmented) simplicial object in an abelian category, with face maps $d_i : A_n \to A_{n-1}$ and degeneracy maps $s_i : A_n \to A_{n+1}$, $0 \le i \le n$, for each $n \ge 0$. ...
2
votes
1answer
118 views

Non-Kan Fibrations

In the definition of a Kan fibration (on nlab), i.e. for a map $\pi:Y\to X$ of simplicial sets the inclusion of any horn into $Y$ always lifts to an inclusion of the filled in horn if that filled in ...
1
vote
0answers
67 views

Valuations, simplicial complexes and arithmetics

I am currently working on an Introduction to geometric probability (Klein, Rota, 1997). This book is very stimulating, and I find myself toying with the subject, and a note in particular (pp 95-97 for ...
5
votes
2answers
273 views

Passing pullbacks through adjunction

I'm having trouble following the proof of Proposition I.5.2 in Goerss-Jardine (Simplicial Homotopy Theory). After establishing the adjunction $\hat\Delta(X\times K,Y) \simeq \hat\Delta(K,[X,Y])$, ...
2
votes
1answer
122 views

Adjointness of the corresponding simplicial functors associated to an adjoint pair between categories

Suppose you have an adjoint pair of functors $F:C\to D$ and $G:D\to C$. Let ${\mathrm{Simp}}C$ and ${\mathrm{Simp}}D$ be the category of simplicial objects in the categories $C$ and $D$ respectively. ...
4
votes
1answer
497 views

Does the homology, homotopy, and geometric realization functors of a simplicial group preserve colimits?

Given a based simplicial group, you can find its reduced homology with coefficients in a field, homotopy, and geometric realization. These are functors. If I have a free product of based simplicial ...
8
votes
1answer
286 views

How does hocolim relate to Hom?

In a usual category $\mathcal{C}$ one can pull the colim out of the Hom like ...
2
votes
0answers
91 views

Local injective model structure for simplicial presheaves

The category of simplicial presheaves on a small Grothendieck site $\mathcal{C}$ can be given a model structure by defining weak equivalences and cofibrations sectionwise. It's called the (global) ...