## Simplicial set notation and vocabulary question.

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Notation question:

What does $(\Delta^1)^{ \{1, \ldots,n-1 \}}$ denote? UPDATE: I (David Speyer) tried to fix the LaTeX. Please see if I got it right.

Vocabulary question:

Suppose $z:\Delta^{n+1} \rightarrow S$ is a morphism of simplicial sets. What does the following translate to in algebraic terms: $z|\Delta^{ \{0,\ldots,n \} }$ is a constant simplex at a vertex $x$.

So mainly, I just don't know what that is supposed to mean, "is a constant simplex at the vertex x". Everything else makes fine sense.

I've searched through a number of books on homotopy theory, algebraic topology, etc. and I've been unable to find these precise usages.

I ask these questions only because I'm reading HTT by Lurie, and these usages come up and they're quite confusing.

-

Check for yourselves on Google, there are a total of 4 unique results for "simplex at the vertex" and 7 unique results for "simplex at a vertex". – Harry Gindi Nov 21 2009 at 3:49
Where do you see it in HTT? – S. Carnahan♦ Nov 21 2009 at 3:58
I've removed the offending remark. Anyway, Scott Carnahan, see page 24 for the question about notation and see page 27 for "constant simplex at the vertex x".  Also, David Speyer has fixed the LaTeX issue, so I will remove the no-longer relevant remarks. – Harry Gindi Nov 21 2009 at 4:06

## 1 Answer

Okay, I've found the relevant notation in Higher Topos Theory. The first is at the end of 1.1.5.10, and is the simplicial set of maps from an n-1 element set to the 1-simplex (i.e., an n-1-cube). The second is at the end of warning 1.2.2.2, and describes a constant map of simplicial sets whose image is x. The curly braces give a reference to the specific ordered set that defines the the simplex.

A simplex at a vertex is a degenerate simplex. You take the simplicial subset defined by x, and demand that the map from your simplex to the target factor through the inclusion of x.

Edit in response to comment: You can think of vertices in (at least) two ways. One way is as an element of S0, i.e., a zero-simplex of the simplicial set. Another way is as a simplicial subset X of S, such that X0 is the chosen element of S0, and all Xi have a single element, namely the image of X0 under the unique degeneracy map. The statement is that the map Z takes a particular nondegenerate n-dimensional face of $\Delta^{n+1}$ to the unique element of Xn.

-

For the n-1-cube part, are we assuming that the n-1 element set is ordered or no? – Harry Gindi Nov 21 2009 at 4:20
It is ordered, but it doesn't matter.  We're looking at maps from an ordered set to a simplex, and there is no condition on orientation. – S. Carnahan♦ Nov 21 2009 at 4:33
Two questions: What do you mean by "simplicial subset defined by x"? Whatever that means, let's let this "simplicial subset defined by x" be called X. Then did you mean that a "simplex at x" is a map that factors through the inclusion of x or the inclusion of X? – Harry Gindi Nov 21 2009 at 18:34
Much thanks for the help. – Harry Gindi Nov 21 2009 at 20:28
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 5, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9168444275856018, "perplexity_flag": "middle"}