[논문 리뷰] A partial analog of integrability theorem for distributions on p-adic spaces and applications

Avraham Aizenbud|ArXiv.org|2008. 11. 17.

Advanced Algebra and Geometry참고 문헌 13인용 수 8

한 줄 요약

이 논문은 p-진 공간 위의 분포에 대한 적분 가능성 정리의 비아르키메데스적 유사체를 정의함으로써 수립한다. 여기서 파동 프론트 세트의 자리 지오메트릭 폐쇄로 특이 지지(superior support)를 정의하고, 이것이 약한 코이시트로픽임을 증명함으로써 핵심 응용에 충분한 성질임을 보였다. 이 이론을 적용하여 모든 국소 체에서 $GL_n$에 대한 다중도 일의 정리를 균일하게 증명하고, 비아르키메데스적 설정에서 대칭 쌍에 대한 겔판드 성질을 확립하였다.

ABSTRACT

Let X be a smooth real algebraic variety. Let $ξ$ be a distribution on it. One can define the singular support of $ξ$ to be the singular support of the $D_X$-module generated by $ξ$ (some times it is also called the characteristic variety). A powerful property of the singular support is that it is a coisotropic subvariety of $T^*X$. This is the integrability theorem (see [KKS, Mal, Gab]). This theorem turned out to be useful in representation theory of real reductive groups (see e.g. [AG_AMOT, AS, Say]). The aim of this paper is to give an analog of this theorem to the non-Archimedean case. The theory of D-modules is not available to us so we need a different definition of the singular support. We use the notion wave front set from [Hef] and define the singular support to be its Zariski closure. Then we prove that the singular support satisfies some property that we call weakly coisotropic, which is weaker than being coisotropic but is enough for some applications. We also prove some other properties of the singular support that were trivial in the Archimedean case (using the algebraic definition) but not obvious in the non-Archimedean case.

연구 동기 및 목표

• D-모듈이 사용 가능한 아르키메데스 설정에서 알려진 적분 가능성 정리를, D-모듈이 존재하지 않는 비아르키메데스 설정으로 확장하기 위해.
• 알gebra적 D-모듈 접근법을 대체하기 위해, p-진 공간 위의 분포의 특이 지지를 파동 프론트 세트와 그 자리 지오메트릭 폐쇄를 통해 정의하기 위해.
• 이 특이 지지가 표현 이론의 응용에 충분한, 더 약한 코이시트로픽 조건(약한 코이시트로픽)을 만족함을 확립하기 위해.
• 모든 국소 체(아르키메데스 및 비아르키메데스 포함)에서 $GL_n$에 대한 다중도 일의 정리를 균일하게 증명하기 위해.
• 기존의 대칭 공간에 대한 겔판드 쌍 결과를, 특성 0인 임의의 국소 체로 확장하기 위해 새로운 프레임워크를 사용하기 위해.

제안 방법

• 파동 프론트 세트의 자리 지오메트릭 폐쇄로 특이 지지를 정의함으로써, 비아르키메데스 설정에서 가능해지는 푸리에 변환을 통한 해석적 정의를 활용한다.
• 자료 [missing]에서 개발된 파동 프론트 세트 이론을 사용하여, 불변 분포의 특이 지지를 분석한다.
• 비아르키메데스 설정에서 전체 코이시트로픽성 대신 사용 가능한, 코이시트로픽 다양체의 약화된 개념인 '약한 코이시트로픽 부분다양체'를 도입한다.
• 기하 기준을 적용: 어떤 집합 내에 $X \times X$-약한 코이시트로픽 부분다양체가 존재하지 않으면, 유일한 불변 분포는 0임을 보인다.
• 공간 $V \times V^*$, $\mathfrak{sl}(V)$, 및 $X$ 위의 푸리에 변환을 사용하여 문제를 분포의 지지 및 그 변환의 지지 분석으로 축소한다.
• 차원과 다항식의 영성 증명을 통한 차원적 분석을 통해, 특정 집합 $R_A$ 가 비어 있지 않은 약한 코이시트로픽 부분다양체를 포함하지 않음을 증명함으로써 핵심 기하 명제를 증명한다.

실험 결과

연구 질문

• RQ1 D-모듈 이론이 존재하지 않는 비아르키메데스 설정에서, 분포의 특이 지지에 대한 적분 가능성 정리를 어떻게 확장할 수 있는가?
• RQ2 p-진 설정에서 코이시트로픽성의 적절한 유사체는 무엇이며, 이를 표현 이론적 결과를 증명하는 데 사용할 수 있는가?
• RQ3 이 새로운 프레임워크를 사용하여 모든 국소 체에서 $GL_n$에 대한 다중도 일의 정리를 균일하게 증명할 수 있는가?
• RQ4 파동 프론트 세트 기법을 사용하여, 좋은 대칭 쌍에 대한 겔판드 성질을 특성 0인 임의의 국소 체로 확장할 수 있는가?
• RQ5 불변 분포의 지지에 대한 기하적 조건은 무엇이며, 이를 약한 코이시트로픽성에 의해 어떻게 확립할 수 있는가?

주요 결과

• p-진 공간 위의 분포의 특이 지지(superior support)는 그 파동 프론트 세트의 자리 지오메트릭 폐쇄로 정의되며, 이는 약한 코이시트로픽임을 보였다. 이 성질은 핵심 응용에 충분하다.
• 약한 코이시트로픽성의 증명은 비아르키메데스 설정에서의 파동 프론트 세트 기본 성질에 기반하며, D-모듈 이론의 필요성을 피한다.
• 논문은 특성 0인 임의의 국소 체에 대해 대칭 쌍에 대한 비아르키메데스적 유사체 겔판드 성질을 확립하였다.
• 모든 국소 체에서 $GL_n$에 대한 다중도 일의 정리에 대한 균일한 증명이 달성되었으며, 이는 이전의 아르키메데스 및 비아르키메데스 사례를 통합한다.
• 핵심 기하 명제—$ \check{S}'$ 내에 비어 있지 않은 $X \times X$-약한 코이시트로픽 부분다양체가 존재하지 않음—은 $R_A \cap L_{ii}$ 의 차원이 $2n$ 미만임을 보여, 이러한 부분다양체의 공집성을 유도함으로써 증명되었다.
• 증명은 다항식 $f(v_1, \phi_1, v_2, \phi_2) = (v_1)_i(\phi_2)_{i+1} - (v_2)_i(\phi_1)_{i+1}$ 이 $R_A \cap L_{ii}$ 에서 영이 되며, 이는 $[A, B] = M$ 이며 $M_{i,i+1} = f$ 를 만족하는 니플레턴트 해가 존재하기 때문이다.