[논문 리뷰] The Nash problem on arcs for surface singularities

Marcel Moralès|arXiv (Cornell University)|2006. 09. 22.

Advanced Topics in Algebra참고 문헌 9인용 수 7

한 줄 요약

이 논문은 정상 표면 특이점에 대해 궤적의 네쉬 문제를 해결하며, 비가역성 맵이 비가역성 외부의 성분으로부터의 사상에 대해 단사성을 보장하는 수치적 네쉬 조건(NN_{(i,j)})을 도입한다. 이 조건을 통해 적어도 모든 성분 쌍의 절반 이상이 만족되며, 네쉬 맵이 전사가 되는 광범위한 새로운 경우를 수치적 기준에 기반해 규명한다. 이는 해상도 그래프의 행렬을 바탕으로 한 순수한 수치 기반 기준이다.

ABSTRACT

Let $(X,O)$ be a germ of a normal surface singularity, $π: ilde X\longrightarrow X$ be the minimal resolution of singularities and let $A=(a_{i,j})$ be the $n imes n$ symmetrical intersection matrix of the exceptional set of $ ilde X$. In an old preprint Nash proves that the set of arcs on a surface singularity is a scheme ${\cal H}$, and defines a map ${\cal N}$ from the set of irreducible components of ${\cal H}$ to the set of exceptional components of the minimal resolution of singularities of $(X,O)$. He proved that this map is injective and ask if it is surjective. In this paper we consider the canonical decomposition ${\cal H}=\cup_{i=1}^n \bar{\cal N}_i$: o For any couple $(E_i,E_j)$ of distinct exceptional components, we define Numerical Nash condition $(NN_{(i,j)})$. We have that $(NN_{(i,j)})$ implies $\bar{\cal N}_{i} ot\subset \bar{\cal N}_{j} $. In this paper we prove that $(NN_{(i,j)})$ is always true for at least the half of couples $(i,j)$. o The condition $(NN_{(i,j)})$ is true for all couples $(i,j)$ with $i ot=j$, characterizes a certain class of negative definite matrices, that we call Nash matrices. If $A$ is a Nash matrix then the Nash map ${\cal N}$ is bijective. In particular our results depends only on $A$ and not on the topological type of the exceptional set. o We recover and improve considerably almost all results known on this topic and our proofs are new and elementary. o We give infinitely many other classes of singularities where Nash Conjecture is true. The proofs are based on my old work \cite{M} and in Plenat \cite{P}.

연구 동기 및 목표

• 정상 표면 특이점에 대해 궤적의 네쉬 문제를 해결함으로써, 궤적 성분에서 외부의 성분으로의 네쉬 맵의 전사성을 보장하는 조건을 규명한다.
• 해상도 그래프의 교차 행렬에 기반하여 네쉬 맵이 전단사가 되는 표면 특이점의 클래스를 특성화한다.
• 위상적 유형에 의존하지 않고 네쉬 맵의 전단사성을 판단할 수 있는 수치 기준인 '네쉬 행렬'을 제공한다.
• 기존의 결과를 일반화하고 개선하며, 간단하고 자그레한 증명을 사용한다.

제안 방법

• 예외적 성분 쌍에 대해 수치적 네쉬 조건(NN_{(i,j)})을 도입하여, 한 네쉬 성분의 폐포가 다른 성분의 폐포에 포함되지 않음을 보장한다.
• 해상도 과정에서의 궤적 공간 H = ∪i N̄i를 예외적 성분 Ei와 관련된 기약 성분으로 분해한다.
• 이전 연구 결과(Morales [7], Plenat [9])를 적용하여 기준을 유도: 어떤 f ∈ O_{X,O}에 대해 ord_Ei(f) < ord_Ej(f) 이면 N̄i ⊄ N̄j 이다.
• 모든 i에 대해 −E·Ei ≥ 2K·Ei 이면, 아이디얼 층 Q = π*O_{X̃}(−E)가 전역적으로 생성됨을 증명한다.
• 모든 i ≠ j 에 대해 (NN_{(i,j)}) 조건을 만족하는 음의 정부호 대칭 교차 행렬을 네쉬 행렬로 정의하고, 이러한 행렬이 네쉬 맵의 전단사를 보장함을 보인다.
• 예외적 곡선에 대한 조정 공식과 성분의 종수 제약 조건을 사용하여, 캐논리컬 딜로우와 자기 교차수를 포함하는 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 교차 행렬 A에 대해 어떤 조건이 궤적 성분에서 예외적 성분으로의 네쉬 맵이 전단사가 되는가?
• RQ2 네쉬 맵의 전사성은 해상도 그래프의 위상적 유형과 독립적으로 교차 행렬로부터 결정될 수 있는가?
• RQ3 예외적 성분 쌍 (i,j) 중에서 N̄i ⊂ N̄j 를 피하는 경우는 몇 개인가? 이는 성분의 구별성을 보장한다.
• RQ4 정확히 어떤 음의 정부호 행렬의 클래스가 네쉬 맵이 전단사가 되는 특이점과 대응하는가?

주요 결과

• i ≠ j 인 모든 쌍 중 적어도 절반 이상에서 수치적 네쉬 조건(NN_{(i,j)})이 성립하며, 이는 해당 쌍에 대해 N̄i ⊄ N̄j 를 보장한다.
• 음의 정부호 대칭 행렬 A가 네쉬 행렬이 되는 것은 모든 i ≠ j 에 대해 (NN_{(i,j)}) 조건이 성립할 때이고, 이러한 행렬에 대해서는 네쉬 맵이 전단사가 된다.
• 네쉬 맵의 전단사는 해상도 그래프의 위상적 유형과 무관하게 교차 행렬 A에 의해 결정된다.
• 논문은 간단하고 자가 포함된 추론을 사용하여 이전에 알려진 모든 결과를 복원하고 개선한다.
• 무한히 많은 새로운 표면 특이점의 클래스가 네쉬 추측이 성립함을 규명하였으며, E8 및 특정 별형 그래프를 포함한다.
• 명시적인 행렬과 예시(E8, 조건 (NN)을 만족하거나 만족하지 않는 별형 그래프 등)를 통해 기준의 적용 범위와 한계를 보여준다.