[논문 리뷰] Z_2 indices and factorization properties of odd symmetric Fredholm operators

Hermann Schulz‐Baldes|arXiv (Cornell University)|2013. 11. 02.

Advanced Topics in Algebra참고 문헌 15인용 수 21

한 줄 요약

이 논문은 분리 가능한 힐버트 공간 위의 홀수 대칭 프레드홀름 연산자에 대한 인수분해 정리를 수립하며, 모든 such 연산자 $ T $ 는 어떤 유계 연산자 $ A $ 에 대해 $ T = I^*A^tIA $ 로 표현될 수 있음을 증명한다. 주요 기여는 핵의 차원의 기수성에 기반한 $ \mathbb{Z}_2 $-지수를 도입한 것으로, 이는 이러한 연산자들의 공간의 연결 성분을 분류하고, 시간역전 대칭을 갖는 시스템, 예를 들어 토폴로지적 절연체에 적용 가능한 위상적 불변량을 제공한다.

ABSTRACT

A bounded operator $T$ on a separable, complex Hilbert space is said to be odd symmetric if $I^*T^tI=T$ where $I$ is a real unitary satisfying $I^2=-1$ and $T^t$ denotes the transpose of $T$. It is proved that such an operator can always be factorized as $T=I^*A^tIA$ with some operator $A$. This generalizes a result of Hua and Siegel for matrices. As application it is proved that the set of odd symmetric Fredholm operators has two connected components labelled by a $Z_2$-index given by the parity of the dimension of the kernel of $T$. This recovers a result of Atiyah and Singer. Two examples of $Z_2$-valued index theorems are provided, one being a version of the Noether-Gohberg-Krein theorem with symmetries and the other an application to topological insulators.

연구 동기 및 목표

• 분리 가능한 힐버트 공간 위의 홀수 대칭 프레드홀름 연산자에 대한 일반적인 인수분해 성질을 수립하기.
• 이러한 연산자들의 핵 차원의 기수성에 기반한 $ \mathbb{Z}_2 $-지수를 정의하고 분석하기.
• 시간역전 대칭 시스템의 맥락에서 아티야-식스 지수정리의 복구 및 일반화하기.
• 고체물리학에서의 $ \mathbb{Z}_2 $-값 지수정리에 대한 수학적 프레임워크 제공, 특히 토폴로지적 절연체에 초점 맞추기.
• 스펙트럼 이론과 프레드홀름 이론을 활용하여 시간역전 대칭을 깨는 외부 힘에 의한 변화에 대해 위상 불변량의 안정성을 보여주기.

제안 방법

• I^2 = -\mathbf{1} 를 만족하는 실수 반대칭 유니터리 연산자 $ I $ 의 존재를 이용하여, $ I^*T^tI = T $ 를 만족하는 홀수 대칭 연산자의 클래스를 정의한다.
• 모든 홀수 대칭 연산자 $ T $ 는 어떤 $ A \in \mathbb{B}(\mathcal{H}) $ 에 대해 인수분해 $ T = I^*A^tIA $ 를 가짐을 증명하며, 훠아와 시겔의 결과를 일반화한다.
• 인수분해를 적용하여, 홀수 대칭 프레드홀름 연산자의 집합이 정확히 두 개인 연결 성분을 가지며, 이는 $ \mathbb{Z}_2 $-지수 $ \mathrm{Ind}_2(T) = \dim(\ker T) \mod 2 $ 로 표기됨을 보인다.
• 이러한 연산자의 스펙트럼 성질을 분석하여, 일반화된 고유공간의 차원이 항상 짝수임을 보이며, 크라머스 디게너시를 일반화한다.
• 페르미 프로젝션 $ P $ 를 사용하여 $ PAP $ 의 양의 및 음의 스펙트럼 위에 투영하는 리에즈 프로젝션 $ P_\pm $ 를 구성하고, 이를 하위공간 위의 프레드홀름 연산자를 정의하는 데 사용한다.
• 제한된 연산자 $ P_\pm F P_\pm $ 의 노에터 지수들이 모듈로 2로 동일하며, 시간역전 대칭을 깨는 외부 힘에 대해 안정됨을 보여, 강건한 $ \mathbb{Z}_2 $ 불변량을 도출한다.

실험 결과

연구 질문

• RQ1 모든 홀수 대칭 프레드홀름 연산자 $ T $ 는 어떤 유계 연산자 $ A $ 에 대해 $ T = I^*A^tIA $ 로 인수분해될 수 있는가?
• RQ2 홀수 대칭 프레드홀름 연산자들의 공간의 연결 성분을 분류하는 위상 불변량은 무엇인가?
• RQ3 $ \mathbb{Z}_2 $-지수는 이러한 연산자들의 스펙트럼 디게너시와 어떻게 관련되어 있는가? 특히 유한차원 및 컴팩트 경우에서 어떻게 되는가?
• RQ4 시간역전 대칭이 깨지는 시스템에서 $ \mathbb{Z}_2 $-지수는 안정적인 불변량으로 해석될 수 있는가?
• RQ5 $ \mathbb{Z}_2 $-지수의 물리적 의미는 토폴로지적 절연체에서 스핀 크라머스 수와 어떻게 관련되어 있는가?

주요 결과

• 모든 홀수 대칭 프레드홀름 연산자 $ T \in \mathbb{F}(\mathcal{H}, I) $ 는 어떤 $ A \in \mathbb{B}(\mathcal{H}) $ 에 대해 인수분해 $ T = I^*A^tIA $ 를 가지며, $ \dim(\ker T) $ 가 짝수 또는 무한대일 경우 $ \ker A = \ker T $ 를 만족한다.
• 홀수 대칭 프레드홀름 연산자들의 공간은 정확히 두 개의 연결 성분을 가지며, 이는 $ \mathbb{Z}_2 $-지수 $ \mathrm{Ind}_2(T) = \dim(\ker T) \mod 2 $ 로 분류된다.
• 컴팩트한 홀수 대칭 연산자 $ K $ 에 대해, 모든 $ \lambda \neq 0 $ 과 $ k \geq 1 $ 에 대해 일반화된 고유공간의 차원 $ d_k(K, \lambda) $ 는 짝수이다.
• 유한차원에서, 모든 $ \lambda \in \mathbb{C} $ 에 대해 일반화된 고유공간 차원 $ d_k(T, \lambda) $ 와 $ d_1(T^*T, \lambda) $ 는 짝수이며, 이는 크라머스 디게너시를 일반화한다.
• $ P_\pm F P_\pm $ 의 제한된 연산자들의 노에터 지수는 $ \mathrm{Ind}(P_+ F P_+) = -\mathrm{Ind}(P_- F P_-) $ 를 만족하며, 이들의 값이 모듈로 2로 동일하여 $ \mathbb{Z}_2 $-불변량을 정의한다.
• $ \mathbb{Z}_2 $-불변량 $ \mathrm{Ind}_2(T_P) $ 는 자석장과 같은 시간역전 대칭을 깨는 외부 힘에 대해 안정하며, $ \mathbb{F}(\mathcal{H}, I) $ 에서의 호모토피 추론을 통해 이를 보였다.