폴리드 번들 위의 인덱스·에타·로우 인베리언트 연구

초록

본 논문은 폴리드 번들에 정의된 잎별 디랙 연산자의 기본·보조 불변량을 체계적으로 분석한다. 최대 Connes‑Skandalis 힐베르트 모듈 위의 정규 자가수반 연산자 (D_m) 를 도입하고, 그 함수계산이 잎별 미분기하와 모노드로미 군의 von Neumann 대수 사이를 연결함을 보인다. 전이 측정이 존재할 경우 다양한 트레이스와 행렬식의 호환성을 검증하고, Atiyah의 Galois 커버링 인덱스 정리를 폴리드 상황으로 일반화한다. 시그니처 연산자에 대한 폴리드 로우‑인베리언트를 정의하고, Baum‑Connes 가정 하에서 동형동형 불변성을 증명한다.

상세 분석

이 연구는 먼저 폴리드 번들 ((M,\mathcal{F})) 위에 정의된 잎별 디랙 연산자 (D) 를 최대 Connes‑Skandalis 힐베르트 (C^*)-모듈 (\mathcal{E}{\max}) 로 승격시켜 정규 자가수반 연산자 (D_m) 를 구성한다. (D_m) 의 함수계산 (\phi(D_m)) 은 두 가지 중요한 대수적 구조와 직접 연결된다. 첫째, 잎별 미분기하학적 연산자들을 포함하는 리프별 von Neumann 대수 (\mathcal{N}\mathcal{F}) 로 사상되며, 이는 각 잎의 측정가능한 구조를 보존한다. 둘째, 폴리드의 전이군(모노드로미) (\Gamma) 가 작용하는 교차곱 대수 (\mathcal{N}\Gamma) 로도 사상되어, 전이 측정이 존재할 경우 두 대수 사이에 트레이스 (\tau{\mathcal{F}}) 와 (\tau_{\Gamma}) 가 일치함을 보인다. 이러한 일치는 Atiyah‑Singer 인덱스 정리의 Galois 커버링 버전을 폴리드 번들에 적용할 수 있는 기반을 제공한다.

전이 불변 측정 (\mu) 가 주어지면, (\mu) 에 대한 트레이스 (\operatorname{Tr}\mu) 를 (\mathcal{N}\mathcal{F}) 와 (\mathcal{N}\Gamma) 양쪽에 정의하고, (\operatorname{Det}\mu) 라는 Fuglede‑Kadison 행렬식을 도입한다. 이때 (\operatorname{Det}_\mu(\exp(i\pi D_m))) 은 에타‑인베리언트와 직접 연결되며, 에타‑함수 (\eta(D)) 를 von Neumann 트레이스와 결합해 (\eta)-인베리언트를 정의한다.

시그니처 연산자 (B) 에 대해서는 특히 로우‑인베리언트 (\rho_{\mathcal{F}}(B)) 를 정의한다. 이는 (\eta)-인베리언트의 차이 형태 (\rho = \eta_{\text{twisted}} - \eta_{\text{untwisted}}) 로 표현되며, 전이 측정에 대한 독립성을 보인다. 논문은 이 로우‑인베리언트가 폴리드 동형동형(leafwise homotopy) 하에서 불변임을 증명한다. 핵심은 Baum‑Connes 추측이 성립하는 경우, 전이군 (C^*r(\Gamma)) 의 K‑이론이 완전하게 계산될 수 있다는 점이다. 이를 통해 (\rho{\mathcal{F}}(B)) 가 K‑동형동형 불변량으로 전파되며, 기존 Galois 커버링 상황에서 Neumann·Mathai·Weinberger·Keswani 가 얻은 결과를 폴리드 맥락으로 일반화한다.

결과적으로, 논문은 (1) 최대 모듈 위의 정규 연산자를 통한 잎별·전이대수의 통합 프레임워크, (2) 트레이스와 행렬식의 호환성을 이용한 Atiyah‑type 인덱스 정리 확장, (3) 시그니처 로우‑인베리언트의 정의와 안정성, (4) Baum‑Connes 가정 하에서의 동형동형 불변성 증명을 제공한다. 이는 비가환 기하학, 고전적 미분기하, 그리고 대수적 위상수학을 연결하는 중요한 다리 역할을 한다.