[논문 리뷰] The canonical class and the $C^\infty$ properties of Kähler surfaces

Rogier Brussee|ArXiv.org|1995. 03. 10.

Geometry and complex manifolds참고 문헌 30인용 수 32

한 줄 요약

이 논문은 비음성 카이르도라 차원이 0 이상인 카이러 표면에 대해, 최소 모델의 정규화 클래스와 (−1)-곡선의 호모로지 클래스가 국소화된 무한차원 프레드홀름 섹션의 오일러 특성 수를 사용한 시브르그-워튼 이론을 통해 부호를 제외한 방향을 갖는 미분동형성 불변량임을 증명한다. 카이르도라 차원과 다중생성수는 미분동형성 불변량임을 증명하고, 도널드슨 이론에 의존하지 않고 pg = 0 및 타원 표면을 포함한 모든 이러한 표면에서 일관된 방식으로 시브르그-워튼 불변량을 계산한다.

ABSTRACT

We give a self contained proof using Seiberg Witten invariants that for Kähler surfaces with non negative Kodaira dimension (including those with $p_g = 0$) the canonical class of the minimal model and the $(-1)$-curves, are oriented diffeomorphism invariants up to sign. This implies that the Kodaira dimension is determined by the underlying differentiable manifold (Van de Ven Conjecture). We use a set up that replaces generic metrics by the construction of a localised Euler class of an infinite dimensional bundle with a Fredholm section. This allows us to compute the Seiberg Witten invariants of all elliptic surfaces with excess intersection theory. We then reprove that the multiplicities of the elliptic fibration are determined by the underlying oriented manifold, and that the plurigenera of a surface are oriented diffeomorphism invariants.

연구 동기 및 목표

• 비음성 카이르도라 차원을 가진 카이러 표면에 대해 최소 모델의 정규화 클래스 Kmin과 (−1)-곡선이 부호를 제외한 방향을 갖는 미분동형성 불변량임을 증명한다.
• 이러한 표면의 카이르도라 차원과 다중생성수는 기저가 되는 매끄러운 다양체에 의해 결정됨을 보인다.
• 무한차원 게이지 이론에서 국소화된 오일러 특성 수 접근법을 사용하여 κ ≥ 0 인 모든 카이러 표면의 시브르그-워튼 불변량을 계산한다.
• 타원적 분할의 다중성수의 미분동형성 불변성을 재증명하고, 반-데-베인 추측에 대한 새로운 증명을 제공한다.

제안 방법

• 무한차원 범주에서 프레드홀름 섹션을 갖는 다발의 국소화된 오일러 특성 수를 기반으로 한 시브르그-워튼 이론의 재구성 사용으로 초과 교차 기법을 가능하게 한다.
• 가족 지수 정리(Grothendieck-Riemann-Roch)를 적용하여 모듈리 공간 위의 결정선다발의 콘차 특성 수를 계산한다.
• 모듈리 공간 간의 자연스러운 동형사상에 의해 수직 선다발의 모듈리 공간과 유효 다항식 사이의 관계를 통해 시브르그-워튼 다중성수의 계산을 타원 곡선의 대칭곱으로 환원한다.
• pg = 0 경우를 통일적으로 다루기 위해, 프레드홀름 코핵이 존재하는 과다한 모듈리 공간의 국소화된 오일러 특성 수로 다중성수를 식별한다.
• 표면 위의 선다발에 대한 블로우업 공식을 사용하여 블로우업 이전과 이후의 모듈리 공간과 다중성수를 연결한다.
• 카이러 설정에서 모노폴 방정식의 해를 해석학적으로 해석하여 해를 해석적 섹션과 유효 다항식에 연결한다.

실험 결과

연구 질문

• RQ1 비음성 카이르도라 차원을 가진 카이러 표면의 정규화 클래스 Kmin은 방향을 갖는 미분동형성 불변량인가, 부호를 제외한 경우에 한하여?
• RQ2 κ ≥ 0 인 카이러 표면에 대해 (−1)-곡선의 호모로지 클래스는 방향을 갖는 미분동형성에 의해 보존되는가?
• RQ3 국소화된 오일러 특성 수를 사용하여 κ ≥ 0 인 모든 카이러 표면의 시브르그-워튼 불변량을 통일적으로 계산할 수 있는가?
• RQ4 카이러 표면에 대해 타원적 분할의 다중성수는 기저가 되는 방향을 갖는 매끄러운 다양체에 의해 결정되는가?
• RQ5 κ ≥ 0 인 카이러 표면의 다중생성수는 기저가 되는 다양체의 미분동형형태에만 의존하는가?

주요 결과

• 비음성 카이르도라 차원을 가진 모든 카이러 표면에 대해 정규화 클래스 Kmin은 부호를 제외한 방향을 갖는 미분동형성 불변량이며, pg = 0 경우도 포함된다.
• 모든 (−1)-구는 부호를 제외한 Z-호모로지로 (−1)-곡선과 동치이며, 이는 유리 및 굴곡 표면의 미분동형적 특성화를 확립한다.
• 카이러 표면의 카이르도라 차원은 기저가 되는 매끄러운 다양체의 미분동형성 불변량이다.
• 카이러 표면의 다중생성수는 기저가 되는 방향을 갖는 미분동형형태에 의해 결정된다.
• κ ≥ 0 인 모든 카이러 표면의 시브르그-워튼 불변량은 국소화된 오일러 특성 수를 통해 명시적으로 계산되며, 콘차 특성 수와 타원 곡선의 대칭곱에 대한 닫힌 표현식을 포함한다.
• 카이러 타원 표면의 타원적 분할의 다중성수는 기저가 되는 방향을 갖는 매끄러운 다양체에 의해 결정되며, 새로운 시브르그-워튼 기반 증명을 통해 추측을 확인한다.