[論文レビュー] Generalised Hasse varieties and their jet spaces

Rahim Moosa, Thomas Scanlon|arXiv (Cornell University)|Aug 28, 2009

Algebraic structures and combinatorial models参考文献 4被引用数 3

ひとこと要約

本稿では、差分および微分代数幾何を統一的に一般化する枠組みとして、反復ハッセ環およびスキームを導入し、延長理論を用いて任意の偏差分／微分方程式系に対してハッセジェット空間を構成する。主な貢献は、分離性の仮定の下で、ハッセ代数幾何的多様体がその点におけるジェット空間によって一意に決定されることを証明することにある。

ABSTRACT

Abstract. Building on the abstract notion of prolongation developed in [7], the theory of iterative Hasse rings and schemes is introduced, simultaneously generalising difference and (Hasse-)differential rings and schemes. This work provides a unified formalism for studying difference and differential algebraic geometry, as well as other related geometries. As an application, Hasse jet spaces are constructed generally, allowing the development of the theory for arbitrary systems of algebraic partial difference/differential equations, where constructions by earlier authors applied only to the finite dimensional case. In particular, it is shown that under appropriate separability assumptions a Hasse variety is determined by its jet spaces at a point. 1.

研究の動機と目的

• 差分および微分代数幾何を統一的な形式的枠組みとして一般化するため、ハッセ環およびスキームを一般化すること。
• 有限次元のケースにとどまらず、任意の代数的偏差分／微分方程式系に対してジェット空間理論を拡張すること。
• ハッセ代数幾何的多様体がその点におけるジェット空間から一意に回復可能となる条件を確立すること。
• この統一を支援するため、抽象的状況における延長理論を一般化すること。
• 代数的系に差分および微分構造が混在する場合の研究の基盤を提供すること。

提案手法

• [7] における抽象的延長の概念を採用し、差分および微分環の一般化として反復ハッセ環およびスキームを構成する。
• 有限次元性に依存しない一般設定においてハッセジェット空間を定義し、任意の偏差分／微分方程式系を扱えるようにする。
• 構造的制御を確保し、ジェット空間構成およびその意味の解釈に役立てるために分離性の仮定を適用する。
• 延長形式的枠組みを用いて、同一の代数的幾何的枠組み内での差分および微分作用素の統一的取り扱いを実現する。
• 延長プロセスを通じてハッセ多様体とそのジェット空間の間の対応関係を確立する。
• ハッセ環の反復的構造を活用し、系全体にわたる高階ジェットデータを一貫してモデル化する。

実験結果

リサーチクエスチョン

• RQ1 差分および微分代数幾何を、単一の代数的幾何的枠組みとして正式に統一することは可能か？
• RQ2 有限次元のケースを越えて、任意の偏差分／微分方程式系に対してジェット空間を一般にどのように構成できるか？
• RQ3 ハッセ代数幾何的多様体がその点におけるジェット空間から一意に決定される条件は何か？
• RQ4 [7] における抽象的延長理論は、反復ハッセ環およびスキームにどのように拡張されるか？
• RQ5 分離性は、ハッセ多様体のジェット空間写像の単射性を保証するために果たす役割は何か？

主な発見

• 反復ハッセ環およびスキームの理論は、差分および微分代数幾何を一つの形式的枠組みに成功裏に一般化した。
• ハッセジェット空間は、任意の代数的偏差分／微分方程式系に適用可能な完全な一般性において構成された。
• 延長形式的枠組みにより、混合差分・微分系における高階ジェットデータの一貫性と抽象的取り扱いが可能になった。
• 適切な分離性の仮定の下では、ハッセ代数幾何的多様体はその点におけるジェット空間によって一意に決定される。
• ジェット空間の構成は、有限次元の設定を越えて拡張され、以前の研究における制限を解消した。
• この枠組みは、代数的構造、差分構造、微分構造が混合した系を一貫して研究する基盤を提供する。