[논문 리뷰] Jet spaces in complex analytic geometry: an exposition

Rahim Moosa|ArXiv.org|2004. 05. 28.

Advanced Topology and Set Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 그로텐디크와 칸토어의 기초적인 작업에 기반하여 복소해석기하학에서 제트 공간과 무한소 이웃에 대한 종합적인 기초를 제공한다. 주요 부분들은 주로 캄파나–후지키 정리의 기초가 되는 주요 부분의 층, 제트, 미분 연산자들에 기반하며, 미분 연산자의 그라스만يان으로의 유리형 사상이 이중성과 그라스만ian 매개변수화를 통해 이중형 사상으로 이어지고, 이는 특정 분석적 사상들이 모이셰존임을 증명함으로써 이 정리의 다른 증명을 제공한다.

ABSTRACT

These notes are an exposition and synthesis of various "jet space" constructions in complex analytic geometry. They are written primarily for model-theorists interested in the results of Campana and Fujiki (whose model-theoretic significance has been observed by Pillay).

연구 동기 및 목표

• 복소해석기하학에서 캄파나–후지키 정리의 모델이론적 의미를 명확히 하기 위해.
• 무한소 이웃, 주요 부분의 층, 미분 연산자 등을 포함한 제트 공간 구성의 상세한 설명을 제공하기 위해.
• 이러한 구성이 캄파나–후지키 정리의 증명에서 어떻게 사용되는지, 특히 이중성과 그라스만ian 매개변수화를 통해 설명하기 위해.
• 역상 층과 텐서곱을 이용한 기하적 프레임워크를 수립하여 분석적 부분공간과 그 제트이론적 대응체를 연결하기 위해.
• 미분 연산자의 그라스만ian으로의 유리형 사상이 이중형 사상으로 이어지고, 이는 특정 분석적 공간의 모이셰존성을 증명하기 위해.

제안 방법

• 직접 및 역상 함자, 그리고 모듈러 끌고오기의 $Ø$-구성 $f^*\mathcal{G} = f^{-1}\mathcal{G} \otimes_{f^{-1}\mathcal{O}_Y} \mathcal{O}_X$ 를 포함한 층이론적 도구를 사용한다.
• 닫힌 매장 $i: Y \to X$ 에 대해, $\mathcal{I}$ 가 $Y$ 의 이상층이라면 $n$번째 무한소 이웃 $Y_i^{(n)} = (Y, i^{-1}\mathcal{O}_X / \mathcal{I}^{n+1})$ 를 구성한다.
• 제트의 층 $\mathcal{P}_X^{(n)}$ 과 미분 연산자 층 $\mathit{Diff}_X^{(n)}$ 사이의 이중성, 즉 $\mathit{Diff}_X^{(n)} \cong \mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$ 를 적용한다.
• 부드러운 점에서 $\mathit{Diff}_{X,a}^{(n)} \otimes_{\mathcal{O}_{X,a}} \mathbb{C}$ 의 코드림이 $r_n$ 인 부분공간을 매개변수화하는 상대적 매개변수 공간으로서의 그라스만ian $\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)}) \to X$ 를 이용한다.
• 각 점 $c \in Z$ 에 대해, $a = \rho(c)$ 에서의 섬세한 부분공간 $Z_{\rho(c)}$ 의 제트 공간의 이중을 할당하여, 유리형 사상 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 을 구성한다.
• 제트 공간이 순서 $n$ 까지의 분석적 집합을 결정하고 $\omega$-콤���티를 이용하여 $\mu_n$ 이 큰 $n$ 에 대해 이중형이 됨을 보이고, 이는 모이셰존성의 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 복소해석기하학에서 제트 공간과 무한소 이웃은 캄파나–후지키 정리의 모델이론적 해석과 어떻게 관련되어 있는가?
• RQ2 주요 부분의 층 $\mathcal{P}_X^{(n)}$ 과 그 이중 $\mathit{Diff}_X^{(n)}$ 이 분석적 부분공간을 매개변수화하는 데 어떤 역할을 하는가?
• RQ3 더블리 스페이스 대신 미분 연산자의 그라스만ian을 사용하여 캄파나–후지키 정리를 재증명할 수 있는가?
• RQ4 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 가 그 이미지와 이중형이 되는 조건은 무엇인가?
• RQ5 제트 공간과 미분 연산자 사이의 이중성은 어떻게 제트 데이터로부터 분석적 집합을 재구성할 수 있는가?

주요 결과

• $Y \subset X$ 가 이상층 $\mathcal{J}$ 로 정의되어 있을 때, $n$번째 무한소 이웃 $Y_i^{(n)}$ 는 $(Y, \mathcal{O}_X / \mathcal{J}^{n+1})$ 와 동형이다.
• 미분 연산자 층 $\mathit{Diff}_X^{(n)}$ 는 $\mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$ 와 자연스럽게 동형이며, 제트와 미분 연산자 사이의 이중성을 제공한다.
• 부드러운 점 $a \in X$ 에서, $\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 의 $a$ 에서의 섬세한 부분공간은 $[\mathcal{O}_{X,a}/\mathcal{M}_{X,a}^{n+1}]^*$, 즉 $a$ 에서의 제트 공간의 이중에 대한 $r_n$-평면의 그라스만ian과 일치한다.
• 유리형 사상 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ 는 각 $c \in Z$ 에 대해 $\rho(c)$ 에서의 섬세한 부분공간 $Z_{\rho(c)}$ 의 제트 공간의 이중을 할당하여 구성된다.
• 충분히 큰 $n$ 에 대해, 사상 $\mu_n$ 은 그 이미지와 이중형이 되며, 이는 $\pi: Z \to X$ 가 모이셰존임을 의미한다. 그라스만ian은 플루커 매핑을 통해 사영적임을 고려할 때 그렇다.
• 이 구성은 더블리 스페이스 대신 사영적 그라스만ian을 사용하여 캄파나–후지키 정리의 다른 증명을 제공한다. 이는 이중성과 그라스만ian 매개변수화를 활용한다.