[论文解读] Equivalences for noncommutative projective spaces

Jorge Vitória|arXiv (Cornell University)|Jan 25, 2010

Algebraic structures and combinatorial models参考文献 15被引用 7

一句话总结

本文根據分次莫代達等價與雙有理等價，對斜多項式代數相關的非交換射影空間進行分類，使用點簇與戈倫斯坦參數等不變量。研究發現點簇在同構下保持不變，但在雙有理等價下不保持，並提供了非同構的非交換射影空間具有同構點簇的明確例子，且猜想同構的非交換射影空間意味著其分次模類等價。

ABSTRACT

Following Artin and Zhang's formulation of noncommutative projective geometry, we classify up a family of skew polynomial quadratic algebras up to graded Morita equivalence and their corresponding noncommutative projective spaces up to birational equivalences. We also study their point varieties and provide examples of non-isomorphic noncommutative projective spaces.

研究动机与目标

• 根據分次莫代達等價對與斜多項式代數相關的非交換射影空間進行分類。
• 透過其分式除法環中零次子環的同構，研究這些空間之間的雙有理等價。
• 計算並分析非交換射影空間的點簇，作為同構下的不變量。
• 確定同構的非交換射影空間是否意味著其分次模類等價，並探討點簇在區分非同構空間中的作用。

提出的方法

• 使用阿廷與張的非交換射影幾何框架，將非交換射影空間定義為分次模類除以扭子模的商類 $Tails(S^n_ω)$。
• 應用 $Gr(S^n_ω)$ 與 $Gr(S^n_{\omega'})$ 之間的分次莫代達等價概念，對代數進行等價分類。
• 透過投影概形反系統 $\Omega_i$ 的點簇構造，將點簇 $\Omega_R$ 定義為反極限。
• 利用戈倫斯坦參數與導出類別中的強例外集列，將 $Tails(S^n_ω)$ 與有關係的路徑代數關聯起來。
• 應用 $q$-循環數構造 $q_{(1ij)}(\omega)$，透過 $GL_n(\mathbb{Z})$ 對指數作用檢測雙有理等價。
• 使用貝里遜奎iver與端點代數 $B^n_\omega$ 的路徑代數表示，計算導出等價。

实验结果

研究问题

• RQ1 何時兩個非交換射影空間 $\mathbb{P}^{n-1}_\omega$ 與 $\mathbb{P}^{n-1}_{\omega'}$ 同構？
• RQ2 在何種條件下，分次模類 $Gr(S^n_\omega)$ 與 $Gr(S^n_{\omega'})$ 等價？
• RQ3 非交換射影空間之間的雙有理等價是否保持其點簇？
• RQ4 非同構的非交換射影空間是否可能具有同構的點簇？
• RQ5 非交換射影空間的同構是否等價於其分次模類的等價？

主要发现

• 當 $n=3$ 時，同構的非交換射影空間 $\mathbb{P}^2_\omega$ 與 $\mathbb{P}^2_{\omega'}$ 意味著其分次模類等價 $Gr(S^3_\omega) \cong Gr(S^3_{\omega'})$，且其點簇彼此同構。
• 當 $n=4$ 時，存在雙有理等價的非交換射影空間 $\mathbb{P}^3_\omega$ 與 $\mathbb{P}^3_{\omega'}$，其點簇非同構：一個包含兩個平面與一條直線，另一個包含六條直線。
• 點簇在非交換射影空間的同構下保持不變，此由莫里對 Ext-模與戈倫斯坦參數的定理所保證。
• 雙有理等價不意味點簇同構，此點在三維情形有明確反例。
• 即使點簇同構，雙有理等價也不意味分次莫代達等價，此由一對代數所證明：其點簇相同，但 $Gr(S^4_\omega)$ 非等價。
• 本文猜想 $\mathbb{P}^{n-1}_\omega \cong \mathbb{P}^{n-1}_{\omega'}$ 意味著 $Gr(S_\omega) \cong Gr(S_{\omega'})$，並將 $n=3$ 時的結果推廣至更高維度。