[논문 리뷰] On the space of Fredholm operators

Liviu I. Nicolaescu|ArXiv.org|2000. 05. 09.

Advanced Operator Algebra Research참고 문헌 5인용 수 40

한 줄 요약

이 논문은 리프츠 위상으로 장비된 자기수반 프레드홀름 연산자 공간에서 라그랑주 부분공간의 공간으로의 그래프 사상이 약한 호모토피 동치임을 증명하여, 리프츠 위상이 $KO^1$-이론을 분류함을 확인한다. 이는 플로어 유형의 경계값 문제 가중족에서의 연속성 문제를 해결하고, K-이론에서 연산자 공간과 심플렉틱 기하학 사이의 위상적 관계를 명확히 한다.

ABSTRACT

We describe two topologies on the space of unbounded Fredholm operators and we explain their K-theoretic relevance. In the process we also prove a very general result concerning the continuity of families of first order, elliptic boundary value problems.

연구 동기 및 목표

• 비유계 자기수반 프레드홀름 연산자 가중족, 특히 플로어 유형의 경계값 문제에서의 연속성 문제를 해결하기 위해.
• 자기수반 프레드홀름 연산자 공간 위의 갭 위상과 리프츠 위상 간의 비교를 하여 그 $K$-이론적 의미를 평가하기 위해.
• 라그랑주 부분공간 공간에서의 그래프 호모토피가 대응하는 연산자 공간에서의 호모토피를 유도하는지 여부를 판단하기 위해.
• 리프츠 위상으로 장비된 자기수반 프레드홀름 연산자 공간 위상이 $KO^1$-이론의 분류 공간임을 확립하기 위해.
• 이전 연구 [6]에서 프레드홀름 연산자에 대한 위상적 분류에 관해 간과된 점을 수정하고 명확히 하기 위해.

제안 방법

• 비유계 자기수반 연산자와 $[-\mathcal{BS}]$ 내의 유계 연산자 간의 관계를 설정하기 위해 리프츠 사상 $\Psi(A) = A(1+A^2)^{-1/2}$ 을 도입한다.
• 두 위상, 즉 갭 거리 $\gamma(A_0,A_1) = \|({\bf i}+A_0)^{-1} - ({\bf i}+A_1)^{-1}\| + \|({\bf i}-A_0)^{-1} - ({\bf i}-A_1)^{-1}\|$ 와 리프츠 거리 $\rho(A_0,A_1) = \|\Psi(A_0) - \Psi(A_1)\|$ 를 비교한다.
• 리프츠 위상에서의 수렴을 분석하기 위해 $C^*$-대수에서의 스톤-바이어슈트라스 정리와 함수해석학을 적용한다.
• 심플렉틱 축소와 보트 주기성을 활용하여 프레드홀름 쌍의 라그랑주 부분공간 공간과 $KO^1$-이론 간의 관계를 규명한다.
• 항등원을 $H^1$-노름에서 근사하는 유니터리 연산자 수열 $U_n$ 을 사용하여 플로어 유형의 가중족의 연속성을 증명한다.
• 리프츠 위상 하에서 그래프 사상 $\Gamma: \mathcal{F}_0 \to \mathcal{FL}_0$ 가 연속적이며 약한 호모토피 동치임을 확립한다.

실험 결과

연구 질문

• RQ1 자기수반 프레드홀름 연산자 공간 위의 리프츠 위상이 $KO^1$-이론을 분류하는 데에 충분한가?
• RQ2 라그랑주 부분공간 공간에서의 프레드홀름 연산자 그래프의 호모토피가 연산자 공간에서의 호모토피를 유도하는가?
• RQ3 플로어 유형의 경계값 문제 가중족이 리프츠 위상 하에서 연속적인가?
• RQ4 자기수반 프레드홀름 연산자 공간 위의 갭 위상은 $KO^1$-이론의 분류 공간인가?
• RQ5 리프츠 위상과 갭 위상은 연속성과 호모토피 동치성 측면에서 어떻게 비교되는가?

주요 결과

• $($\mathcal{S}$, \rho)$에서 $(\mathcal{S}, \gamma)$로의 항등사상은 연속적이며, 리프츠 위상이 갭 위상보다 더 강한 위상임을 보여준다.
• 리프츠 사상 $\Psi$ 는 $\mathcal{F}_0$ 과 $[\mathcal{BF}_0]$ 사이의 호메오멀피즘을 이루며, $[\mathcal{BF}_0]$ 는 $KO^1$-이론의 분류 공간이다.
• 리프츠 위상 하에서 그래프 사상 $\Gamma: (\mathcal{F}_0, \rho) \to (\mathcal{FL}_0, \delta)$ 는 약한 호모토피 동치이며, 리프츠 위상이 $KO^1$-이론을 분류함을 확인한다.
• 정리 2.1은 플로어 유형의 경계값 문제 가중족이 $\rho$-연속적임을 증명하여 핵심 기술적 문제를 해결한다.
• $\mathcal{F}_0$ 가 리프츠 위상으로 장비된 경우는 $KO^1$-이론의 분류 공간이지만, 갭 위상의 성격은 아직 미확정이지만 가능성은 있다.
• 논문은 [6]에서의 오류를 수정하여, 약한 호모토피 동치가 갭 위상이 아니라 리프츠 위상 하에서 성립함을 보였다.