[논문 리뷰] On the Log-Picard functor for aligned degenerations of curves

Alberto Bellardini|arXiv (Cornell University)|2015. 07. 02.

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

한 줄 요약

이 논문은 정칙 기저 스킴 위에서 정렬된, 로그 세미스테이블 곡선의 상대 로그 피카르 함수의 부분함수의 표현 가능성을 확립한다. 이 함수의 최대 분리 몫이 매끄러운 대수적 공간임을 증명하고, 총 공간이 정칙일 경우, 매끄러운 국소에서의 상대 피카르 함수의 네론 모델을 이룬다. 주요 기여는 특히 이산 평가환환으로부터의 수직적 당김의 경우에 로그 기하학을 통한 네론 모델의 함의론적 해석이다.

ABSTRACT

We show that a particular subfunctor of the relative logarithmic Picard functor for families of aligned, log semistable curves over a regular base scheme and smooth over an open dense subscheme of the base is representable by a smooth algebraic space which is slightly more separated than the classical relative Picard functor. We show the existence of its maximal separated quotient and give a new functorial interpretation in terms of logarithmic geometry for the Néron model of the relative Picard functor of the smooth locus when we restrict to transversal pull backs from spectra of discrete valuation rings. We also show that aligned degenerations are log cohomologically flat.

연구 동기 및 목표

• 정칙 기저 스킴 위에서 정렬된, 로그 세미스테이블 곡선의 가닥에 대해 로그 피카르 함수의 표현 가능성을 연구한다.
• 로그 피카르 함수의 최대 분리 몫이 매끄러운 국소에서의 상대 피카르 함수의 네론 모델과 어떻게 관련되는지 밝힌다.
• 특히 이산 평가환환으로부터의 수직적 당김의 경우에 로그 기하학을 사용하여 네론 모델의 함의론적 해석을 제공한다.
• 정렬된 변형이 로그 코hom올로지적으로 평탄함을 확립함으로써 표현 가능성 결과를 가능하게 한다.

제안 방법

• 에테일 층화를 통해 $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$를 정의하고, 이는 $M_C^{gp}$-터소르의 동형류의 에테일 층화이며, 기저 변경 후 $\overline{M}_X^{gp}$에 대한 정규화를 갖는다.
• 로그 피카르 함수 $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$의 최대 분리 몫 $Q^{\log}$를 정의하고, 이 함수가 매끄러운 대수적 공간에 의해 표현 가능하다는 것을 증명한다.
• 네론 모델의 보편 성질을 적용하여, $C$가 정칙일 경우 $Q^{\log}$가 네론 확장 성질을 만족함을 보인다.
• 로그 코hom올로지적 평탄성 이론을 적용하고, 정렬 조건이 곡선에 대해 로그 코호몰로지적 평탄성을 유도함을 보인다.
• 임의의 이산 평가환환 $T$에 대해 $Q_T^{\log} \cong \underline{\mathrm{Pic}}^{\log,\dagger}_{C_T/T}$인 자연스러운 동형을 확립한다.
• 기저 변경 호환성과 에테일 강하를 활용하여, 로그 피카르 함수의 당김에 대한 행동을 검증한다.

실험 결과

연구 질문

• RQ1 정렬된 곡선의 변형에 대해, 로그 피카르 함수의 최대 분리 몫이 매끄러운 대수적 공간으로 표현 가능할 조건은 무엇인가?
• RQ2 로그 피카르 함수는 매끄러운 국소에서의 상대 피카르 함수의 고전적 네론 모델과 어떻게 관련되는가?
• RQ3 이산 평가환환으로부터의 수직적 당김의 경우에 로그 기하학을 사용하여 네론 모델을 함의론적으로 해석할 수 있는가?
• RQ4 정렬 조건은 로그 세미스테이블 곡선의 가닥에 대해 로그 코호몰로지적 평탄성을 충분히 보장하는가?
• RQ5 총 공간이 정칙일 경우, 로그 피카르 함수와 네론 모델 사이의 정확한 관계는 무엇인가?

주요 결과

• 만약 $C/S$가 정렬되어 있고 $S$가 정칙일 경우, $\underline{\mathrm{Pic}}^{\log,[0]}_{C/S}$의 최대 분리 몫 $Q^{\log}$는 $S$ 위에서 매끄러운 대수적 공간에 의해 표현 가능하다.
• 총 공간 $C$가 정칙일 경우, $Q^{\log}$는 정의 0.1의 의미에서 $\underline{\mathrm{Pic}}_{C_U/U}$에 대한 네론 모델이 된다.
• 임의의 이산 평가환환 $V$와 $T = \mathrm{Spec}(V) \to S$의 사상으로서 일반점이 $U$로 매핑될 경우, $Q_T^{\log} \cong \underline{\mathrm{Pic}}^{\log,\dagger}_{C_T/T}$인 자연스러운 동형이 존재한다.
• 만약 $C$가 $\mathrm{Spec}(V)$ 위에서 완비 노다르 곡선일 경우, $\underline{\mathrm{Pic}}^{\log,\dagger}_{C/T}$는 $T$ 위에서 매끄럽고 분리된 대수적 군에 의해 표현 가능하다.
• 총 공간 $C$가 정칙일 경우, $\underline{\mathrm{Pic}}^{\log,\dagger}_{C/T}$는 $\underline{\mathrm{Pic}}_{C_\eta/\eta}$의 고전적 네론 모델과 동형이다.
• 정렬 조건은 로그 세미스테이블 곡선의 가닥에 대해 로그 코호몰로지적 평탄성을 유도하며, 이는 로그 피카르 함수의 표현 가능성을 보장한다.