[논문 리뷰] Comodule categories and the geometry of the stack of formal groups

Niko Naumann|ArXiv.org|2005. 03. 15.

Algebraic structures and combinatorial models참고 문헌 10인용 수 6

한 줄 요약

이 논문은 형식군의 대수적 스택을 구축하고, Hovey와 Strickland의 Landweber 정확한 대수에 대한 코모듈러 범주에 대한 결과를 기하학적으로 해석한다. 같은 높이를 가진 Landweber 정확한 대수들이 동일한 스택(구체적으로 열린 부분스택 $mathfrak{U}^n$)을 나타낸다는 것을 보여줌으로써, 이는 텐서 아벨 범주로서의 코모듈러 범주 동치를 확립하며, 이는 이전 결과를 일반화하고 크로마틱 호모토피 이론에 대한 더 깊은 기하학적 이해를 제공한다.

ABSTRACT

We generalise recent results of M. Hovey and N. Strickland on comodule categories for Landweber exact algebras using the formalism of algebraic stacks.

연구 동기 및 목표

• 형식군의 스택에 대한 엄밀한 기초를 마련하여, 그 중심적인 역할에도 불구하고 기하학적 구성이 부족한 문제를 해결한다.
• 평탄한 호프 대수체와 대수적 스택 간의 관계를 명확히 하여, 코모듈러 범주가 관련된 스택에만 의존한다는 것을 보인다.
• Hovey와 Strickland의 결과에 대해, 같은 높이를 가진 Landweber 정확한 대수에 대한 코모듈러 범주 동치를 기하학적으로 설명한다.
• Hovey와 Strickland의 원래 설정을 초월하여 열린 부분스택 $mathfrak{Z}^n - mathfrak{Z}^{n+k}$로의 코모듈러 범주 동치를 일반화한다.
• 형식군의 스택의 피카르 군을 계산하여 $mathbb{Z}$와 동형임을 보이며, 이를 통해 캐논칼 라인 번들에 의해 생성됨을 밝힌다.

제안 방법

• 호프 대수체 $({\mathrm{MU}}_*, {\mathrm{MU}}_*{\mathrm{MU}})$를 사용하여 형식군의 스택을 제시함으로써, 형식적 아핀 직선의 평탄한 형태에 대한 문제를 해결한다.
• $($\mathrm{BP}$, ${\mathrm{BP}}_*{\mathrm{BP}})$에 의해 관련된 스택이 모듈리 공간 $X$ 위의 $\mathbb{G}_m$-터소르임을 보이고, 단위 $u$의 코액션을 통해 강하와 내림내림을 가능하게 한다.
• 높이에 따른 스택의 분할을 사용하여 부분스택 $\mathfrak{Z}^n$과 $\mathfrak{U}^n = \pi^{-1}(U^n)$을 정의한다. 여기서 $U^n$은 높이가 적어도 $n$인 형식군의 위치를 뜻한다.
• 높이 $n$을 가진 Landweber 정확한 $R$의 코모듈러 범주가 $\mathfrak{U}^n$ 위의 준가환층의 범주와 동치임을 증명함으로써, 스택의 동형에 기반한 동치가 성립함을 보인다.
• fpqc 강하와 $\mathbb{G}_m$-작용을 통한 $\mathrm{Mod}_{\mathrm{qcoh}}({\cal O}_X)$와 균일하게 강하된 ${\mathrm{MU}}_*{\mathrm{MU}}$-코모듈러의 동치를 활용한다.
• 형식군의 스택의 피카르 군을 $\mathbb{Z}$로 계산하며, 이를 통해 캐논칼 라인 번들 $\omega$에 의해 생성됨을 보이고, $\omega^k$의 코homology를 코모듈러 범주 내의 엑스트 군과 연결한다.

실험 결과

연구 질문

• RQ1 형식군의 스택을 단지 호프 대수체에 관련된 스택로 보다는 기하학적으로 어떻게 구성할 수 있는가?
• RQ2 평탄한 호프 대수체와 그것이 나타내는 대수적 스택 간의 정확한 관계는 무엇이며, 이는 코모듈러 범주에 어떤 영향을 미치는가?
• RQ3 왜 같은 높이를 가진 Landweber 정확한 대수의 코모듈러 범주는 동치이며, 이를 기하학적으로 이해할 수 있는가?
• RQ4 Hovey와 Strickland의 원래 설정을 초월하여 더 일반적인 열린 부분스택으로 코모듈러 범주 동치를 확장할 수 있는가?
• RQ5 형식군의 스택의 피카르 군은 무엇이며, 이를 선다발의 기하학과 코homology와 어떻게 연결할 수 있는가?

주요 결과

• 형식군의 스택은 모듈리 공간 $X$ 위의 $\mathbb{G}_m$-터소르로 구성되며, 형식적 아핀 직선의 평탄한 형태에 대한 문제를 해결한다.
• 높이 $n$을 가진 Landweber 정확한 $R$의 코모듈러 범주는 열린 부분스택 $\mathfrak{U}^n$ 위의 준가환층의 범주와 동치이며, 이러한 대수의 코모듈러 범주 동치를 설명한다.
• 형식군의 스택의 피카르 군은 $\mathbb{Z}$와 동형이며, 캐논칼 라인 번들 $\omega$에 의해 생성된다.
• 코homology 군 $\mathrm{H}^n(X, \omega^{igotimes k})$는 $\mathrm{Ext}^{n,2k}_{{\mathrm{MU}}_*{\mathrm{MU}}}({\mathrm{MU}}_*, {\mathrm{MU}}_*)$와 동형이며, $k < 0$일 경우 0이 된다.
• 복소수 K-이론의 경우, $|\mathrm{H}^1(U^1, \omega^{igotimes k})| = 2 \cdot \mathrm{denominator}(\zeta(1-k))$이며, 이는 산술과 안정적 호모토피 이론을 연결한다.
• 결과는 모든 스택 $\mathfrak{Z}^n - \mathfrak{Z}^{n+k}$로 일반화되며, 코모듈러 범주가 단지 아벨 범주가 아니라 텐서 아벨 범주로서 동치임을 보여준다.