[논문 리뷰] Jet schemes, arc spaces and the Nash problem

Shihoko Ishii|arXiv (Cornell University)|2007. 04. 25.

Algebraic Geometry and Number Theory참고 문헌 36인용 수 28

한 줄 요약

이 논문은 대수기하학에서 제트 스킴과 아크 공간에 대한 기초적인 소개를 제공하며, 특이점 연구에서의 역할에 중점을 둔다. 필수적 분할에서 아크 공간의 기약 성분으로 가는 네쉬 사상이 전단사인지 여부를 묻는 네쉬 문제를 제기하고, 유리 특이점과 토릭 특이점에 대해 긍정적인 결과를 요약하면서도 고차원에서의 반례를 제시함으로써, 이 문제의 현재 상태와 2차원 및 3차원에서의 열린 질문을 부각시킨다.

ABSTRACT

This paper is an introduction to the jet schemes and the arc space of an algebraic variety. We also introduce the Nash problem on arc families.

연구 동기 및 목표

• 대수다양체의 특이점 분석을 위한 도구로 제트 스킴과 아크 공간을 소개하기.
• 필수적 분할에서 아크 공간의 기약 성분으로 가는 네쉬 사상이 전단사인지 여부를 묻는 네쉬 문제를 제시하기.
• 유리 특이점, 토릭 특이점, 준일반 특이점에 대해 알려진 긍정적인 결과를 요약하기.
• 차원 ≥4에서의 반례를 통해 네쉬 사상이 항상 전단사가 아님을 보여주기.
• 2차원 및 3차원에서의 열린 문제를 논의하고, 레이저링 성질과 웨지들을 통한 네쉬 사상의 상의 특성화를 다루기.

제안 방법

• 체 $k$ 위에서 스킴으로 표현되는 함자로써 제트 스킴 $X_m$ 과 아크 공간 $X_\infty$ 를 정의하며, $\operatorname{Spec} K[t]/(t^{m+1})$ 과 $\operatorname{Spec} K[[t]]$ 에서 $X$ 로의 $k$-준동형을 사용한다.
• 저차항을 유지하는 '자르기'를 수행하는 단순화 사상 $\psi_{m',m}: X_{m'} \to X_m$ 를 정의한다.
• 제트 스킴의 보편 성질을 이용해 기저 스킴의 준동형에 의해 유도되는 스킴 간의 준동형을 정의한다.
• 특수한 $K$-웨지 $\gamma: \operatorname{Spec} K[[\lambda,t]] \to X$ 를 도입하며, 이는 $X_\infty$ 상의 $K[[\lambda]]$-점에 대응하여 아크의 가중치를 연구할 수 있게 한다.
• 완전한 모티프적 통합 이론는 개발하지 않지만, 기하학적 및 함자론적 구성 방식을 통해 모티프적 통합 개념을 암묵적으로 적용한다.
• 레구에라의 정리(정리 4.24)에 따라 웨지의 올림 조건을 통해 네쉬 사상의 상을 특성화한다.

실험 결과

연구 질문

• RQ1 모든 대수다양체에 대해, 필수적 분할에서 아크 공간의 기약 성분으로 가는 네쉬 사상이 전단사인가?
• RQ2 네쉬 사상의 상은 무엇이며, 어떤 조건에서 필수적 분할의 집합과 일치하는가?
• RQ3 토릭, 유리, 또는 준일반 특이점과 같은 어떤 특이점의 클래스에서 네쉬 문제는 참인가?
• RQ4 네쉬 사상이 전단사일 조건을 특성화하는 내재적인 기하학적 또는 코homological 조건이 있는가?
• RQ5 레구에라의 정리가 제안한 바와 같이, 웨지의 올림 성질을 통해 네쉬 사상의 상을 특성화할 수 있는가?

주요 결과

• 최소 표면 특이점, 즉 기본 사이클이 감소한 유리 특이점에 대해 네쉬 문제가 긍정적으로 해결된다.
• 샌드위치 표면 특이점에 대해서도 네쉬 문제가 성립한다. 이는 매끄러운 표면에서 완전한 이상을 블로우업하여 유도되는 특이점이다.
• 예외적 분할 $E$ 가 모든 성분 $E_i$ 에 대해 $E \cdot E_i < 0$ 를 만족하는 정상 표면 특이점에 대해서도 네쉬 문제가 성립하며, 이 결과는 더 넓은 범주로 일반화된다.
• 임의의 차원의 토릭 특이점과 비정상 토릭 다양체에 대해서도 네쉬 문제가 참이다.
• 차원 ≥4에서 반례가 존재한다. 예를 들어 $\mathbb{A}^5_{\mathbb{C}}$ 에서 $x_1^3 + x_2^3 + x_3^3 + x_4^3 + x_5^6 = 0$ 으로 정의된 초곡면은 네쉬 성분 수가 1이지만 필수적 분할이 2개이므로 네쉬 사상은 전단사가 아니다.
• 레구에라의 정리(정리 4.24)는 웨지의 올림 조건을 통해 네쉬 사상의 상을 특성화한다: 필수적 분할이 상에 속해 있음과 동치로, 모든 특수한 아크가 그 일반점에서 올림 가능한 웨지가 존재한다.