[논문 리뷰] Integration on product spaces and GL_n of a valuation field over a local field

Matthew Morrow|ArXiv.org|2007. 12. 13.

Advanced Algebra and Geometry참고 문헌 9인용 수 5

한 줄 요약

이 논문은 국소체 잔여체를 가진 비율체 위에서 유한차원 벡터 공간과 $\mathrm{GL}_n$ 위의 이동 불변 적분 이론을 $\mathbb{C}(\Gamma)$-값 함수와 푸비니 유형 조건을 사용하여 개발한다. 주요 기여는 애매한 변화에 대해 닫혀 있는 공간 $\mathcal{L}(F^n, \mathrm{GL}_n)$의 구성으로, 이는 $\mathrm{GL}_n(F)$-작용에 대해 불변성을 보장하고 $\mathrm{GL}_n(\overline{F})$ 위의 하르 적분을 올리며, 고차원 국소체와 랭랜즈 프로그램에의 적용 가능성을 제공한다.

ABSTRACT

We present elements of a theory of translation-invariant integration on finite dimensional vector spaces and on GL_n over a valuation field with local field as residue field. We then discuss the case of an arbitrary algebraic group. This extends the work of Fesenko.

연구 동기 및 목표

• 고차원 국소체 위에서 페센코의 적분 이론을 $\mathrm{GL}_n$과 일반적인 대수적 군으로 확장하기 위해.
• 애매한 변수 변화에 대해 닫혀 있고 $\mathrm{GL}_n(F)$에 대해 불변성을 가지는 $F^n$ 위의 $\mathbb{C}(\Gamma)$-값 함수 공간을 구성하기 위해.
• 변수 변화와 푸비니 유형 조건을 통해 $F^n$, $\mathrm{GL}_n(F)$ 및 대수적 부분군 위의 적분 간의 호환성을 확보하기 위해.
• 특히 두 차원 국소체에서 양의 특성에서의 비선형 변수 변화 문제를 다루기 위해.
• 두 차원 국소체의 표현 이론과 랭랜즈 프로그램에 측도 이론적 도구를 마련하기 위해.

제안 방법

• 반복 적분이 잘 정의되고 변수 순서에 관계없이 동일한 결과를 갖는 함수로, $F^n$ 위의 푸비니 함수를 정의하여 푸비니 정리가 성립함을 보장한다.
• $\overline{F}^n$ 위의 슈바르츠-브라하트 함수 $g$의 $F^n$ 위로의 올림 $g^{a,\gamma}$를 구성하며, 이는 이동된 분수 아이디얼 외부에서 0이 된다.
• $F^n$ 위의 함수 공간 $\mathcal{L}(F^n, \mathrm{GL}_n)$을 도입하여, $f \mapsto \phi(\tau) = f(a + \tau x) \cdot |\det \tau|^{-1}$가 푸비니 함수임을 보장함으로써 $\mathrm{GL}_n(F)$-작용에 대한 불변성을 확보한다.
• $\mathrm{GL}_n(F)$ 위의 적분을 정의할 때, $\tau \mapsto \phi(\tau) |\det \tau|^{-n}$이 $\mathcal{L}(F^{n^2})$에 속한다는 조건을 사용하며, $F^{n^2}$을 $n \times n$ 행렬로 식별한다.
• $\mathrm{GL}_n(F)$ 위의 적분이 좌변과 우변 이동 불변성을 가지며, $\mathrm{GL}_n(\overline{F})$ 위의 하르 측도를 올리고 있음을 증명한다.
• 특히 양의 특성에서의 다항식 변수 변화에 대한 호환성을 조사하며, [13]의 $p$-진 설정에서의 야생 특이점 결과를 활용한다.

실험 결과

연구 질문

• RQ1 비율체 $F$가 국소 잔여체를 가지는 경우, $F^n$과 $\mathrm{GL}_n(F)$ 위에 어떻게 일관되게 이동 불변 적분을 정의할 수 있는가?
• RQ2 반복 적분이 변수 순서에 관계없이 동일한 결과를 갖기 위한 조건는 무엇이며, 이를 어떻게 푸비니 조건으로 형식화할 수 있는가?
• RQ3 $\mathrm{GL}_n(F)$ 위의 적분이 $\mathrm{GL}_n(F)$의 원소에 의한 좌변과 우변 이동에 대해 불변성을 가지도록 어떻게 구성할 수 있는가?
• RQ4 다항식 변수 변화는 어떻게 대수적 군 위의 적분을 확장하는 데 기여하며, 양의 특성에서 어떤 장애물이 발생하는가?
• RQ5 비선형 변수 변화(예: $y \mapsto y - t^{-1}x^p$)에서 푸비니의 실패가 대수적 군 위의 적분 일관성에 어떤 영향을 미치는가?

주요 결과

• $\mathcal{L}(F^n, \mathrm{GL}_n)$은 애매한 변화 $x \mapsto a + \tau x$에 대해 닫혀 있으며, $\int^{F^n} f(a + \tau x) \, dx = |\det \tau|^{-1} \int^{F^n} f(x) \, dx$라는 불변성 성질을 만족한다.
• 모든 슈바르츠-브라하트 함수 $g$에 대해 $\overline{F}^n$ 위에서의 $f = g^{0,0}$는 $F^n$ 위에서 푸비니 함수이며, 반복 적분이 잘 정의됨을 보장한다.
• $\mathrm{GL}_n(F)$ 위의 적분은 좌변과 우변 이동 불변성을 가지며, $\mathrm{GL}_n(\overline{F})$ 위의 하르 적분을 올리며, $\int^{\mathrm{GL}_n(F)} g^0(x) \, dx = \int_{\mathrm{GL}_n(\overline{F})} g(u) \, du$를 만족한다.
• 잔여 특성이 $p$인 두 차원 국소체의 경우, 변수 변화 $y \mapsto y - t^{-1}x^p$는 푸비니의 실패를 초래한다: 일반적으로 $\int \int f(x, y - h(x)) \, dx \, dy = 0$ 이지만 $\int \int f(x, y - h(x)) \, dy \, dx \neq 0$이다.
• 이 장애는 양의 특성에서 $\overline{F}$의 불완전성에서 기인하며, 이는 야생 변수 변화가 대수적 군 위의 적분 일관성에 영향을 줄 수 있음을 시사한다.