[논문 리뷰] Equivariant intersection theory

Dan Edidin, William Graham|ArXiv.org|1996. 09. 25.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 19

한 줄 요약

이 논문은 토타로의 표현의 열린 부분집합들에 의한 $EG$의 근사법을 통해 등변 차우 군을 이용하여 선형 대수적 군 작용을 가진 대수적 공간에 대해 등변 교차 이론을 개발한다. 이는 일반 차우 군을 일반화하며, 핵심 기여는 유리수 등변 차우 군과 몫 대수적 공간 및 스택의 차우 군 사이의 동형사상으로, $\mathcal{M}_{1,1}$ 및 $\overline{\mathcal{M}}_{1,1}$와 같은 모듈리 스택의 차우 링을 계산할 수 있게 하며, 감소한 정 stabilizer 조건 없이 양의 특성에서 교차 이론을 확장한다.

ABSTRACT

This is a revised and shortened version of our paper "Equivariant intersection theory" (alg-geom/9603008). In particular, the sections on Riemann-Roch and localization are omitted. They will appear in separate papers, at which time alg-geom/9603008 will become obsolete. We have intsead added a section of examples, and have include a calculation of the integral Chow ring of the mdouli stack of elliptic curves.

연구 동기 및 목표

• 선형 대수적 군 작용을 가진 대수적 공간에 대해 기존의 불변 사이클 기반 정의의 한계를 해결하는 견고한 등변 교차 이론을 개발하는 것.
• 토타로의 $EG$의 표현의 열린 부분집합들에 의한 근사법을 사용하여 등변 차우 군을 구성함으로써 호모토피 불변성과 교차 곱을 보장하는 것.
• 적절한 특성에서 등변 차우 군과 몫 대수적 공간 및 스택의 차우 군 사이의 동형사상을 확립하는 것.
• $\mathcal{M}_{1,1}$ 및 $\overline{\mathcal{M}}_{1,1}$와 같은 모듈리 스택의 차우 링을 계산할 수 있는 프레임워크를 제공하고, Mumford의 $\mathcal{M}_{1,1}$의 피카르 군에 대한 결과를 증명하는 것.
• 등변 차우 군이 모든 차수에서 유효하며 스택 표현에 독립적인 정수 교차 링을 정의함을 보여주는 것.

제안 방법

• 표현 $V$에 대해 $G$-불변 열린 부분집합이 고차원인 $X \times V$ 위의 불변 사이클의 동치류로 등변 차우 군 $A^G_*(X)$를 정의한다.
• 표현의 극한을 통한 토타로의 $EG$ 구성법을 이용하여 등변 클래스를 $V$가 $V - U$가 고차원이 되도록 선택함으로써 $X \times V$ 위의 사이클로 모델링한다.
• 등변 차우 군에 대해 함자성, 초월 클래스, 외부 곱을 확립하여 표준 교차 이론과의 호환성을 보장한다.
• 적절한 작용에 대해 $A^G_{i+\dim G}(X) \otimes \mathbb{Q} \cong A_i(X/G) \otimes \mathbb{Q}$임을 증명하고, 정 stabilizer가 있을 경우 $\mathbb{Q}$-텐서 없이도 동형임을 보인다.
• 등변 차우 군이 $[X/G]$의 표현에 의존하지 않고 오직 스택 $[X/G]$에만 의존함을 보이고, $X$가 스무스일 경우 $A^*_G(X)$를 $[X/G]$의 정수 차우 링과 동일시한다.
• 이 동형사상을 사용하여 임의의 특성에서 몫의 유리수 차우 군에 교차 곱이 존재함을 증명하고, 감소한 정 stabilizer 조건이 필요 없음을 보인다.

실험 결과

연구 질문

• RQ1 기존의 불변 사이클 기반 정의의 한계를 극복하고 교차 곱과 호모토피 불변성을 지원하는 방식으로 등변 차우 군을 정의할 수 있는가?
• RQ2 적절한 군 작용에 대해 유리수 등변 차우 군과 몰입 대수적 공간의 차우 군 사이에 자연스러운 동형사상이 존재하는가?
• RQ3 스무스 몰입 스택의 등변 차우 링을 정수 차우 링으로 식별할 수 있으며, 이는 문헌에 있는 유리수 구성과 일치하는가?
• RQ4 등변 접근법을 통해 기릴레트와 비스톨리의 교차 이론을 특성 0을 초월하여 양의 특성으로 확장할 수 있는가? (감소한 정 stabilizer 조건 없이)
• RQ5 등변 방법을 사용하여 타원 곡선의 모듈리 스택 $\mathcal{M}_{1,1}$ 및 그 컴actification의 정수 차우 링을 계산할 수 있는가?

주요 결과

• 적절한 $G$-작용에 대해 $A^G_{i+\dim G}(X) \otimes \mathbb{Q} \cong A_i(X/G) \otimes \mathbb{Q}$이며, 정 stabilizer가 있을 경우 정수 동형이 존재한다.
• 등변 차우 군 $A^G_*(X)$는 몫 스택 $[X/G]$에만 의존하며, 몫 표현의 선택에 영향을 받지 않는다.
• 만약 $X$가 스무스일 경우, $A^1_G(X)$는 스택 $[X/G]$의 Mumford의 피카르 군과 동형이며, $A^*_G(X)$는 $[X/G]$의 정수 차우 링과 일치한다.
• 이론은 스무스인 $X$에 대해 $A^*_G(X)$에 교차 곱을 제공하며, 몫 동형을 통해 이는 임의의 특성에서 몰입의 유리수 차우 군에 교차 곱이 존재함을 의미한다.
• 이 방법은 Mumford의 결과 $\operatorname{Pic}_{\text{fun}}(\mathcal{M}_{1,1}) = \mathbb{Z}/12\mathbb{Z}$에 대한 간단한 증명을 제공하고, $\mathcal{M}_{1,1}$ 및 $\overline{\mathcal{M}}_{1,1}$의 정수 차우 링을 계산한다.
• 이 접근법은 특성 $p$에서 감소한 정 stabilizer 조건이 필요 없음을 피하기 위해 사용되며, 기릴레트와 비스톨리의 결과를 특성 0을 초월하여 확장한다.