Moment map for toric actions -- online references? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T02:55:02Z http://mathoverflow.net/feeds/question/4541 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4541/moment-map-for-toric-actions-online-references Moment map for toric actions -- online references? Ilya Nikokoshev 2009-11-07T18:04:58Z 2009-11-07T19:21:17Z <p>Consider a <strong>toric variety</strong>, defined as a (normal?) complex projective variety $X$ together with an algebraic action of $(\mathbb C^*)^n$ with finitely many orbits. Now we have two "real symplectic" actions there, the one by a real torus $T$, and the one by a real vector space $V$. From the real symplectic geometry I know that such an action always comes infinitesimally from a family of Hamiltonians ${H_i}$. </p> <p>An example would be action of $\mathbb C^*$ on $\mathbb C\mathbb P^1$ and the Hamiltonian should be a suitable function of $\mathrm{abs}\,(z)$ (its square?) when $z$ is represented as the point on the invariant $\mathbb C$-plane; $S^1$-action generated by this Hamiltonian is rotation around 0.</p> <blockquote> <p><code>(1)</code> Why can the action of $T$ be integrated to a global family ${H^T_i}$ and not the action of $V$ generally?</p> </blockquote> <p>The map $x\mapsto {H_i^T(x)}$ is called a moment map and I need to learn about its properties: why "polytopes with rational vertices = projective toric varieties" et cetera. I have only book references, and I strongly prefer something downloadable.</p> <blockquote> <p><code>(2)</code> What would be a good <strong>online</strong> reference to learn about this?</p> </blockquote> <p><hr /></p> <p>Okay, I've <strong>changed the question to community wiki</strong> (since the "provide a good reference" question is expected to have many answers). I'll add the references I found in the list below. If you fell like it, you can put them here as well:</p> <ul> <li>Original (?) article <a href="http://projecteuclid.org/euclid.jdg/1214459754" rel="nofollow"><em>Riemann-Roch for toric orbifolds</em></a> by Victor Guillemin</li> <li>Draft of a book <a href="http://www.cs.amherst.edu/~dac/toric.html" rel="nofollow"><em>Toric Varieties</em></a> by Cox et al.</li> </ul> http://mathoverflow.net/questions/4541/moment-map-for-toric-actions-online-references/4546#4546 Answer by Ben Webster for Moment map for toric actions -- online references? Ben Webster 2009-11-07T18:31:17Z 2009-11-07T18:31:17Z <p>I don't think the action of V you indicate is symplectic. It's action on the tangent space at a fixed point is just multiplication by a real scalar on a 2 dimensional space, which doesn't have an invariant symplectic form.</p> http://mathoverflow.net/questions/4541/moment-map-for-toric-actions-online-references/4549#4549 Answer by Greg Kuperberg for Moment map for toric actions -- online references? Greg Kuperberg 2009-11-07T18:55:34Z 2009-11-07T18:55:34Z <p>Ben is right. Consider the example of $\mathbb{C}P^1$, which is an ordinary sphere. The action of $T$ is a rotation around the vertical axis, and the orbits are latitude lines. The action of $V$ pushes the sphere from the south pole to the north pole, and the orbits are meridian lines. The symplectic form is just the area form and the action of $V$ is clearly not area-preserving.</p> <p>As for your second question, at a technical level Ben is also right. Each of your "whys" is really one part of the Guillemin-Sternberg structure theorem, at least if you take the question for half-dimensional toric actions on a compact symplectic manifold. My impression is that the structure theorem is not all that easy.</p> <p>But I can think of something else to say. If you take your question for toric varieties in the sense of Fulton's book, then essentially it's all true by construction. You can think of a toric variety as the answer to the question "How can we generalize the projection from the sphere to the interval, keeping all important properties?" If you start with a convex polytope, you should try to build a singular fibration over it such that the fiber over a point on a $k$-face is a $k$-torus. If it is a rational convex polytope that contains the origin, then the definition of a projective toric variety is an organized solution to this question. You build the symplectic structure and the complex algebraic structure so that it all works.</p> <p>For me at least, it is helpful to first think about the case when the polytope is integrally simple, so that the variety is a manifold. Then the case when it is rationally simple, so that the variety is an orbifold.</p>