[논문 리뷰] Representation embeddings and the second Brauer-Thrall conjecture

Klaus Bongartz|arXiv (Cornell University)|2016. 11. 07.

Algebraic structures and combinatorial models참고 문헌 16인용 수 3

한 줄 요약

이 논문은 다항식 환 $k[T]$ 를 임의의 유한 차원 $d$ 의 기본적이고 표현 이론 무한인 $k$-대수 $A$ 로의 강력한 표현 임베딩을 수립한다. 이는 $k[T]$ 에 대해 자유 순서가 최대 $\max(4d, 30)$ 인 이중모듈 ${}_A M_{k[T]}$ 를 사용한다. 핵심 기여는 제2 브라우어-트랄 캐릭터의 수치적 형태를 증명한 것으로, 이러한 임베딩이 유한한 순서로 존재하며, 특성 0과 양의 특성에서 모두 최소 임베딩 클래스를 분류한 것이다.

ABSTRACT

We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any representation-infinite finite-dimensional algebra. We also sharpen some known results on representation embeddings, we simplify some proofs and we construct a simultaneous orthogonal embedding for an infinite family of module categories. In the last section the minimal classes of representation-infinite algebras are determined. The result depends on the characteristic.

연구 동기 및 목표

• 유한 차원 $d$ 의 기본적이고 표현 이론 무한인 $k$-대수 $A$ 에 대해 $\mathrm{mod}\,k[T]$ 에 대한 표현 임베딩을 수립한다.
• 임베딩을 유도하는 이중모듈의 순서를 유 bounds 하여 제2 브라우어-트랄 캐릭터의 수치적 형태를 증명한다.
• 특성 0과 양의 특성에서 표현 이론 무한 대수의 최소 임베딩 클래스를 분류한다.
• 특히 야수성과 온전한 대수와의 관련에서 임베딩 클래스의 구조를 명확히 한다.
• 표현 임베딩의 프레임워크를 사용하여 표현 이론의 고전 결과에 대한 새로운 해석과 증명을 제공한다.

제안 방법

• 차원 $d$ 의 기본적이고 표현 이론 무한인 $k$-대수 $A$ 에 대해, $k[T]$ 에 대해 자유 순서가 최대 $\max(4d, 30)$ 인 이중모듈 ${}_A M_{k[T]}$ 를 구성한다.
• 이 이중모듈을 사용하여 $F: \mathrm{mod}\,k[T] \to \mathrm{mod}\,A$ 를 표현 임베딩으로서의 텐서 곱을 적용한다.
• 표현 이론의 깊은 정리, 특히 전프로제딕 컴포넌트와 타일팅 이론의 결과를 활용하여 임베딩의 구조를 분석한다.
• 기초적인 집합론과 행렬을 사용하지 않는 구성법을 사용하여, 쌍방향으로 독립적인 호모로지 공간을 가진 야수성 쿼버 $Q$ 에 대해 $\mathrm{mod}\,A_i$ 에서 $\mathrm{mod}\,kQ$ 로의 임베딩을 수립한다.
• 에일렌베르크-워츠 정리를 사용하여 정확하고 충실한 함자를 이중모듈을 가진 텐서 함수로 표현한다.
• 표현 이론의 모리타 동치 클래스와 임베딩 클래스를, 쿼버 표현에서의 전프로제딕 및 전임베딩 컴포넌트의 성질을 통해 분석한다.

실험 결과

연구 질문

• RQ1 모든 기본적이고 표현 이론 무한인 $k$-대수 $A$ 는 $k[T]$ 에 대해 자유 순서가 유한한 이중모듈을 통해 $\mathrm{mod}\,k[T]$ 로 임베딩될 수 있는가?
• RQ2 그러한 이중모듈의 최소 가능한 순서는 무엇이며, 이는 $d$ 에 따라 어떻게 달라지는가?
• RQ3 특성 0과 양의 특성에서 표현 이론 무한 대수의 임베딩 클래스는 어떻게 분해되는가?
• RQ4 양의 특성에서 $kK_2$ 의 임베딩 클래스에 포함된 모리타 동치 클래스는 유한한가?
• RQ5 $k[X,Y]/(X,Y)^2$ 의 임베딩 클래스는 특성 0에서 어떻게 구성되어 있으며, $kK_2$ 와 비교해보면 어떠한가?

주요 결과

• 모든 기본적이고 표현 이론 무한인 $k$-대수 $A$ 는 차원 $d$ 를 가질 때, $k[T]$ 에 대해 자유 순서가 최대 $\max(4d, 30)$ 인 이중모듈 ${}_A M_{k[T]}$ 가 존재하며, 이에 대해 $M$ 과의 텐서 곱은 $\mathrm{mod}\,k[T] \to \mathrm{mod}\,A$ 로의 표현 임베딩을 유도한다.
• 특성 0에서는 최소 임베딩 클래스는 $kK_2$ 와 $k[X,Y]/(X,Y)^2$ 이며, 각각 정확히 하나의 모리타 동치 클래스를 포함한다.
• 양의 특성 $p > 0$ 에서는 유일한 최소 임베딩 클래스는 $kK_2$ 이지만, 이는 가чёт수의 모리타 동치 클래스를 포함한다.
• 표현 이론 무한인 대수 $A$ 에 대해 $\mathrm{mod}\,A \to \mathrm{mod}\,kK_2$ 를 만족하는 표현 임베딩 $F$ 가 존재할 경우, $A$ 는 $kK_2 \times B$ 와 모리타 동치이며, $B$ 는 표현 유한이다.
• $kK_2$ 의 임베딩 클래스는 양의 특성에서 가чёт수의 모리타 동치 클래스만 포함한다. 이는 표현 유한 대수의 곱셈 기저 존재성 때문이다.
• 형태 $k\langle X,Y\rangle/(X^2,Y^2,XY-\lambda YX)$ 의 두 대수는 서로 같은 임베딩 클래스에 속해 있을 조건은 서로 동형일 때 뿐이며, 이는 온전한 대수에 대해 무수히 많은 서로 다른 임베딩 클래스가 존재함을 의미한다.