Simplicial Sets

A simplicial set X is a sequence of sets, X=\{X_0, X_1,\dots, X_n,\dots\}, together with maps

\begin{aligned}d_i&: X_n\to X_{n-1}\\  s_i&: X_n\to X_{n+1}  \end{aligned}

for each 0\leq i\leq n. These maps are required to satisfy the simplicial identities

\begin{aligned}  d_id_j&=d_{j-1}d_i\ \ \ \text{for}\ i<j\\  d_is_i&=  \begin{cases}s_{j-1}d_i&\text{for}\ i<j\\  \text{id}&\text{for}\ i=j, j+1\\  s_jd_{i-1}&\text{for}\ i>j+1  \end{cases}\\  s_is_j&=s_{j+1}s_i\ \ \ \text{for}\ i\leq j  \end{aligned}

We can use deleting-doubling for remembering simplicial identities:

\begin{aligned}  d_i&: (x_0,\dots,x_n)\mapsto (x_0,\dots,x_{i-1},x_{i+1},\dots,x_n)\\  s_i&: (x_0,\dots,x_n)\mapsto (x_0,\dots,x_{i-1},x_i,x_i,x_{i+1},\dots,x_n)  \end{aligned}


About mathtuition88
This entry was posted in Math and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.