[論文レビュー] Residues in Toric Varieties

Eduardo Cattani, David Cox+1 more|ArXiv.org|Jun 27, 1995

Advanced Algebra and Geometry参考文献 11被引用数 11

ひとこと要約

この論文は、完全なトーリック多様体のホモジニアス座標環を用いて、トーリック剰余のグローバル変換則を確立する。ファンに最大次元の単体的錐が存在するとき、剰余が1であるような要素が存在することを証明し、特定の次数付き部分に制限した場合にトーリック剰余が同型写像であることを示す。単体的の場合、トーリック剰余は局所的剰余の和に分解され、すべての次数が等しい場合、多様体は商として得られ、そのときトーリック剰余は原点における局所的剰余に一致する。

ABSTRACT

We study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X. We first prove a global transformation law for toric residues. When the fan of the toric variety has a simplicial cone of maximal dimension, we can produce an element with toric residue equal to 1. We also show that in certain situations, the toric residue is an isomorphism on an appropriate graded piece of the quotient ring. When X is simplicial, we prove that the toric residue is a sum of local residues. In the case of equal degrees, we also show how to represent X as a quotient (Y-{0})/C* such that the toric residue becomes the local residue at 0 in Y.

研究の動機と目的

• 完全なトーリック多様体上のトーリック剰余のグローバル変換則を確立すること。
• ファンに最大次元の単体的錐が含まれる場合、剰余が1に等しい要素を構成すること。
• 特定の状況下で、商環の適切な次数付き部分に制限したとき、トーリック剰余が同型写像であることを示すこと。
• 多様体が単体的である場合、トーリック剰余を局所的剰余の和として表現すること。
• すべての次数が等しい場合、商構成 (Y∖{0})/C* を用いてトーリック剰余を原点における局所的剰余として実現すること。

提案手法

• 完全なトーリック多様体のホモジニアス座標環を用いて、トーリック剰余を定義・分析する。
• グローバル変換則を適用し、異なるトーリック多様体間の剰余を関連付ける。
• 単体的錐の条件下で、商環内にトーリック剰余が1に等しい特定の要素を構成する。
• 多様体が単体的である場合、商環の次数付き部分に制限したとき、トーリック剰余写像が同型写像であることを示す。
• すべての次数が等しい場合、トーリック多様体を (Y∖{0})/C* として表現し、トーリック剰余を原点における局所的剰余に還元する。
• 特に単体的ファンと次数付き環の文脈において、代数幾何学および剰余理論の技法を用いる。

実験結果

リサーチクエスチョン

• RQ1 完全なトーリック多様体上に、トーリック剰余のグローバル変換則をどのように定式化し、証明できるか。
• RQ2 商環にトーリック剰余が1に等しい要素が存在する条件は何か。
• RQ3 どのような条件下で、商環の次数付き部分に制限したトーリック剰余写像が同型写像となるか。
• RQ4 単体的の場合、トーリック剰余を局所的剰余の和として表現できるか。
• RQ5 すべての次数が等しい場合、多様体が商 (Y∖{0})/C* として構成されたとき、トーリック剰余は原点における局所的剰余とどのように関係するか。

主な発見

• トーリック剰余のグローバル変換則が確立され、異なるトーリック多様体間での剰余の一貫した比較が可能になる。
• トーリック多様体のファンに最大次元の単体的錐が含まれる場合、商環内にトーリック剰余が1に等しい要素が存在する。
• 単体的の場合、トーリック剰余は局所的剰余の和に分解され、局所的寄与の和としての分解が得られる。
• 単体的トーリック多様体では、商環の特定の次数付き部分に制限したとき、トーリック剰余が同型写像であることが示される。
• すべての次数が等しい場合、トーリック多様体は (Y∖{0})/C* として実現され、トーリック剰余はYにおける原点における局所的剰余と一致する。
• この構成により、トーリック剰余が局所的剰余として幾何的に実現され、グローバルなトーリック不変量と局所的な解析的不変量が結びつけられる。