[논문 리뷰] Analytic torsion of arithmetic quotients of the symmetric space SL(n,R)/SO(n)

Jasmin Matz, Werner Mueller|arXiv (Cornell University)|2016. 07. 15.

Advanced Algebra and Geometry참고 문헌 46인용 수 3

한 줄 요약

이 논문은 아르틴적 쌍대군의 대칭공간 SL(n,R)/SO(n)의 약분을 정규화된 열린 핵의 추적을 통해 아르틴의 추적 공식의 기하 측면을 이용하여 정규화된 열린 핵의 추적을 정의함으로써, 정규화된 해석적 토르션을 수립한다. 주요 기여는 고차원에서 비콤팩트 국소 대칭공간을 체계적으로 다룰 수 있는 방법을 제공하며, 잘라내기와 가중 궤도 적분을 이용하여 해석적 토르션을 비콤팩트 유한체적 국소 대칭공간으로 확장하는 데 있다.

ABSTRACT

In this paper we define a regularized version of the analytic torsion for arithmetic quotients of the symmetric space SL(n,R)/\SO(n). The definition is based on the study of the renormalized trace of the corresponding heat operators, which is defined as the geometric side of the Arthur trace formula applied to the heat operator

연구 동기 및 목표

• SL(n,R)/SO(n)를 포함한 고차원에서 비콤팩트 유한체적 국소 대칭공간으로 해석적 토르션 이론을 확장한다.
• 비콤팩트 설정에서 열린 핵의 추적의 추적-클래스 성질 부족 문제를 해결하기 위해 정규화된 추적을 도입한다.
• 콤팩트 산술군과 하이퍼볼릭 3-다양체의 결과를 아델 프레임워크와 아르틴의 추적 공식을 이용해 고차원 대칭공간으로 일반화한다.
• 위상적 토르션과 산술군의 코homological 토르션 성장과 연결되는 일관된 해석적 토르션 불변량을 정의한다.

제안 방법

• 대칭공간 SL(n,R)/SO(n)에서 열린 핵의 추적에 아르틴의 추적 공식을 적용하고, 기하 측면을 이용해 정규화된 추적을 정의한다.
• 높이 함수와 포물형 부분군을 기반으로 한 잘라내기 절차를 구현하여 비콤팩트 국소 대칭공간의 캐스프를 다룬다.
• 잘라낸 추적의 점근적 전개에서 잘라내기 매개변수 T에 대한 상수항을 추출함으로써 열린 핵의 정규화된 추적을 얻는다.
• 리 대수의 공轭류에 대해 가중 궤도 적분을 계산하고, 수렴을 제어하기 위해 log(1 + x² + y²)와 같은 가중 함수를 포함시킨다.
• 열린 핵의 점근적 행동을 t → 0에서 분석하기 위해 열린 핵 추정과 GL(n,R) 및 SL(n,R)에서의 스펙트럼 이론을 사용한다.
• Laplacian에 관련된 zeta 함수의 zeta-정규화된 도함수를 통해 해석적 토르션을 유도한다.

실험 결과

연구 질문

• RQ1 비콤팩트 유한체적 국소 대칭공간의 고차원에서 해석적 토르션을 어떻게 정규화할 수 있는가?
• RQ2 대칭공간 SL(n,R)/SO(n)에 대해 추적 공식의 구조를 유지하는 올바른 잘라내기 절차는 무엇인가?
• RQ3 로그함수 가중 함수를 포함한 가중 궤도 적분은 정규화된 추적의 점근적 전개에 어떤 영향을 미치는가?
• RQ4 t → 0일 때 SL(n,R)/SO(n)에서 열린 핵의 정규화된 추적의 점근적 행동은 어떻게 되는가?
• RQ5 비콤팩트 고차원 경우에서 해석적 토르션을 정의하고 Reidemeister 토르션과 관련지을 수 있는가?

주요 결과

• SL(n,R)/SO(n)에서 열린 핵의 정규화된 추적은 log T와 t의 거듭제곱에 대한 점근적 전개를 가지며, 상수항이 정규화된 추적으로 정의된다.
• GL(3)의 경우, log(1 + x² + y²)를 포함한 가중 궤도 적분은 t에 대한 로그항이 포함된 점근적 전개를 유도하며, 특히 t^{-(d-3)/2} log t 및 t^{-(d-4)/2} 형태를 띤다.
• SL(n,R)/SO(n)에서 정규화된 추적의 점근적 전개는 t^{-(d-k)/2}에 t^{k/2}와 t^{k/2} log t의 급수를 곱한 형태이며, 공轭류와 가중 함수에 따라 달라진다.
• 이 방법은 하이퍼볼릭 3-다양체 접근법을 고차원으로 일반화하여 산술군의 코homology에서의 토르션 성장 연구를 위한 프레임워크를 제공한다.
• 해석적 토르션은 라플라시안에 관련된 zeta 함수의 zeta-정규화된 도함수를 통해 정의되며, 레이-식 정의를 비콤팩트 설정으로 확장한다.
• 이 구성은 아르틴의 추적 공식과 일관되며, ℚ 위의 A_n 형식의 분할형에 적용 가능하여 향후 합동부군의 코homology에서의 토르션 연구를 가능하게 한다.