[논문 리뷰] Purity of branch, critical and discriminant locus

Rolf Källström|arXiv (Cornell University)|2006. 09. 11.

Advanced Differential Equations and Dynamical Systems인용 수 1

한 줄 요약

이 논문은 Noetherian 정수 환의 전행 사상에서 임계점, 분지점, 판별점의 닐림수 경계를 조사한다. 상대 미분형식 $\Omega_{X/Y}$, $\Omega_{X/S}$, 및 $\Omega_{Y/S}$를 분석함으로써, 이러한 경계들이 통제 가능한 닐림수를 가지는 정확한 조건을 설정하며, I. Dolgachev의 판별점 경계에 대한 추측을 증명하고 일반화한다.

ABSTRACT

To a dominant morphism $\pi:X/S o Y/S$ of N{\oe}therian integral $S$-schemes one has the inclusion $C_\pi \subset B_\pi$ of the critical locus in the branch locus of $B_\pi$. Conditions on the relative differentials $\Omega_{X/Y}$, $\Omega_{X/S}$, and $\Omega_{Y/S}$ are stated that imply bounds on the codimensions of $ C_\pi$ and $ B_\pi$. We also give bounds on the codimension of the discriminant locus, proving and generalising a conjecture of I. Dolgachev.

연구 동기 및 목표

• 전행 사상에서 Noetherian 정수 스킴의 기하학적 구조를 이해하기 위해.
• 상대 미분형식에 대한 조건을 사용하여 임계점 $C_\pi$ 및 분지점 $B_\pi$의 닐림수 경계를 설정하기 위해.
• I. Dolgachev의 판별점 경계의 닐림수에 대한 추측을 일반화하고 증명하기 위해.
• 포함관계 $C_\pi \subset B_\pi$와 미분형식 모듈러의 행동 간의 관계를 명확히 하기 위해.

제안 방법

• 경계에 대한 기하적 제약 조건을 유도하기 위해 상대 미분형식 $\Omega_{X/Y}$, $\Omega_{X/S}$, 및 $\Omega_{Y/S}$를 분석한다.
• 특히 특이점과 Noetherian 기저 위의 스킴를 다루는 대수기하학의 기법을 적용한다.
• $C_\pi \subset B_\pi$ 포함관계를 시작점으로 삼아, 모듈러 이론적 조건을 통해 경계를 유도한다.
• 공형대수학의 결과를 적용하여, 미분형식 모듈러의 랭크와 토르션 자유성으로 경계의 닐림수를 통제한다.
• 분지점의 순수성 개념을 활용하여 $B_\pi$의 닐림수를 $\Omega_{X/Y}$의 구조와 연결한다.
• 적절한 평탄성과 스무스성 조건 하에서 문제를 미분 제어로 환원함으로써, 이전의 판별점 경계에 대한 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 상대 미분형식 $\Omega_{X/Y}$, $\Omega_{X/S}$, 및 $\Omega_{Y/S}$에 어떤 조건이 성립할 경우, 임계점 $C_\pi$가 $X$에서 적어도 두 닐림수 이상의 닐림수를 가질 수 있는가?
• RQ2 미분 데이터를 사용하여 분지점 $B_\pi$의 $Y$에서의 닐림수에 어떤 경계를 설정할 수 있는가?
• RQ3 판별점 경계의 닐림수는 사상 $\pi$와 그의 미분형식의 구조와 어떻게 관련되는가?
• RQ4 사상에 대한 일반적인 가정 하에서 I. Dolgachev의 판별점 경계의 닐림수에 대한 추측을 증명할 수 있는가?
• RQ5 임계점 $C_\pi$, 분지점 $B_\pi$, 그리고 판별점 경계 사이의 정확한 관계는 닐림수와 미분형식 모듈러 측면에서 어떻게 설명될 수 있는가?

주요 결과

• 상대 미분형식 $\Omega_{X/Y}$가 국소적으로 유한 랭크의 자유 모듈러이며, 특정한 토르션 자유 조건을 만족할 경우, 임계점 $C_\pi$는 $X$에서 적어도 두 닐림수 이상의 닐림수를 가진다.
• 상대 미분형식 $\Omega_{X/S}$와 $\Omega_{Y/S}$가 적절한 평탄성 및 순수성 조건을 만족할 경우, 분지점 $B_\pi$는 $Y$에서 적어도 두 닐림수 이상의 닐림수를 가진다.
• 동일한 조건 하에서 판별점 경계는 $Y$에서 적어도 두 닐림수 이상의 닐림수를 가지며, 이는 Dolgachev의 추측을 전반적으로 확인한다.
• 미분형식에 대한 약간의 조건 하에서 포함관계 $C_\pi \subset B_\pi$는 엄밀하며, $C_\pi$의 닐림수는 $\Omega_{X/Y}$의 랭크에 의해 아래에서 경계된다.
• 논문은 $\Omega_{X/Y}$가 국소적으로 자유이고 $\pi$가 일반적으로 스무스할 경우, 분지점의 순수성이 성립함을 증명한다.
• 이전의 판별점 경계에 대한 경계를 일반화함으로써, 특성 0 또는 기저의 스무스성과 같은 제한 조건을 제거한다.