Tuesday, 14 October 2014

ag.algebraic geometry - What is the relationship between integrable systems and toric degenerations?

I very nearly wrote my PhD thesis on this topic.
Here's as much as I was able to figure out, though it's hardly a direct answer to your question.



1) Say your total space is K"ahler, and your fibers are compact. Then you can define a Levi-Civita connection on any open set consisting of smooth fibers. It turns out that this connection generates symplectomorphisms between the fibers.



2) In toric degenerations, the torus acts on the total space of the family, mostly moving them around, but preserving the zero fiber (which is why it's toric).



1+2?) Now imagine you use (1) to give a map from your general fiber $F_1$ to your special fiber $F_0$. Map further, to ${mathfrak t}^*$, using the moment map on the toric variety.



Now you have an integrable system on $F_1$, stolen from $F_0$!



There's a problem: since $F_0$ isn't smooth, we can't actually use (1) to make the map. The hope is to take limits along the horizontal vector field to define a continuous function $F_1 to F_0$.



3) It turns out that this is the same as following the gradient flow for the norm square of the moment map. And limits of real-analytic gradient flows on smooth varieties are well-understood, by Lojasiewicz. So if your total space is smooth, you can use this to show that the map $F_1 to F_0$ is well-defined, continuous, and smooth away from the singularities in $F_0$.



I never got around to investigating how things change if the total space is singular (as in the Gel'fand-Cetlin-Sturmfels-Gonciulea-Lakshmibai degeneration motivating the questioner, and me too). Of course you can pick a resolution of singularities, and I guess you can
ask that the metric on the exceptional fibers be very very small, and use that to generalize Lojasiewicz' results. But I never worked on this seriously.



Example:



Let the family be $det : C^{2times 2} to C$. Then the $0$ fiber is the cone over $P^1 times P^1$, so a toric variety, but the fiber over $1$ is $SL(2)$. That has a $T^2$ action, by left and right multiplication by its maximal torus, but doesn't have the rescaling action that the $0$ fiber enjoys. One can actually solve the ODE defined by the Levi-Civita/gradient flow and write down the map $SL(2) to det^{-1}(0)$. It collapses $SU(2)$ to the singular point $0$.



What is the integrable system? Regard $SL(2)$ as $T^* S^3$, and the action variable as $(p,vec v) mapsto |vec v|$. This generates unit-speed gradient flow on $T^* S^3$, which breaks down at zero vectors (the $SU(2) = S^3$) because they don't know which direction to go.

No comments:

Post a Comment