[논문 리뷰] A small resolution for triple covers in algebraic geometry

Daniele Faenzi, Janis Stipins|ArXiv.org|2002. 04. 18.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 대수기하학에서 삼중 피복에 대한 작은 해소를 구축하기 위해 $\mathfrak{S}_X$ 라는 새로운 다양체를 $\mathbb{P}(E^*)$ 내에 도입한다. 이 $\mathfrak{S}_X$ 는 원래 피복 $X$ 와 비유라식이며, 지방점 분岐 위치에서 $\mathbb{P}^1$ 섬유를 통해 특이점을 해소한다. 이 해소는 $S^3(E)^* \otimes \Lambda^2(E)$ 의 전역 단면 $\sigma$ 를 통해 정의되며, $X$ 는 $\mathbb{P}^1$-_bundle 위에 임베딩될 수 있을 때뿐이지, 지방점 분岐가 존재하지 않을 때에만 가능하다.

ABSTRACT

Given a triple cover p: X --> Y of varieties, we produce a new variety Z and a birational morphism f: Z --> X which is an isomorphism away from the fat-point ramification locus of p. The variety Z has a natural interpretation in terms of the data describing the triple cover, and the morphism f has an elegant geometric description.

연구 동기 및 목표

• 지방점 분岐 위치에서 특이점을 해소하는 삼중 피복 $\pi: X \to Y$ 에 대한 기하적 해소의 구축.
• 질량 2의 국소 자유층 $E$ 와 $S^3(E)^* \otimes \Lambda^2(E)$ 의 전역 단면 $\sigma$ 를 사용하여 이러한 해소가 전역적으로 존재함을 보여줌.
• 지방점 분岐가 존재하지 않을 경우에만 $X$ 가 $Y$ 위의 $\mathbb{P}^1$-bundle 의 부분다양체로 포함될 수 있음을 특성화함.
• 더 일반적인 해소 결과의 단순화된 기하적 해석을 제공하여 삼중 피복 설정에서 작은 해소에 대한 통찰을 제공함.

제안 방법

• 삼중 피복 자료로부터 유도되는 $S^3(E)^* \otimes \Lambda^2(E)$ 의 전역 단면 $\sigma$ 를 사용하여 $\mathfrak{S}_X$ 를 $\mathbb{P}(E^*)$ 의 부분다양체로 정의함.
• 지방점 분岐 위치 이외의 영역에서 동형사상이 되는, $\mathfrak{S}_X \to X$ 로의 비유라식 사상 $\rho_X$ 를 구성함.
• 각 지방점 분岐 점에서 $\rho_X$ 의 섬유가 $\mathbb{P}^1$ 과 동형임을 보여, $\rho_X$ 가 작은 해소가 됨을 확인함.
• 미라다의 결과를 활용하여 삼중 피복이 $E$ 와 $\sigma$ 로 분류됨을 이용해 국소 해소를 전역적으로 일반화함으로써, 아핀 조각들 사이의 호환성을 확보함.
• $\mathfrak{S}_X$ 와 $X$ 의 웨일 다항식의 블로우업 사이의 동형사상을 이용하여, $\rho_X$ 가 비카르티에 다항식에 沿한 블로우업임을 해석함.
• 해소와 관련된 유리 함수 $\psi$ 가 지방점 분岐 위치에서만 부정확함을 보여, 해소의 지원이 정확히 그 위치임을 확인함.

실험 결과

연구 질문

• RQ1 삼중 피복 $\pi: X \to Y$ 가 $Y$ 위의 $\mathbb{P}^1$-bundle 의 부분다양체로 표현될 수 있는 조건은 무엇인가?
• RQ2 특히 지방점 분岐 위치에서 삼중 피복에 대해 기하학적으로 작은 해소를 어떻게 구성할 수 있는가?
• RQ3 전역 단면 $\sigma$ 가 $S^3(E)^* \otimes \Lambda^2(E)$ 에서 정의하는 해소 다양체 $\mathfrak{S}_X$ 에 어떤 역할을 하는가?
• RQ4 작은 해소임에도 불구하고 $\rho_X: \mathfrak{S}_X \to X$ 의 예외적 집합의 코드미너션이 1보다 큰 이유는 무엇인가?
• RQ5 $\rho_X$ 는 $X$ 의 웨일 다항식의 블로우업과 어떻게 관련되어 있으며, 왜 이 다항식은 카르티에가 아닐까?

주요 결과

• $\mathfrak{S}_X$ 는 $S^3(E)^* \otimes \Lambda^2(E)$ 의 전역 단면 $\sigma$ 와 관련된 삼차형식에 의해 정의된 $\mathbb{P}(E^*)$ 의 부분다양체이다.
• $\rho_X: \mathfrak{S}_X \to X$ 는 작은 해소이다: 지방점 분岐 위치 이외에서는 동형이며, 이러한 점들 위에서 $\mathbb{P}^1$ 섬유를 가진다.
• $\rho_X$ 는 $X$ 의 웨일 다항식의 블로우업이며, 이 다항식은 카르티에가 아니므로 블로우업은 동형이 아니다.
• $\rho_X$ 의 예외적 집합은 $\mathfrak{S}_X$ 에서 코드미너션이 1보다 크므로, 이는 대수기하학적 의미에서 작은 해소임을 확인한다.
• 삼중 피복 $\pi: X \to Y$ 는 지방점 분岐가 없을 때에만 $Y$ 위의 $\mathbb{P}^1$-bundle 의 부분다양체로 포함될 수 있다. 이는 否일 경우 섬유에서 두 차원의 자리지 토너스 공간이 유도되기 때문이다.
• 해소에 사용된 유리 함수 $\psi$ 는 지방점 분岐 위치에서만 부정확하며, 이는 해소의 지원이 정확히 그 위치임을 확인한다.