[논문 리뷰] Aspects of Enumerative Geometry with Quadratic Forms

Marc Levine|arXiv (Cornell University)|2017. 03. 08.

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

한 줄 요약

이 논문은 특성 ≠ 2인 체 k 위에서, 모티브 스펙트럼 호모토피 범주를 이용해 그로텐디에크-위트 군 GW(k)에 값이 있는 오일러 특성으로 고전적인 Z-계수 불변량을 개선하는 정교한 계수기하학을 개발한다. Chow-Witt 오일러 특성과 카테고리적 오일러 특성이 GW(k)에서 일치함을 증명하고, 일반화된 페르마 초평면과 쌍곡초평면의 오일러 특성을 계산하여 고전 공식을 개선하는 명시적 공식을 얻는다. 이는 카스와 위켈그렌이 쌍곡초평면에 대해 제기한 질문에 답한다.

ABSTRACT

Using the motivic stable homotopy category over a field $k$, a smooth variety $X$ over $k$ has an Euler characteristic $\chi(X/k)$ in the Grothendieck-Witt ring $\operatorname{GW}(k)$. The rank of $\chi(X/k)$ is the classical $\mathbb Z$-valued Euler characteristic, defined using singular cohomology or \'etale cohomology, and the signature of $\chi(X/k)$ under a real embedding $\sigma:k o \mathbb R$ gives the topological Euler characteristic of the real points $X^\sigma(\mathbb R)$. We develop tools to compute $\chi(X/k)$, assuming $k$ has characteristic $ eq2$ and apply these to refine some classical formulas in enumerative geometry, such as formulas for the top Chern class of the dual, symmetric powers and tensor products of bundles, to identities for the Euler classes in Chow-Witt groups. We also refine the classical Riemann-Hurwitz formula to an identity in $\operatorname{GW}(k)$ and compute $\chi(X/k)$ for hypersurfaces in $\mathbb P^{n+1}_k$ defined by a polynomial of the form $\sum_{i=0}^{n+1}a_iX_i^m$; this latter includes the case of an arbitrary quadric hypersurface. This paper is a revision of "Toward an enumerative geometry with quadratic forms'' [M. Levine, Toward an enumerative geometry with quadratic forms, preprint 18 Oct 2018, arXiv:1703.03049v3].

연구 동기 및 목표

• 특성 ≠ 2인 체 위에서 그로텐디에크-위트 군 GW(k)에 값이 있는 불변량을 갖는 정교한 계수기하학을 개발하여 고전적인 Z-계수 불변량을 확장한다.
• GW(k)에서 Chow-Witt 오일러 특성과 카테고리적 오일러 특성이 일치함을 증명하여 모티브 오일러 특성의 두 접근법을 통합한다.
• 일반화된 페르마 초평면과 쌍곡초평면의 오일러 특성을 GW(k)에서 계산하여 고전 공식을 개선하는 명시적 공식을 제공한다.
• 카스와 위켈그렌이 쌍곡초평면 초평면의 GW(k)-값 오일러 특성에 대해 제기한 질문에 답한다.

제안 방법

• 모티브 스테이블 호모토피 범주 SH(k)를 사용하여 카테고리적 오일러 특성 χ(X/k) ∈ GW(k)를 정의하며, 모렐의 결과를 활용하여 EndSH(k)(Sk)를 GW(k)로 식별한다.
• 편미러-윌리엄스 K-이론의 층 KMW∗(L)에 대한 Chow-Witt 코hom로지 이론 H∗(X, KMW∗(L))를 적용하여 Chow-Witt 오일러 특성 eCW(TX) ∈ HdimX(X, KMWdimX(ωX/k))를 정의한다.
• 헤르미티안 K-이론과의 비교를 통해 [29]의 결과(라크시트와의 공동 연구)를 기반으로 χCW(X/k) = χ(X/k)를 GW(k)에서 증명한다.
• 모르피즘 f: X → P1에 대해 GW(k)에서의 리만-허리츠 공식을 적용하며, 각 임계점 기여를 GW(k(x))에서 계산하고 추적 사상에 의해 푸시포워드한다.
• 특히 ∑ aiXim = 0로 정의된 초평면에 대해 블로우업 기법과 분해 공식을 사용하여 χ( ˜X)와 χ(X), χ(Z) 사이의 관계를 설정한다. 여기서 Z는 특이점의 집합이다.
• 유한 분리 가능 확장 k(x)/k에 대해 추적 형식을 통한 p∗: GW(k(x)) → GW(k) 푸시포워드를 사용하여 전반적인 불변량을 계산한다.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 다양체에 대해 Chow-Witt 오일러 특성이 GW(k)에서 카테고리적 오일러 특성과 일치하는가?
• RQ2 고전적인 계수기하 공식들—예를 들어, 콘 차수, 쌍대 배럴, 대칭 거듭제곱 등—은 GW(k)에서의 항등식으로 정교화될 수 있는가?
• RQ3 ∑ aiXim = 0로 정의된 일반화된 페르마 초평면의 GW(k)-값 오일러 특성은 무엇인가?
• RQ4 Pn+1k에 있는 비특이 쌍곡초평면의 GW(k)-값 오일러 특성은 무엇이며, 이는 고전 공식을 정교화하는가?
• RQ5 특성 ≠ 2인 체 k 위에서 오드-차원 매끄럽고 사영적인 다양체의 오일러 특성이 항상 GW(k)의 하이퍼볼릭 이상수에 속하는가?

주요 결과

• Theorem 1과 [29]를 통한 확인을 통해 Chow-Witt 오일러 특성 χCW(X/k)와 카테고리적 오일러 특성 χ(X/k)는 GW(k)에서 일치한다.
• m ≥ 1 이고 char(k) ∤ 2m 인 경우, Pn+1k에 포함된 일반화된 페르마 초평면 X = X(a0,…,an+1; m)에 대해 오일러 특성 χ(X/k)는 n과 m의 기수성에 따라 GW(k)에서 명시적인 공식으로 주어진다.
• n 이 홀수일 때, χ(X/k) = An,m · H 이며, An,m = 1/2 deg(cn(TX)) ∈ ℤ 이다.
• n 이 짝수이고 m 이 홀수일 때, χ(X/k) = An,m · H + ⟨m⟩ 이며, An,m = 1/2 (deg(cn(TX)) − 1) ∈ ℤ 이다.
• n 과 m 이 모두 짝수일 때, χ(X/k) = An,m · H + ⟨m⟩ + ⟨−mδ(X)⟩ 이며, An,m = 1/2 (deg(cn(TX)) − 2) ∈ ℤ 이다. 여기서 δ(X) = ∏ ai 이다.
• Pn+1k에 있는 비특이 쌍곡초평면 Q에 대해, δq가 판별식이라면, n 이 홀수일 때 χ(Q/k) = (n+1)/2 · H 이고, n 이 짝수일 때 n/2 · H + ⟨2⟩ + ⟨−2δq⟩ 이며, 이는 카스와 위켈그렌의 질문에 대한 답이 된다.