{"title":"CP n$ \\mathbb {CP}^n$中超平面排列的Miyaoka-Yau不等式","authors":"Martin de Borbon, Dmitri Panov","doi":"10.1112/jlms.70525","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math> be a hyperplane arrangement in <span></span><math>\n <semantics>\n <msup>\n <mi>CP</mi>\n <mi>n</mi>\n </msup>\n <annotation>$\\mathbb {CP}^n$</annotation>\n </semantics></math>. We define a quadratic form <span></span><math>\n <semantics>\n <mi>Q</mi>\n <annotation>$Q$</annotation>\n </semantics></math> on <span></span><math>\n <semantics>\n <msup>\n <mi>R</mi>\n <mi>H</mi>\n </msup>\n <annotation>$\\mathbb {R}^{\\mathcal {H}}$</annotation>\n </semantics></math> that is entirely determined by the intersection poset of <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math>. Using the Bogomolov–Gieseker inequality for parabolic bundles, we show that if <span></span><math>\n <semantics>\n <mrow>\n <mi>a</mi>\n <mo>∈</mo>\n <msup>\n <mi>R</mi>\n <mi>H</mi>\n </msup>\n </mrow>\n <annotation>$\\mathbf {a}\\in \\mathbb {R}^{\\mathcal {H}}$</annotation>\n </semantics></math> is such that the weighted arrangement <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mi>H</mi>\n <mo>,</mo>\n <mi>a</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$(\\mathcal {H}, \\mathbf {a})$</annotation>\n </semantics></math> is <i>stable</i>, then <span></span><math>\n <semantics>\n <mrow>\n <mi>Q</mi>\n <mo>(</mo>\n <mi>a</mi>\n <mo>)</mo>\n <mo>⩽</mo>\n <mn>0</mn>\n </mrow>\n <annotation>$Q(\\mathbf {a}) \\leqslant 0$</annotation>\n </semantics></math>. As an application, we consider the symmetric case where all the weights are equal. The inequality <span></span><math>\n <semantics>\n <mrow>\n <mi>Q</mi>\n <mo>(</mo>\n <mi>a</mi>\n <mo>,</mo>\n <mtext>…</mtext>\n <mo>,</mo>\n <mi>a</mi>\n <mo>)</mo>\n <mo>⩽</mo>\n <mn>0</mn>\n </mrow>\n <annotation>$Q(a, \\ldots, a) \\leqslant 0$</annotation>\n </semantics></math> gives a lower bound for the total sum of multiplicities of codimension <span></span><math>\n <semantics>\n <mrow>\n <mn>2</mn>\n </mrow>\n <annotation>$\\hskip.001pt 2$</annotation>\n </semantics></math> intersection subspaces of <span></span><math>\n <semantics>\n <mi>H</mi>\n <annotation>$\\mathcal {H}$</annotation>\n </semantics></math>. The lower bound is attained when every <span></span><math>\n <semantics>\n <mrow>\n <mi>H</mi>\n <mo>∈</mo>\n <mi>H</mi>\n </mrow>\n <annotation>$H \\in \\mathcal {H}$</annotation>\n </semantics></math> intersects all the other members of <span></span><math>\n <semantics>\n <mrow>\n <mi>H</mi>\n <mo>∖</mo>\n <mo>{</mo>\n <mi>H</mi>\n <mo>}</mo>\n </mrow>\n <annotation>$\\mathcal {H}\\setminus \\lbrace H\\rbrace$</annotation>\n </semantics></math> along <span></span><math>\n <semantics>\n <mrow>\n <mo>(</mo>\n <mn>1</mn>\n <mo>−</mo>\n <mn>2</mn>\n <mo>/</mo>\n <mo>(</mo>\n <mi>n</mi>\n <mo>+</mo>\n <mn>1</mn>\n <mo>)</mo>\n <mo>)</mo>\n <mo>|</mo>\n <mi>H</mi>\n <mo>|</mo>\n <mo>+</mo>\n <mn>1</mn>\n </mrow>\n <annotation>$(1-2/(n+1))|\\mathcal {H}| + 1$</annotation>\n </semantics></math> codimension <span></span><math>\n <semantics>\n <mrow>\n <mn>2</mn>\n </mrow>\n <annotation>$\\hskip.001pt 2$</annotation>\n </semantics></math> subspaces; extending from <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>=</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$n=2$</annotation>\n </semantics></math> to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":"113 4","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2026-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70525","citationCount":"0","resultStr":"{\"title\":\"A Miyaoka–Yau inequality for hyperplane arrangements in \\n \\n \\n CP\\n n\\n \\n $\\\\mathbb {CP}^n$\",\"authors\":\"Martin de Borbon, Dmitri Panov\",\"doi\":\"10.1112/jlms.70525\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math> be a hyperplane arrangement in <span></span><math>\\n <semantics>\\n <msup>\\n <mi>CP</mi>\\n <mi>n</mi>\\n </msup>\\n <annotation>$\\\\mathbb {CP}^n$</annotation>\\n </semantics></math>. We define a quadratic form <span></span><math>\\n <semantics>\\n <mi>Q</mi>\\n <annotation>$Q$</annotation>\\n </semantics></math> on <span></span><math>\\n <semantics>\\n <msup>\\n <mi>R</mi>\\n <mi>H</mi>\\n </msup>\\n <annotation>$\\\\mathbb {R}^{\\\\mathcal {H}}$</annotation>\\n </semantics></math> that is entirely determined by the intersection poset of <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math>. Using the Bogomolov–Gieseker inequality for parabolic bundles, we show that if <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>a</mi>\\n <mo>∈</mo>\\n <msup>\\n <mi>R</mi>\\n <mi>H</mi>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbf {a}\\\\in \\\\mathbb {R}^{\\\\mathcal {H}}$</annotation>\\n </semantics></math> is such that the weighted arrangement <span></span><math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mi>H</mi>\\n <mo>,</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$(\\\\mathcal {H}, \\\\mathbf {a})$</annotation>\\n </semantics></math> is <i>stable</i>, then <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Q</mi>\\n <mo>(</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n <mo>⩽</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$Q(\\\\mathbf {a}) \\\\leqslant 0$</annotation>\\n </semantics></math>. As an application, we consider the symmetric case where all the weights are equal. The inequality <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>Q</mi>\\n <mo>(</mo>\\n <mi>a</mi>\\n <mo>,</mo>\\n <mtext>…</mtext>\\n <mo>,</mo>\\n <mi>a</mi>\\n <mo>)</mo>\\n <mo>⩽</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$Q(a, \\\\ldots, a) \\\\leqslant 0$</annotation>\\n </semantics></math> gives a lower bound for the total sum of multiplicities of codimension <span></span><math>\\n <semantics>\\n <mrow>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$\\\\hskip.001pt 2$</annotation>\\n </semantics></math> intersection subspaces of <span></span><math>\\n <semantics>\\n <mi>H</mi>\\n <annotation>$\\\\mathcal {H}$</annotation>\\n </semantics></math>. The lower bound is attained when every <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>H</mi>\\n <mo>∈</mo>\\n <mi>H</mi>\\n </mrow>\\n <annotation>$H \\\\in \\\\mathcal {H}$</annotation>\\n </semantics></math> intersects all the other members of <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>H</mi>\\n <mo>∖</mo>\\n <mo>{</mo>\\n <mi>H</mi>\\n <mo>}</mo>\\n </mrow>\\n <annotation>$\\\\mathcal {H}\\\\setminus \\\\lbrace H\\\\rbrace$</annotation>\\n </semantics></math> along <span></span><math>\\n <semantics>\\n <mrow>\\n <mo>(</mo>\\n <mn>1</mn>\\n <mo>−</mo>\\n <mn>2</mn>\\n <mo>/</mo>\\n <mo>(</mo>\\n <mi>n</mi>\\n <mo>+</mo>\\n <mn>1</mn>\\n <mo>)</mo>\\n <mo>)</mo>\\n <mo>|</mo>\\n <mi>H</mi>\\n <mo>|</mo>\\n <mo>+</mo>\\n <mn>1</mn>\\n </mrow>\\n <annotation>$(1-2/(n+1))|\\\\mathcal {H}| + 1$</annotation>\\n </semantics></math> codimension <span></span><math>\\n <semantics>\\n <mrow>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$\\\\hskip.001pt 2$</annotation>\\n </semantics></math> subspaces; extending from <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>=</mo>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$n=2$</annotation>\\n </semantics></math> to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":\"113 4\",\"pages\":\"\"},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2026-04-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.70525\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/jlms.70525\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/jlms.70525","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
A Miyaoka–Yau inequality for hyperplane arrangements in
CP
n
$\mathbb {CP}^n$
Let be a hyperplane arrangement in . We define a quadratic form on that is entirely determined by the intersection poset of . Using the Bogomolov–Gieseker inequality for parabolic bundles, we show that if is such that the weighted arrangement is stable, then . As an application, we consider the symmetric case where all the weights are equal. The inequality gives a lower bound for the total sum of multiplicities of codimension intersection subspaces of . The lower bound is attained when every intersects all the other members of along codimension subspaces; extending from to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.
期刊介绍:
The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.