[논문 리뷰] Invariants of singularities of pairs

Lawrence Ein, Mircea Mustat¡a|ArXiv.org|2006. 04. 27.

Algebraic Geometry and Number Theory인용 수 12

한 줄 요약

이 논문은 복소기하학에서의 로그 캐논리컬 임계값과 양의 특성에서의 F-순수 임계값 사이의 깊은 연결고리를 밝혀내기 위해 승수 이상수, D-모듈, 궤적, 그리고 양의 특성 기법을 사용하여 쌍 (X,Y) 의 특이점의 불변량을 연구한다. 이는 p → ∞ 일 때 F-순수 임계값이 로그 캐논리컬 임계값으로 수렴함을 증명하며, 베른슈타인-사토 다항식과 점프 수에의 응용을 포함한다.

ABSTRACT

Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several applications of these invariants to algebra, higher dimensional birational geometry and to singularities.

연구 동기 및 목표

• X가 매끄러운 복소기하학적 다양체이고 Y가 닫힌 부분스키마인 쌍 (X,Y) 의 특이점에 대한 불변량을 개발하고 통합하는 것.
• 복소기하학에서의 불변량(로그 캐논리컬 임계값)과 양의 특성에서의 불변량(F-순수 임계값)을 연결하는 것.
• 특성 p 에서의 쌍의 F-순수 임계값이 p → ∞ 일 때 특성 0 에서의 로그 캐논리컬 임계값으로 수렴함을 보여주는 것.
• 모듈로 p 로의 환원을 통한 승수 이상수, 테스트 이상수, 그리고 베른슈타인-사토 다항식 간의 연결고리를 탐색하는 것.
• D-모듈, 승수 이상수, 그리고 양의 특성 기하학에서의 불변량을 연결하는 개념적 프레임워크를 제공하는 것.

제안 방법

• 지오메트릭적 해석을 위해 로그 해소를 통한 |g|² / (∑|fᵢ|²)^λ 의 국소 적분 가능성으로 정의된 승수 이상수를 사용한다.
• 히로나카의 로그 해소를 적용하여 승수 이상수를 μ_*𝒪_{X'}(K_{X'/X} - ⌊λμ⁻¹(Y)⌋) 로 표현함으로써 캐논리컬 딜러와 연결한다.
• 변수 교환을 통해 단항식 경우로 문제를 축소하여 예외적 딜러를 따라 임계값을 명시적으로 계산한다.
• 모듈로 p 로의 환원을 적용하여 복소기하학적 승수 이상수와 양의 특성에서의 테스트 이상수를 연결하고, 국소 dualit 및 데리네-일루시이 이론을 사용한다.
• 베른슈타인-사토 다항식을 사용하여 p 모듈로의 근들이 특성 0 에서의 실제 근들로 연결됨을 보여주며, ν^J(p^e) 의 행동을 통해 이를 다룬다.
• 점프 수의 개념과 그 환원을 사용하여 F-순수 임계값이 로그 캐논리컬 임계값을 근사함을 보여준다.

실험 결과

연구 질문

• RQ1 복소기하학에서의 승수 이상수는 양의 특성에서의 테스트 이상수와 어떻게 관련이 있는가?
• RQ2 쌍 (X,Y) 의 로그 캐논리컬 임계값은 양의 특성에서의 F-순수 임계값의 극한으로 복원될 수 있는가?
• RQ3 베른슈타인-사토 다항식의 근과 양의 특성에서의 프로베누스 거듭제곱의 행동 사이의 정확한 연결고리는 무엇인가?
• RQ4 D-모듈, 승수 이상수, 궤적에서의 불변량은 쌍의 특이점 연구에서 어느 정도 일치하는가?
• RQ5 F-순수 임계값이 로그 캐논리컬 임계값과 일치하는 소수 p 는 유한한가, 아니면 무한한가?

주요 결과

• 특성 p 에서의 쌍 (X_p, Y_p) 의 F-순수 임계값은 p → ∞ 일 때 특성 0 에서의 쌍 (X,Y) 의 로그 캐논리컬 임계값으로 수렴한다.
• 모든 λ 에 대해 충분히 큰 소수 p 에 대해 테스트 이상수 τ(X_p, λ·Y_p) 는 승수 이상수 𝒥(X, λ·Y) 의 모듈로 p 환원과 같다.
• f = x² + y³ 의 로그 캐논리컬 임계값은 5/6 이며, 이 값은 p ≡ 1 (mod 3) 일 때 F-순수 임계값으로 달성되며, p ≡ 2 (mod 3) 일 때는 5/6 - 1/(6p) 가 된다.
• f = x² + y³ 의 베른슈타인-사토 다항식의 근은 -5/6, -7/6, -1 이며, 이들은 모두 모듈로 p 환원과 ν^J(p^e) 의 행동을 통해 복원된다.
• f 가 단항식일 경우, 베른슈타인-사토 다항식의 모든 근은 양의 특성 불변량으로 체계적으로 복원될 수 있다.
• F-순수 임계값이 로그 캐논리컬 임계값으로 수렴하는 것은 특성 0 의 베르트랄 기하학과 양의 특성에서의 타이트 클로처 이론 사이에 강력한 연결고리를 제공한다.