[논문 리뷰] Descent for differential Galois theory of difference equations. Confluence and q-dependency

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|2011. 03. 25.

Polynomial and algebraic computation참고 문헌 13인용 수 4

한 줄 요약

이 논문은 차등 방정식에 대한 매개변수화된 미분 갈루아 이론의 내림림 결과를 확립하여, 갈루아 $\Delta$-군이 미분적으로 닫힌 체가 아니라 대신 대수적으로 닫힌 체 위에서 정의될 수 있음을 보이며, 적용을 단순화한다. 또한 이 틀을 사용해 $q$-의존성과 $q$-차등 방정식의 해들 사이의 미분 관계를 연구하고, 자코비 스털링 함수의 갈루아 $\Delta$-군이 열 방정식의 갈루아적 대응체임을 증명한다.

ABSTRACT

The present paper essentially contains two results that generalize and improve some of the constructions of [arXiv:0801.1493]. First of all, in the case of one derivation, we prove that the parameterized Galois theory for difference equations constructed in [arXiv:0801.1493] can be descended from a differentially closed to an algebraically closed field. In the second part of the paper, we show that the theory can be applied to deformations of q-series, to study the differential dependency with respect to x\frac{d}{dx} and q\frac{d}{dq}. We show that the parameterized difference Galois group (with respect to a convenient derivation defined in the text) of the Jacobi Theta function can be considered as the Galoisian counterpart of the heat equation.

연구 동기 및 목표

• 단일 유도 미분에 대해, 갈루아 $\Delta$-군을 미분적으로 닫힌 체에서 대수적으로 닫힌 체로 내림림함으로써, 차등 방정식에 대한 매개변수화된 미분 갈루아 이론을 일반화하기.
• 이 이론을 $q$-차등 방정식에 적용하고, $x\frac{d}{dx}$ 및 $q\frac{d}{dq}$에 대한 미분 의존성 연구하기.
• 매개변수화된 갈루아 군을 통해 자코비 스털링 함수와 열 방정식 사이의 갈루아적 대응관계 수립하기.
• $q$-차등 시스템의 맥락에서 통합 가능성과 미분 초월성에 대한 내림림 기준 제공하기.
• 질량 1인 $q$-차등 방정식의 갈루아 $\Delta$-군이 $\Delta$-상수일 조건을 증명하기: 계수는 $q$-모노미얼과 $q$-미분 비율의 곱이어야 한다.

제안 방법

• M. Wibmer의 영감을 받은 이론적 기반인 카르탕–베시에–콜킨 이론에 기초한 이상의 미분 연장 기법을 사용하여, 미분적으로 닫힌 체에서 대수적으로 닫힌 체로의 내림림 달성하기.
• $\delta = x\frac{d}{dx} + q\frac{d}{dq}$ 유도를 가진 $k(q,x)$ 위의 선형 $q$-차등 시스템에 대해, 미분 피카르-베시에트 링과 관련된 갈루아 $\Delta$-군을 구성하기.
• 자코비 스털링 함수 $\theta_q(x) = \sum_{n\in\mathbb{Z}} q^{n(n-1)/2}x^n$ (해가 $y(qx) = qx y(x)$를 만족함)에 이 이론을 적용하여 그 미분 의존성 분석하기.
• $\ell_q(x) = x\frac{\theta_q'(x)}{\theta_q(x)}$ 일 때, 유도 $\delta = \ell_q(x)x\frac{d}{dx} + q\frac{d}{dq}$ 를 사용해 매개변수화된 갈루아 군 정의하기.
• $q$-차등 작용과 미분 작용의 호환성 조건을 통해 $\Delta$-시스템의 통합 조건 유도하기, 행렬 방정식 (2.7)–(2.9)로 표현하기.
• 갈루아 $\Delta$-군이 $\Delta$-상수일 조건은 시스템이 호환성 있는 $\Delta$-접속을 가질 때이며, 이는 행렬 $B_1, B_2$ 가 통합 시스템을 만족함을 증명함으로써 보여주기.

실험 결과

연구 질문

• RQ1 단일 유도의 경우, 매개변수화된 차등 방정식에 대한 미분 갈루아 이론을 미분적으로 닫힌 체에서 대수적으로 닫힌 체로 내림림할 수 있는가?
• RQ2 유도 $\delta = x\frac{d}{dx} + q\frac{d}{dq}$ 하에서 자코비 스털링 함수의 갈루아 $\Delta$-군은 무엇이며, 열 방정식과 어떻게 관련이 있는가?
• RQ3 질량 1인 $q$-차등 방정식 $y(qx) = a(x)y(x)$ 에 대해, 갈루아 $\Delta$-군이 $\Delta$-상수일 조건은 무엇인가?
• RQ4 $q$-차등 방정식의 해들이 $x\frac{d}{dx}$ 및 $q\frac{d}{dq}$ 에 대해 어떤 조건에서 미분 관계를 가질 수 있는가?
• RQ5 $q$-차등 시스템이 호환성 있는 $\Delta$-접속을 가질 수 있는 조건은 무엇이며, 이는 관련 갈루아 $\Delta$-군의 통합성과 어떻게 관련되는가?

주요 결과

• 선형 $q$-차등 방정식의 갈루아 $\Delta$-군은 단일 유도 조건 하에서, 미분적으로 닫힌 체 뿐 아니라 대수적으로 닫힌 체 위에서도 정의될 수 있다.
• 해의 확장 분야의 미분 초월 차수는 갈루아 $\Delta$-군의 미분 차원과 일치하며, 이는 내림림 과정 동안 유지되는 핵심 불변량이다.
• 질량 1 방정식 $y(qx) = a(x)y(x)$ 에 대해 갈루아 $\Delta$-군이 $\Delta$-상수일 조건은 $a(x) = \mu x^r \frac{g(qx)}{g(x)}$ 를 만족하는 것으로, $\mu \in k(q)$, $r \in \mathbb{Z}$, $g \in k(q,x)$.
• 자코비 스털링 함수의 갈루아 $\delta$-군은 열 방정식의 갈루아적 대응체와 일치하며, $\delta = \ell_q(x)x\frac{d}{dx} + q\frac{d}{dq}$.
• $q$-차등 시스템이 $\Delta$-상수 갈루아 $\Delta$-군을 가질 조건은 행렬 $B_1, B_2$ 가 통합 시스템 (2.7)–(2.9)를 만족함이며, 이는 $q$-차등 작용과 미분 작용의 호환성을 보장한다.
• 이 이론은 $\mu \in q^\mathbb{Z}$ 인 $q$-차등 시스템은 $\Delta$-상수 갈루아 군을 가지며, $\frac{\partial_2(\theta_q)}{\theta_q} = \frac{\ell_q(\ell_q+1)}{2} + e(x)$ (어떤 $e(x) \in \overline{C}_E$) 를 만족함을 확인함으로써 $q$-의존성의 구조를 확인한다.