<p>Suppose <i>V</i> is a finite dimensional, complex vector space, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is a finite set of codimension one subspaces of <i>V</i>, and <i>G</i> is a finite subgroup of the general linear group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\operatorname {GL}(V)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>GL</mo> <mo stretchy="false">(</mo> <mi>V</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> that permutes the hyperplanes in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation>. In this paper we study invariants and semi-invariants in the graded <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {Q}}G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Q</mi> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>-module <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*(M({\mathscr {A}}))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M({\mathscr {A}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the complement in <i>V</i> of the hyperplanes in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*(\,\cdot \,)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mspace width="0.166667em" /> <mo>·</mo> <mspace width="0.166667em" /> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes rational singular cohomology, in the case when <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathscr {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is a reflection arrangement and the pair <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(({\mathscr {A}},G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo>,</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> arises from a reflection coset. The main result is the construction of an explicit, natural (from the point of view of Coxeter groups) basis of the space of invariants, <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2024_3044_Article_IEq11.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^*(M({\mathscr {A}}))^G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mo>∗</mo> </msup> <msup> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mi>G</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>. In addition to leading to a proof of the description of the space of invariants conjectured by Felder and Veselov for Coxeter groups that does not rely on computer calculations, this construction provides an extension of this description of the space of invariants to arbitrary finite, complex reflection groups. The main result also leads to simplifications of some cohomology computations of Lehrer, Callegaro-Marin, and Marin.</p>

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

Invariants and semi-invariants in the cohomology of the complement of a reflection arrangement

  • J. Matthew Douglass,
  • Götz Pfeiffer,
  • Gerhard Röhrle

摘要

Suppose V is a finite dimensional, complex vector space, \({\mathscr {A}}\) A is a finite set of codimension one subspaces of V, and G is a finite subgroup of the general linear group \(\operatorname {GL}(V)\) GL ( V ) that permutes the hyperplanes in \({\mathscr {A}}\) A . In this paper we study invariants and semi-invariants in the graded \({\mathbb {Q}}G\) Q G -module \(H^*(M({\mathscr {A}}))\) H ( M ( A ) ) , where \(M({\mathscr {A}})\) M ( A ) denotes the complement in V of the hyperplanes in \({\mathscr {A}}\) A and \(H^*(\,\cdot \,)\) H ( · ) denotes rational singular cohomology, in the case when \({\mathscr {A}}\) A is a reflection arrangement and the pair \(({\mathscr {A}},G)\) ( A , G ) arises from a reflection coset. The main result is the construction of an explicit, natural (from the point of view of Coxeter groups) basis of the space of invariants, \(H^*(M({\mathscr {A}}))^G\) H ( M ( A ) ) G . In addition to leading to a proof of the description of the space of invariants conjectured by Felder and Veselov for Coxeter groups that does not rely on computer calculations, this construction provides an extension of this description of the space of invariants to arbitrary finite, complex reflection groups. The main result also leads to simplifications of some cohomology computations of Lehrer, Callegaro-Marin, and Marin.