[論文レビュー] ALGEBRAIC CONNECTIONS ON ELLIPSOID SURFACES

Helge Øystein Maakestad|arXiv (Cornell University)|Jan 1, 2012

Algebraic Geometry and Number Theory参考文献 14被引用数 5

ひとこと要約

この論文は、楕円面の上の有限生成射影加群に対して、曲率のトレースがゼロである非平坦な代数的接続の明示的公式を、加群の基本行列 M を用いて構成する。ベースリングが体上の有限生成代数である場合、計算にはグレブナー基底が用いられ、代数的サイクルや複素幾何における正則接続と関連する。

ABSTRACT

This paper is part of a series of papers where the aim is to give explicit formulas for algebraic differential operators on a finitely generated projective module E on a commutative unital ring A. In previous papers on the subject the Kodaira-Spencer map and Kodaira-Spencer class was used to give explicit formulas for flat algebraic connections on a class of maximal Cohen-Macaulay modules on isolated hypersurface singularities. In this paper we give explicit formulas for algebraic connections on a class of finitely generated projective modules on ellipsoid surfaces. The connections we construct are non-flat with trace of curvature equal to zero. We construct these formulas using the fundamental matrix M of the module E. This matrix may in the case when A is a finitely generated algebra over a field be calculated using Groebner bases. We also discuss a possible relationship to algebraic cycles and a problem on existence of holomorphic connections in complex analysis.

研究の動機と目的

• 特異超曲面上の平坦接続に関する先行研究を、滑らかな楕円面上の非平坦接続へと拡張すること。
• 可換単位的環上の有限生成射影加群に対して代数的接続の明示的公式を提供すること。
• 楕円面上の曲率トレースがゼロである接続の幾何学的・代数的意味を明らかにすること。
• 構築された接続と代数幾何における代数的サイクルとの潜在的関連を調査すること。
• 複素解析における正則接続の存在問題を代数的枠組みを通じて扱うこと。

提案手法

• 射影加群 E に関連する基本行列 M を用いて、代数的接続を明示的に構成する。
• ベースリング A が体上の有限生成代数である場合、基本行列 M の計算にグレブナー基底を用いる。
• 非平坦であるが、曲率のトレースがゼロである接続を構築する。
• 可換代数および代数幾何の技術を用いて、射影加群の文脈で明示的公式を導出する。
• 特異点に関する先行研究で用いられた kodaira-spencer 写像や類と類似の観点から、滑らかな曲面上の構成を支援する。
• 加群の構造が曲率および接続の性質に与える影響を検討する。

実験結果

リサーチクエスチョン

• RQ1 有限生成射影加群上の楕円面において、代数的接続の明示的公式を構築することは可能か？
• RQ2 基本行列 M は、曲率トレースがゼロである非平坦接続を定義する上で果たす役割は何か？
• RQ3 これらの接続は代数幾何の文脈における代数的サイクルとどのように関係するか？
• RQ4 曲率トレースがゼロであることと非平坦性が、加群の構造およびその接続に課す制約は何か？
• RQ5 複素解析における正則接続の存在に対応する意味のある代数的同等物は存在するか？

主な発見

• 本論文は、楕円面上の有限生成射影加群のクラスに対して、明示的代数的接続を成功裏に構築した。
• 構築された接続は非平坦であるが、その曲率のトレースはゼロである。
• 加群 E の基本行列 M は、接続公式を導出するための中心的ツールである。
• ベースリング A が体上の有限生成代数である場合、基本行列 M はグレブナー基底を用いて計算可能である。
• 結果は、複素幾何における正則接続を研究するための潜在的代数的枠組みを示唆する。
• 代数的構成と代数的サイクルの理論との間に接続が確立され、新たな研究分野が開かれた。