[논문 리뷰] A^1-Euler classes: six functors formalisms, dualities, integrality and linear subspaces of complete intersections

Tom Bachmann, Kirsten Wickelgren|arXiv (Cornell University)|2020. 02. 05.

Algebraic Geometry and Number Theory참고 문헌 55인용 수 18

한 줄 요약

이 논문은 대수적 벡터(bundle)에 대한 A¹-Euler 클래스의 여러 정의 간의 동치성을 확립하며, 코herent 대칭 이론, Poincaré-Hopf 이론, Scheja-Storch 국소 지표로부터의 접근를 통합한다. 이는 Grothendieck-Witt 군 내에서 이러한 Euler 클래스의 정수성을 증명하고, 실수 및 복소수 위에서의 위상수학적 Euler 특성수를 이용하여 완전교차의 선형 부분공간에 대한 산술적 수를 계산한다.

ABSTRACT

We equate various Euler classes of algebraic vector bundles, including those of [BM, KW, DJK], and one suggested by M.J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class, and give formulas for local indices at isolated zeros, both in terms of 6-functor formalism of coherent sheaves and as an explicit recipe in commutative algebra of Scheja and Storch. As an application, we compute the Euler classes associated to arithmetic counts of d-planes on complete intersections in P^n in terms of topological Euler numbers over R and C.

연구 동기 및 목표

• 코herent 대칭 이론, Poincaré-Hopf 이론, Scheja-Storch 국소 지표로부터 유도된 A¹-Euler 클래스의 다수의 정의를 통합하기 위해.
• 체 k 및 더 일반적인 기저 스킴에 대해 Grothendieck-Witt 군 GW(k) 내에서 A¹-Euler 클래스의 정수성을 확립하기 위해.
• 6-함수 형식론과 교환 대수적 방법을 모두 활용하여 고립된 영점에서의 국소 지표에 대한 명시적 공식을 제공하기 위해.
• 이론을 활용하여 프로젝티브 공간 내 완전교차에서 d차원 선형 부분공간의 산술적 수를 계산하기 위해.
• KO 이론 내의 강화된 Euler 특성수를 통해 이러한 산술적 수와 실수 및 복소수 위에서의 위상수학적 Euler 수 사이의 관계를 규명하기 위해.

제안 방법

• 코herent 층에 대한 6-함수 형식론을 사용하여 다양한 코homology 이론 간의 Euler 클래스를 정의하고 비교한다.
• 코herent 대칭 이론을 적용하여 추적 사상 η_f: H^n(X, ω_{X/k}) → k를 구성함으로써 Grothendieck–Serre 대칭 이론 Euler 수를 정의한다.
• Scheja–Storch 공식을 활용하여 고립된 영점을 갖는 단면의 국소 지표를 계산하고, 이를 GW(k)에 속하는 클래스로 표현한다.
• 선다발 L과 isomorphism ρ: det V ⊗ ω_{X/k} → L^{⊙ 2}을 통한 상대적 방향성을 도입하여 GW(k) 내에서 Euler 클래스를 정의한다.
• 모티브 코hom로지와 프레임드 대응관계의 철학을 활용하여 A¹-Euler 클래스를 KO 이론과 연결한다.
• 이론을 그라스만만 및 완전교차에 적용하여 대칭 거듭제곱을 통해 Euler 수를 계산하고 산술적 수를 산출한다.

실험 결과

연구 질문

• RQ1 코herent 대칭 이론, Poincaré-Hopf 이론, Scheja-Storch 국소 지표로부터 정의된 A¹-Euler 클래스는 상호간에 어떻게 관련되어 있는가?
• RQ2 A¹-Euler 클래스가 Grothendieck-Witt 군 GW(k) 내에서 정수성을 가지기 위한 조건은 무엇인가?
• RQ3 고립된 영점을 갖는 단면의 국소 지표는 교환 대수와 6-함수 형식론의 관점에서 명시적으로 계산할 수 있는가?
• RQ4 A¹-Euler 클래스는 어떻게 프로젝티브 공간 내 완전교차에서의 선형 부분공간의 산술적 수를 계산하는 데 응용될 수 있는가?
• RQ5 GW(k) 내의 강화된 Euler 특성수와 실수 및 복소수 위에서의 위상수학적 Euler 수 사이의 관계는 무엇인가?

주요 결과

• 차원 n인 smooth하고 proper한 k-스킴 X와 고립된 영점만을 갖는 상대적으로 방향이 부여된 벡터(bundle) V 및 단면 σ에 대해, Poincaré-Hopf Euler 수 n^PH(V,σ)와 Grothendieck–Serre 대칭 이론 Euler 수 n^GS(V)는 서로 같다.
• A¹-Euler 클래스는 GW(k) 내에서 정수이며, 그 W(k) = GW(k)/J 상의 영상은 n·h로 주어지며, 여기서 h는 하이퍼볼릭 형식이고 J는 대칭 형식에 의해 생성된 이상이다.
• k(x) = k인 단순한 영점 x에 대해 국소 지표는 ⟨Jac σ(x)⟩로 주어지며, 이는 σ의 야코비안에 의해 결정되는 랭크 1 이차형식이다.
• 이론은 완전교차에서 d-평면을 매개변수화하는 타우토로지컬 벡터(bundle)의 Euler 클래스를 계산하며, 이를 국소 지표의 합으로 표현한다.
• P^n 내 완전교차에서 d-평면의 산술적 수는 GW(k) 내 국소 지표의 합으로 표현되며, 이는 복소수 위에서의 위상수학적 Euler 수와 실수 위에서의 Euler 특성수와 일치한다.
• A¹-Euler 클래스의 KO 이론 상의 영상은 실수 및 복소수 위에서의 위상수학적 Euler 수에 의해 결정되며, 이는 모티브적 및 위상수학적 불변량을 연결한다.