Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
    
What do you mean by "homotopically equivalent"? –  Angelo Apr 22 '12 at 11:49
4  
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
add comment

1 Answer

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|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
add comment

Your Answer

 
discard

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.