[논문 리뷰] Derivative complex, BGG correspondence, and numerical inequalities for compact Kähler manifolds

Robert Lazarsfeld, Mihnea Popa|arXiv (Cornell University)|2009. 07. 03.

Geometry and complex manifolds참고 문헌 17인용 수 4

한 줄 요약

이 논문은 압축된 캘러만 다양체의 코homology 모듈러스와 프로젝티브 공간 위의 벡터 번들의 BGG 대응을 수립하며, 도함수 복합체를 통해 수치적 부등식과 기하학적 불변량을 유도한다. BGG 복합체가 무한소 구조를 담은 층을 해결함을 보이고, 캐논리컬 시리즈가 과도하다(canonical series is exorbitant, 즉 파라캔온리컬 시스템의 기약 성분임)는 것과 특정 세그레 수가 0이 되는 것 사이의 이unge르 조건을 증명하며, 이 조건은 온건한 가정 하에서 허지 수를 통해 계산 가능하다.

ABSTRACT

The cohomology algebra of the canonical bundle of a compact Kähler manifold is naturally viewed as a module over an exterior algebra. We use the Bernstein-Gel'fand-Gel'fand correspondence, together with Generic Vanishing theory, in order to understand the regularity properties of this module. We also relate it to the infinitesimal theory of the canonical linear series inside paracanonical space. Finally, we apply vector bundle methods on the polynomial ring side to obtain inequalities for the holomorphic Euler characteristic and the Hodge numbers of compact Kähler manifolds without irregular fibrations.

연구 동기 및 목표

• 압축된 캘러만 다양체의 코homology 모듈러스와 대칭 대수 위의 선형 복합체 사이의 BGG 대응을 수립하기 위해.
• 선형 번들의 테이저링된 코homology 군의 변형 이론이 도함수 복합체에 의해 지배됨을 보이기 위해.
• BGG 복합체를 사용하여 허지 수와 알바네제 분할의 불변량 간의 수치적 부등식을 도출하기 위해.
• BGG 층을 사용하여 캐논리컬 선형 시리즈가 파라캔온리컬 분할의 공간의 기약 성분이 되는 조건을 특성화하기 위해.

제안 방법

• H¹(X, O_X)의 원소들과의 cup 곱을 통해 H¹(X, O_X)의 원소들과의 cup 곱을 통해 S-모듈러스의 계급화된 선형 복합체 L_X를 구성한다.
• L_X의 마지막 사상의 코어널을 정의하여 BGG 층 F_X를 정의하며, X에 비정규적 분할이 없을 경우 F_X는 벡터 번들이 된다.
• BGG 대응을 사용하여 H^i(X, ω_X)의 E-모듈러스 구조를 P(H¹(X, O_X)) 위의 층 F_X와 연결한다.
• 그로텐디크 대칭성과 스펙트럴 시퀀스를 적용하여 RHom 복합체를 연결하고, 푸리에-무카이 변환의 쌍대체와의 동형을 확립한다.
• F_X의 쌍대체의 세그레 수를 계산하여 P(F_X)에서 캐논리컬 시스템 |ω_X|로의 사상의 상사상성 여부를 판단한다.
• codimension (p_g - χ) 세그레 수가 0이 되는 것으로 캐논리컬 시리즈의 과도성을 특성화한다.

실험 결과

연구 질문

• RQ1 BGG 대응은 외부 대수 위에서 H^i(X, O_X)와 H^i(X, ω_X)의 코homology 모듈러스의 구조를 어떻게 정밀화하는가?
• RQ2 알바네제 사상의 기하학적 불변량 중 어떤 것들이 캘러만 다양체의 BGG 복합체로부터 복원될 수 있는가?
• RQ3 캐논리컬 선형 시리즈 |ω_X|가 파라캔온리컬 분할의 공간의 기약 성분이 되는 조건은 무엇인가?
• RQ4 BGG 층과 그 세그레 수를 통해 X의 수치적 불변량을 어떻게 유계화할 수 있는가?
• RQ5 표준 가정 하에서 허지 수만으로 캐논리컬 시리즈의 과도성을 결정할 수 있는가?

주요 결과

• BGG 복합체 L_X는 알바네제 사상의 일반적인 섬유의 차원이 k일 때, 첫 d−k 항에서 정확하다.
• X에 비정규적 분할이 없을 경우, BGG 층 F_X는 P(H¹(X, O_X)) 위의 벡터 번지로, 계수는 χ(ω_X)이다.
• 캐논리컬 시리즈 |ω_X|는 자연스러운 사상 P(F_X) → P(H^d(X, O_X))가 전사가 아닐 때에만 과도하다.
• |ω_X|의 과도성은 F_X∨의 세그레 수 s_{1^{×(p_g−χ)}}(γ_1,…,γ_{q−1})가 0이 되는 것으로 동치이다.
• 비정규적 피복선이 없는 표면의 경우, |ω_X|는 q가 짝수일 때에만 과도하다. 이는 세그레 수의 직접 계산을 통해 확인되었다.
• p_g − χ ≤ q − 1 조건이 성립할 경우, 과도성은 오직 허지 수에 의해 결정되며, 특히 F_X∨의 캐런 루트에 대한 특정 슈어 함수의 0이 되는 것으로 나타난다.