[논문 리뷰] Neron models over moduli of stable curves

Lucia Caporaso|arXiv (Cornell University)|2005. 02. 08.

Advanced Differential Equations and Dynamical Systems인용 수 1

한 줄 요약

이 논문은 총공간이 정칙인 안정 곡선의 일파라미터 가닥에 대해 임의의 Néron 모델을 실현하는 안정 곡선의 모듈리 스택 위에 보편 스택의 존재를 확립한다. 또한 보편 Picard 스킴의 스택적 컴actification을 구성하여 이러한 가닥에 대한 Néron 모델의 기하학적으로 의미 있는 완비를 제공한다.

ABSTRACT

We prove that there exist some stacks, representable over the stack of stable curves, having the following universal property with respect to Neron models of Jacobians. For every one-parameter family of stable curves, with regular total space, the Neron model of the Jacobian of its generic fibre is isomorphic to the base change of the above stacks via the moduli map of the given family. We also obtain a stack compactification of the universal Picard scheme and hence a geometrically meaningful completion of the Neron model of the Jacobian for every family as above.

연구 동기 및 목표

• 총공간이 정칙인 안정 곡선의 가닥에 대해, 안정 곡선의 모듈리 스택 위에 보편 스택을 구성하여 임의의 Jacobian에 대한 Néron 모델을 실현하는 것.
• 보편 Picard 스킴의 기하학적으로 의미 있는 컴actification을 제공하는 것.
• 스택 이론적 방법을 통해 Néron 모델 이론을 안정 곡선의 가닥으로 확장하는 것.
• 가닥의 모듈리 사상에 沿해 Néron 모델의 Jacobian와 기저 변경 간의 보편적 성질을 수립하는 것.

제안 방법

• 알제브라 스택과 변형 이론을 활용하여 안정 곡선의 모듈리 스택 위에 스택을 구성하는 것.
• 총공간이 정칙인 안정 곡선의 가닥에 대해 Néron 모델 이론을 적용하는 것.
• 가닥의 모듈리 사상에 沿해 기저 변경을 통해 일반 섹션의 Néron 모델과 구성된 스택을 연결하는 것.
• 기하학적 불변량 이론과 모듈리 이론적 기법을 사용하여 보편 Picard 스킴의 스택 컴actification을 구성하는 것.
• 가닥의 총공간의 정칙성에 기반하여 Néron 모델의 존재성과 유일성을 보장하는 것.
• 기저 변경과 모듈리 사상과의 호환성을 검증하여 보편 성질을 수립하는 것.

실험 결과

연구 질문

• RQ1 총공간이 정칙인 안정 곡선의 모든 일파라미터 가닥에 대해, 그 가닥의 Jacobian에 대한 Néron 모델을 실현하는 안정 곡선의 모듈리 스택 위에 보편 스택을 구성할 수 있는가?
• RQ2 보편 Picard 스킴은 어떻게 기하학적으로 의미 있는 방식으로 컴actification될 수 있는가?
• RQ3 가닥의 Jacobian에 대한 Néron 모델과 그 가닥의 모듈리 사상에 의한 보편 스택의 기저 변경 간의 관계는 무엇인가?
• RQ4 스택 이론적 구성에 의해 Jacobian의 Néron 모델을 기하학적으로 완비시킬 수 있는가?
• RQ5 이 구성은 안정 곡선의 가닥에 대해 어떤 보편 성질을 만족하는가?

주요 결과

• 총공간이 정칙인 안정 곡선의 일파라미터 가닥에 대해, 모든 가닥에 대해 보편적으로 Jacobian의 Néron 모델을 실현하는 안정 곡선의 모듈리 스택 위에 스택이 존재한다.
• 일반 섹션의 Jacobian에 대한 Néron 모델은 가닥의 모듈리 사상에 의한 이 스택의 기저 변경과 동형이다.
• 보편 Picard 스킴의 스택 컴actification이 구성되어, 이러한 가닥에 대한 Néron 모델의 기하학적 완비를 제공한다.
• 이 구성은 가닥의 모듈리 이론적 구조를 존중하는 방식으로 Néron 모델이 완비됨을 보장한다.
• 보편 성질은 총공간이 정칙인 모든 가닥에 대해 보편적으로 성립하여, 모듈리 사상과 Néron 모델 간의 정준적 연결을 확립한다.
• 결과적으로, 이론은 스택 이론적 및 모듈리 이론적 방법을 통해 Néron 모델 이론을 안정 곡선의 맥락으로 확장한다.