[논문 리뷰] Néron models of $Pic^0$ via $Pic^0$

A Chiodo|arXiv (Cornell University)|2015. 09. 22.

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

한 줄 요약

이 논문은 안정적 감소를 갖는 곡선의 Jacobian의 Néron 모델에 대한 새로운 기하학적 구성법을 제시한다. 이는 정칙 왜곡된 곡선 모델에서 차수 0 선다발의 Picard 함자에 기반하여 이루어지며, 통일자에 대한 $\varepsilon$-제곱근을 통한 기본 체의 확장을 통해 Néron 모델이 $\mu_\ell$-등변 Picard 함자의 고정부분으로 실현되며, 이는 $\pi_g^\ell$의 컴actsification 위의 보편 군 스킴을 제공하고, 이중 그래프의 $\bf t$-비판적 군을 통한 특수 섬유의 연결 성분에 대한 새로운 조합적 해석을 이끌어낸다.

ABSTRACT

We provide a new description of the Néron model of the Jacobian of a smooth curve $C_K$ with stable reduction $C_R$ on a discrete valuation ring $R$ with field of fractions $K$. Instead of the regular semistable model, our approach uses the regular twisted model, a twisted curve in the sense of Abramovich and Vistoli whose Picard functor contains a larger separated subgroup than the usual Picard functor of $C_R$. In this way, after extracting a suitable $l$th root from the uniformizer of $R$, the pullback of the Néron model of the Jacobian represents a Picard functor $Pic^{0,l}$ of line bundles of degree zero on all irreducible components of a twisted curve. Over $R$, the group scheme $Pic^{0,l}$ descends to the Néron model yielding a new geometric interpretation of its points and new combinatorial interpretations of the connected components of its special fibre. Furthermore, by construction, $Pic^{0,l}$ is represented by a universal group scheme $Pic^{0,l}_{g}$ of line bundles of degree zero over a smooth compactification $\overline{M}_g^l$ of $M_g$ where all Néron models of smoothings of stable curves are cast together after base change.

연구 동기 및 목표

• 이산 평가환수 위에서 안정적 감소를 갖는 곡선의 Jacobian에 대한 Néron 모델의 새로운 기하학적 기술을 제공한다.
• 전통적인 정규 정규 반안정 모델 대신 정규 왜곡 모델을 사용하여 더 큰 분리된 Picard 함자를 가능하게 한다.
• 통일자에 대한 $\varepsilon$-제곱근 확장인 $R_\ell$로의 기본 체 변경 후, Néron 모델을 $\mu_\ell$-등변 Picard 함자의 고정부분으로 실현한다.
• 모든 성분의 왜곡된 곡선에서의 차수 0 선다발을 매개변수화하는 보편 군 스킴 ${\mathcal{P}ic}^{\bf{0},\ell}_{g}$를 $\overline{\mathcal{M}}_g^\ell$ 위에 구성한다.
• 이중 그래프의 $\bf t$-비판적 군을 통한 Néron 모델 특수 섬유의 연결 성분에 대한 새로운 조합적 해석을 제공한다.

제안 방법

• Abramovich와 Vistoli가 도입한 안정 곡선의 정규 왜곡 모델을 사용하여, 기존의 반안정 모델에서의 표준 $\operatorname{Pic}^0$보다 더 큰 Picard 함자를 정의한다.
• $R_\ell = R[t]/(t^\ell - \pi)$를 통한 기본 체 변경으로, $\pi$를 통일자로 삼아 $\ell$-제곱근을 추출하고 $\mu_\ell$-등변성을 가능하게 한다.
• 왜곡된 곡선 위에서 차수 0 선다발을 매개변수화하는 Picard 함자 $\operatorname{Pic}^{\bf{0},\ell}$를 구성한다.
• $\ell$가 $\bf t$-비판적 군의 지수의 배수일 경우, $R_\ell$로의 당김 이후 $\operatorname{Pic}^{\bf{0},\ell}_{R_\ell}$의 $\mu_\ell$-고정부분으로 Néron 모델을 식별한다.
• $\overline{\mathcal{M}}_g^\ell$ 위에 존재하는 보편 군 스킴 ${\mathcal{P}ic}^{\bf{0},\ell}_{g}$를 실현하며, 이는 모든 성분의 왜곡된 곡선에서의 차수 0 선다발을 매개변수화한다.
• $\mu_\ell$-등변성을 이용해 특수 섬유를 고정부분과 이동부분으로 분해하고, Néron 모델을 고정부분 $F_\ell$로 식별한다.

실험 결과

연구 질문

• RQ1 표준 반안정 모델 대신 왜곡된 곡선 모델을 사용하여 Jacobian의 Néron 모델을 기하학적으로 재구성할 수 있는가?
• RQ2 통일자의 $\ell$-제곱근 확장에 의한 기본 체 변경 후, 왜곡된 곡선에서의 차수 0 선다발의 Picard 함자는 Néron 모델과 어떻게 관련되는가?
• RQ3 $\bf t$-비판적 군이 $\operatorname{Pic}^{\bf{0},\ell}$의 고정부분으로 Néron 모델이 실현되기 위한 최소 $\ell$를 결정하는 데 어떤 역할을 하는가?
• RQ4 컴팩티피케이션된 왜곡된 곡선의 모듈리 공간 위의 보편 군 스킴이 기본 체 변경 후 모든 안정 곡선의 스무딩에 대한 Néron 모델을 실현할 수 있는가?
• RQ5 이중 그래프의 어떤 조합적 구조가 Néron 모델 특수 섬유의 연결 성분을 지배하는가?

주요 결과

• 특수 섬유의 연결 성분은 $\bf t$-비판적 군 $\mathcal{K}_{\bf t}(\Gamma_k)$의 지수의 배수인 $\ell$일 때, $R_\ell$로의 기본 체 변경 이후 $\operatorname{Pic}^{\bf{0},\ell}_{R_\ell}$의 $\mu_\ell$-고정부분과 Néron 모델이 동형임을 보인다.
• 보편 군 스킴 ${\mathcal{P}ic}^{\bf{0},\ell}_{g}$는 $\overline{\mathcal{M}}_g^\ell$ 위에 존재하며, 모든 성분의 왜곡된 곡선에서의 차수 0 선다발을 매개변수화하며, 당김 후 $R$ 위에서 Néron 모델로 내림내림된다.
• Néron 모델 특수 섬유의 연결 성분은 $\bf t$-비판적 군 $\mathcal{K}_{\bf t}(\Gamma_k)$를 통해 조합적으로 해석되며, 이는 성분 군의 구조를 지배한다.
• 이 구성법은 표준적인 $J_{C^S}$ 성분으로의 분해보다 더 정교한 해석을 제공하는, 왜곡된 곡선 위의 Picard 함자의 몫으로 Néron 모델의 새로운 기하학적 실현을 제공한다.
• 컴팩티피케이션된 Jacobian 위의 전역 군 구조가 필요 없도록 하기 위해, 왜곡된 모델과 $\mu_\ell$-등변성을 사용하여 Néron 모델을 고정점으로 분리한다.
• 결과는 $\ell$가 $\mathcal{K}_{\bf t}(\Gamma_k)$의 지수의 배수일 때에만 성립하며, 이는 Remark 5.7과 Corollary 5.6에 명시되어 있다.