[논문 리뷰] The orbit structure of the Gelfand-Zeitlin group on n x n matrices

Mark Colarusso|ArXiv.org|2008. 11. 09.

Advanced Algebra and Geometry참고 문헌 11인용 수 4

한 줄 요약

이 논문은 $n \times n$ 복소행렬 공간에서 Gelfand-Zeitlin 군 $A \simeq \mathbb{C}^{n \choose 2}}$의 궤도를 완전히 분류하며, 차원 $\binom{n}{2}$인 모든 $A$-궤도를 식별한다. 이러한 궤도는 정확히 강한 정규 원소들이다. 핵심 결과는 Gelfand-Zeitlin 사상의 각 섬유에서 이러한 궤도의 수를 나타내는 공식으로, $2^{\sum_{i=1}^{n-1} j_i}$이다. 여기서 $j_i$는 연속하는 주된 부분행렬의 특성다항식들 간의 공통근의 수이다. 이는 이전의 일반적인 정규 준단순 행렬에 대한 결과를 스펙트럼이 겹치는 더 넓은 클래스의 행렬로 일반화한다.

ABSTRACT

In recent work (\cite{KW1},\cite{KW2}), Kostant and Wallach construct an action of a simply connected Lie group $A\simeq \mathbb{C}^{n\choose 2}$ on $gl(n)$ using a completely integrable system derived from the Poisson analogue of the Gelfand-Zeitlin subalgebra of the enveloping algebra. In \cite{KW1}, the authors show that $A$-orbits of dimension ${n\choose 2}$ form Lagrangian submanifolds of regular adjoint orbits in $gl(n)$. They describe the orbit structure of $A$ on a certain Zariski open subset of regular semisimple elements. In this paper, we describe all $A$-orbits of dimension ${n\choose 2}$ and thus all polarizations of regular adjoint orbits obtained using Gelfand-Zeitlin theory.

연구 동기 및 목표

• Gelfand-Zeitlin 군 $A$가 $\mathfrak{gl}(n)$ 위에서 작용하는 궤도 구조를 완전히 기술하는 것, 특히 차원 $\binom{n}{2}$인 모든 궤도를 특정하는 것.
• 기존에 알려진 $A$의 정규 준단순 행렬의 조밀한 열린 부분집합 위에서의 추이성 작용을, 스펙트럼이 비일반적으로 겹치는 더 넓은 클래스의 행렬으로 확장하는 것.
• Gelfand-Zeitlin 사상 $\Phi$의 각 섬유 내에서 $A$-궤도의 수와 구조를 명시적이고 조합론적인 방식으로 기술하는 것.
• 섬유 위에서 $A$가 추이적으로 작용하는 $\mathfrak{gl}(n)$의 최대 부분집합을 특정하여, 이전의 일반적인 경우를 일반화하는 것.

제안 방법

• Gelfand-Zeitlin 함수 $f_{i,j}(x) = \operatorname{tr}(x_i^j)$의 해밀토니안 벡터장들로 생성되는 아벨 리대수를 적분하여 단순연결된 리군으로서 Gelfand-Zeitlin 군 $A$를 구성한다.
• 섬유 $\mathfrak{gl}(n)_c$가 고정된 주된 부분행렬의 추적을 갖는 행렬을 매개변수화하는 Gelfand-Zeitlin 사상 $\Phi: \mathfrak{gl}(n) \to \mathbb{C}^{n(n+1)/2}$를 사용한다.
• 각 $A$-궤도를 연결된 아벨 대수기하군의 곱으로부터의 사상의 상으로 실현하기 위해, 재귀적 사상 구조 $\Gamma_n^{a_1,\dots,a_{n-1}}$를 구성한다.
• 각 수준 $i$에서 $Z_i$-궤도로 분해함으로써 섬유 $\mathfrak{gl}(n)^{sreg}_c$를 분석한다. 여기서 $Z_i$는 호환 가능한 부분행렬 데이터 공간 위에서 자유롭게 작용하는 군이다.
• 섬유 $\mathfrak{gl}(n)^{sreg}_c$ 내의 $A$-궤도 수를 세기 위해, $p_{c_i}(t)$와 $p_{c_{i+1}}(t)$ 사이의 공통근의 수인 조합론적 자료 $j_i$를 도입한다.
• $A$가 $\mathfrak{gl}(n)^{sreg}_c$ 위에서 추이적으로 작용하는 것과 동시에 $c \in \Theta_n$이 되는 것, 즉 연속하는 특성다항식이 근을 공유하지 않는 조건을 만족하는 것과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 기존에 연구된 일반적인 정규 준단순 행렬의 경우를 초월하여, Gelfand-Zeitlin 군 $A$가 $\mathfrak{gl}(n)$ 위에서 작용하는 궤도 구조의 완전한 기술은 무엇인가?
• RQ2 섬유 $\mathfrak{gl}(n)^{sreg}_c$ 내의 $A$-궤도 수는 주된 부분행렬의 스펙트럼 자료에 어떻게 의존하는가?
• RQ3 $A$가 섬유 위에서 추이적으로 작용하는 행렬의 집합은 정규 준단순 행렬의 경우를 초월해 넓힐 수 있는가?
• RQ4 연속하는 부분행렬의 특성다항식이 근을 공유할 경우, $\mathfrak{gl}(n)^{sreg}_c$ 내의 $A$-궤도의 대수적 구조는 어떻게 되는가?
• RQ5 자기군의 자유 작용을 이용해 모든 $A$-궤도를 통일된 방식으로 기술할 수 있는가?

주요 결과

• 섬유 $\mathfrak{gl}(n)^{sreg}_c$ 내의 $A$-궤도 수는 정확히 $2^{\sum_{i=1}^{n-1} j_i}$이며, 여기서 $j_i$는 $i$번째와 $(i+1)$번째 주된 부분행렬의 특성다항식 간의 공통근의 수이다.
• $\mathfrak{gl}(n)^{sreg}_c$ 내의 $A$-궤도들은 정확히 연결된 아벨 대수기하군 $Z = Z_1 \times \cdots \times Z_{n-1}$의 자유 대수기하학적 작용의 궤도들이다.
• $A$가 $\mathfrak{gl}(n)^{sreg}_c$ 위에서 추이적으로 작용하는 것은 $c \in \Theta_n$일 때에만 성립한다. 여기서 $\Theta_n$은 연속하는 특성다항식이 근을 공유하지 않는 매개변수의 집합이다.
• $\mathfrak{gl}(n)_\Theta = \bigcup_{c \in \Theta_n} \mathfrak{gl}(n)_c$는 $\mathfrak{gl}(n)$의 부분집합 중에서 $A$가 $\Phi$의 섬유 위에서 추이적으로 작용하는 최대 부분집합이다.
• $c \in \Theta_n$일 경우, 섬유 $\mathfrak{gl}(n)_c$는 대수기하학적 다양체로서 $Z_1 \times \cdots \times Z_{n-1}$과 동형이며, $\mathfrak{gl}(n)_\Theta$의 모든 원소는 강한 정규 원소이다.
• $\mathfrak{gl}(n)_\Theta$에 속하는 임의의 행렬의 상삼각부분은 $Z_i$-작용의 자유성과 $\Gamma_n^{a_1,\dots,a_{n-1}}$의 재귀적 구성 덕분에 하삼각부분에 의해 유일하게 결정된다.