[논문 리뷰] Stabilisation de la formule des traces tordue IX : propriétés des intégrales orbitales pondérées $ω$ equivariantessurlecorpsréel

J. L. Waldspurger|arXiv (Cornell University)|2014. 12. 08.

Advanced Algebra and Geometry참고 문헌 2인용 수 4

한 줄 요약

이 논문은 실수체 위에서의 비틀린 추적 공식에서 가중 궤도 적분의 안정화를 확립하며, ω-등변 적분과 그 내경적 변형을 중심으로 다룬다. 컴팩트 지지를 가진 미분 가능 함수 위에서 K-유한, Z(G)-등변 사상 f ↦ ε_{K̃M}(f)를 구성하고, 그 미분 가능성, K-유한성, Z(G)-등변성을 증명한다. Γ-함수에서 발생하는 무한한 극으로 인한 복잡성을 해결하기 위해 극의 수가 유한한 수정된 가중 특성 함수를 도입한다.

ABSTRACT

In the preceeding article, we have generalized to the twisted case the proposition 3.1 of the third Arthur's article on the stabilization of the trace formula. The base-field was p-adic. Here, we prove the same result over the real base-field. We prove also auxiliary results on the differential equations and the jump's conditions satisfied by the weighted orbital integrals.

연구 동기 및 목표

• 비아르키메데스 체에서의 가중 궤도 적분의 안정화를 실수 국소체로 확장하기.
• K̃M가 K-비틀린 군의 K-레비 부분군일 때, K̃G(ℝ) 위에서 Z(G)-등변이자 K-유한인 사상 f ↦ ε_{K̃M}(f)를 구성하기.
• Arthur의 실수체 위에서의 가중 특성 함수의 새로운 정의에서 발생하는 Γ-함수의 무한한 극 문제를 해결하기 위해 극의 수가 유한한 집합을 가지는 수정된 특성 함수를 도입하기.
• 내경적 변형된 ω-등변 적분이 표준적 경우와 동일한 미분적, 해석적 성질을 만족함을 증명하기.
• 결과적으로 얻어진 ε_{K̃M}(f)가 촉퇴적이고, ω에 대해 절대 수렴 촉퇴 형식의 공간에 속함을 확립하기.

제안 방법

• 비아르키메데스 프레임워크를 실수 사례에 적응시키기 위해 K-비틀린 군 K̃G와 K-레비 부분군 K̃M를 정의하기.
• 무한한 극을 일으키는 Γ-함수를 제거하여 극의 수가 유한한 집합을 가지는 수정된 가중 특성 함수를 도입하기.
• 카시미르 원소에 대응하는 미분 연산자가 ω-등변 및 내경적 적분에 대해 동일하게 작용함을 명시적 계산을 통해 증명하기.
• Z(G)-작용의 형식적 교환 성질을 이용해 카시미르 결과를 Z(G)의 모든 원소로 확장하여 등변성 보장하기.
• 표준 및 내경적 가중 적분에 대해 국소적 상계와 점프 관계를 도입하며, 아르투어와 셀슈타드의 방법을 적응하기.
• γ-지지가 공액에 대해 컴팩트한 성질을 가지도록, 수정된 특성 함수를 사용하여 가중 적분의 컴팩트 지지 변형 cI_{K̃M}^{K̃G}를 정의하기.

실험 결과

연구 질문

• RQ1 가중 궤도 적분의 안정화를 비아르키메데스 체에서 실수 국소체로 어떻게 확장할 수 있는가?
• RQ2 Arthur의 실수체 위에서의 가중 특성 함수의 새로운 정의에서 발생하는 무한한 극을 피하기 위해 어떤 수정이 필요한가?
• RQ3 실수군 K̃G(ℝ) 위에서 Z(G)-등변이자 K-유한인 사상 f ↦ ε_{K̃M}(f)를 어떻게 구성할 수 있는가?
• RQ4 내경적 변형된 ω-등변 적분이 표준적 경우와 동일한 미분, 상계, 점프 관계를 만족하는가?
• RQ5 수정된 특성 함수를 사용하여 ℝ 위에서 가중 적분의 컴팩트 지지 변형을 정의할 수 있는가?

주요 결과

• K-유한 함수 f에 대해 K̃G(ℝ) 위에서 사상 f ↦ ε_{K̃M}(f)는 잘 정의되어 있으며, 미분 가능하고, K^{M}-유한이며, Z(G)-등변이다.
• Z(G)의 원소에 대응하는 미분 연산자가 ω-등변 및 내경적 가중 적분에 대해 동일하게 작용함을 카시미르 계산과 형식적 교환 성질을 통해 증명하였다.
• 내경적 적분에 대해 국소적 상계와 점프 관계가 확립되었으며, 표준적 적분과 동일한 형태를 가진다.
• 문제적 Γ-함수를 제거하여 극의 수가 유한한 집합을 가지는 수정된 가중 특성 함수를 정의하였다.
• 컴팩트 지지 변형 cI_{K̃M}^{K̃G}(γ,ω,f)는 잘 정의되어 있으며, M(ℝ) 공액에 대해 γ-지지가 컴팩트하다.
• 결과적으로 얻어진 ε_{K̃M}(f)는 I_{ac,cusp}(K̃M(ℝ),ω,K)에 속함을 확인하여, 촉퇴성과 절대 수렴성을 입증하였다.