[논문 리뷰] Rationalité d'un fibré en coniques

Jean-Louis Colliot-Thélène|arXiv (Cornell University)|2013. 10. 21.

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

한 줄 요약

이 논문은 특성 2가 아니고 $-1$의 제곱근을 포함하는 임의의 체 $k$ 위에서, 특정한 사차방정식으로 정의된 아핀 평면 위의 타원곡선에 대한 분할이 유리적임을 증명한다. 브라우어 군 계산과 비유리기하학을 통해 저자는 이 타원곡선 분할이 자명한 분할과 비유리적임을 보이며, 캄파나가 제기한 질문을 해결한다. 즉, 삼중 곡선의 곱의 군 작용에 의한 몫의 유리성에 관한 것이다.

ABSTRACT

F. Campana had asked whether a certain threefold is rational. In arXiv:1310.3569v1 [mathAG], this variety was shown to be birational to a specific conic bundle and then to be unirational. We prove that this conic bundle is rational.

연구 동기 및 목표

• 캄파나가 제기한 질문을 해결하는 것: $C \times_k C \times_k C$ 의 대각선 작용에 의한 몫이 체 $k$ 위에서 유리적인가?
• 특정한 $k$-다양체 $X$가 사차방정식으로 $\mathbf{A}^4_k$ 에서 정의될 때, 이 $X$ 가 $k$-유리적인가를 증명하는 것.
• 타원곡선 분할의 브라우어 군을 계산하고, 비유리적 의미에서 이것이 자명함을 보이는 것.
• 분할이 자명한 타원곡선 분할과 비유리적임을 증명함으로써, 이는 유리성을 의미함을 확립하는 것.
• $\mathbf{A}^3_k$ 와의 비유리적 동치를 통한 기하적 증명을 통한 유리성 확립.

제안 방법

• 저자는 아핀 평면 $\mathbf{A}^2_k$ 위의 타원곡선 분할을 연구하며, 이는 방정식 $s^2v(v^2-1) - t^2u(u^2-1) + uv(u^2-v^2) = 0$ 로 정의된다.
• 이 타원곡선은 체 $k(u,v)$ 에서의 퀼러티언 대수 $\alpha = (uv(u^2-1)(v^2-1), u(v^2-1)(v^2-u^2))$ 와 관련된다.
• 코드이멘션-1 점에서 $\alpha$ 의 잔여류를 계산하여, 특정한 초면을 제외하고는 모두 0이 됨을 보인다.
• 합리적인 곡선으로의 제약과 점에서의 평가를 통해, $\alpha$ 가 $\mathrm{Br}(k(u,v))$ 에서 $(u,v)$ 와 같음을 보인다.
• 이 등식은 타원곡선이 표준 타원곡선 $S^2 - uT^2 - vR^2 = 0$ 과 동형임을 의미하며, 이는 유리적이다.
• 따라서 이 분할은 자명한 분할 $s^2 - u t^2 - v = 1$ 과 비유리적임을 보이며, 이는 $\mathbf{A}^3_k$ 와 동형이므로, 결과적으로 유리적이다.

실험 결과

연구 질문

• RQ1 체 $k$ 위에서 $C \times_k C \times_k C$ 의 4제곱근의 항등원에 의한 대각선 작용에 의한 몫이 유리적인가?
• RQ2 $\mathbf{A}^4_k$ 에서 사차방정식으로 정의된 $k$-다양체 $X$ 가 체 $k$ 위에서 유리적인가?
• RQ3 아핀 평면 $\mathbf{A}^2_k$ 위의 타원곡선 분할의 브라우어 군은 무엇이며, 비유리적 의미에서 자명한가?
• RQ4 타원곡선 분할이 자명한 분할로 비유리적으로 변환될 수 있는가?
• RQ5 $\mathrm{Br}(k(u,v))$ 에서의 등식 $\alpha = (u,v)$ 는 비유리적 동치를 통한 유리 분할로 이르는가?

주요 결과

• $s^2v(v^2-1) - t^2u(u^2-1) + uv(u^2-v^2) = 0$ 으로 정의된 $k$-다양체 $X$ 는 $k$-유리적이다.
• 아핀 평면 $\mathbf{A}^2_k$ 위의 타원곡선 분할은 자명한 분할 $s^2 - u t^2 - v = 1$ 과 비유리적임을 보이며, 이는 $\mathbf{A}^3_k$ 와 동형이다.
• 브라우어 클래스 $\alpha$ 는 $\mathrm{Br}(k(u,v))$ 에서 $(u,v)$ 와 같다. 이는 타원곡선들 간의 비유리적 동치를 의미한다.
• 잔여류 계산을 통해 $\alpha - (u,v)$ 가 브라우어 군에서 자명함을 보이며, 이 등식이 확인된다.
• $X$ 의 유리성은 $X$ 가 $\mathbf{A}^3_k$ 와 비유리적임을 보이며, 따라서 $k$-유리적임을 의미한다.
• 결과적으로, $C \times_k C \times_k C$ 의 대각선 작용에 의한 몫이 $k$-유리적임을 확인한다.