[논문 리뷰] Topological properties of the unitary group

Jesús F. Espinoza, Bernardo Uribe|arXiv (Cornell University)|2014. 07. 07.

advanced mathematical theories참고 문헌 3인용 수 11

한 줄 요약

이 논문은 무한차원 분리 가능 힐버트 공간 $\mathcal{H}$ 의 유니터리 군 $U(\mathcal{H})$ 가 강한 연산자 위상, 컴act-open 위상, 약한 연산자 위상에서 동일한 위상으로 일치하므로, 이 위상들에서 폴란드 군임을 증명한다. 저자들은 아티야와 세갈의 비틀린 등변 K-이론에 대한 기초적 논문에서 잘못된 주장이 있었음을 바로잡기 위해, 역원과 곱셈 사상이 이러한 위상에서 연속임을 증명함으로써 오랫동안 애매하게 여겨졌던 문제를 해결한다.

ABSTRACT

We show that the strong operator topology, the weak operator topology and the compact-open topology agree on the space of unitary operators of a infinite dimensional separable Hilbert space. Moreover, we show that the unitary group endowed with any of these topologies is a Polish group.

연구 동기 및 목표

• 무한차원 분리 가능 힐버트 공간 $\mathcal{H}$ 에서 유니터리 군 $U(\mathcal{H})$ 의 위상적 구조를 명확히 하는 것.
• 특히 아티야와 세갈이 컴act-open 위상에서 $U(\mathcal{H})$ 가 위상군이 아니라고 잘못 주장한 바 있는 오랫동안 애매하게 여겨졌던 문제를 해결하는 것.
• 강한 연산자 위상, 약한 연산자 위상, 컴act-open 위상이 $U(\mathcal{H})$ 에서 일치함을 보이는 것.
• 이 위상들 중 어느 하나로도 $U(\mathcal{H})$ 가 폴란드 군, 즉 완전히 메트라이즈블하고 분리 가능함을 증명하는 것.

제안 방법

• 저자들은 유계 연산자 공간 $B(\mathcal{H})$ 에서 다양한 연산자 위상—노름, 강한, 약한, 컴act-open 및 그 *-변형—의 수렴을 분석한다.
• 유니터리 군 $U(\mathcal{H})$ 에 주목하며, 이는 $UU^* = U^*U = \mathrm{Id}$ 를 만족하는 연산자들의 집합으로 정의된다.
• 베르의 범주 정리와 반바흐-스타인하우스 정리를 사용하여, 강한 연산자 위상에서의 수열 수렴이 컴act 집합에서의 균일 수렴을 유도함을 보여, $U(\mathcal{H})$ 에서 강한 위상과 컴act-open 위상의 동치성을 증명한다.
• 모든 $x$ 에 대해 $T_k x \to Tx$ 이면 행렬 원소 $\langle T_k x, y \rangle \to \langle T x, y \rangle$ 가 수렴함을 보여, 강한 위상과 약한 위상이 $U(\mathcal{H})$ 에서 일치함을 증명한다.
• 강한 연산자 위상에서 $U(\mathcal{H})$ 가 $B(\mathcal{H})$ 의 닫힌 부분집합이며, 강한 연산자 위상이 $U(\mathcal{H})$ 에서 완전히 메트라이즈블함을 이용한다.
• 연산자 위상 간의 연속 사상들로 이루어진 가환 다이어그램을 구성하고, 강한 위상에서 컴act 집합이 컴act-open 위상에서도 컴act임을 이용하여, 항등사상이 $U(\mathcal{H})_{\text{co}}$ 와 $U(\mathcal{H})_{\text{s}}$ 사이에 호메오모르피즘을 유도함을 보인다.

실험 결과

연구 질문

• RQ1 컴act-open 위상에서 유니터리 군 $U(\mathcal{H})$ 는 위상군이 되는가?
• RQ2 강한 연산자 위상, 약한 연산자 위상, 컴act-open 위상은 $U(\mathcal{H})$ 에서 일치하는가?
• RQ3 $U(\mathcal{H})$ 는 이러한 위상들 중 어느 하나로도 폴란드 군인가?
• RQ4 컴act-open 위상에서 $U(\mathcal{H})$ 의 역원 사상은 연속적인가?
• RQ5 아티야와 세갈이 2004년 논문에서 $U(\mathcal{H})$ 가 컴act-open 위상에서 위상군이 아니라고 주장하는 것은 타당한가?

주요 결과

• 강한 연산자 위상, 약한 연산자 위상, 컴act-open 위상은 모두 유니터리 군 $U(\mathcal{H})$ 에서 일치한다.
• 컴act-open 위상에서 $U(\mathcal{H})$ 의 역원 사상은 연속적이며, 아티야와 세갈의 작업에서의 핵심 문제를 해결한다.
• 강한 연산자 위상으로 장착된 유니터리 군 $U(\mathcal{H})$ 는 폴란드 군이다. 즉, 완전히 메트라이즈블하고 분리 가능하다.
• 노름 위상에서 $U(\mathcal{H})$ 는 강한 연산자 위상보다 엄밀히 더 끊어진 위상이며, 강하게 수렴하지만 노름 수렴이 아닌 유니터리 연산자 수열을 통해 이를 보여준다.
• 항등사상 $U(\mathcal{H})_{\text{co}}$ 와 $U(\mathcal{H})_{\text{s}}$ 사이의 호메오모르피즘은 위상적 동치성을 증명한다.
• 아티야와 세갈의 2004년 논문에서 주장한 바와는 달리, 군 $U(\mathcal{H})$ 는 컴act-open 위상에서 위상군이다.