[논문 리뷰] Infinite dimensional Riemannian symmetric spaces with fixed-sign curvature operator

Bruno Duchesne|arXiv (Cornell University)|2012. 04. 26.

Advanced Operator Algebra Research참고 문헌 39인용 수 13

한 줄 요약

이 논문은 고정된 부호를 가진 곡률 연산자를 갖는 무한차원 리만 대칭 공간에 대해 새로운 L*-대수 구조를 도입하여 완전한 국소 동형 분류를 수립한다. 각 such 공간에 대해 정규직교 분해 $mathfrak{g} = mathfrak{k} \oplus mathfrak{p}$ 를 통해 유일한 L*-대수를 부여함으로써, 저자들은 국소 동형이 이 분해를 유지하는 L*-대수 동형과 동치임을 증명하며, 음이거나 음이 아닌 곡률 조건 하에서 이러한 공간의 완전한 분류를 가능하게 한다.

ABSTRACT

We associate to any Riemannian symmetric space (of finite or infinite dimension) a L$^*$-algebra, under the assumption that the curvature operator has a fixed sign. L$^*$-algebras are Lie algebras with a pleasant Hilbert space structure. The L$^*$-algebra that we construct is a complete local isomorphism invariant and allows us to classify Riemannian symmetric spaces with fixed-sign curvature operator. The case of nonpositive curvature is emphasized.

연구 동기 및 목표

• 고정된 부호를 가진 곡률 연산자를 갖는 무한차원 리만 대칭 공간을 분류하는 것.
• 무한차원 리 대수에 대한 일반적 분류의 부재를 극복하기 위해 새로운 대수적 불변량을 도입하는 것.
• 리 만 텐서로부터 유도된 새로운 L*-대수 구조를 사용하여 완전한 국소 동형 분류를 수립하는 것.
• 곡률 연산자의 고정된 부호가 L*-대수를 통한 완전한 대수적 분류를 가능하게 한다는 것을 보여주는 것.

제안 방법

• 리만 텐서를 통해 곡률 연산자 $C: \wedge^2 \mathfrak{p} \to \mathcal{L}(\mathfrak{p})$ 를 정의한다: $\langle C(X \wedge Y), Z \wedge T \rangle = R(Y,X,Z,T)$.
• 접선 공간 $\mathfrak{p}$ 와 등질성 부분대수 $\mathfrak{k}$ 를 이용해 Hilbert 공간 구조를 지닌 L*-대수 $\mathfrak{L} = \mathfrak{k} \oplus \mathfrak{p}$ 를 구성한다.
• Lie 대수 $\mathfrak{p}$ 가 $\mathfrak{L}$ 에서 조밀하고 Killing 장의 부분대수와 동형임을 증명한다.
• 곡률 연산자가 유계일 경우 $\wedge^2 \mathfrak{p}$ 에서 스펙트럼 정리를 적용하여 접선 공간을 가환 Lie 삼중계열로 분해한다.
• 기약 대칭 공간을 Hilbert-Lie 군(예: $U^2(\infty)$, $SO^2(\infty)$, $Sp^2(\infty)$) $G$ 와 등급이 1인 고정점 집합의 항등원 성분인 $K$ 를 이용해 동차 공간 $G/K$ 로 실현한다.
• 두 단순연결된 대칭 공간이 국소 동형임은 그에 대응하는 L*-대수가 동형이면서 $\mathfrak{k} \oplus \mathfrak{p}$ 분해를 유지할 때에만 성립함을 수립한다.

실험 결과

연구 질문

• RQ1 고정된 부호를 가진 곡률 연산자를 갖는 무한차원 리만 대칭 공간은 국소 동형에 대해 완전히 분류될 수 있는가?
• RQ2 이러한 대칭 공간에 대해 국소 기하를 캐릭터라이즈하는 표준적인 L*-대수 불변량이 존재하는가?
• RQ3 곡률 연산자의 유계성이 접선 공간을 고정된 부호를 가진 가환 Lie 삼중계열로 분해할 수 있도록 하는가?
• RQ4 모든 기약 대칭 공간 중 고정된 부호를 가진 곡률을 갖는 것은 Hilbert-Lie 군 $G$ 에 대해 동차 공간 $G/K$ 로 실현될 수 있는가?
• RQ5 고정된 부호 곡률 조건이 $\wedge^2 \mathfrak{p}$ 에서 곡률 연산자가 유계임을 암시하는가?

주요 결과

• 곡률 연산자 $C$ 가 $\wedge^2 \mathfrak{p}$ 에서 유계임은 리만 텐서가 $\wedge^2 \mathfrak{p}$ 에서 유계인 대칭 이중선형 형식을 정의할 때에만 성립하며, 이는 일반적으로 참이 아니며, 유한계수 대칭 공간의 경우에도 그렇다.
• 일정 곡률 $\kappa$ 를 갖는 대칭 공간의 경우, 모든 $U \in \wedge^2 \mathfrak{p}$ 에 대해 $C(U) = \kappa U$ 로 작용하므로, 이는 유계임을 보여준다.
• 고정된 부호 곡률 연산자를 갖는 대칭 공간으로부터 구성된 L*-대수 $\mathfrak{L}$ 는 완전한 국소 동형 불변량이다.
• 고정된 부호 곡률 연산자를 갖는 단순연결된 리만 대칭 공간 두 개가 국소 동형임은 그에 대응하는 L*-대수가 동형이면서 $\mathfrak{k} \oplus \mathfrak{p}$ 분해를 유지할 때에만 성립한다.
• 고정된 부호 곡률을 갖는 기약 대칭 공간의 분류는 기약 대칭 온전한 직교 L*-대수의 분류로 환원되며, 이는 $U^2(\infty)$, $SO^2(\infty)$, 또는 $Sp^2(\infty)$ 에서 기인한 컴팩트 또는 비콤팩트 타입이다.
• 고정된 부호 곡률 연산자를 갖는 리만 대칭 공간의 전역피복은 힐버트 공간과 단순연결된 간섭 대수에 대응하는 기약 L*-대수와의 곱과 국소 동형이다.