[논문 리뷰] Local automorphisms of the unitary group and the general linear group on a Hilbert space

Lajos Molnár, Peter Šemrl|ArXiv.org|2000. 05. 17.

Advanced Topics in Algebra참고 문헌 9인용 수 12

한 줄 요약

이 논문은 복소 무한차원 분리 가능한 힐버트 공간 위의 유니터리 군 또는 일반선형군의 모든 2-국소 자명형사상이 실제로 전역 자명형사상임을 증명한다. 이 결과는 연산자 대수의 자명형사상에 대한 스펙트럼 성질과 구조 정리들을 활용하여, 쌍별 국소적 행동이 전역적인 내부 또는 공간적 실현을 강제함으로써 확립된다.

ABSTRACT

We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their local actions on the two-points subsets of the groups in question.

연구 동기 및 목표

• 유니터리 군과 일반선형 군의 힐버트 공간에서 2-국소 자명형사상—모든 원소 쌍에 대해 어떤 자명형사상과 국소적으로 일치하는 변환—이 반드시 전역 자명형사상이 되는지 여부를 규명하는 것.
• C*-대수에서의 국소 및 2-국소 사상 이론을 비결합적이고 비단위 원소를 갖는 군, 특히 유니터리 군과 일반선형 군에 확장하는 것.
• 두 원소로 구성된 부분집합에서의 국소적 행동이 이러한 변환의 전역적 구조를 완전히 결정함을 보이는 것.
• 카디슨의 국소 도함수 문제와 유사한 추측을 2-국소 설정에서 군 자명형사상에 대해 해결하는 것.

제안 방법

• 모든 원소 쌍에 대해 그 쌍에 따라 달라지는 자명형사상이 존재하여, 그 두 점에서 원래 사상과 일치하는 2-국소 자명형사상으로 정의한다.
• 스펙트럼 정리와 프로젝션 $P$에 대해 $I - 2P$가 유니터리 연산자를 생성한다는 사실을 이용하여, $U(H)$의 2-국소 자명형사상과 프로젝션 레이스터의 2-국소 자명형사상 사이의 연결을 맺는다.
• 기존 결과를 적용하여, 프로젝션의 옥토모듈라 레이스터의 2-국소 자명형사상은 유니터리 또는 에너티유니터리 연산자에 의해 유도된 자명형사상임을 보인다.
• 기존 사상에 이 연산자를 공액하여, 사상이 모든 $I - 2P$ 연산자를 고정하는 경우로 단순화한다.
• 유니터리 $V$와 단위 벡터 $x$에 대해 이차형식 $\langle \phi(V)x, x \rangle$를 분석하여, 이 값이 $\langle Vx, x \rangle$ 또는 그 켤레값과 일치해야 하며, 이는 $\phi(V) = V$ 또는 $\phi(V) = V^*$임을 이끌어낸다.
• 선택지 $\phi(V) = V$ 또는 $\phi(V) = V^*$가 모든 $V$에 대해 일致함을 증명하여, 사상이 유니터리 군 위에서 항등사상 또는 복소수 켤레임을 보임을 보인다.
• GL(H)의 경우, $\phi(2iI) = 2iI$라는 사실을 이용해 스펙트럼과 스칼라 배수를 유지하는 자명형사상으로 축소한 후, $\psi(X) = \phi(X - \lambda I) + \lambda I$를 통해 $B(H)$로 확장한다.
• $\psi$가 $B(H)$의 2-국소 자명형사상임을 보이고, 알려진 결과에 따라 $B(H)$의 2-국소 자명형사상은 내부 자명형사상이므로 $\psi(X) = TXT^{-1}$ ($T$는 가역인 연산자)임을 증명하여, $\phi$가 $GL(H)$ 위에서 내부 자명형사상임을 밝힌다.

실험 결과

연구 질문

• RQ1 복소 무한차원 분리 가능한 힐버트 공간 위의 유니터리 군의 모든 2-국소 자명형사상은 반드시 전역 자명형사상인가?
• RQ2 동일한 힐버트 공간 위의 일반선형 군에 대해서도 동일한 결론이 성립하는가?
• RQ3 비결합적이고 비단위 원소를 갖는 군에서 2-국소 성질—모든 원소 쌍에 대해 어떤 자명형사상과 국소적으로 일치함—이 전역 자명형사상의 구조를 강제하는가?
• RQ4 스펙트럼 성질과 프로젝션의 구조는 2-국소 자명형사상의 전역 형태를 어느 정도 제약하는가?
• RQ5 GL(H)의 2-국소 자명형사상은 $B(H)$로 확장될 수 있으며, 만약 그렇다면 이는 내부 자명형사상임을 의미하는가?

주요 결과

• 복소 무한차원 분리 가능한 힐버트 공간 위의 유니터리 군 $U(H)$의 모든 2-국소 자명형사상은 전역 자명형사상이다.
• 동일한 결론은 일반선형 군 $GL(H)$에도 적용된다: 모든 2-국소 자명형사상은 전역 자명형사상이다.
• 유니터리 군의 2-국소 자명형사상은 항등사상 또는 $V \mapsto V^*$이며, 군 전체에서의 일致성은 전역적으로 하나의 선택지를 강제한다.
• GL(H)의 경우, 2-국소 자명형사상은 유계 가역 선형 연산자 $T$에 의한 공액으로 실현되며, 즉 $\phi(X) = TXT^{-1}$이므로 내부 자명형사상이다.
• GL(H)의 2-국소 자명형사상을 $\psi(X) = \phi(X - \lambda I) + \lambda I$ 방식으로 $B(H)$로 확장하면, 이는 $B(H)$의 2-국소 자명형사상이 되며, 이는 이미 알려진 결과에 의해 내부 자명형사상임을 보인다.
• 증명은 스펙트럼 보조정리를 활용하여, 충분히 큰 허수부를 갖는 $\lambda$에 대해 집합 $K - \lambda$가 켤레나 역행렬과 같은 대칭성을 피한다는 것을 보장함으로써, 자명형사상 유형을 분류하는 데 기여한다.