[논문 리뷰] The k-secant lemma and the general projection theorem

Laurent Gruson, Christian Peskine|arXiv (Cornell University)|2010. 10. 12.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 1

한 줄 요약

이 논문은 매끄럽고 준가환적인 다양체 X ⊂ ℝ_N 위에서 정렬된 유한 차수 ∑k_i 부분다양체를 매개변수화하는 Hilbert 스킴의 특이점 집합을 조사한다. 기대 차원 2N−2+r−(∑k_i)(N−n)를 분석함으로써, Hilbert 스킴이 기대 차원에서 매끄럽지 않은 점들을 통과하는 직선들이 ℝ_N를 메우지 않는다는 것을 증명함으로써, 특이점 집합에 대한 핵심 기하적 제약 조건을 확립한다.

ABSTRACT

Let X be a smooth, connected, dimension n, quasi-projective variety imbedded in \PP_N. Consider integers {k_1,...,k_r}, with k_i>0, and the Hilbert Scheme H_{k_1,...,k_r}(X) of aligned, finite, degree \sum k_i, subschemes of X, with multiplicities k_i at points x_i (possibly coinciding). The expected dimension of H_{k_1,...,k_r}(X) is 2N-2+r-(\sum k_i)(N-n). We study the locus of points where H_{k_1,...,k_r}(X) is not smooth of expected dimension and we prove that the lines carrying this locus do not fill up \PP_N

연구 동기 및 목표

• H_{k_1,...,k_r}(X)가 주어진 중복도를 가진 정렬된 유한 부분다양체를 매개변수화하는 Hilbert 스킴의 구조를 이해하는 것.
• 이 Hilbert 스킴이 기대 차원에서 매끄럽지 않은 국소를 분석하는 것.
• 그러한 특이점들을 통과하는 직선들이 환경 사영 공간 ℝ_N를 메우는지 여부를 판단하는 것.
• 투영과 차원 이론적 추론을 통해 Hilbert 스킴의 특이점 집합에 대한 기하적 제약 조건을 확립하는 것.

제안 방법

• 논문은 매끄럽고 연결된 n차원 준가환적 다양체 X가 ℝ_N에 매bedded되어 있을 때, 유한 차수 ∑k_i 부분다양체를 매개변수화하는 Hilbert 스킴 H_{k_1,...,k_r}(X)를 고려한다.
• 변형 이론적 기대에 기반하여, H_{k_1,...,k_r}(X)의 기대 차원을 2N−2+r−(∑k_i)(N−n)로 계산한다.
• 이 기대 차원에서 매끄럽지 않은 상태가 되는 특이점 집합을 연구한다.
• 기하학적 및 차원 이론적 추론을 사용하여, 이 특이점 집합에 속한 점들을 통과하는 직선들을 분석한다.
• 이러한 직선들이 ℝ_N를 메우지 않는다는 것을 증명함으로써, 특이점 집합이 ℝ_N의 진부분다양체에 포함되어 있음을 시사한다.
• 이 증명은 X의 기하학, Hilbert 스킴, 그리고 사영 공간 내의 단선의 행동 간의 상호작용에 기반한다.

실험 결과

연구 질문

• RQ1 H_{k_1,...,k_r}(X)의 특이점 집합이 환경 사영 공간 ℝ_N를 따라르는가?
• RQ2 H_{k_1,...,k_r}(X)가 기대 차원에서 매끄럽지 않은 점들을 통과하는 직선들의 합집합의 차원은 얼마인가?
• RQ3 기대 차원 공식 2N−2+r−(∑k_i)(N−n)는 Hilbert 스킴의 기하학에 어떤 제약을 가하는가?
• RQ4 Hilbert 스킴이 사영 공간 ℝ_N를 덮는 단선을 가진 점들에서 매끄럽지 않게 실패할 수 있는가?
• RQ5 특이점 집합이 ℝ_N에서 조밀하지 않은 것을 막는 기하학적 장애물은 무엇인가?

주요 결과

• Hilbert 스킴 H_{k_1,...,k_r}(X)는 기대 차원 2N−2+r−(∑k_i)(N−n)를 갖는다.
• H_{k_1,...,k_r}(X)가 기대 차원에서 매끄럽지 않은 점들의 집합은 ℝ_N에서 조밀하지 않다.
• 이 특이점 집합에 속한 점들을 통과하는 직선들은 환경 사영 공간 ℝ_N를 메우지 않는다.
• 이는 특이점 집합이 ℝ_N의 진부분다양체에 포함되어 있음을 시사하며, 강력한 기하적 제약 조건을 부과한다.
• 특이점 집합이 단선을 통해 ℝ_N를 지배할 수 없음을 보여주는 일반적인 투영 정리가 확립된다.
• k-단선 보조정리가 사용되어 특이점들을 통과하는 단선의 차원을 제어하고, 결과적으로 메워지지 않는 결론에 도달한다.