[논문 리뷰] Rees algebras on smooth schemes: integral closure and higher differential operators

Orlando E. Villamayor|arXiv (Cornell University)|2006. 06. 30.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 12

한 줄 요약

이 논문은 완전체 위의 매끄러운 스킴에서 Rees 대수의 맥락에서 적분 폐쇄와 고차 미분 연산자 간의 깊은 호환성을 확립한다. 두 Rees 대수가 동일한 적분 폐쇄를 가진다면, 그들의 관련 Diff-대수—모든 미분 연산자와 호환되도록 구성된 것—역시 동일한 적분 폐쇄를 가지며, 이는 특이점 이론과 미분대수적 구조 사이의 근본적인 연결고리를 드러낸다.

ABSTRACT

Let $V$ be a smooth scheme over a field $k$, and let $\{I_n, n\geq 0\}$ be a filtration of sheaves of ideals in $\calo_V$, such that $I_0=\calo_V$, and $I_s\cdot I_t\subset I_{s+t}$. In such case $\bigoplus I_n$ is called a Rees algebra. A Rees algebra is said to be a Diff-algebra if, for any two integers $N>n$ and any differential operator $D$ of order $n$, $D(I_N)\subset I_{N-n}$. Any Rees algebra extends to a smallest Diff-algebra. There are two ways to define extensions of Rees algebras, and both are of interest in singularity theory. One is that defined by taking integral closures (in which a Rees algebra is included in its integral closure), and another extension is that defined, as above, in which the algebra is extended to a Diff-algebra. Surprisingly enough, both forms of extension are compatible in a natural way. Namely, there is a compatibility of higher differential operators with integral closure which we explore here under the assumption that $V$ is smooth over a perfect field.

연구 동기 및 목표

• Rees 대수의 적분 폐쇄와 그들의 고차 미분 연산자와 호환되는 Diff-대수로의 확장 간의 상호작용을 조사하는 것.
• 완전체 위의 매끄러운 스킴의 맥락에서, 최소 Diff-대수 확장의 구성이 적분 폐쇄와 가환함을 증명하는 것.
• 양의 특성에서 Rees 대수로의 해소 정리와 로그-주원소화 결과를 확장하기 위한 기초를 마련하는 것.
• 매끄러운 부분스킴으로의 Diff-대수 제약이 리트랙션의 선택에 따라 달라지지 않으며, 적분 폐쇄에 대해 잘 정의됨을 보이는 것.
• 미분 연산자와 적분 폐쇄로부터 구축된 대수적 구조를 이용해, 양의 특성에서의 제거 이론과 특이점의 해소를 지원하는 것.

제안 방법

• 논문은 매끄러운 스킴 위의 다항식환의 계수를 가진 등급 부분대수로서 Rees 대수를 정의하며, 곱셈 필터링 성질을 만족하는 이상들에 의해 생성된다.
• 모든 순서의 미분 연산자의 작용을 고려하여 닫혀 있는 Rees 대수를 Diff-대수로 정의하며, $ D(I_N) \to I_{N-n} $ 이 되도록 보장한다.
• 모든 미분 연산자와의 호환성 조건을 요구함으로써, 주어진 Rees 대수 $ \rho $ 에 대한 최소 Diff-대수 확장 $ G(\rho) $ 를 구성한다.
• 낮은 차원의 스킴로 문제를 축소하기 위해, 매끄러운 리트랙션을 통한 제약 함수를 사용한다.
• 매끄러운 곡선으로의 제약을 통해 정의된 Rees 대수의 계수 이론을 사용하여, 원래 대수의 적분 폐쇄와 그 Diff-대수 확장의 적분 폐쇄를 연결한다.
• 일차원 경우로의 축소를 통해 핵심 결과를 증명하며, 유한 확장과 기저 변경 하에서 적분 폐쇄와 Diff-대수 확장이 가환함을 이용한다.

실험 결과

연구 질문

• RQ1 Rees 대수의 적분 폐쇄가 고차 미분 연산자와 호환되는 Diff-대수로의 확장과 가환하는가?
• RQ2 Diff-대수를 매끄러운 부분스킴으로 제약할 때 리트랙션의 선택에 따라 달라지며, 이 제약이 적분 폐쇄에 대해 잘 정의되는가?
• RQ3 최소 Diff-대수 확장의 구성이 Rees 대수의 유한 확장 하에서 적분 폐쇄와 같은 불변성을 유지하는가?
• RQ4 매끄러운 부분다양체로 제약할 때, Diff-대수의 구조가 국소 리트랙션의 선택에 대해 어느 정도 독립적인가?
• RQ5 적분 폐쇄와 미분 연산자 간의 호환성이, 양의 특성에서 Rees 대수로의 해소 정리 확장을 위해 어떻게 활용될 수 있는가?

주요 결과

• 주요 정리 6.12는 두 Rees 대수가 동일한 적분 폐쇄를 가진다면, 그들의 관련 Diff-대수 확장 $ G(\rho_1) $ 와 $ G(\rho_2) $ 도 동일한 적분 폐쇄를 가짐을 증명한다.
• 정리 6.13은 Rees 대수의 유한 확장의 계수 대수 $ \mathrm{Coeff} $ 가 매끄러운 부분스킴으로 제약될 때 유한성을 유지하며, 유한 확장 성질을 보존함을 보여준다.
• 정리 6.14는 매끄러운 부분스킴으로 제약된 Diff-대수의 구조가 국소 리트랙션의 선택에 관계없이 적분 폐쇄에 대해 독립적임을 증명한다.
• 논문은 주어진 조건 하에서 Rees 대수의 계수 대수 $ \mathrm{Coeff} $ 의 적분 폐쇄가 그에 의해 생성된 Diff-대수의 적분 폐쇄와 일치함을 보였다.
• Diff-대수의 매끄러운 일차원 스킴로의 제약은 정확히 원래 Rees 대수의 계수 대수로 생성된 Diff-대수임을 레미마 6.6 에서 보였다.
• 기저 변경과 유한 확장 하에서, 적분 폐쇄와 Diff-대수 확장 간의 호환성이 유지되며, 이는 일차원 경우로의 축소를 통해 입증되었다.