Fixed Point Property in Algebraic Geometry - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:34:23Z http://mathoverflow.net/feeds/question/18410 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/18410/fixed-point-property-in-algebraic-geometry Fixed Point Property in Algebraic Geometry Piotr Achinger 2010-03-16T18:17:29Z 2010-03-16T21:59:24Z <p>I am wondering about the following problem: for which (say smooth, complex, connected) algebraic varieties $X$ does the statement <em>any regular map $X\to X$ has a fixed point</em> hold? MathSciNet search does not reveal anything in this topic.</p> <p>This is true for $\mathbb{P}^n$ (<em>because its cohomology is $\mathbb{Z}$ in even dimensions and $0$ otherwise, and the pullback of an effective cycle is effective, so all summands in the Lefschetz fixed point formula are nonnegative, and the 0-th is positive</em> -- is this a correct argument?). Is it true for varieties with cohomology generated by algebraic cycles (i.e. $h^{p,q}(X)=0$ unless $p=q$ and satisfying Hodge conjecture), for example for <strong>Grassmannians</strong>, <strong>toric varieties</strong>, etc.? This is not at all clear that the traces of $f$ on cohomology will be nonnegative.</p> <p>Probably you have lots of counterexamples. What about positive results?</p> http://mathoverflow.net/questions/18410/fixed-point-property-in-algebraic-geometry/18414#18414 Answer by Frank for Fixed Point Property in Algebraic Geometry Frank 2010-03-16T19:27:42Z 2010-03-16T19:27:42Z <p>Here's a positive result: A rationally connected variety over an algebraically closed field is a smooth projective variety such that through any two points, there's a rational curve. One can prove that any automorphism of a rationally connected variety has a fixed point. This is proven using a cohomological argument and I first saw it in Harris' 'Lectures on rationally connected varieties' found here </p> <p><a href="http://www.mat.uab.es/~kock/RLN/rcv.pdf" rel="nofollow">http://www.mat.uab.es/~kock/RLN/rcv.pdf</a></p> http://mathoverflow.net/questions/18410/fixed-point-property-in-algebraic-geometry/18430#18430 Answer by Torsten Ekedahl for Fixed Point Property in Algebraic Geometry Torsten Ekedahl 2010-03-16T21:54:17Z 2010-03-16T21:59:24Z <p>By demand I expand a little on my answer. The holomorphic Lefschetz fixed point formula (aka the Woods-Hole formula) considers an endomorphism $f\colon M \to M$ of a smooth and compact complex manifold $M$ (or proper smooth algebraic variety) with only isolated fixed points which are also assumed to be non-degenerate (i.e., the tangent map of $f$ at a fixed point does not have eigenvalue $1$. Then the alternating trace of the action of $f$ on $H^*(M,\mathcal O_M)$ is equal to a sum over the fixed points $p$ of $1/det(1-T_p(f)$. In particular if there are no fixed points the alternating trace is equal to $0$. However, in the case when also $H^i(M,\mathcal O_M)=0$ for $i>0$ then the alternating trace is equal to $1$ so the assumption that there are no fixed points gives a contradiction. Note, that the dimension of $H^i(M,\mathcal O_M)$ is just $h^{0,i}$ so that an assumption that the Hodge numbers vanish off the diagonal gives the required vanishing by a good margin. Furthermore, the vanishing of just $h^{0,i}$ for $i>0$ is much much weaker, it is for instance a birational condition whereas blowing up a smooth curve of genus $>0$ in a variety of dimension at least 3 always give off diagonal Hodge numbers.</p> <p>As for the question of whether a birational involution of $\mathbb C^n$ always has a fixed point this seems trickier. It is true that the involution can be made to act regularly on a smooth and proper model and hence by the above has a fixed point. It is not clear however that the fixed point will map to a point of $\mathbb C^n$ as $\mathbb C^n$ is not proper.</p>