[논문 리뷰] The Maslov index in symplectic Banach spaces

Bernhelm Booß–Bavnbek, Chaofeng Zhu|2014. 06. 03.

Spectral Theory in Mathematical Physics참고 문헌 84인용 수 13

한 줄 요약

이 논문은 무한차원의 프리드홀름 쌍의 라그랑주 부분공간 곡선을 유한차원 설정으로 줄이기 위해 내재적인 심플렉틱 축소를 사용하여 심플렉틱 바나흐 공간에서 마스로프 지수의 보편적 정의를 수립한다. 마스로프 지수의 심플렉틱 축소에 대한 불변성을 증명하고, 경계가 있는 다양체 위에서 주어진 최대 부분공간과 변동하는 주요 기호를 갖는 타원형 연산자에 대해 일반적인 디스서스펜션 스펙트럴 플로우 공식을 유도한다.

ABSTRACT

We consider a curve of Fredholm pairs of Lagrangian subspaces in a fixed Banach space with continuously varying (weak) symplectic structures. Assuming vanishing index, we obtain intrinsically a continuously varying splitting of the total Banach space into pairs of symplectic subspaces. Using such decompositions we define the curve's Maslov index by symplectic reduction to the classical finite-dimensional case. We prove the transitivity of repeated symplectic reductions and obtain the invariance of the Maslov index under symplectic reduction, while recovering all the standard properties of the Maslov index. As an application, we consider curves of elliptic operators which have varying principal symbol, varying maximal domain and are not necessarily of Dirac type. For this class of operator curves, we derive a desuspension spectral flow formula for varying well-posed boundary conditions on manifolds with boundary and obtain the splitting of the spectral flow on partitioned manifolds.

연구 동기 및 목표

• 약한 및 변동하는 심플렉틱 구조를 갖는 무한차원 설정에서 고전적 마스로프 지수 이론의 붕괴 문제를 해결하기 위해.
• 표준 성질을 유지하는 내재적이고 계산 가능한 심플렉틱 바나흐 공간에서의 마스로프 지수 정의를 개발하기 위해.
• 변동하는 최대 부분공간과 주요 기호를 갖는 타원형 연산자 곡선에 대한 일반 스펙트럴 플로우 공식을 수립하기 위해.
• 마스로프 지수가 심플렉틱 축소에 대해 불변임을 증명하고 반복된 축소의 전이성도 증명하기 위해.
• 이 프레임워크를 분할된 다양체에 적용하여 잘 정의된 경계값 문제에 대한 스펙트럴 플로우의 분해를 도출하기 위해.

제안 방법

• 고정된 바나흐 공간을 연속적으로 변화하는 심플렉틱 부분공간으로 분해하기 위해 심플렉틱 축소를 사용하여 문제를 유한차원으로 줄이기 위해.
• 심플렉틱 축소를 통해 고전적인 유한차원 경우로 마스로프 지수를 정의하여 계산 가능성과 불변성을 보장하기 위해.
• 자기수반 프리드홀름 관계와 경계가 있는 다양체 위의 소볼레프 공간에서의 타원형 미분 연산자 곡선에 이 те올로리를 적용하기 위해.
• 잘 정의된 경계 조건의 맥락에서 스펙트럴 플로우와 마스로프 지수를 연결하기 위해 캘더론 프로젝션과 코시 데이터 공간을 사용하기 위해.
• 닫힌 부분공간의 선회 이론과 갭 위상수학을 사용하여 변화하는 심플렉틱 구조 하에서 라그랑주 부분공간의 연속성을 보장하기 위해.
• 심플렉틱 분석을 통해 마스로프 지수를 자기수반 확장 가족의 스펙트럴 플로우와 연결함으로써 디스서스펜션 스펙트럴 플로우 공식을 도출하기 위해.

실험 결과

연구 질문

• RQ1 약하고 연속적으로 변화하는 심플렉틱 구조를 갖는 무한차원 심플렉틱 바나흐 공간에서 마스로프 지수는 어떻게 일관적으로 정의될 수 있는가?
• RQ2 마스로프 지수가 심플렉틱 축소에 대해 불변임을 보장하는 조건은 무엇이며, 축소의 전이성은 어떻게 유지되는가?
• RQ3 변동하는 주요 기호와 정의역을 갖는 타원형 연산자 곡선에 대해 일반적인 스펙트럴 플로우 공식을 도출할 수 있는가?
• RQ4 분할된 다양체에서 스펙트럴 플로우는 어떻게 분할되며, 마스로프 지수는 이 분해에서 어떤 역할을 하는가?
• RQ5 유니타리 생성자나 유한차원 근사에 의존하지 않고 마스로프 지수를 얼마나 내재적으로 계산할 수 있는가?

주요 결과

• 약하고 변화하는 심플렉틱 구조가 존재하더라도, 마스로프 지수는 심플렉틱 축소를 통해 유한차원으로 줄여 내재적으로 정의된다.
• 마스로프 지수는 심플렉틱 축소에 대해 불변이며, 반복된 축소는 전이성을 유지하여 지수 값을 그대로 보존한다.
• 경계가 있는 다양체 위에서 자기수반으로 잘 정의된 타원형 경계값 문제 곡선에 대해 일반적인 디스서스펜션 스펙트럴 플로우 공식이 도출된다.
• 분할된 다양체에서 스펙트럴 플로우는 분할되며, 각 성분은 심플렉틱 축소 단계에 해당한다.
• 라그랑주 부분공간의 프리드홀름 쌍 곡선의 마스로프 지수는 관련된 자기수반 프리드홀름 확장 가족의 스펙트럴 플로우와 같다.
• 이 프레임워크는 디랙 형식이 아닌 타원형 연산자에도 적용 가능하며, 최대 부분공간과 주요 기호가 변동하는 경우에도 적용 가능하다.