[논문 리뷰] Jumping numbers of analytic multiplier ideals (with an appendix by Sébastien Boucksom)

Dano Kim, Hoseob Seo|arXiv (Cornell University)|2019. 08. 07.

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

한 줄 요약

이 논문은 다항식적 특이점에서의 점프 수 이론을 일반 복소부정형(Plurisubharmonic, psh) 함수로 확장하며, 특히 두 차원에서 토릭 psh 함수의 점프 수 집합에 대한 집적점(극한점)이 존재하는지의 조건을 뉘앙스 볼록체를 통해 완전히 특성화한다. 이로써 점프 수 집합에 집적점이 존재하는 경우가 흔하지 않다는 점을 밝혀내고, 복잡한 점프 수 행동을 보이는 비가чёт 수 많은 새로운 예를 제시한다.

ABSTRACT

We extend the study of jumping numbers of multiplier ideals due to Ein-Lazarsfeld-Smith-Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties from Ein-Lazarsfeld-Smith-Varolin are shown to generalize to the plurisubharmonic case, important properties such as periodicity and discreteness do not hold any more. Previously only two particular examples with a cluster point (i.e. failure of discreteness) of jumping numbers were known, due to Guan-Li and to Ein-Lazarsfeld-Smith-Varolin respectively. We generalize them to all toric plurisubharmonic functions in dimension 2 by characterizing precisely when cluster points of jumping numbers exist and by computing all those cluster points. This characterization suggests that clustering of jumping numbers is a rather frequent phenomenon. In particular, we obtain uncountably many new such examples.

연구 동기 및 목표

• 일반 복소부정형 함수로 다항식적 특이점에서의 점프 수 이론을 일반화한다.
• 점프 수가 분석적 설정에서는 이산적이거나 주기적인 행동을 보이지 않는 경우, 집적점이 존재할 수 있는지 조사한다.
• 두 차원에서 토릭 psh 함수의 점프 수 집합에 대해 집적점이 존재하는지의 조건을 완전히 특성화한다.
• 점프 수 집합에 집적점이 존재하는 복소부정형 함수의 비가чёт 수 많은 새로운 예를 구성한다.
• 토닉 psh 함수의 점프 수 집합에서 뉘앙스 볼록체의 기여 역할을 명확히 한다.

제안 방법

• 복소부정형 함수의 승수 이상수의 개방 정리를 사용하여, 이상수층이 변화하는 점으로 점프 수를 정의한다.
• 관련 볼록 함수와 그 기울기를 통해 토닉 psh 함수를 정의하고, 이와 뉘앙스 볼록체를 연결한다.
• 뉘앙스 볼록체 $P(\varphi)$의 기하학적 성질, 특히 점근적 행동과 좌표축과의 교차를 통해 점프 수 집합의 집적점 존재 조건을 특성화한다.
• Boucksom의 부록 제2.2정리(등급 아이디얼 체계의 점근적 승수 이상수와 관련된 Siu 복소부정형 함수의 분석적 승수 이상수 간의 연결)를 적용한다.
• 승수 이상수의 평가적 특성화를 통해 점근적 승수 이상수와 구성된 복소부정형 함수의 분석적 승수 이상수 간의 동치성을 증명한다.
• 관련 볼록 함수의 기울기의 점근적 행동을 분석하여 점프 수 집합 내 집적점의 위치를 규명한다.

실험 결과

연구 질문

• RQ1 일반 복소부정형 함수와 관련된 승수 이상수의 점프 수가 집적점을 가질 수 있으며, 만약 그렇다면 어떤 조건에서 그러한 집적점이 존재하는가?
• RQ2 토닉 psh 함수의 뉘앙스 볼록체 기하학은 그 점프 수 집합 내 집적점의 존재성과 위치를 어떻게 결정하는가?
• RQ3 다항식적 경우와 대비하여 분석적 설정에서 점프 수의 주기성과 이산성의 실패가 얼마나 광범위하게 유지되는가?
• RQ4 점프 수 집합에 집적점이 존재하는 복소부정형 함수의 비가чёт 수 많은 예가 존재하는가?
• RQ5 두 차원에서 토닉 psh 함수의 점프 수 집합에 대해 집적점의 집합이 무한하고 유계가 아닐 수 있는가?

주요 결과

• 두 차원에서 토닉 psh 함수의 점프 수 집합은 집적점이 존재할 수 있으며, 이러한 집적점이 존재하는 것은 뉘앙스 볼록체 $P(\varphi)$가 좌표축과 특정한 점근적 또는 교차 성질을 가지는 경우에 정확히 해당된다.
• 논문은 뉘앙스 볼록체 $P(\varphi)$의 기하학적 성질에 기반하여 집적점 존재 조건과 그 값에 대한 완전한 특성화(정리 5.7)를 제공한다. 이는 모든 양의 정수가 집적점이 되는 경우도 포함한다.
• 특정 예시에서 점프 수 집합은 정확히 $\{\frac{k}{2} \mid k \in \mathbf{Z}_{>0}\}$ 에서 집적점이 존재하며, 이는 밀도 높은 집적점 집합의 존재를 보여준다.
• 구성된 예시에서 점프 수의 가장 작은 집적점은 1이며, $\mathcal{J}(c\varphi) = \mathcal{O}_{\mathbf{C}^2,0}$ 를 만족하는 모든 $c \in [0, \frac{1}{2})$ 가 포함되어 있음을 보여, 1이 첫 번째 점프임을 입증한다.
• 토닉 psh 함수의 두 차원에서 점프 수 집합의 집적점 집합은 유bound하지 않고 무한하므로, 질문 1.1에 대해 이 경우 긍정적으로 답변한다.
• 이 구성은 점프 수 집합에 집적점이 존재하는 복소부정형 함수의 비가чёт 수 많은 새로운 예를 제공하며, Guan-Li와 Ein-Lazarsfeld-Smith-Varolin이 이전에 알려진 예를 일반화한다.