[논문 리뷰] Le probl\\`eme inverse de Galois sur les corps des fractions tordus \\`a ind\\'etermin\\'ee centrale

Bruno Deschamps, François Legrand|arXiv (Cornell University)|2019. 03. 26.

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

한 줄 요약

이 논문은 중심 $k$ 위에서 유한 차원인 중심 스칼라 필드 $H$ 위에서의 역갈로아 문제와 $H/k$의 노름형식을 포함하는 $k$ 위에서의 제약 조건이 있는 역갈로아 문제 사이의 등가성을 확립한다. 주요 결과는 $k$가 풍부한 필드를 포함하면, 모든 유한군이 $H(t)$ 위에서 갈로아 군으로 나타나며, 이는 기저 필드에 대한 다항식 제약 조건을 통해 비가환 설정에서 역갈로아 문제를 해결한다.

ABSTRACT

In this article, we show that the Inverse Galois Problem over a skew field $H$ of finite dimension over its center $k$ is equivalent to a variant of the Inverse Galois Problem over $k$ involving a polynomial constraint. As an application, we show that if $k$ contains an ample field, then the Inverse Galois Problem has a positive answer over the skew field $H(t)$ of rational fractions with central indeterminate.

연구 동기 및 목표

• 중심 스칼라 필드 $H$ 위에서의 역갈로아 문제와 그 중심 $k$ 위에서의 제약 조건이 있는 형태 사이의 정확한 등가성을 확립하기.
• 특히 중심 미지수를 가진 비가환 설정, 즉 비가환 필드 $H(t)$로의 역갈로아 문제를 확장하기.
• 기저 필드 $k$ 안에 풍부한 필드가 존재하면, $H(t)$ 위에서의 역갈로아 문제에 대해 양의 해가 보장됨을 보여주기.
• 노름형식이 선형적으로 분리된 확장 간의 제어 역할을 통해 비가환 필드 위에서 갈로아 실현이 가능하게 하는 방식으로, 노름형식의 역할을 명확히 하기.
• 표준적인 대수적 닫힘 개념이 실패하는 비가환 필드와 비가환 다항식 함수체 위에서 고전 갈로아 이론 기법을 일반화하기.

제안 방법

• 중심 $k$ 위에서의 $H/k$의 감소 노름에 관련된 노름형식 $\mathcal{F} = P_H$를 정의하여, $H/k$와 갈로아 확장 $L/k$ 사이의 선형 분리 조건을 포함시킨다.
• 이를 통해 $H/k$와 $L/k$가 선형적으로 분리되어 있음과 $\mathcal{F}$가 $L$에서 비자명한 영이 존재하지 않음이 동치임을 증명하며, 이는 $H$ 위에서의 갈로아 실현과 $L$ 위에서의 $\mathcal{F}$의 영이 존재하지 않음을 연결한다.
• 유한 차원 중심 단순 대수의 구조를 이용한 이중성 원리에 기반하여, $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$의 등가성을 확립한다.
• 차수 $G^{n+1}$인 $n+1$개의 선형적으로 분리된 갈로아 확장을 이용하여, 적어도 하나의 확장이 $H$와 분리되어 있음을 보장하며, 이는 중간 필드의 수를 활용한다.
• 오어의 구성법을 사용하여 중심 미지수를 가진 비가환 다항식환 $H[t]$의 분수체로 비가환 함수체 $H(t)$를 구성한다.
• 등가 결과를 적용하여, $k$가 풍부한 필드를 포함하면 $\text{PIG}_{H(t)}$에 양의 해가 존재함을 보이며, 이는 $\mathcal{F}$의 영이 자명한 확장 $L/k$가 존재하기 때문이다.

실험 결과

연구 질문

• RQ1 중심 $k$ 위에서 유한 차원인 중심 스칼라 필드 $H$ 위에서의 역갈로아 문제와 $H/k$의 노름형식을 포함하는 $k$ 위에서의 제약 조건이 있는 역갈로아 문제 사이에 등가성이 존재하는가?
• RQ2 기저 필드 $k$가 풍부한 필드를 포함하면, 비가환 함수체 $H(t)$ 위에서 역갈로아 문제가 해결 가능한가?
• RQ3 노름형식 $P_H$는 $H/k$와 갈로아 확장 $L/k$ 사이의 선형 분리성을 확보하는 데 어떤 역할을 하는가?
• RQ4 일반적으로 $\text{PIG}_H \Rightarrow \text{PIG}_{\mathcal{F}\text{C}}^k$의 함의관계가 성립하지 않지만, 비가환 설정에서는 성립하는 이유는 무엇인가?
• RQ5 고전 갈로아 이론은 어떻게 비가환 필드, 특히 비가환 함수체의 맥락에서 일반화될 수 있는가?

주요 결과

• 중심 $k$ 위에서 유한 차원인 중심 스칼라 필드 $H$ 위에서의 역갈로아 문제와 $H/k$의 노름형식 $P_H$를 포함하는 $k$ 위에서의 제약 조건이 있는 역갈로아 문제 사이에 정확한 대수적 다리를 구축하며, 이는 두 문제 사이의 등가성을 확립한다.
• $\text{PIG}_{\mathcal{F}\text{C}}^k \Longleftrightarrow \text{PIG}_H$의 등가성은 선형 분리성과 확장체 위에서의 노름형식의 영이 존재하지 않음의 상호작용에 의해 성립한다.
• $k$가 풍부한 필드를 포함하면, 모든 유한군이 중심 미지수를 가진 비가환 함수체 $H(t)$ 위에서 갈로아 군으로 나타나며, 이는 비가환 설정에서의 역갈로아 문제에 대한 양의 해를 제공한다.
• 중심 $t$를 가진 비가환 다항식환 $H[t]$의 분수체로 $H(t)$를 구성함으로써, 모든 원소가 $p(t)q(t)^{-1}$ 형태로 표현되며, 이는 비가환 구조를 유지한다.
• 이 증명은 충분히 많은 수의 선형적으로 분리된 갈로아 확장을 통해, 그 중 적어도 하나가 $H$와 분리되어 있음을 보장함으로써, $H/k$의 중간 필드의 수를 활용한다.
• 결과적으로, 기저 필드 $k$가 풍부한 필드와 같은 강력한 모델이론적 성질을 지닐 경우, 비가환 설정에서 역갈로아 문제가 더 다루기 쉬운 것으로 드러난다.