Simplicial set represented by an (unordered) setSimplicial space and its simplicial replacement?Hodge star...
Simplicial set represented by an (unordered) set
Simplicial space and its simplicial replacement?Hodge star and harmonic simplicial differential formsCech nerve as homotopy colimit?Removing a simplicial subset from a simplicial setVector fields on a simplicial manifold.Is there a class of simplicial sets whose weak homotopy type is preserved by symmetrization?What suffices to check completeness in an n-fold Segal space?explicit description of the cosimplicial simplicial set $Q^{bullet}$Why are simplicial objects monadic over split (contractible) simplicial objects?Is totalization (of a cosimplicial category) a part of some adjunction?
$begingroup$
Let $X$ be a (finite if you want) set and form the simplicial set $F^{bullet}(X)$ with
$$
F^{n}(X) = mathrm{Hom}_{mathrm{set}} ([n], X)
$$
where the right hand side denotes arbitrary maps of sets (of course
it wouldn't make sense to say order preserving as $X$ doesn't come
with an order).
I'm wondering about a description of $F^{bullet}(X)$. For example if $X = {0,1}$ then there are 2 0-simplices, may as well call them $[0] and [1]$ and 2 1-simplices $[0, 1]$ and $[1,0]$ glued together to form a copy of $S^1$.
Edit: as pointed out in Goodwillie's answer, this is not the end of the story, there are way more higher dimensional non-degenerate simplices.
Is there an analogous description when $X = {0, 1, 2}$?
A closely related question is whether there's a right adjoint to the
forgetful functor from the simplex category $Delta$ (finite ordered
sets) to, say, finite (unordered) sets -- and if so what is it.
Example where such simplicial sets arise: given a map of topological spaces $f: X
to Y$ we can always form a
simplicial object $mathcal{S}^{bullet}(f)$ with
$$
mathcal{S}^{n} = prodnolimits_{X}^{n} = underbrace{X times_{Y}
cdots times_{Y} X}_{ntext{ times }}
$$
with face and degeneracy maps given by projections and diagonals
respectively. Taking connected components gives a simplicial set.
When $Y$ is the union $bigcup_{i=1}^{N} H_{i}$ of the coordinate
hyperplanes in $mathbb{C}^{N}$ and $f: X=coprod_{i=1}^{N} H_{i} to
bigcup_{i=1}^{N} H_{i}=Y$ is the obvious map, I believe the simplicial
set we get is $F^{bullet}({1, dots, n})$.
ag.algebraic-geometry at.algebraic-topology ct.category-theory simplicial-stuff hyperplane-arrangements
asked 4 hours ago
cgodfreycgodfrey
35819
$endgroup$
add a comment |
$begingroup$
Let $X$ be a (finite if you want) set and form the simplicial set $F^{bullet}(X)$ with
$$
F^{n}(X) = mathrm{Hom}_{mathrm{set}} ([n], X)
$$
where the right hand side denotes arbitrary maps of sets (of course
it wouldn't make sense to say order preserving as $X$ doesn't come
with an order).
I'm wondering about a description of $F^{bullet}(X)$. For example if $X = {0,1}$ then there are 2 0-simplices, may as well call them $[0] and [1]$ and 2 1-simplices $[0, 1]$ and $[1,0]$ glued together to form a copy of $S^1$.
Edit: as pointed out in Goodwillie's answer, this is not the end of the story, there are way more higher dimensional non-degenerate simplices.
Is there an analogous description when $X = {0, 1, 2}$?
A closely related question is whether there's a right adjoint to the
forgetful functor from the simplex category $Delta$ (finite ordered
sets) to, say, finite (unordered) sets -- and if so what is it.
Example where such simplicial sets arise: given a map of topological spaces $f: X
to Y$ we can always form a
simplicial object $mathcal{S}^{bullet}(f)$ with
$$
mathcal{S}^{n} = prodnolimits_{X}^{n} = underbrace{X times_{Y}
cdots times_{Y} X}_{ntext{ times }}
$$
with face and degeneracy maps given by projections and diagonals
respectively. Taking connected components gives a simplicial set.
When $Y$ is the union $bigcup_{i=1}^{N} H_{i}$ of the coordinate
hyperplanes in $mathbb{C}^{N}$ and $f: X=coprod_{i=1}^{N} H_{i} to
bigcup_{i=1}^{N} H_{i}=Y$ is the obvious map, I believe the simplicial
set we get is $F^{bullet}({1, dots, n})$.
ag.algebraic-geometry at.algebraic-topology ct.category-theory simplicial-stuff hyperplane-arrangements
asked 4 hours ago
cgodfreycgodfrey
35819
$endgroup$
add a comment |
$begingroup$
Let $X$ be a (finite if you want) set and form the simplicial set $F^{bullet}(X)$ with
$$
F^{n}(X) = mathrm{Hom}_{mathrm{set}} ([n], X)
$$
where the right hand side denotes arbitrary maps of sets (of course
it wouldn't make sense to say order preserving as $X$ doesn't come
with an order).
I'm wondering about a description of $F^{bullet}(X)$. For example if $X = {0,1}$ then there are 2 0-simplices, may as well call them $[0] and [1]$ and 2 1-simplices $[0, 1]$ and $[1,0]$ glued together to form a copy of $S^1$.
Edit: as pointed out in Goodwillie's answer, this is not the end of the story, there are way more higher dimensional non-degenerate simplices.
Is there an analogous description when $X = {0, 1, 2}$?
A closely related question is whether there's a right adjoint to the
forgetful functor from the simplex category $Delta$ (finite ordered
sets) to, say, finite (unordered) sets -- and if so what is it.
Example where such simplicial sets arise: given a map of topological spaces $f: X
to Y$ we can always form a
simplicial object $mathcal{S}^{bullet}(f)$ with
$$
mathcal{S}^{n} = prodnolimits_{X}^{n} = underbrace{X times_{Y}
cdots times_{Y} X}_{ntext{ times }}
$$
with face and degeneracy maps given by projections and diagonals
respectively. Taking connected components gives a simplicial set.
When $Y$ is the union $bigcup_{i=1}^{N} H_{i}$ of the coordinate
hyperplanes in $mathbb{C}^{N}$ and $f: X=coprod_{i=1}^{N} H_{i} to
bigcup_{i=1}^{N} H_{i}=Y$ is the obvious map, I believe the simplicial
set we get is $F^{bullet}({1, dots, n})$.
ag.algebraic-geometry at.algebraic-topology ct.category-theory simplicial-stuff hyperplane-arrangements
asked 4 hours ago
cgodfreycgodfrey
35819
$endgroup$
Let $X$ be a (finite if you want) set and form the simplicial set $F^{bullet}(X)$ with
$$
F^{n}(X) = mathrm{Hom}_{mathrm{set}} ([n], X)
$$
where the right hand side denotes arbitrary maps of sets (of course
it wouldn't make sense to say order preserving as $X$ doesn't come
with an order).
I'm wondering about a description of $F^{bullet}(X)$. For example if $X = {0,1}$ then there are 2 0-simplices, may as well call them $[0] and [1]$ and 2 1-simplices $[0, 1]$ and $[1,0]$ glued together to form a copy of $S^1$.
Edit: as pointed out in Goodwillie's answer, this is not the end of the story, there are way more higher dimensional non-degenerate simplices.
Is there an analogous description when $X = {0, 1, 2}$?
A closely related question is whether there's a right adjoint to the
forgetful functor from the simplex category $Delta$ (finite ordered
sets) to, say, finite (unordered) sets -- and if so what is it.
Example where such simplicial sets arise: given a map of topological spaces $f: X
to Y$ we can always form a
simplicial object $mathcal{S}^{bullet}(f)$ with
$$
mathcal{S}^{n} = prodnolimits_{X}^{n} = underbrace{X times_{Y}
cdots times_{Y} X}_{ntext{ times }}
$$
with face and degeneracy maps given by projections and diagonals
respectively. Taking connected components gives a simplicial set.
When $Y$ is the union $bigcup_{i=1}^{N} H_{i}$ of the coordinate
hyperplanes in $mathbb{C}^{N}$ and $f: X=coprod_{i=1}^{N} H_{i} to
bigcup_{i=1}^{N} H_{i}=Y$ is the obvious map, I believe the simplicial
set we get is $F^{bullet}({1, dots, n})$.
ag.algebraic-geometry at.algebraic-topology ct.category-theory simplicial-stuff hyperplane-arrangements
ag.algebraic-geometry at.algebraic-topology ct.category-theory simplicial-stuff hyperplane-arrangements
asked 4 hours ago
cgodfreycgodfrey
35819
asked 4 hours ago
cgodfreycgodfrey
35819
edited 4 hours ago
cgodfrey
asked 4 hours ago
cgodfreycgodfrey
35819
asked 4 hours ago
cgodfreycgodfrey
35819
asked 4 hours ago
cgodfreycgodfrey
35819
35819
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You are overlooking some nondegenerate simplices. For example, when $X={0,1}$ there are the $2$-cells $[0,1,0]$ and $[1,0,1]$. In fact, the thing you call $F^bullet(X)$ is infinite dimensional if $X$ has more than one element.
It is contractible whenever $X$ is non-empty; this can be seen by identifying it with the nerve of a category, a category equivalent to the point category with one morphism.
If $X=G$ has a group structure then $F^bullet(G)$ is often called $EG$; it is a contractible space with free $G$-action.
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
$endgroup$
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330248%2fsimplicial-set-represented-by-an-unordered-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
You are overlooking some nondegenerate simplices. For example, when $X={0,1}$ there are the $2$-cells $[0,1,0]$ and $[1,0,1]$. In fact, the thing you call $F^bullet(X)$ is infinite dimensional if $X$ has more than one element.
It is contractible whenever $X$ is non-empty; this can be seen by identifying it with the nerve of a category, a category equivalent to the point category with one morphism.
If $X=G$ has a group structure then $F^bullet(G)$ is often called $EG$; it is a contractible space with free $G$-action.
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
$endgroup$
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
add a comment |
$begingroup$
You are overlooking some nondegenerate simplices. For example, when $X={0,1}$ there are the $2$-cells $[0,1,0]$ and $[1,0,1]$. In fact, the thing you call $F^bullet(X)$ is infinite dimensional if $X$ has more than one element.
It is contractible whenever $X$ is non-empty; this can be seen by identifying it with the nerve of a category, a category equivalent to the point category with one morphism.
If $X=G$ has a group structure then $F^bullet(G)$ is often called $EG$; it is a contractible space with free $G$-action.
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
$endgroup$
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
add a comment |
$begingroup$
You are overlooking some nondegenerate simplices. For example, when $X={0,1}$ there are the $2$-cells $[0,1,0]$ and $[1,0,1]$. In fact, the thing you call $F^bullet(X)$ is infinite dimensional if $X$ has more than one element.
It is contractible whenever $X$ is non-empty; this can be seen by identifying it with the nerve of a category, a category equivalent to the point category with one morphism.
If $X=G$ has a group structure then $F^bullet(G)$ is often called $EG$; it is a contractible space with free $G$-action.
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
$endgroup$
You are overlooking some nondegenerate simplices. For example, when $X={0,1}$ there are the $2$-cells $[0,1,0]$ and $[1,0,1]$. In fact, the thing you call $F^bullet(X)$ is infinite dimensional if $X$ has more than one element.
It is contractible whenever $X$ is non-empty; this can be seen by identifying it with the nerve of a category, a category equivalent to the point category with one morphism.
If $X=G$ has a group structure then $F^bullet(G)$ is often called $EG$; it is a contractible space with free $G$-action.
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
answered 4 hours ago
Tom GoodwillieTom Goodwillie
40.5k3111201
40.5k3111201
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
add a comment |
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
$begingroup$
Ah! Absolutely overlooked those, many thanks. Quick follow up: as an intermediate step, can we view $F^bullet(X)$ as the nerve of the category with objects the points $x in X$ and with a unique morphism $x to y$ for every 2 points $x, y in X$ (this is at least the case when $X= G$ a group and we build $EG$ as the nerve of the Cayley graph I think...)? Then including a point $x in X$ with its identity morphism would give an equivalence of categories ...
$endgroup$
– cgodfrey
4 hours ago
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f330248%2fsimplicial-set-represented-by-an-unordered-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
