[논문 리뷰] Local-global principles for embedding of fields with involution into simple algebras with involution

Gopal Prasad, Andrei S. Rapinchuk|ArXiv.org|2008. 06. 03.

Advanced Algebra and Geometry참고 문헌 16인용 수 4

한 줄 요약

이 논문은 전역체 위의 단순 대수에 대한 체의 호환과 호환을 갖는 체의 임bedding에 대한 국지-전역 원칙을 수립하며, 이러한 임bedding이 모든 곳에서 국지적으로 존재하면 전역적으로도 존재함을 증명한다—다만 행렬 대수에서 허수 이원체 대수에 대한 직교 호환을 갖는 경우를 제외하고는 그렇다. 이 경우 국지-전역 원칙이 성립하지 않음을 보여준다. 주요 기여는 임bedding 장애의 코homological 특성화와 $D_n$ 형식의 $n$ 이 짝수이고 $n > 4$일 때 오랜 기간 동안 미해결이었던 약한 공명성 산술군에 대한 질문을 해결한 것이다. 결과적으로, $D_4$를 제외한 모든 절대적으로 단순한 대수적 군에서 약한 공명성 Zariski-밀도 $S$-산술 부분군의 분류를 완성하였으며, 차원 $4n+7$인 길이-공명성 및 등스펙트럴 초구형 만물에 대한 새로운 결과를 이끌어낸다. 부록은 임bedding 정리의 갈루아 코hom로 해석을 제공한다.

ABSTRACT

In this paper we prove local-global principles for embedding of fields with involution into central simple algebras with involution over a global field. These should be of interest in study of classical groups over global fields. We deduce from our results that in a group of type D_n, n>4 even, two weakly commensurable Zariski-dense S-arithmetic subgroups are actually commensurable. A consequence of this result is that given an absolutely simple algebraic K-group G of type D_n, n>4 even, K a number field, any K-form G' of G having the same set of isomorphism classes of maximal K-tori as G, is necessarily K-isomorphic to G. These results lead to results about isolength and isospectral compact hyperbolic spaces of dimension 2n-1 with n even.

연구 동기 및 목표

• 전역체 위의 중심 단순 대수에 대한 호환을 갖는 체의 임bedding $(E, au) \to (A, au)$ 가 존재하는지에 대한 국지-전역 원칙을 수립하는 것.
• 절대적으로 단순한 대수적 군에서 $D_4$를 제외한 형식을 갖는 $S$-산술 부분군의 약한 공명성 분류에 존재하는 격차를 해결하는 것.
• $A = M_m(D)$, $D$는 허수 이원체 대수, $m$은 짝수이며 $ au$는 직교 호환일 경우 국지-전역 원칙이 실패하는 이유를 규명하는 것.
• 브라우어-맨린 장애와 다중노름 토리에 의한 코homological 해석을 통해 임bedding 장애를 갈루아 코호몰로지적으로 해석하는 것.

제안 방법

• 갈루아 코호몰로지를 사용하여 임bedding $(E, au) \to (A, au)$ 의 존재를 동차 공간 $Y$ 위의 유리점 존재 조건으로 변환한다.
• 다중노름 원리와 갈루아 코호몰로지에 대한 하스 원리를 적용하여 국소 해법 가능성과 전역 해법 가능성의 임bedding 조건을 분석한다.
• 기본적인 코호몰로지 도구가 실패하는 직교 호환의 비연결 경우를 다루기 위해 새로운 코호몰로지 불변량 $[C(A, u, heta)]$ 를 도입한다.
• 브라우어-맨린 장애를 활용하고, 명시적 코호몰로지 기준을 통해 그 값이 0이 되는 조건을 계산하여 전역 임bedding 존재 여부를 판단한다.
• 임bedding 문제를 동차 공간 $Y = \{(b,h) \in \mathrm{R}_{F/K}(\mathrm{GL}_1) \times \mathrm{GL}_{1,A} \mid g\varepsilon(b) = \tau(h)h\}$ 위에 $K$-유리점 존재 문제로 환원한다.
• 군 $\mathscr{G} = H \times \mathrm{R}_{E/K}(\mathrm{GL}_1)$ 의 $Y$ 위의 작용을 통해 임bedding 문제를 동차 공간의 프레임워크 내에서 해석한다.

실험 결과

연구 질문

• RQ1 전역체 $K$ 의 모든 곳에서 임bedding $(E, au) \to (A, au)$ 가 국지적으로 존재할 조건이 전역적으로 존재함을 보장하는 조건은 무엇인가?
• RQ2 왜 $A = M_m(D)$, $D$는 허수 이원체 대수, $m$은 짝수이며 $ au$는 직교 호환일 경우 국지-전역 원칙이 실패하는가?
• RQ3 이 예외적인 경우에서 국지-전역 원칙의 실패는 최대 부분체의 불변량을 통해 어떻게 특성화할 수 있는가?
• RQ4 브라우어-맨린 장애는 직교 호환의 경우에 임bedding 존재 여부를 어느 정도 제어하는가?
• RQ5 동차 공간의 코호몰로지 프레임워크를 사용하여 다양한 호환 유형에 걸쳐 임bedding 장애를 통합적으로 다룰 수 있는가?

주요 결과

• 심플렉틱 호환의 경우 국지-전역 원칙은 조건 없이 성립하며, 비호환 임bedding이 존재할 경우 실수 곳만 확인하면 된다.
• 전역체 위의 행렬 대수에 대한 직교 호환의 경우, $A = M_m(D)$, $m$이 짝수, $D$는 허수 이원체 대수일 때 국지-전역 원칙이 실패한다.
• 예외적인 경우, $(A, au)$ 와 국소적으로 동형인 대수들은 호환에 대해 불변인 최대 부분체를 통해 구분되며, 이는 국지-전역 원칙의 실패를 나타낸다.
• 결과적으로, 절대적으로 단순한 대수적 군에서 $D_4$를 제외한 모든 형식에 대해 약한 공명성 Zariski-밀도 $S$-산술 부분군의 분류를 완성하였으며, $n$ 이 짝수이고 $n > 4$일 때 $D_n$ 형식에서는 약한 공명성이 실제 공명성으로 이어진다.
• 결과적으로, 이 논문은 차원 $4n+7$인 길이-공명성 및 등스펙트럴 컴acts 초구형 만물에 대한 새로운 결과를 확립하였다. $n \geq 1$ 인 경우에 대해 성립한다.
• 부록은 임bedding 정리의 갈루아-코호몰로지적 해석을 제공하며, 전역 임bedding 존재 여부가 특정 코호몰로지 장애의 값이 0이 되는 것과 동치임을 보여준다.