Universal torsors over quartic del Pezzo surfaces and stable rationality

문제 정의
본 논문은 표수 0인 체 위에서의 대수 기하학의 두 가지 상호 연결된 문제를 다룬다:

1. 보편적 토서(Universal Torsors)의 유리성: 매끄러운 4차 델 페조 곡면(quartic del Pezzo surface) $S$ 위의 보편적 토서 $T$가 $k$-점($T(k) \neq \emptyset$)을 가질 때, $T$가 $k$-유리(k-rational)인지 여부를 결정한다. 이는 Colliot-Thélène과 Sansuc [CTS87]의 추측에 대한 특정 사례를 해결한다.
2. 3차 초곡면의 안정적 유리성(Stable Rationality): 모든 차원 $n \geq 3$에 대하여 $\mathbb{Q}$ 위에서 안정적으로 유리한 매끄러운 3차 초곡면의 예시를 구성한다. $\mathbb{C}$ 위에서의 매끄러운 3차 3차곡면은 비유리함이 알려져 있고(Clemens–Griffiths [CG72]), 일반적인(very general) 것들은 안정적으로 유리하지 않지만 [EFS25], 비폐쇄체(특히 $\mathbb{Q}$) 위에서 홀수 차원의 안정적으로 유리한 예시의 존재는 이전까지 알려진 바 없었다.

방법론
저자들은 보편적 토서 이론, 등변 기하학(equivariant geometry), 그리고 "하나의 외견상 이중점(one apparent double point, OADP)"을 가진 다양체의 기하학을 결합한 전략을 사용한다.

• 보편적 토서와 콕스 링(Cox Rings): 저자들은 곡면 $S$의 콕스 링의 스펙트럼 $\text{Spec}(\text{Cox}(S))$로의 보편적 토서 $T$의 임베딩을 활용한다. 4차 델 페조 곡면의 경우, 이 콕스 링은 20개의 관계식에 의해 제약되는 예외 곡선(exceptional curves)에 대응하는 16개의 섹션에 의해 생성된다.
• OADP 기하학: 핵심적인 기술적 도구는 $P(U) \subset \mathbb{P}^{15}$가 OADP 다양체라는 관찰이다(즉, $\mathbb{P}^{15}$ 내의 일반적인 점을 통과하는 $P(U)$의 할선(secant line)은 유일하다). 정리 2.4( [CMR04]의 강화된 버전)를 통해, 일반적인 $k$-점의 접공간으로부터의 사영은 $\mathbb{P}^n$으로의 유리 사상(birational map)을 생성하여 유리성을 확립한다.
• 갈루아 코호몰로지와 군 작용: 저자들은 기하학적 피카르 군 $\text{Pic}(\bar{S})$에 대한 절대 갈루아 군 $g_k$의 작용을 분석한다. 이 작용은 $W(D_5)$의 부분군으로 인수분해된다. 저자들은 곡면이 $k$-최소(k-minimal)이고 조건 (H1)(모든 유한 확장에서의 $H^1$ 소멸)을 만족하는 경우를 네 가지 유형($I_0, I_1, I_2, I_3$)으로 분류한다.
• 안정적 선형화 가능성(Stable Linearizability): 섹션 6에서, 저자들은 델 페조 곡면 위의 특정 $G$-작용이 안정적으로 선형화 가능함을 증명하기 위해 등변 기하학을 적용한다. 이는 $G$-작용을 보편적 토서로 들어 올리고, 토서가 $G$-고정점을 가짐을 보여줌으로써 작용의 선형화를 허용하는 과정을 포함한다.

주요 기여 및 결과

1. 보편적 토서의 유리성 (정리 1.1 / 정리 3.4):
   저자들은 표수가 0인 체 $k$ 위의 4차 델 페조 곡면 $S$에 대하여, 보편적 토서 $T$가 $k$-점을 가지면 $T$는 $k$-유리임을 증명한다. 이는 4차 델 페조 곡면에 대한 Colliot-Thélène–Sansuc 추측을 확인하는 것이다. 이 증명은 콕스 링 다양체의 OADP 성질과 $T$ 상의 $k$-점의 조밀성(Lemma 2.1)에 의존한다.

2. 안정적 유리성의 특징 규명 (따름정리 1.2 / 따름정리 4.3):
   $S(k) \neq \emptyset$인 4차 델 페조 곡면 $S$가 $k$ 위에서 안정적으로 유리하기 위한 필요충분조건은 다음과 같다:

   • $S$가 조건 (H1) (모든 유한 확장 $k'/k$에 대해 갈루아 코호몰로지 $H^1(g_{k'}, \text{Pic}(\bar{S})) = 0$이 성립)을 만족하고,
   • $\text{Pic}(\bar{S})$에 대한 갈루아 작용이 $k$-최소가 아니거나, Proposition 4.1에서 식별된 $W(D_5)$의 네 가지 특정 부분군($I_0, I_1, I_2, I_3$) 중 하나로 인수분해되는 것이다.
     이는 Manin과 Kresch–Tschinkel–Sansuc의 기존 결과를 확장한다.

3. 안정적으로 유리한 3차 초곡면 (정리 1.3 / 명제 5.1, 5.2):
   본 논문은 모든 $n \geq 3$에 대하여 $\mathbb{Q}$ 위에서 안정적으로 유리한 매끄러운 3차 초곡면 $X \subset \mathbb{P}^{n+1}$의 구체적인 예시를 구성한다.

   • 방법: 저자들은 $X$를 일반 섬유(generic fiber)가 4차 델 페조 곡면 $S$인 유리한 기저(rational base) 위의 파이브레이션(fibration)으로 구성한다. 정의 방정식을 신중하게 선택함으로써, 갈루아 작용이 $\text{Pic}(\bar{S})$에 대해 유형 $I_1$(명제 5.1) 및 $I_3$(명제 5.2)에 대응하도록 보장한다.
   • 의의: 이것은 홀수 차원(특히 차원 3)에서 $\mathbb{Q}$ 위에서 안정적으로 유리한 매끄러운 3차 초곡면의 첫 번째 알려진 예시들이다.

4. 군 작용의 안정적 선형화 가능성 (정리 1.4 / 명제 6.1):
   저자들은 4차 델 페조 곡면 위의 $G = C_3 \rtimes C_4$ 작용이 거칠게 선형화 가능(coarsely linearizable)하지는 않지만 안정적으로 선형화 가능한 구체적인 예를 제공한다. 이는 $G$-고정점을 가진 보편적 토서를 구성하고 토서 상의 작용의 선형화 가능성을 증명함으로써 달성된다.

의의 및 주장
본 논문은 4차 델 페조 곡면 위의 보편적 토서에 대한 유리성 문제를 해결하며, 이는 토서 이론을 안정적 유리성 문제에 적용하기 위한 필수적인 단계이다. $I_1$ 및 $I_3$ 사례에서 토서의 유리성을 증명하는 "병목 구간"을 해결함으로써, 저자들은 $\mathbb{Q}$ 위에서 안정적으로 유리한 3차 3차곡면을 구성할 수 있게 하였다.

저자들은 자신들의 구성이 안정적으로 유리한 섬유와 안정적으로 유리하지 않은 섬纤维(후자는 [EFS25]에 의해 $\mathbb{C}$ 위에서 존재함)를 모두 갖는 매끄러운 3차곡면 가족을 생성한다는 점을 언급하며, 이를 통해 [HKT23]의 결과를 확장한다. 저자들은 자신들의 구성이 안정적으로 유리한 예시들을 산출하지만, 안정적으로 유리한 3차 3차곡면이 모듈라이 공간 내에서 조밀하다는 결론에는 도달하지 못했음을 명시적으로 밝히며, 이는 미해결 과제로 남겨두었다.

또한 본 연구는 유리 다양체 위의 등변 작용에 관한 특정 열린 질문을 다룸으로써, 델 페조 곡면 위의 기하학적 작용에 대해 안정적으로 선형화 가능하지만 거칠게 선형화 가능하지 않은 최초의 비자명한 예를 제공하여 등변 기하학에 기여한다.