[논문 리뷰] The generalized triangle inequalities in symmetric spaces and buildings with applications to algebra

Michael Kapovich, Bernhard Leeb외 1명|ArXiv.org|2002. 10. 17.

Mathematics and Applications참고 문헌 9인용 수 5

한 줄 요약

이 논문은 대수적 군 이론의 네 가지 기본 문제를 해결하기 위해 대칭 공간과 빌딩을 사용하는 기하적 프레임워크를 수립한다. 이 문제들은 행렬 합과 곱의 고유값 및 특이값 제약, 히케 대수와 표현 링의 구조 상수의 비영성 등을 포함한다. 주요 기여는 루트 체계와 관련된 포화 인자에 의해 연결된 볼록 다면체 콘을 통해 이러한 문제들의 해집합이 관련되어 있음을 보여주는 것으로, $GL(\theta)$에 대한 포화 추측을 증명한다.

ABSTRACT

In this paper we apply our results on the geometry of polygons in Cartan subspaces, symmetric spaces and buildings to four problems in algebraic group theory. Two of these problems are generalizations of the problems of finding the constraints on the eigenvalues (resp. singular values) of a sum (resp. product) when the eigenvalues (singular values) of each summand (factor) are fixed. The other two problems are related to the computation of the structure constants of the Hecke and representation rings associated with a split reductive algebraic group over Q and its complex Langlands' dual. We give a new proof of the ``Saturation Conjecture'' for GL(m) as a consequence of our solution of the corresponding ``saturation problem'' for the Hecke structure constants for all split reductive algebraic groups over Q.

연구 동기 및 목표

• 주어진 고유값 또는 특이값을 갖는 행렬의 합 또는 곱이 0 또는 항등원이 되는 조건을 필요로 하는 필수 및 충분 조건을 설정한다.
• 고유값 제약, 특이값 제약, $p$-진 군에서의 불변 인자, 텐서 곱 분해라는 네 가지 대수 문제의 해집합을 대칭 공간과 빌딩의 기하적 구조를 통해 연결한다.
• 히케 대수의 구조 상수 해집합이 표현 링의 해집합에 의해 포화됨을 보여줌으로써 $GL(\theta)$에 대한 포화 추측을 증명한다.
• 문제 Q1–Q4의 해집합이 정수 선형 부등식과 포화 인자에 의해 정의된 볼록 다면체 콘 또는 이산 부분모노이드임을 보여준다.

제안 방법

• 무한소 대칭 공간과 빌딩의 기하학을 사용하여 대수 문제의 해공간을 웨일 침실 내의 볼록 다면체 콘으로 모델링한다.
• 카르탕 분해와 이중 코스ет 공간 $K\backslash G/K$를 적용하여 대수적 제약 조건을 유클리드 웨일 침실 $\Delta$ 내의 기하적 부등식으로 변환한다.
• $p$-진 설정에서의 정수 제약 조건을 포괄하기 위해 래티스 $\Lambda = \{ (\alpha,\beta,\gamma) \in L_{\underline{G}}^3 : \alpha + \beta + \gamma \in Q(R^\vee) \}$를 정의한다.
• 루트 체계 $R$에 대해 $\theta = \sum m_i \alpha_i$가 최고 루트일 때, 포화 인자 $k_R = \mathrm{lcm}(m_1,\dots,m_\ell)$를 도입한다.
• 보렐-바일 정리와 표현 이론을 사용하여 텐서 곱에서의 비영 $G$-불변량이 비어 있지 않은 머피드 몫과 기하학적 삼각형에 대응됨을 보여준다.
• 고르단의 보조정리를 적용하여 해 모노이드의 유한 생성성을 증명하고, 생성자의 LCM를 통해 포화를 확립한다.

실험 결과

연구 질문

• RQ1 합(또는 곱)의 고유값(또는 특이값)이 고정되어 있을 때, 그 합(또는 곱)이 0(또는 항등원)이 되는 행렬의 고유값(또는 특이값)에 대한 필요 및 충분 조건은 무엇인가?
• RQ2 고유값 합 문제(Q1), 특이값 곱 문제(Q2), 불변 인자 문제(Q3), 텐서 곱 분해 문제(Q4)의 해집합은 기하학적·대수적으로 어떻게 관련되어 있는가?
• RQ3 히케 대수의 구조 상수 해집합(Q3)과 표현 링 해집합(Q4)을 연결하는 정확한 포화 인자 $k_R$는 무엇인가?
• RQ4 루트 체계 $B_2$와 $G_2$에 대해 $Sol(Q3)$와 $Sol(Q4)$는 포함 관계에 있음에도 불구하고 서로 다름을 보일 때, 그 이유는 무엇인가?
• RQ5 텐서 곱 분해 문제의 해집합은 대칭 공간에서 삼각 부등식 문제의 해집합의 부분모노이드로 실현될 수 있는가?

주요 결과

• 고유값 합 문제(Q1)의 해집합 $Sol(Q1, G)$는 $\Delta^3$ 내의 볼록 동차 다면체 콘 $D_3(G/K)$이며, 군 $G$의 웨일 군에만 의존하고 정수 선형 부등식으로 정의된다.
• 해집합은 체인 $Sol(Q1) = Sol(Q2) \supset Sol(Q3) \supset Sol(Q4)$를 만족하며, $Sol(Q3)$는 $\Lambda$에 포함되고, $Sol(Q2) \cap k_R \cdot \Lambda \subset Sol(Q3) \subset Sol(Q2) \cap \Lambda$를 만족한다. 여기서 $k_R$는 포화 인자이다.
• $B_2$와 $G_2$의 루트 체계에 대해 $Sol(Q2) \cap \Lambda \neq Sol(Q3)$ 이며 $Sol(Q3) \neq Sol(Q4)$임을 보여, 포화가 항상 날카롭지 않음을 시사한다.
• 해모노이드 $S_{rep} = Sol(Q4)$는 $S_{triangle} = Sol(Q1)$의 부분모노이드이며, $S_G^3$ 내에서의 포화가 정확히 $S_{triangle}$임을 보여, $GL(\ell)$에 대한 포화 추측을 증명한다.
• 모노이드 $S_{rep}$는 유한 생성되며, 어떤 $k \in \mathbb{N}$에 대해 $k \cdot S_{triangle}$와 유한 지수의 부분모노이드로 동형이 되는 부분모노이드를 포함한다. 여기서 $k$는 군에만 의존한다.
• 표현 $V_\alpha \otimes V_\beta \otimes V_\gamma$ 내에서 비영 $G$-불변량이 존재하는 것은 머피드 몫 $\mathcal{M}_{\alpha,\beta,\gamma}$가 비어 있지 않음을 의미하며, 이는 대칭 공간 $G/K$ 내에서 변의 길이가 $\alpha, \beta, \gamma$인 삼각형이 존재하는 것과 동치이다.