[논문 리뷰] Counting integral matrices with a given characteristic polynomial

Nimish A. Shah|arXiv (Cornell University)|2000. 02. 22.

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

한 줄 요약

이 논문은 다항식 궤적의 등분포를 이용하여 주어진 모닉 기약 특성다항식을 가진 정수 행렬의 渐近 수를 더 단순한 방법으로 증명한다. 이는 Ratner 정리의 일반화로, 특성다항식으로 정의된 수체의 대수적 수 이론적 불변량을 이용해 渐近 상수 $C_P$ 의 정확한 공식을 유도한다.

ABSTRACT

We give a simpler proof of an earlier result giving an asymptotic estimate for the number of integral matrices, in large balls, with a given monic integral irreducible polynomial as their common characteristic polynomial. The proof uses equidistributions of polynomial trajectories on SL(n,R)/SL(n,Z), which is a generalization of Ratner's theorem on equidistributions of unipotent trajectories. We also compute the exact constants appearing in the above mentioned asymptotic estimate.

연구 동기 및 목표

• 고정된 모닉 기약 특성다항식을 가진 정수 행렬의 수에 대한 渐近 추정치에 대한 더 단순하고 직접적인 증명을 제공하는 것.
• 해당 행렬의 성장률에서의 渐近 상수 $C_P$ 의 정확한 값을 계산하는 것.
• $C_P$ 가 특성다항식으로 정의된 수체의 대수적 수 이론적 불변량으로 명시적으로 표현되는 방식을 제공하는 것.
• 균형화된 다항식 궤적의 등분포가 渐近 분석의 핵심 도구로 작용하도록 확립하는 것.
• 이전 연구들, 특히 Eskin-McMullen과 Duke-Rudnick-Sarnak의 연구에서 사용된 에르고딕 이론적 접근을 일반화하고 단순화하는 것.

제안 방법

• $\mathrm{SL}(n,\mathbb{R})/\mathrm{SL}(n,\mathbb{Z})$ 상에서 다항식 궤적의 등분포 결과를 사용하며, unipotent 흐름에 대한 Ratner 정리를 확장한다.
• 군 작용을 통한 동차 공간 상의 에르고딕 이론적 문제로 행렬 수세기 문제를 환원한다.
• 비집중 조건 하에서 다항식 사상 $\Theta: \mathbb{R}^m \to \mathrm{SL}_n(\mathbb{R})$ 에 대해 일반화된 등분포 정리(정리 1.3)를 적용한다. 여기서 $\Theta(0) = I$ 이다.
• $K\backslash G$ 상에서 오른쪽 $\Gamma$-작용에 대한 기본 영역 $\mathfrak{F}$ 를 구성하고, 하르 측도와离산 부분군을 포함한 체적 공식을 사용한다.
• 기하학적 및 산술적 불변량을 연결하기 위해 체적 공식 $\mu(G/\Gamma) = \frac{\nu(K)}{\#(K_0 \cap \Gamma)} \cdot \eta(\mathfrak{F})$ 를 사용한다.
• 행렬 궤적의 극한 분포가 동차 공간 상의 불변 측도와 일치함을 검증함으로써, 渐近 수세기 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 고정된 모닉 기약 특성다항식 $P$ 를 가진 $n \times n$ 정수 행렬의 수의 정확한 渐近 성장률은 무엇인가?
• RQ2 $C_P$ 는 특성다항식의 근 $\alpha$ 로 정의된 수체 $K = \mathbb{Q}(\alpha)$ 의 대수적 수 이론적 불변량으로 어떻게 표현될 수 있는가?
• RQ3 다항식 궤적의 등분포를 이용하여, 이전의 에르고딕 이론적 기법을 우회하면서도 직접적으로 渐近 수를 증명할 수 있는가?
• RQ4 $\mathcal{O}_K$ 가 $\mathbb{Z}[\alpha]$ 와 일치하는 조건은 무엇이며, 이는 $C_P$ 의 渐近 공식에 어떤 영향을 미치는가?
• RQ5 $C_P$ 공식의 세 체적 성분의 기하학적 및 산술적 해석은 무엇인가?

주요 결과

• 특성다항식 $P$ 를 가진 정수 행렬의 渐近 수는 $C_P T^{n(n-1)/2}$ 의 형태로 증가하며, 여기서 $C_P > 0$ 은 $P$ 에 따라 결정되는 상수이다.
• 만약 $\mathbb{Z}[\alpha]$ 가 $K = \mathbb{Q}(\alpha)$ 의 전체 정수환이라면, $C_P$ 의 정확한 값은 $\frac{2^{r_1}(2\pi)^{r_2}hR}{w\sqrt{D}} \cdot \frac{\pi^{m/2}/\Gamma(1 + m/2)}{\prod_{s=2}^n \pi^{-s/2} \Gamma(s/2) \zeta(s)}$ 로 주어지며, 여기서 $m = n(n-1)/2$ 이다.
• $C_P$ 는 세 개의 기하학적 체적 성분으로 분해된다: $J^0(K)/K^\times$ 의 체적, $\mathbb{R}^m$ 상의 단위 구의 체적, 그리고 Minkowski 기본 영역 상의 행렬식이 1인 표면의 체적.
• 공식은 $\mathbb{Z}[\alpha]$ 가 $K$ 에서의 정수환의 닫힘임을 가정할 때 유효하며, 예를 들어 $\alpha$ 가 단위근일 경우 성립한다.
• 비집중 및 비퇴화 조건 하에서 $\mathrm{SL}_n(\mathbb{R})/\mathrm{SL}_n(\mathbb{Z})$ 상에서 다항식 궤적의 등분포가 확립되며, 이는 Ratner 정리를 일반화한다.
• 증명은 $\mathrm{GL}_n(\mathbb{Z})$ 작용에 따른 행렬 궤적의 극한 분포가 동차 공간 상의 유일한 불변 측도와 일치함을 보여, 정확한 渐近 수세기를 가능하게 한다.