[논문 리뷰] Embeddings of fields in simple algebras over global fields

Sheng-Chi Shih, Tse-Chung Yang외 1명|arXiv (Cornell University)|2011. 08. 03.

Advanced Topics in Algebra인용 수 5

한 줄 요약

이 논문은 전역체 위의 중심단순대수에 대한 유한체 확장의 임베딩에 대한 국소-글로벌 원리에 대해 연구한다. $F$-선형 임베딩 $K$에서 $A$로의 존재에 대한 수치 기준을 수립하고, $[K:F] < \deg A$일 때 일반적으로 해스 원리가 실패함을 증명하며, 전역체 위에서 용량과 브라우어 군 불변량을 이용해 명시적인 반례를 구성한다.

ABSTRACT

Let $F$ be a global field, $A$ a central simple algebra over $F$ and $K$ a finite (separable or not) field extension of $F$ with degree $[K:F]$ dividing the degree of $A$ over $F$. An embedding of $K$ in $A$ over $F$ exists implies an embedding exists locally everywhere. In this paper we give detailed discussions when the converse (i.e. the local-global principle in question) may hold.

연구 동기 및 목표

• 유한체 확장 $K$가 전역체 $F$ 위의 중심단순대수 $A$로의 $F$-선형 임베딩이 존재하는 필요 및 충분 조건을 규명하는 것.
• 체 $F$의 각 자리 $v$에서 국소 임베딩 문제를 분석하여, $K_v$가 $F_v$ 위에서 $A_v$로 임베딩되는 조건을 특성화하는 것.
• 모든 자리 $v$에서 국소 임베딩 조건(즉, $K_v \hookrightarrow A_v$)이 성립할 때, 글로벌 임베딩 $K \hookrightarrow A$가 존재하는지 조사하는 것.
• 전역체 위의 중심단순대수에서 비최대부분체 임베딩에 대해 해스 원리가 실패할 수 있는지, 그리고 그 조건을 명시적으로 구성하는 것.
• 글로벌 임베딩 존재성에 대한 수치 기준을 $\Delta \otimes_F K$의 용량과 브라우어 군의 국소 불변량을 포함하여 제공하는 것.

제안 방법

• 논문 [23]의 반단순대수의 임베딩에 관한 결과를 적응하여 $K$에서 $A$로의 $F$-임베딩에 대한 수치 기준을 도출하는 것.
• 분해 $A \cong \mathrm{Mat}_n(\Delta)$를 이용하여 문제를 $\Delta \otimes_F K$의 용량으로 환원하는 것, 여기서 $\Delta$는 단일대수이고 $n = \mathrm{c}(A)$이다.
• 해스-브라우어-노이터 정리를 적용하여 $\Delta$의 차수 $\delta_0$를 국소 지표 $d_v$들의 최소공배수로 계산하는 것.
• $\sum_{w|v} \ell_w x_w = \mathrm{c}(A_v)$를 만족하는 정수 해의 체계를 통해 $F_v$-임베딩 $K_v \to A_v$의 $A_v^\times$-동치류 집합을 특성화하는 것, 여기서 $\ell_w = [K_w:F_v]/\gcd([K_w:F_v], \deg \Delta)$이다.
• 갈루아 코hom로지와 재수성군에 대한 동차공간 이론을 적용하여 해스 원리 질문을 $H^2(F, Z)$의 장애물 클래스의 영성으로 환원하는 것.
• 힐베르트 90 정리와 브라우어 군에 대한 해스 원리를 적용하여, 장애물의 국소적 자명성이 전역적 자명성을 이끌어내는 조건 $\mathrm{ind}_{K_i}(A_i) \mid m_i$ 하에서 성립함을 보이는 것.

실험 결과

연구 질문

• RQ1 유한체 확장 $K$가 전역체 $F$ 위의 중심단순대수 $A$로의 $F$-선형 임베딩을 갖는 조건은 무엇인가?
• RQ2 모든 자리 $v$에서 국소 임베딩 조건 $K_v \hookrightarrow A_v$가 성립할 때, 글로벌 임베딩 $K \hookrightarrow A$가 성립하는가?
• RQ3 $[K:F] < \deg A$일 때, 임베딩에 대한 해스 원리가 실패할 수 있으며, 그 경우는 무엇인가?
• RQ4 용량 $\mathrm{c}(\Delta \otimes_F K)$를 포함한 정확한 수치 기준은 $K$에서 $A$로의 $F$-선형 임베딩 존재성에 대해 어떻게 기술되는가?
• RQ5 $F_v$의 브라우어 군에 있는 국소 불변량은 글로벌 임베딩 문제에 어떻게 영향을 미치는가?

주요 결과

• $A$로의 $F$-임베딩이 존재하는 것은 $[K:F]$가 $n \cdot \mathrm{c}(\Delta \otimes_F K)$에 의해 나누어떨어질 때이고, 여기서 $n = \mathrm{c}(A)$이며 $\mathrm{c}(\Delta \otimes_F K)$는 $K$ 위의 중심단순대수 $\Delta \otimes_F K$의 용량이다.
• $A_v^\times$-동치류 집합은 $\sum_{w|v} \ell_w x_w = \mathrm{c}(A_v)$를 만족하는 비음이 아닌 정수들로 이루어진 튜플 $(x_w)_{w|v}$의 집합과 일대일 대응된다. 여기서 $\ell_w = [K_w:F_v]/\gcd([K_w:F_v], \deg \Delta)$이다.
• 일반적으로 $[K:F] < \deg A$일 때 해스 원리가 실패한다; 구체적으로, 차수 8인 갈루아 확장 $K/F$와 차수 24인 중심단순대수 $A/F$에 대해 국소 임베딩은 전부 존재하지만 글로벌 임베딩은 존재하지 않는 반례를 구성한다.
• 해스 원리가 임베딩 문제에 대해 성립하는 것은 $H^2(F, Z)$의 장애물 클래스가 영일 때이며, 이는 모든 $i$에 대해 $\mathrm{ind}_{K_i}(A_i) \mid m_i$ 조건과 동치이다. 여기서 $A_i$는 $K_i$ 위의 중심단순대수이다.
• 단일대수 $\Delta$의 차수 $\delta_0$는 전역체 $F$의 모든 자리 $v$에서의 국소 지표 $d_v = \mathrm{ind}(A_v)$들의 최소공배수이며, 해스-브라우어-노이터 정리에 의해 성립한다.
• 재수성군에 대한 동차공간에 대한 해스 원리를 적용하여, 장애물 클래스가 영이면 국소 유리점이 존재하는 것은 전역 유리점이 존재함을 보이며, 이는 $K_i$ 위에서의 임베딩 조건과 동치이다.