[논문 리뷰] A criterion for existence of Néron models of jacobians

Giulio Orecchia|arXiv (Cornell University)|2018. 06. 14.

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

한 줄 요약

이 논문은 차원이 1보다 큰 정칙 스킴 위의 노드 곡선의 jacobian에 대한 Néron 모델의 존재성을 위한 필수적이고 충분한 조건—토닉 덧셈성(toric additivity)—을 확립한다. 토닉 덧셈성은 섬유의 이중 그래프의 베티 수의 등식을 통해 정의되며, 이는 특이 섬유에서 jacobian의 토닉 랭크가 경계 성분의 일반점에서의 토닉 랭크의 합과 일치함을 보장한다. 핵심 결과는 Néron 모델이 존재함과 동시에 가정된 가족이 토닉 덧셈성을 만족할 때에만 존재함을 보여주며, jacobian에 대한 고차원 Néron 모델 이론에서 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

Néron models of abelian varieties do not necessarily exist if the base $S$ has dimension higher than 1. We introduce a new condition, called toric additivity, on a family of smooth curves having nodal reduction over a normal crossing divisor $D\subset S$. The condition is necessary and sufficient for existence of a Néron model of the jacobian of the family; it depends only on the Betti numbers of the dual graphs of the fibres of the family, or on the toric ranks of the fibres of the jacobian.

연구 동기 및 목표

• 정칙 스킴의 차원이 1보다 큰 경우, 노드 곡선의 jacobian에 대한 Néron 모델이 존재하는지에 대한 열린 문제를 해결하기 위해.
• jacobian의 Néron 모델 존재성을 보장하는 가족에 대한 정확하고 내재된 조건을 규명하기 위해.
• 토닉 덧셈성, Holmes의 조건(정렬성) 및 곡선 가족의 전체 공간의 정칙성 간의 관계를 명확히 하기 위해.
• 토닉 덧셈성이 약간의 가정(예: 우수한 기반 스킴) 하에서 Néron 모델 존재에 대해 필수적이고 충분한 조건임을 증명하기 위해.

제안 방법

• 특이 섬유의 이중 그래프의 첫 번째 베티 수와 경계 성분의 일반점에서의 섬유의 이중 그래프들의 베티 수의 합이 같은 조건을 통해 정의된 새로운 조건인 토닉 덧셈성을 도입한다.
• 일반화된 jacobian Pic^0_{C/S}를 이용하여, jacobian의 토닉 부분을 포괄하는 함수적이고 준아벨리안 모델을 제공함으로써, 조건을 국소적으로 검증할 수 있도록 한다.
• 토닉 덧셈성이 에탈 기저 변경과 전체 공간의 블로우업에 대해 안정적임을 증명하고, jacobian의 Pic^0 구조를 유지함을 보여준다.
• 토닉 덧셈성이 적절한 블로우업 이후 정칙 모델의 존재를 암시함을 보여주며, 정칙 전체 공간에 대한 Néron 모델 존재에 관한 기존 결과를 적용할 수 있도록 한다.
• 에탈 코버링을 따라 토닉 덧셈성이 내림내림되며, 문제를 전체 공간이 정칙인 경우로 축소하기 위해 내림내림 기법을 사용한다.
• Holmes의 정렬 조건과 정칙 경우에서의 토닉 덧셈성의 동치성을 활용하여, 역방향을 증명한다.

실험 결과

연구 질문

• RQ1 정칙 스킴의 차원이 1보다 큰 경우, 노드 곡선의 jacobian이 Néron 모델을 갖는 조건은 무엇인가?
• RQ2 특이 섬유에서 jacobian의 토닉 랭크는 경계 성분의 일반 섬유에서의 토닉 랭크와 어떻게 관련이 있는가?
• RQ3 섬유의 이중 그래프에 대한 조합론적 조건이 고차원에서 jacobian의 Néron 모델 존재성을 특징짓는가?
• RQ4 토닉 덧셈성이 기저 변경 또는 블로우업 이후 정칙 모델의 존재를 암시하는가?
• RQ5 전체 공간이 정칙일 때, 토닉 덧셈성은 Holmes의 정렬 조건과 동치인가?

주요 결과

• S가 우수한 스킴일 경우, 토닉 덧셈성은 정칙 스킴 S 위에서 jacobian의 Néron 모델 존재에 대해 필수적이고 충분한 조건이다.
• 조건은 h₁(Γ) = h₁(Γ₁) + … + h₁(Γₙ)의 등식과 동치이며, 여기서 Γ는 특이 섬유의 이중 그래프이고, Γᵢ는 경계 성분의 일반점에서의 섬유의 이중 그래프들이다.
• 토닉 덧셈성은 에탈 기저 변경과 전체 공간의 블로우업에 대해 안정적이며, jacobian의 Pic^0 구조를 유지한다.
• 가족의 전체 공간이 정칙일 경우, 토닉 덧셈성은 Holmes의 정렬 조건과 동치이다.
• jacobian이 S 위에서 Néron 모델을 갖기 위한 필요충분조건은 가족이 토닉 덧셈성을 만족하는 것이다. 이는 전체 공간이 정칙이 아닐 경우에도 성립한다.
• 조건은 S 상에서 열려 있으므로, jacobian이 Néron 모델을 갖는 최대의 열린 부분집합 V ⊂ S 가 존재한다.