[논문 리뷰] A counterexample to the geometric Chevalley-Warning conjecture

June Huh|arXiv (Cornell University)|2013. 07. 30.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 5

한 줄 요약

이 논문은 임의의 특성수 0인 체 위에서 L-유리적 특이점을 가진 사차 3차 곡면을 구성하여, 그 중간 homology에 토판을 갖는다는 것을 보이고, 기하학적 Chevalley-Warning 추측을 반박한다. 초평면 절단으로서 사차 symmetroid을 사용하고, 해소의 모노드로미와 링킹 형식을 분석함으로써, 다양체가 안정적으로 유리적이지 않음을 보이며, 이는 그 Grothendieck 링에서의 클래스가 L에 대해 1과 합동이 아니라는 것을 의미한다.

ABSTRACT

We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.

연구 동기 및 목표

• . 이 논문은 특성수 0인 모든 체가 다양체의 Grothendieck 링에서 Chevalley-Warning 성질을 만족하는지 조사한다.
• 특성수 0인 체 k 위에서 동차다항식 h의 차수 d ≤ n에 대해 [V(h)] ≡ 1 mod L in K0(Vark)라는 추측을 다룬다.
• 비자명한 토판을 가진 homology를 갖는 반례를 구성함으로써 이 추측을 반박하는 것이 목적이다.
• 비형식 기하학에서 유리성, 안정적 유리성, 그리고 Grothendieck 링 클래스 간의 관계를 명확히 하려 한다.

제안 방법

• . 저자들은 Q 위에서 정의된 P^4 내의 사차 3차 곡면 V ⊂ P^4를, 초평면 절단으로서 사차 symmetroid을 포함하는 초곡면으로 구성한다.
• . 사차 symmetroid의 기하학, 특히 P^2 위에서 6차 곡선 E1 ∪ E2에 따라 분지하는 이중 쌍대 구조를 다룬다.
• . 해소 W는 원추 다발의 섬유에서의 모노드로미 작용을 통해 분석되며, homology 내의 사이클 ξ2와 ξ3를 식별한다.
• . 토판 링킹 형식 L: Tor H2(W; Z) × Tor H3(W; Z) → Q/Z를 사용하여, ξ2와 ξ3가 0과 호모로지가 아님을 보이며, 이는 H3에 비자명한 토판이 있음을 의미한다.
• . 링킹 형식의 비자명성은 체인 η3와 ξ3가 특이점에서 횡단 교차함으로써 계산된다.
• . Lefschetz 원리를 적용하여 C에서의 결과를 특성수 0인 대수적으로 닫힌 체로 확장하고, 이후 Grothendieck 링 준동형사상을 통해 임의의 특성수 0인 체로 일반화한다.

실험 결과

연구 질문

• RQ1 . 특성수 0인 모든 체가 Chevalley-Warning 성질을 만족하는가, 즉 모든 동차다항식 h의 차수 d ≤ n에 대해 [V(h)] ≡ 1 mod L 인가?
• RQ2 . 특성수 0인 체 위에서 정의된 매끄럽고 사영적인 3차 곡면 중 Grothendieck 링에서의 클래스가 L에 대해 1과 합동이 아닌 것이 존재하는가?
• RQ3 . L-유리적 특이점을 가진 사차 3차 곡면이 중간 homology 그룹에서 비자명한 토판을 가질 수 있는가?
• RQ4 . 그러한 3차 곡면은 안정적으로 유리적인가, 그리고 이는 그 Grothendieck 링에서의 클래스와 어떻게 관련이 있는가?
• RQ5 . 기하학적 Chevalley-Warning 추측의 실패는 특성수 0인 모든 체에서 일반적으로 성립하는가?

주요 결과

• . 특성수 0인 체 위에서 정의된 Q 위의 사차 3차 곡면 V를 L-유리적 특이점을 가짐으로써 구성하였고, 이에 대해 임의의 특성수 0인 체에서 Grothendieck 링에서 [V] ̸≡ 1 mod L 임을 보였다.
• . 해소 W는 비자명한 토판 링킹 형식 L(ξ2, ξ3) ≠ 0 in Q/Z를 통해 H3(W; Z)에 비자명한 토판이 있음을 보였다.
• . 안정적 유리성이 성립하려면 H3에 토판이 없어야 하는데, 이 조건이 위반되므로 다양체 V는 안정적으로 유리적이지 않다.
• . 3차 곡면 V는 유리적으로 연결되어 있으며, 단순 연결이고, Picard 수가 1이며, 어떤 매끄러운 Fano 3차 곡면과도 안정적으로 바이레어럴하게 변형 불가능한 Fano 3차 곡면이다.
• . 이 구성은 기하학적 Chevalley-Warning 추측이 특성수 0인 모든 체에서 실패함을 보여준다.
• . 결과는 Lefschetz 원리와 ACF0의 일阶논리 완전성에 의해 C에서 임의의 특성수 0인 체로 확장된다.