[논문 리뷰] Growth partition functions for cancellative infinite monoids

Kyoji Saito|arXiv (Cornell University)|2010. 09. 30.

Advanced Topics in Algebra참고 문헌 5인용 수 3

한 줄 요약

이 논문은 유한 생성 집합을 가진 취소 가능 무한 모노이드에 대해 성장 분할 함수 $Z_{\Gamma,G}(t)$ 를 도입하며, 성장 함수로부터 유도된 대수적 방정식을 통해 극한 분할 함수를 계산할 수 있는 프레임워크를 수립한다. 아르틴 모노이드의 유한 유형—예를 들어 브레이드 모노이드—에 대해서는, 가능한 유한한 예외를 제외하고 이들 모노이드가 단순 축적($\#\Omega(\Gamma,G) = 1$)임을 증명하고, 분모 다항식의 가장 작은 실근 $r_{\Gamma,G}$ 에서 $Z_{\Gamma,G}(t)$ 를 평가하여 유일한 극한 분할 함수 $\omega_{\Gamma,G}$ 를 명시적으로 계산한다.

ABSTRACT

We introduce the {\it growth partition function} $Z_{Γ,G}(t)$ associate with any cancellative infinite monoid $Γ$ with a finite generator system $G$. It is a power series in $t$ whose coefficients lie in integral Lie-like space $\mathcal{L}_{\Z}(Γ,G)$ in the configuration algebra associated with the Cayley graph $(Γ,G)$. We determine them for homogeneous monoids admitting left greatest common divisor and right common multiple. Then, for braid monoids and Artin monoids of finite type, using that formula, we explicitly determine their limit partition functions $ω_{Γ,G}$.

연구 동기 및 목표

• 유한 생성 집합을 가진 취소 가능 무한 모노이드에 대해 성장 분할 함수 $Z_{\\Gamma,G}(t)$ 를 정의하고 연구하기.
• 좌측 GCD와 우측 공통 배수를 갖는 동차 모노이드에 대해 $Z_{\Gamma,G}(t)$ 를 결정하기.
• 유한 유형 아르틴 모노이드가 가능한 유한한 예외를 제외하고는 단순 축적($\\#\\Omega(\Gamma,G) = 1$)임을 확립하기.
• 성장 분할 함수와 대수적 방정식을 사용하여 이러한 모노이드의 극한 분할 함수 $\omega_{\Gamma,G}$ 를 명시적으로 계산하기.

제안 방법

• 구성의 대수 $\mathbb{A}[[Conf(\Gamma,G)]]$ 와 부분그래프 합의 로그를 통해 리-유사 원소 $\mathcal{L}_{\mathbb{A}}(\Gamma,G)$ 를 정의한다.
• 성장 분할 함수를 $Z_{\Gamma,G}(t) := \frac{P_{\Gamma,G}\mathcal{M}(t)}{P_{\Gamma,G}(t)}$ 로 정의하며, 여기서 $P_{\Gamma,G}(t)$ 는 성장 급수이고 $P_{\Gamma,G}\mathcal{M}(t)$ 는 리-유사 원소의 생성 급수이다.
• 이전 연구의 주요 공식 (1.1)을 사용하여 $Trace^{[e]}\Omega(\Gamma,G)$ 와 $Z_{\Gamma,G}(t)$ 를 연결하며, 오차 항 $E$ 와 관성군 자료를 포함한다.
• 주어진 조건 하에 클래스 $\mathcal{C}$ 의 모노이드, 특히 유한 유형 아르틴 모노이드에 이 공식을 적용하며, 주기 $h_{\Gamma,G} = 1$ 이라고 가정한다.
• $\omega_{\Gamma,G}$ 를 $Z_{\Gamma,G}(r_{\Gamma,G})$ 로 계산하며, 여기서 $r_{\Gamma,G}$ 는 분모 다항식 $N_M(t)$ 의 (0,1) 내 가장 작은 실근이다.
• 특정 유형 $A_l$, $B_l$, $D_l$ 에 대해 $l \leq 30$ 까지의 추측과 계산적 검증에 의존하며, $E_6$, $E_7$, $E_8$, $F_4$, $G_2$, $H_3$, $H_4$, $I_2(p)$ 에 대해서는 코바야시-쓰치오카-야수다의 추가 분석적 지원을 받는다.

실험 결과

연구 질문

• RQ1 집합 $\Omega(\Gamma,G)$ 가 극한 분할 함수의 유일한 원소를 가지는 조건은 무엇인가? 즉, 모노이드가 단순 축적인가?
• RQ2 좌측 GCD와 우측 공통 배수를 갖는 동차 모노이드에 대해 성장 분할 함수 $Z_{\Gamma,G}(t)$ 는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 유한 유형 아르틴 모노이드의 극한 분할 함수 $\omega_{\Gamma,G}$ 의 명시적 형태는 무엇인가?
• RQ4 분모 다항식 $N_M(t)$ 의 가장 작은 실근 $r_{\Gamma,G}$ 가 $Z_{\Gamma,G}(t)$ 에서의 평가를 통해 $\omega_{\Gamma,G}$ 의 정확한 값을 제공하는가?
• RQ5 분모 다항식 $N_M(t)$ 의 근들에 대한 갈루아 군 작용이 $\Omega(\Gamma,G)$ 의 구조에 어떤 영향을 미치는가?

주요 결과

• 유한 유형 아르틴 모노이드에 대해 $30 < l < M$ 인 유형 $A_l$, $B_l$, 또는 $D_l$ 에서 가능한 유한한 예외를 제외하고 $\\#\\Omega(\Gamma,G) = 1$ 이 성립한다.
• 극한 분할 함수 $\omega_{\Gamma,G}$ 는 분모 다항식 $N_M(t)$ 의 (0,1) 내 가장 작은 실근인 $r_{\Gamma,G}$ 에서 $Z_{\Gamma,G}(t)$ 를 평가하여 $Z_{\Gamma,G}(r_{\Gamma,G})$ 로 주어진다.
• 클래스 $\mathcal{C}$ 의 모노이드, 특히 유한 유형 아르틴 모노이드에 대해 성장 분할 함수 $Z_{\Gamma,G}(t)$ 가 명시적으로 결정된다.
• 모든 테스트된 유한 유형 아르틴 모노이드에 대해 주기 $h_{\Gamma,G} = 1$ 이 확인되어 $\Omega(\Gamma,G)$ 의 단순성에 대한 지지를 받는다.
• 관성군 크기 $m_{\Gamma,G} = 1$ 이며, 분자 다항식 $A^{[e]}(s) = 1$ 이므로 주요 공식 (1.1)이 $\omega_{\Gamma,G} = Z_{\Gamma,G}(r_{\Gamma,G})$ 로 단순화된다.
• 공식 $\omega_{\Gamma,G} = \sum_{S \in Conf_0(\Gamma_M,G)} \varphi(S) \, r_{\Gamma_M,G}^{L(S)}$ 는 극한 분할 함수에 대한 구체적이고 계산 가능한 표현을 제공한다.