[논문 리뷰] Inversion of adjunction for quotient singularities

Yusuke Nakamura, Kohsuke Shibata|arXiv (Cornell University)|2020. 11. 14.

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

한 줄 요약

이 논문은 약분 특이점과 klt 카르티에 분자에 대해 정확한 역조정 공식을 수립하고, klt 초등결합 특이점에 대해 최소 로그 불일치(mld)의 하부 연속성(lower semi-continuity)을 증명한다. Denef와 Loeser의 약분 다양체에 대한 호 공간 이론을 활용하고 Ein-Mustață-Yasuda의 기법을 응용함으로써, 문제를 국소 해석기하 설정으로 환원하여 mld가 에탈 사상 하에 유지됨을 증명함으로써, LSC 추측을 이 특이점의 범주로 확장한다.

ABSTRACT

We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.

연구 동기 및 목표

• 약분 특이점과 klt 카르티에 분자에 대해 정확한 역조정 공식을 수립한다.
• klt 초등결합 특이점에 대해 최소 로그 불일치(mld)의 하부 연속성을 확립한다.
• 유한 선형군 작용 하에서 완전교차의 약분 다양체에 대해 LSC 추측을 확장한다.
• 부드럽고 완전교차의 경우에 알려진 mld 반연속성 결과를 약분 특이점으로 일반화한다.

제안 방법

• 약분 다양체에 대한 Denef와 Loeser의 호 공간 이론을 활용하여, 군 원소와 관련된 $k[t]$-스킴들의 합집합으로 약분의 호 공간을 표현한다.
• 약분 다양체 위의 호의 올림 성질을 적용하여, 등변좌표와 대각선 군 작용을 통해 호 공간의 기하학을 분석한다.
• 제트 스킴과 호 공간을 활용하여, 호 공간 내 실린더의 codimension을 통해 최소 로그 불일치를 계산한다.
• 에탈 사상과 안정자군을 이용해 닫힌 점에서의 작용을 선형화함으로써, mld 계산을 국소 해석기하 모델로 환원한다.
• 정확한 역조정 공식을 적용하여, klt 조건 하에서 부분다양체 $Y$ 상의 mld를 $Y$ 내의 카르티에 분자 $D \subset Y$ 상의 mld와 연결한다.
• mld가 에탈 사상 하에 유지됨을 이용하여, 전반적인 문제를 원점에서의 국소 문제로 환원한다.

실험 결과

연구 질문

• RQ1 환경 다양체가 klt 특이점을 가지며, 분자가 카르티에이자 klt일 때, 약분 특이점에 대해 정확한 역조정 공식이 성립하는가?
• RQ2 klt 초등결합 특이점에서 최소 로그 불일치 함수는 하부 연속적인가?
• RQ3 LSC 추측은 유한 선형군 작용 하에서 완전교차의 약분 다양체로 확장될 수 있는가?
• RQ4 약분 특이점의 호 공간은 관련된 $k[t]$-스킴들과 어떻게 관련이 있는가?
• RQ5 안정자군은 원점에서의 mld 계산을 국소 모델로 환원하는 데 어떤 역할을 하는가?

주요 결과

• 약분 특이점에 대해 정확한 역조정 공식이 성립한다: $\operatorname{mld}_x(Y, \mathfrak{a}\mathcal{O}_Y(-D)) = \operatorname{mld}_x(D, \mathfrak{a}\mathcal{O}_D)$, 여기서 $D$는 약분 특이점 내의 klt 부분다양체 $Y$ 상의 klt 카르티에 분자이다.
• 모든 부분다양체 $Y$에 대해 최소 로그 불일치가 하부 연속적이다. 이는 약분 다양체 $X = \mathbb{A}^N_k / G$ 내에서 codimension $c$를 가지며, $Y$가 klt 특이점을 가지며 $c$개의 방정식으로 국소적으로 잘린다 하더라도 성립한다.
• LSC 추측은 klt 초등결합 특이점에 대해 성립하며, 이는 이전의 부드럽고 완전교차, 약분 특이점의 결과를 확장한다.
• 약분 다양체의 호 공간은 군 작용을 캐릭터라이즈하는 $k[t]$-스킴 $\overline{Y}^{(\gamma)}$를 통해 구성되며, 이는 실린더의 codimension을 통한 mld 계산을 가능하게 한다.
• 원점에서의 국소 모델의 최소 로그 불일치는 에탈 사상 하에 유지되며, 이는 선형화된 군 작용을 가진 원점으로의 환원을 가능하게 한다.
• 결과는 $\mathbb{R}$-이deals sheaf로 일반화되며, 적절한 국소 완전교차 모델에 대해 $\operatorname{mld}_x(A, (f_1 \cdots f_c)\mathfrak{a}) = \operatorname{mld}_x(B, \mathfrak{a}\mathcal{O}_B)$임을 확인한다.