<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> be a hyperplane arrangement in the <i>d</i>-dimensional vector space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {F}}^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> </math></EquationSource> </InlineEquation>. We study one-element extensions <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}+H_{\varvec{\alpha },a}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">A</mi> <mo>+</mo> <msub> <mi>H</mi> <mrow> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo>,</mo> <mi>a</mi> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\((\varvec{\alpha },a)\in {\mathbb {F}}^{d+1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo>,</mo> <mi>a</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mrow> <mi>d</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. Their intersection semi-lattices <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(L({\mathcal {A}}+H_{\varvec{\alpha },a})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo>+</mo> <msub> <mi>H</mi> <mrow> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo>,</mo> <mi>a</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and other combinatorial invariants, including Whitney polynomials, characteristic polynomials, Whitney numbers and face numbers, can be classified by the intersection lattice of the induced adjoint arrangement of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. As a byproduct, we further establish order-preserving relations on these combinatorial invariants and obtain a decomposition formula for the characteristic polynomials <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2025_756_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(\chi ({\mathcal {A}}+H_{\varvec{\alpha },a},t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>χ</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo>+</mo> <msub> <mi>H</mi> <mrow> <mrow> <mi mathvariant="bold-italic">α</mi> </mrow> <mo>,</mo> <mi>a</mi> </mrow> </msub> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

One-element Extensions of Hyperplane Arrangements

  • Hang Cai,
  • Houshan Fu,
  • Suijie Wang

摘要

Let \({\mathcal {A}}\) A be a hyperplane arrangement in the d-dimensional vector space \({\mathbb {F}}^d\) F d . We study one-element extensions \({\mathcal {A}}+H_{\varvec{\alpha },a}\) A + H α , a of \({\mathcal {A}}\) A for all \((\varvec{\alpha },a)\in {\mathbb {F}}^{d+1}\) ( α , a ) F d + 1 . Their intersection semi-lattices \(L({\mathcal {A}}+H_{\varvec{\alpha },a})\) L ( A + H α , a ) and other combinatorial invariants, including Whitney polynomials, characteristic polynomials, Whitney numbers and face numbers, can be classified by the intersection lattice of the induced adjoint arrangement of \({\mathcal {A}}\) A . As a byproduct, we further establish order-preserving relations on these combinatorial invariants and obtain a decomposition formula for the characteristic polynomials \(\chi ({\mathcal {A}}+H_{\varvec{\alpha },a},t)\) χ ( A + H α , a , t ) .