Uniform bounds for equivariant homotopies (Q1824214)

Sei M kompakte Riemannsche Mannigfaltigkeit und \(\pi_ 1(M)\) endlich. Die Breite \(| H|\) einer Homotopie H: \(X\times I\to M\) ist das Spektrum der Längen aller Deformationswege. Zusammen mit Calder bewiesen Verff. in früheren Arbeiten folgendes Theorem: Für alle n gibt es eine reelle Zahl \(B_ n(M)\), so daß alle Homotopien H mit Dim(X)\(\leq n\) in eine Homotopie H' relativ \(X\times \{0,1\}\) deformiert werden können mit \(| H'| \leq B_ n(M).\) In dieser Arbeit wird eine Verallgemeinerung für die relative und äquivariante Situation bewiesen, wobei eine endliche Gruppe G operiert und \(\pi_ 1(M^ H)\) endlich ist für alle Fixpunktmengen \(M^ H\) von Untergruppen H von G. Als Anwendung des äquivarianten Ergebnisses auf einen nicht äquivarianten Fall erhalten sie, daß \(B_ n(\tilde M)=B_ n(M)\) ist, wobei \(\tilde M\) die universelle Überlagerung von M ist. Zum Beispiel sind mit den \(B_ n(S^ k)\) (die mit Hilfe der Morsetheorie berechnet werden können) auch die \(B_ n\) der Linsenräume bekannt.