A Miyaoka–Yau inequality for hyperplane arrangements in CP n $\mathbb {CP}^n$

IF 1.2 2区 数学 Q1 MATHEMATICS
Martin de Borbon, Dmitri Panov
{"title":"A Miyaoka–Yau inequality for hyperplane arrangements in \n \n \n CP\n n\n \n $\\mathbb {CP}^n$","authors":"Martin de Borbon,&nbsp;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}
引用次数: 0

Abstract

Let H $\mathcal {H}$ be a hyperplane arrangement in CP n $\mathbb {CP}^n$ . We define a quadratic form Q $Q$ on R H $\mathbb {R}^{\mathcal {H}}$ that is entirely determined by the intersection poset of H $\mathcal {H}$ . Using the Bogomolov–Gieseker inequality for parabolic bundles, we show that if a R H $\mathbf {a}\in \mathbb {R}^{\mathcal {H}}$ is such that the weighted arrangement ( H , a ) $(\mathcal {H}, \mathbf {a})$ is stable, then Q ( a ) 0 $Q(\mathbf {a}) \leqslant 0$ . As an application, we consider the symmetric case where all the weights are equal. The inequality Q ( a , , a ) 0 $Q(a, \ldots, a) \leqslant 0$ gives a lower bound for the total sum of multiplicities of codimension 2 $\hskip.001pt 2$ intersection subspaces of H $\mathcal {H}$ . The lower bound is attained when every H H $H \in \mathcal {H}$ intersects all the other members of H { H } $\mathcal {H}\setminus \lbrace H\rbrace$ along ( 1 2 / ( n + 1 ) ) | H | + 1 $(1-2/(n+1))|\mathcal {H}| + 1$ codimension 2 $\hskip.001pt 2$ subspaces; extending from n = 2 $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.

Abstract Image

CP n$ \mathbb {CP}^n$中超平面排列的Miyaoka-Yau不等式
设H $\mathcal {H}$为CP n $\mathbb {CP}^n$中的超平面排列。我们在R H $\mathbb {R}^{\mathcal {H}}$上定义了一个二次型Q $Q$,它完全由H $\mathcal {H}$的交序集决定。利用抛物束的Bogomolov-Gieseker不等式,我们证明了如果a∈R H $\mathbf {a}\in \mathbb {R}^{\mathcal {H}}$使得加权排列(H,a) $(\mathcal {H}, \mathbf {a})$稳定,则Q (a)≥0 $Q(\mathbf {a}) \leqslant 0$。作为一种应用,我们考虑了所有权值相等的对称情况。不等式Q (a,…,)a)≥0 $Q(a, \ldots, a) \leqslant 0$给出了H $\mathcal {H}$的余维数为2 $\hskip.001pt 2$的相交子空间的多重度总和的下界。下界是当每个H∈H $H \in \mathcal {H}$与H∈{H}$\mathcal {H}\setminus \lbrace H\rbrace$的所有其他元素相交时得到的(1−2 / (n + 1)) | H | + 1 $(1-2/(n+1))|\mathcal {H}| + 1$余维2$\hskip.001pt 2$子空间;将Hirzebruch发现的复射影平面上直线排列的条件从n = 2 $n=2$扩展到更高的维度。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
1.90
自引率
0.00%
发文量
186
审稿时长
6-12 weeks
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书