[論文レビュー] Polytopal linear algebra

Winfried Bruns, Joseph Gubeladze|ArXiv.org|Feb 3, 2000

Polynomial and algebraic computation参考文献 14被引用数 5

ひとこと要約

本稿では、格子多面体に付随する多面体的代数——可換 $k$-代数の層——を用いて、ベクトル空間の圏的一般化としての多面体的線形代数を導入する。本稿は、体上での多面体的ピカード群が自明であることを証明し、ヴェロネーゼ特異点を介してホモーモルフィズムに関する予想を確認するとともに、格子多角形 $P$ に対して $k[P]$ のすべての冪等的自己準同型が $k[t]$ を通じて因子化されるか、またはセグメント的ファイブレーションから生じることを示し、このような写像の組合せ的分類を明らかにする。

ABSTRACT

We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for fields. The coincidence of this group with the ordinary Picard group for general rings remains an open question. In Section 3 we survey some of the previous results on the automorphism groups and retractions. These results support a general conjecture proposed in Section 4 about the nature of arbitrary homomorphisms of polytopal algebras. Thereafter a further confirmation of this conjecture is presented by homomorphisms defined on Veronese singularities. This is a continuation of the project started in our papers "Polytopal linear groups" (J. Algebra 218 (1999), 715--737), "Polytopal linear retractions" preprint, math.AG/0001049) and "Polyhedral algebras, arrangements of toric varieties, and their groups" (preprint, http://www.mathematik.uni-osnabrueck.de/K-theory/0232/index.html). The higher $K$-theoretic aspects of polytopal linear objects will be treated in "Polyhedral $K$-theory" (in preparation).

研究の動機と目的

• 格子多面体に付随する多面体的 $k$-代数を用いて、古典的線形代数を一般化すること。
• ベクトル空間の圏と多面体的代数の圏との間の構造的類似性を調査すること。
• すべてのホモーモルフィズムが標準的な組合せ的構成から生じるという予想を提示し、その証拠を提供すること。
• 代数的に閉体 $k$ に対して格子多角形 $P$ の $k[P]$ の冪等的自己準同型の多様体の構造を記述すること。

提案手法

• 多面体 $P$ の格子点の半群環として多面体的 $k$-代数 $k[P]$ を定義し、アフィン依存性から生じる二項関係を導入する。
• 多面体的ピカード群を、自然同型を modulo した多面体的圏上の $k$-線形自己同値の群として定義する。
• 先行研究における再び写像と自己同型を用いて、すべてのホモーモルフィズムが多面体幾何に符号化された基本的演算から構成されるという予想を支持する。
• 多項式環のヴェロネーゼ部分代数からのホモーモルフィズムを分析し、標準的構成からの多面体の変更によって得られることを示す。
• ニュートン多面体の技法を用いて射影の分解を特徴付け、冪等的自己準同型を分類する。
• 整数的アフィン写像とミンコフスキー和を用いて、ホモーモルフィズムの構造を多面体の分解に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 多面体的ピカード群は任意の体 $k$ 上で自明であるか。また、古典的ピカード群とはどのように関係しているか。
• RQ2 多面体的圏におけるすべてのホモーモルフィズムは、多面体の構造に基づく標準的演算の合成として記述可能か。
• RQ3 代数的に閉体 $k$ に対して、格子多角形 $P$ の $k[P]$ の冪等的自己準同型の多様体の完全な構造は何か。
• RQ4 多項式環のヴェロネーゼ部分代数からのホモーモルフィズムは、一般に多面体的ホモーモルフィズムに関する予想とどのように関係しているか。
• RQ5 多面体的代数の構造は、算術的性質ではなく、組合せ的データによってどれほど決定づけられるか。

主な発見

• 任意の体 $k$ 上で多面体的ピカード群は自明であり、$k$-線形自己同値の唯一のものとしてスカラー倍に同型である。
• 多項式環のヴェロネーゼ部分代数からのすべてのホモーモルフィズムは、射影の分解の標準的構成に多面体の変更を適用することで得られる。
• 代数的に閉体 $k$ 上の格子多角形 $P$ に対して $k[P]$ の冪等的自己準同型の多様体は完全に記述されている：余次元1の冪等的元はセグメント的ファイブレーションおよび辺に対応し、すべての余次元2の冪等的元は $k[t]$ を通じて因子化される。
• 面の射影や高余次元のファイブレーションから生じる冪等的自己準同型は、多項式環への射影の分解を含む構成からの多面体の変更によって得られる。
• ホモーモルフィズムの構造は、ニュートン多面体および格子点配置の組合せ論的性質によって完全に決定され、体の算術的性質とは無関係である。
• ホモーモルフィズムが射影を分解するための必要十分条件は、定義多項式のニュートン多面体がファイバー方向に整列されており、$Y=1$ で正規化条件を満たすことである。