[논문 리뷰] On the equation N_{K/k}(\Xi)=P(t)

Dasheng Wei|arXiv (Cornell University)|2012. 02. 18.

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

한 줄 요약

이 논문은 아벨 확장인 $K/k$일 때, norm 방정식 $N_{K/k}(\bar{\Xi}) = P(t)$로 정의된 다양체에서 유리점과 차수 1인 제로사이클에 대한 브라우어-마이너 막힘에 대한 이해를 발전시킨다. 비분기 브라우어 군을 계산하고, 스킨젤의 가정 하에 브라우어-마이너 막힘은 유리점과 제로사이클에 대한 유일한 막힘임을 증명하며, 이전의 순환 또는 특수한 경우를 초월해 일반적인 아벨 확장과 비갈로아의 소수 차수 확장을 포함한 경우로 결과를 확장한다.

ABSTRACT

For varieties given by an equation N_{K/k}(\\Xi)=P(t), where N_{K/k} is the norm form attached to a field extension K/k and P(t) in k[t] is a polynomial, three topics have been investigated: (1) computation of the unramified Brauer group of such varieties over arbitrary fields; (2) rational points and Brauer-Manin obstruction over number fields (under Schinzel's hypothesis); (3) zero-cycles and Brauer-Manin obstruction over number fields. In this paper, we produce new results in each of three directions. We obtain quite general results under the assumption that K/k is abelian (as opposed to cyclic in earlier investigation).

연구 동기 및 목표

• 일반 체 위에서 $N_{K/k}(\Xi) = P(t)$로 정의된 다양체의 비분기 브라우어 군을 계산하는 것, 특히 $K/k$가 아벨일 경우에 중점을 두어.
• 수체 위에서 스킨젤의 가정 (H) 하에 이러한 다양체에서 유리점과 약한 근접성에 대한 브라우어-마이너 막힘을 조사하는 것.
• 확장 $K/k$가 비순환적이거나 섬유에서 허스의 원리가 실패하는 경우에도, 차수 1인 제로사이클에 대한 브라우어-마이너 막힘의 결과를 확장하는 것.
• 이전 결과들이 순환 확장이나 강한 섬유 가정을 필요로 했던 것을 넘어서, 아벨 확장과 비갈로아의 소수 차수 확장을 다루어 일반화하는 것.

제안 방법

• 아핀 다양체 $N_{K/k}(\Xi) = P(t)$의 매끄러운 부분의 부분 컴acts이션 $X$를 사용하고, 그 매끄러운 컴acts이션 $X^c$에 대해 $\mathrm{Br}(X^c)$를 계산하는 것.
• Colliot-Thélène, Harari, 그리고 Skorobogatov (2003)의 $\mathrm{Br}(X)$ 공식을 응용하여, 새로운 경우에 대해 $\mathrm{Br}(X^c)$를 유도하는 것.
• 스킨젤의 가정 (H)을 활용하여, 살베르거의 장치를 통해 조건부 결과를 유리점에 대한 조건을 제거하고, 차수 1인 제로사이클에 대한 무조건적 결과로 전환하는 것.
• 전역 상호법칙과 국소 불변량을 적용하여, 수체 위에서 섬유에 대한 브라우어-마이너 막힘의 소멸을 검증하는 것.
• 갈루아 이론적 기법, 특히 갈루아 닫힘 $K^{\mathrm{cl}}$와 시로우 부분군을 사용하여, $p$와 서로소인 차수의 체 확장을 구성하는 것.
• 브라우어 쌍화와 기저 변경을 위한 투영 공식을 적용하여, $V^c$에서의 막힘 구조를 $V^c_\Theta$로 이전하고, $k$로의 내림을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 아벨 확장인 $K/k$일 때, $P(t)$가 기약일 경우, $N_{K/k}(\Xi) = P(t)$에 대해 비분기 브라우어 군 $\mathrm{Br}_{ur}(X^c)$가 언제 자명하거나 계산 가능할 것인가?
• RQ2 아벨 확장인 $K/k$이고 스킨젤의 가정 (H)이 성립할 때, $N_{K/k}(\Xi) = P(t)$의 매끄럽고 완비된 모델에서 브라우어-마이너 막힘은 유리점과 약한 근접성에 대한 유일한 막힘인가?
• RQ3 비갈로아의 소수 차수 확장인 $K/k$일 때, $V^c$에서 차수 1인 제로사이클의 존재에 대해 브라우어-마이너 막힘은 유일한 막힘임을 어떻게 보일 수 있는가?
• RQ4 아벨 확장인 $K/k$이고 $P(t)$가 기약일 때, 브라우어 군 몫 $\mathrm{Br}(X)/\mathrm{Br}(X^c)$의 구조는 어떻게 행동하는가?
• RQ5 순환 확장과 섬유별 허스 원리 가정을 초월해 결과를 어느 정도까지 일반화할 수 있는가?

주요 결과

• 기약인 $P(t)$와 일반적인 $K/k$에 대해 $\mathrm{Br}(X^c) = \mathrm{Br}_0(X^c)$이므로, 비분기 브라우어 군은 자명하다.
• 아벨 확장인 $K/k$이고 $P(t)$가 기약일 경우, 몫 $\mathrm{Br}(X)/\mathrm{Br}(X^c)$는 2-torsion이며, 일반적으로 자명하여 브라우어 군의 구조가 제어 가능함을 나타낸다.
• 갈루아 확장인 $K/k$이고 $P(t)$의 모든 근이 $k$에 속할 경우, $\mathrm{Br}(X^c)/\mathrm{Br}_0(X^c)$에 대한 공식을 확립하여 [8]에서 제기된 질문을 해결한다.
• 스킨젤의 가정 (H) 하에, 아벨 확장인 $K/k$와 일부 비순환 소수 차수 확장에 대해, $N_{K/k}(\Xi) = P(t)$의 매끄럽고 완비된 모델에서 브라우어-마이너 막힘은 유리점과 약한 근접성에 대한 유일한 막힘임을 보인다.
• 비갈로아의 소수 차수 확장의 경우, 브라우어-마이너 막힘의 부재는 $k$ 위에서 차수 1인 제로사이클의 존재를 의미하며, 이는 섬유에서 허스의 원리가 실패하더라도 성립한다.
• 갈루아 닫힘과 시로우 부분군을 활용하여, $p$와 서로소인 차수의 체 $F/k$를 구성하고 $V^c(F) \neq \emptyset$임을 보장함으로써, 차수 1인 제로사이클의 존재를 확보한다.