실제 포함과 에타 불변량 및 체르니‑사임스 전류

초록

본 논문은 Bismut‑Zhang의 에타‑불변량 지역화 공식에 대한 새로운 증명을 제시한다. 기존의 Bismut‑Lebeau의 복잡한 해석적 도구를 사용하지 않고, 실수 매니폴드의 포함과 관련된 Chern‑Simons 전류의 Riemann‑Roch 성질을 활용한다. 이를 통해 η‑불변량의 변환 법칙을 보다 위상학적·대수적 관점에서 이해할 수 있다.

상세 분석

이 연구는 η‑불변량(Atiyah‑Patodi‑Singer η‑인버리언트)의 변환 법칙을 다루는 Bismut‑Zhang 정리의 대안적 증명을 제공한다는 점에서 의미가 크다. 기존 Bismut‑Zhang 논문에서는 Bismut‑Lebeau가 개발한 가설적 라플라시안( hypoelliptic Laplacian )과 복잡한 열핵 해석을 이용해 포함된 두 매니폴드 사이의 η‑불변량 차이를 표현하였다. 그러나 이러한 방법은 고차원 분석에 대한 깊은 이해와 정교한 추정이 요구되어 일반 독자에게는 접근성이 낮다.

본 논문은 이러한 장벽을 넘어, 실수 매니폴드 M을 N에 실수 임베딩( i: M↪N )시켰을 때, 두 디랙 연산자 D_M, D_N 사이의 η‑불변량 차이를 Chern‑Simons 전류 CS(i) 의 적분 형태로 전환한다. 핵심 아이디어는 다음과 같다. 첫째, 초연결(super‑connection) 기법을 이용해 K‑이론적 푸시포워드 i_! 를 정의하고, 그에 대응하는 Chern‑character 전류 ch(i_!E) 를 구성한다. 둘째, 이 전류와 원래의 Chern‑character ch(E) 사이의 차이를 정확히 Chern‑Simons 전류 CS(i,E) 로 표현한다. 셋째, η‑불변량은 APS 경계 조건을 갖는 디랙 연산자의 스펙트럼 비대칭성을 측정하는데, 이 스펙트럼 비대칭은 초연결의 곡률 형태와 직접 연결된다. 따라서 η‑불변량의 차이는 CS 전류의 적분으로 전환될 수 있다.

특히 저자는 “Riemann‑Roch for Chern‑Simons currents” 라는 새로운 정리를 증명한다. 이는 i_! 가 K‑이론에서의 푸시포워드와 동형임을 보장하면서, ch(i_!E) = i_*(ch(E)) + d·CS(i,E) 라는 전이 관계를 제시한다. 여기서 d는 외미분 연산자이며, CS(i,E) 는 경계 없는 형태로 정의되어 전역적인 위상학적 불변량을 제공한다. 이 정리는 기존의 Grothendieck‑Riemann‑Roch 정리와 유사하지만, 차원 차이가 있는 경우와 비정상적인 경계 조건을 포함한다는 점에서 확장된 형태이다.

증명 과정에서 저자는 Bismut‑Lebeau의 가설적 라플라시안을 완전히 배제하고, 대신 초연결의 열 흐름과 전형적인 파라메트릭 전이 공식( transgression formula )을 활용한다. 또한, 적분 정리와 Stokes 정리를 조합해 경계 항을 정확히 제어함으로써 η‑불변량 차이가 전적으로 CS 전류에 의해 설명됨을 보인다. 이 접근법은 복잡한 분석적 추정 없이도 동일한 결과를 얻을 수 있음을 보여 주며, 위상학자와 대수기하학자에게 보다 친숙한 도구를 제공한다.

결과적으로, 이 논문은 η‑불변량의 지역화 공식이 단순히 스펙트럼 분석이 아니라, Chern‑Simons 전류라는 위상학적 전류에 의해 완전히 설명될 수 있음을 증명한다. 이는 η‑불변량을 이용한 지표 이론, 특히 고차원 매니폴드와 경계가 있는 경우의 지표 계산에 새로운 관점을 제공한다.