잎사귀 호모토피 불변성: 비틀린 고조화 서명의 증명

본 논문 "The Twisted Higher Harmonic Signature for Foliations"은 컴팩트 리만 다양체 M 위의 짝수 차원(2ℓ) 방향 리만 잎사귀 구조 F를 연구합니다. 여기에 잎별(leafwise) U(p,q)-평탄 복소 벡터 다발 E를 계수로 추가하여, 이 '비틀린' 설정에서 고조화 서명을 정의하고 그 불변성을 증명하는 것이 핵심 목표입니다. 서론(1절)에서는 연구의 배경과 목적을 설명하며, 노비코프 추측에 대한 세 가지 주요 접근법(Kasparov의 KK-이론, Connes의 순환 코호몰로지, Lusztig-Gromov의 (거의) 평탄 표현 접근법) 중 세 번째 방법을 잎사귀 구조로 확장하는 프로그램을 소개합니다. 이 프로그램의 두 번째 단계가 바로 본 논문의 주제입니다. 2절에서는 기본 표기법과 Haefliger 코호몰로지의 정의를 복습합니다. Haefliger 코호몰로지 H*c(M/F)는 횡단면(transversal) T 위의 컴팩트 지지 미분형식 공간을 holonomy 의사군의 작용에 의해 생성된 공간의 폐포로 나눈 코호몰로지로 정의됩니다. 3절에서는 '가로방향 매끄러운' 사영자(즉, 잎 공간 위의 매끄러운 벡터 다발에 해당하는 개념)에 대한 Chern-Connes 특성류 ch_a를 Haefliger 코호몰로지 값으로 구성합니다. 이는 고전적인 Chern-Weil 이론의 비가환 일반화입니다. 4절에서는 비틀린 고조화 서명 σ(F, E)를 정의합니다. 각 잎 L의 단일 연결 덮개 위에서, E|L 값 ℓ-형식의 Laplacian ΔE^ℓ의 핵을 (+), (-) 성분으로 분해합니다. 가로방향 매끄러움 가정 하에서, 이 핵들은 '잎 공간 위의 매끄러운 다발'을 이루며, σ(F, E)는 이들 다발의 Chern-Connes 특성류의 차 ch_a(Ker(ΔE,+^ℓ)) - ch_a(Ker(ΔE,-^ℓ))로 정의됩니다. 5절은 증명의 핵심 도구로, '잎 공간 위의 매끄러운 다발'에 대한 연결형과 곡률형 이론을 전개합니다. 이를 통해 서로 다른 다양체 위에 있는 두 such 다발의 특성류를 비교할 수 있는 프레임워크를 마련합니다. 6절은 잎사귀 호모토피 동치의 성질을 자세히 분석합니다. 일반적으로 잎사귀 호모토피 동치는 Sobolev 형태 공간 사이에 잘 정의된 매끄러운 사상을 유도하지 않습니다. 이 난관을 극복하기 위해 Hilsum-Skandalis의 구성과 Whitney 동형사상을 통한 조합론적 접근법을 결합하여, 호모토피 동치가 Haefliger 코호몰로지 및 잎별 코호몰로지에 미치는 영향을 제어합니다. 7절과 8절에서는 잎사귀 호모토피 동치에 의해 유도된 다발과 연결형의 풀이백(pull-back)이 원래 다발과 동일한 '가로방향 매끄러움' 성질을 유지함을 보입니다. 9절에서는 앞선 모든 준비를 종합하여 주요 정리 9.1을 증명합니다. 즉, 주어진 조건 하에서 σ(F, E)가 잎사귀 호모토피 불변량임을 보입니다. 증명의 골격은 호모토피 동치 f에 의해 연결된 두 설정 (M, F, E)와 (M', F', E')에서, f에 의해 유도된 Haefliger 코호몰로지 사이의 동형사상 f*가 σ(F', E')를 σ(F, E)로 보낸다는 것을 확인하는 것입니다. 10절에서는 비틀린 고조화 서명 σ(F, E)가 잎사귀 서명 연산자 D_E^+의 지표 다발(index bundle)의 Chern-Connes 특성류와 일치함을 논의합니다. 또한 동일한 방법론이 비틀린 고차 베티 수류 β_j(F, E)의 잎사귀 호모토피 불변성(정리 10.6) 증명으로 확장됨을 설명합니다. 11절에서는 주요 정리의 결과를 논의합니다. 특히, 이 결과가 노비코프 추측에 대한 저자들의 세 단계 프로그램에서 중요한 진전을 의미하며, 리만 잎사귀에 대해 H*(BG; R)의 부분환에 대한 Baum-Connes 노비코프 추측을 증명할 수 있게 해준다고 설명합니다. 마지막으로 리만성 가정을 제거하는 것과 세 번째 단계(충분한 거의 평탄 K-이론류의 존재)가 남은 주요 과제임을 언급하며 논문을 마칩니다.