[논문 리뷰] An analogue of the Conjecture of Dixmier is true for the algebra of polynomial integro-differential operators

V. V. Bavula|arXiv (Cornell University)|2010. 11. 12.

Advanced Differential Equations and Dynamical Systems참고 문헌 20인용 수 3

한 줄 요약

이 논문은 특성 0인 체 위의 다항식 적분미분 연산자 대수 $\pi_1$의 모든 대수 내면사상이 자명사상임을 증명하며, 이는 단순하지도, 노에터이지도 않은 이 대수에 대해 딕스미에르의 추측에 해당하는 해를 제시한다. 증명은 내면사상의 구조적 분석을 아홉 단계로 나누어 진행되며, 고유값 분석, 모듈러 이sov미터리즘, 그리고 $F$가 $\pi_1$의 유일한 진부분 아이디얼일 때 $1+F^*$ 내에서 단위원에 의한 내부 자명사상 실현을 활용한다. 주요 결과는 이 대수의 표준적인 유한성 성질이 없음에도 불구하고 추측의 타당성이 이 확장된 설정에서 확인됨을 확인한다.

ABSTRACT

Let $A_1:=K\langle x, \frac{d}{dx} angle$ be the Weyl algebra and $\mI_1:= K\langle x, \frac{d}{dx}, \int angle$ be the algebra of polynomial integro-differential operators over a field $K$ of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra $A_1$ an automorphism?} The aim of the paper is to prove that {\em each algebra endomorphism of the algebra $\mI_1$ is an automorphism}. Notice that in contrast to the Weyl algebra $A_1$ the algebra $\mI_1$ is a non-simple, non-Noetherian algebra which is not a domain. Moreover, it contains infinite direct sums of nonzero left and right ideals.

연구 동기 및 목표

• 특성 0인 체 위의 다항식 적분미분 연산자 대수 $\mathbb{I}_1$에 대해 1968년 딕스미에르의 추측—즉, 와일 대수의 모든 대수 내면사상이 자명사상인지 여부—의 해를 제시한다.
• 와일 대수 $A_1$와는 달리 $\mathbb{I}_1$의 단순성 결여, 비노에터 성질, 영인자 성질을 갖는다는 점에서 발생하는 도전 과제를 다룬다.
• 유사한 대수들(예: $B_1$)에서는 자명사상이 아닌 내면사상이 존재할 수 있음에도 불구하고, 전체 대수 $\mathbb{I}_1$가 자명사상 성질을 만족함을 보여준다.
• 각 $\mathbb{I}_1$의 내면사상이 $F$가 $\mathbb{I}_1$의 유일한 진부분 아이디얼일 때 $(1+F)^*$ 내의 단위원에 의한 코너지에 의한 내부 자명사상으로 나타남을 보인다.
• 적분 연산자를 포함한 대수로의 딕스미에르 유형 문제의 개념적 프레임워크를 확장함으로써 추측의 적용 범위를 넓힌다.

제안 방법

• 생성자 $H = \partial x$, $\partial = \frac{d}{dx}$, $\int$ 에 대한 내면사상 $\sigma$ 의 작용을 분석하여 문제를 $H' = \sigma(H)$, $\partial' = \sigma(\partial)$, $\int' = \sigma(\int)$ 의 추적으로 환원한다.
• $\mathbb{I}_1$의 유일한 진부분 아이디얼 $F$ 를 이용해 몫 사상 $\pi: \mathbb{I}_1 \to B_1 \simeq K[H][\partial, \partial^{-1}; \tau]$ 를 유도하며, 여기서 $\tau(H) = H+1$ 이고, $B_1$ 상의 유도된 사상 $\overline{\sigma}$ 를 분석한다.
• $H'$ 가 $K[x]$ 상에서 작용할 때 고유값 및 고유공간 분석을 적용하여, $H' \cdot$ 에서의 고유값의 중복도가 왜곡된 모듈러 ${}^\sigma K[x]$ 의 랭크와 일치해야 한다는 점을 보이고, 정규화 단계에서 $n=1$ 이 됨을 도출한다.
• $H - i$ 의 핵의 차원을 비교함으로써 $\mathbb{I}_1$-모듈러 이sov미터리즘 ${}^\sigma K[x] \simeq K[x]$ 를 수립한다.
• $\partial^\prime$-불변 부분공간의 차원을 비교하고, 모든 $i \in \mathbb{N}$ 에 대해 $\dim_K(\partial^\prime K[\partial^\prime] \ast \ker(H' - (i+1))) = i$ 인 항등식을 이용하여 $\mu = 0$ 을 증명한다.
• $x^{[i]} \mapsto x^{\prime[i]}$ 를 통해 $K[x]$ 와 ${}^\sigma K[x]$ 사이의 $\mathbb{I}_1$-모듈러 이sov미터리즘 $u$ 를 구성하고, $\sigma = \omega_u$ 인 내부 자명사상임을 보이며, 여기서 $u \in (1+F)^*$ 이다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 다항식 적분미분 연산자 대수 $\mathbb{I}_1$ 의 모든 대수 내면사상이 자명사상으로 확장되는가?
• RQ2 $\mathbb{I}_1$ 내의 비자명한 아이디얼 $F$ 와 $\partial$ 의 비정규성은 와일 대수 $A_1$ 과 비교할 때 내면사상의 구조에 어떤 영향을 미치는가?
• RQ3 $H' \cdot$ 가 $K[x]$ 상에서 작용할 때 고유값 구조를 이용해 $\sigma(H)$, $\sigma(\partial)$, $\sigma(\int)$ 의 가능한 형태를 제약할 수 있는가?
• RQ4 비단순성과 비노에터 성질을 지닌 이 대수임에도 불구하고, $\mathbb{I}_1$ 의 내면사상이 비내부적일 수 있는가?
• RQ5 $\mathbb{T}^1$ 이라는 대수적 토러스 작용은 내면사상의 정규화에 어떤 역할을 하는가? 그리고 이는 증명의 구조를 어떻게 단순화하는가?

주요 결과

• 모든 $\mathbb{I}_1$ 의 대수 내면사상은 자명사상이며, 이는 이 대수에 대해 딕스미에르의 추측의 해를 확인한다.
• 토러스 작용을 통한 정규화 이후, $\sigma(H) = H + \mu + h$, $\sigma(\partial) = \partial + g$, $\sigma(\int) = \int + f$ 를 만족하는 $h, f, g \in F$ 가 존재한다.
• $\partial^\prime$-불변 부분공간의 차원 제약과 고유값 중복도 조건으로 인해 파rameter $\mu$ 는 반드시 0이 되어야 한다, 즉 $\mu = 0$ 이다.
• $\sigma$ 는 $F$ 가 $\mathbb{I}_1$ 의 유일한 진부분 아이디얼일 때 $(1+F)^*$ 내의 단위원 $u$ 에 의한 코너지에 의한 내부 자명사상 $\omega_u$ 로 실현된다.
• 왜곡된 $\mathbb{I}_1$-모듈러 ${}^\sigma K[x]$ 는 모듈러로서 $K[x]$ 와 이sov미터리하며, 이는 초기 스케일링 단계에서 $n=1$ 이 되도록 강제한다.
• 증명은 $H^\prime \cdot$ 가 $K[x]$ 상에서 작용할 때 고유값 $\{\frac{1}{n}(i+1) + \mu\}$ 를 가지며, 고유공간의 중복도가 모듈러의 랭크와 일치할 수 있는 경우는 $n=1$ 일 때뿐임을 보여, 이는 $n=1$ 이 되도록 한다.