프로젝티브 불변 횡측 측정을 갖는 foliation의 연산자 대수

초록

우리는 프로젝트적으로 불변인 횡측 측정을 가진 foliation과 연관된 연산자 대수의 구조를 연구한다. 측정 보존 홀로노미가 특정 에르고딕 조건을 만족할 때, 홀로노미 불변 횡측 측정의 부재를 횡측 기본 코사이클과 모듈러 자동동형군에 연관된 순환 코호몰로지 클래스의 관점에서 규명한다.

상세 요약

이 논문은 foliation 이론과 비가환 기하학, 특히 von Neumann 대수와 C*‑대수의 교차점에 위치한 문제를 다룬다. 전통적으로 foliation의 연산자 대수는 holonomy‑invariant transverse measure(횡측 측정)의 존재 여부에 크게 좌우된다. 측정이 존재하면 Connes가 제시한 측정‑정규화된 트레이스가 대수에 정의될 수 있어, K‑이론·순환 코호몰로지와 같은 도구를 적용하기가 용이하다. 그러나 실제 많은 foliation은 전역적인 holonomy‑invariant 측정을 갖지 못한다. 이때 저자들은 “projectively invariant”라는 약한 조건을 도입한다. 즉, holonomy 변환이 측정을 정확히 보존하지는 않지만, 양의 실수 상수 배만큼만 변한다는 의미이다. 이러한 상황에서는 전통적인 트레이스 대신에 모듈러 자동동형군(σ_t) — 측정이 변할 때 발생하는 비대칭성을 포착하는 1‑파라미터 군 — 을 고려한다.

핵심 결과는 두 가지 전제 하에 전역적인 holonomy‑invariant 측정이 존재하지 않음을 보이는 것이다. 첫 번째 전제는 “ergodicity of the measure‑preserving holonomies”이다. 이는 holonomy가 측정을 보존하는 부분집합들 사이에서 어떠한 비자명한 불변 집합도 존재하지 않음을 의미한다. 두 번째 전제는 “projective invariance” 자체가 충분히 강력하게 작용한다는 가정이다. 이 두 조건이 동시에 만족될 때, 저자들은 횡측 기본 코사이클 τ — foliation의 횡측 방향에서 정의되는 고전적인 cyclic cocycle — 에 모듈러 자동동형군을 작용시킨 결과인 τ ∘ σ_t가 비동형적(cohomologically non‑trivial)임을 증명한다. 구체적으로, τ와 σ_t의 결합이 순환 코호몰로지 H^*(A)에서 영이 아닌 클래스를 생성함을 보이며, 이는 “modular obstruction”이라고 부를 수 있다. 이 비동형성은 곧 holonomy‑invariant 측정이 존재할 경우 반드시 사라져야 할 성질이므로, 역으로 측정이 존재하지 않음을 강력히 시사한다.

기술적인 측면에서 저자들은 Connes의 비가환 기하학적 프레임워크를 활용한다. 먼저 foliation C*‑대수 A = C*(G) (G는 holonomy groupoid)를 구성하고, transverse measure μ에 대응하는 가중치 함수 δ:G→ℝ₊를 정의한다. δ는 holonomy 변환에 따라 측정이 어떻게 스케일링되는지를 기록한다. 그 다음, δ를 이용해 모듈러 자동동형군 σ_t(a)=δ^{it}aδ^{-it}를 정의하고, τ를 A의 연속적인 1‑차원 cyclic cocycle로서 도입한다. τ는 “transverse fundamental cocycle”이라 불리며, foliation의 차원과 관련된 기하학적 정보를 담고 있다. 저자들은 τ∘σ_t−τ가 coboundary가 아님을 순환 코호몰로지 계산을 통해 확인한다. 이 과정에서 ergodicity 가정은 평균값 정리를 적용해 σ_t가 “mixing” 성질을 갖게 함으로써, 비동형성을 억제할 수 없게 만든다.

결과적으로, 이 논문은 프로젝트적으로 불변인 횡측 측정이 존재하는 경우에도, holonomy‑invariant 측정이 없음을 순환 코호몰로지와 모듈러 이론을 통해 새로운 관점으로 증명한다는 점에서 의미가 크다. 이는 foliation의 연산자 대수에 대한 구조적 이해를 심화시키고, 비가환 측정 이론과 모듈러 흐름 사이의 미묘한 상호작용을 밝히는 중요한 사례가 된다.