의사미분 연산자를 위한 등변 동류론

초록

본 논문은 유한군 Γ가 작용하는 콤팩트 다양체 M 위의 완전 기호 대수 A(M)와 그 교차곱 A(M)⋊Γ의 순환·호흐동류를 계산한다. 기호 차수에 대한 필터링을 이용한 스펙트럼 시퀀스를 전개하여, 각 군 원소 g에 대한 고정점 다양체 S* M^g(코스피어 번들)의 드레임(cohomology)와 동형인 동류군을 얻는다. 또한 일반 교차곱 대수와 C^∞(M)⋊Γ에 대한 새로운 동류 결과를 제시한다.

상세 분석

이 연구는 비가환 기하학에서 핵심적인 도구인 순환 동류(Cyclic Homology)를, 의사미분 연산자(pseudo‑differential operators)의 완전 기호 대수 A(M)와 유한 군 Γ의 교차곱 A(M)⋊Γ에 적용함으로써 새로운 등변(equivariant) 구조를 밝힌다. A(M)은 고전적 기호들의 완비화이며, 차수에 따라 자연스러운 필터링 F^pA(M) (차수 ≤ p인 기호들의 집합)를 갖는다. 이 필터링은 교차곱에도 그대로 전이되어 F^p(A(M)⋊Γ)=F^pA(M)⋊Γ가 된다. 필터링에 대한 연관 그라디언트는
Gr A(M)≅C^∞(S^*M)
즉, 코스피어 번들 S^*M 위의 부드러운 함수 대수와 동형이다. 여기서 Γ의 작용은 S^*M을 보존하므로, Gr(A(M)⋊Γ)≅C^∞(S^*M)⋊Γ가 된다.

필터링을 이용한 Hochschild‑Connes 복합체에 스펙트럼 시퀀스를 적용하면, E^1 항은 Gr‑대수의 Hochschild 동류이며, 이는 다시 그룹 동류와 de Rham 동류의 텐서곱 형태로 분해된다. 구체적으로, 각 군 원소 g∈Γ에 대해 고정점 집합 M^g와 그 코스피어 번들 S^*M^g가 정의되고, Γ_g(=중심화 군)의 불변 부분이 중요한 역할을 한다. 결과적으로
E^2_{p,q} ≅ ⨁_{