오드 인덱스와 에타 형태: 무한 차원 번들 위의 새로운 지오메트리

초록

본 논문은 매개변수 $t$에 따라 심볼식으로 변하는 타원형 서스펜딩 의사미분 연산자 가족 $A(t)$에 대해, 스무딩 섭동을 허용하는 무한 차원 번들 $\mathcal A(\phi)$ 위에 정의된 전체 에타 형태 $\eta_{\mathcal A}$를 구축한다. $\eta_{\mathcal A}$의 외미분은 $\pi_{\mathcal A}^*\gamma_A$와 일치하며, 이는 가족 인덱스의 홀 차수 체르니 부호를 나타내는 대표 형태이다. 1‑형식 성분은 $\tau$‑불변량(지수화된 에타)과 연결되고, 2‑형식은 K‑이론 가브에 대한 B‑필드로 해석된다. 또한, 보편적인 분류공간 위에서의 전역적 구성과 Dirac형 연산자에 대한 Bismut‑Cheeger 에타 형태와의 관계도 제시한다.

상세 분석

논문은 먼저 $\phi\colon M\to Y$라는 매끄러운 섬유다발을 가정하고, 각 섬유 위에 정의된 1차 자기수반 타원형 의사미분 연산자 $A_y$를 고려한다. 이 연산자를 실수 매개변수 $t$와 결합해 $A_y(t)=A_y+it$와 같은 서스펜딩 형태를 만든다. 여기서 “product‑type suspended”라는 용어는 $t$에 대한 의존성이 심볼 수준에서만 나타나며, 실제 연산자는 $t$에 대해 연속적으로 변하지 않음을 의미한다. 이러한 구조는 전통적인 K‑이론에서 홀 차수 원소를 나타내는 대표적인 모델이며, 인덱스 정리의 홀 형태를 다루는 데 필수적이다.

핵심적인 기여는 $\mathcal A(\phi)$라는 무한 차원 벡터 번들을 정의한 점이다. $\mathcal A(\phi)y$는 모든 $t\in\mathbb R$에 대해 $A_y(t)+q(t)$가 가역이 되도록 하는 스무딩 섭동 $q$들의 집합이다. 이 번들은 기본적인 토포로지적 구조를 가지고 있으며, $\pi{\mathcal A}\colon\mathcal A(\phi)\to Y$는 자연스러운 투사이다. 저자는 이 번들 위에 전역적인 짝지어진 형태 $\eta_{\mathcal A}$, 즉 “전체 에타 형태”를 구축한다. $\eta_{\mathcal A}$는 짝수 차수의 미분형식이며, 그 외미분은 \