[논문 리뷰] Recoller pour séparer

Daniel Ferrand, Bruno Kahn|arXiv (Cornell University)|2015. 10. 22.

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

한 줄 요약

이 논문은 스킴 $f: T \to S$의 '분리자'(separator) 개념을 도입한다. 이는 비분리성을 아핀 열린 부분집합을 붙임으로써 분리된 $S$-스킴으로의 유일한 국소 동형을 제공하는 것이다. 분리자가 존재하는 것은 당연히 스킴적 폐쇄가 두 인자에 대해 평탄하고 유한형이 되는 것과 동치이다. 이 기준은 $\mathrm{Spec}(\mathbb{Z})$ 위의 노에테르 다에브드 스킴과 정규 기저를 가진 에탈레 사상에 적용되며, 스타인 인자분해와 연결 성분 스킴을 일반화한다.

ABSTRACT

We introduce the notion of a separator for a morphism of schemes f:T o S; in particular, it is universal among morphisms from T to separated S-schemes. A separator is a local isomorphism; this property conveys the intuition of gluing some affine covering more, in order to make the scheme separated. When f is quasi-separated, its separator exists if and only if the schematic closure of the diagonal projects on both factors by flat morphisms of finite type. In particular, f admits a separator if T is Noetherian Dedekind and S=Spec(Z), or if f is étale of finite presentation and S is normal. Any normal scheme of finite type over a Noetherian ring admits an open subset containing all the points of codimension 1, which has a separator. A contrario, we give several examples of morphisms f that do not admit a separator. As an application, we attach to every smooth scheme T over a normal base S a morphism to a separated étale S-scheme of finite presentation, which is universal (a kind of separated alternative for "scheme of connected components of the fibres"). This simultaneously generalizes the classical case where the base is a field, and the case of a smooth and proper morphism (Stein factorisation).

연구 동기 및 목표

• 스킴을 아핀 열린 부분집합을 붙임으로써 국소 동형을 통해 분리하는 유일한 구조를 정의한다.
• 정규 기저 위의 매끄러운 사상에 대해 고전적 스타인 인자분해와 섬성분 스킴을 일반화한다.
• 특히 준분리성 및 에탈레 설정에서 사상이 분리자를 가질 수 있는 정확한 조건을 규명한다.
• 스킴적 폐쇄를 통한 대각선의 기하학적 구조를 이용하여 비분리성을 해결하는 보편 몫을 도입함으로써 대수기하학에서의 비분리성 문제를 해결한다.
• 평탄성과 스킴적 지배성을 이용하여 상대 대수기하학에서 분리된 몫을 구성하는 프레임워크를 제공한다.

제안 방법

• 분리자를 분리된 $S$-스킴 $E$로 향하는 보편적, 전성인 국소 동형 $h: T \to E$로 정의하며, $h$는 준콤팩트이자 준분리성임을 보장한다.
• 분리자를 구성하기 위해 대각선 $\Delta: T \to T \times_S T$의 스킴적 폐쇄를 핵심 기하 객체로 사용한다.
• 스킴적 폐쇄가 $T \times_S T$의 두 인자에 대해 평탄하고 유한형이 되는 것과 동치로 분리자가 존재함을 증명한다.
• 특수한 경우에 기준을 적용한다: $T$가 $S = \mathrm{Spec}(\mathbb{Z})$ 위의 노에테르 다에브드 스킴이며, $f$가 정규 기저를 가진 유한 표현의 에탈레 사상인 경우.
• 국소 동형과 스킴적 지배성을 이용하여, 서로 가까운 위상적 점들을 식별함으로써 비분리성을 해결하는 분리자를 확보한다.
• EGA와 그로텐디크의 대수적 공간 및 내림내림 이론의 결과를 활용하여, 평탄성 조건 하에서 보편성과 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 사상 $f: T \to S$가 분리된 $S$-스킴으로 향하는 보편 국소 동형을 가질 조건은 무엇인가?
• RQ2 스킴적 폐쇄가 $T \times_S T$의 두 인자에 대해 평탄하고 유한형이 되는 조건은 $f$에 대해 어떤가?
• RQ3 고전적 스타인 인자분해와 연결 성분 스킴이 정규 기저 위의 매끄러운 사상에 대해 하나의 보편 구조로 통합될 수 있는가?
• RQ4 노에테르 환 위의 유한형 정규 스킴은 모든 코디멘션-1 점들을 포함하는 열린 부분집합을 가지며, 그 위에 분리자가 존재하는가?
• RQ5 분리자의 존재에 대한 내재된 장애 요소가 존재하는가? 만약 존재한다면 그들은 무엇인가?

주요 결과

• 사상 $f: T \to S$가 분리자를 가질 조건은 대각선 $\Delta: T \to T \times_S T$의 스킴적 폐쇄가 $T \times_S T$의 두 인자에 대해 평탄하고 유한형이 되는 것과 동치이다.
• 만약 $T$가 노에테르 다에브드 스킴이고 $S = \mathrm{Spec}(\mathbb{Z})$이면 분리자가 존재한다.
• 만약 $f$가 유한 표현의 에탈레 사상이며 $S$가 정규이면 $f$는 분리자를 가진다.
• 노에테르 환 위의 유한형 정규 스킴은 모든 코디멘션-1 점들을 포함하는 열린 부분집합을 가지며, 그 위에 분리자가 존재한다.
• 분리자를 가지지 않는 사상의 명시적 예가 존재하여 조건이 날카롭다는 것을 보여준다.
• 이 구조는 매끄러운 $S$-스킴에서 분리되고, 에탈레이며 유한 표현인 $S$-스킴으로 향하는 보편 사상을 제공하며, 연결 성분 구조와 스타인 인자분해를 모두 일반화한다.