[논문 리뷰] Regularity on abelian varieties III: relationship with Generic Vanishing and applications

Giuseppe Pareschi, Mihnea Popa|ArXiv.org|2008. 02. 07.

Algebraic Geometry and Number Theory참고 문헌 37인용 수 50

한 줄 요약

이 논문은 아벨 다양체 위에서 M-정규성과 일반성 없는(GV) 조건 사이의 정확한 관계를 규명하며, M-정규성의 복소선형 복소수는 GV-복소수이자 푸리에-무카이 쌍대가 토르션 자유임을 보여준다. GV-복소수의 텐서곱은 한 인자가 국소적으로 자유일 경우 GV임을 증명하고, 이를 통해 GV-복소수의 네프성(nefness)을 보인다. 이 틀은 복소다양체의 다중표준 매핑과 세샤드리 상수에 대한 새로운 효과적인 결과를 가능하게 하며, 벡터 복소수의 정상 생성을 위한 코homological 기준을 제공한다.

ABSTRACT

We describe the relationship between the notions of $M$-regular sheaf and $GV$-sheaf in the case of abelian varieties. The former is a natural strengthening of the latter, and we provide an algebraic criterion characterizing it among the larger class. Based on this we deduce new basic properties of both $M$-regular and $GV$-sheaves. In the second part we give a number of applications of generation criteria for $M$-regular sheaves to the study of Seshadri constants, Picard bundles, pluricanonical maps on irregular varieties, and semihomogeneous vector bundles. This second part of the paper is based on our earlier preprint math.AG/0306103, with some improved statements and shortened arguments.

연구 동기 및 목표

• 아벨 다양체에서 M-정규성과 일반성 없는(GV) 조건 사이의 정확한 관계를 명확히 하기.
• GV-복소수와 M-정규성 복소수의 텐서곱에 대한 닫힘 성질을 규명하며, 특히 한 인자가 국소적으로 자유일 경우를 중심으로 한다.
• M-정규성 복소수의 풍부성과 쌍대 이론을 이용해 아벨 다양체 위의 GV-복소수가 네프임을 증명하기.
• M-정규성 복소수의 생성 성질을 응용하여, 최대 알바누제 차원을 가진 불규칙 다양체의 다중표준 매핑에 대한 효과적인 결과를 도출하기.
• M-정규성 지수와 세샤드리 상수를 연결하여, 아벨 다양체 위의 복소수의 정상 생성을 위한 코homological 성질을 연구하기.

제안 방법

• 푸리에-무카이 변환과 그로텐디크 쌍대 이론을 사용하여, M-정규성 복소수를 푸리에-무카이 쌍대가 토르션 자유인 GV-복소수로 특성화한다.
• 동역학적 대수학과 교환 대수학 기법을 적용하여, 텐서곱 하에서 코homological 지지 집합의 분석을 수행한다.
• M-정규성 복소수의 풍부성에 관한 데바르의 정리를 활용하여, 기저 변화와 쌍대 이론을 통해 GV-복소수가 네프임을 유도한다.
• 에건-노스콧 분해를 적용하여, 제이코비안 위의 피카르 복소수와 그 텐서의 거듭제곱의 정규성을 계산한다.
• 대칭적 곱과 등주형에 의한 역상 구조를 활용하여, 코homological 소멸을 선형 결합된 분할 클래스의 풍부성로 환원한다.
• 아벨 캐스텔누오보-무카이 보조정리와 켐프 타입의 추론을 사용하여, $(-1)$-\Theta-정규 복소수에 대해 곱셈 사상의 상사성을 증명한다.

실험 결과

연구 질문

• RQ1 아벨 다양체에서 M-정규성과 일반성 없는(GV) 조건는 어떻게 관련되어 있는가?
• RQ2 두 GV-복소수의 텐서곱이 다시 GV-복소수가 되는 조건은 무엇인가?
• RQ3 M-정규성과 쌍대 이론을 통해 아벨 다양체 위의 GV-복소수가 네프임을 유도할 수 있는가?
• RQ4 최대 알바누제 차원을 가진 불규칙 다양체의 다중표준 시리즈에 대해 매우 풍부한 성질을 얻을 수 있는 효과적인 경계는 무엇인가?
• RQ5 M-정규성 지수는 세샤드리 상수와 아벨 다양체 위의 복소수의 정상 생성에 어떻게 관련되어 있는가?

주요 결과

• M-정규성 복소수는 푸리에-무카이 쌍대가 토르션 자유인 GV-복소수로 특성화되며, 이는 두 개념 간의 정확한 연결 고리를 제공한다.
• 한 인자가 국소적으로 자유일 경우 GV-복소수의 텐서곱은 GV이며, 이는 토르션 자유 조건에 의해 M-정규성 복소수에도 동일하게 적용된다.
• 아벨 다양체 위의 GV-복소수는 네프이며, 이는 M-정규성 복소수의 풍부성과 쌍대 이론을 통해 도출된 결과이다.
• 일반형이면서 최대 알바누제 차원을 가진 매끄러운 프로젝티브 다양체 $Y$에 대해, 알바누제 이미지가 부분 토르스에 의해 덮이지 않는다면, $|3K_Y|$는 알바누제 사상의 예외적 영역 외부에서 매우 풍부하다.
• 아벨 다양체 위의 극화 $L$의 세샤드리 상수는 $L$의 $M$-정규성 지수에 의해 아래에서 유계이므로, 국소적 양성에 대한 새로운 수치적 불변량을 제공한다.
• $(-1)$-\Theta-정규 벡터 복소수 $E$와 $F$에 대해, 곱셈 사상 $H^0(E) \otimes H^0(F) \to H^0(E \otimes F)$는 상사성이며, 이는 정상 생성을 의미한다.