[논문 리뷰] A Generalization of Fulton-MacPherson Configuration Spaces

Bumsig Kim, Fumitoshi Sato|ArXiv.org|2008. 06. 24.

Advanced Numerical Analysis Techniques참고 문헌 5인용 수 7

한 줄 요약

이 논문은 비특이 다양체 $ X $에서 $ n $개의 서로 다른 레이블이 부여된 점들에 대해, 비특이 부분다양체 $ D $를 제외한 경우의 구성공간에 대한 일반화된 아름다운 컴팩티피케이션을 제안한다. 점들이 $ D $에 접근하는 것을 금지하기 위해 대각선과 부분다양체 $ D_{c,S} $를 반복적으로 블로우업함으로써, 저자들은 $ X_D^{[n]} $와 $ X_D[n] $를 구성하고, 둘 다 비특이이며 경계 divisor들이 교차하는 성질을 갖는다는 것을 증명한다. 이는 $ D = \emptyset $일 때 퓌르트-맥퍼슨 공간을 일반화한다. 이 구성은 안정된 분열의 보편적 가족을 제공하며, 상대적 맵의 모듈리공간에 핵심적인 역할을 한다.

ABSTRACT

Presented is a wonderful compactification of n distinct labeled points in X away from D, where X is a nonsingular variety and D is a nonsingular proper subvariety. When D is empty, it is the Fulton-MacPherson configuration space.

연구 동기 및 목표

• 점들이 $ D $에 접근하는 것을 금지하는 $ X \setminus D $에서 $ n $개의 레이블이 부여된 점들의 컴팩티피케이션 $ X_D^{[n]} $을 구성하는 것.
• 점들이 충돌하거나 $ D $에 접근하는 것을 금지하는 $ X \setminus D $에서 $ n $개의 서로 다른 레이블이 부여된 점들의 컴팩티피케이션 $ X_D[n] $을 구성하는 것.
• 다양체 $ D $를 포함시켜 퓌르트-맥퍼슨 구성공간을 일반화하여 상대적 설정으로 확장하는 것.
• $ X_D^{[n]} $과 $ X_D[n] $이 모두 비특이이며 경계 divisor들이 교차하는 성질을 갖는다는 것을 증명하고, 안정된 분열의 보편적 가족을 정의하는 것.

제안 방법

• 점들이 $ S $로 표시된 인덱스 집합에 속한 컴포넌트 $ D_c $에 위치하는 집합 $ D_{c,S} $에서의 반복적인 블로우업을 통해 $ X_D^{[n]} $을 $ X^n $과 반복적인 블로우업의 곱의 닫힘으로 정의한다.
• 점들이 $ |I| \geq 2 $인 대각선 $ \widetilde{\Delta}_I $의 적절한 전이를 통해 $ X_D^{[n]} $과의 곱에서의 닫힘으로서 $ X_D[n] $을 정의한다.
• 특정 순서로 반복적인 블로우업을 적용한다: 먼저 $ D_{c,S} $에서, 그 다음 $ \widetilde{\Delta}_I $에서 수행하여 경계 divisor들의 교차성을 확보한다.
• L. Li의 아름다운 컴팩티피케이션 이론을 적용하여 비특이성과 경계 성분들의 교차성을 증명한다.
• 인덱스 집합 $ S_i $와 $ I_j $의 중첩된 집합의 개념을 사용하여 경계 divisor들의 교차가 비공백임을 특성화한다.
• 경계점이 있는 $ X $의 안정된 분열을 기술하기 위해 보편적 가족 $ X_D^{[n]+} \to X_D^{[n]} $과 $ X_D[n]^+ \to X_D[n] $을 활용한다.

실험 결과

연구 질문

• RQ1 점들이 $ D $에 접근하는 것을 금지하는 $ X \setminus D $에서 $ n $개의 레이블이 부여된 점들의 구성공간에 대해 어떻게 컴팩티피케이션을 구성할 수 있는가?
• RQ2 경계 divisor들의 교차가 교차하는 데 필요한 조건은 무엇인가?
• RQ3 점들이 충돌하거나 $ D $에 접근하는 것을 금지하는 $ X \setminus D $에서 $ n $개의 레이블이 부여된 점들의 구성공간에 대해 어떻게 컴팩티피케이션을 구성할 수 있는가?
• RQ4 보편적 가족 $ X_D[n]^+ \to X_D[n] $의 기하학적 구조는 무엇이며, 안정된 분열을 어떻게 매개하는가?
• RQ5 $ X_D[n]^+ $의 섬유를 사용하여 안정적인 상대 맵의 모듈리공간을 구성할 수 있는가?

주요 결과

• $ X_D^{[n]} $는 비특이이며, $ n $개의 레이블이 부여된 점들이 $ D $에서 떨어져 있는 $ X $의 안정된 분열의 보편 평탄한 가족을 갖는다.
• $ X_D^{[n]} $의 경계는 $ \widetilde{D}_{c,S} $의 합집합이며, 이들의 교차가 교차하는 것은 해당 인덱스 집합이 중첩되어 있을 때에만 성립한다.
• $ X_D[n] $는 비특이이며, $ X_D[n]^+ \to X_D[n] $의 보편적 가족을 통해 $ n $개의 서로 다른 레이블이 부여된 점들이 $ D $에서 떨어져 있는 안정된 분열을 매개한다.
• $ X_D[n] $의 경계는 $ \widetilde{D}_{c,S} $와 $ \widetilde{\Delta}_I $의 합집합으로 이루어져 있으며, 이들의 교차가 비공백이면서 교차하는 것은 전체 집합이 중첩되어 있을 때에만 성립한다.
• $ D = \emptyset $일 때, $ X_D[n] $은 고전적인 퓌르트-맥퍼슨 컴팩티피케이션 $ X[n] $을 회복한다.
• 이 구성은 안정적인 상대 맵과 안정적인 (비)분기 맵을 연구하는 데 자연스러운 프레임워크를 제공하며, 모듈리 이론에 적용 가능하다.