[논문 리뷰] Automorphisms and Ideals of the Weyl Algebra

Yuri Berest, George Wilson|ArXiv.org|2001. 02. 25.

Advanced Differential Equations and Dynamical Systems참고 문헌 11인용 수 4

한 줄 요약

이 논문은 첫 번째 와일 대수 $A_1$ 내의 자명하지 않은 오른쪽 아이디얼의 동형류 공간과, $[X,Y] - I$의 질량이 1 이하인 $n\times n$ 행렬 쌍의 공간 $\mathcal{C}_n$의 여부한 합집합 사이의 전단사 대응을 수립한다. 이는 $A_1$의 자기동형군 $G$가 교환 대수기하학의 하이르베르트 스킴에서의 작동 방식과 유사한 구조를 통해 이 공간에 작용함을 보이며, $A_1$에서 유한차원 표현이 존재하지 않음에도 불구하고 비가환 아이디얼과 가환 대수기하학 사이의 깊은 유사성을 드러낸다. 주요 기여는 $\mathcal{C}_n$을 자기동형군의 중심 확장에 대한 공대칭 궤도로 식별함으로써, 비가환 대수학과 적분 가능계 및 무한차원 대수적군 사이의 연결 고리를 마련한 것이다.

ABSTRACT

Let $A_1$ be the (first) Weyl algebra, and let $G$ be its automorphism group. We study the natural action of $G$ on the space of isomorphism classes of right ideals of $A_1$ (equivalently, of finitely generated rank 1 torsion-free right $A_1$-modules). We show that this space breaks up into a countable number of orbits each of which is a finite dimensional algebraic variety. Our results are strikingly similar to those for the commutative algebra of polynomials in two variables; however, we do not know of any general principle that would allow us to predict this in advance. As a key step in the proof, we obtain a new description of the bispectral involution of \cite{W1}. We also make some comments on the group $G$ from the viewpoint of Shafaravich's theory of infinite dimensional algebraic groups.

연구 동기 및 목표

• 첫 번째 와일 대수 $A_1$ 내의 오른쪽 아이디얼 동형류의 구조를 이해하는 것. 이 대수는 유한차원 표현을 가지지 않아 고전적 기법으로는 분석이 불가능하다.
• 자동동형군 $G$가 $A_1$의 자명하지 않은 오른쪽 아이디얼의 동형류 공간 $\mathcal{R}$ 위에 작용하는 방식을 기술하는 것.
• 대수적 구조의 기본적인 차이점에도 불구하고, 비가환 설정인 $A_1$과 잘 알려진 가환 설정인 $\mathbb{C}[x,y]$ 사이의 기하학적 및 동역학적 대응을 수립하는 것.
• 특히 자유 결합 대수 $\mathbb{C}\langle x,y\rangle$와의 관련성을 통해, 샤파레비치의 무한차원 대수적군 이론을 활용하여 $G$의 대수적군 구조를 탐색하는 것.
• 아델릭 그라스만이와 KP 계열이 $A_1$의 아이디얼을 매개하는 데서 $\omega = \alpha \beta$의 복합 구조를 통해 그 역할을 명확히 하는 것.

제안 방법

• 저자들은 [W2]에서 구성된 KP 계열의 아델릭 그라스만이 $\mathrm{Gr}^{\mathrm{ad}}$ 에서의 전단사 사상 $\beta: \mathcal{C} \to \mathrm{Gr}^{\mathrm{ad}}$ 를 사용하여 $A_1$의 근사 표현을 매개한다.
• 이를 캐닝스와 홀랜드의 작업에서 유도된 역사상 $\alpha: \mathrm{Gr}^{\mathrm{ad}} \to \mathcal{R}$ 와 결합하여 $\omega = \alpha \beta$ 를 정의함으로써, $\omega: \mathcal{C} \to \mathcal{R}$ 의 전단사 대응을 수립한다.
• 자동동형군 $G$ 는 $\mathcal{R}$ 에 작용하며, 이 작용은 $\omega$ 를 통해 $\mathcal{C}$ 에로 이전되며, 여기서 자동동형 $\Phi_p$ 와 $\Psi_q$ 가 행렬 쌍에 작용하는 방식으로 명시적으로 기술된다.
• $G$ 가 $\mathcal{C}_n$ 에 작용할 때, 이는 해석적 심플렉틱 구조를 유지함을 보이며, 이는 각 $\mathcal{C}_n$ 이 자동동형군의 중심 확장의 공대칭 궤도임을 시사한다.
• 저자들은 샤파레비치의 무한차원 대수적군 이론 프레임워크를 활용하여 $G$ 를 분석하며, 그의 리 대수인 $A_1/\mathbb{C}$ 와 $\mathbb{C}[x,y]$ 의 자동동형군인 $G_0$ 의 리 대수인 $A_0/\mathbb{C}$ 를 비교함으로써 $G_1$ 과 $G_0$ 가 대수적군으로서 동형이 아니라는 것을 밝힌다.
• $G$ 는 자유 대수 $\mathbb{C}\langle x,y\rangle$ 의 단위행렬 자동동형군인 $\mathcal{G}$ 의 몫으로서 표현될 수 있으며, 이 $\mathcal{G}$ 는 $\mathcal{C}_n$ 에 대수적으로 작용함으로써, 작용에 대한 자연스러운 대수적군의 구조를 제공한다.

실험 결과

연구 질문

• RQ1 와일 대수 $A_1$ 내의 오른쪽 아이디얼 동형류 공간은 가환 사례에서 하이르베르트 스킴와 유사한 방식으로 매개될 수 있는가?
• RQ2 자동동형군 $G$ 는 $A_1$ 의 오른쪽 아이디얼 동형류 공간에 어떻게 작용하는가? 이 작용은 명시적으로 기술될 수 있는가?
• RQ3 왜 $A_1$ 이 유한차원 표현을 가지지 않음에도 불구하고, $[X,Y] - I$ 의 질량이 1 이하인 행렬 쌍의 공간 $\mathcal{C}_n$ 이 $G$-작용에 대해 안정된 유한차원 대수적 다양체를 이룬다?
• RQ4 이 $G$-작용 뒤에 숨은 기하학적 또는 대수적군 이론적 구조는 무엇이며, 이는 적분 가능계나 공대칭 궤도와 어떻게 관련이 있는가?
• RQ5 $A_1$ 의 자동동형군은 $\mathcal{C}_n$ 에 대수적으로 작용하는 무한차원 대수적군으로서 실현될 수 있는가? 만약 그렇다면, 어떤 대수적군의 구조를 통해 실현되는가?

주요 결과

• 자명하지 않은 오른쪽 아이디얼의 동형류 공간 $\mathcal{R}$ 는 $\mathcal{C} = \bigsqcup_{n \geq 0} \mathcal{C}_n$ 과 전단사 대응이 있으며, 여기서 $\mathcal{C}_n$ 은 $n\times n$ 행렬 쌍 $(X,Y)$ 의 $G$-궤도로 이루어지며, $[X,Y] - I$ 의 질량이 1 이하이다.
• 자동동형군 $G$ 는 $\mathcal{C}_n$ 에 다음과 같은 공식으로 작용한다: $\sigma \cdot (X,Y) = (\sigma^{-1}(X), \sigma^{-1}(Y))$, 이는 가환 사례에서 가환 행렬에 대한 작용과 유사하다.
• 각 $\mathcal{C}_n$ 은 $G$-작용에 의해 보존되는 자연스러운 해석적 심플렉틱 구조를 지니며, 이는 $\mathcal{C}_n$ 이 자동동형군의 중심 확장의 공대칭 궤도임을 시사한다.
• $A_1$ 의 자동동형군 $G_1$ 의 리 대수는 $A_1 / \mathbb{C}$ 와 동형이며, $\mathbb{C}[x,y]$ 의 자동동형군인 $G_0$ 의 리 대수는 $A_0 / \mathbb{C}$ 와 동형이다. 이는 $G_1$ 과 $G_0$ 가 대수적군으로서 동형이 아니라는 것을 보여준다.
• $G$ 는 자유 대수 $\mathbb{C}\langle x,y\rangle$ 의 단위행렬 자동동형군인 $\mathcal{G}$ 의 몫으로서 표현될 수 있으며, $\mathcal{G}$ 는 $\mathcal{C}_n$ 에 대수적으로 작용함으로써, 이 작용에 대한 자연스러운 대수적군의 구조를 제공한다.
• $\mathcal{C}_n$ 이 중심 확장된 $\mathcal{G}$ 의 공대칭 궤도와 동형임을 추측하였으며, 이후 진지버그에 의해 확인되었다.