[논문 리뷰] Comparing Euler classes

Aravind Asok, Jean Fasel|arXiv (Cornell University)|2013. 06. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 5

한 줄 요약

이 논문은 대수기하학에서 오일러 클래스의 두 정의가 동치임을 증명한다: 하나는 초월-위트 이론에서의 특성류이고 다른 하나는 ${\mathbb{A}}^{1}$-호모토피 이론에서의 장애도 클래스이다. 보편적 예제와 정밀한 ${\mathbb{A}}^{1}$-호모토피 기법을 사용하여, 저자들은 장애도론적 오일러 클래스 $e_{ob}(\xi)$가 그로텐디에크-위트 군 내 단위원으로 곱한 정도로 초월-위트 오일러 클래스 $e_{cw}(\xi)$와 일치함을 증명하며, 모렐의 추측을 해결한다.

ABSTRACT

We establish the equality of two definitions of an Euler class in algebraic geometry: the first definition is as a "characteristic class" with values in Chow-Witt theory, while the second definition is as an "obstruction class." Along the way, we refine Morel's relative Hurewicz theorem in A^1-homotopy theory, and show how to define (twisted) Chow-Witt groups for geometric classifying spaces.

연구 동기 및 목표

• 오랜 기간 동안 미해결이었던, 모렐이 제기한 추측을 해결하는 것: 대수기하학에서 오일러 클래스의 두 정의가 일치한다.
• 초월-위트 이론을 통한 오일러 클래스 정의(특성류로서)와 ${\mathbb{A}}^{1}$-호모토피 이론을 통한 오일러 클래스 정의(장애도 클래스로서) 사이의 정밀한 비교를 수립하는 것.
• 문헌에서 결과가 주장되었지만 증명되지 않은 빈자리들을 메우기 위해 동치성에 대한 완전한 증명을 제공하는 것.
• 왜곡된 초월-위트 군의 프레임워크를 기하학적 분류 공간으로 확장하고, 이들을 ${\mathbb{A}}^{1}$-호모토피 불변량과 연결하는 것.
• 장애도론적 오일러 클래스가 무어-포스트니코프 타워에서 기본 클래스의 전이로 나타남을 보여, 호모토피론적 불변량과 대수기하학적 불변량을 연결하는 것.

제안 방법

• 기본적인 분류 공간 $\widetilde{Gr}_r$ 에서의 행동을 분석하여, 두 오일러 클래스를 비교하기 위해 보편적 예제 방법을 사용한다. 이는 오riented 랭크 $r$ 벡터 번들의 분류 공간을 대상으로 한다.
• 모렐의 상대 히어루이치 정리가 ${\mathbb{A}}^{1}$-호모토피 이론에서 정밀화되어 연결성 및 피브어/코피브어 성질을 확립한다.
• 밀놀 추측(이제 정리로 간주됨)을 사용하여, ${{\mathbf{K}}}^{MW}_r$ 를 $\mathbf{I}^r$ 과 ${{\mathbf{K}}}^M_r$ 의 피보트 제품으로 $\mathbf{I}^r/\mathbf{I}^{r+1}$ 에서 정의함으로써, 왜곡된 초월-위트 군을 구성한다.
• 코homology와 초월-위트 클래스 사이의 비교를 가능하게 하는 등급 $H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$ 의 동형을 확립한다.
• ${\mathbb{A}}^{1}$-호모토피 이론에서의 블러커스-마스비 정리를 적용하여, 무어-포스트니코프 분해에서의 사상과 코피브어의 연결성을 분석한다.
• 무어-포스트니코프 타워의 $k$-인variant이 기본 클래스의 전이로 식별되며, 이는 장애도 이론과 톰 이소모르피즘을 연결한다.

실험 결과

연구 질문

• RQ1 오일러 클래스의 두 정의—초월-위트 이론을 통한 것과 ${\mathbb{A}}^{1}$-호모토피 장애도 이론을 통한 것—이 2가지가 아닌 특성 ≠ 2인 완전체 위의 스무스 스킴에서 오른쪽 벡터 번들의 경우 일치하는가?
• RQ2 장애도론적 오일러 클래스는 초월-위트 이론에서 기약 지도와 초과 교차 공식을 통해 정의된 특성류와 일치하는가?
• RQ3 분류 공간 $Gr_{r-1} \to Gr_r$ 의 무어-포스트니코프 타워에서의 $k$-인variant과 왜곡된 코homology에서의 톰 클래스 사이의 정밀한 관계는 무엇인가?
• RQ4 장애도론적 오일러 클래스에서 작용하는 국소계의 구조는 왜곡된 초월-위트 군의 층 이론적 구성과 어떻게 관련되는가?
• RQ5 비-오른쪽 벡터 번들의 경우 비교 결과를 확장할 수 있으며, 만약 가능하면 왜곡된 오일러 클래스는 어떻게 관련되는가?

주요 결과

• 장애도론적 오일러 클래스 $e_{ob}(\xi)$ 와 초월-위트 오일러 클래스 $e_{cw}(\xi)$ 는 그로텐디에크-위트 군 내 단위원 $u \in GW(k)^\times$ 로 곱한 정도로 일치함을 증명하여, 모렐의 추측을 해결한다.
• 밀놀 추측을 통해 $H^r(X, {{\mathbf{K}}}^{MW}_r(\det\xi^\vee)) \xrightarrow{\sim} \widetilde{CH}^r(X, \det\xi^\vee)$ 의 동형이 확립되며, 이는 코homological 및 대수기하학적 불변량 간 비교를 가능하게 한다.
• 초월-위트 군의 보편 오일러 클래스 $H^r(Th(\gamma_r), {{\mathbf{K}}}^{MW}_r)$ 는 $({\mathbb{P}}^1)^{\wedge r}$ 에 제약을 가할 때 기본 클래스 $\langle 1\rangle$ 으로 매핑되며, 이는 톰 클래스 정규화를 확인한다.
• 무어-포스트니코프 타워에서 $Gr_{r-1} \to Gr_r$ 의 $k$-인variant이 기본 클래스의 전이로 나타남을 보여, 장애도 이론과 톰 이소모르피즘을 연결한다.
• $e_{cw}(\xi)$ 가 체인 군 $CH^r(X)$ 로의 자연스러운 사상에 의한 상은 최고 차수의 체인 클래스 $c_r(\xi)$ 를 이루며, 이는 이전 문헌의 결과를 정밀화한다.
• 비-오른쪽 번들의 경우 비교 결과는 성립하지만, 장애도론적 구성에서 ${{\mathbf{G}}_m}$--equivariance 를 추적하는 데 어려움이 있어 여전히 열려있다.