[論文レビュー] The notion of dimension in geometry and algebra

Yuri I. Manin|ArXiv.org|Feb 1, 2005

Advanced Operator Algebra Research参考文献 25被引用数 4

ひとこと要約

本稿は、幾何学、代数学、理論物理学における次元の概念を検討し、フラクタル幾何学、非可換幾何学、楕円曲線のアイデアを統合する。非可換トーラス上の正則ベクトル束と、整合性のある層のカテゴリにおけるt-構造の心臓部の間の同値性を確立し、分数次元および非可換次元のためのカテゴリカルな枠組みを提供する。

ABSTRACT

This talk reviews some mathematical and physical ideas related to the notion of dimension. After a brief historical introduction, various modern constructions from fractal geometry, noncommutative geometry, and theoretical physics are invoked and compared.

研究の動機と目的

• 異なる数学的および物理的次元の概念—フラクタル的、非可換的、代数的—をカテゴリカルな枠組みを通じて統一すること。
• 分数次元および非整数次元が、特にs-密度および正則バンドルを通じて、幾何学的・代数的構造において自然にどのように生じるかを理解すること。
• 非可換幾何学（非可換トーラスを介して）と代数幾何学（整合性のある層のカテゴリおよびt-構造を介して）の間の橋渡しをすること。
• 特に実二次無理数に対して、非可換幾何学における算術的応用のためのカテゴリカルかつ代数的基盤を提供すること。
• 楕円関数を用いた$√{d}$と$√{-d}$の組み合わせというクロネッカーのアイデアを、自己同値およびグレーディング付き代数を介して非可換環へ一般化すること。

提案手法

• 複素数$s$に対して$f|dx|^s$の積分を通じて、微分可能多様体上のs-密度を用いて、分数次元対象を定義する。
• 非可換トーラス$A_\theta$上のモジュールに対して、複素構造$\tau$と整合する正則接続$\overline{\nabla}_z$を構成する。
• 楕円曲線上の整合性のある層の導来カテゴリにおけるねじれ対およびt-構造を適用し、新たなアーベルカテゴリ$\mathrm{Coh}^\theta(X)$を定義する。
• 非可換トーラス上の正則バンドルのカテゴリ$\mathcal{C}_{\theta,\tau}$と$\mathrm{Coh}^{-\theta^{-1}}(T_{0,\tau})$の間の同値性を確立する。
• 双モジュール$E_g(\theta)$から、$\theta$が実二次無理数である場合に自己同値となる非可換グレーディング代数$B = \oplus_{n\geq 0} H^0(E_g(\theta)^{\otimes n})$を構成する。
• 一般の構成$A_{F,O} = \oplus_{n\geq 0} \mathrm{Hom}(O, F^n(O))$を適用し、算術的応用のための非可換射影スクリーンを定義する。

実験結果

リサーチクエスチョン

• RQ1 分数次元を厳密に定義し、幾何学的および代数的枠組みに統合する方法は何か？
• RQ2 非可換トーラス上の正則バンドルの背後にあるカテゴリカル構造は何か。また、楕円曲線上の整合性のある層とどのように関係するか？
• RQ3 自己同値によるモジュールカテゴリの自己同値を用いて、非可換代数幾何学の非可換類似物、例えば非可換射影スクリーンを構成できるか？
• RQ4 実二次無理数$\theta$と複素構造$\tau$は、どのようにして算術的に意味のある非可換代数を生じるか？
• RQ5 同値$\mathcal{C}_{\theta,\tau} \simeq \mathrm{Coh}^{-\theta^{-1}}(T_{0,\tau})$は、ピルの不定方程式に対するクロネッカーの解法という古典的結果をどのように一般化するか？

主な発見

• 非可換トーラス$T_{\theta,\tau}$上の正則バンドルのカテゴリ$\mathcal{C}_{\theta,\tau}$は、標準的バンドルである商を持つ有限フィルトレーションを持つアーベルカテゴリを形成する。
• 自然な同値$\mathcal{C}_{\theta,\tau} \simeq \mathrm{Coh}^{-\theta^{-1}}(T_{0,\tau})$が存在し、非可換幾何学と楕円曲線上の整合性のある層理論を結びつける。
• 実二次無理数$\theta$に対して、双モジュール$E_g(\theta)$は$A_\theta$-モジュール上に非自明な自己同値を誘導し、非可換グレーディング代数の構成を可能にする。
• 環$B = \oplus_{n\geq 0} H^0(E_g(\theta)^{\otimes n})$は、正則双モジュールから生じる非可換グレーディング代数であり、非可換代数幾何学における構成を一般化する。
• 構成$A_{F,O} = \oplus_{n\geq 0} \mathrm{Hom}(O, F^n(O))$により、非可換射影スクリーンが得られ、そのセールカテゴリは実二次$\theta$に対して$\mathrm{Coh}^\theta(T_{0,\tau})$と同値である。
• $\theta \in \mathbb{Q}(\sqrt{d})$かつ$\tau \in \mathbb{Q}(\sqrt{-d})$のとき、得られる非可換代数は、楕円関数を用いたピルの不定方程式の解法というクロネッカーのアイデアの、洗練されたカテゴリカルな実現を提供する。