[논문 리뷰] Multiple point spaces of finite holomorphic maps

J. J. Nuño‐Ballesteros, Guillermo Peñafort Sanchis|arXiv (Cornell University)|2015. 09. 16.

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

한 줄 요약

이 논문은 유한한 헬름홀트릭 사상 $f: X \to Y$ 에 대해 $k$번째 다중점 공간 $D^k(f)$ 의 유일하고 변형에 불변인 정의를 제안하며, $k=2$ 이고 계수-일치 특이점일 경우 몰드의 구성과 일치함을 증명한다. 주요 결과로는 차원 조건과 계수 조건 하에서 $D^2(f)$ 가 $(f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}$ 의 영점집합과 일치함을 보이며, 이는 기하학적 및 대수적 성질이 잘 유지됨을 보장한다.

ABSTRACT

We show that there exists a unique possible definition, with certain natural properties, of the multiple point space of a holomorphic map between complex manifolds. Our construction coincides with the double point space and the k-th multiple point space for corank one map-germs, due to Mond. We also give some interesting properties of the double point space and prove that in many cases it can be computed as the zero locus of certain quotient of ideals.

연구 동기 및 목표

• 유한한 헬름홀트릭 사상의 변형에 따라 기존의 다중점 공간 정의에서 발생하는 모순을 해결하기 위해.
• 안정성과 변형에 대한 불변성을 만족하는 유일하고 표준적인 $D^k(f)$ 구성법을 수립하여, $f$ 가 안정적일 경우 엄밀한 $k$중점들을 회복하도록 하기 위해.
• 이중점 공간 $D^2(f)$ 가 특정 콜론 이상의 영점집합으로 계산될 수 있는 조건을 특성화하기 위해.
• 기하학적 성질인 $D^2(f)$ 의 스무스성, 코hen-맥컬레이성, 근본성, 정규성 등을 분석하기 위해.
• 제안된 $D^k(f)$ 구성법이 $k=2$ 이고 계수-일치 특이점일 경우 몰드의 정의와 일치함을 증명하기 위해.

제안 방법

• strict $k$-중점 $(x^{(1)}, \dots, x^{(k)}) \in X^k$ 의 집합의 클로처로 $D^k(f)$ 를 정의하며, 이는 $f(x^{(i)}) = f(x^{(j)})$ 이고 $i \neq j$ 일 때 $x^{(i)} \neq x^{(j)}$ 를 만족한다.
• Gaffney의 프레임워크를 사용하여 $f$ 의 편평한 전개(변형)에 대해 구성이 잘 유지됨을 보장한다.
• 안정성과 변형에 대한 불변성을 만족하는 유일한 구성임을 증명한다.
• 차원 조건 $\dim D^2(f) = 2n - p$ 과 계수 $\geq 2$ 영역의 차원이 $< 2n - p$ 일 때, $D^2(f) = V\big((f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}\big)$ 를 증명한다.
• 차원 조건과 특이점 조건 하에서, $\mathscr{I}^2(f)$ 와 $\mathscr{H}^2(f)$ 의 층 이론적 차이를 앙니힐레이터와 관련된 소수를 통해 분석하여 이상의 등식을 증명한다.
• Mather-Gaffney 기준을 적용하여 문제를 안정적인 국소형으로 줄이고, 동차성 조건을 이용해 이상의 등식을 도출한다.

실험 결과

연구 질문

• RQ1 유한한 헬름홀트릭 사상에 대해, 변형에 대해 불변이면서 안정적인 $k$번째 다중점 공간 $D^k(f)$ 의 유일한 정의가 존재하는가?
• RQ2 이중점 공간 $D^2(f)$ 가 콜론 이상 $(f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}$ 의 영점집합과 일치하는 조건은 무엇인가?
• RQ3 기하학적 성질인 $D^2(f)$ 의 스무스성, 코hen-맥컬레이성, 근본성, 정규성은 $f$ 의 특이점과 어떻게 관련이 있는가?
• RQ4 제안된 $D^k(f)$ 구성법이 $k=2$ 이고 계수-일치 특이점일 경우 몰드의 정의와 일치하는가?
• RQ5 차원과 특이점 제약 조건 하에서 이상 $\mathscr{I}^2(f)$ 가 $\mathscr{H}^2(f)$ 와 동일함을 보일 수 있는가?

주요 결과

• 제안된 $D^k(f)$ 는 $f$ 가 안정적일 경우 엄밀한 $k$중점의 클로저이자, 변형에 대해 잘 유지되는 유일한 구성이다.
• 차원 조건 $\dim D^2(f) = 2n - p$ 과 계수 $\geq 2$ 영역의 차원이 $< 2n - p$ 일 때, $D^2(f)$ 는 $V\big((f \times f)^*\mathscr{I}_{\Delta(Y)} : \mathscr{I}_{\Delta(X)}\big)$ 와 동형이다.
• 만약 $p = n$ 이면 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$ 이므로, $D^2(f)$ 는 근본적이고 동차적이다.
• $p = n+1$ 이고 $f$ 가 일반적으로 일對일일 경우 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$ 이므로, $D^2(f)$ 는 근본적이고 동차적이다.
• $f$ 가 안정적일 경우 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$ 이므로, $D^2(f)$ 는 근본적이고 동차적이며 차원이 $2n - p$ 이다.
• 유한하게 결정 가능한 국소형에서 $p < 2n$ 이면 $\mathscr{I}^2(f) = \mathscr{H}^2(f)$ 이며, 둘 다 근본적이다. 이 때 $D^2(f)$ 는 코hen-맥컬레이이자 동차적이다.