[논문 리뷰] De-Rham theorem and Shapiro lemma for Schwartz functions on Nash manifolds

Avraham Aizenbud, Dmitry Gourevitch|arXiv (Cornell University)|2008. 02. 22.

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

한 줄 요약

이 논문은 내셔 맨포일드 위의 스웨르츠 함수와 일반화된 스웨르츠 함수에 대해 드 라무 정리와 샤피로의 보조정리의 유사체를 수립한다. 스웨르츠 계수를 가진 드 라무 복합체의 코homology는 다발의 컴act 지지 코homology와 동형이며, 일반화된 스웨르츠 계수를 가진 경우는 일반 코homology와 동형임을 증명한다. 이를 통해 내셔 군 이론적 버전의 샤피로의 보조정리를 증명한다: G-등변 다발 위의 일반화된 스웨르츠 절단의 계수를 가진 리 대수 𝔤의 코homology는 H의 표현을 계수로 하는 리 대수 𝔥의 코homology와 동형이다.

ABSTRACT

In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute cohomologies of the Lie algebra of an algebraic group G with coefficients in the space of generalized Schwartz sections of G-equivariant bundle over a G-transitive variety M. We do it under some assumptions on topological properties of G and M. This computation for the classical case is known as Shapiro lemma.

연구 동기 및 목표

• 고전적 드 라무 정리와 샤피로 정리를 내셔 다발 위의 스웨르츠 함수의 맥락으로 확장하기.
• 내셔 다발 위에서 스웨르츠 함수와 일반화된 스웨르츠 함수를 계수로 하는 드 라무 복합체를 정의하고 연구하기.
• 재구성된 대수적 군 G의 리 대수 𝔤의 코homology를, 동차 공간 G/H 위의 G-등변 다발의 일반화된 스웨르츠 절단의 계수로 계산하기.
• 스웨르츠 함수와 분포의 맥락에서 내셔-유사 샤피로의 보조정리를 수립하기.

제안 방법

• 내셔 다발 M 위에서 스웨르츠 함수를 계수로 하는 드 라무 복합체 DR_S(M)를 도입하고, 그 코homology가 M의 컴팩트 지지 코homology와 동형임을 증명한다.
• 일반화된 스웨르츠 함수를 계수로 하는 드 라무 복합체 DR_G(M)를 도입하고, 그 코homology가 M의 일반 코homology와 동형임을 증명한다.
• 내셔 국소 평탄한 피브레이션 F → M에 대해 상대 드 라무 정리를 개발하며, 상대 코homology 다발 H^i_c(F→M)와 H^i(F→M)를 정의하고, DR_S(F→M)가 H^i_c(F→M)의 전역 스웨르츠 절단을 계산하고, DR_G(F→M)가 H^i(F→M)의 전역 일반화된 스웨르츠 절단을 계산함을 보인다.
• 상대 드 라무 정리를 활용하여 스웨르츠 함수에 대한 샤피로의 보조정리를 증명한다: 계약 가능한 선형 대수적 군 G와 계약 가능한 부분군 H에 대해, G-등변 다발 위의 일반화된 스웨르츠 절단의 계수를 가진 리 대수 𝔤의 코homology는 H의 표현을 계수로 하는 리 대수 𝔥의 코homology와 동형이다.
• 타르스키-세이덴버그 원리와 내셔 분할을 포함한 반대수기하학 기법을 활용하여 내셔 다발의 위상수학적 및 기하학적 구조를 다룬다.
• 핵심 프레셰 공간의 결과를 적용하여 내셔 다발 위의 스웨르츠 함수 공간의 구조적 성질을 확립한다.

실험 결과

연구 질문

• RQ1 고전적 드 라무 정리는 어떻게 내셔 다발 위의 스웨르츠 함수 맥락으로 일반화될 수 있는가?
• RQ2 일반화된 스웨르츠 함수 계수를 가진 드 라무 복합체의 코homology와 내셔 다발의 일반 코homology 사이의 관계는 무엇인가?
• RQ3 샤피로의 보조정리는 내셔 다발 위의 스웨르츠 함수와 일반화된 스웨르츠 함수의 맥락으로 확장될 수 있는가?
• RQ4 선형 대수적 군 G의 리 대수 𝔤의 코homology는 G-동치 다발이 G/H 위에 있는 경우, 그 일반화된 스웨르츠 절단의 공간을 계수로 하여 어떻게 계산되는가?
• RQ5 내셔 피브레이션에 대한 상대 드 라무 복합체는 섬유의 코homology와 어떻게 관련이 있는가?

주요 결과

• 내셔 다발 M 위에서 스웨르츠 함수를 계수로 하는 드 라무 복합체 DR_S(M)의 코homology는 M의 컴팩트 지지 코homology와 동형이다.
• 내셔 다발 M 위에서 일반화된 스웨르츠 함수를 계수로 하는 드 라무 복합체 DR_G(M)의 코homology는 M의 일반 코homology와 동형이다.
• 내셔 국소 평탄한 피브레이션 F → M에 대해, 상대 드 라무 복합체 DR_S(F→M)의 코homology는 컴팩트 지지 섬유 코hom로 구성된 다발 H^i_c(F→M)의 전역 스웨르츠 절단과 자연스럽게 동형이다.
• 동일한 피브레이션에 대해, DR_G(F→M)의 코homology는 섬유 코hom로 구성된 다발 H^i(F→M)의 전역 일반화된 스웨르츠 절단과 자연스럽게 동형이다.
• 피브레이션 F → M의 섬유가 계약 가능할 경우, DR_G(F→M)의 고차 코hom로는 0이며, 제로차 코hom로는 M 위의 일반화된 스웨르츠 함수 공간과 동형이다.
• 계약 가능한 선형 대수적 군 G와 계약 가능한 부분군 H에 대해, G-등변 다발 위의 일반화된 스웨르츠 절단의 공간을 계수로 하는 리 대수 𝔤의 코homology는 H의 표현을 계수로 하는 리 대수 𝔥의 코homology와 동형이다.