[論文レビュー] Unramified geometric class field theory and Cartier duality

Justin Campbell|arXiv (Cornell University)|Oct 8, 2017

Algebraic Geometry and Number Theory参考文献 13被引用数 3

ひとこと要約

この論文は、滑らかな射影的曲線のPicardスタックに対する一般化されたアーベルゼ属性を確立し、これはデリーニの分岐しない幾何的類体理論を含み、Picardスタックのカーティエ自己双対性と同値である。著者たちは、A. ベイリノスンが提供した射影空間上の線束族の新規拡張結果に依拠して、可逆有理関数の空間上の乗法的線束族が自明であることを示すことで、自己双対性の新しい証明を与える。

ABSTRACT

We prove a generalized Albanese property for the Picard stack of a smooth projective curve, which in particular implies Deligne's unramified geometric class field theory. This Albanese property also specializes to the Cartier self-duality of the Picard stack and is in fact equivalent to it. We give a novel proof of the self-duality, by showing that any family of multiplicative line bundles on the space of invertible rational functions is trivial. This argument contains a new extension result for families of line bundles on projective space, communicated to the author by A. Beilinson.

研究の動機と目的

• 滑らかな射影的曲線のPicardスタックに対する一般化されたアーベルゼ属性を確立すること。
• このアーベルゼ属性がデリーニの分岐しない幾何的類体理論を含むことを示すこと。
• 乗法的線束族の自明性に依拠する新規な議論を通じて、Picardスタックのカーティエ自己双対性を証明すること。
• 射影空間上の線束族の拡張結果を活用することで、自己双対性の新しい証明を提供すること。

提案手法

• 著者たちは、中心的な道具としてPicardスタックのアーベルゼ属性を用いて、滑らかな射影的曲線のPicardスタックを分析する。
• カーティエ自己双対性の問題を、可逆有理関数の空間上の乗法的線束族が自明であることを示す問題に還元する。
• 証明は、A. ベイリノスンが提供した、射影空間上の線束族の新規拡張結果に依拠している。
• 幾何学的およびコホロロジー的技法を用いて、乗法的性質の仮定の下で自明性を確立する。
• カテゴリカルおよびスタック理論的双対性原理を通じて、一般化されたアーベルゼ属性とカーティエ自己双対性の同値性を確立する。
• 古典的類体理論の道具を避ける代わりに、現代代数幾何学およびスタックに基づく双対性を用いる。

実験結果

リサーチクエスチョン

• RQ1 Picardスタックの一般化されたアーベルゼ属性から、分岐しない幾何的類体理論をどのように導出できるか？
• RQ2 アーベルゼ属性とPicardスタックのカーティエ自己双対性の間の正確な関係は何か？
• RQ3 古典的双対定理に依拠せずに、Picardスタックの自己双対性を証明できるか？
• RQ4 有理関数の空間上の乗法的線束族は、双対性の確立においてどのような役割を果たすか？
• RQ5 射影空間上の線束族の新規拡張結果は、自己双対性の証明にどのように寄与するか？

主な発見

• 滑らかな射影的曲線のPicardスタックに対する一般化されたアーベルゼ属性が、基礎的結果として確立された。
• このアーベルゼ属性は、直接的な帰結としてデリーニの分岐しない幾何的類体理論を含む。
• Picardスタックのカーティエ自己双対性が、一般化されたアーベルゼ属性と同値であることが示された。
• 論文は、可逆有理関数の空間上の任意の乗法的線束族が自明であることを証明することで、カーティエ自己双対性の新しい証明を提供した。
• 証明は、A. ベイリノスンに帰属する、射影空間上の線束族の新規拡張結果に依拠している。
• アーベルゼ属性と自己双対性の同値性は、Picardスタックの幾何学的構造における深い構造的双対性を明らかにした。