가족을 위한 고차 토션 불변량 종합

본 논문은 고차 토션 불변량에 관한 포괄적인 개관을 제공한다. 서두에서 프란츠‑레히테머 토션 τ_FR이 평탄 복소수 벡터 번들에 대해 정의되고, 동형 사상에 대해 불변하지만 일반 동형 사상에 대해서는 불변하지 않는다는 고전적 사실을 상기한다. 이를 바탕으로 Hatchell‑Wagner가 제안한 의사동형사상과 Morse 이론을 이용해 번들 수준으로 확장하려는 시도를 소개하고, John Klein이 Waldhausen의 A‑이론을 변형해 만든 τ_w을 언급한다. 이후 Igusa와 Klein이 독립적으로 제시한 τ(E/B;F)와 Bismut‑Lott이 정의한 분석적 토션 형태 T(E/B;F) 사이의 관계를 중심으로 논의를 전개한다. 1부에서는 평탄 벡터 번들에 대한 Kamber‑Tondeur 클래스 ch⁰(F)와 그 실현 형태를 정의한다. 평탄 연결 ∇_F와 그에 대한 평행 메트릭 g_F를 이용해 실수값 홀수 차수의 닫힌 형태 ch⁰(F,g_F)를 구성하고, 이는 Chern‑Weil 이론의 평탄 버전이라 할 수 있다. 이 클래스는 메트릭 선택에 독립적이며, 평탄 메트릭이 존재하면 사라진다. 이러한 클래스는 Bismut‑Lott의 공동지수 정리의 핵심 입력이 된다. 2부에서는 Bismut‑Lott 공동지수 정리를 제시한다. 매끄러운 적절한 서브머전 p:E→B와 평탄 복소수 벡터 번들 F→E에 대해, 섬유별 코호몰로지 H(E/B;F)와 그 가우스‑만인 연결 ∇_H를 고려한다. 정리 1.2는 ch⁰(H(E/B;F))=tr_{E/B}⁎ ch⁰(F)라는 동등식을 보여, Becker‑Gottlieb 전이와 Kamber‑Tondeur 클래스가 결합해 위상적 지표와 분석적 지표를 연결함을 증명한다. 이어서 Cheeger‑Simons 차등 형식 bch와 그 실수부가 ch⁰와 일치한다는 사실을 언급한다. 3부에서는 Dwyer‑Weiss‑Williams가 제시한 일반화된 Euler 특성 및 K‑이론 사상