[논문 리뷰] Log canonical thresholds in positive characteristic

Zhixian Zhu|arXiv (Cornell University)|2013. 08. 25.

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

한 줄 요약

이 논문은 임의의 특성수를 가진 완전체 위의 매끄러운 다양체에서의 비가역적이고 닫힌 실린더와 계수값 평가 사이의 대응을 수립하여, 로그 해상도 없이 Mustaça의 로그 캐논리컬 임계값 공식을 증명한다. 매끄러운 중심에 沿한 블로우업에 대한 변수 변경 공식을 활용하여, 특성수 0에서의 핵심 결과들을 양의 특성수로 확장하며, 이는 p에 모듈로 환원을 통한 비교 정리와 양의 특성수에서의 인version 오브 애드제이션의 한 형태를 포함한다.

ABSTRACT

In this paper, we study the singularities of a pair (X,Y) in arbitrary characteristic via jet schemes. For a smooth variety X in characteristic 0, Ein, Lazarsfeld and Mustata showed that there is a correspondence between irreducible closed cylinders and divisorial valuations on X. Via this correspondence, one can relate the codimension of a cylinder to the log discrepancy of the corresponding divisorial valuation. We now extend this result to positive characteristic. In particular, we prove Mustata's log canonical threshold formula avoiding the use of log resolutions, making the formula available also in positive characteristic. As a consequence, we get a comparison theorem via reduction modulo p and a version of Inversion of Adjunction in positive characteristic.

연구 동기 및 목표

• 특성수 0에서의 아크 공간 내 실린더와 계수값 평가 사이의 대응을 임의의 특성수로 확장하기.
• 로그 해상도에 의존하지 않고 Mustaça의 로그 캐논리컬 임계값 공식을 증명하기.
• 모듈로 p 환원에 의한 로그 캐논리컬 임계값의 비교 정리 수립하기.
• 양의 특성수에서의 인버션 오브 애드제이션의 한 형태 증명하기.
• 특성수 양의 경우에 대해 특성수 이론을 위한 모티프릭 적분 기법 일반화하기.

제안 방법

• 제트 스킴 $X_m$ 과 아크 공간 $X_\infty$ 를 사용하여, 부분스킴 $Y \subset X$ 에 대해 연속성 집합 $\mathrm{Cont}^p(Y)$ 와 $\mathrm{Cont}^{\geq p}(Y)$ 를 연구한다.
• X에 대한 대응이 아닌 $X$ 를 지배하지 않는 $X_\infty$ 내의 비가역적이고 닫힌 실린더 $C \subset X_\infty$ 에 대해 실린더 평가 $\operatorname{ord}_C$ 를 정의하고, 이를 계수값 평가와 연결한다.
• 매끄러운 중심에 沿한 블로우업에 대한 변수 변경 공식을 유일하게 사용하여, 코드미니멀에 대한 귀납법을 통해 모든 실린더 평가가 계수값 평가로부터 유래되며, 그 반대도 성립함을 증명한다.
• 변수 변경 공식을 적용하여 실린더의 코드미니멀을 계수값 평가의 로그 불일치와 연결한다.
• 대응을 통해 로그 캐논리컬 임계값 공식을 유도한다: 임의의 특성수에서 $\operatorname{lct}(X,Y) = \min_m \left\{ \frac{\operatorname{codim}(Y_m, X_m)}{m+1} \right\}$.
• 완전체에 대해 $\operatorname{lct}(X,Y) = \operatorname{lct}(\overline{X}, \overline{Y})$ 를 증명하여 대수적 폐쇄에 대한 기저 변경에 대한 불변성 확인.

실험 결과

연구 질문

• RQ1 특성수 0에서의 아크 공간 내 실린더와 계수값 평가 사이의 대응을 양의 특성수로 확장할 수 있는가?
• RQ2 로그 해상도 없이 Mustaça의 로그 캐논리컬 임계값 공식이 양의 특성수에서 유효한가?
• RQ3 기저를 대수적 폐쇄로 확장할 때 로그 캐논리컬 임계값은 불변하는가?
• RQ4 제트 스킴을 사용하여 양의 특성수에서 인버션 오브 애드제이션의 형태를 증명할 수 있는가?
• RQ5 양의 특성수에서의 변수 변경 공식은 모티프릭 적분과 특성수 이론에 어떤 역할을 하는가?

주요 결과

• 논문은 $X_\infty$ 내에서 $X$ 를 지배하지 않는 비가역적이고 닫힌 실린더와 계수값 평가 사이의 일대일 대응을 수립하며, 어떤 $X$ 위의 인자 $E$ 와 $q > 0$ 에 대해 $\operatorname{ord}_C = q \cdot \operatorname{ord}_E$ 를 만족한다.
• 이러한 실린더의 코드미니멀은 $\operatorname{codim} C \geq q \cdot (1 + \operatorname{ord}_E(K_{X'/X}))$ 를 만족하며, 대응에서 등호가 성립한다.
• 로그 캐논리컬 임계값은 공식 $\operatorname{lct}(X,Y) = \min_m \left\{ \frac{\operatorname{codim}(Y_m, X_m)}{m+1} \right\}$ 으로 계산되며, 임의의 특성수에서 유효하다.
• 로그 캐논리컬 임계값은 대수적 폐쇄에 대한 기저 변경에 대해 불변하다: 완전체에 대해 $\operatorname{lct}(X,Y) = \operatorname{lct}(\overline{X}, \overline{Y})$.
• 양의 특성수에서 인버션 오브 애드제이션의 형태가 성립한다: 매끄러운 인자 $H \subset X$ 에 대해 $\operatorname{lct}_Z(X,Y) \geq \operatorname{lct}_Z(H, H \cap Y)$.
• 논문은 $\operatorname{lct}_x(X,Y) \geq 1/\operatorname{ord}_x(Y)$ 를 증명하며, 이는 대수적으로 닫힌 체 위의 매끄러운 다양체에서의 적절한 닫힌 부분스킴에 대해 $\operatorname{lct}(X,Y) > 0$ 를 의미한다.