# Homotopy equivalent spaces and $G_m$-actions

Let $k$ be an algebraically closed field and $G_m$ an algebraic one-dimensional torus. Let $X$ be a smooth irreducible variety over $k$, $Y$ an affine scheme of finite type over $k$ and $f\colon X\rightarrow Y$ a proper morphism.

Assume that there exist actions of $G_m$ on $X$ and $Y$ such that $f$ is $G_m$-equivariant. Moreover, the fixed point locus $Y^{G_m}$ of $Y$ consists of only one point $y.$

Edit (after Allen's answer): Moreover, we assume that for any point $x\in X$ there exists $\lim_{t\rightarrow 0} t\cdot x.$

Question: Are $X$ and $f^{-1}(y)$ homotopy equivalent?

-
What do you mean by "homotopically equivalent"? – Angelo Apr 22 '12 at 11:49
I don't know what is meant by "homotopically equivalent" either, but my guess is that the identity map of $\mathbb{G}_m \amalg \mathbb{A}^1$, with the action on each factor by multiplication, is a counterexample. – Tyler Lawson Apr 22 '12 at 12:49
To Tyler: I assume that Francesco wants $X$ to be irreducible. – Angelo Apr 22 '12 at 15:26
I edited my question. To Tyler: $X$ is irreducible. – Francesco Apr 23 '12 at 7:38

Let $Y = P^2 \setminus${two of its fixed points}, and $X = Y$ with $f$ the identity. Then the fiber over $y$ is a point, but $Y$ is not contractible, I don't think.
I'm pretty sure your "has one fixed point" isn't the condition you want, but rather, "every $\lim_{z\to 0} z\cdot x$ exists and is $y$".
This $Y$ is not affine. In any case you are probably right about the condition. – Angelo Apr 24 '12 at 4:47
Oops, I didn't notice the condition $Y$ affine. I'll think some more. – Allen Knutson Apr 26 '12 at 1:38