[논문 리뷰] Representations of Rota-Baxter algebras and regular singular decompositions

Zongzhu Lin, Li Qiao|arXiv (Cornell University)|2016. 03. 18.

Advanced Topics in Algebra참고 문헌 19인용 수 7

한 줄 요약

이 논문은 Rota-Baxter 대수 $(A, P)$ 에서의 유한차원 표현을 연구하며, $A = \mathbf{k}((t))$ 이고 $P$ 는 $\mathbf{k}[[t]]$ 에로의 사영 연산자임을 가정한다. 이에 따라 이러한 표현의 범주가 단순이며 정확히 세 개인 일차원 불가약 표현을 포함함을 보여준다. 주요 결과는 $n$ 차원 $A$-벡터 공간의 정칙-특이 분해의 집합에서 $GL_n(A)$-궤도의 수가 $\frac{(n+2)(n+1)}{2}$ 임을 보이고, 이 구조를 이용하여 $A^n$ 내의 $\mathbf{k}[[t]]$-부분모듈의 일반화된 클래스 수를 계산한다. 결과들은 표현 이론에서 아핀 그라스만이안과 이중 코스렛 공간과 연결된다.

ABSTRACT

There is a Rota-Baxter algebra structure on the field $A=\mathbf{k}((t))$ with $ P$ being the projection map $A=\mathbf{k}[[t]]\oplus t^{-1}\mathbf{k}[t^{-1}]$ onto $ \mathbf{k}[[ t]]$. We study the representation theory and regular-singular decompositions of any finite dimensional $A$-vector space. The main result shows that the category of finite dimensional representations is semisimple and consists of exactly three isomorphism classes of irreducible representations which are all one-dimensional. As a consequence, the number of $GL_A(V)$-orbits in the set of all regular-singular decompositions of an $n$-dimensional $ A$-vector space $V$ is $(n+2)(n+1)/2$. We also use the result to compute the generalized class number, i.e., the number of the $GL_n(A)$-isomorphism classes of finitely generated $\mathbf{k}[[t]]$-submodules of $A^n$.

연구 동기 및 목표

• Rota-Baxter 대수 $(A, P)$ 에서의 유한차원 표현을 분류하기 위해, $A = \mathbf{k}((t))$ 이고 $P$ 가 $\mathbf{k}[[t]]$ 에로의 사영임을 가정한다.
• 유한차원 $A$-벡터 공간의 정규-특이 분해(RSD)의 구조를 이해하고, $GL_A(V)$ 작용 하에 대한 분류를 다룬다.
• $A^n$ 내의 $\mathbf{k}[[t]]$-부분모듈의 집합에서 $GL_n(A)$-궤도의 수, 즉 일반화된 클래스 수를 계산한다.
• RSD의 궤도 구조가 리 이론에서의 아핀 그라스만이안과 이중 코스렛 공간과 어떻게 관련되어 있는지 밝힌다.

제안 방법

• 논문은 $(A,P)$-모듈과 $A$-벡터 공간의 정규-특이 분해 사이에 범주적 동치를 수립한다. 각 분해는 $V = p(V) \oplus \ker(p)$ 의 직합으로 표현되며, 여기서 $p(V)$ 는 $\mathbf{k}[[t]]$-모듈이고 $\ker(p)$ 는 $\mathbf{k}[t^{-1}]$-모듈이다.
• Rota-Baxter 연산자 $P$ 를 이용하여 임의의 $A$-모듈 $V$ 를 정규 부분 $p(V)$ 와 특이 부분 $\ker(p)$ 로 분해하고, 이 분해가 $V$ 위의 모든 $(A,P)$-모듈의 구조를 분류함을 보인다.
• 각 RSD $(M,N)$ 이 $GL_n(A)$-작용 하에서의 안정자(스태빌라이저)는 $GL_k(A) \times GL_\ell(A) \times GL_r(\mathbf{k})$ 로 주어지며, 여기서 $k, \ell, r$ 은 각 성분의 차원이다.
• 사상 $\Phi_n: \operatorname{RSD}(A^n) \to \mathcal{G}_n(\mathcal{O})$ 의 $M$ 에서의 섬유는 $G_M / \operatorname{Aut}(M,N)$ 의 몫으로서, 블록 행렬 구조를 가진 파라보릭 부분군의 몫과 동형임을 보였다.
• 논문은 $\mathcal{G}_n(\mathcal{O})$ 가 $A^n$ 내의 $\mathbf{k}[[t]]$-격자들을 매개화함을 이용하고, $\Phi_n$ 이 $GL_n(A)$-등변임을 이용하여 궤도 수를 분석한다.
• 특히, 아핀 그라스만이안 $GL_n(A)/GL_n(\mathcal{O})$ 과 이중 코스렛 $K \backslash G / H$ ($K = GL_n(\mathbf{k}[t^{-1}])$, $H = GL_n(\mathcal{O})$) 과의 관련성을 고려하여 대수기하학과 표현 이론의 결과를 적용한다.

실험 결과

연구 질문

• RQ1 $n$ 차원 $A$-벡터 공간 $V$ 의 정규-특이 분해 집합에서 $GL_n(A)$-궤도가 몇 개인가?
• RQ2 $A = \mathbf{k}((t))$ 이고 $P$ 가 $\mathbf{k}[[t]]$ 에로의 사영임을 가정할 때, Rota-Baxter 대수 $(A, P)$ 의 유한차원 표현의 범주가 어떤 구조를 가지는가?
• RQ3 $A^n$ 내의 $\mathbf{k}[[t]]$-부분모듈의 집합인 $\mathcal{G}_n(\mathcal{O})$ 에서의 $GL_n(A)$-궤도 수가 일반화된 클래스 수와 어떻게 관련되어 있는가?
• RQ4 RSD의 궤도 구조는 이중 코스렛 공간 $GL_n(A) \backslash (GL_n(A)/GL_n(\mathcal{O}) \times GL_n(A)/GL_n(\mathbf{k}[t^{-1}]))$ 와 어떻게 관련되어 있는가?

주요 결과

• Rota-Baxter 대수 $(A, P)$ 의 유한차원 표현의 범주는 단순하며, 정확히 세 개의 동형류를 가진 불가약 표현을 포함한다. 이 모든 불가약 표현은 일차원이다.
• 정규-특이 분해의 집합에서 $n$ 차원 $A$-벡터 공간에 대한 $GL_n(A)$-궤도 수는 $\frac{(n+2)(n+1)}{2}$ 이며, 이는 $A^n$ 내의 $\mathbf{k}[[t]]$-부분모듈의 집합인 $\mathcal{G}_n(\mathcal{O})$ 에서의 $GL_n(A)$-궤도 수와도 같다.
• 모듈 $M \in \mathcal{G}_n(\mathcal{O})$ 가 유형 $(k,r)$ 을 가질 때, 섬유 $\Phi_n^{-1}(M)$ 은 $G_M / \operatorname{Aut}(M,N)$ 의 몫과 동형이며, 분해 $(M,N)$ 의 안정자(스태빌라이저)는 $GL_k(A) \times GL_\ell(A) \times GL_r(\mathbf{k})$ 로 주어진다.
• 일반화된 클래스 수, 즉 $A^n$ 내의 유한생성된 $\mathbf{k}[[t]]$-부분모듈의 $GL_n(A)$-동형류 수는 $\frac{(n+2)(n+1)}{2}$ 와 같다.
• 사상 $\Phi_n: \operatorname{RSD}(A^n) \to \mathcal{G}_n(\mathcal{O})$ 는 $GL_n(A)$-등변이며 전사이며, 특이 부분에 제한된 경우 섬유는 $GL_r(\mathcal{O}) / GL_r(\mathbf{k})$ 와 동형이다.
• 정규-특이 분해 공간 $\operatorname{RSD}(A^n)$ 은 이중 코스렛 공간 $K \backslash G / H$ 와 대응되며, 여기서 $G = GL_n(A)$, $H = GL_n(\mathcal{O})$, $K = GL_n(\mathbf{k}[t^{-1}])$ 이다. 이는 리 이론에서의 궤도 구조와의 연결 고리를 확립한다.