3차 곡면에서의 $R$-등가성 연구 I: 비자명인 범용 등가성을 갖는 기존 사례

$R$-equivalence on Cubic Surfaces I: Existing Cases with Non-Trivial Universal Equivalence

본 논문에서는 $p$-adic 체 $k$ 위에서 좋은 환원을 갖는 매끄러운 3차 곡면 $V$를 다룬다. Swinnerton-Dyer (1981)는 $R$-등가가 $V(k)$ 위에서 자명할 것이라는 것을 증명했지만, 세 가지 특별한 경우를 제외하고는 그렇지 않을 수 있다. 이러한 특별한 경우는 그의 접근 방식으로 범용 (허용 가능한) 등가가 자명하다는 것을 증명할 수 없는 경우이다. 본 논문에서는 현재까지 알려진 비자명인 범용 등가성을 갖는 모든 3차 곡면을 고려한다. 이러한 곡면들은 Swinnerton-Dyer의 접근 방식으로 해결하기 어렵고, 만약 이 곡면들이 비자명인 $R$-등가를 갖는다면, Colliot-Thélène과 Sansuc의 기하학적으로 합리적인 곡면의 범용 변환기에 대한 $k$-합리성 추측에 모순된다. $R$-등가를 연구하기 위한 새로운 방법을 개발하여, 모든 Eckardt 환원을 갖는 2-adic 곡면 (세 번째 특별한 유형으로, 현재까지 알려진 모든 비자명한 범용 등가성을 포함)에 대해 $R$-등가가 자명하거나 지수 2인 것을 증명한다. 구체적인 경우에 대해, 자명성을 확인한다. 예를 들어, $ar{Q}_2(ζ_3)$ 위에서 $X^3+Y^3+Z^3+ζ_3 T^3=0$ 형태의 3차 곡면 (Manin (1972)의 오랜 난제를 해결)과 범용 등가의 지수가 2인 3차 곡면 (Kanevsky, 1982)이 있다. 본 논문은 AlphaEvolve 및 Gemini 3 Deep Think와 같은 생성형 AI 모델과의 1년간의 상호 작용에서 파생된 일련의 연구의 첫 번째 결과물이며, 특히 후자는 우리 팀의 많은 보조정리를 증명하는 데 기여했다. 본 논문에서 이러한 AI 모델의 사용 시점 및 방식에 대한 상세 정보를 공개하며, AI를 활용한 보다 광범위한 연구 프로그램에 대한 자세한 내용은 별도의 보고서 (미준비)에 설명되어 있다.

Let $V$ be a smooth cubic surface over a $p$-adic field $k$ with good reduction. Swinnerton-Dyer (1981) proved that $R$-equivalence is trivial on $V(k)$ except perhaps if $V$ is one of three special types--those whose $R$-equivalence he could not bound by proving the universal (admissible) equivalence is trivial. We consider all surfaces $V$ currently known to have non-trivial universal equivalence. Beyond being intractable to Swinnerton-Dyer's approach, we observe that if these surfaces also had non-trivial $R$-equivalence, they would contradict Colliot-Thélène and Sansuc's conjecture regarding the $k$-rationality of universal torsors for geometrically rational surfaces. By devising new methods to study $R$-equivalence, we prove that for 2-adic surfaces with all-Eckardt reductions (the third special type, which contains every existing case of non-trivial universal equivalence), $R$-equivalence is trivial or of exponent 2. For the explicit cases, we confirm triviality: the diagonal cubic $X^3+Y^3+Z^3+ζ_3 T^3=0$ over $\mathbb{Q}_2(ζ_3)$--answering a long-standing question of Manin's (Cubic Forms, 1972)--and the cubic with universal equivalence of exponent 2 (Kanevsky, 1982). This is the first in a series of works derived from a year of interactions with generative AI models such as AlphaEvolve and Gemini 3 Deep Think, with the latter proving many of our lemmas. We disclose the timeline and nature of their use towards this paper, and describe our broader AI-assisted research program in a companion report (in preparation).