[논문 리뷰] Arithmetic differential equations on $GL_n$, II: arithmetic Lie theory

Alexandru Buium, Taylor Dupuy|arXiv (Cornell University)|2013. 08. 03.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $p$-진 완비화된 $GL_n$ 위에서 외부 및 내부 자동형사상과 호환되는 프로베니우스의 올림프를 사용하여 산술 Chern 접속과 Mauer-Cartan 접속을 구성함으로써, 리 이론의 산술적 동반자(산술적 등가)를 제안한다. 크리스토펠 기호는 레지오르드 샘플의 행렬 버전을 포함하며, 이 이론은 유일한 산술 등스펙트럴 흐름과 소수 적분을 도출하여 선형 산술 미분방정식의 틀을 구축한다.

ABSTRACT

Motivated by the search of a concept of linearity in the theory of arithmetic differential equations we introduce here an arithmetic analogue of Lie algebras and a concept of skew arithmetic differential cocycles. We will then construct such skew cocycles, based on certain remarkable lifts of Frobenius for the classical groups $GL_n, SL_n, SO_n, Sp_{n}$. The theory for $GL_n$, especially on the Galois side, will be further developed in a sequel to this paper.

연구 동기 및 목표

• 산술 미분방정식의 맥락에서 $GL_n$에 대한 산술 리 이론의 동반자(산술적 등가)를 개발하기 위해.
• 외부 호환성(예: 대칭/반대칭 행렬)을 갖는 $GL_n$의 $p$-진 완비화 위에서 프로베니우스의 올림프를 구성하여, 미분기하학에서의 Chern 접속에 유사하게 하기 위해.
• 이러한 올림프와 관련된 선형 흐름으로서 산술적 Mauer-Cartan 접속의 동반자 정의하기.
• 프로베니우스 올림프가 내부 자동형사상과 콘jugacy 클래스와 호환되는지 조사하여 산술적 등스펙트럴 흐름을 이끌어내기.
• 산술 맥락에서 소수 적분과 대칭성의 존재성 및 유일성을 확립하여 향후 갈로와 이론적 발전의 기초를 마련하기.

제안 방법

• 잔여체가 $\overline{\mathbb{F}}_p$인 완비离산 평가환환 $R$ 위에서 $p$-미분 $\delta$를 도입하여, 전통적 미분을 산술 기하학에서 대체한다.
• 제수 $n$의 $\delta$-사상은 $x, \delta x, \dots, \delta^n x$에 대한 제한된 멱급수를 통해 정의되며, 이는 산술 미분방정식의 수식화를 가능하게 한다.
• $GL_n$의 $p$-진 완비화 위에서 $\mathcal{P}$-수평이면서 $T$-작용과 $W$-작용(토루스 및 웨일 군)과 호환되는 프로베니우스의 올림프 $\phi_{G^{**}}$를 구성한다.
• 행렬 레지오르드 기호의 산술적 등가를 사용하여 산술 Chern 접속의 크리스토펠 기호를 유도하며, 행렬식 조건 $\det(s^p \cdot 1_n - x^{(p)}\Lambda(x)) \equiv V(x,s^p) \mod p^{\nu+1}$에 포함된다.
• 크래머의 법칙과 $p$-진 올림프를 이용한 재귀적 구성으로 대각행렬 $\Lambda_\nu(x)$를 만들며, 군 작용과 $\delta$-코호몰로지 조건과의 호환성을 확보한다.
• 산술 미분방정식 $\delta u = \Delta^{**\alpha}(u)$와 $\delta$-Mauer-Cartan 형식 $l\delta u = -_{\delta}(u \star_\delta \alpha(u)) + _{\delta}\alpha(u)$ 사이의 동치성을 증명하여, 산술 미분방정식의 리 대수학적 해석을 제공한다.

실험 결과

연구 질문

• RQ1 산술 미분방정식의 맥락에서 리 대수학과 접속의 산술적 동반자를 어떻게 정의할 수 있는가?
• RQ2 프로베니우스의 올림프가 $\widehat{GL_n}$ 위에서 외부 호환성(예: $SL_n$, $SO_n$, $Sp_n$ 정의)을 갖기 위한 필요 및 충분조건은 무엇인가?
• RQ3 행렬 공간 위에서 산술적 등스펙트럴 흐름을 구성할 수 있으며, 그들은 유일한가?
• RQ4 소수 적분은 이러한 접속에서 유도된 산술 미분방정식에서 어떤 역할을 하는가?
• RQ5 산술 Mauer-Cartan 접속은 $\delta$-로그 미분과 $\delta$-코호몰로지의 기하학적 의미와 어떻게 관련되어 있는가?

주요 결과

• 외부 호환성(예: 대칭/반대칭 행렬)을 갖는 프로베니우스 올림프의 존재성과 유일성은 대각행렬 $\Lambda_\nu(x)$의 재귀적 $p$-진 구성에 의해 확립된다.
• 산술 Chern 접속의 크리스토펠 기호는 레지오르드 기호의 행렬 버전을 포함하며, 행렬식 조건 $\det(s^p \cdot 1_n - x^{(p)}\Lambda(x)) \equiv V(x,s^p) \mod p^{\nu+1}$에서 유도된다.
• 시스템 $\delta u = \Delta^{**\alpha}(u)$는 $\delta$-Mauer-Cartan 방정식 $l\delta u = -_{\delta}(u \star_\delta \alpha(u)) + _{\delta}\alpha(u)$와 동치이며, 산술 미분방정식의 리 이론적 의미를 제공한다.
• 소수 적분 $\mathcal{P}_i$는 $\delta u = \Delta^{**\alpha}(u)$의 해 $u$에 대해 $\delta(\mathcal{P}_i(u)) = 0$를 만족함을 보여 산술 맥락에서 보존량임을 나타낸다.
• 산술 등스펙트럴 흐름은 유일한 $\delta$-흐름으로서 콘jugacy 클래스 위에 구성되며, 내부 자동형사상과 $W$-대칭성과 호환된다.
• 이 구성은 $\phi_{G^{**}}$가 $T$-변형과 $\mathcal{C}$-호환성을 갖도록 보장하며, $\Lambda(x)$는 대각행렬이면서 $d \in T$, $w \in W$에 대해 $d \star \Lambda(x) = \Lambda(x)$ 및 $w \star \Lambda(x) = w\Lambda(x)w^{-1}$를 만족한다.