[논문 리뷰] Problems on geometric structures of projective embeddings

Takeshi Usa|ArXiv.org|2000. 01. 03.

Geometric and Algebraic Topology참고 문헌 17인용 수 4

한 줄 요약

이 논문은 군 이론의 Jordan-Hölder 시리즈에 대응하는 대수기하학적 해석으로 '기하적 껍질(geometric shells)'의 개념을 사용하여 사영 임bedding에 대한 기하적 조합 시리즈를 제안한다. 무한소 상승에서의 고차 오염을 다루기 위한 새로운 도구를 도입함으로써, 제2 기본형과 Lefschetz 유사 연산자를 통한 미분기하학적 기준을 간단화하여 산술 정규성에 대한 증명을 제시한다.

ABSTRACT

This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition series of projective embeddings. The concept of "geometric composition series" is an analogy in Algebraic Geometry with Jordan-Hölder series in Group Theory. We present two of the candidates for the construction problem. To approach this problem, we show several results and new tools for handling higher obstructions appearing in infinitesimal liftings. As a byproduct of the tools, we obtain a simplified proof for a criterion on arithmetic normality described in terms of Differential Geometry. (Keywords): Petri's analysis, Second fundamental form, Syzygy, Arithmetic normality, Infinitesimal lifting, Geometric shell, Geometric composition series, Lefschetz chain, Dual Lefschetz chain, Meta-Lefschetz operator.

연구 동기 및 목표

• 사영 임bedding에 대한 기하적 조합 시리즈를 개발하여 군 이론의 Jordan-Hölder 시리즈에 대응시킨다.
• 임베딩을 특징짓는 특수한 기하적 성질을 갖는 중간 배경 다양체를 규명한다.
• 특히 매끄럽거나 코homological 제약 조건이 있을 경우 이러한 중간 다양체가 존재할 조건을 명확히 한다.
• 제2 기본형과 산술 정규성에 의한 대수기하학과 미분기하학 간의 연결 고리를 설정한다.
• 새로운 무한소 도구와 오염 이론을 통해 기존의 산술 정규성 기준을 더 단순화한다.

제안 방법

• 심지어 심지어 syzygy 모듈 간의 사상이 단사인 중간 배경 다양체 후보로 '기하적 껍질'의 개념을 도입한다.
• 코homological 구조와 상승 오염을 분석하기 위해 Lefschetz 및 메타-Lefschetz 연산자를 적용한다.
• 제2 기본형과 Hermitian 접속을 사용하여 미분기하학과 무한소 변형 이론을 연결한다.
• Liftable First-order Theory(이하 LFT) 오염 클래스 $ \overline{\delta}^{(0)}_{LFT} $ 를 사용하여 상승 실패를 탐지한다.
• 좌표환 $ R_X $ 의 syzygy 를 연구하기 위해 계량화된 최소 자유 해체와 Tor 함자를 사용한다.
• 가정 $ q(X) = 0 $ 하에서 히지 이론과 소멸 정리(예: $ H^1(N^ullet_X) = 0 $)를 적용한다.

실험 결과

연구 질문

• RQ1 제어된 syzygetic 및 코homological 성질을 갖는 중간 배경 다양체를 사용하여 사영 임bedding에 대한 기하적 조합 시리즈를 구성할 수 있는가?
• RQ2 사영 임bedding의 길이를 따라 매끄러운 중간 배경 다양체가 존재할 조건은 무엇인가?
• RQ3 제2 기본형은 사영 부분다양체의 산술 정규성과 어떻게 관련되는가?
• RQ4 무한소 상승에서의 고차 오염 클래스는 기하학적 및 미분기하학적 도구를 통해 어느 정도 제어할 수 있는가?
• RQ5 새로운 오염 이론적 방법을 사용하여 산술 정규성 기준을 더 단순하게 재증명할 수 있는가?

주요 결과

• 제3장에서 제안한 새로운 무한소 도구를 사용하여 산술 정규성 기준에 대한 간단한 증명을 확보하였다.
• 가정 $ q(X) = 0 $ 이고 $ n \geq 2 $ 일 때, 모든 일반적인 $ D \in |O_X(m)| $ 에 대해 $ r_D(\sigma_{II}(X)) \in H^1(N_{D/X} \otimes N^ullet_X|_D) $ 의 소멸은 산술 정규성과 동치임을 보였다.
• 섹션 $ \tau_D $ 가 첫 번째 무한소 이웃으로 상승할 때이고 뿐만 아니라 $ \overline{\delta}^{(0)}_{LFT}(\tau_D) \in H^1(X, N^ullet_X(m)) $ 의 오염 클래스가 소멸할 때에만 성립한다.
• 기하적 조합 시리즈의 존재는 모든 수준에서 Tor 사상의 단사성을 만족하는 기하적 껍질의 사슬 존재와 연결된다.
• 가중치가 부여된 투영과 메타-Lefschetz 연산자 프레임워크의 사용은 고차 오염에 대한 구조적 접근법을 제공한다.
• 제2 기본형 $ \sigma_{II}(X) = [B] $ 는 $ \overline{\partial} $-닫혀 있으며, 무한소 환의 확장을 정의하는 클래스를 정의하며 기하학과 코homology 간의 연결 고리를 형성한다.