[논문 리뷰] Lie algebras of vector fields on smooth affine varieties

Yuly Billig, Vyacheslav Futorny|arXiv (Cornell University)|2017. 05. 16.

Nonlinear Waves and Solitons참고 문헌 13인용 수 3

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 기약 아핀 다양체 $X$ 위의 다항형 벡터장의 리 대수는 $X$ 가 매끄럽을 때이고 그때에만 단순하다는 것을 자그리한 증명을 제시한다. 증명은 국소-글로벌 원리에 기반한다: 먼저 모든 영이 아닌 이상이 국소적으로 풍부하다(각 비특이점에서 접선공간을 생성한다)는 것을 보이고, 힐베르트의 닐젠츠 정리를 적용하여 이를 전역적으로 확장하여 이상이 전체 대수여야 한다는 것을 보임으로써 단순성을 증명한다. 이 작업은 조르당과 지버트의 고전적 결과를 일반화하지만 이전 문헌에 의존하지 않는다.

ABSTRACT

We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not depend on papers mentioned above. Besides, the structure of the module of polynomial functions on an irreducible smooth affine variety over the Lie algebra of vector fields is studied. Examples of Lie algebras of polynomial vector fields on an N-dimensional sphere, non-singular hyperelliptic curves and linear algebraic groups are considered.

연구 동기 및 목표

• 기약 아핀 다양체 위의 다항형 벡터장의 리 대수의 단순성 기준을 재증명하고 일반화하는 것.
• 다양체의 매끄러움과 관련된 벡터장 리 대수의 단순성 간의 동치 조건을 자그리한 증명으로 확립하는 것.
• 매끄러운 아핀 다양체 위의 벡터장 리 대수 위에서의 다항함수의 모듈러 구조를 연구하는 것.
• 구체적인 예로서 구면, 비특이 하이퍼에일리틱 곡선, 선형 대수적 군 위에서의 이러한 리 대수를 제시하는 것.

제안 방법

• 증명은 국소-글로벌 원리를 사용한다: 먼저 다항형 벡터장 리 대수의 이상의 국소적 행동을 비특이점에서 분석한다.
• 모든 영이 아닌 이상이 국소적으로 풍부하다는 것을 보인다. 즉, 각 비특이점에서 이상에 속한 벡터장들이 전체 접선공간을 생성한다는 뜻이다.
• 방향 도함수와 모듈러 구조를 이용하여 이상의 $A$-부분모듈러를 구성하며, 다항함수 대수에 의한 왼쪽 작용에 대해 닫혀 있다.
• 국소 정보를 전역적 결론으로 끌어올리기 위해 힐베르트의 닐젠츠 정리를 적용하여, 영이 아닌 이상은 반드시 전체 리 대수여야 한다는 것을 증명한다.
• 왼쪽 및 오른쪽 불변 벡터장을 사용하여 다항함수 대수 위의 자유모듈과 벡터장 리 대수 사이의 동형사상을 구성한다.
• 선형 대수적 군에 대해서는 $\mathcal{D}_G \cong A \otimes \mathcal{L}^L \cong A \otimes \mathcal{L}^R$ 를 증명하여, 리 대수가 좌표환 위의 자유모듈임을 보인다.

실험 결과

연구 질문

• RQ1 기약 아핀 다양체 위의 다항형 벡터장 리 대수가 단순해지는 조건은 무엇인가?
• RQ2 벡터장 리 대수의 이상의 국소적 구조는 기저가 되는 다양체의 기하학과 어떻게 관련이 있는가?
• RQ3 매끄러운 아핀 다양체 위의 다항함수 대수의 리 대수 위에서의 모듈러 구조는 무엇인가?
• RQ4 선형 대수적 군 위의 벡터장 리 대수는 좌표환 위의 자유모듈로 어떻게 기술할 수 있는가?
• RQ5 특정 다양체, 예를 들어 $N$차원의 구와 비특이 하이퍼에일리틱 곡선 위의 다항형 벡터장 리 대수의 구조적 성질은 무엇인가?

주요 결과

• 기약 아핀 다양체 $X$ 위의 다항형 벡터장 리 대수는 $X$ 가 매끄럽을 때이고 그때에만 단순하다.
• 벡터장 리 대수의 모든 영이 아닌 이상은 국소적으로 풍부하다. 즉, $X$ 의 각 비특이점에서 이상에 속한 벡터장들이 전체 접선공간을 생성한다.
• 이 증명은 이전의 조르당 또는 지버트의 결과에 의존하지 않으며, 그들의 정리에 대해 새로운 독립적인 유도를 제공한다.
• 선형 대수적 군 $G$ 에 대해, 다항형 벡터장의 리 대수 $\mathcal{D}_G$ 는 $A \otimes \mathcal{L}^L$ 과 $A \otimes \mathcal{L}^R$ 와 동형이며, 여기서 $A$ 는 좌표환이고 $\mathcal{L}^L$, $\mathcal{L}^R$ 은 왼쪽 및 오른쪽 불변 벡터장의 공간이다.
• $\mathcal{D}_G$ 가 $A$-자유모듈임을 방향 도함수와 코작용 사상으로 구성된 명시적 역함수를 통해 확립한다.
• 논문은 $N$차원의 구, 비특이 하이퍼에일리틱 곡선, 선형 대수적 군 위에서의 벡터장 리 대수에 대한 명시적 구성법을 제시하여 일반 이론을 실증한다.