Skip to main content
added 14 characters in body
Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 64

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

EDIT: The same argument works for all finitebecause the cyclic group actionsis finite. (The invariant metric is obtained by averaging any metric over the finite group action.) The argument does not work for infinite cyclic groups because there is no invariant metric and indeed in general no invariant neighborhood for a fixed point.

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

The same argument works for all finite group actions. (The invariant metric is obtained by averaging any metric over the finite group action.) The argument does not work for infinite groups because there is no invariant metric and indeed in general no invariant neighborhood for a fixed point.

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

EDIT: The argument works because the cyclic group is finite. (The invariant metric is obtained by averaging any metric over the finite group action.) The argument does not work for infinite cyclic groups because there is no invariant metric and indeed in general no invariant neighborhood for a fixed point.

same comments on the general case added
Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 64

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

The same argument works for all finite group actions. (The invariant metric is obtained by averaging any metric over the finite group action.) The argument does not work for infinite groups because there is no invariant metric and indeed in general no invariant neighborhood for a fixed point.

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.

The same argument works for all finite group actions. (The invariant metric is obtained by averaging any metric over the finite group action.) The argument does not work for infinite groups because there is no invariant metric and indeed in general no invariant neighborhood for a fixed point.

Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 64

Assume all fixed points are on the boundary. For each fixed point you can find an invariant neighborhood. (You can assume that the $Z/nZ$-action fixes some Riemannian metric. Then any $\epsilon$-ball around the fixed point is invariant.) These sets are homeomorphic to a half-ball.

The complement of the union of these half-balls (over all fixed points) is homeomorphic to a closed ball. The action on this closed ball does not have fixed points, contradicting Brouwer's theorem.