Realisability problem in arrow categories

Abstract: In this paper we raise the realisability problem in arrow categories. Namely, for a fixed category

m a t h c a l C

and for arbitrary groups

H l e G_{1} i m e s G_{2}

, is there an object

p h i c o l o n A_{1} i g h t a r r o w A_{2}

in

o p e r a t o r n a m e A r r (m a t h c a l C)

such that

o p e r a t o r n a m e {A u t}_{o p e r a t o r n a m e A r r (m a t h c a l C)} (p h i) = H

,

o p e r a t o r n a m e {A u t}_{m a t h c a l C} (A_{1}) = G_{1}

and

o p e r a t o r n a m e {A u t}_{m a t h c a l C} (A_{2}) = G_{2}

? We are interested in solving this problem when

m a t h c a l C = m a t h c a l H o T o p_{*}

, the homotopy category of pointed topological spaces. To that purpose, we first settle that question in the positive when

m a t h c a l C = m a t h c a l G r a p h s

. Then, we construct an almost fully faithful functor from

m a t h c a l G r a p h s

to

o p e r a t o r n a m e C D G A

, the category of commutative differential graded algebras, that provides among other things, a positive answer to our question when

m a t h c a l C = o p e r a t o r n a m e C D G A

and, as long as we work with finite groups, when

m a t h c a l C = m a t h c a l H o T o p_{*}

. Some results on representability of concrete categories are also obtained.

Recommendations

Cites Work

Cited In (8)

This page was built for publication: Realisability problem in arrow categories