Skip to main content
added 315 characters in body
Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. To do this take first any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. For each fiber the image of the moment map is a $4$-gon on $\mathbb R^2$ and this $4$-gon varies continuously with the fiber. Here we get a contradiction. Indeed, the polygons corresponding to $F_n$ can not be continuously deformed to those of $F_{n-2m}$ without degenerating them at some point (I assume $n\ne m$ but I guess one can exclude this case as well).

Note that in the last reasoning we could have just taken a product Kahler form on $\mathbb P^1\times \mathbb P^2\times \mathbb C$ and restrict it to $M$. In this case the image of the moment map would not have varied at all (but the above reasoning is more universal since it does not use any information about $M$).

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. To do this take first any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. For each fiber the image of the moment map is a $4$-gon on $\mathbb R^2$ and this $4$-gon varies continuously with the fiber. Here we get a contradiction. Indeed, the polygons corresponding to $F_n$ can not be continuously deformed to those of $F_{n-2m}$ without degenerating them at some point (I assume $n\ne m$ but I guess one can exclude this case as well).

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. To do this take first any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. For each fiber the image of the moment map is a $4$-gon on $\mathbb R^2$ and this $4$-gon varies continuously with the fiber. Here we get a contradiction. Indeed, the polygons corresponding to $F_n$ can not be continuously deformed to those of $F_{n-2m}$ without degenerating them at some point (I assume $n\ne m$ but I guess one can exclude this case as well).

Note that in the last reasoning we could have just taken a product Kahler form on $\mathbb P^1\times \mathbb P^2\times \mathbb C$ and restrict it to $M$. In this case the image of the moment map would not have varied at all (but the above reasoning is more universal since it does not use any information about $M$).

added 14 characters in body
Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. This is easy. TakeTo do this take first any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. It is clear thatFor each fiber the image of the moment map is locally constanta (outside the central fiber), so it is just constant. But since the action of$4$-gon on $T^2$ is holomorphic, we can recover the holomorphic type of$\mathbb R^2$ and this $4$-gon varies continuously with the fiber from the moment map and we see that it does not change. This isHere we get a contradiction.

PS. One might shorten the argumentIndeed, the polygons corresponding to $F_n$ can not be continuously deformed to those of $F_{n-2m}$ without degenerating them at some point (I assume $n\ne m$ but hopefully it is OK likeI guess one can exclude this case as well).

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. This is easy. Take any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. It is clear that the moment map is locally constant (outside the central fiber), so it is just constant. But since the action of $T^2$ is holomorphic, we can recover the holomorphic type of the fiber from the moment map and we see that it does not change. This is a contradiction.

PS. One might shorten the argument, but hopefully it is OK like this.

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. To do this take first any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. For each fiber the image of the moment map is a $4$-gon on $\mathbb R^2$ and this $4$-gon varies continuously with the fiber. Here we get a contradiction. Indeed, the polygons corresponding to $F_n$ can not be continuously deformed to those of $F_{n-2m}$ without degenerating them at some point (I assume $n\ne m$ but I guess one can exclude this case as well).

Source Link
Dmitri Panov
  • 28.9k
  • 4
  • 92
  • 161

What you say is correct and here is a proof.

First remark is that if there were such an action of $T^2$ holomorphic on the fibers and smooth on $M$, it would be just simply holomorphic on $M$. Indeed, for a fixed toric surface, $T^2$ can act on it holomorphically only in a discreet number of ways, that (provided we fix a base in $H_1(T^2,\mathbb Z))$ are parametrized by $SL(2,\mathbb Z)$. The space $M\setminus M_0$ is a locally holomorphically trivial fibration, so $T^2$ would act on it holomorphically. Now, since the action of $T^2$ on $M$ is continuous it must be holomorphic, because any continuous vector field on a complex manifold, holomorphic outside a set of co-dimension $1$ is holomorphic.

So, to finish we need to show that there is no holomorphic action of $T^2$ on $M$. This is easy. Take any Kahler metric on $M$ and homogenise it under the action of $T^2$. Now, the action of $T^2$ becomes Hamiltonian, so we have a fiberwise moment map. It is clear that the moment map is locally constant (outside the central fiber), so it is just constant. But since the action of $T^2$ is holomorphic, we can recover the holomorphic type of the fiber from the moment map and we see that it does not change. This is a contradiction.

PS. One might shorten the argument, but hopefully it is OK like this.