[논문 리뷰] Arithmetic differential equations on $GL_n$, I: differential cocycles

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

Algebraic Geometry and Number Theory참고 문헌 7인용 수 6

한 줄 요약

이 논문은 미분대수학에서 로그 미분의 초월적 대응인 고전적 산술 미분 코호몰로지 족이, 도함수가 페르마 몫으로 대체되는 산술 설정에서는 존재하지 않음을 증명한다. 핵심 결과는 어떤 코호몰로지 족도 동시에 $\delta$-일관성과 정규성을 만족시킬 수 없다는 것이며, 이는 선형 산술 미분 방정식을 정의하기 위해 왜곡된 산술 코호몰로지 족과 새로운 리 대수 구조가 필요하다는 것을 의미한다.

ABSTRACT

The theory of differential equations has an arithmetic analogue in which derivatives are replaced by Fermat quotients. One can then ask what is the arithmetic analogue of a linear differential equation. The study of usual linear differential equations is the same as the study of the differential cocycle from $GL_n$ into its Lie algebra given by the logarithmic derivative. However we prove here that there are no such cocycles in the context of arithmetic differential equations. In sequels of this paper we will remedy the situation by introducing arithmetic analogues of Lie algebras and a skew version of differential cocycles; this will lead to a theory of linear arithmetic differential equations.

연구 동기 및 목표

• 도함수가 페르마 몫으로 대체되는 산술 설정에서 $GL_n$에서 고전적 $\delta$-코호몰로지 족이 존재하는지 여부를 규명하는 것.
• 미분대수학에서의 로그 미분 구성법을 산술 미분 방정식으로 일반화할 수 있는 데에 걸리는 장애를 조사하는 것.
• 표준 코호몰로지 구조의 실패를 밝혀내어 선형 산술 미분 방정식 이론의 기초를 다지는 것.
• $GL_n$에서 정규적이면서 $\delta$-일관성 있는 고전적 코호몰로지 족이 존재하지 않음을 증명하여 새로운 대수적 구조가 필요하다는 것을 보여주는 것.
• 후속 논문에서 왜곡된 $\delta$-코호몰로지 족과 리 대수의 산술적 대응을 도입하기 위한 기반을 마련하는 것.

제안 방법

• 완전한 이산 평가환환 $R$를 사용하는 $\delta$-산술 설정을 도입하며, 이는 잔여체가 $\mathbb{F}_p^a$이고 $p$-도함수 $\delta$가 $\delta x = (\phi(x) - x^p)/p$ 로 정의된다.
• 도함수 $\delta$에 대한 고전적 $\delta$-코호몰로지 족 $f: GL_n(R) \to \mathfrak{gl}_n(R)$ 를 정의하며, 이는 수반 작용 하에서 코호몰로지 조건 $f(g_1g_2) = f(g_1) + g_1 \star f(g_2)$ 를 만족시킨다.
• 하나의 상삼각행렬로 이루어진 브라우어 부분군 $H \subset GL_n$ 의 구조를 이용하여 $f$ 를 $H$ 에 제한하여 분석한다.
• 코호몰로지 조건과 브루아 탐색을 통한 유리 함수 섹션의 방법을 적용하여, $H$ 에서의 정규성을 전체 $GL_n$ 으로 확장한다.
• $\delta$-일관성의 개념을 도입하여 더 강력한 정규성 조건을 부여하며, 이는 $f$ 가 $\delta$-사상 하에서 리 대수의 구조를 유지해야 한다는 조건을 포함한다.
• 공액 작용에 의한 표현 이론적 접근과 차원 수 계산을 통해, 비스칼라 행렬이 $\delta$-일관성 하에서 모순을 일으킴을 보여준다.

실험 결과

연구 질문

• RQ1 산술 미분 설정에서 $GL_n$에서 고전적 $\delta$-코호몰로지 족이 존재하는가?
• RQ2 미분대수학에서의 로그 미분 구성법을 산술 미분 방정식으로 일반화할 수 있는가?
• RQ3 표준 코호몰로지 구조를 통한 선형 산술 미분 방정식 정의에 걸리는 장애는 무엇인가?
• RQ4 왜 고전적 $\delta$-코호몰로지 족은 동시에 $\delta$-일관성과 정규성을 만족시키지 못하는가?
• RQ5 일관된 선형 산술 미분 방정식 이론을 정의하기 위해 필요한 새로운 대수적 구조는 무엇인가?

주요 결과

• 산술 설정에서 $GL_n \to \mathfrak{gl}_n$ 인 고전적 $\delta$-코호몰로지 족 $f$ 는 정규적이면서 동시에 $\delta$-일관성이 될 수 없다.
• 어떤 족이든 브라우어 부분군 $H$ 에 제한된 경우 정규적이지만, 추가 조건이 충족되지 않는 한 이 정규성은 전역적으로 확장될 수 없다.
• $\delta$-일관성 조건은 족을 $f(g) = f^v(g) + \epsilon \cdot \delta g \cdot g^{-1}$ 의 형태로 분해하도록 강요하며, 여기서 $\epsilon$ 은 스칼라이고 $v$ 는 행렬이지만, 이는 $v$ 가 스칼라일 경우에만 모순이 발생하지 않는다.
• 비스칼라 행렬 $v$ 는 $GL_n(R^\delta)$ 의 원소에 의한 공액 작용 하에서 $uvu^{-1}$ 의 비대각성 항을 유도하며, 이는 $\delta$-일관성 조건을 위반한다.
• 비스칼라 행렬일 경우 $f^v$ 가 공액 작용 하에서 리 대수의 구조를 유지하지 못함을 보여, 오직 로그 미분의 스칼라 배수만 생존한다.
• 결과적으로 고전적 족은 선형 산술 미분 방정식 이론에 부적합하며, 후속 연구에서 왜곡된 족과 새로운 산술 리 대수의 도입이 필수적임을 시사한다.