<p>The Green functions were first introduced by Green to compute the character table of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textrm{GL}_n(\mathbb {F}_q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>GL</mtext> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> in 1955. They were later generalized by Deligne and Lusztig for an arbitrary finite group of Lie type <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(G(\mathbb {F}_q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> using <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation>-adic cohomological methods (1976). They proved that these Green functions satisfy an orthogonality relation (we call the first orthogonality relation). Ten years later Kawanaka proved that they satisfy an other orthogonality relation (we call the second orthogonality relation). In this note, we explain how the main results of our paper (Laumon and Letellier.: Forum Math. Sigma <b>11</b>, <CitationRef CitationID="CR9">2023</CitationRef>) provide a geometric understanding of these two orthogonality relations and how we can see geometrically that the two orthogonality relations are in fact equivalent, i.e. one can be obtained from the other one and vice-versa. In this geometric approach the language of stacks is essential.</p>

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

Geometrization of the Two Orthogonality Formulas for Green Functions

  • Gérard Laumon,
  • Emmanuel Letellier

摘要

The Green functions were first introduced by Green to compute the character table of \(\textrm{GL}_n(\mathbb {F}_q)\) GL n ( F q ) in 1955. They were later generalized by Deligne and Lusztig for an arbitrary finite group of Lie type \(G(\mathbb {F}_q)\) G ( F q ) using \(\ell \) -adic cohomological methods (1976). They proved that these Green functions satisfy an orthogonality relation (we call the first orthogonality relation). Ten years later Kawanaka proved that they satisfy an other orthogonality relation (we call the second orthogonality relation). In this note, we explain how the main results of our paper (Laumon and Letellier.: Forum Math. Sigma 11, 2023) provide a geometric understanding of these two orthogonality relations and how we can see geometrically that the two orthogonality relations are in fact equivalent, i.e. one can be obtained from the other one and vice-versa. In this geometric approach the language of stacks is essential.