Skip to main content
added 3 characters in body; edited title
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 251

A groupoid wichwhich is homotopy equivalent to $BG$

Let $G$ be a finitely generated group, then its action groupoid $BG$ is a simplicial set. In fact $BG$ is the nerve of a groupoid where the set of objects is given by a point $*$ and the set of maps is given by $G$. Now assume that $G=F_{2}$, i.e. the free group on two generators $a$ and $b$. I would like to construct a simplicial set ${X}_{\bullet}$ such that

  1. ${X}_{0}$ consists in two elements $*_{a}$, $*_{b}$,

  2. ${X}_{1}$ is generated by the following elements:

  • a $f_{a}\in\operatorname{Hom}_{X}(*_{a}, *_{a})$,
  • a $f_{b}\in\operatorname{Hom}_{X}(*_{b}, *_{b})$,
  • a $\gamma\in\operatorname{Hom}_{X}(*_{a}, *_{b})$,

by generated here I mean that each element of $X_{1}$ can be written (not. nec. in a unique way) as a concatenation of the elements listed above.

  1. $X_{\bullet}$ is a Kan complex and it is homotopy equivalent to $BF_{2}$.

Here my questions:

a) Is it possible to construct a groupoid $\mathcal{G}$ such that its nerve satisfies the above properties?

b) If not, wichwhich kind of condition should I put on $X_{2}$ (I think thai in this case $X_{\bullet}$ folowsfollows by applyngapplying the coskeleton)?

A groupoid wich homotopy equivalent to $BG$

Let $G$ be a finitely generated group, then its action groupoid $BG$ is a simplicial set. In fact $BG$ is the nerve of a groupoid where the set of objects is given by a point $*$ and the set of maps is given by $G$. Now assume that $G=F_{2}$, i.e. the free group on two generators $a$ and $b$. I would like to construct a simplicial set ${X}_{\bullet}$ such that

  1. ${X}_{0}$ consists in two elements $*_{a}$, $*_{b}$,

  2. ${X}_{1}$ is generated by the following elements:

  • a $f_{a}\in\operatorname{Hom}_{X}(*_{a}, *_{a})$,
  • a $f_{b}\in\operatorname{Hom}_{X}(*_{b}, *_{b})$,
  • a $\gamma\in\operatorname{Hom}_{X}(*_{a}, *_{b})$,

by generated here I mean that each element of $X_{1}$ can be written (not. nec. in a unique way) as a concatenation of the elements listed above.

  1. $X_{\bullet}$ is a Kan complex and it is homotopy equivalent to $BF_{2}$.

Here my questions:

a) Is it possible to construct a groupoid $\mathcal{G}$ such that its nerve satisfies the above properties?

b) If not, wich kind of condition should I put on $X_{2}$ (I think thai in this case $X_{\bullet}$ folows by applyng the coskeleton)?

A groupoid which is homotopy equivalent to $BG$

Let $G$ be a finitely generated group, then its action groupoid $BG$ is a simplicial set. In fact $BG$ is the nerve of a groupoid where the set of objects is given by a point $*$ and the set of maps is given by $G$. Now assume that $G=F_{2}$, i.e. the free group on two generators $a$ and $b$. I would like to construct a simplicial set ${X}_{\bullet}$ such that

  1. ${X}_{0}$ consists in two elements $*_{a}$, $*_{b}$,

  2. ${X}_{1}$ is generated by the following elements:

  • a $f_{a}\in\operatorname{Hom}_{X}(*_{a}, *_{a})$,
  • a $f_{b}\in\operatorname{Hom}_{X}(*_{b}, *_{b})$,
  • a $\gamma\in\operatorname{Hom}_{X}(*_{a}, *_{b})$,

by generated here I mean that each element of $X_{1}$ can be written (not. nec. in a unique way) as a concatenation of the elements listed above.

  1. $X_{\bullet}$ is a Kan complex and it is homotopy equivalent to $BF_{2}$.

Here my questions:

a) Is it possible to construct a groupoid $\mathcal{G}$ such that its nerve satisfies the above properties?

b) If not, which kind of condition should I put on $X_{2}$ (I think thai in this case $X_{\bullet}$ follows by applying the coskeleton)?

edited title
Link
Cepu
  • 1.4k
  • 8
  • 13

A groupoid wich is a simplicial homotopy retract ofequivalent to $BG$

Source Link
Cepu
  • 1.4k
  • 8
  • 13

A groupoid wich is a simplicial homotopy retract of $BG$

Let $G$ be a finitely generated group, then its action groupoid $BG$ is a simplicial set. In fact $BG$ is the nerve of a groupoid where the set of objects is given by a point $*$ and the set of maps is given by $G$. Now assume that $G=F_{2}$, i.e. the free group on two generators $a$ and $b$. I would like to construct a simplicial set ${X}_{\bullet}$ such that

  1. ${X}_{0}$ consists in two elements $*_{a}$, $*_{b}$,

  2. ${X}_{1}$ is generated by the following elements:

  • a $f_{a}\in\operatorname{Hom}_{X}(*_{a}, *_{a})$,
  • a $f_{b}\in\operatorname{Hom}_{X}(*_{b}, *_{b})$,
  • a $\gamma\in\operatorname{Hom}_{X}(*_{a}, *_{b})$,

by generated here I mean that each element of $X_{1}$ can be written (not. nec. in a unique way) as a concatenation of the elements listed above.

  1. $X_{\bullet}$ is a Kan complex and it is homotopy equivalent to $BF_{2}$.

Here my questions:

a) Is it possible to construct a groupoid $\mathcal{G}$ such that its nerve satisfies the above properties?

b) If not, wich kind of condition should I put on $X_{2}$ (I think thai in this case $X_{\bullet}$ folows by applyng the coskeleton)?