MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
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$".

share|cite|improve this answer
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

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.