뫼비우스 띠와 뫼비우스 전단

본 논문은 비가환 기하학의 핵심 도구인 K‑이론과 순환 공동체(cyclic cohomology) 사이의 쌍을 이용해, 전단(foliation) 위에 정의되는 새로운 위상 불변량을 구체적인 예인 뫼비우스 띠(Möbius band)를 통해 계산한다. 먼저 전단의 기본 정의를 소개한다. 차원 m인 매끄러운 폐다양체 M 위의 코디멘션‑q 전단은 접다양체 V⊂TM(섬유 차원 m−q) 로 정의되며, 잎(leaf)은 V에 대한 적분가능한 분포에 의해 형성된 연결된 부분다양체이다. 전단의 전역적 구조를 파악하기 위해 전단군오이드(holonomy groupoid)를 도입한다. 이는 각 점 x∈M에 대해 경로의 동형류를 (x,h,y) 형태의 삼중항으로 나타내며, 전단의 전역적 연결성 및 각 잎의 기본군 π₁(Lₓ)와의 관계를 포착한다. 전단군오이드는 작은 범주(category)로서, 객체는 M 자체, 사상은 전단을 따라 이동하는 전단 변환이다. 다음으로 전단이 이산 구조군을 갖는 번들에서 어떻게 나타나는지를 설명한다. 기본공간 M, 섬유 F, 그리고 전단을 정의하는 전단군오이드는 π₁(M)→Diff(F)라는 군동형 φ에 의해 결정된다. 전단이 있는 번들의 전단군오이드는 완전 횡단면(N)을 선택하면 G_NN≅F⋊_φG 로 단순화되며, 여기서 G는 φ의 이미지이다. 이때 전단의 C*‑대수는 C₀(F)⋊_φG 와 Morita 동등성을 가진다. 뫼비우스 띠는 가장 단순한 예로, 기본공간을 원 S¹, 섬유를 실수선 ℝ, 그리고 φ(1)(r)=−r 로 정의되는 ℤ₂ 작용을 갖는다. 이 경우 전단군오이드는 R×ℤ₂ 로 동형이며, ℤ₂의 비자명 원소가 r=0에서 고정점을 만든다. 따라서 전단은 비자유 작용을 포함한다. 전단의 완전 횡단면 N은 π⁻¹(0)≅ℝ이며, 전단군오이드는 N 위에서 R⋊_φℤ₂ 로 표현된다. 이제 전단의 C*‑대수 A:=C₀(R)⋊_φℤ₂ 의 K‑이론을 계산한다. ℤ₂ 작용이 0을 고정점으로 갖기 때문에 평가 사상 ev₀:C₀(R)→ℂ을 이용해 짧은 정확열 0→C₀(R₋)⊕C₀(R₊)→C₀(R)→ℂ→0 을 만든다. 여기서 R₋=(−∞,0), R₊=(0,∞)이며, C₀(R₋)와 C₀(R₊)는 각각 0과 ∞에서 사라지는 연속함수 공간이다. 이 정확열은 K‑이론의 6항 장기 정확열을 유도하고, 잘 알려진 K‑이론 값 K₀(ℂ)=ℤ, K₁(ℂ)=0, K₀(C₀(R))=0, K₁(C₀(R))=ℤ 를 이용한다. 결과적으로 K₀(A)=ℤ, K₁(A)=0 이다. 논문은 또한 전통적인 Godbillon‑Vey 클래스와 비가환 기하학적 불변량 사이의 관계를 논한다. Godbillon‑Vey 클래스는 전단의 무한소 홀로노미 정보를 전역적으로 평균화한 (2q+1) 차원의 실수 코호몰로지 클래스이며, 순환 공동체의 트레이스와 연관된다. 그러나 뫼비우스 전단에서는 전단군오이드가 비자유 작용을 포함하므로, GV‑클래스와는 다른 새로운 불변량이 등장한다는 점을 강조한다. 결론적으로, 저자는 전단의 C*‑대수와 그 K‑이론을 구체적인 예(뫼비우스 띠)를 통해 계산함으로써, 비가환 기하학적 도구가 전단 위상학에 어떻게 적용될 수 있는지를 보여준다. 이 과정에서 이산 구조군을 갖는 번들의 전단을 일반화 가능한 프레임워크로 제시하고, 그에 따른 K‑이론 계산 절차를 상세히 서술한다. 이러한 접근은 평탄 연결과 순수 게이지 포텐셜을 다루는 이론 물리학과 전단 이론 사이의 교량 역할을 수행한다.