Homotopy theory of monoid actions via group actions and an Elmendorf style theorem

Abstract: Let

M

be a monoid and

G : m a t h b f M o n o m a t h b f G r p

be the group completion functor from monoids to groups. Given a collection

m a t h c a l X

of submonoids of

M

and for each

N i n m a t h c a l X

a collection

m a t h c a l Y_{N}

of subgroups of

G (N)

, we construct a model structure on the category of

M

-spaces and

M

-equivariant maps, called the

(m a t h c a l X, m a t h c a l Y)

-model structure, in which weak equivalences and fibrations are induced from the standard

m a t h c a l Y_{N}

-model structures on

G (N)

-spaces for all

N i n m a t h c a l X

. We also show that for a pair of collections

(m a t h c a l X, m a t h c a l Y)

there is a small category

{m a t h b f O}_{(m a t h c a l X, m a t h c a l Y)}

whose objects are

M

-spaces

M i m e s_{N} G (N) / H

for each

N i n m a t h c a l X

and

H i n m a t h c a l Y_{N}

and morphisms are

M

-equivariant maps, such that the

(m a t h c a l X, m a t h c a l Y)

-model structure on the category of

M

-spaces is Quillen equivalent to the projective model structure on the category of contravariant

{m a t h b f O}_{(m a t h c a l X, m a t h c a l Y)}

-diagrams of spaces.

Recommendations

Cites work

This page was built for publication: Homotopy theory of monoid actions via group actions and an Elmendorf style theorem