[논문 리뷰] Complex-analytic Neron models for arbitrary families of intermediate Jacobians

Christian Schnell|arXiv (Cornell University)|2009. 10. 05.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 7

한 줄 요약

이 논문은 복소다양체 위의 임의의 중간 아벨-다발 가중치 −1의 극화된 호지 구조의 변화에 대해, 필터링된 D-모듈 및 혼합 호지 모듈을 이용하여 복소해석적 네론 모델을 구축한다. 이 모델은 정칙적으로 적합한 정상 함수를 확장하며, 수평 섹션은 정확히 특이점이 없는 것들과 대응되며, 정규 교차 분할이나 유니포텐트 단형을 요구하지 않는 채로 그린-그리피스 제로 위치 추측을 새롭게 증명한다.

ABSTRACT

Given a family of intermediate Jacobians (for a polarized variation of Hodge structure of weight -1) on a Zariski-open subset of a complex manifold, we construct an analytic space that naturally extends the family. Its two main properties are: (a) the horizontal and holomorphic sections are precisely the admissible normal functions without singularities; (b) the graph of any admissible normal function has an analytic closure inside our space. As a consequence, we obtain a new proof for the zero locus conjecture of M. Green and P. Griffiths. The construction uses filtered D-modules and M. Saito's theory of mixed Hodge modules; it is functorial, and does not require normal crossing or unipotent monodromy assumptions.

연구 동기 및 목표

• 복소다양체 위의 임의의 중간 아벨-다발 가중치 −1의 가족에 대해 페터 그리피스의 열린 문제인 네론 모델을 구성하는 것.
• 정규 교차 분할이나 유니포텐트 단형이 없는 상황에서도 적합한 정상 함수를 복소해석적 네론 모델의 섹션으로 정칙적으로 확장하는 것.
• 특이점이 없는 정상 함수와 정확히 대응하는 수평이고 정칙적인 섹션을 제공함으로써 그린-그리피스 제로 위치 추측을 새롭게 증명하는 것.
• torsion 특이점을 가진 정상 함수에 대해 분석적 네론 모델을 구축하고, 이 모델이 분석적 범주에서 최대임을 보이는 것.
• 해소된 특이점이나 단형 축소 기법을 피하는 함의적이고 기하학적으로 자연스러운 구성법을 확립하는 것.

제안 방법

• 혼합 호지 모듈 이론과 필터링된 D-모듈 이론을 이용하여 네론 모델을 복소해석적 공간으로 구성한다.
• 네론 모델을 호지 번들의 델리니의 확장의 섹션 공간 중에서 정수 격자 섹션으로 나누어 정의한다.
• 노말리프트 궤도 이론과 혼합 노말리프트 궤도 이론을 활용하여 특이점 위의 섹션의 구조를 기술한다.
• 수평성의 개념을 적용하여 네론 모델의 정칙 섹션을 특이점이 없는 적합한 정상 함수와 식별한다.
• 정상 함수의 그래프의 폐포를 분석적 공간 안에서 고려하여, 이 모델이 모든 적합한 확장을 포괄함을 보인다.
• 구성법이 함의적이고 특이점 해소나 단형 가정에 의존하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 정규 교차 분할이나 유니포텐트 단형을 가정하지 않고도 임의의 중간 아벨-다발 가족에 대해 복소해석적 네론 모델을 구성할 수 있는가?
• RQ2 특이점이 없는 적합한 정상 함수는 정확히 네론 모델의 수평이고 정칙 섹션과 대응되는가?
• RQ3 임의의 적합한 정상 함수의 그래프는 네론 모델 내에서 분석적으로 닫힐 수 있는가?
• RQ4 네론 모델은 하우스도르프 공간인가? 분석적 범주에서 존재하는 데 있어 위상적 장애 요소는 무엇인가?
• RQ5 이 분석적 네론 모델 구성법을 통해 그린-그리피스 제로 위치 추측을 재증명할 수 있는가?

주요 결과

• 구성된 분석적 공간 $\bar{J}(\text{H})$ 는 중간 아벨-다발에 대한 네론 모델이며, 수평이고 정칙인 섹션은 정확히 특이점이 없는 적합한 정상 함수들과 대응된다.
• 임의의 적합한 정상 함수의 그래프는 $\bar{J}(\text{H})$ 내부에 분석적으로 닫혀 있으며, 이는 모델이 이러한 확장에 대해 보편적임을 확인한다.
• 모델은 함의적이며 특이점 해소나 단형 축소 기법을 필요로 하지 않아 일반적인 설정에 적용 가능하다.
• 이 구성법은 그린-그리피스 제로 위치 추측을 새롭게 증명하며, 적합한 정상 함수의 제로 위치가 대수적임을 보여준다.
• 특이점 위의 섬유는 복소 리 군의 양의 차원을 가질 수 있으며, 예를 들어 $\bC^*$ 또는 $\bC$ 와 같이, 일반적으로 네론 모델이 하우스도르프일 수 없음을 시사한다.
• 예시들은 비 torsion 특이점을 가진 정상 함수의 경우 원점 위의 섬유가 일차원이 될 수 있음을 보여주며, 이러한 경우에 하우스도르프 분석적 네론 모델이 존재하지 않음을 시사한다.