[논문 리뷰] Adequate moduli spaces and geometrically reductive group schemes

Jarod Alper|arXiv (Cornell University)|2010. 05. 13.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 9

한 줄 요약

이 논문은 기하적 안정성 이론(GIT)을 양의 및 혼합 특성으로 일반화하기 위해 적절한 모듈리 공간의 개념을 도입한다. 이는 좋은 모듈리 공간 이론을 확장하는 것으로, 임의의 기저 위에서 기하학적으로 재수성인 군 스킴들—특히 재수성 군 스킴들—이 핵심적인 유한성 및 강하 성질을 만족함을 증명한다. 이를 통해 특성 p에서의 사영 모듈리 공간을 내재적으로 구성할 수 있다.

ABSTRACT

We develop the theory of adequate moduli spaces in characteristic $p$ (and mixed characteristic) characterizing quotients by geometrically reductive group schemes.

연구 동기 및 목표

• 적절한 모듈리 공간 이론을 개발하여 좋은 모듈리 공간 이론을 양의 및 혼합 특성으로 일반화한다.
• 기하학적 재수성 군 스킴을 가진 대상에 대해 적절한 모듈리 공간의 기본 성질—유한성 및 유일성—을 확립한다.
• Seshadri와 Waterhouse의 기하학적으로 재수성 군에 대한 결과를 임의의 기저로 일반화한다.
• Dedekind 환과 DVR 위에서 군 스킴의 기하학적 재수성에 대한 내재 기준을 제공한다.
• 적절한 모듈리 공간 이론을 통해 양의 특성에서 사영 모듈리 공간을 내재적으로 구성할 수 있도록 한다.

제안 방법

• 두 가지 공리—(1) 유한 거듭제곱 이후 세그먼트의 올림, (2) 스택에서 모듈리 공간으로의 전역 세그먼트의 동형—를 통해 적절한 모듈리 공간을 정의한다.
• 재수성 군의 작용에 대해 특성 p에서의 몫 스택 $[X^{ss}/G] \to X^{ss}//G$ 가 적절한 모듈리 공간임을 증명한다.
• 해결 성질과 DVR 위에서 단순 연결 단순 복합체 군의 표현 이론을 활용하여 기하학적 재수성을 검증한다.
• 기하학적 재수성과 이중 모듈러의 대칭 거듭제곱에서의 불변 세그먼트 존재성 간의 동치를 적용한다.
• 중심 성분 $G^\circ$ 와 몫 $G/G^\circ$ 의 구조를 활용하여 문제를 알려진 경우로 환원한다.
• 아핀성에 대한 Serre 기준을 적용하여, 만약 주어진 동차 공간이 아핀이라면 그 몫 역시 아phin임을 보인다.

실험 결과

연구 질문

• RQ1 좋은 모듈리 공간 이론을 GIT를 초월하는 더 일반적인 개념을 통해 양의 및 혼합 특성으로 확장할 수 있는가?
• RQ2 어떤 조건이 Dedekind 환 또는 DVR 위에서 군 스킴이 기하학적으로 재수성임을 보장하는가?
• RQ3 모듈리 공간의 적절성과 그 작용하는 군의 기하학적 재수성 간의 관계는 어떠한가?
• RQ4 기하학적으로 재수성 군 스킴에 의한 주 동차 공간의 몫이 아phin이 되는 조건은 무엇인가?
• RQ5 적절한 모듈리 공간 이론을 통해 양의 특성에서 내재적인 사영 모듈리 공간을 구성할 수 있는가?

주요 결과

• 재수성 군 $G$ 가 선형화된 사영 스킴에 작용할 때, 사상 $[X^{ss}/G] \to X^{ss}//G$ 는 적절한 모듈리 공간이다.
• 적절한 모듈리 공간은 양의 특성에서도 GIT 몫과 유사한 유한성 및 유일성 성질을 만족한다.
• Dedekind 환 위에서 기하학적으로 재수성인 군 스킴은 그 중심 성분이 재수성이고 성분 군이 유한한 것들이다.
• 매끄럽고 아핀인 군 스킴 $G \to S$ 에 대해, $G$ 는 기하학적으로 재수성임이 $G^\circ \to S$ 의 모든 섬유가 재수성이고 $G/G^\circ \to S$ 가 유한함과 동치이다.
• 만약 $X \to Y$ 가 $X$ 가 $S$ 에 대해 아phin인 주 $G$-_bundle 이고 $G \to S$ 가 기하학적으로 재수성이라면, $Y$ 는 $S$ 에 대해 아phin이다.
• 적절한 모듈리 공간 이론은 양의 특성에서 내재적인 사영 모듈리 공간을 구성하는 데 필요한 프레임워크를 제공한다.