[논문 리뷰] Construction of schemoids from posets

Yasuhide Numata|arXiv (Cornell University)|2016. 03. 02.

semigroups and automata theory참고 문헌 5인용 수 3

한 줄 요약

이 논문은 순서 집합(poset)에서 소 카테고리를 정의하고 순서 관계와 랭크 함수를 기반으로 사상(morphism)을 할당하여 스킴로이드 구조를 구성한다. 적절한 레이블링 함수가 주어지면 그로 인해 생성된 카테고리가 스킴로이드를 이루며, 합(join) 연산과 랭크의 덧셈성에 기반한 관계를 갖는 몫환으로서의 스킴로이드 대수를 구성한다. 이는 연합 체계에 대한 보즈–메스너 대수를 일반화한다.

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$ 에서 사상 $f^d_{x,y}$ 가 존재하는 조건이 $y = x \vee d$ 이고 $x \cap d = \emptyset$ 인 소 카테고리 $\tilde{P}$ 를 정의하고, $\rho$ 를 랭크 함수로 정의한다.
• 모르피즘 집합 $\operatorname{Mor}(\tilde{P})$ 에 대해 $\ell(f^d_{x,y}) = d$ 를 만족하는 레이블링 함수 $\ell: \operatorname{Mor}(\tilde{P}) \to P$ 를 할당하여 사상들을 피브어로 분할한다.
• 스킴로이드 조건을 검증한다: 임의의 $\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 순서 집합 $P$ 에 어떤 조건이 성립할 경우 그에 대응하는 소 카테고리 $\tilde{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)$ 를 만족하는 랭크 함수와 함께 $\ell(f^d_{x,y}) = 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$ 이다.
• 유한 체 위의 유한 차원 벡터 공간의 부분공간의 순서 집합에서 스킴로이드 대수는 $f^W_{V,V \oplus W}$ 형태의 사상과 일치하며, 대수적 관계는 직합의 랭크 덧셈성과 반영된다.
• 필요한 조건을 만족하는 매트로이드의 플랫 순서 집합에서 스킴로이드 대수는 마에노–누마타에서 정의한 바와 같이 $x_i^2 = 0$ 인 모든 생성자에 대해 모비우스 대수와 동형이다.
• 군 유사 대칭을 순서 집합 기반 조합 구조로 대체함으로써 보즈–메스너 대수의 일반화를 달성한다.