[논문 리뷰] Non rationalité stable d'hypersurfaces cubiques sur des corps non algébriquement clos

Jean-Louis Colliot-Thélène|arXiv (Cornell University)|2016. 06. 22.

Meromorphic and Entire Functions인용 수 4

한 줄 요약

이 논문은 비대수적으로 닫힌 체 위에서 매끄러운 입체 초곡면의 안정적 비유리성을 증명한다. 이는 $R$-동치의 전문화와 비분할 코homology 기반의 두 가지 새로운 방법을 사용하여, 모든 $CH_0$-자명하지 않은 명시적 예를 구성함으로써 이루어진다. 주요 기여는 $\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$ 위에서 차원 $n-1$인 입체 초곡면에 대해 $3 \leq n \leq 2^{\ell-1}+1$일 때, 그리고 $k$가 비세제곱 원소를 포함하는 경우 $k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 위에서 $n \leq \ell+3$일 때 안정적 비유리성을 증명하는 것이다.

ABSTRACT

We propose and compare various techiques available to produce smooth cubic hypersurfaces over a non-algebraically-closed field which have rational points but which are not stably rational over their ground field.

연구 동기 및 목표

• 비대수적으로 닫힌 체 위에서 홀수 차원의 매끄러운 입체 초곡면에 대한 안정적 유리성 문제를 해결하기 위해.
• 기존의 $p$-진 또는 국소 체의 경우를 초월하여, 반복 로렌트 급수 체를 포함한 더 넓은 범주의 체로 비안정적 유리성 결과를 확장하기 위해.
• 코homological 및 기하학적 전문화 기법을 사용하여, 모든 $CH_0$-자명하지 않은 새로운 입체 초곡면의 구성 방법을 제공하기 위해.
• Chatzistamatiou–Levine 및 Pirutka–Colliot-Thélène의 이전 결과를 일반화하고 정교화하여 기저 체에 대한 가정을 완화하고, 비안정적 유리성이 증명되는 차원의 범위를 증가시키기 위해.
• 비안정적으로 유리가 아닌 입체 초곡면이 존재하는 차원의 집합이 연속적인 간격을 이룬다는지 조사하기 위해, 더 넓은 유리성 장벽 이해에 기여하기 위해.

제안 방법

• 기저 체 $k$가 $2^\ell$차원의 비가역 페르미터 형식을 지닌 경우, $F = k((x))$ 위에서 입체 초곡면의 가중치가 2인 특이 섬유에 대한 $R$-동치의 전문화를 사용한다.
• 특이 섬유의 분해형을 통한 비분할 코homology의 후속 응용을 통해 $R$-동치 클래스 군의 비자명성을 탐지한다.
• 기저 체 $k$에 비세제곱 원소가 존재하는 것을 기반으로 한 방법을 사용하여, $F = k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 위에서 대각 입체 초곡면을 구성하며, 이는 비일반적인 $CH_0$-자명성을 가진다.
• 비분할 코hom올로지 이론과 $CH_0(X_L) \to \mathbb{Z}$의 차수 사상의 비자명성을 이용하여 유리성과 안정적 유리성을 차단한다.
• 기저 체 위에서 임의의 차원의 비가역 형식이 존재함을 보장하기 위해 이차형식 이론과 페르미터 형식 이론을 결합한다.
• 형식과 코hom올로지 장벽의 행동을 제어하기 위해 $u(F((t))) = 2u(F)$라는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 비대수적으로 닫힌 체 $F$에 대해, $F$-유리점이 존재하는 매끄러운 입체 초곡면 $X \subset \mathbb{P}^n_F$ 중 안정적으로 유리가 아닌 것이 존재하는가?
• RQ2 예를 들어 $\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$와 같은 체 위에서, 모든 $CH_0$-자명하지 않은 매끄러운 입체 초곡면의 예를 구성할 수 있는가?
• RQ3 비안정적으로 유리가 아닌 입체 초곡면이 존재하는 차원 $n$의 집합은 연속적인 간격을 이룬다.
• RQ4 $R$-동치와 비분할 코homology의 장벽이 국소 체 위의 입체 초곡면 가중치에서 어떻게 상호작용하는가?
• RQ5 $p$-진 또는 로렌트 급수 설정에서 $n = 2^\ell$의 경우에 전문화 및 코hom올로지 탐지 방법을 확장할 수 있는가?

주요 결과

• 기저 체 $k$가 특성 $\neq 2$를 가지며 $2^\ell$차원의 비가역 페르미터 형식을 지닌 경우, $F = k((x))$ 위에서 $3 \leq n \leq 2^{\ell-1}+1$인 모든 $n$에 대해 $F$-점이 존재하는 매끄러운 입체 초곡면 $X \subset \mathbb{P}^n_F$가 존재하며, 이들은 $R$-동치가 아니므로 안정적으로 유리가 아니다.
• 기저 체 $k$가 특성 $\neq 3$를 가지며 $a \notin k^{*3}$인 원소를 포함하는 경우, $F = k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 위에서 $3 \leq n \leq \ell+3$인 모든 $n$에 대해 $F$-점이 존재하는 매끄러운 대각 입체 초곡면 $X \subset \mathbb{P}^n_F$가 존재하며, 이들은 비일반적인 $CH_0$-자명성을 가지므로 안정적으로 유리가 아니다.
• §3의 구성은 $\mathbb{C}((\lambda_1))\cdots((\lambda_{\ell+1}))$와 같은 체에 적용 가능하며, $n \leq 2^{\ell-1}+1$인 차원 $n-1$의 비안정적으로 유리가 아닌 입체 초곡면의 새로운 예를 제공한다.
• §4의 방법은 $k$가 비세제곱 원소를 포함하는 $k((\lambda_2))\cdots((\lambda_{\ell+1}))$ 형식의 체 위에서 적용되며, $n \leq \ell+3$일 때 비-$CH_0$-자명성을 달성한다.
• Pirutka–Colliot-Thélène 및 Chatzistamatiou–Levine의 이전 구성 결과를 확장하여, 새로운 범위의 차원과 체를 다루게 된다.
• 논문은 비안정적으로 유리가 아닌 입체 초곡면이 존재하는 차원 $n$의 집합이 반드시 간격을 이루지 않는다는 것을 보여주며, §3과 §4의 구성은 체의 구조에 따라 서로 겹치지 않는 범위를 커버한다.