[논문 리뷰] Obstructions to integral points on affine Châtelet surfaces

Jennifer Berg|arXiv (Cornell University)|2017. 10. 22.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 4

한 줄 요약

이 논문은 수체 위에서 정의된 아핀 캐트레유 표면 $x^2 - ay^2 = P(t)$에 대한 정수점에 대한 브라우어-만인 장애를 조사한다. 기존의 콪actification과는 달리, 이러한 표면은 순환 대수로 생성되지 않는 브라우어 군을 가질 수 있으며, $\mathbb{Q}$ 위에서 국소 점이 전부 존재하고 유리점이 존재하지만 정수점이 없는 명시적 예를 제공한다. 이 경우 브라우어-만인 장애로도 설명이 불가능하며, $\mathbb{Z}[1/2]$ 위에서도 마찬가지다. 주요 기여는 비순환 브라우어 계열의 구성과, 갈루아 코hom로지에서 코사이클 업그레이드를 통한 국소 불변량 계산에 효과적인 알고리즘 개발이다.

ABSTRACT

We consider the Brauer-Manin obstruction to the existence of integral points on affine surfaces defined by $x^2 - ay^2 = P(t)$ over a number field. We enumerate the possibilities for the Brauer groups of certain families of such surfaces, and show that in contrast to their smooth compactifications, the Brauer groups of these affine varieties need not be generated by cyclic (e.g. quaternion) algebras. Concrete examples are given of such surfaces over $\mathbb{Q}$ which have solutions in $\mathbb{Z}_{p}$ for all $p$ and solutions in $\mathbb{Q}$, but for which the failure of the integral Hasse principle cannot be explained by a Brauer-Manin obstruction. The methods of this paper build on the ideas of several recent papers in the literature: we study the Brauer groups (modulo constant algebras) of affine Châtelet surfaces with a focus on explicitly representing, by central simple algebras over the function field of $X$, a finite set of classes of the Brauer group which generate the quotient. Notably, we develop techniques for constructing explicit representatives of non-cyclic Brauer classes on affine surfaces, as well as provide an effective algorithm for the computation of local invariants of these Brauer classes via effective lifting of cocycles in Galois cohomology.

연구 동기 및 목표

• 아핀 캐트레유 표면, 즉 정수점과 유리점이 다를 수 있는 비콤팩트 다양체에서 정수점에 대한 브라우어-만인 장애를 조사하는 것.
• 이러한 표면에서 국소 해법과 유리점이 존재할 때, 브라우어-만인 장애가 정수 해스 원리의 실패를 설명할 수 있는지 판단하는 것.
• 특히 순환 대수로 생성되는지 여부를 분석하는 아핀 캐트레유 표면의 브라우어 군 $\operatorname{Br}X/\operatorname{Br}_0X$ 의 구조를 분석하는 것.
• 갈루아 코호몰로지와 코사이클 업그레이드를 통한, 비순환 브라우어 계열을 포함한 국소 불변량 계산에 효과적인 기법을 개발하는 것.
• 실수 국소의 콤팩트성 외에 다른 장애가 존재할 수 있음을 보이기 위해, 브라우어-만인 장애가 없지만 정수점이 없는 $\mathbb{Z}[1/2]$ 위의 예를 구성하는 것.

제안 방법

• 논문은 $P(t)$가 분리 가능하고 $a$가 제곱이 아닐 때, 아핀 캐트레유 표면 $x^2 - ay^2 = cP(t)$ 의 브라우어 군을 연구하며, 주로 $\operatorname{Br}X/\operatorname{Br}_0X$ 에 초점을 맞춘다.
• 특히 비분할 확장과 노름 형식의 맥락에서 갈루아 코호몰로지의 2-코사이클을 사용하여 비순환 브라우어 계열의 명시적 표현을 구성한다.
• 비분할 순환 확장 위에서 갈루아 코호몰로지의 코사이클 업그레이드를 통해 브라우어 계열의 국소 불변량을 계산하는 효과적인 알고리즘을 개발한다.
• 기법은 함수체 위에서 갈루아 군 작용을 분석하고, 특히 순서 8 계열에 대해 $\operatorname{Br}X/\operatorname{Br}_0X$ 의 계열이 자명한지 여부를 확인하기 위해 노름 관계를 활용한다.
• 특히 $p=2$ 에서의 국소 해법을 위해 기저 점을 수정하고, $\frac{1}{4}\mathbb{Z}/\mathbb{Z}$ 로의 불변량 사상의 상사상성을 검증하기 위한 전용 알고리즘을 적용한다. 이는 브라우어-만인 집합이 비어 있지 않음을 확인한다.
• 대수의 분할 조건을 사용하여, 분할의 존재를 $K/K^{\langle gh\rangle}$ 에서 $-1$ 이 노름이 되는지 여부로 환원한다.

실험 결과

연구 질문

• RQ1 유리점과 모든 $p$-진 점이 존재할 때, 아핀 캐트레유 표면에서 정수 해스 원리의 실패가 브라우어-만인 장애로 설명될 수 있는가?
• RQ2 아핀 캐트레유 표면의 브라우어 군은 항상 순환 대수(예: 퀼레르 대수)로 생성되는가, 아니면 비순환 계열을 포함할 수 있는가?
• RQ3 갈루아 코호몰로지를 통해 비순환 브라우어 계열의 국소 불변량을 효과적으로 계산할 수 있는가?
• RQ4 실수 점의 콤팩트성 장애를 제거하기 위해 $\mathbb{Z}[1/2]$ 위에서 작업할 때, $S$-정수 해스 원리의 실패가 여전히 지속되는가?
• RQ5 실 국소가 비콤팩트일 경우, 브라우어-만인 장애가 정수점이 없는 현상을 설명하는 데 충분한가?

주요 결과

• 일부 아핀 캐트레유 표면의 브라우어 군은 순환 대수로 생성되지 않는다. 논문은 순서 8의 비순환 브라우어 계열의 명시적 예를 구성한다.
• 표면 $X_{22}$: $x^2 + y^2 + t^4 = 22$ 는 유리점이 존재하고 모든 소수 $p$ 에 대해 $p$-진 점이 존재하지만 $\mathbb{Z}$ 위에서는 정수점이 없으며, 이 실패는 브라우어-만인 장애로 설명되지 않는다.
• $\mathbb{Z}[1/2]$ 위에서도 브라우어-만인 장애로는 $S$-정수 해스 원리의 실패를 설명할 수 없음을 보였다. 이는 $m$ 이 $\mathbb{Q}$ 에서 제곱이나 네제곱이 아닐 때 $X_m$ 에 대해 성립한다.
• 논문은 갈루아 코호몰로지에서 코사이클 업그레이드를 통해 국소 불변량을 계산하는 효과적인 알고리즘을 제공하며, 특히 $\mathbb{Q}_p$ 의 비분할 확장에서 유용하다.
• $X_{22}$ 에서 $p=2$ 에서의 국소 불변량 사상은 $\frac{1}{4}\mathbb{Z}/\mathbb{Z}$ 로 전순사이며, 이는 정수점이 없음에도 불구하고 브라우어-만인 집합이 비어 있지 않음을 확인한다.
• 브라우어 계열 $\mathcal{A}$ 의 분할 존재성은 $\mathbb{Q}(\sqrt[4]{22}(1+i))$ 에서 $-1$ 이 노름이 되는 것과 동치이며, 이는 모든 자리에서 국소 불변량이 자명하기 때문에 성립한다. 이는 $v=2$ 에서도 포함된다.