{"title":"光滑平面网的曲率整体性判据及其在 PC2$\\mathbb {P}^{2}_\\{mathbb {C}}$ 上同质叶状体对偶网的应用","authors":"Samir Bedrouni, David Marín","doi":"10.1002/mana.202400150","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mrow>\n <mi>d</mi>\n <mo>≥</mo>\n <mn>3</mn>\n </mrow>\n <annotation>$d\\ge 3$</annotation>\n </semantics></math> be an integer. For a holomorphic <span></span><math>\n <semantics>\n <mi>d</mi>\n <annotation>$d$</annotation>\n </semantics></math>-web <span></span><math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> on a complex surface <span></span><math>\n <semantics>\n <mi>M</mi>\n <annotation>$M$</annotation>\n </semantics></math>, smooth along an irreducible component <span></span><math>\n <semantics>\n <mi>D</mi>\n <annotation>$D$</annotation>\n </semantics></math> of its discriminant <span></span><math>\n <semantics>\n <mrow>\n <mi>Δ</mi>\n <mo>(</mo>\n <mi>W</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$\\Delta (\\mathcal {W})$</annotation>\n </semantics></math>, we establish an effective criterion for the holomorphy of the curvature of <span></span><math>\n <semantics>\n <mi>W</mi>\n <annotation>$\\mathcal {W}$</annotation>\n </semantics></math> along <span></span><math>\n <semantics>\n <mi>D</mi>\n <annotation>$D$</annotation>\n </semantics></math>, generalizing results on decomposable webs due to Marín, Pereira, and Pirio. As an application, we deduce a complete characterization for the holomorphy of the curvature of the Legendre transform (dual web) <span></span><math>\n <semantics>\n <mrow>\n <mi>Leg</mi>\n <mi>H</mi>\n </mrow>\n <annotation>$\\mathrm{Leg}\\mathcal {H}$</annotation>\n </semantics></math> of a homogeneous foliation <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> of degree <span></span><math>\n <semantics>\n <mi>d</mi>\n <annotation>$d$</annotation>\n </semantics></math> on <span></span><math>\n <semantics>\n <msubsup>\n <mi>P</mi>\n <mi>C</mi>\n <mn>2</mn>\n </msubsup>\n <annotation>$\\mathbb {P}^{2}_{\\mathbb {C}}$</annotation>\n </semantics></math>, generalizing some of our previous results. This then allows us to study the flatness of the <span></span><math>\n <semantics>\n <mi>d</mi>\n <annotation>$d$</annotation>\n </semantics></math>-web <span></span><math>\n <semantics>\n <mrow>\n <mi>Leg</mi>\n <mi>H</mi>\n </mrow>\n <annotation>$\\mathrm{Leg}\\mathcal {H}$</annotation>\n </semantics></math> in the particular case where the foliation <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> is Galois. When the Galois group of <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> is cyclic, we show that <span></span><math>\n <semantics>\n <mrow>\n <mi>Leg</mi>\n <mi>H</mi>\n </mrow>\n <annotation>$\\mathrm{Leg}\\mathcal {H}$</annotation>\n </semantics></math> is flat if and only if <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> is given, up to linear conjugation, by one of the two 1-forms <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>ω</mi>\n <mn>1</mn>\n <mi>d</mi>\n </msubsup>\n <mo>=</mo>\n <msup>\n <mi>y</mi>\n <mi>d</mi>\n </msup>\n <mi>d</mi>\n <mi>x</mi>\n <mo>−</mo>\n <msup>\n <mi>x</mi>\n <mi>d</mi>\n </msup>\n <mi>d</mi>\n <mi>y</mi>\n </mrow>\n <annotation>$\\omega _1^{d}=y^d\\mathrm{d}x-x^d\\mathrm{d}y$</annotation>\n </semantics></math>, <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>ω</mi>\n <mn>2</mn>\n <mi>d</mi>\n </msubsup>\n <mo>=</mo>\n <msup>\n <mi>x</mi>\n <mi>d</mi>\n </msup>\n <mi>d</mi>\n <mi>x</mi>\n <mo>−</mo>\n <msup>\n <mi>y</mi>\n <mi>d</mi>\n </msup>\n <mi>d</mi>\n <mi>y</mi>\n </mrow>\n <annotation>$\\omega _2^{d}=x^d\\mathrm{d}x-y^d\\mathrm{d}y$</annotation>\n </semantics></math>. When the Galois group of <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> is noncyclic, we obtain that <span></span><math>\n <semantics>\n <mrow>\n <mi>Leg</mi>\n <mi>H</mi>\n </mrow>\n <annotation>$\\mathrm{Leg}\\mathcal {H}$</annotation>\n </semantics></math> is always flat.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A criterion for the holomorphy of the curvature of smooth planar webs and applications to dual webs of homogeneous foliations on \\n \\n \\n P\\n C\\n 2\\n \\n $\\\\mathbb {P}^{2}_{\\\\mathbb {C}}$\",\"authors\":\"Samir Bedrouni, David Marín\",\"doi\":\"10.1002/mana.202400150\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>d</mi>\\n <mo>≥</mo>\\n <mn>3</mn>\\n </mrow>\\n <annotation>$d\\\\ge 3$</annotation>\\n </semantics></math> be an integer. For a holomorphic <span></span><math>\\n <semantics>\\n <mi>d</mi>\\n <annotation>$d$</annotation>\\n </semantics></math>-web <span></span><math>\\n <semantics>\\n <mi>W</mi>\\n <annotation>$\\\\mathcal {W}$</annotation>\\n </semantics></math> on a complex surface <span></span><math>\\n <semantics>\\n <mi>M</mi>\\n <annotation>$M$</annotation>\\n </semantics></math>, smooth along an irreducible component <span></span><math>\\n <semantics>\\n <mi>D</mi>\\n <annotation>$D$</annotation>\\n </semantics></math> of its discriminant <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Δ</mi>\\n <mo>(</mo>\\n <mi>W</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$\\\\Delta (\\\\mathcal {W})$</annotation>\\n </semantics></math>, we establish an effective criterion for the holomorphy of the curvature of <span></span><math>\\n <semantics>\\n <mi>W</mi>\\n <annotation>$\\\\mathcal {W}$</annotation>\\n </semantics></math> along <span></span><math>\\n <semantics>\\n <mi>D</mi>\\n <annotation>$D$</annotation>\\n </semantics></math>, generalizing results on decomposable webs due to Marín, Pereira, and Pirio. As an application, we deduce a complete characterization for the holomorphy of the curvature of the Legendre transform (dual web) <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Leg</mi>\\n <mi>H</mi>\\n </mrow>\\n <annotation>$\\\\mathrm{Leg}\\\\mathcal {H}$</annotation>\\n </semantics></math> of a homogeneous foliation <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> of degree <span></span><math>\\n <semantics>\\n <mi>d</mi>\\n <annotation>$d$</annotation>\\n </semantics></math> on <span></span><math>\\n <semantics>\\n <msubsup>\\n <mi>P</mi>\\n <mi>C</mi>\\n <mn>2</mn>\\n </msubsup>\\n <annotation>$\\\\mathbb {P}^{2}_{\\\\mathbb {C}}$</annotation>\\n </semantics></math>, generalizing some of our previous results. This then allows us to study the flatness of the <span></span><math>\\n <semantics>\\n <mi>d</mi>\\n <annotation>$d$</annotation>\\n </semantics></math>-web <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Leg</mi>\\n <mi>H</mi>\\n </mrow>\\n <annotation>$\\\\mathrm{Leg}\\\\mathcal {H}$</annotation>\\n </semantics></math> in the particular case where the foliation <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> is Galois. When the Galois group of <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> is cyclic, we show that <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Leg</mi>\\n <mi>H</mi>\\n </mrow>\\n <annotation>$\\\\mathrm{Leg}\\\\mathcal {H}$</annotation>\\n </semantics></math> is flat if and only if <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> is given, up to linear conjugation, by one of the two 1-forms <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>ω</mi>\\n <mn>1</mn>\\n <mi>d</mi>\\n </msubsup>\\n <mo>=</mo>\\n <msup>\\n <mi>y</mi>\\n <mi>d</mi>\\n </msup>\\n <mi>d</mi>\\n <mi>x</mi>\\n <mo>−</mo>\\n <msup>\\n <mi>x</mi>\\n <mi>d</mi>\\n </msup>\\n <mi>d</mi>\\n <mi>y</mi>\\n </mrow>\\n <annotation>$\\\\omega _1^{d}=y^d\\\\mathrm{d}x-x^d\\\\mathrm{d}y$</annotation>\\n </semantics></math>, <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>ω</mi>\\n <mn>2</mn>\\n <mi>d</mi>\\n </msubsup>\\n <mo>=</mo>\\n <msup>\\n <mi>x</mi>\\n <mi>d</mi>\\n </msup>\\n <mi>d</mi>\\n <mi>x</mi>\\n <mo>−</mo>\\n <msup>\\n <mi>y</mi>\\n <mi>d</mi>\\n </msup>\\n <mi>d</mi>\\n <mi>y</mi>\\n </mrow>\\n <annotation>$\\\\omega _2^{d}=x^d\\\\mathrm{d}x-y^d\\\\mathrm{d}y$</annotation>\\n </semantics></math>. When the Galois group of <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> is noncyclic, we obtain that <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Leg</mi>\\n <mi>H</mi>\\n </mrow>\\n <annotation>$\\\\mathrm{Leg}\\\\mathcal {H}$</annotation>\\n </semantics></math> is always flat.</p>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/mana.202400150\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/mana.202400150","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A criterion for the holomorphy of the curvature of smooth planar webs and applications to dual webs of homogeneous foliations on
P
C
2
$\mathbb {P}^{2}_{\mathbb {C}}$
Let be an integer. For a holomorphic -web on a complex surface , smooth along an irreducible component of its discriminant , we establish an effective criterion for the holomorphy of the curvature of along , generalizing results on decomposable webs due to Marín, Pereira, and Pirio. As an application, we deduce a complete characterization for the holomorphy of the curvature of the Legendre transform (dual web) of a homogeneous foliation of degree on , generalizing some of our previous results. This then allows us to study the flatness of the -web in the particular case where the foliation is Galois. When the Galois group of is cyclic, we show that is flat if and only if is given, up to linear conjugation, by one of the two 1-forms , . When the Galois group of is noncyclic, we obtain that is always flat.