[논문 리뷰] The Moduli Space of Points in the Boundary of Quaternionic Hyperbolic Space

Goashun Gou, Yue-Ping Jiang|Osaka City University (Osaka City University)|2017. 12. 26.

Algebraic and Geometric Analysis참고 문헌 13인용 수 3

한 줄 요약

이 논문은 등급이 4 이상인 서로 다른 m개의 점이 허수 하이퍼볼릭 공간의 경계에 있을 때, 등급에 대한 등장성에 의해 정의된 모듈리 공간을 구성하고 기술한다. 이는 무어 행렬식을 사용하여 불변량—특히 허수 하이퍼볼릭 교차비와 카르탕의 각도 불변량—을 정의함으로써, $m > n+1$일 때 실대수기하구조의 차원이 $2m^2 - 6m + 5 - \binom{m-2}{n-1} - \binom{m-2}{n} - \cdots - \binom{m-2}{m-n-1}$인 실대수기하구조를 확립한다. 이 접근법은 정규화된 특수-그램 허수 행렬을 통해 완전한 매개변수화를 제공한다.

ABSTRACT

Let $\mathcal{F}_1(n,m)$ be the space of ordered m-tuples of pairwise distinct points in $\partial \mathbf{H}_{\mathbb{H}}^n$ up to its isometry group $PSp(n,1)$. It is a real $2m^2-6m+5-\sum^{m-n-1}_{i=1}{m-2 \choose n-1+i}$ dimensional algebraic variety when $m>n+1$. In this paper, we construct and describe the moduli space of $\mathcal{F}_1(n,m)$, in terms of the Cartan's angle and cross-ratio invariants, by applying the Moore's determinant.

연구 동기 및 목표

• PSp(n,1) 작용에 대한 $\partial\mathbf{H}_\mathbb{H}^n$ 내의 서로 다른 m개의 점의 순서쌍으로 이루어진 $\mathcal{F}_1(n,m)$ 공간의 모듈리 공간을 구성하고 기술하는 것.
• 복소 하이퍼볼릭 기하학에서의 모듈리 공간 이론을 허수 하이퍼볼릭 기하학으로 확장하는 것—특히 $m > n+1$의 경우.
• 무어의 행렬식과 특수-그램 허수 행렬에서 유도된 불변량을 사용하여 모듈리 공간의 매개변수화를 확립하는 것.
• 이산적이고 충실하며 전체적으로 로크소드롬형 표현이 $PSp(2,1)$에 들어가는 변형 공간을 기하학적 불변량을 사용하여 분석하는 것.
• 모듈리 공간을 실대수기하구조로 완전한 대수적 기술을 제공하고, 명시적인 차원 공식을 제시하는 것.

제안 방법

• 서로 다른 경계점의 m개의 순서쌍에 대한 매 $PSp(n,1)$-오빗에 대해 정규화된 특수-그램 허수 행렬을 표준 대표로 정의한다.
• 무어의 행렬식을 사용하여 허수 행렬의 불변량을 정의함으로써 교차비와 카르탕의 각도 불변량을 구성한다.
• 등급이 4인 등급의 등지적 점들에 대해 허수 교차비 $\mathbb{X}(p_1,p_2,p_3,p_4) = \langle\mathbf{p}_3,\mathbf{p}_1\rangle_1 \langle\mathbf{p}_3,\mathbf{p}_2\rangle_1^{-1} \langle\mathbf{p}_4,\mathbf{p}_2\rangle_1 \langle\mathbf{p}_4,\mathbf{p}_1\rangle_1^{-1}$를 사용하여 모듈리 공간을 매개변수화한다.
• 삼중 등급에 대해 허수 카르탕의 각도 불변량 $\mathbb{A}_H(p_1,p_2,p_3) = \arccos\left( \frac{\Re(-\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1)}{|\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1|} \right)$를 정의한다. 여기서 $\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1 = \langle\mathbf{p}_1,\mathbf{p}_2\rangle_1 \langle\mathbf{p}_2,\mathbf{p}_3\rangle_1 \langle\mathbf{p}_3,\mathbf{p}_1\rangle_1$이다.
• 각 $PSp(n,1)$-동치류가 정규화된 특수-그램 행렬과 유일하게 대응됨을 증명함으로써, 모듈리 공간을 직접적으로 매트릭스 불변량을 통해 연구할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 PSp(n,1) 작용에 대한 $\partial\mathbf{H}_\mathbb{H}^n$ 내의 서로 다른 m개의 점의 순서쌍으로 이루어진 모듈리 공간 $\mathcal{F}_1(n,m)$의 차원과 대수적 구조는 무엇인가?
• RQ2 허수 하이퍼볼릭 기하학에서 허수 교차비와 카르탕의 각도 불변량과 같은 불변량을 사용하여 모듈리 공간을 매개변수화할 수 있는가?
• RQ3 무어의 행렬식을 효과적으로 사용하여 허수 행렬의 불변량을 정의함으로써 점 구성의 모듈리 공간을 기술할 수 있는가?
• RQ4 점 구성의 기하학과 이산적이고 충실하며 전체적으로 로크소드롬형인 $PSp(2,1)$로의 표현의 변형 공간 사이의 관계는 무엇인가?
• RQ5 특수-그램 행렬에서 유도된 불변량이 전체 모듈리 공간의 구조를 어떻게 포괄하는가? 정규화의 역할은 무엇인가?

주요 결과

• 모듈리 공간 $\mathcal{F}_1(n,m)$은 $m > n+1$일 때 실대수기하구조이며, 차원이 $2m^2 - 6m + 5 - \sum_{i=1}^{m-n-1} \binom{m-2}{n-1+i}$이다.
• 서로 다른 경계점의 m개의 순서쌍에 대한 매 $PSp(n,1)$-동치류는 정규화된 특수-그램 허수 행렬과 유일하게 대응된다.
• 허수 교차비 $\mathbb{X}(p_1,p_2,p_3,p_4)$는 등지적 점 네 개의 구성에 대한 핵심 불변량을 제공한다.
• 허수 카르탕의 각도 불변량 $\mathbb{A}_H(p_1,p_2,p_3)$는 $\Re(-\langle\mathbf{p}_1,\mathbf{p}_2,\mathbf{p}_3\rangle_1) > 0$인 서로 다른 점의 삼중에 대해 잘 정의되어 있으며 실수 값을 가진다.
• $PSp(2,1)$로의 이산적이고 충실하며 전체적으로 로크소드롬형인 표현의 모듈리 공간은 고정점 데이터 $(p_i^+, p_i^-)$와 매개변수 $(r_i, \beta_i, \theta_i)$로 매개변수화되며, 여기서 $r_i > 0$, $r_i \neq 1$, $0 \leq \beta_i, \theta_i \leq \pi$이다.
• $PSp(2,1)$ 내의 각 로크소드롬형 원소의 동치류는 삼중 $(r, \beta, \theta)$로 유일하게 결정되며, 전체 표현의 동치류는 생성자들에 대한 이러한 데이터의 전체 집합으로 결정된다.