[논문 리뷰] Invariant Orders on Hermitian Lie Groups

Gabi Ben Simon, Tobias Hartnick|arXiv (Cornell University)|2010. 11. 15.

Geometric and Algebraic Topology참고 문헌 21인용 수 10

한 줄 요약

이 논문은 $ \mathrm{SL}_2(\mathbb{R})$ 의 기본군에 대한 보편적 피복군과 더 일반적으로 튜브 유형의 허미션 리 군에서 세 가지 서로 다른 이항 불변 부분순서—기하학적, 리 준군, 최대 순서—가 동치임을 증명한다. 이 순서들은 포함 관계를 통해 일치함을 보이며, 최대 순서는 이동 수 쿼지모르피즘으로 정의되고, 리 준군이 최대이며 단일 연속 함수로 정의될 수 있음을 증명한다.

ABSTRACT

We study three natural bi-invariant partial orders on a certain covering group of the automorphism group of a bounded symmetric domain of tube type; these orderings are defined using the geometry of the Shilov boundary, Lie semigroup theory and quasimorphisms respectively. Our main result shows that these orders are related by two inclusion relations. In the case of $SL_2(\R)$ we can show that they coincide.

연구 동기 및 목표

• 보편적 피복군 $ \mathrm{SL}_2(\mathbb{R})$ 과 더 일반적인 허미션 리 군에서 세 가지 자연스러운 이항 불변 부분순서 간의 관계를 조사하는 것.
• 허미션 리 군의 맥락에서 기하학적, 리 준군, 최대 순서가 서로 다를지 또는 일치하는지 판단하는 것.
• 리 준군 순서가 공역 불변 부분준군 중에서 최대임을 확립하고, 단일 연속 함수로 정의될 수 있음을 증명하는 것.
• 마스로프 쿼지모르피즘을 사용하여 이동 수 개념을 고계수 허미션 리 군으로 일반화하는 것.
• 대칭 공간 이론의 공통 프레임워크를 통해 기하학적, 리 이론적, 쿼지모르피즘 기반 순서를 통합하는 것.

제안 방법

• 군이 실수 직선에 작용하는 방식을 통해 기하학적 순서를 정의하고, $ \mathrm{PU}(1,1)$ 의 경계 작용을 올려 기하학적 순서를 유도한다.
• 리 대수 내에서 유일한 $ \mathrm{Ad}$ -불변 점지향 볼록 콘의 쌍을 사용하여 리 준군 순서를 정의하고, 양의 콘을 지수화하여 순서 준군을 형성한다.
• 이동 수 쿼지모르피즘 $ T(g) = \lim_{n\to\infty} \frac{g^n.x - x}{n}$ 을 사용하여 최대 순서를 정의하며, 이는 최대 공역 불변 부분준군 $ G^{+}_{\max}$ 를 생성한다.
• 카네유키 인과 구조를 사용하여 포함 관계 $ G^{+}_{\mathrm{geom}} \subset G^{+}_{\max}$ 와 $ G^{+}_{\mathrm{cont}} \subset G^{+}_{\mathrm{geom}}$ 를 확립한다.
• 삼중 분해 $ \mathfrak{g}(T_\Omega) = \mathfrak{g}_{-1} \oplus \mathfrak{g}_0 \oplus \mathfrak{g}_1$ 와 카이리 변환을 사용하여 동차 공간 $ \check{R} \cong H/P$ 를 식별하고, 인과 구조를 비음성 정의된 이차형식의 콘과 연결한다.
• 몫 사상에 의한 양의 콘의 역상이 국소적으로 위상적으로 생성된 리 준군임을 보여 이에 따라 카네유키 순서의 연속성을 증명한다.

실험 결과

연구 질문

• RQ1 보편적 피복군 $ \mathrm{SL}_2(\mathbb{R})$ 에서 기하학적, 리 준군, 최대 순서는 서로 다를지 또는 동치인가?
• RQ2 리 준군 순서는 공역 불변 부분준군 중에서 최대로 특징지어질 수 있는가?
• RQ3 이동 수 쿼지모르피즘은 보편적 피복군 $ \mathrm{SL}_2(\mathbb{R})$ 에서 최대 공역 불변 부분준군을 생성하는가?
• RQ4 고계수 허미션 리 군에서 기하학적, 연속적, 최대 순서는 어떻게 관련되어 있는가?
• RQ5 허미션 리 군의 보편적 피복군에서 기하학적 순서는 단일 연속 함수로 묘사될 수 있는가?

주요 결과

• 보편적 피복군 $ \mathrm{SL}_2(\mathbb{R})$ 에서 기하학적, 리 준군, 최대 순서는 모두 일치하며, 이는 정리 3.13에서 증명되었다.
• 리 준군 $ G^+$ 는 $ G$ 의 공역 불변 부분준군로서 최대이며, 이는 단일 연속 함수인 이동 수 $ T$ 로 묘사될 수 있다.
• 쿼지모르피즘 $ T$ 를 통해 정의된 최대 순서 $ G^{+}_{\max}$ 는 기하학적 순서와 리 준군 순서를 모두 정밀화한다.
• 허미션 리 군의 보편적 피복군에서 기하학적 순서는 라그랑주 그라스만니안의 보편적 피복군에 대한 군 작용에 의해 유도되며, 비음성 정의된 이차형식의 콘에 의해 모델링된다.
• 시로프 경계에서의 카네유키 인과 구조는 $ \check{R} \cong H/P$ 에 연속적 순서를 유도하며, 이 순서는 정의 4.2의 의미에서 연속적이다.
• 공간 $ \check{R}$ 에서의 연속적 순서는 역전까지 유일하게 결정되며, $ x \preceq y \Leftrightarrow \exists g \in G^{+}_{\mathrm{cont}}: gx = y$ 를 만족한다. 이는 $ G^{+}_{\mathrm{cont}} \subset G^{+}_{\mathrm{geom}}$ 를 함의한다.