[논문 리뷰] The Intersection R-Torsion for Finite Cone

Xianzhe Dai, Xiaoling Huang|arXiv (Cornell University)|2014. 10. 22.

Geometric and Algebraic Topology참고 문헌 29인용 수 3

한 줄 요약

이 논문은 유한 콘의 교차 R- torsion을 그 횡단면에서의 조합적 라플라시안 행렬식을 통해 기술하는 공식을 수립하고, 짝수 차원 다양체에서 허드지 라플라시안을 사용한 유사한 해석적 불변량을 도입한다. 주요 기여는 위상적 토션과 스펙트럼 데이터를 정확히 연결하는 표현을 제공하며, 메이어-비에토리스 수열과 메트릭의 등각 변화 하에서의 변화에 응용된다.

ABSTRACT

We prove a formula for the intersection R-torsion of a finite cone and use it to introduce a family of spectral invariants which is closely related to Cheeger's half torsion.

연구 동기 및 목표

• 유한 콘 X = C(Y)의 교차 R- torsion Iτ^{\bar{p}}(X)을 그 횡단면 Y에서의 조합적 라플라시안 Δ_p^{(c)}의 행렬식을 사용하여 계산한다.
• 짝수 차원 다각형에서 허드지 라플라시안 Δ_k를 사용하여 교차 R- torsion의 해석적 유사 불변량 ln T_p(Y,ρ)를 정의한다.
• 특히 등각 변화를 포함한 메트릭 변형 하에서 이 해석적 불변량의 변화를 연구한다.
• 교차 코hom로지의 메이어-비에토리스 수열의 R- torsion이 쌍 (M,Y)의 상대 코hom로지의 R- torsion과 어떻게 관련되는지 규명한다.
• 메이어-비에토리스 수열의 R- torsion이 자르기된 정확수열을 통해 자명하거나 계산 가능해지는 조건을 설정한다.

제안 방법

• 유한 콘 X = C(Y)의 교차 R- torsion Iτ^{\bar{p}}(X)를 횡단면 Y에서의 조합적 라플라시안 Δ_p^{(c)}의 행렬식 로그의 합으로 표현하며, 계수는 펄서비티 \bar{p}에 따라 달라진다.
• 조합적 라플라시안을 k-형식과 평탄한 벡터 다발 E_ρ의 계수를 가진 허드지 라플라시안 Δ_k로 대체하여 해석적 불변량 ln T_p(Y,ρ)를 도입한다.
• 메트릭의 일차 매개변수 가중치 가중치 g(u)에 따른 ln T_p(Y,ρ)의 변화를 유도하며, 코hom로지에 사영하는 사영 연산자의 트레이스와 열린 핵심 열전도 계수 전개의 상수 항을 포함한다.
• 교차 코hom로지의 메이어-비에토리스 수열을 적용하여, 콘의 토션을 쌍 (M,Y)의 상대 코hom로지와 연결한다. 이때 윌트 조건 H^{m/2}(Y) = 0 이 성립한다.
• 열핵심의 허드지 분해 E_k = E_k^{ex} + E_k^{ce} + E_k^h 를 사용하여 변화 공식에서 특이 부분을 분리한다.
• 분할된 짧은 정확수열과 선호 기저를 활용하여 전이 행렬을 통한 R- torsion 계산을 수행하며, 등장 조건에서 단위 대각선 항을 가진 전이 행렬을 통해 자명성을 보여준다.

실험 결과

연구 질문

• RQ1 유한 콘의 교차 R- torsion은 어떻게 횡단면의 스펙트럼 데이터로 표현할 수 있는가?
• RQ2 짝수 차원 다각형에 대해 교차 R- torsion의 해석적 유사 불변량은 무엇이며, 메트릭 변화에 어떻게 반응하는가?
• RQ3 교차 코호모로지의 메이어-비에토리스 수열의 R- torsion이 상대 코호모로지 수열의 R- torsion으로 줄어들게 되는 조건은 무엇인가?
• RQ4 메트릭 변형, 특히 등각 변화의 경우에서 해석적 토션 불변량 ln T_p(Y,ρ)의 변화는 어떻게 의존하는가?
• RQ5 해석적 불변량 ln T_p(Y,ρ)는 언제 국소적으로 메트릭에 의존하게 되며, 윌트 조건은 어떤 역할을 하는가?

주요 결과

• 유한 콘의 교차 R- torsion은 $ \ln I\tau^{\bar{p}}(X) = \sum_{p=0}^{n-p_n-1}(-1)^{p+1}p\ln\det\Delta_p^{(c)} + (n-p_n)\sum_{p=p_n}^{n-1}(-1)^{p+1}\ln\det\Delta_p^{(c)} $ 로 주어지며, 이는 조합적 라플라시안의 행렬식과 명시적으로 연결된다.
• 해석적 불변량 $ \ln T_p(Y,\rho) $ 는 허드지 라플라시안의 로그 행렬식의 조합으로 정의되며, p=0일 경우 일반적인 해석적 토션을 일반화한다.
• 메트릭 변화에 따른 $ \ln T_p(Y,\rho) $ 의 변화는 코호모로지에 사영하는 사영 연산자의 트레이스와 열핵심 전개의 상수 항을 포함하며, p = m/2일 경우 깔끔한 국소 공식을 가진다.
• p = m/2일 경우 변화는 국소적이다: $ \frac{d}{du}\ln T_{m/2}(Y,\rho) = \frac{1}{2}\sum_{k=0}^{m/2-1}(-1)^{k+1}\operatorname{Tr}(P_{H^k}\alpha) + \frac{1}{2}\sum_{k=0}^{m/2-1}(-1)^{k+1}\operatorname{LIM}_{t\to 0}\operatorname{Tr}(e^{-t\Delta_k}\alpha) $.
• 윌트 조건 H^{m/2}(Y) = 0 이 성립할 경우, 교차 코호모로지의 메이어-비에토리스 수열의 R- torsion은 자르기된 상대 코호모로지 수열 (M,Y)의 R- torsion과 같다.
• 분할된 짧은 정확수열의 R- torsion은 사영과 포함 사상이 선호 기저를 등장 조건에 대해 유지할 경우 자명해지며, 단위 대각선 항을 가진 전이 행렬을 통해 이를 보여준다.