[논문 리뷰] Toward an algebraic theory of Welschinger invariants

Marc Levine|arXiv (Cornell University)|2018. 08. 07.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 특성 ≠ 2,3인 임의의 완전체 k에 대해 Welschinger 불변량의 대수적 이론을 수립한다. 이를 위해 Grothendieck-Witt 환 GW(k)에서의 이차 불변량을 정의하여, 고정된 계열 D에 속하는 유리 곡선이 r = −D·K_S − 1개의 점을 통과하도록 세는 것을 가능하게 한다. 핵심 결과는 이 불변량이 Sym^r(S)^0의 A¹-연결 성분들 위에서 일정하다는 것이며, 이는 Welschinger의 실수 불변량을 대수기하학으로 일반화한다.

ABSTRACT

Let $S$ be a smooth del Pezzo surface over a field $k$ of characteristic $ eq 2, 3$. We define an invariant in the Grothendieck-Witt ring $GW(k)$ for "counting" rational curves in a curve class $D$ of fixed positive degree (with respect to the anti-canonical bundle $-K_S$) and containing a collection of distinct closed points $\mathfrak{p}=\sum_ip_i$ of total degree $r:=-D\cdot K_S-1$ on $S$. This recovers Welschinger's invariant in case $k=\mathbb{R}$ by applying the signature map. The main result is that this quadratic invariant depends only on the $\mathbb{A}^1$-connected component containing $\mathfrak{p}$ in $Sym^r(S)^0(k)$, where $Sym^r(S)^0$ is the open subscheme of $Sym^r(S)$ parametrizing geometrically reduced 0-cycles.

연구 동기 및 목표

• 특성 ≠ 2,3인 임의의 완전체에서 Welschinger의 실수 Gromov-Witten 불변량을 대수기하학으로 일반화하기.
• Grothendieck-Witt 환 GW(k)를 사용하여 열거기하학에서 곡선 수를 이차적으로 보완하기.
• 0-사이클의 매개변수 공간에서 A¹-호모토피 동치에 대해 Welschinger 유형 불변량이 불변임을 확립하기.
• 기존 실수 곡선 수를 GW(k)-값 불변량을 통해 임의의 체 위에서 전역 대수적 불변량으로 일반화하기.

제안 방법

• 각 0-사이클 η ∈ Sym^r(S)^0(k)에 대해, 계열 D에 속하는 종수 0의 안정적 사상 f:C → S에 기반한 GW(k)-값 불변량 Wel_S,D(η)를 정의한다.
• 지역 함수체 k(η)로의 사영을 통해 기하학적 점 x ∈ z^{-1}(η)에서의 GW(k(x))-값 불변량 Wel_{k(x)}(f_x(C_x))를 사용하여 불변량을 구성한다.
• 결과로 얻어진 불변량이 Sym^r(S)^0의 모든 고차원 1점에서 비분기적임을 증명하여, 이는 GW-층의 전역 단면으로 확장됨을 시사한다.
• 변형 이론과 에테ール 기저 변경을 통해, k[[u]] 위의 형식 스킴을 이용해 특수화 및 일반화된 섹션의 유지가 불변량을 유지함을 보인다.
• 특이점의 스킴이 기저에 대해 에테ール임을 활용하여, 이중점의 수와 유형이 유지됨을 보장한다.
• GW(k)의 A¹-불변성과 안정적 사상의 모듈리 스택의 구조를 응용하여, A¹-연결 성분 전체에서의 전역 일관성을 도출한다.

실험 결과

연구 질문

• RQ1 Welschinger의 실수 유리 곡선에 대한 부호 수를 GW(k)의 이차형식을 사용하여 임의의 체 위에서 대수적 불변량으로 일반화할 수 있는가?
• RQ2 del Pezzo 표면의 대칭곱의 A¹-연결 성분에 제한했을 때, Welschinger 유형 불변량은 점의 구성에 따라 달라지지 않는가?
• RQ3 Grothendieck-Witt 환은 비대수적으로 닫힌 체가 아닌 체 위에서 특정 특성을 가진 유리 곡선의 수를 어떻게 표현하는가?
• RQ4 형식 가속에서 특수 섹션으로의 변형에서 GW-값 불변량의 불변성은 대수기하학적으로 어떤 의미를 갖는가?

주요 결과

• 대수적 Welschinger 불변량은 Sym^r(S)^0 위의 Grothendieck-Witt 환의 층의 전역 단면이며, 이는 A¹-호모토피에 대해 불변임을 증명한다.
• K = ℝ일 경우, GW(K)-값 불변량의 서명은 부호가 degree d에 따라 다를 수 있음에 유의하여, Welschinger의 실수 유리 곡선의 수를 회복한다.
• GW(K)-값 불변량의 랭크는 주어진 0-사이클을 통과하는 계열 D의 복소수 유리 곡선의 수와 일치한다.
• 불변량은 Sym^r(S)^0의 모든 고차원 1점에서 비분기적이며, 이는 전체 대칭곱 위에서의 전역 확장이 보장됨을 의미한다.
• S의 점에서의 블로우업을 수행하더라도, D가 인계될 경우 이 구성은 유지되며, 이는 대칭곱 내 고차원 1점의 유지 때문이므로 불변량이 그대로 유지된다.
• 불변량은 Sym^r(S)^0 내 0-사이클의 A¹-연결 성분에만 의존하며, 특정 대표자에 따라 달라지지 않는다.