[논문 리뷰] Models of Jacobians of curves

David Holmes, Samouil Molcho외 2명|arXiv (Cornell University)|2020. 07. 21.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 토로이드럴 다양체 위의 프리스테이블 곡선의 아벨-자코비안에 대한 네론 모델의 존재를 확립하며, 고차원 기저로의 고전적 네론 모델을 일반화한다. 이는 토너션 섹션에 대한 확장 성질을 갖는 최대의 준콤팩트, 분리된 군 모델인 포화 모델을 도입하고, 로그 기하학을 통해 로그 자코비안이 로그 네론 모델임을 증명함으로써 이론을 통합한다.

ABSTRACT

We show that the Jacobians of prestable curves over toroidal varieties always admit Néron models. These models are rarely quasi-compact or separated, but we also give a complete classification of quasi-compact separated group-models of such Jacobians. In particular we show the existence of a maximal quasi-compact separated group model, which we call the saturated model, which has the extension property for all torsion sections. The Néron model and the saturated model coincide over a Dedekind base, so the saturated model gives an alternative generalisation of the classical notion of Néron models to higher-dimensional bases; in the general case we give necessary and sufficient conditions for the Néron model and saturated model to coincide. The key result, from which most others descend, is that the logarithmic Jacobian of \cite{Molcho2018The-logarithmic} is a log Neron model of the Jacobian.

연구 동기 및 목표

• 분리되고 준콤팩트인 모델이 드물게 존재하는 고차원 기저로 고전적 네론 모델의 개념을 확장하기 위해.
• 토로이드럴 자코비안의 부분군을 통해 분리되고 준콤팩트인 군 모델을 분류하기 위해.
• 포화 모델을 최대의 준콤팩트, 분리된 군 모델로 정의하고, 토너션 섹션에 대한 확장 성질을 갖는 것으로 특성화하기 위해.
• 로그 기하학을 통한 로그 자코비안의 해석을 통해 네론 모델을 정의하기 위해.
• 고차원에서 네론 모델과 포화 모델이 일치하는 필요 및 충분 조건을 제공하기 위해.

제안 방법

• 로그 정칙 기저 위의 프리스테이블 곡선에서의 차수 0 로그 선다발을 표현하는 엄격한 로그 피카르 함수 sLPic⁰으로 네론 모델을 구성한다.
• 네론 모델의 항등성분으로 나누어진 몫으로서 토로이드럴 자코비안을 정의하며, 이를 기저 위의 에탈레 군 대수적 공간으로 형성한다.
• 토로이드럴 자코비안을 사용해 유한차수 열린 부분군을 분류하며, 이는 분리되고 준콤팩트인 자코비안 군 모델과 일대일 대응된다.
• 로그 사상에 대한 보편 확장 성질을 검증함으로써 로그 자코비안이 로그 네론 모델임을 증명한다.
• 피카르 함수 내의 포화 과정을 통해 포화 모델의 존재를 확립한다.
• 관련 함수들의 표준성과 표현 가능성을 증명하기 위해 스킴의 큰 사이트에서 내림내림과 표현 가능성 기법을 적용한다.

실험 결과

연구 질문

• RQ1 고차원 토로이드럴 기저 위의 프리스테이블 곡선의 자코비안에 대해 네론 모델이 존재하는가?
• RQ2 고차원에서 네론 모델과 포화 모델이 일치하는 데 필요한 및 충분한 조건은 무엇인가?
• RQ3 분리되고 준콤팩트인 자코비안 군 모델은 토로이드럴 불변량을 통해 어떻게 분류될 수 있는가?
• RQ4 로그 기하학은 고차원 기저에 대한 네론 모델의 구성과 특성화에서 어떤 역할을 하는가?
• RQ5 포화 모델은 토너션 섹션에 대한 보편 확장으로 특성화될 수 있는가?

주요 결과

• 토로이드럴 다양체 위의 프리스테이블 곡선의 자코비안에 대한 네론 모델은 항상 존재하며, 준분리적이다.
• 로그 자코비안 sLPic⁰은 로그 네론 모델이며, 로그 선다발을 통한 모듈러 해석을 제공한다.
• 포화 모델은 최대의 준콤팩트, 분리된 군 모델이며, 모든 토너션 섹션에 대해 확장 성질을 갖는다.
• 토로이드럴 자코비안의 유한차수 열린 부분군과 분리되고 준콤파クト인 자코비안 군 모델 사이에 자연스러운 전단사 대응이 존재한다.
• 네론 모델과 포화 모델이 일치하는 것은 곡선이 스무딩 매개변수의 정렬과 관련된 조건을 만족할 때에 한하여 성립한다.
• 엄격한 토로이드럴 자코비안 sTPic⁰은 국소 딜레그 기저 위에서 네론 모델의 성분군과 동형이다.