반주기 심볼을 갖는 원통 위 의사미분 연산자 K‑이론

초록

본 논문은 (L^{2}(\mathbb{R}\times S^{1})) 위에서 정의된 특정 C(^)대수 (A)의 K‑이론을 계산한다. (A)는 매끄러운 함수, 두 점 컴팩트화된 (\mathbb{R}) 위 연속함수, (2\pi)-주기 연속함수, 그리고 라플라시안의 역제곱근 연산자와 그와 결합된 1차 미분 연산자를 생성원으로 한다. 기호 (\sigma)는 (A/E)의 겔판드 지도에 의해 얻어지는 복소수 심볼이며, 이를 이용한 6‑항 정확렬의 지수 지도를 Fedosov‑Atiyah‑Singer 공식으로 계산한다. 또한 (\gamma)라는 C(^)동형사상을 통해 (A)를 두 개의 교차곱 대수의 직접합으로 표현하고, Pimsner‑Voiculescu 정확렬을 사용해 K‑군을 구한다. 최종적으로 (K_{0}(A)\cong\mathbb{Z}^{5}), (K_{1}(A)\cong\mathbb{Z}^{4})임을 증명한다.

상세 분석

논문은 먼저 (L^{2}(\mathbb{R}\times S^{1})) 위의 유한한 차원 연산자를 포함하는 C(^*)대수 (A)를 정확히 정의한다. 생성원 (a)–(e)는 각각 원통의 두 축에 대한 위치 연산자와 주기성을 반영한다. 특히 (d)에서 사용된 연산자 (L=(I-\Delta)^{-1/2})는 Sobolev 공간 사이의 등거리 동형을 제공하며, (e)에서의 미분 연산자와의 곱은 의사미분 연산자의 전형적인 형태를 만든다.

다음으로 저자는 (A)의 교환자 아이디얼 (E)를 고려한다. (E)는 컴팩트 아이디얼 (\mathcal{K})를 포함하고, (\mathcal{K})를 나눈 몫 (E/\mathcal{K})가 (C(S^{1},\mathcal{K})\oplus C(S^{1},\mathcal{K}))와 동형임을 보인다. 이는 원통의 두 “끝”—즉 (\mathbb{R})의 무한대와 (-\infty)—에서 발생하는 비정상적인 심볼 행동을 두 개의 독립적인 연속함수 공간으로 분리한다는 의미다.

이후 겔판드 지도 (\sigma:A\to A/E)를 통해 얻어지는 복소수 심볼은 전통적인 의사미분 연산자의 주심볼을 연속적으로 확장한 형태이다. 6‑항 정확렬
\