Can a cyclic group of prime order act on a rationally acyclic finite dimensional complex and have no fixed points? Let $C_p$ b the cyclic group of order $p$, with $p$ a prime.
Is is possible for $C_p$ to act (cellularly) on a rationally acyclic finite dimensional CW complex $X$ with no fixed points?
Standard Smith Theory implies that for this to be possible, $H_*(X;\mathbb Z/p)$ would have to be infinite dimensional.  (So, e.g., with $p=2$, $X$ might be homotopy equivalent to an infinite wedge of $\mathbb RP^2$s.)
I am rather hoping that an example like this exists.  But a proof that this can't happen would be fine too!
 A: I needed a slightly more complicated example than this in a paper of mine, so I included a proof there.   For any non-trivial finite group $Q$ I give a 3-dimensional rationally acyclic complex with a cocompact action of $Q\times \mathbb{Z}$ such that $Q$ has no fixed points but any reasonable family of subgroups of $Q$ does have fixed points.  The article is `On finite subgroups of groups of type VF' Geometry and Topology Vol 9 (2005) 1953--1976 and the relevant statement is Theorem 13.  I couldn't get down to 2-dimensional though.
A: Yes, I think you can make an example like this (for $p=2$, but it generalizes).
Let $R$ be the group ring $\mathbb Z[C_2]=\mathbb Z[x]/(x^2-1)$. Make a chain complex of free $R$-modules
$$
M_0 \leftarrow M_1 \leftarrow M_2
$$
as follows.
$M_0=R$.
$M_1$ has a basis $(a_n)$ indexed by $n\ge 0$.
$M_2$ has a basis $(b_n)$ also indexed by $n\ge 0$.
$\partial a_0=x-1$, $\partial a_n=0$ when $n>0$, $\partial b_n=(1+x)a_n+(1-x)a_{n+1}$.
The homology is such that $H_0\cong\mathbb Z$ (trivial action), $H_2=0$, and $H_1$ has exponent $4$.
Now build a cell complex with free $C_2$-action, having this as its complex of cellular chains. There is one orbit of $0$-cells, say $e^0$ and $xe^0$. There are $1$-cells $e^1_n$ and $xe^1_n$. The cell $e^1_0$ is attached to $e^0$ and $xe^0$, while for $n>0$ both ends of $e^1_n$ are attached to $e^0$. There are $2$-cells $e^2_n$ and $xe^2_n$, with the attaching map for $e^2_n$ representing the appropriate $1$-dimensional homology class of this $1$-skeleton.
