[논문 리뷰] Automorphisms of the semigroup of endomorphisms of free algebras of homogeneous varieties

Ruvim Lipyanski|arXiv (Cornell University)|2005. 11. 27.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 3

한 줄 요약

이 논문은 R¹ MF-도메인 위의 동차 다양체에서 자유 대수의 내적 준군의 자기동형사상을 특성화한다 — 특히 리 대수와 m-아벨리안인 아소시아티브 대수를 포함하며, 이러한 모든 자기동형사상이 준내부적임을 보여주고, 이는 이전의 무한 체 위의 결과를 일반화한다. 주요 기여는 [21]의 문제 5.1을 해결하여, R¹ MF-도메인 위의 자유 리 대수에 대해 준내부적 자기동형사상의 구조를 증명하는 것이다. 이는 보편 대수기하학에서 행렬 준군과 범주적 동치에 응용된다.

ABSTRACT

We consider homogeneous varieties of linear algebras over an associative-commutative ring K with 1, i.e., the varieties in which free algebras are graded. Let F be a free algebra of some variety A of linear algebras over K freely generated by a finite set X, EndF be the semigroup of endomorphisms of F, and AutEndF be the group of automorphisms of the semigroup EndF. We investigate structure of the group AutEndF and its relation to the algebraical and categorical equivalence of algebras from A. We define a wide class of R1MF-domains containing, in particular, Bezout domains, unique factorization domains, and some other domains. We show that every automorphism of semigroup EndF, where F is a free finitely generated Lie algebra over an R1MF-domain, is semi-inner. This solves the Problem 5.1 left open in [21]. As a corollary, semi-innerity of all automorphism of the category of free Lie algebras over R1MF-domains is obtained. Relations between categorical and geometrical equivalence of Lie algebras over R1MF-domains are clarified. The group AutEndF for the variety of m-nilpotent associative algebras over R1MF-domains is described. As a consequence, a complete description of the group of automorphisms of the full matrix semigroup of n x n matrices over R1MF-domains is obtained. We give an example of the variety of linear algebras over a Dedekind domain such that not all automorphisms of AutEndF are quasi-inner. The results obtained generalize the previous studies of various special cases of varieties of linear algebras over infinite fields.

연구 동기 및 목표

• 자유 대수 $F$가 R¹ MF-도메인 위의 동차 다양체에 속할 때, $\mathrm{End}\,F$의 자기동형사상 군을 기술하는 것.
• 자신의 체가 아닌 링 위에서 자유 리 대수에 대해 여전히 열려 있던 [21]의 문제 5.1을 해결하는 것.
• $\mathrm{End}\,F$의 자기동형사상 구조를 통해 R¹ MF-도메인 위의 리 대수의 범주적 동치와 기하학적 동치의 관계를 명확히 하는 것.
• 이전의 무한 체 위에서의 내적 준군 자기동형사상 결과를 Bezout 및 유일인수분해 도메인을 포함한 더 넓은 링의 클래스로 일반화하는 것.
• m-아벨리안인 아소시아티브 대수에 대해 $\mathrm{Aut}\,\mathrm{End}\,F$의 완전한 기술을 제공하고, R¹ MF-도메인 위의 전체 행렬 준군에 대한 결과를 도출하는 것.

제안 방법

• R¹ MF-도메인의 클래스를 도입한다 — 여기서 몫체 위의 랭크 1 행렬이 외적의 합으로 분해될 수 있는 도메인으로, 체와 유일인수분해 도메인을 일반화한다.
• 준내부적 자기동형사상의 개념을 사용한다 — 여기서는 $s: F \to F$의 전단사 사상으로서, $s(a+b) = s(a)+s(b)$, $s(\xi a) = \varphi(\xi)s(a)$, $s(ab) = \alpha s(a)s(b)$를 만족하며, $\alpha \neq 0$, $\varphi \in \mathrm{Aut}\,K$ 또는 반전된 곱의 형태를 갖는다.
• 감소 정리와 자기동형사상의 안정적 및 내부 성분으로의 구조적 분해를 적용하여 $\mathrm{Aut}\,\mathrm{End}\,F$를 분석한다.
• 대칭 다항식(예: $g(x_1,x_2) = x_1x_2 + x_2x_1$)을 통해 $p$-준내부적 및 $p$-거울 자기동형사상을 $m$-아벨리안 대수에서 명시적으로 구성한다.
• 특히 $m=2$일 때 곱셈이 자명해지므로, $\mathrm{End}\,F_2$의 모든 자기동형사상은 반드시 준내부적임을 보여주고, 이는 행렬 준군 결과로 이어진다.
• 갈루아 대응과 자유 유한생성 대수의 범주 $\Theta^0$을 사용하여 자기동형사상 군과 범주적 동치 및 기하학적 동치를 연결한다.

실험 결과

연구 질문

• RQ1 자유 리 대수 $F$가 R¹ MF-도메인 위에 있을 때, $\mathrm{End}\,F$의 모든 자기동형사상은 준내부적인가?
• RQ2 R¹ MF-도메인 위의 $m$-아벨리안인 아소시아티브 대수에 대해, 기저 링 $K$의 기수와 특성에 따라 $\mathrm{Aut}\,\mathrm{End}\,F$의 구조는 어떻게 달라지는가?
• RQ3 R¹ MF-도메인 위의 리 대수의 범주적 동치와 기하학적 동치의 관계는 $\mathrm{Aut}\,\mathrm{End}\,F$에 의해 어떻게 결정되는가?
• RQ4 적절한 다양체에서 자유 대수 $F$에 대해 $\mathrm{End}\,F$의 자기동형사상으로부터 전체 행렬 준군 $M_n(K)$의 자기동형사상 군을 완전히 기술할 수 있는가?
• RQ5 데데킨드 도메인 위에서, $\mathrm{End}\,F$의 모든 자기동형사상이 준내부적이지 않은 다양체는 존재하는가?

주요 결과

• 자유 리 대수 $F$가 R¹ MF-도메인 위에 있을 때, $\mathrm{End}\,F$의 모든 자기동형사상은 준내부적임을 보여주며, 이는 [21]의 문제 5.1을 해결한다.
• R¹ MF-도메인 위의 $m$-아벨리안인 아소시아티브 대수에 대해, $\mathrm{Aut}\,\mathrm{End}\,F_m$은 링의 크기와 특성에 따라 준내부적, $p$-준내부적, 거울, $p$-거울 자기동형사상으로 생성된다.
• 특히 $m=2$일 때, $F_2$의 곱셈은 자명하므로 $\mathrm{End}\,F_2$의 모든 자기동형사상은 준내부적이다. 이는 임의의 R¹ MF-도메인 $K$에 대해 $M_n(K)$의 모든 자기동형사상이 준내부적임을 의미한다.
• 유한체 $\mathbb{F}_2$ 위의 3-아벨리안인 아소시아티브 대수의 다양체에서 반례를 구성하여, $2$-내부적 및 $2$-거울 자기동형사상이 존재함을 보여주며, 일반적으로 모든 자기동형사상이 준내부적이지 않음을 증명한다.
• R¹ MF-도메인 위의 자유 유한생성 리 대수의 범주 $\Theta^0$에 대해 $\mathrm{Aut}\,\Theta^0$는 안정적 및 내부 자기동형사상의 합성으로 구성되며, 전부 준내부적 자기동형사상으로 이루어져 있음을 보여준다.
• 논문은 $\mathrm{End}\,F$의 준내부적 자기동형사상이 범주 $\Theta^0$의 준내부적 자기동형사상으로 유도됨을 증명하며, 내적 준군의 구조와 범주적 동치의 관계를 연결한다.