[논문 리뷰] Secondary Characteristic Classes on Loop Spaces

Yoshiaki Maeda, Steven Rosenberg외 1명|arXiv (Cornell University)|2007. 05. 07.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 7

한 줄 요약

이 논문은 미분형식의 Wodzicki-Chern-Simons (WCS) 계열을 무한차원 루프 공간 위에서 개발하며, 이는 0차 미분형식의 Wodzicki 추적을 통해 이루어지며, 루프 공간 위의 리만계량에 대한 보조 특성류의 계산을 가능하게 한다. 주요 결과는 $ L(S^2 \times S^3) $ 위에서 비영인 5차원 WCS 계열 $ CS^W_5 $ 를 구성한 것으로, 이는 $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 가 무한하다는 것을 증명하고, 특정 원형 작용이 자명한 작용과 매끄럽게 호환되지 않음을 보여준다.

ABSTRACT

A Riemannian metric on a manifold M induces a family of Riemannian metrics on the loop space LM depending on a Sobolev space parameter s. The connection and curvature forms of these metrics take values in pseudodifferential operators. We develop a theory of Wodzicki-Chern-Simons classes using the s=0, 1 connections and the Wodzicki residue. These classes distinguish the smooth homotopy type of some circle actions on M = S^2 x S^3, and imply that the fundamental group of Diff(M) is infinite.

연구 동기 및 목표

• 무한차원 체르누-시모스 이론을 활용해 루프 공간 위의 보조 특성류에 대한 계산 가능한 이론을 개발하기 위해.
• 0차 미분형식의 Wodzicki 추적을 사용해 $ LM $ 위에 Wodzicki-Chern-Simons (WCS) 계열을 정의하기 위해.
• 이 계열의 $ s $-독립적이고 정규화된 형태를 구성하여 계산 가능하고 위상적으로 의미 있는 형태를 유지하기 위해.
• 이 이론을 $ S^2 \times S^3 $ 위의 원형 작용의 매끄러운 호환형태를 구별하는 데 적용하기 위해.
• $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 가 비영인 특성류를 통해 무한하다는 것을 증명하기 위해.

제안 방법

• Sobolev 유형의 일차 파라미터 가중치를 가진 리만계량 $ g^s $ 를 루프 공간 $ LM $ 위에 정의하며, $ s > 1/2 $ 이고, Levi-Civita 접속의 곡률 및 접속 형식이 0차 ΨDO에 값을 갖도록 하기 위해.
• Sobolev 공간 내 국소 기호 계산법을 사용해 접속 및 곡률 형식의 주요 및 보조 기호를 계산하기 위해.
• Wodzicki 추적(ΨDO 대수에서 유일한 추적)을 사용해 $ CS^{W}_{K} \in H^{2k-1}(LM^{2k-1}) $ 의 WCS 계열을 정의하기 위해.
• 곡률 형식에 Wodzicki 추적을 적용해 $ CS^{W}_{2k-1} $ 의 명시적 국소 공식을 구성함으로써 명시적 계산이 가능하게 하기 위해.
• Sobolev 매개변수 $ s $ 에 독립적인 형태로 계열을 정규화하여 위상적 불변성을 확보하기 위해.
• 특정 Sasaki-Einstein 계량을 $ Y^{p,q} \cong S^2 \times S^3 $ 에 적용하고, 좌표 기반 정확한 적분을 통해 $ \int_{[a^L]} CS^W_5 $ 를 계산하기 위해.

실험 결과

연구 질문

• RQ1 미분형식을 사용해 무한차원 루프 공간 위에서 보조 특성류를 정의할 수 있는가?
• RQ2 Wodzicki 추적을 사용해 $ LM $ 위에서 계산 가능하고 $ s $-독립적인 특성류를 구성할 수 있는가?
• RQ3 $ L(S^2 \times S^3) $ 위에서 비영인 5차원 Wodzicki-Chern-Simons 계열이 존재하는가?
• RQ4 이러한 계열이 $ S^2 \times S^3 $ 위의 원형 작용의 매끄러운 호환형태를 구별할 수 있는가?
• RQ5 $ CS^W_5 $ 가 비영이면 $ \pi_1(\mathrm{Diff}(S^2 \times S^3)) $ 가 무한한가?

주요 결과

• $ CS^W_5 \in H^5(L(S^2 \times S^3)) $ 는 비영이며, $ (p,q) = (7,3) $ 일 때 $ \int_{[a^L]} CS^W_5 = -\frac{1849\pi^4}{22050} $ 이다.
• $ CS^W_5 $ 가 비영이므로, $ S^2 \times S^3 $ 위의 원형 작용 $ a_1 $ 은 자명한 작용과 매끄럽게 호환되지 않는다.
• 계산 결과는 $ \pi_1(\mathrm{Diff}(S^2 \times S^3), \mathrm{id}) $ 가 무한함을 확인하며, $ CS^W_5 $ 가 기본군 내 비자명한 원소를 감지함을 보여준다.
• $ CS^W_5 $ 는 3-다양체의 루프 공간에서는 영이므로, 이 이론에서 첫 번째 비자명한 예시는 5차원의 경우이다.
• 이 방법은 $ \pi^4 $ 까지 정확한 유리수 계수 결과를 도출하며, Sasaki-Einstein 계량의 대수적 구조와 좌표 적분과 일관된다.
• 이 이론은 무한차원 기하학에서 비영인 Wodzicki 유형의 특성류가 존재하는 최초의 알려진 예를 제공한다.