[論文レビュー] Construction of schemoids from posets

Yasuhide Numata|arXiv (Cornell University)|Mar 2, 2016

semigroups and automata theory参考文献 5被引用数 3

ひとこと要約

この論文は、順序集合（poset）から小圏を定義し、順序関係とランク関数に基づいて射を割り当てることで、スキーモイド構造を構成する。適切なラベリング写像を用いることで、得られる圏がスキーモイドを形成することを証明し、ジョイン演算とランク加法性に基づく関係を用いて商環としてスキーモイド代数を構成する。これは、関連スキームの Bose–Mesner 代数を一般化するものである。

ABSTRACT

A schemoid is a generalization of association schemes from the point of view of small categories. In this article, we discuss schemoid structures for two kinds of small categories; the canonical small category defined by a poset, and another small category which arises a poset. We also discuss the schemoid algebra, that is an analogue of the Bose--Mesner algebra for an association scheme, for them.

研究の動機と目的

• 順序集合へのカテゴリカルな枠組みの拡張を通じて、関連スキームをスキーモイドによって一般化すること。
• 順序集合から自然な小圏を定義し、その上でスキーモイド構造を実現すること。
• このようなスキーモイドの類似物として、スキーモイド代数を構成すること。
• スキーモイド公理に必要な射の合成とラベリングの整合性を保つための条件を確立すること。

提案手法

• 順序集合 $P$ から小圏 $\tilde{P}$ を定義し、射 $f^d_{x,y}$ が $y = x \vee d$ かつ $x \cap d = \emptyset$ のときにのみ存在するようにする。ここで $\rho$ はランク関数である。
• 射のラベリング写像 $\ell: \operatorname{Mor}(\tilde{P}) \to P$ を $\ell(f^d_{x,y}) = d$ で定義し、射をファイバーに分割する。
• スキーモイド条件の検証：任意の $\sigma, \tau, \mu \in \ell^{-1}(P)$ に対して、$f \circ g \in \mu$ を満たす可換な射のペア $(f,g)$ の数が、$\mu$ の任意の $h,k$ に対して一定であることを、ランク加法性 $\rho(x \vee d) = \rho(x) + \rho(d)$ を用いて示す。
• スキーモイド代数を商環 $R_P = \mathbb{K}[X_x \mid x \in P]/I$ として定義し、$I$ は $\rho(x \vee y) = \rho(x) + \rho(y)$ ならば $X_x X_y = X_{x \vee y}$、それ以外は $X_x X_y = 0$ であるという関係によって生成される。
• 乗法則が合成の基数条件と一致することを示すことにより、スキーモイド代数が $R_P$ に同型であることを証明する。
• 具体例を用いて構成を説明する：ブール格、有限体上のベクトル空間の部分空間、およびマトロイドのフラット。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で、関連小圏 $\tilde{P}$ に対して、順序集合 $P$ からスキーモイド構造を定義できるか。
• RQ2 ラベリング写像 $\ell(f^d_{x,y}) = d$ が、射の合成におけるスキーモイド条件をどのように保証するか。
• RQ3 順序集合に基づくスキーモイドに付随するスキーモイド代数の構造は何か。また、その構造は、ムビウス代数などの既知の代数とどのように関係するか。
• RQ4 マトロイドの文脈でマエノ–ヌマタが導入した代数を、スキーモイド代数の構成が回復できるか。
• RQ5 ランク関数とジョイン演算は、スキーモイド代数の代数的構造にどのように影響を与えるか。

主な発見

• 任意の $x, d$ について $x \cap d = \emptyset$ ならば $\rho(x \vee d) = \rho(x) + \rho(d)$ を満たすランク関数を備えたとき、三つ組 $(\tilde{P}, P, \ell)$ はスキーモイドを形成する。
• スキーモイド代数は、商環 $R_P = \mathbb{K}[X_x \mid x \in P]/I$ に同型であり、ここで $I$ は $\rho(x \vee y) = \rho(x) + \rho(y)$ ならば $X_x X_y = X_{x \vee y}$、それ以外は $X_x X_y = 0$ であるという関係によって生成される。
• $n$ 階のブール格 $2^{[n]}$ に対して、スキーモイド代数は $X_x X_y = X_{x \cup y}$（$x \cap y = \emptyset$ のとき）かつ $X_x X_y = 0$（それ以外）を満たすポセット代数に対応する。
• 有限体上の有限次元ベクトル空間の部分空間の順序集合に対して、スキーモイド代数は $V \cap W = 0$ であるような射 $f^W_{V,V \oplus W}$ の構造と一致し、代数の関係は直和のランク加法性を反映する。
• 所定の条件を満たすマトロイドのフラットの順序集合に対して、スキーモイド代数は、Maeno–Numata が定義したようにすべての生成子について $x_i^2 = 0$ を満たすムビウス代数に同型である。
• 群的対称性に代わってランク関数とジョイン演算を用いた順序集合に基づく組合せ的構造を導入することで、Bose–Mesner 代数の一般化が達成される。