Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
42 views

Reference for function space definition of geometric realization of abstract simplicial complex

The following is described on Wikipedia as one way to define the geometric realization of an abstract simplicial complex $K$: The construction goes as follows. First, define $|K|$ as a subset of $[0,...
pyridoxal_trigeminus's user avatar
0 votes
1 answer
41 views

Triangulation of N datapoints in $\mathbb{R}^d$

Given a set of $N$ data points in $\mathbb{R}^d$, is a triangulation always composed of the same number of "triangles", i.e. $d$-simplices? This seems to be the case when $d=2$. The number ...
Quentin PLOUSSARD's user avatar
1 vote
0 answers
111 views

Triangulating Product of Simplicial Complexes

I am currently working on a problem for which I believe the following result is crucial. The result of this problem was discussed in this post. Product of simplicial complexes? However it is not ...
slowlight's user avatar
  • 343
3 votes
2 answers
274 views

Geometric realization of simplicial sets via nondegenerate simplices

I have just started studying simplicial sets, and I was given the definition of geometric realization of a simplicial set X as $$|X| = (\coprod_{n \in \mathbb{N}} X_n \times \Delta_n) / \sim$$ with $(...
Alice in Wonderland's user avatar
2 votes
1 answer
153 views

Let K be a simplicial complex and σ a simplex of K. Show that the link lk(σ) is a subcomplex of K, if lk(σ) is not empty.

I wanna know if I choose the right way to do my proof? it's correct? To show that the link $\textrm{Lk}(\sigma)$ is a subcomplex of $\mathcal{K}$, if $\textrm{Lk}(\sigma)$ is not empty, we need to ...
Sofia Ordaz's user avatar
2 votes
0 answers
141 views

Understanding the Beck-Chevalley condition (II)

The older question here on the site asks about the intuitive meaning of the Beck-Chevalley condition. Accidentally one of the answers has caught my eye. It made me wonder if it is possible to describe ...
Evgeny Kuznetsov's user avatar
2 votes
3 answers
517 views

Do we distinguish two singular simplices if they have different vertex orders?

We define a $\textbf{singular $n$-simplex}$ in $X$ to be a continuous map $\sigma:\Delta^n\to X$ where $\Delta^n$ is the standard $n$-simplex. Now, as an example, Let $X$ be a singleton $\{p\}$. Then ...
zxcv's user avatar
  • 1,573
2 votes
1 answer
324 views

Barycentric subdivision of a simplex is a geometric simplicial complex

My question is part of a question which has been asked a few years ago here: Barycentric subdivisions of simplices yield a simplicial complex, but has not been answered to my satisfaction: The ...
Paul W.'s user avatar
  • 76
1 vote
1 answer
570 views

Understanding the Eilenberg-Zilber map on singular chains

I am having trouble to understand how the image of an element $a\otimes b\in C_p(X)\otimes C_q(Y)$ under the Eilenberg-Zilber map on singular chains is an element of $C_{p+q}(X\times Y)$. I am using ...
Javi's user avatar
  • 6,443
4 votes
1 answer
894 views

the difference between chains and cochains

I have heard the following definitions, for concreteness I will refer a simplicial complex $K$ and a ring $R$, though the definitions can be extended: A chain is a formal linear combination of ...
Kai's user avatar
  • 1,229
3 votes
0 answers
191 views

How to divide a unit space into many simplices?

I'm sorry, it may be simple and stupid but I didn't find any relative solutions on the Internet. Given the unit hypercube $C$ in the Euclidean space $R^n$, how to divide (or we can say "partition", I ...
Aloner's user avatar
  • 95
2 votes
2 answers
434 views

What are the vertices of an abstract simplicial complex?

So a simplex is the $k$-dimensional convex hull of $k+1$ vertices. The convex hulls of a subset of it's vertices are it's faces. A simplicial complex is a collection of simplices such that each face ...
levitopher's user avatar
  • 2,685
1 vote
0 answers
90 views

Lemma for Hurewicz Theorem (Bredon)

I am trying to understand the following lemma: If $f,g:I\rightarrow X$ are paths s.t. $f(1)=g(0)$ then the 1-chain $f*g-f-g$ is a boudary. Proof: On the standard 2-complex (should it say simplex?) $...
Alfdav's user avatar
  • 415
2 votes
1 answer
72 views

$2$-skeleton of k-th horn of $\Delta^n$

I'm trying to show that $Sk_2(\Lambda_k^n)=Sk_2(\partial \Delta^n)=Sk_2(\Delta^n)$ for $n \geq 4$ is it true for $n=3$? any solution or reference is very much appreciated.
LeLoupSolitaire's user avatar
1 vote
0 answers
118 views

If $lk(v;K)$ is collapsible, then $K$ collapses to $del(v;K)$.

I'm doing exercises about simplicial complexes and I'm stuck with one for which I'll first give some definitions. Let $K$ a simplicial complex and $v\in K^0$ a $0$-simplex (vertex). The star of $v$ ...
Javi's user avatar
  • 6,443
0 votes
0 answers
131 views

Homotopy type of simplicial complexes

I am confused about the following question: Let $K_{\bullet}$ be a simplicial complex. Let $( \sigma, \tau )$ be a pair of its simplices with $\sigma$ the only codimension $1$ coface of $\tau$. ...
SEWillB's user avatar
  • 1,691
1 vote
1 answer
923 views

What does it mean that interior of a simplex is a vector space?

Let the $n-1$ simplex be denoted as: $$S_{n-1} = \{x = (x_1, \ldots, x_n) | \sum\limits_{i = 1}^nx_i = 1, 0\leq x_i \leq 1\}$$ Then the interior of a simplex is simply: $$S_{n-1}^\circ = \{x = (x_1,...
Shamisen Expert's user avatar
3 votes
1 answer
290 views

Homology of the simplicial complex obtained from an octahedron by removing 4 faces.

Suppose you have the surface of an octahedron and you remove 4 of the eight faces as follows: If you remove one face then you don't remove all the adyacent faces and so on. You can look at this as ...
allizdog's user avatar
  • 897
0 votes
1 answer
416 views

Why is the second example not a Simplicial Complex?

This is my first encounter of simplex and simplicial complex, hence I am not very sure about the concepts. In the definition of Simplicial Complex , I am not sure why is the second picture not a ...
user338393's user avatar
  • 1,165
3 votes
1 answer
223 views

Degeneracies of simplex $y$ which appears as any face of some simplex $x$

Let $K$ be simplicial set and $d_i:K_n\rightarrow K_{n-1}$, $s_i: K_n\rightarrow K_{n+1}$ ($i = 0,...,n$) face and degeneracy maps respectively. Suppose we have some $x\in K_n$ with $d_0x = ... = ...
Samarkand's user avatar
  • 481