[논문 리뷰] Durfee's conjecture on the signature of smoothings of surface singularities

Tommaso de Fernex, Janós Kollár외 1명|arXiv (Cornell University)|2014. 11. 04.

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

한 줄 요약

이 논문은 해상도 교차 형식이 유니모듈러인 고렌스타인 표면 특이점에 대해 데르프의 유형 부등식을 강력하게 증명하며, 음의 부호가 기하학적 종수와 임bedding 차원의 함수로 아래에서 유계임을 보여준다. 또한 해면체와 고도가 큰 완전교차의 경우 약한 부등식을 증명하며, 해상도 그래프 불변량과 반경 합 및 헬더 부등식을 통한 부피 추정을 사용한다.

ABSTRACT

In 1978 Durfee conjectured various inequalities between the signature and the geometric genus of a normal surface singularity. Since then a few counter examples have been found and positive results established in some special cases. We prove a `strong' Durfee--type inequality for any smoothing of a Gorenstein singularity, provided that the intersection form the resolution is unimodular, and the conjectured `weak' inequality for all hypersurface singularities and for sufficiently large multiplicity strict complete intersections. The proofs establish general inequalities valid for any normal surface singularity.

연구 동기 및 목표

• 표면 특이점의 부호, 기하학적 종수, 밀놀 수 사이의 부등식에 대한 장기적인 추측을 해결하기 위해.
• 정상 표면 특이점에서 약한 부등식 $4p_g \leq \mu + \mu_0$ (등가로 $\sigma \leq 0$) 가 성립하는 조건을 명확히 하기 위해.
• 해상도 교차 형식이 유니모듈러일 때 고렌스타인 특이점에 대해 강력한 부등식 $6p_g \leq \mu$ 를 수립하기 위해.
• 이러한 결과를 고도가 큰 해면체와 엄격한 완전교차로 확장하여 $-\sigma$ 가 고도가 증가함에 따라 무한히 커짐을 증명하기 위해.

제안 방법

• 표면 특이점의 해상도를 사용하여 핵심 불변량인 기하학적 종수 $p_g$, 캐논리컬 클래스 $K$, 최소 및 최대 사이클 $Z_{\min}$, $Z_{\max}$ 를 정의한다.
• 고렌스타인 특이점에서 해상도 교차 형식이 유니모듈러일 경우 부호와 해상도 자료를 연결하는 공식 $-\sigma = 8p_g + K^2 + s$ 를 적용한다.
• 뉴턴 다면체 위에서 반경 합 구조 $Q' = \bigstar_{i=1}^d Q_i$ 를 사용하여 $\mathbb{R}^e_{\geq 0}$ 내의 여집합의 부피를 비교함으로써 몐로이 링의 길이를 모델링한다.
• 헬더 부등식을 사용하여 $d^{e-1} \sum r_i^e \geq r^e$ 를 증명함으로써 핵심 부피 부등식 $\operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q^\prime) \geq \operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q)$ 를 유도한다.
• 평탄한 분해와 초기 아이디얼을 통해 문제를 모노미얼 아이디얼로 환원하며, 이러한 분해에서 길이의 불변성을 활용한다.
• 이deals가 동일할 경우 $Q^\prime \subsetneq Q$ 를 보여줌으로써 부피 비교에서 엄격한 부등식을 증명하며, $Q \setminus Q^\prime$ 에서의 명시적 모노미얼 반례를 사용한다.

실험 결과

연구 질문

• RQ1 고렌스타인 표면 특이점에서 강력한 데르프 부등식 $6p_g \leq \mu$ 가 성립하는 조건은 무엇인가?
• RQ2 모든 정상 표면 특이점에서 약한 부등식 $4p_g \leq \mu + \mu_0$ (즉, $\sigma \leq 0$) 가 성립하는가? 만약 그렇지 않다면 예외는 무엇인가?
• RQ3 해상도 교차 형식이 유니모듈러인 고렌스타인 특이점에서 $p_g$ 와 임bedding 차원 $e$ 에 따라 부호 $\sigma$ 가 아래에서 유계가 될 수 있는가?
• RQ4 고도 $\nu$ 가 증가함에 따라 엄격한 완전교차 특이점의 부호 $\sigma$ 는 어떻게 행동하는가?
• RQ5 해상도 그래프와 그 쌍대 사이클 구조는 $\sigma$ 의 부호와 크기에 어떤 역할을 하는가?

주요 결과

• 해상도 교차 형식이 유니모듈러인 고렌스타인 특이점에서는 부호에 대해 $-\sigma \geq 2^{4-e}(p_g + 1)$ 이 성립하며, 이는 강력한 하한을 제공한다.
• 해면체 특이점의 경우 $-\sigma \geq 1 + \mu_0$ 이며, 이는 $\mu_0 = 0$ 이 아닐 경우 $\sigma \leq -1$ 을 의미하여 이 경우 약한 부등식이 강화됨을 보여준다.
• 임bedding 차원 $e$ 인 엄격한 완전교차 특이점의 경우, 고도 $\nu$ 가 증가함에 따라 $-\sigma$ 는 무한히 커지며, 이는 약한 부등식의 점근적 타당성을 확인한다.
• 헬더 부등식을 통한 반경 함수에 대한 분석을 통해 부피 부등식 $\operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q^\prime) \geq \operatorname{Vol}(\mathbb{R}^e_{\geq 0} \setminus Q)$ 가 증명되었으며, $d \geq 2$, $e \geq 2$ 일 경우 엄격한 부등식이 성립한다.
• 반경 합 구조 $Q' = \bigstar_{i=1}^d Q_i$ 는 $Q' \subsetneq Q$ 를 만족하므로, 부피 비교에서의 엄격한 부등식이 보장되며, 이는 길이 부등식의 엄격성으로 이어진다.
• 증명은 $d \geq 2$, $e \geq 2$ 일 때 $\mathfrak{a}_i$ 가 동일한 모노미얼 아이디얼에 대해 $\ell(R/\mathfrak{a}) < d^{e-1} \sum \ell(R/\mathfrak{a}_i)$ 를 보여주며, 이는 $Q^\prime$ 가 볼록이 아니기 때문이다.