[논문 리뷰] The Complexity of a Flat Groupoid

Matthieu Romagny, Gabriel Zalamansky외 1명|arXiv (Cornell University)|2018. 01. 01.

Homotopy and Cohomology in Algebraic Topology인용 수 1

한 줄 요약

이 논문은 Keel–Mori 몰입인 Y에 대한 R → X ×_Y X의 사상의 표준 인수분해의 길이를 측정하는 새로운 불변량인 평탄한 군oids의 '복잡성'을 도입한다. 복잡성이 1 이하인 군oids에 대해서는 저자들이 내림내림 정리들을 수립하고, 평탄한 대역적 스택의 사상들이 안정자 보존 사상들과 동치임을 증명하며, 기존의 희생적 또는 양호한 몰입 이외의 상황, 특히 고전적 결과가 실패하는 양의 특성에서의 내림내림 이론을 확장한다.

ABSTRACT

Grothendieck proved that any finite epimorphism of noetherian schemes factors into a finite sequence of effective epimorphisms. We define the complexity of a flat groupoid $R ightrightarrows X$ with finite stabilizer to be the length of the canonical sequence of the finite map $R ightarrow X imes_{X/R} X$, where $X/R$ is the Keel--Mori geometric quotient. For groupoids of complexity at most 1, we prove a theorem of descent along the quotient $X ightarrow X/R$ and a theorem on the existence of the quotient of a groupoid by a normal subgroupoid. We expect that the complexity could play an important role in the finer study of quotients by groupoids.

연구 동기 및 목표

• 기본 결과가 실패하는 양의 특성에서 희생적 또는 양호한 몰입 이외의 상황으로 내림내림 이론을 확장하기 위해.
• 유한 안정자를 가진 평탄한 군oids에 대해 자유도의 실패를 측정하는 새로운 불변량인 복잡성 정의하기 위해.
• 복잡성 ≤1 조건 하에서 대역적 스택 위에 분해된 범주에 대한 내림내림 정리 수립하기 위해.
• 평탄한 사상 X′ → X = [X/R]의 범주가 복잡성 ≤1일 때 [X/R]로 향하는 평탄하고 안정자 보존 사상의 범주와 동치임을 증명하기 위해.
• 대수기하학에서 군oids에 의한 몰입을 연구하기 위한 프레임워크 제공하고, 비분리 작용과 분할선에의 응용 포함하기 위해.

제안 방법

• 평탄한 군oids R ⇒ X의 복잡성을 Y = X/R인 Keel–Mori 몰입에서 jY : R → X ×_Y X의 사상의 표준 인수분해의 길이로 정의한다.
• 노에테리안 스킴의 유한 전성사상이 효과적 전성사상의 유한 시퀀스로 분해된다는 그로텐디크의 정리 사용하고, 이를 jY에 적용하여 표준 시퀀스 정의한다.
• 안정자 Σ ⊂ R을 X × X의 대각선의 역상으로 정의하여 기하학적 안정자 작용을 고차 램프리피케이션을 고려하여 정밀화한다.
• 복잡성이 ≤1일 경우 평탄성 가정 하에 π* : C(Y) → C(R,X)′의 인플레터 기능이 동치임을 증명하며, 올슨과 얼퍼의 결과를 일반화한다.
• 스택 이론어휘를 사용: C의 대각선이 표현 가능할 때 복잡성 ≤1 조건 하에 Hom(Y, C) → Hom(π₀[X/R], C)가 동치임을 보인다.
• 이론을 정규 부분군oids 몰입에 적용하여, [X/P] → [X/R]가 코arse 모듈리 공간을 포함하는 카르테시안 다이어그램을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 유한 안정자를 가진 평탄한 군oids R ⇒ X와 몰입 Y = X/R에 대해, π* : C(Y) → C(R,X)′가 동치가 되는 조건은 무엇인가?
• RQ2 특히 양의 특성에서 고전적 결과가 실패하는 상황에서, 내림내림 이론을 희생적 또는 양호한 몰입 설정 이외로 일반화할 수 있는가?
• RQ3 야생적 군oids 작용에서 내림내림의 실패를 제어하는 불변량은 무엇이며, 어떻게 정량화할 수 있는가?
• RQ4 평탄한 사상의 범주 X′ → X = [X/R]가 [X/R]로 향하는 안정자 보존 사상의 범주와 일치하는 조건은 무엇인가?
• RQ5 정규 부분군oids에 의한 몰입은 코arse 모듈리 공간을 포함하는 카르테시안 다이어그램으로 기술될 수 있는가?

주요 결과

• 유한 안정자를 가진 평탄한 군oids R ⇒ X의 복잡성은 Y = X/R인 Keel–Mori 몰입에서 jY : R → X ×_Y X의 사상의 표준 인수분해의 길이로 정의된다.
• 복잡성이 1 이하인 군oids에 대해서는 π가 평탄할 경우 π* : C(Y) → C(R,X)′의 인플레터 기능이 동치이며, 올슨과 얼퍼의 결과를 일반화한다.
• 복잡성 ≤1일 때, X = [X/R]로 향하는 대수적 공간에 의해 표현 가능한 평탄한 사상 X′ → X의 범주는 복잡성 ≤1일 때 [X/R]로 향하는 평탄하고 안정자 보존 사상의 범주와 동치이다.
• π₀[X/R] → X/R는 작용이 자유일 때이고, 복잡성이 ≤1일 경우 C에 적절한 조건이 만족되면 Hom(X/R, C) → Hom(π₀[X/R], C)가 동치이다.
• 반례를 통해 평탄성 조건 없이 주요 정리가 실패함을 보였다: 특성 p에서, X = Spec k[ε]/(ε²)에 비자명한 G-불변 선다발이 존재하지만, π*의 이미지에선 존재하지 않는다.
• 이론은 정규 부분군oids 몰입에 적용 가능하며, 코arse 모듈리 공간을 포함하는 카르테시안 다이어그램을 유도하고, [X/P] ×_{[X/R]} [X/P] ≅ [P\R/P]이며 안정자 보존 사상이 성립함을 보였다.