적절한 군체 작용을 위한 동등 해석 지수

초록

본 논문은 연속 군체 그룹오이드가 적절하게 작용하는 $G$-콤팩트 $C^{\infty,0}$ $G$-공간 위에서, $L^{m}_{\rho,\delta}$-형식의 타원형 의사미분 연산자 가족에 대해 불변성을 유지하면서 해석적 지수를 구축한다. 이를 통해 기존의 그룹 작용 이론을 군체 수준으로 일반화하고, K-이론적 인덱스 정리를 확장한다.

상세 분석

논문은 먼저 연속 군체(continuous family) 그룹오이드 $G\rightrightarrows M$와 그가 작용하는 $C^{\infty,0}$ $G$-공간 $X$를 정의하고, $X$가 $G$-콤팩트이며 작용이 적절(proper)함을 가정한다. 이러한 설정은 전통적인 리만 다양체 위의 군 작용을 일반화한 것으로, 군체의 소스와 타깃 맵이 각각 부드럽고, 작용이 연속적인 섬유 구조를 보장한다.

핵심 대상은 $L^{m}{\rho,\delta}$-계열에 속하는 타원형 의사미분 연산자 가족 $P={P{x}}{x\in X}$이다. 여기서 $m$은 차수, $(\rho,\delta)$는 심볼 클래스의 매끄러움 정도를 나타내는 파라미터이며, $0\le\delta<\rho\le1$를 만족한다. 저자는 $P$가 $G$-불변임을 정의하기 위해, 각 군체 원소 $g\in G$에 대해 $g\cdot P{s(g)}=P_{t(g)}\cdot g$라는 교환 관계를 요구한다. 이는 군체의 소스(source)와 타깃(target) 구조가 연산자에 그대로 반영된다는 의미이며, 전역적인 대칭성을 보장한다.

다음 단계에서는 $P$의 전역 심볼 $\sigma(P)$가 $G$-불변이며, 전역적인 타원성을 만족함을 증명한다. 이를 위해 저자는 군체의 단위원소와 역원 구조를 이용해 심볼이 각 섬유 위에서 균일하게 비특이점임을 보이며, 이는 전통적인 타원 연산자 이론에서 요구되는 전역적인 비특이점 조건과 동등하다.

그 후, $P$에 대한 파라메트릭 가족을 구성하여, $C^{}$-대수 $C^{}(G)$와의 모듈 구조를 도입한다. 구체적으로, $P$는 $C^{*}(G)$-모듈인 $H^{s}(X)$와 $H^{s-m}(X)$ 사이의 유계 연산자로 해석되며, 이때 $H^{s}$는 적절한 Sobolev 공간을 의미한다. 저자는 $P$가 Fredholm성을 갖는 충분조건을 제시하고, 그 핵심은 $G$-불변 타원성 및 $G$-콤팩트성이다.

이러한 Fredholm 연산자를 이용해, 저자는 $K$-이론적 관점에서 해석적 지수 $\operatorname{Ind}{G}(P)\in K{0}(C^{}(G))$를 정의한다. 정의는 전통적인 아틀라스-시걸리(Atiyah–Singer) 지수와 유사하게, $P$의 핵과 여핵을 $C^{}(G)$-모듈로 간주하고, 그 차원을 $K$-이론 원소로 매핑하는 방식이다. 특히, 군체 작용이 적절하므로 $C^{}(G)$는 차원 감소가 없는 완비 $C^{}$-대수이며, 따라서 $K_{0}(C^{*}(G))$는 잘 정의된다.

마지막으로 저자는 이 지수가 군체 동등성(equivariant) 하에서 불변임을 보이며, 기존의 그룹 작용 경우(특히, 리만 다양체 위의 콤팩트 군 작용)와 일치함을 확인한다. 또한, 지수 정리의 형태로 $\operatorname{Ind}{G}(P)=\langle \operatorname{ch}(\sigma(P))\cup \operatorname{Td}(T{G}X),