[논문 리뷰] A general splitting formula for the spectral flow

M. Daniel, Paul Kirk|ArXiv.org|1999. 02. 24.

Advanced Operator Algebra Research참고 문헌 14인용 수 16

한 줄 요약

이 논문은 늘어지지 않은 채로 또는 횡단 조건이 필요로 하지 않는, 홀수 차원 다양체에서 초면에 의해 분할된 1-매개변수 가중치 가역 디라크 연산자족의 스펙트럴 플로우에 대한 일반적인 분할 공식을 제시한다. 공식은 각 조각의 기여, 경계 조건의 마스로프 지수, 그리고 경계 조건의 변환에 기인한 추가 마스로프 지수로 스펙트럴 플로우를 분해하며, 니콜라에스쿠의 정리와 힐버트 공간에서의 심플렉틱 선형대수학을 이용해 유도된다.

ABSTRACT

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $Σ$ ($M=X\cup_Σ Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form $SF(D)= SF(D_{|X}, B_X) + SF(D_{|Y},B_Y) + μ(B_Y,B_X) + S$ where $B_X$ and $B_Y$ are boundary conditions, $μ$ denotes the Maslov index, and $S$ is a sum of explicitly defined Maslov indices coming from stretching and rotating boundary conditions. The derivation is a simple consequence of Nicolaescu's theorems and elementary properties of the Maslov index. We show how to use the formula and derive many of the splitting theorems in the literature as simple consequences.

연구 동기 및 목표

• 홀수 차원 다각형이 초면에 의해 분할된 경우, 스펙트럴 플로우에 대한 일반적인 분할 공식을 유도하는 것.
• 스펙트럴 플로우 분해에서 스트레칭 콜라프 또는 횡단 조건이 필요로 하지 않는 것.
• 다양체의 각 조각에서 기여를 분리하고, 상호작용 항을 마스로프 지수로 정량화하는 것.
• 기존 문헌에서의 분할 정리들을 포함하고 일반화하는 통합된 프레임워크를 제공하는 것.
• 자르고 붙이는 구성과 기하학적 불변량에서 스펙트럴 플로우를 계산하는 데 실용적인 방법을 제공하는 것.

제안 방법

• 경계에서의 코시 데이터 공간의 마스로프 지수가 스펙트럴 플로우와 같다는 니콜라에스쿠의 정리를 활용한다.
• 심플렉틱 힐버트 공간에서 마스로프 지수의 기본 성질을 적용하여 스펙트럴 플로우를 분해한다.
• 경계 조건의 변환을 나타내는 명시적 라그랑주 부분공간의 경로를 도입한다.
• 코시 데이터 공간의 아디아바틱 극한을 이용하여 스펙트럴 플로우를 경계 조건의 동역학과 연결한다.
• 경로의 병합에 따른 마스로프 지수의 호모토피 불변성과 가법성을 통해 분할 공식을 유도한다.
• 부록에서 코시 데이터 공간과 관련된 프로젝션 연산자의 노름 연속성을 증명한다.

실험 결과

연구 질문

• RQ1 스트레칭 조건 없이, 초면에 의해 분할된 다각형에서 1-매개변수 가역 디라크 연산자족의 스펙트럴 플로우는 어떻게 분해할 수 있는가?
• RQ2 다각형이 분할되었을 때 경계 조건은 스펙트럴 플로우에 어떤 역할을 하는가? 그리고 그 상호작용은 어떻게 정량화할 수 있는가?
• RQ3 기존 문헌에서의 분할 정리는 더 일반적인 공식의 특수한 경우로 간주될 수 있는가?
• RQ4 마스로프 지수는 스펙트럴 플로우 분해에서 다각형의 두 조각 간의 상호작용을 어떻게 캡처하는가?
• RQ5 분할 공식에서 특정 마스로프 지수 항이 사라지게 하는 조건은 무엇이며, 이는 계산을 단순화하는가?

주요 결과

• 스펙트럴 플로우는 $ SF(D) = SF(D|_X, B_X) + SF(D|_Y, B_Y) + \mu(B_Y(1-t), B_X(1-t)) + \sum_{i=1,2,4,5,7,8,10,11} \mu(L_i, M_i) $ 로 분해되며, 모든 항은 명시적으로 정의되어 있다.
• 공식은 어떤 스트레칭 또는 횡단 조건도 필요로 하지 않아 광범위하게 적용 가능하다.
• 추가 마스로프 지수 $ \mu(L_i, M_i) $ 는 경계 조건의 회전과 늘임에 기인하며, 명시적으로 구성되어 있다.
• 이 방법을 통해 뱅크, 요시다, 니콜라에스쿠의 정리들처럼 알려진 분할 정리를 특수한 경우로 회수할 수 있다.
• 연산자 $ k_r $ 의 노름 연속성에 의해 코시 데이터 공간에 대한 프로젝션의 연속성이 확립되어 스펙트럴 플로우 공식의 안정성이 보장된다.
• 차이 $ \mathcal{P}^r - \pi_- $ 가 스무딩 연산자임을 보여주어 일반적인 경우에서 스펙트럴 프로젝션의 정칙성이 확인된다.