변형 양자화와 고차 지수 정리의 새로운 사이클 코사인

본 논문은 심플렉틱 기하학과 비가환 해석학 사이의 깊은 연결고리를 탐구한다. 첫 번째 장에서는 Weyl 대수 W₂ₙ 의 사이클 공동류를 직접 계산한다. 기존에 알려진 Hochschild 2n‑코사인 τ₂ₙ 을 시작점으로, 저자들은 연속적인 코체 τ₀, τ₂, …, τ₂ₙ 을 정의한다. 이 코체들은 표준 단순체 Δₖ 위에서의 적분식으로 주어지며, αᵢⱼ 라는 포아송 텐서 연산자와 μᵢ 라는 평가 맵을 결합해 만든다. 핵심 정리인 Theorem 2.4는 이 코체들이 (b,B) 복합체에서 bτ₂ₖ₋₂ = τ₂ₖ₋₁ = –Bτ₂ₖ 를 만족함을 증명한다. 이는 Weyl 대수의 비자명한 사이클 동류가 명시적인 코체 수준에서 구현될 수 있음을 보여준다. 두 번째 장에서는 이러한 코사인을 Fedosov 연결을 이용해 심플렉틱 다양체 M 위의 형식 변형 양자화 (A((ħ))_cpt,⋆) 로 옮긴다. Fedosov 연결은 M 의 심플렉틱 구조와 Weyl 대수의 로컬 모델을 전역적으로 연결하는 도구이며, 여기서 얻어지는 평탄 연결은 (τ₀,…,τ₂ₙ) 를 전역적인 사이클 코사인으로 끌어올린다. 저자들은 이 과정을 통해 미분 형식 복합체 Ω^·(M)((ħ)) 와 (A((ħ))_cpt,⋆) 의 사이클 코체 복합체 사이에 국소적인 quasi‑isomorphism Q 를 구성한다. Q는 “사이클 de Rham 복합체” → “b + B 전체 복합체” 로의 사상이며, 각 차수의 형태 α = (α₀,…,α₂ₖ) 에 대해 Q(α) 가 명시적인 사이클 코사인으로 변환된다. 세 번째 장에서는 K‑이론과의 쌍을 계산한다. Fedosov 이론에 의해 K₀(A((ħ))_cpt) 은 컴팩트하게 지원되는 투사쌍 (P₁,P₂) 로 대표된다. Lie 대수 공동류와 Chern‑Weil 이론을 이용해, 저자들은 다음과 같은 고차 지수 공식(정리 4.5)을 얻는다. ⟨Q(α), P₁–P₂⟩ = Σ_{l=0}^k (2πi)^{-l} ∫_M α_{2l} ∧ ĤA(M) ∧ Ch(V₁–V₂) ∧ e^{–Ω/(2πiħ)}. 여기서 V₁,V₂는 투사들의 0차 항이 정의하는 벡터 번들, Ω는 변형 양자화의 특성 클래스이다. 이 식은 Nest‑Tsygan이 이전에 증명한 대수적 고차 지수 정리와 정확히 일치한다. 저자들은 기존 증명보다 코체 수준에서 직접적인 계산을 제공함으로써, 공식의 기하학적 의미를 더 명확히 드러낸다. 네 번째 장에서는 위의 구조를 proper étale groupoid 로 모델링된 심플렉틱 orbifold 로 일반화한다. Weyl 대수에 유한 차수의 선형 심플렉틱 동형 γ 를 추가해 γ‑twisted b + B 코사인 (τ₀,…,τ₂ₙ)^γ 를 정의하고, 이를 orbifold 의 inertia stack e M 으로 끌어올린다. Fedosov 연결을 orbifold 버전으로 적용해, Q 를 e M → (A((ħ))⋊G) 의 사이클 코체 복합체로 확장한다. 결과적으로, K₀(A((ħ))⋊G) 의 원소와의 쌍은 다음과 같은 고차 orbifold 지수 공식(정리 5.13)을 만족한다. ⟨Q(α), P₁–P₂⟩ = Σ_{j=0}^k (2πi)^{-j} ∫_{e M} α_{2j} ∧ ĤA(e M) ∧ Ch_θ(ι^*V₁–ι^*V₂) ∧ e^{–ι^*Ω/(2πiħ)} ∧ Ch_θ(λ^{-1}N). 여기서 ι는 inertia orbifold → 원본 orbifold 의 자연 포함, N은 고정점 집합의 정상벡터 번들, θ는 γ‑twist 를 반영한 Chern‑character이다. 이 식은 Kawaski와 마르콜리‑마타이의 orbifold 지수 정리를 고차 버전으로 확장한 것으로, 고정점 데이터와 γ‑twist 가 어떻게 고차 지수에 기여하는지를 명확히 보여준다. 다섯 번째와 여섯 번째 장에서는 대수적 결과를 분석적 고차 지수 정리와 연결한다. cotangent bundle T^*Q 에 대한 비대칭 기호 계산을 통해, (A((ħ))_cpt,⋆_op) 와 전통적인 스무딩 연산자 대수 Ψ^{-∞}(Q) 사이에 동형을 구축한다. 이때 연산자 트레이스는 (A((ħ))_cpt,⋆_op) 의 자연적인 트레이스로 전이된다. Alexander‑Spanier 코사인 f 와 위에서 만든 α 가 동일한 동류를 나타낼 경우, Q(α) 와 Connes‑Moscovici 가 정의한 고차 트레이스 X