[논문 리뷰] Weighted compactifications of configuration spaces and relative stable degenerations

Evangelos Routis|arXiv (Cornell University)|2014. 11. 11.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 비특이 다양체 $X$ 위의 $n$개의 서로 다른 레이블이 부여된 점들의 구성공간의 가중치를 고려한 컴팩티피케이션 $X_{/mathcal{A}}[n]$을 도입한다. 이는 포인트 가중치 $a_i \in (0,1]$를 포함하여 터널-맥퍼슨 컴팩티피케이션을 일반화한 것이다. 구성은 가중치 합이 1을 초과하는 대각선들에 대한 반복 블로우업으로 이루어지며, 이는 정규 교차 경계 divisor를 갖는 매끄러운 다양체를 만들어내고, 상대적 안정적 분열의 프레임워크를 제공하며, 반복 블로우업 공식을 통한 차우 링의 표현을 가능하게 한다.

ABSTRACT

We study a compactification of the configuration space of n distinct labeled points on an arbitrary nonsingular variety. Our construction provides a generalization of the original Fulton-MacPherson compactification that is parallel to the generalization of the moduli space of n-pointed stable curves carried out by Hassett.

연구 동기 및 목표

• 포인트 가중치 $a_i \in (0,1]$를 포함하여 터널-맥퍼슨 컴팩티피케이션을 일반화하고, 가중치가 부여된 구성에 대한 모듈리 이론 프레임워크를 확장한다.
• 모든 일치하는 점들의 부분집합 $S$에 대해 $\sum_{i \in S} a_i \leq 1$를 만족하는 $n$개의 레이블이 부여된 점들의 구성공간 $F_{\mathcal{A}}(X,n)$에 대한 매끄러운 컴팩티피케이션 $X_{\mathcal{A}}[n]$을 구축한다.
• 원래의 $X[n]$ 컴팩티피케이션을 일반화하는 상대적 구성 방식을 제공하고, 상대적 $\mathcal{A}$-안정적 분열의 모듈리 공간을 도출한다.
• 반복 블로우업 공식과 코이엔 다항식 관계를 이용하여 $X_{\mathcal{A}}[n]$의 차우 링을 완전히 묘사한다.

제안 방법

• 가중치 합이 1을 초과하는 모든 대각선 $\Delta_I \in \mathcal{G}_{\mathcal{A}}$에 대해, $X^n \times \prod_{\Delta_I \in \mathcal{G}_{\mathcal{A}}} \mathrm{Bl}_{\Delta_I} X^n$ 속으로의 대각선 임bedding의 폐포로 $X_{\mathcal{A}}[n]$을 정의한다.
• 가중치 합이 1을 초과하는 대각선들 $\mathcal{G}_{\mathcal{A}}$의 주된 전이를 증가하는 차원 순서로 정렬하여, $X^n$의 반복 블로우업으로서 $X_{\mathcal{A}}[n]$을 구성한다.
• Keel의 반복 블로우업에 대한 차우 링 공식을 사용하여, $A^\bullet(X_{\mathcal{A}}[n])$의 표현을 $A^\bullet(X^n)[\{\Delta_I^{(I_j)}\}_{i \leq j}]$의 몫으로 유도하며, 특정한 이상 관계를 모듈로로 한다.
• 경계 divisor가 정규 교차 divisor임을 증명하고, $\sum_{i \in I} a_i > 1$를 만족하는 부분집합 $I \subset N$에 의해 인덱싱된 구성요소 $D_I$로 이루어져 있으며, 교차는 교차하고 중첩되어 있음을 보인다.
• 유니버설 패밀리 $X_{\mathcal{A}}[n]^+ \to X_{\mathcal{A}}[n]$이 평탄하고, 두 다양체 모두 비특이이므로 모듈리 이론적 해석이 가능하다.
• 코이엔 다항식 항등식 $P_{\Delta_I/X^n}(t) = \prod_{k=1}^{|I|-1} c_{i_k,i_{k+1}}(-t)$을 사용하여 차우 링 계산에서의 관계를 단순화한다.

실험 결과

연구 질문

• RQ1 비특이 다양체 위의 점들의 가중치가 부여된 구성에 대해 터널-맥퍼슨 컴팩티피케이션을 어떻게 일반화할 수 있는가?
• RQ2 가중치 컴팩티피케이션 $X_{\mathcal{A}}[n]$의 경계 divisor는 어떤 구조를 가지며, 경계 구성요소가 교차하는 조건은 무엇인가?
• RQ3 반복 블로우업 공식과 코이엔 클래스 관계를 사용하여 $X_{\mathcal{A}}[n]$의 차우 링을 명시적으로 표현할 수 있는가?
• RQ4 상대적 구성 $X_{\mathcal{A}}[n]$은 원래의 $X[n]$ 컴팩티피케이션을 어떻게 일반화하고, 상대적 $\mathcal{A}$-안정적 분열의 모듈리 공간을 어떻게 도출하는가?
• RQ5 가중치 컴팩티피케이션은 제로 성질의 하세트 모듈리 공간 $\overline{M}_{g,\mathcal{A}}$와 어떤 관계가 있는가?

주요 결과

• 가중치 컴팩티피케이션 $X_{\mathcal{A}}[n]$은 매끄러운 다양체이며, 그 경계는 $|\mathcal{G}_{\mathcal{A}}|$개의 기약 divisor $D_I$의 합집합으로 이루어져 있으며, $\sum_{i \in I} a_i > 1$를 만족하는 부분집합 $I \subset N$에 의해 인덱싱된다.
• 경계 divisor들은 교차로 교차하며, $D_{I_1} \cap \cdots \cap D_{I_k}$가 비공백이 되는 것은 $I_j$들이 중첩되어 있거나(즉, 서로소이거나, 하나가 다른 하나에 포함되어 있거나)일 때이다.
• 공간 $X_{\mathcal{A}}[n]$은 $\mathcal{G}_{\mathcal{A}}$에 속한 대각선들의 주된 전이를 증가하는 차원 순서로 정렬한 $X^n$의 반복 블로우업과 동형이다.
• 차우 링 $A^\bullet(X_{\mathcal{A}}[n])$은 $A^\bullet(X^n)[\{\Delta_I^{(I_j)}\}_{i \leq j}]$의 몫으로 표현되며, 겹치는 집합, $J_I$-관계, 약한 오버랩, 코이엔 다항식을 포함한 네 가지 유형의 이상 관계로 생성된 이상을 모듈로로 한다.
• 각 대각선 $\Delta_I \subset X^n$의 코이엔 다항식은 $P_{\Delta_I/X^n}(t) = \prod_{k=1}^{|I|-1} c_{i_k,i_{k+1}}(-t)$를 만족하며, 이는 차우 링 관계를 단순화한다.
• 이 구성은 원래의 터널-맥퍼슨 공간 $X[n]$에서 $X_{\mathcal{A}}[n]$으로의 비라시오 매핑을 반복 블로우업의 시퀀스를 통해 제공하며, 하세트의 가중치 모듈리 공간을 임의의 기저 다양체로 일반화한다.