[논문 리뷰] The index bundle for Fredholm morphisms

Nils Waterstraat|arXiv (Cornell University)|2012. 09. 03.

Homotopy and Cohomology in Algebraic Topology참고 문헌 3인용 수 13

한 줄 요약

이 논문은 고정된 바나흐 공간 위의 프레드홀름 연산자 가중치에 대한 고전적 인덱스 번들의 구성법을, 콪 pact한 기저 공간 위의 바나흐 번들의 사이의 프레드홀름 사상으로 확장한다. 바나흐 번들 이론의 고급 도구—특히 영이 되지 않는 연속 단면의 존재—를 사용하여 K-이론 내의 가상 번들을 정의하고, 일반화된 아티야-얀히 수열에서의 정확성(Exactness)을 증명하며, 일阶 상미분방정식의 경계값 문제에 이 구성법을 적용하여, 컴acts 연산자에 모odulo로의 가역성과 K-이론 내에서 관련된 부분번들의 자명성 사이의 동치성을 보인다.

ABSTRACT

We extend the index bundle construction for families of bounded Fredholm operators to morphisms between Banach bundles.

연구 동기 및 목표

• 고정된 바나흐 공간 위의 프레드홀름 연산자 가중치에 대한 아티야-얀히 인덱스 번들 구성법을, 기저 공간 위의 바나흐 번들 사이의 프레드홀름 사상으로 일반화한다.
• 변하는 목표 번들로 인해 발생하는 기술적 과제를 해결하기 위해, 바나흐 번들 이론의 깊이 있는 결과—특히 연속 단면의 존재—를 활용한다.
• 프레드홀름 사상에 대해 K-이론 내에서 잘 정의된 인덱스 번들을 확립하고, 그 형식적 성질을 증명한다.
• 번들들이 자명한(곱번들인) 경우에 인덱스 번들이 고전적 정의를 복원함을 보인다.
• 프레드홀름 사상에 대해 일반화된 아티야-얀히 수열의 정확성을 증명하고, 이를 매개변수 의존 경계조건을 갖는 일阶 상미분방정식의 가중치에 적용한다.

제안 방법

• 무한차원 바나흐 번들에서 영이 되지 않는 연속 단면의 존재를 활용하여 국소적으로 자명한 구조를 구성하고, 목표 번들의 복잡성을 다룬다.
• 임의의 프로젝터 사상과 보완 가능한 부분번들을 이용하여, 프레드홀름 사상의 핵과 상이 직접 부분번들을 이룬다는 것을 보장한다.
• 프레드홀름 사상 $ L: \mathcal{E} \to \mathcal{F} $ 의 인덱스 번들을 $ K(X) $ 내의 원소로 정의하며, 고전적 프레드홀름 인덱스를 일반화한다.
• 프레드홀름 사상에 대해 호모토피 올림 성질을 적용하여, 인덱스 번들을 컴팩트 연산자에 모odulo로의 가역성과 연결한다.
• 각 $ x \in X $ 에 대해 컴팩트 연산자 $ K_x $ 의 가중치를 구성하여, $ L_{B_x} + K_x $ 가 가역임과 인덱스 번직이 0임이 동치임을 보인다.
• 인덱스 번들의 계산 $ \operatorname{ind}\tilde{L} = [\mathcal{V}] - [\Theta(\mathbb{K}^n)] $ 을 통해, 컴팩트 연산자에 모odulo로의 가역성 문제를 부분번들 $ \mathcal{V} \subset \Theta(\mathbb{K}^{2n}) $ 의 안정적 자명성으로 환원한다.

실험 결과

연구 질문

• RQ1 고정된 바나흐 공간 위의 프레드홀름 연산자 가중치에 대한 고전적 인덱스 번들 구성법을, 총공간이 변하는 바나흐 번들 사이의 프레드홀름 사상으로 확장할 수 있는가?
• RQ2 프레드홀름 사상의 핵과 상이 직접 부분번들을 이룰 수 있도록 하기 위해 바나흐 번들에 필요한 위상적 및 해석적 조건는 무엇인가?
• RQ3 바나흐 번들 사이의 프레드홀름 사상에 대해 $ K(X) $ 내에 잘 정의된 인덱스 번직이 존재하는가? 그리고 기대되는 형식적 성질을 만족하는가?
• RQ4 콤팩트 공간 위의 바나흐 번들 사이의 프레드홀름 사상에 대해 일반화된 아티야-얀히 수열이 여전히 정확한가?
• RQ5 매개변수 의존 경계조건을 갖는 일阶 상미분방정식의 가중치가 컴팩트 연산자에 모odulo로 가역이 되기 위한 조건는 무엇인가?

주요 결과

• 모든 프레드홀름 사상 $ L: \mathcal{E} \to \mathcal{F} $ 에 대해, 콤팩트 기저 공간 위의 바나흐 번들 사이에서 인덱스 번지 $ \operatorname{ind}L \in K(X) $ 는 잘 정의되어 있으며, 고전적 구성법을 일반화한다.
• 인덱스 번지 $ \operatorname{ind}L $ 가 $ K(X) $ 내에서 0이 되는 것과 사상 $ L $ 이 번들 동형사상으로 호모토피 가능함이 동치이다.
• 번들이 자명한 경우 $ \mathcal{E} = \mathcal{F} = X \times E $ 에서 인덱스 번지 구성법이 고전적 인덱스 번지를 복원함을 보여, 기존 결과와의 일致성을 확인한다.
• 일반화된 아티야-얀히 수열은 정확하다: $ 1 \to [X, \mathrm{GL}(\mathcal{E})] \xrightarrow{\iota} [X, \mathcal{BF}(\mathcal{E}, \mathcal{F})] \xrightarrow{\operatorname{ind}} K(X) \to 1 $, 조건 $ \mathrm{GL}(\mathcal{E}) $ 가 수축 가능하다는 가정 하에.
• 경계조건이 부분번들 $ \mathcal{V} \subset \Theta(\mathbb{K}^{2n}) $ 로 정의된 일阶 상미분방정식의 가중치에 대해, 컴팩트 연산자 가중치 $ K_x $ 가 존재하여 $ L_{B_x} + K_x $ 가 가역임과 인접한 부분번들 $ \mathcal{V} $ 가 안정적으로 자명함이 동치이다.
• 관련 사상 $ \tilde{L}: \mathfrak{D} \to \Theta(L^p(I, \mathbb{K}^n)) $ 의 인덱스 번지는 $ \operatorname{ind}\tilde{L} = [\mathcal{V}] - [\Theta(\mathbb{K}^n)] \in K(X) $ 로 주어지며, 이는 $ \mathcal{V} $ 가 안정적으로 자명할 때 정확히 0이 된다.