[논문 리뷰] Dixmier Groups and Borel Subgroups

Yuri Berest, Alimjon Eshmatov외 1명|arXiv (Cornell University)|2014. 01. 28.

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

한 줄 요약

이 논문은 미분 기수 $n$를 가진 유리 특이 곡선 $X_n$ 위의 미분 연산자환 $D(X_n)$의 자명사상군으로서의 딕스미에르 군 $G_n$을, 그들이 캘로저로-모저 다양체 $\mathcal{C}_n$ 위에 작용하는 방식을 통해 연구한다. $n \geq 1$일 때 $G$의 $\mathcal{C}_n$ 위의 작용이 이중추이적임을 증명하고, 서로 다른 $\mathcal{C}_{n_i}$의 곱 위에서 대각선으로 추이적이며, 이로 인해 안정자군 $G_n$이 극대 부분군임을 보이며, 다항식 생성자 위에서의 코너지 작용을 통해 보렐 부분군의 명시적 기술을 제공한다.

ABSTRACT

Let G be the group of symplectic (unimodular) automorphisms of the free associative algebra on two generators. A theorem of G.Wilson and the first author asserts that G acts transitively the Calogero-Moser spaces C_n for all n. We generalize this theorem in two ways: first, we prove that the action of G on C_n is doubly transitive, meaning that G acts transitively on the configuration space of (ordered) pairs of points in C_n; second, we prove that the diagonal action of G on the product of (any number of) copies of C_n is transitive provided the corresponding n's are pairwise distinct. In the second part of the paper, we study the isotropy subgroups G_n of G in C_n. We equip each G_n with the structure of an ind-algebraic group and classify the Borel subgroups of these ind-algebraic groups for all n. Our classification shows that every Borel subgroup of G (= G_0) is conjugate to the subgroup B of triangular (elementary) automorphisms; on the other hand, for n > 0, the conjugacy classes of Borel subgroups of G_n are parametrized by certain orbits of B in C_n. Our main result is that the conjugacy classes of non-abelian Borel subgroups of G_n correspond precisely to the B-orbits of the C^*-fixed points in C_n and thus, are in bijection with the partitions of n. We also prove an infinite-dimensional analogue of the classical theorem of R.Steinberg, characterizing the (non-abelian) Borel subgroups of G_n in purely group-theoretic terms. Together with our classification this last theorem implies that the G_n are pairwise non-isomorphic as abstract groups. Our study of the groups G_n is motivated by the fact that these are the automorphism groups of non-isomorphic simple algebras Morita equivalent to the Weyl algebra A_1(C). From this perspective, our results generalize well-known theorems of J.Dixmier and L.Makar-Limanov about the automorphism group of A_1(C).

연구 동기 및 목표

• 디크스미어 군 $G_n = \mathrm{Aut}_{\mathbb{C}} D(X_n)$의 구조와 표현 이론을 이해하는 것. 여기서 $X_n$은 미분 기수가 $n$인 유리 특이 곡선이다.
• 자유 대수 $R = \mathbb{C}\langle x,y \rangle$의 심플렉틱 자동사상군 $G$가 캘로저로-모저 다양체 $\mathcal{C}_n$ 위에 작용하는 방식을 분석하는 것.
• 이 작용의 강력한 추이성 성질을 확립하는 것. 이는 이중추이성과 서로 다른 $\mathcal{C}_{n_i}$의 곱 위에서의 대각선 추이성을 포함하며, 안정자군 $G_n$의 극대성을 유도하는 것.
• 변환 $(x + \lambda y^{s-1}, y)$ 및 $(x, y + \lambda x^{s-1})$로 생성되는 표준 부분군의 코너지 작용을 통해 $G_n$의 보렐 부분군을 분류하는 것. 이는 다양체 $\mathcal{C}_n$의 기하학적 성질을 활용한다.

제안 방법

• 군 $G$는 와일 대수 $A_1(\mathbb{C})$의 자동사상군으로 식별되며, $G_n$은 $G$-작용 하에서 $\mathcal{C}_n$ 내의 점의 안정자군으로서 실현된다.
• 이중추이성은 $\mathcal{C}_n$ 내 서로 다른 두 점의 순서쌍으로 이루어진 구성공간 $\mathcal{C}_n^{[2]}$ 위에서의 $G$-작용을 분석함으로써 증명되며, $G$가 이 공간에 추이적으로 작용함을 보인다.
• 서로 다른 $n_i$에 대해 $\mathcal{C}_{n_1} \times \cdots \times \mathcal{C}_{n_m}$ 위에서의 대각선 추이성은 $G$-작용의 구조와 다양체의 기하학적 성질을 이용하여 확립된다.
• 보렐 부분군은 표준 부분군 $T \ltimes \{ \Psi_{q(y)} \}$ 또는 $T \ltimes \{ \Phi_{q(x)} \}$의 코너지 작용을 통해 구성되며, 여기서 $T$는 대각선 자동사상의 토러스이다.
• 분류에는 $T$-고정점이 $\mathcal{C}_n$에 존재하는 정수 분할 $\mu$와의 대응관계가 기초가 되며, 각 분할은 서로 다른 보렐 부분군을 유도한다.
• 보렐 부분군의 명시적 공식은 $\Psi_{-y^k}$ 및 $\Phi_{x^k}$에 의한 코너지 작용을 통해 유도되며, 관련 웨이어슈트라스 다항식 $W_\mu$의 단항식 집합 $R_\mu$를 유지하는 부분세미군 $S_\mu$의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 군 $G$의 캘로저로-모저 다양체 $\mathcal{C}_n$ 위의 작용은 $n \geq 1$일 때 이중추이적인가?
• RQ2 서로 다른 $n_i$에 대해 $G$의 대각선 작용이 $\mathcal{C}_{n_1} \times \cdots \times \mathcal{C}_{n_m}$ 위에서 여전히 추이적인가?
• RQ3 $\mathcal{C}_n$의 점들의 안정자군 $G_n$은 $G$의 극대 부분군인가?
• RQ4 모든 $G_n$의 보렐 부분군은 $(x + \lambda y^{s-1}, y)$ 및 $(x, y + \lambda x^{s-1})$ 형태의 변환으로 생성되는 표준 부분군의 코너지로 명시적으로 기술할 수 있는가?
• RQ5 정수 분할 $\mu$에 관련된 단항식 집합 $R_\mu$를 유지하는 부분세미군 $S_\mu \subset \mathbb{N}$의 정확한 구조는 무엇인가?

주요 결과

• 모든 $n \geq 1$에 대해 $G$의 $\mathcal{C}_n$ 위의 작용은 이중추이적이다. 즉, $\mathcal{C}_n$ 내 서로 다른 두 점의 순서쌍으로 이루어진 공간에 대해 $G$가 추이적으로 작용하며, 정확히 두 개의 궤도가 존재한다: 대각선과 그 여부.
• 서로 다른 $n_1, \ldots, n_m$에 대해 $G$의 $\mathcal{C}_{n_1} \times \cdots \times \mathcal{C}_{n_m}$ 위의 대각선 작용은 추이적이다. 이는 서로 다른 $\mathcal{C}_n$들 사이에 강력한 전역 대칭성이 존재함을 시사한다.
• $\mathcal{C}_n$의 임의의 점에 대한 안정자군 $G_n$은 $G$의 극대 부분군이다. 이는 작용의 이중추이성의 결과이다.
• 각 $n$의 분할 $\mu$에 대해, $G_n$의 보렐 부분군 $B(\mu)$는 $T \ltimes G_{\mu,y}$와 동형이며, 여기서 $G_{\mu,y}$는 $s \in S_\mu$, $c \in \mathbb{C}$인 변환 $\Psi_{c y^{s-1}}$로 생성된다. $S_\mu$는 웨이어슈트라스 다항식 $W_\mu$의 단항식 집합 $R_\mu$를 유지하는 세미군이다.
• $n=1$일 때 보렐 부분군은 $B_{(1)} = T \ltimes \{ \Psi_{c y^k} \mid c \in \mathbb{C}, k \geq 1 \}$이며, 표준 보렐의 전부 유니포텐트 루트와 대응된다.
• $n=2$일 때 두 개의 보렐 부분군이 존재한다: $B_{(2)} = T \ltimes \{ \Psi_{c y^k} \mid k \geq 2 \}$ 및 $B_{(1,1)} = T \ltimes \{ \Phi_{c x^k} \mid k \geq 2 \}$로, 이는 $\mathcal{C}_2$ 내의 두 개의 $T$-고정점에서 유래한 서로 다른 루트 체계를 반영한다.