[논문 리뷰] Regularity on abelian varieties III: further applications

Giuseppe Pareschi, Mihnea Popa|ArXiv.org|2003. 06. 05.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 3

한 줄 요약

이 논문은 아벨 다양체 위에서 M-정규성 이론을 확장하여, M-정규성 지수를 통한 세샤드리 상수의 새로운 경계를 확립하고, 임의의 아벨 다양체 위의 피카르 배럴에 대한 쐐기 정리(가장자기 정리)를 증명하며, 반동차형 벡터 번들의 곱 연산 사상의 전성에 대한 수치 기준을 도출한다. 주요 기여는 토타 정규성과 체른 클래스 조건을 이용한 반동차형 번들의 곱 연산 사상의 전성에 대한 수치 기준을 제시하는 것이다.

ABSTRACT

In the present sequel to our previous two papers on regularity on abelian varieties, we give a number of new applications of the theory of $M$-regularity to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles.

연구 동기 및 목표

• 아벨 다양체 위에서 세샤드리 상수와 M-정규성 지수 사이의 연결 고리를 확립하기 위해.
• 제이코비안 위의 외적 피카르 배럴의 고차 코hom로지의 쐐기 정리를 증명하기 위해.
• 반동차형 벡터 번들의 전반적 생성성과 곱 연산 사상의 전성에 대한 수치 기준을 개발하기 위해.
• 최대 알바누제 차원을 가진 불규칙 다양체에 대한 다중선형 매핑의 효과적 결과를 확장하기 위해.
• 스키우-포트랴긴 곱과 토타 정규성을 이용한 곱 연산 사상의 전성에 대한 코hom로지 기준을 제공하기 위해.

제안 방법

• 아벨 다양체 위의 층의 코hom로지적 성질을 분석하기 위해 푸리에-무카이 변환과 유도 범주 기법을 사용한다.
• [PP1]의 M-정규성 기준과 [PP2] §3의 기법을 적용하여, M-정규성 지수를 통한 세샤드리 상수의 경계를 설정한다.
• 결정성 다각형 다양체의 이건-노스코트 분해를 활용하여 피카르 배럴의 강한 토타 정규성을 계산한다.
• 층의 스위프-포트랴진 곱을 활용하여 곱 연산 사상의 전성 문제를 코hom로지적 소멸 조건으로 환원한다.
• 지수 정리와 동형사상 기법을 적용하여 반동차형 번들의 텐서 곱의 고차 코호몰로지 소멸을 분석한다.
• 아벨 캐스텔누오보-머프드의 보조정리와 [PP1]의 일반화된 정리 2.3을 사용하여 전역 절단 사상의 전성성을 증명한다.

실험 결과

연구 질문

• RQ1 아벨 다양체 위의 앰플 라인 번들의 세샤드리 상수는 M-정규성 지수를 통해 어떻게 경계될 수 있는가?
• RQ2 토타 분할 또는 그 이동을 통해 외적 피카르 배럴을 외적할 때, 어떤 코호몰로지 성질이 그 행동을 규정하는가?
• RQ3 반동차형 벡터 번들의 전역 절단의 곱 연산 사상의 전성에 어떤 수치 조건이 필요한가?
• RQ4 M-정규성을 사용하여 최대 알바누제 차원을 가진 불규칙 다양체에 대한 다중선형 매핑에 효과적인 경계를 도출할 수 있는가?
• RQ5 토타 정규성은 아벨 다양체 위의 벡터 번들의 전반적 생성성과 정상 생성성의 특성화에 어떤 역할을 하는가?

주요 결과

• 아벨 다양체 위의 극성 L의 세샤드리 상수는 L의 M-정규성 지수에 의해 아래로 경계지어지며, 국소적 양성과 코호몰로지 정규성 사이의 직접적인 연결 고리를 확립한다.
• 피카르 배럴을 토타 분할 또는 그 이동으로 외적할 경우, 모든 고차 코호몰로지가 소멸하며, 이는 이러한 배럴에 대한 강력한 쐐기 정리를 증명한다.
• I.T.를 만족하고 지수 0을 가진 반동차형 번들 E와 F에 대해, (1/r_F)·c₁(F(−Θ)) + (1/r′_E)·φ*Θc₁(Ẽ(−Θ)) > 0 이면, H⁰(E) ⊗ H⁰(tₓ*F) → H⁰(E ⊗ tₓ*F) 사상은 전사이다.
• (-1)-Θ-정규성 벡터 번들의 곱 연산 사상의 전성은 캐스텔누오보-머프드 보조정리와 코호몰로지 소멸 조건을 포함하는 일반 기준에 의해 보장된다.
• 모든 (-1)-Θ-정규성 벡터 번들은 정상적으로 생성되며, 이는 앰플 라인 번들과 버린드 번들의 프로젝티브 정상성 결과를 확장한다.
• 곱 연산 사상의 전성성 증명은 이소지즘을 통한 당김의 텐서 곱의 코호몰로지 소멸로 문제를 환원하며, 체른 클래스의 수치적 양성 조건을 활용한다.