포아송 다양체를 위한 대수적 지수 정리

초록

형식성 정리는 매끄러운 다양체 위 함수 대수의 Hochschild 체인에 적용되어, 변형 양자화 대수의 0차 Hochschild 동질성에서 0차 Poisson 동질성으로 가는 추적 밀도 사상을 제공한다. 우리는 이 추적 밀도 사상을 기반으로 포아송 다양체에 대한 대수적 지수 정리의 한 형태를 제안한다.

상세 요약

이 논문은 현대 수학 물리학에서 핵심적인 두 이론, 즉 변형 양자화와 포아송 기하학을 연결하는 새로운 관점을 제시한다. 핵심 도구는 ‘형식성 정리(formality theorem)’이다. Kontsevich가 매끄러운 다양체 위의 함수 대수에 대해 증명한 이 정리는 Hochschild 복합체와 다중벡터장 복합체 사이에 L∞‑동형을 제공한다. 특히 Hochschild 체인 복합체에 대한 형식성은 기존에 주로 연구된 코체인(코호몰로지) 버전과는 달리, ‘추적(trace)’과 직접적인 연관성을 만든다.

변형 양자화는 고전적인 포아송 구조를 비가환 대수 구조로 ‘양자화’하는 과정이며, 그 결과 얻어지는 대수는 일반적으로 비가환이지만, 그 고전극한에서는 원래의 포아송 구조를 복원한다. 이때 Hochschild 동질성 HH₀(Aₕ) (여기서 Aₕ는 변형 양자화 대수)는 대수의 중심적인 ‘추적’ 정보를 담고 있다. 형식성 정리를 이용하면 HH₀(Aₕ)를 포아송 동질성 HP₀(M,π) (M은 다양체, π는 포아송 구조)와 연결하는 ‘추적 밀도 사상(trace density map)’을 명시적으로 구성할 수 있다. 즉, 양자화된 대수의 추적을 고전적인 포아송 동질성 클래스에 매핑함으로써, 양자와 고전 사이의 정량적 대응을 확보한다.

논문은 이러한 사상을 활용해 ‘대수적 지수 정리(algebraic index theorem)’를 포아송 다양체에 일반화한다. 전통적인 대수적 지수 정리는 Fedosov, Nest‑Tsygan, Bressler‑Nest‑Sabbah 등에서 심볼리컬 계산을 통해 얻은 ‘시그마 클래스’를 K‑이론과 연결한다. 여기서는 시그마 대신 추적 밀도 사상이 제공하는 ‘포아송 시그마 클래스’를 도입한다. 구체적으로, 변형 양자화 대수의 K‑이론 원소에 대해 추적 밀도 사상을 적용하면 HP₀에 속하는 클래스로 사상이 정의되고, 이 클래스는 포아송 구조의 차수와 연결된 ‘특성 클래스’를 포함한다. 결과적으로, 양자화된 대수의 ‘지수’(예: 차원, 차수)와 포아송 기하학적 불변량 사이의 등식이 도출된다.

이 접근법의 장점은 두드러진다. 첫째, 기존의 대수적 지수 정리가 필요로 했던 복잡한 전역 연결(예: 전역 Fedosov 연결) 없이, 형식성 정리만으로 전역적인 사상을 구축할 수 있다. 둘째, 포아송 구조가 비정칙(비정규)인 경우에도 Hochschild 체인 형식성을 이용하면 동일한 프레임워크를 적용할 수 있어, 일반적인 시냅틱 포아송 다양체까지 확장 가능하다. 셋째, 추적 밀도 사상은 물리학에서 ‘상태 밀도’ 혹은 ‘양자 기대값’과 직접 연결될 수 있어, 양자장론이나 비가환 기하학에서 실용적인 계산 도구로 활용될 잠재력이 있다.

향후 연구 과제로는 (1) 구체적인 예제(예: 선형 포아송 구조, 대수적 곡면)에서 지수 정리의 수치적 검증, (2) 비정칙 포아송 구조에 대한 ‘시그마 클래스’의 명시적 표현, (3) 이론을 비가환 해석학, 특히 모듈러 형식과의 연계, (4) 물리학적 응용, 예컨대 비가환 시공간 모델에서의 대수적 인덱스와 양자 전위의 관계 규명 등이 있다.