[논문 리뷰] Multiplicative preprojective algebras, middle convolution and the Deligne-Simpson problem

William Crawley-Boevey, Peter Shaw|ArXiv.org|2004. 04. 08.

Algebraic structures and combinatorial models참고 문헌 11인용 수 5

한 줄 요약

이 논문은 다중 곱(preprojective) 대수를 통해 델 라이느-심슨 문제를 연구할 수 있는 프레임워크를 제안하며, 호모로지적 공식을 통해 중간 콘볼루션(middle convolution)과 연결한다. $A_1\cdots A_k = 1$에서 $A_i$가 $\mathrm{GL}_n(\mathbb{C})$ 내의 고정된 공轭류에 속할 때의 기약 해의 존재에 대한 충분 조건을, 이러한 대수의 표현 이론과 차원 벡터에 대한 루트 체계 조건을 사용하여 증명한다.

ABSTRACT

We introduce a family of algebras which are multiplicative analogues of preprojective algebras, and their deformations, as introduced by M. P. Holland and the first author. We show that these algebras provide a natural setting for the 'middle convolution' operation introduced by N. M. Katz in his book 'Rigid local systems', and put in an algebraic setting by M. Dettweiler and S. Reiter, and by H. Volklein. We prove a homological formula relating the dimensions of Hom and Ext spaces, study varieties of representations of multiplicative preprojective algebras, and use these results to study simple representations. We apply this work to the Deligne-Simpson problem, obtaining a sufficient (and conjecturally necessary) condition for the existence of an irreducible solution to the equation $A_1 A_2 ... A_k = 1$ with the $A_i$ in prescribed conjugacy classes in $GL_n(C)$.

연구 동기 및 목표

• 다중 곱(preprojective) 대수의 맥락에서 중간 콘볼루션 연산의 호모로지적 프레임워크를 수립하기 위해.
• 행렬 방정식 $A_1\cdots A_k = 1$에서 $A_i$가 $\mathrm{GL}_n(\mathbb{C})$ 내의 고정된 공轭류에 속할 때의 기약 해의 존재에 대한 충분 조건을 제공하기 위해.
• 공轭류 해의 차원 벡터와 루트 조건을 통해 델 라이느-심슨 문제를 화살표(quiver)의 표현 이론과 루트 체계에 연결하기 위해.
• 다중 곱(preprojective) 대수의 단순 표현의 존재가 행렬 방정식의 기약 해의 존재를 암시한다는 것을 증명하기 위해.
• 이전의 공轭류의 폐쇄 내 해에 대한 결과를 엄밀한 해(즉, 클래스 자체에 속하는 해)로 확장하기 위해 대수적 변형 기법을 적용하기 위해.

제안 방법

• 이중 화살표(quiver)의 경로 대수의 변형으로서 다중 곱(preprojective) 대수 $\Lambda^q$를 도입하며, 가역적 $1 + aa^*$와 화살표를 따라 곱하는 조건을 포함하는 관계로 정의한다.
• 공轭류 $C_i$에 관련된 차원 벡터 $\alpha$를 고유값 데이터 $\xi_{ij}$와 부분 곱의 질량을 통해 정의하여, 행렬 방정식의 구조를 캡슐화한다.
• 다중 곱(preprojective) 대수 $\Lambda^q$의 표현 범주에서 $\dim\operatorname{Hom}$과 $\dim\operatorname{Ext}$ 공간을 연결하는 호모로지 공식을 사용하여 표현 다양체를 분석한다.
• 대수적으로 $\Lambda^q$-모듈을 통해 정의된 중간 콘볼루션 연산을 적용하여, 다양한 화살표와 공轭류 자료 간의 표현을 연결한다.
• $\Lambda^q$의 표현과 $A_1\cdots A_k = 1$의 해 사이에 대응관계를 설정하며, 엄밀한 표현은 실제 공轭류 $C_i$에 속하는 해에 대응한다.
• 루트 체계 이론을 사용: $p(\alpha) = 1 - q(\alpha)$를 정의하고, $\xi^{[\beta]} = 1$인 비자명한 루트 분해 $\alpha = \beta + \gamma + \cdots$에 대해 $p(\alpha) > p(\beta) + p(\gamma) + \cdots$ 조건을 요구하여 표현의 단순성을 확보한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $A_1\cdots A_k = 1$은 $A_i$가 $\mathrm{GL}_n(\mathbb{C})$ 내의 고정된 공轭류에 속할 때 기약 해를 가질 수 있는가?
• RQ2 중간 콘볼루션 연산은 화살표의 표현 이론적 프레임워크 내에서 어떻게 대수적으로 실현될 수 있는가?
• RQ3 다중 곱(preprojective) 대수는 어떤 역할을 하여 델 라이느-심슨 문제를 루트 체계 이론과 호모로지 대수학으로 통합하는가?
• RQ4 다중 곱(preprojective) 대수의 표현이 어떤 조건에서 엄밀한 해(즉, $A_i \in C_i$)에 대응하는가, 아니면 단지 $\overline{C_i}$ 내의 해에만 대응하는가?
• RQ5 차원 벡터 $\alpha$와 고유값 데이터 $\xi_{ij}$에 어떤 조건이 성립할 경우 $\Lambda^q$의 단순 표현이 존재하는가?

주요 결과

• 행렬 방정식 $A_1\cdots A_k = 1$에서 $A_i \in C_i$인 기약 해의 존재에 대한 충분 조건은, 관련된 차원 벡터 $\alpha$가 화살표 $Q_w$에 대해 양의 루트여야 하며, $\xi^{[\alpha]} = 1$여야 하며, $\xi^{[\beta]} = \xi^{[\gamma]} = \cdots = 1$인 비자명한 분해 $\alpha = \beta + \gamma + \cdots$에 대해 $p(\alpha) > p(\beta) + p(\gamma) + \cdots$여야 한다.
• 다중 곱(preprojective) 대수 $\Lambda^q$의 차원 $\alpha$의 표현이 존재하는 것은, $A_i \in \overline{C_i}$인 해가 존재하는 것과 동치이다.
• 엄밀한 표현(즉, 구조 사상이 단사 및 전사인 표현)이 존재하는 것은, $A_i \in C_i$인 해가 존재하는 것과 동치이다.
• 차원 $\alpha$의 다중 곱(preprojective) 대수 $\Lambda^q$에 대한 단순 표현이 존재하는 것은, $A_i \in C_i$인 기약 해가 존재하는 것과 동치이다.
• 제시된 루트 이론적 조건 하에서, 단순 표현의 존재는 정리 1.11에 의해 보장되며, 이는 $p(\alpha)$에 대한 루트 조건이 성립할 경우 단순성을 보장한다.
• 중간 콘볼루션 연산은 다중 곱(preprojective) 대수의 구조에 자연스럽게 포함되어 있으며, 카츠와 볼클라인의 구성들을 대수적으로 실현한다.