Fixed point sets of smooth G-manifolds pseudo-equivalent to a G-template

Abstract: For a finite group

G

not of prime power order, Oliver (1996) has answered the question which manifolds occur as the fixed point sets of smooth actions of

G

on disks (resp., Euclidean spaces). We extend Oliver's result to compact (resp., open) smooth

G

-manifolds

M

pseudo-equivalent to

Y

, a finite

m a t h b b Z

-acyclic

G

-CW complex such that the fixed point set

Y^{G}

is non-empty, connected, and

c h i (Y^{G}) e q u i v 1 p m o d n_{G}

, where

n_{G}

is the Oliver number of

G

. We prove that the answer to the question above does not depend on the choice of

Y

. For a finite connected

G

-CW complex

Y

such that

Y^{G}

is non-empty and connected, called a

G

-template, we prove that a compact stably parallelizable manifold

F

occurs as the fixed point set

M^{G}

of a compact smooth

G

-manifold

M

pseudo-equivalent to

Y

, if and only if

c h i (F) e q u i v c h i (Y^{G}) p m o d n_{G}

. Moreover, there exists a compact smooth fixed point free

G

-manifold pseudo-equivalent to a

G

-template

Y

, if and only if

c h i (Y^{G}) e q u i v 0 p m o d n_{G}

. In particular, similarly as for actions on disks, there exists a compact smooth fixed point free

G

-manifold pseudo-equivalent to the real projective space

m a t h b b R {m P}^{2 n}

for an integer

n g e q 1

, if and only if

G

is an Oliver group. Finally, we prove that each finite Oliver group

G

has a smooth fixed point free action on

m a t h b b R {m P}^{2 n}

itself for some integer

n g e q 1

.

Recommendations

Cited in

(3)

This page was built for publication: Fixed point sets of smooth $G$-manifolds pseudo-equivalent to a $G$-template