[논문 리뷰] Rationality of complete intersections of two quadrics

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|2019. 03. 21.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 6

한 줄 요약

이 논문은 $\bar{P}^5$ 내의 두 제곱곡면의 일반적이고 매끄럽고 완전한 교차가 $\mathbb{C}((T))$, $\mathbb{C}(T)$, 또는 $p$-진 수체와 같은 비폐쇄 체 위에서 안정적으로 유리적이지 않음을 입증한다. 특수화 기법과 갈루아 코hom로지 및 비분할 코호몰로지에서 비자명한 비유리성 장벽을 사용하여, 이러한 삼차곡면이 유리점과 자명한 브라우어 군을 가짐에도 불구하고 안정적 유리성이 실패함을 증명한다.

ABSTRACT

We study rationality problems for smooth complete intersections of two quadrics. We focus on the three-dimensional case, with a view toward understanding the invariants governing the rationality of a geometrically rational threefold over a non-closed field.

연구 동기 및 목표

• 비폐쇄 체, 특히 $p$-진 또는 함수체 위에서 기하학적으로 유리적인 삼차곡면의 유리성 불변량을 이해하는 것.
• \mathbb{P}^5 내 두 제곱곡면의 교차가 $\mathbb{C}((T))$ 또는 $\mathbb{F}_q((T))$와 같은 체 위에서 안정적으로 유리적인지 조사하는 것.
• 이 삼차곡면의 범주에서 자명한 피카르 군과 브라우어 군 이외의 유리성 장벽을 규명하는 것.
• 비유리적인 토릭 특성분해와 제곱곡면 번들의 구조를 통해 특수화 방법을 삼차곡면으로 확장하는 것.
• 완중 잭비안과 유리 곡선이 제곱곡면의 교차에 대한 유리성 문제에서 수행하는 역할을 명확히 하는 것.

제안 방법

• 바이진과 CTP의 특수화 방법을 사용하여, $k((\tau))$ 위에서 비유리적인 토릭 삼차곡면으로의 특성분해를 통해 두 제곱곡면의 교차에 적용한다.
• 비분할 코호몰로지 기법을 적용하여 $H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$ 내에서 비자명한 클래스를 구성함으로써 $CH_0$-군의 비자명성을 보여주고, 이는 $X_n$이 안정적으로 유리적이지 않음을 증명한다.
• 삼차곡면 $X$의 완중 잭비안을 분석하여, 이가 $k$ 위의 종수 2 곡선의 잭비안임을 보이고, 그의 변형과 갈루아 작용을 연구한다.
• 갈루아 코호몰로지에서 코ho를 곱하는 비자명성을 증명하기 위해 변수 수 $s_i$에 대한 재귀적 추론을 사용한다.
• 결과 [HPT18]을 적용하기 위해 $X$를 $\mathbb{P}^1 \times \mathbb{P}^1$ 위의 제곱곡면 번들의 네차원 곡면으로 간주한다.
• 유리점의 존재와 $k$ 위에서의 직선 및 비교접 직선의 기하학을 이용하여 유리성을 제약하고, 이는 유리성이 특수한 구성으로 이끌어야 한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 비폐쇄 체인 $\mathbb{C}((T))$ 또는 $\mathbb{F}_q((T))$ 위에서 $\mathbb{P}^5$ 내 두 제곱곡면의 교차의 안정적 유리성이 장벽을 받을 수 있는가?
• RQ2 완중 잭비안과 그 갈루아 변형은 기하학적으로 유리적인 삼차곡면의 유리성 결정에 어떤 역할을 하는가?
• RQ3 기저 체 $k$ 위에서 유리 곡선이나 직선의 존재는 이러한 삼차곡면의 유리성 또는 안정적 유리성을 암시하는가?
• RQ4 이러한 교차에 대해 비자명한 비분할 코호몰로지 클래스를 구성할 수 있으며, 이는 유리성을 장벽으로 삼는가?
• RQ5 비유리적인 토릭 삼차곡면으로의 특성분해가 안정적 유리성 장벽을 드러내는 방식은 무엇인가?

주요 결과

• 일반적이고 매끄러운 두 제곱곡면의 교차는 $k = \mathbb{C}((T))$, $\mathbb{C}(T)$, 또는 $p \neq 2$인 $p$-진 수체 위에서 안정적으로 유리적이지 않으며, 이는 비유리적인 토릭 삼차곡면으로의 특수화를 통해 입증된다.
• 기저 체에서 올라오지 않는 비자명한 비분할 코호몰로지 클래스 $\alpha_n \in H^{n+2}_{nr}(K_n(X_n), \mathbb{Z}/2)$의 존재는 $X_n$이 $CH_0$-자명하지 않으며 따라서 안정적으로 유리적이지 않음을 증명한다.
• 특히 $n=0$일 때, 클래스 $((u+v)/v, a) \in \mathrm{Br}(X_0)$는 비자명하고 비분할이며, 이는 $X_0$가 유리적이 아니며 $k$ 위에서 공액의 비교접 직선 쌍을 포함할 수 없음을 보여준다.
• 완중 잭비안 $\mathrm{IJ}(X)$는 $k$ 위의 종수 2 곡선의 잭비안과 동형이며, 그 갈루아 구조는 유리성 장벽을 이해하는 데 핵심적이다.
• $X$의 유리성은 $k$ 위의 직선 존재를 강제하며, 완중 잭비안 내의 홀수 차수 곡선은 이러한 직선의 존재를 강제함으로써 기하학과 유리성 간의 연결 고리를 형성한다.
• 이러한 구성은 $\mathbb{F}_q((T))$, $\mathbb{C}((T_1))((T_2))$, 및 $\mathbb{Q}_p$ 위에서 매끄러운 두 제곱곡면의 교차로의 명시적 예를 제공하며, 이는 유리점이 존재함에도 불구하고 안정적으로 유리적이지 않음을 보여준다.