[논문 리뷰] Contact loci in arc spaces

Lawrence Ein, Robert Lazarsfeld외 1명|ArXiv.org|2003. 03. 21.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 17

한 줄 요약

이 논문은 부분다양체의 로그 해소에서 예외적 인수와 아크 공간의 접촉 집합의 기약 성분 사이에 내시 유형의 대응을 설정하며, 이러한 성분들이 해소에서의 다중접촉 집합으로부터 유래됨을 보여준다. 다중 측정 통합을 사용하지 않는 간단한 증명을 통해 다중 이상수 이론과 특이점의 제트 이론적 해석에 관한 결과를 제시한다.

ABSTRACT

We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of) exceptional divisors in a resolution of singularities. We show also that these loci account for all the valuations determined by irreducible cylinders in the arc space. Along the way, we recover in an elementary fashion-without using motivic integration-results of the third author relating singularities to arc spaces. Moreover, we extend these results to give a jet-theoretic interpretation of multiplier ideals.

연구 동기 및 목표

• 부분다양체의 로그 해소에서 예외적 인수와 아크 공간의 접촉 집합의 기약 성분 사이에 내시 유형의 대응을 설정한다.
• 무라타의 아크 이론적 불변량에 관한 결과를 다중 측정 통합을 사용하지 않는 간단한 증명으로 재구성한다.
• 이러한 결과를 확장하여 다중 이상수 이론의 제트 이론적 해석을 제시한다.
• 모노미얼 경우에서 뉴턴 다면체를 사용하여 로그-극한 임계값과 다중 이상수 이론을 아크 공간 구성으로 특성화한다.

제안 방법

• 부분다양체 $X$ 위의 고정된 아이디얼 층 $\mathfrak{a}$에 대해, 아크 공간에서 $\mathfrak{a}$에 대해 순서 $p$로 0이 되는 아크들의 집합인 접촉 집합 $\textnormal{Cont}^p(\mathfrak{a})$를 정의한다.
• 아이디얼 층 $\mathfrak{a}$의 로그 해소 $\mu: X' \to X$를 사용하여 문제를 단순 정규교차 분할을 가진 매끄러운 다양체 $X'$로 이전한다.
• $X'_\infty$에서 각 $E_i$에 대해 지정된 순서 $\nu_i$를 가진 아크들로 구성된 다중접촉 집합 $\textnormal{Cont}^\nu(E)$를 도입한다.
• 모든 $\nu$에 대해 $\sum \nu_i r_i = p$를 만족할 때, $\textnormal{Cont}^p(\mathfrak{a})$가 $\mu_\infty$에 의한 이러한 다중접촉 집합의 이미지들의 유한한 서로소 합집합으로 분해됨을 증명한다.
• 성분의 여부차수를 상대 캐논리컬 디바리에이션 $K_{X'/X} = \sum k_i E_i$와 연결하여, 여부차수 $\sum \nu_i(k_i + 1)$임을 보인다.
• 이 분해를 적용하여 다중 이상수 이론과 로그-극한 임계값에 관한 결과를 회복하고 확장하며, 특히 뉴턴 다면체를 사용한 모노미얼 경우에서의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 무한 아크 공간의 접촉 집합 $\textnormal{Cont}^p(\mathfrak{a})$의 기약 성분은 특이점의 해소 기하학과 어떻게 관련이 있는가?
• RQ2 무라타의 아크 이론적 불변량에 관한 결과는 다중 측정 통합을 사용하지 않고 복원될 수 있는가?
• RQ3 다중 이상수 이론의 제트 이론적 해석은 아크 공간의 관점에서 어떻게 기술될 수 있는가?
• RQ4 어떻게 아크 공간 구성과 접촉 집합을 통해 로그-극한 임계값을 특성화할 수 있는가?
• RQ5 모노미얼 아이디얼의 경우에 대해 뉴턴 다면체를 사용하여 로그-극한 특이점의 정확한 조건은 무엇인가?

주요 결과

• $\textnormal{Cont}^p(\mathfrak{a})$의 기약 성분은 $\sum \nu_i r_i = p$를 만족하는 다중지수 $\nu \in \mathbb{N}^t$와 일대일 대응되며, 각 성분은 유일한 $\mu_\infty(\textnormal{Cont}^\nu(E))$의 이미지로 나타난다.
• $\textnormal{Cont}^p(\mathfrak{a})$의 각 성분 $W$는 $X_\infty$에서 여부차수 $\sum \nu_i(k_i + 1)$를 가지며, 여기서 $k_i$는 상대 캐논리컬 디바리에이션의 계수이다.
• 로그-극한 임계값 $\textnormal{lct}(X,Y)$는 $\textnormal{Cont}^p(\mathfrak{a})$가 비어있지 않은 최소의 $p$에 의해 결정되며, 이는 $\sum \nu_i r_i / \sum \nu_i(k_i + 1)$의 최소값과 관련이 있다.
• $\mathbb{A}^d$에서의 모노미얼 아이디얼에 대해, 쌍 $(X, \alpha Y - \beta Z)$는 $\beta \cdot P_{\mathfrak{b}} + \mathbf{e} \subseteq \alpha \cdot P_{\mathfrak{a}}$일 때와 동시에 로그-극한이다. 여기서 $P_{\mathfrak{a}}$는 뉴턴 다면체이다.
• 모노미얼 아이디얼에 대해 다중 이상수 이론 $\mathcal{I}(X, \alpha \cdot \mathfrak{a})$는 $\mathbf{u} + \mathbf{e} \in \text{Int}(\alpha \cdot P_{\mathfrak{a}})$를 만족하는 단항식 $T^\mathbf{u}$들로 생성된다.
• 다중 이상수 이론의 아크 이론적 특성화는 $f \in \mathcal{I}(X, \lambda \cdot \mathfrak{a})$일 때와 $\lambda < \textnormal{lct}(X,Y;Z)$일 때가 동치임을 보여주며, 여기서 $Z$는 $f$로 정의된 디바리에이션이다.