[논문 리뷰] Elementary divisor theory for the modular group over quadratic field extensions and quaternion algebras

Martin Raum|arXiv (Cornell University)|2009. 07. 16.

Advanced Algebra and Geometry참고 문헌 11인용 수 3

한 줄 요약

이 논문은 수체의 이차 체 확장 및 수체 위의 허미션션 대수에서 최대 주문에 대한 모듈라 및 유니모듈라 군에 대한 기본 요소 이론을 수립한다. 클래스 군의 자명성 조건 하에서 모듈라 이중 코셋과 유니모듈라 행렬 사이의 일대일 대응을 증명하며, 심플렉틱 구조가 차원의 두 배 증가를 상쇄함을 보이고, 국소 불변량과 이상 이론적 제약 조건을 통해 특정 기본 요소 구성에 대한 명시적 장애를 제공한다.

ABSTRACT

We develop an elementary divisor theory for the unimodular and the modular group over quadratic field extensions and quaternion algebras. In particular, we investigate which sets of elementary divisors can occur. Under an additional hypothesis we establish a correspondence of unimodular and modular double cosets.

연구 동기 및 목표

• 이차 체 확장 및 허미션션 대수에서 최대 주문에 대한 모듈라 및 유니모듈라 군에 대한 종합적인 기본 요소 이론을 개발하기 위해.
• 수체 조건 하에서 모듈라 및 유니모듈라 경우에 실제로 발생할 수 있는 기본 요소 집합을 규명하기 위해.
• 기저 체의 정수환의 클래스 군이 자명할 경우, 모듈라 이중 코셋과 유니모듈라 동치류 사이의 대응을 수립하기 위해.
• 특히 비주어진 이상의 경우에 대해 주어진 기본 요소를 가진 행렬의 존재에 대한 장애를 조사하기 위해.
• 이상 이론적 및 비율 이론적 방법을 통해 동치류를 분류하는 명시적 구성 및 국소 불변량을 제공하기 위해.

제안 방법

• 최대 주문 $ \Lambda $의 유한한 자리 $ \mathfrak{p} $ 에 대해 국소 기본 요소 $ e_{\mathfrak{p},i}(M) \in \Lambda_{\mathfrak{p}} $ 를 정의한다.
• 행렬 $ J = \begin{pmatrix} 0 & I_n \\ -I_n & 0 \end{pmatrix} $ 과 호르몬 $ \imath $ 을 통한 심플렉틱 구조를 이용하여 $ M^* J M = m J $ 를 만족하는 유사행렬의 모노이드 $ \Delta_n(\Omega_{\mathbb{A}}, m) $ 를 정의한다.
• $ \mathrm{Sp}_n(\Lambda_{\mathbb{A}}) $ 의 확장된 심플렉틱 군을 $ m \in H = \mathrm{Fix}_\imath(\Lambda_{\mathbb{A}}^\times) $ 에 대해 $ \Delta_n(\Lambda_{\mathbb{A}}, m) $ 의 합집합으로 특성화한다.
• 국소화에서 스미스 정규형과 기본 행/열 연산을 적용하여 행렬을 기본 요소를 유지하는 블록 대각 형식으로 줄인다.
• 정규화된 지수 비율 $ \nu_{\mathfrak{p}} $ 와 노름 $ N(a) = a\imath(a) $ 를 사용하여 기본 요소의 전역 제약 조건을 분석한다.
• 클래스 군 $ \mathrm{Cl}(\mathfrak{o}_{\mathbb{K}}) $ 의 자명성 조건을 활용하여, 모든 유한한 자리 $ \mathfrak{p} $ 에 대해 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 를 만족하는 유니모듈라 행렬 $ M \in \mathrm{Inv}_n(\Lambda) $ 와 모듈라 이중 코셋 공간 $ \Delta_n(\Lambda, m)/\sim_m $ 사이의 전단사 대응을 수립한다.

실험 결과

연구 질문

• RQ1 이차 체 확장 또는 허미션션 대수에서 최대 주문에 대해 모듈라 군 $ \mathrm{Sp}_n(\Lambda) $ 에 속하는 행렬에 대해 어떤 기본 요소 집합이 발생할 수 있는가?
• RQ2 특히 다루는 이상이 비주어진 경우, 주어진 기본 요소를 가진 행렬이 모듈라 군에 존재할 조건은 무엇인가?
• RQ3 전역 클래스 군 조건 하에서 유니모듈라와 모듈라 이중 코셋 동치류 사이에 정규 대응이 존재하는가?
• RQ4 이중 코셋을 국소 성분(예: 2- 및 3-진성 분해)으로 분해할 수 있는가, 아니면 비주어진 이상으로 인해 장애가 존재하는가?
• RQ5 조건 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 는 기본 요소 구성의 실현 가능성 결정에 어떤 역할을 하는가?

주요 결과

• 클래스 군 $ \mathrm{Cl}(\mathfrak{o}_{\mathbb{K}}) $ 가 자명하다는 가정 하에, 모듈라 이중 코셋 공간 $ \Delta_n(\Lambda, m)/\sim_m $ 과 모든 유한한 자리 $ \mathfrak{p} $ 에 대해 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 를 만족하는 유니모듈라 동치류를 가진 행렬 $ M \in \mathrm{Inv}_n(\Lambda) $ 사이의 일대일 대응이 수립된다.
• 심플렉틱 구조로 인한 자유도 손실은 $ n $ 에서 $ 2n $ 으로 차원이 두 배 증가함으로써 상쇄되며, 이는 $ n $ 차원의 유니모듈라 모듈러스와의 대응을 통해 반영된다.
• 일부 기본 요소 구성에 대해 존재 장애가 존재한다: 예를 들어, 17과 $ \infty $ 에서 분기하는 허미션션 대수에서, $ \mathfrak{m}_2 $ 는 2에서의 비주어진 최대 왼쪽 이상이며, 기본 요소 $ \mathfrak{m}_2 $ 과 $ 2 $ 를 가진 행렬은 존재하지 않는다.
• 허미션션 경우, 행렬 $ \mathrm{diag}(M, 12(M^*)^{-1}) $ 는 $ M = \begin{pmatrix} -2 & 6 \\ -h_2 & 2h_2 \end{pmatrix} $ 이며 기본 요소 $ (\mathfrak{m}_2, 2) $ 과 $ (1, \mathfrak{m}_3) $ 를 가지나, 비주어진 이상으로 인해 이중 코셋이 2- 및 3-진성 성분으로 분해되지 않는다.
• 국소 기본 요소는 $ e_{\mathfrak{p},i}(M) \in \Lambda_{\mathfrak{p}} $ 를 통해 계산되며, 전역 기본 요소 $ e_n(M) $ 는 모든 $ \mathfrak{p} $ 에 대한 곱으로서 정의되며, 클래스 군 가정 하에서 실현 가능성에 대해 필수적이고 충분한 조건은 $ \nu_{\mathfrak{p}}(N(e_n(M))) \leq \nu_{\mathfrak{p}}(m) $ 이다.
• $ \mathbb{K} = \mathbb{Q}(\sqrt{-6}) $ 위의 $ \mathrm{M}_2(\Lambda) $ 에 속하는 행렬 $ T $ 에 대해, 국소 기본 요소는 $ (1, \mathfrak{m}_{4\rho-1}) $, $ (\mathfrak{m}_3, 3\mathfrak{m}_3) $, $ (2\mathfrak{m}_\rho, 2\rho) $ 이며, $ mT^{-1} \in \mathrm{M}_2(\Lambda) $ 를 만족하는 최소의 $ m $ 을 통해 계산된다.