[논문 리뷰] Galois groups over rational function fields over skew fields

Gil Alon, François Legrand외 1명|arXiv (Cornell University)|2020. 02. 24.

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

한 줄 요약

이 논문은 중심 $ k $ 가 암묵적 필드를 포함하는 경우, $ H $ 가 중심 $ k $ 위에서 유한 차원인 스칼라체이면, 유리 함수체 $ H(X) $ 위에서 역갈로아 문제를 해결한다. 저자들은 $ H(X) $ 가 중심 변수 $ n $ 개에 대한 유리 함수체와 동형임을 증명함으로써 문제를 이전에 해결된 경우로 환원하며, 이로써 모든 유한군이 $ H(X) $ 위에서 갈로아 군으로 나타남을 입증한다.

ABSTRACT

Let $H$ be a skew field of finite dimension over its center $k$. We solve the Inverse Galois Problem over the field of fractions $H(X)$ of the ring of polynomial functions over $H$ in the variable $X$, if $k$ contains an ample field.

연구 동기 및 목표

• 스칼라체 $ H $ 가 중심 $ k $ 위에서 유한 차원일 때, 특히 $ H $ 가 중심 $ k $ 위에서 유한 차원인 스칼라체일 경우, 유리 함수체 위에서 역갈로아 문제를 확장하는 것.
• 비가환 설정에서의 역갈로아 이론에 존재하는 격차를 메우기 위해, 기존의 가환 함수체 결과를 스칼라체 확장으로 일반화하는 것.
• 스칼라체의 중심 $ k $ 가 암묵적 필드를 포함하는 조건 하에, 모든 유한군이 $ H(X) $ 위에서 갈로아 군으로 나타남을 입증하는 것.
• $ H[X] $ (비중앙 변수)와 $ H_c[t_1,\dots,t_n] $ (중앙 변수)라는 두 개의 서로 다른 다항식 구조 간의 격차를 메우기 위해, 이들이 동형임을 증명함으로써 스칼라체 위에서의 다항식 구조를 연결하는 것.
• 역갈로아 문제가 스칼라체의 동형에 대해 대수적 불변성을 갖는다는 것을 보여주어, 동형인 체들 사이에서 결과를 이전할 수 있음을 보장하는 것.

제안 방법

• 스칼라체 $ H $ 위에서 비중앙 변수 $ X $ 를 가진 다항식 함수의 링 $ H[X] $ 가 중심 변수 $ n $ 개에 대한 다항식 링 $ H_c[t_1,\dots,t_n] $ 과 동형임을 증명한다. 여기서 $ n = [H:k] $ 이며, Wilczynski 의 결과를 이용한다.
• 중심 $ k $ 가 무한할 경우, $ H[X] $ 가 오른쪽 오어 도메인임을 입증하여 고전적 오른쪽 분수체 $ H(X) $ 가 존재함을 보장한다.
• 등식 $ H(X) \cong H_c(t_1,\dots,t_n) $ 를 이용하여 $ H(X) $ 위에서의 문제를 $ H_c(t_1,\dots,t_n) $ 위에서 알려진 경우로 환원한다. 이는 Deschamps 와 Legrand 의 기존 결과를 활용한다.
• 스칼라체의 동형에 대해 역갈로아 문제가 대수적 불변임을 보여주는 Proposition 3.1 을 적용한다. 이에 따라, 만약 어떤 유한군이 $ H_c(t_1,\dots,t_n) $ 위에서 갈로아 군으로 나타나면, $ H(X) $ 위에서도 동일하게 나타남을 보인다.
• 중심 $ H_c(t_1,\dots,t_{n-1}) $ 의 중심이 $ k(t_1,\dots,t_{n-1}) $ 임을 확인한다. 이 중심은 $ k $ 에서 유래한 암묵적 성질을 그대로 이어받으며, 따라서 [DL19, Théorème B] 를 적용할 수 있다.
• 중심에 대한 유한 차원 스칼라체 확장으로서 $ H_c(t_1,\dots,t_n) $ 가 성립함을 이용하여, Deschamps 와 Legrand 의 기본 결과가 적용 가능함을 보장한다.

실험 결과

연구 질문

• RQ1 스칼라체 $ H $ 가 중심 $ k $ 위에서 유한 차원이고 중심 $ k $ 가 암묵적 필드를 포함하는 경우, 모든 유한군이 비중앙 변수 $ X $ 에 대한 유리 함수체 $ H(X) $ 위에서 갈로아 군으로 나타날 수 있는가?
• RQ2 스칼라체 $ H $ 위에서 비중앙 변수 $ X $ 에 대한 다항식 함수의 링 $ H[X] $ 는 중심 변수 $ n $ 개에 대한 다항식 링 $ H_c[t_1,\dots,t_n] $ 과 동형인가? 여기서 $ n = [H:k] $ 이다.
• RQ3 스칼라체 위에서의 역갈로아 문제는 기저 스칼라체의 동형류에만 의존하는가, 아니면 동형인 체들 사이로 결과를 이전할 수 있는가?
• RQ4 분수체 $ H(X) $ 의 구조는 무엇이며, 중심 $ k $ 위에서의 중심 변수에 대한 유리 함수체와 어떻게 관련이 있는가?
• RQ5 유한 차원 스칼라체 $ H $ 의 중심 $ k $ 가 어떤 조건을 만족할 경우, $ H(X) $ 위에서 역갈로아 문제가 양의 해를 갖는가?

주요 결과

• 중심 $ k $ 가 무한할 경우, 비중앙 변수 $ X $ 에 대한 다항식 링 $ H[X] $ 의 분수체 $ H(X) $ 는 중심 변수 $ n $ 개에 대한 유리 함수체 $ H_c(t_1,\dots,t_n) $ 와 동형이다. 여기서 $ n = [H:k] $ 이다.
• 스칼라체 $ H $ 의 중심 $ k $ 가 암묵적 필드를 포함하는 한, $ H(X) $ 위에서 역갈로아 문제는 양의 해를 갖는다. 즉, 모든 유한군이 $ H(X) $ 위에서 갈로아 군으로 나타난다.
• 등식 $ H(X) \cong H_c(t_1,\dots,t_n) $ 는 중심 변수의 경우에서의 결과를 비중앙 변수의 경우로 이전할 수 있게 하며, 이로써 문제를 [DL19, Théorème B] 로 환원하여 해결한다.
• 역갈로아 문제의 스칼라체의 동형에 대한 불변성: 만약 어떤 유한군 $ G $ 가 한 스칼라체 위에서 갈로아 군으로 실현 가능하면, 그와 동형인 모든 스칼라체 위에서도 실현 가능하다.
• 기본적인 사례인 $ \mathbb{H}(X) $ 에도 적용된다. 여기서 $ \mathbb{H} $ 는 힐버트의 허수체이며, 중심인 $ \mathbb{R} $ 는 $ \mathbb{Q}^{\rm{tr}} $ 와 같은 암묵적 필드를 포함한다.
• 비고: 예를 들어, $ k $ 가 무한일 경우, 모든 아벨 군, $ m \geq 3 $ 에 대해 대칭군 $ S_m $, $ m \geq 4 $ 에 대해 대칭군 $ A_m $ (특성 0), 또는 양의 특성에서 $ n \geq 2 $ 인 가환군은 $ H(X) $ 위에서 갈로아 군으로 실현 가능하다.