[논문 리뷰] Families of zero cycles and divided powers: I. Representability

David Rydh|ArXiv.org|2008. 03. 05.

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

한 줄 요약

이 논문은 분할 거듭제곱환 $\Gamma^d_A(B)$를 사용하여 분리된 대수적 공간 $X/S$ 위의 차수 $d$의 영원형의 가 Families 를 나타내는 대수적 공간 $\Gamma^d(X/S)$를 구성한다. 주요 기여는 특성 0이거나 $X/S$가 평탄한 경우 이 공간이 대칭곱 $\operatorname{Sym}^d(X/S)$와 일치함을 보이고, 곱법 다항법칙의 핵의 기본 성질을 증명하는 것이다. 특히, 이 핵은 에탈 기저 변경에서는 유지되지만 평탄한 기저 변경에서는 그렇지 않다.

ABSTRACT

For any separated algebraic space $X/S$ we construct a separated algebraic space $Γ^d(X/S)$ -- the space of divided powers -- which parameterizes zero cycles of degree $d$ on $X$. The space of divided powers for an affine scheme is given by the spectrum of the algebra of divided powers. In characteristic zero or when $X/S$ is flat, the constructed space coincides with the symmetric product $Sym^d(X/S)$. We also prove several fundamental results on the kernels of multiplicative polynomial laws necessary for the construction of $Γ^d(X/S)$.

연구 동기 및 목표

• 분리된 대수적 공간 $X/S$ 위의 차수 $d$의 영원형을 매개변수화하는 함수적이고 기하학적인 공간의 구축.
• 양의 특성에서 고전적 초차비의 한계를 해결하기 위해 비단순화되고 함수적으로 잘 행동하는 대안을 도입함으로써, 투사 임bedding에 의존하지 않는다.
• 곱법 다항법칙의 핵에 대한 기본 성질을 수립하며, 특히 평탄한 기저 변경과의 교환 실패와 에탈 기저 변경과의 교환 성립을 다룬다.
• 구성된 공간 $\Gamma^d(X/S)$가 대수적 공간으로 표현 가능하고 특성 0이거나 평탄성 조건에서 대칭곱과 일치함을 보이는 것.

제안 방법

• 아핀 경우에 $\Gamma^d(X/S)$를 분할 거듭제곱 대수 $\Gamma^d_A(B)$의 스펙트럼으로 구성한다.
• $\underline{\Gamma}^d_{X/S}$의 함수적 성질과 에탈 기저 변경을 이용하여 일반적인 분리된 대수적 공간으로 표현 가능성의 확장을 이룬다.
• Cayley-Hamilton 정리에 의해 다항법칙 $F: B \to A$의 핵이 $A$에 대해 정수적임을 증명한다.
• 핵이 극한, 국소화, 매끄러운 기저 변경과는 교환되지만 평탄한 기저 변경과는 교환되지 않음을 보인다.
• 에탈 코팅을 이용한 강하 기법을 적용하여 $\underline{\Gamma}^d_{X/S}$가 대수적 공간으로 표현 가능함을 보인다.
• 노름의 보편 성질과 영원형의 덧셈 사상 $\Psi_{X/S}$를 이용하여 $\Gamma^d(X/S)$와 대칭곱 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 투사 임bedding에 의존하지 않는 함수적이고 비단순화된 영원형 매개변수 공간은 어떻게 구성할 수 있는가?
• RQ2 대칭곱 $\operatorname{Sym}^d(X/S)$가 분할 거듭제곱 공간 $\Gamma^d(X/S)$와 일치하는 정확한 조건은 무엇인가?
• RQ3 왜 곱법 다항법칙의 핵은 평탄한 기저 변경과 교환되지 않으며, 어떤 종류의 기저 변경과는 교환되는가?
• RQ4 임의의 분리된 대수적 공간 $X/S$에 대해 공간 $\Gamma^d(X/S)$가 대수적 공간으로 표현 가능한가?
• RQ5 영원형의 덧셈 사상 $\Psi_{X/S}$는 $\Gamma^d(X/S)$ 위의 보편 가족과 어떻게 관련이 있는가?

주요 결과

• $\Gamma^d(X/S)$는 임의의 분리된 대수적 공간 $X/S$에 대해 대수적 공간으로 표현 가능하며, 명시적인 에탈 코팅 구성이 존재한다.
• 아핀 경우에 $\Gamma^d(X/S) \cong \mathrm{Spec}(\Gamma^d_A(B))$이며, 여기서 $\Gamma^d_A(B)$는 분할 거듭제곱환의 링이다.
• $X/S$가 평탄하거나 특성이 0이면 $\Gamma^d(X/S)$는 대칭곱 $\operatorname{Sym}^d(X/S)$와 일치한다.
• 곱법 다항법칙의 핵은 평탄한 기저 변경과 교환되지 않지만, 에탈 기저 변경과는 교환된다.
• 이 구성은 양의 특성에서 대칭곱의 비함수적 성질을 해결하기 위해 분할 거듭제곱 공간으로 대체함으로써 비단순화된 대안을 제공한다.
• 보편 가족은 영원형의 덧셈 사상 $\Psi_{X/S}$와 관련이 있으며, 평탄한 경우에 대해 보다 정교한 묘사가 가능하다.