[논문 리뷰] The space of generically étale families

David Rydh, Roy Skjelnes|2007. 03. 12.

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

한 줄 요약

이 논문은 분리된 대수적 공간 $X\to S$ 내의 랭크 $n$의 닫힌 부분공간의 일반적으로 에탈리 계열을 매개변수화하는 공간 $\mathscr{G}^{n}_{X}$를 대칭 텐서와 블로우업을 포함하는 명시적 대수적 구성으로 구축한다. 주요 기여는 하이루베르트 스킴을 사용하지 않고도 직접 구성에서 유도된 보편 성질이며, $\mathscr{G}^{n}_{X}$가 하이루베르트 스킴 내에서 에탈리 계열의 열린 부분공간의 스키마적 닫힘과 자연스럽게 동형임을 보여준다.

ABSTRACT

We construct a space $G^n_X$ and a rank $n$, generically etale family of closed subspaces in a separated ambient space $X$. The constructed pair satisfies a universal property of generically etale families of closed subspaces in $X$. This universal property is derived directly from the construction and does in particular not use the Hilbert scheme. The constructed space $G^n_X$ is by its universal property canonically identified with a closed subspace of the Hilbert scheme.

연구 동기 및 목표

• 분리된 대수적 공간 $X\to S$ 내에서 랭크 $n$의 닫힌 부분공간의 일반적으로 에탈리 계열을 보편적으로 매개변수화하는 공간 $\mathscr{G}^n_X$를 구축하는 것.
• 하이루베르트 스킴을 사용하지 않고도 $\mathscr{G}^n_X$의 보편 성질을 직접 구성에서 유도하는 것.
• $\mathscr{G}^n_X$가 하이루베르트 스킴 내에서 에탈리 계열의 열린 부분공간의 스키마적 닫힘과 자연스럽게 동형임을 보이는 것.
• 블로우업과 노름 사상 등을 사용하여 $\mathscr{G}^n_X$ 위의 보편 계열에 대한 독립적이고 추상적인 전역 구성 제공.

제안 방법

• 텐서 대수 내의 명시적 항등식을 통해 대칭 텐서와 교환자 사상에 기반한 대수의 준동형사상 $\mathscr{A} \to \mathscr{R}$를 구성한다.
• $\mathscr{R}$를 대칭 텐서 $\alpha^2(x)$의 영이 아닌 점의 위치에서의 국소화로 정의하여 에탈리 행동을 보장한다.
• 트레이스 사상과 보편 성질을 사용하여 $\mathscr{R}$가 $\mathscr{A}$-모듈로서 자유임을 증명하고, $x_1,\dots,x_n$의 상들이 기저를 이룬다.
• 대칭 곱의 기준 이상수를 블로우업하여 전역적으로 구성 확장하고, 그로텐디크-델리뉴 노름 사상을 사용하여 평탄성을 확보한다.
• 블로우업을 통한 판별식 분석을 통해 보편 계열 $\mathscr{Z}_X \to \mathscr{G}^n_X$가 일반적으로 에탈리 임을 보인다.
• 임의의 기초 $T$ 위의 일반적으로 에탈리 계열이 $\mathscr{G}^n_X$를 유일하게 인식하는 것으로 보편 성질을 확립한다.

실험 결과

연구 질문

• RQ1 하이루베르트 스킴을 사용하지 않고도 일반적으로 에탈리 닫힌 부분공간 계열에 대한 보편 공간을 구성할 수 있는가?
• RQ2 $\mathscr{G}^n_X$ 위의 보편 계열의 배경이 되는 대수적 구조는 무엇이며, 이를 명시적으로 어떻게 묘사할 수 있는가?
• RQ3 $\mathscr{G}^n_X$의 구성은 하이루베르트 스킴 내에서 에탈리 위치의 스키마적 닫힘과 어떻게 관련이 있는가?
• RQ4 대칭 텐서와 교환자 사상은 보편 계열의 에탈리성과 자유 모듈 성질을 어떻게 제어하는가?
• RQ5 보편 성질 $\mathscr{G}^n_X$는 보조 모듈리 이론 도구 없이 직접 구성에서 도출될 수 있는가?

주요 결과

• $\mathscr{G}^n_X$는 대칭 곱의 기준 이상수를 블로우업하여 하이루베르트 스킴의 닫힌 부분공간으로 구성된다.
• 보편 계열 $\mathscr{Z}_X \to \mathscr{G}^n_X$는 보편 성질을 만족한다: 임의의 기초 $T$ 위의 일반적으로 에탈리 랭크 $n$의 닫힌 부분공간 계열은 $\mathscr{G}^n_X$를 유일하게 인식한다.
• $\mathscr{G}^n_X$의 구성은 하이루베르트 스킴에 의존하지 않으며, 보편 성질은 대칭 텐서 내의 대수적 항등식에서 직접 도출된다.
• $\mathscr{A} \to \mathscr{R}$의 대수 확장은 에탈리이며, $\mathscr{R}$는 $\mathscr{A}$-모듈로서 랭크 $n$의 자유 모듈이며, $x_1,\dots,x_n$의 상들이 기저를 이룬다.
• $\mathscr{G}^n_X$는 하이루베르트 스킴 $\mathscr{H}^n_X$ 내에서 에탈리 계열의 열린 부분공간 $\mathscr{U}^n_X$의 스키마적 닫힘과 자연스럽게 동형이며, 이는 하이루베르트 스킴의 컴actsification임을 확인한다.
• 이 구성은 에탈리 기저 변경과 호환되며, 그로텐디크-델리뉴 노름 사상을 사용하여 보편 계열의 평탄성을 보장한다.