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

This answer is rewritten and include more details

First of all I highly recommend you the article of Paul Biran From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Your question basically asks "what is the symplectic cone of $\mathbb CP^2$ blown up in a finite number of points?" This question was answered by Paul Biran (check theorem 3.2. from the above article), though the answer is not 100% explicit. Also, it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone if the points are chosen so that the resulting surface has only $-1$ curves (in particular it is Fano isif the number of points is at most $8$). This permits one to answer youyour last question (that is done below). In fact Kahler cones of Fano surfaces rather classical objects and all basic questions about them can be answered.

I would like to add that from a certain conjecture from algebraic geometry - Harbourne-Hirschowitz conjecture, it follows that the Kahler cone of $\mathbb CP^2$ blown up in a very generic collection of points coincides with its symplectic cone (Literately this conjecture saysays the following : any integral curve with negative self-intersection on the blow-up of $\mathbb CP^2$ at a set of points in very general position is a smooth rational curve with self-intersection $−1$. In order to deduce the statement that the symplectic cone coincides with the Kahler one you have to use SW theory). Habourine-Hirschwitz conjecture is open even for $\mathbb CP^2$ blown up in $10$ points, and the famous Nagata conjecture is a partial case of it.

Now let us answer the last bit of the question. The class $2H-E_1-E_2$ is not symplectic. The symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptionala rational $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

This answer is rewritten and include more details

First of all I highly recommend you the article of Paul Biran From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Your question basically asks "what is the symplectic cone of $\mathbb CP^2$ blown up in a finite number of points?" This question was answered by Paul Biran (check theorem 3.2. from the above article), though the answer is not 100% explicit. Also, it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone if the points are chosen so that the resulting surface has only $-1$ curves (in particular it is Fano is the number of points is at most $8$). This permits to answer you last question (that is done below). In fact Kahler cones of Fano surfaces rather classical objects and all basic questions about them can be answered.

I would like to add that from a certain conjecture from algebraic geometry - Harbourne-Hirschowitz conjecture, it follows that the Kahler cone of $\mathbb CP^2$ blown up in a very generic collection of points coincides with its symplectic cone (Literately this conjecture say the following : any integral curve with negative self-intersection on the blow-up of $\mathbb CP^2$ at a set of points in very general position is a smooth rational curve with self-intersection $−1$. In order to deduce the statement that symplectic cone coincides with the Kahler one you have to use SW theory). Habourine-Hirschwitz conjecture is open even for $\mathbb CP^2$ blown up in $10$ points, and the famous Nagata conjecture is a partial case of it.

Now let us answer the last bit of the question. The class $2H-E_1-E_2$ is not symplectic. The symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

This answer is rewritten and include more details

First of all I highly recommend you the article of Paul Biran From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Your question basically asks "what is the symplectic cone of $\mathbb CP^2$ blown up in a finite number of points?" This question was answered by Paul Biran (check theorem 3.2. from the above article), though the answer is not 100% explicit. Also, it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone if the points are chosen so that the resulting surface has only $-1$ curves (in particular it is Fano if the number of points is at most $8$). This permits one to answer your last question (that is done below). In fact Kahler cones of Fano surfaces rather classical objects and all basic questions about them can be answered.

I would like to add that from a certain conjecture from algebraic geometry - Harbourne-Hirschowitz conjecture, it follows that the Kahler cone of $\mathbb CP^2$ blown up in a very generic collection of points coincides with its symplectic cone (Literately this conjecture says the following : any integral curve with negative self-intersection on the blow-up of $\mathbb CP^2$ at a set of points in very general position is a smooth rational curve with self-intersection $−1$. In order to deduce the statement that the symplectic cone coincides with the Kahler one you have to use SW theory). Habourine-Hirschwitz conjecture is open even for $\mathbb CP^2$ blown up in $10$ points, and the famous Nagata conjecture is a partial case of it.

Now let us answer the last bit of the question. The class $2H-E_1-E_2$ is not symplectic. The symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is a rational $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

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

Hi YCho,This answer is rewritten and include more details

First of all I don't quite get whyhighly recommend you say that your question is stupid.the article of Paul Biran From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Let me first answer the last bit. The classYour question basically asks "what is the symplectic cone of $\mathbb CP^2$ blown up in a finite number of points?" This question was answered by Paul Biran $2H-E_1-E_2$(check theorem 3.2. from the above article), though the answer is not symplectic100% explicit. The point Also, it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $2$$9$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in twoif the points. And $H-E_1-E_2$ is an exceptional are chosen so that the resulting surface has only $-1$-curve on this surface, while curves $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so(in particular it is Fano is the number of points is at most $2H-E_1-E_2$$8$). This permits to answer you last question (that is not ample,done below). In fact Kahler cones of Fano surfaces rather classical objects and hence not symplecticall basic questions about them can be answered.

In generalI would like to add that from a certain conjecture from algebraic geometry - Harbourne-Hirschowitz conjecture, it is knownfollows that the symplecticKahler cone of $\mathbb CP^2$ blown up in up to $9$a very generic collection of points coincides coincides with the Kahlerits symplectic cone of the corresponding Delpezzo surface (ifLiterately this conjecture say the number of pointsfollowing : any integral curve with negative self-intersection on the blow-up of $\mathbb CP^2$ at a set of points in very general position is a smooth rational curve with self-intersection $−1$. In order to deduce the statement that symplectic cone coincides with the Kahler one you have to use SW theory). Habourine-Hirschwitz conjecture is open even for $<9$$\mathbb CP^2$ blown up in )$10$ points, and the later conefamous Nagata conjecture is a classical enough object (ifpartial case of it.

Now let us answer the numberlast bit of points is at mostthe question. $8$), so you would be able to find its descriptionThe class $2H-E_1-E_2$ is not symplectic. There is a theoremThe symplectic cone of Biran that gives an answer to your question$\mathbb CP^2$ blown up in general, but it$2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is not completely explicit, you can check:

http://www.math.tau.ac.il/~biranp/Publications/Stbl_Pack.pdf

You can also check his articlean exceptional From Symplectic Packing to Algebraic Geometry and Back available$-1$-curve on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.htmlthis surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, especially theorem 3.2so $2H-E_1-E_2$ is not ample, and hence not symplectic.

Hi YCho, I don't quite get why you say that your question is stupid...

Let me first answer the last bit. The class $2H-E_1-E_2$ is not symplectic. The point is that the symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

In general it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone of the corresponding Delpezzo surface (if the number of points is $<9$ ), and the later cone is a classical enough object (if the number of points is at most $8$), so you would be able to find its description. There is a theorem of Biran that gives an answer to your question in general, but it is not completely explicit, you can check:

http://www.math.tau.ac.il/~biranp/Publications/Stbl_Pack.pdf

You can also check his article From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

This answer is rewritten and include more details

First of all I highly recommend you the article of Paul Biran From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Your question basically asks "what is the symplectic cone of $\mathbb CP^2$ blown up in a finite number of points?" This question was answered by Paul Biran (check theorem 3.2. from the above article), though the answer is not 100% explicit. Also, it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone if the points are chosen so that the resulting surface has only $-1$ curves (in particular it is Fano is the number of points is at most $8$). This permits to answer you last question (that is done below). In fact Kahler cones of Fano surfaces rather classical objects and all basic questions about them can be answered.

I would like to add that from a certain conjecture from algebraic geometry - Harbourne-Hirschowitz conjecture, it follows that the Kahler cone of $\mathbb CP^2$ blown up in a very generic collection of points coincides with its symplectic cone (Literately this conjecture say the following : any integral curve with negative self-intersection on the blow-up of $\mathbb CP^2$ at a set of points in very general position is a smooth rational curve with self-intersection $−1$. In order to deduce the statement that symplectic cone coincides with the Kahler one you have to use SW theory). Habourine-Hirschwitz conjecture is open even for $\mathbb CP^2$ blown up in $10$ points, and the famous Nagata conjecture is a partial case of it.

Now let us answer the last bit of the question. The class $2H-E_1-E_2$ is not symplectic. The symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

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

Hi YCho, I don't quite get why you say that your question is stupid...

Let me first answer the last bit. The class $2H-E_1-E_2$ is not symplectic. The point is that the symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

In general it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone of the corresponding Delpezzo surface (if the number of points is $<9$ ), and the later cone is a classical enough object (if the number of points is at most $8$), so you would be able to find its description. There is a theorem of Biran that gives an answer to your question in general, but it is not completely explicit, you can check:

http://www.math.tau.ac.il/~biranp/Publications/Stbl_Pack.pdf

You can also check his article From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

Hi YCho, I don't quite get why you say that your question is stupid...

Let me first answer the last bit. The class $2H-E_1-E_2$ is not symplectic. The point is that the symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

In general it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone of the corresponding Delpezzo surface (if the number of points is $<9$ ), and the later cone is a classical enough object (if the number of points is at most $8$), so you would be able to find its description. There is a theorem of Biran that gives an answer to your question in general, but it is not completely explicit, you can check:

http://www.math.tau.ac.il/~biranp/Publications/Stbl_Pack.pdf

Hi YCho, I don't quite get why you say that your question is stupid...

Let me first answer the last bit. The class $2H-E_1-E_2$ is not symplectic. The point is that the symplectic cone of $\mathbb CP^2$ blown up in $2$ points coincides with the Kahler cone of $\mathbb CP^2$ blown up in two points. And $H-E_1-E_2$ is an exceptional $-1$-curve on this surface, while $(2H-E_1-E_2)\cdot (H-E_1-E_2)=0$, so $2H-E_1-E_2$ is not ample, and hence not symplectic.

In general it is known that the symplectic cone of $\mathbb CP^2$ blown up in up to $9$ points coincides with the Kahler cone of the corresponding Delpezzo surface (if the number of points is $<9$ ), and the later cone is a classical enough object (if the number of points is at most $8$), so you would be able to find its description. There is a theorem of Biran that gives an answer to your question in general, but it is not completely explicit, you can check:

http://www.math.tau.ac.il/~biranp/Publications/Stbl_Pack.pdf

You can also check his article From Symplectic Packing to Algebraic Geometry and Back available on the page http://www.math.tau.ac.il/~biranp/Publications/Pubications.html , especially theorem 3.2.

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