[논문 리뷰] Eigenvalue Coincidences and Multiplicity Free Spherical Pairs

Mark Colarusso, Sam Evens|arXiv (Cornell University)|2014. 10. 15.

Advanced Algebra and Geometry참고 문헌 18인용 수 3

한 줄 요약

이 논문은 복소수 체 위의 일반선형 대수군 gl(n,C)에서 복소수 체 위의 직교 대수군 so(n,C)로 고유값 일치 다양체를 확장하며, 직교 리 대수에서 K-궤도에 대한 기하학적이고 불변론적인 프레임워크를 수립한다. 최대 차원의 K-궤도가 K-불변 생성자의 미분들이 선형 독립인 점들과 대응됨을 증명함으로써 코스타ント의 정리를 일반화하고, 겔판트-체이틀린 해밀토니안 시스템에서 핵심적인 역할을 하는 강력한 정규 원소의 새로운 특성화를 가능하게 한다.

ABSTRACT

In recent work, we related the structure of subvarieties of $n imes n$ complex matrices defined by eigenvalue coincidences to $GL(n-1,\mathbb{C})$-orbits on the flag variety of $\mathfrak{gl}(n,\mathbb{C})$. In the first part of this paper, we extend these results to the complex orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n,\mathbb{C})$. In the second part of the paper, we use these results to study the geometry and invariant theory of the $K$-action on $\mathfrak{g}$, in the cases where $(\mathfrak{g}, K)$ is $(\mathfrak{gl}(n,\mathbb{C}), GL(n-1,\mathbb{C}))$ or $(\mathfrak{so}(n,\mathbb{C}), SO(n-1,\mathbb{C}))$. We study the geometric quotient $\mathfrak{g} o \mathfrak{g}//K$ and describe the closed $K$-orbits on $\mathfrak{g}$ and the structure of the zero fibre. We also prove that for $x\in \mathfrak{g}$, the $K$-orbit $Ad(K)\cdot x$ has maximal dimension if and only if the algebraically independent generators of the invariant ring $\mathbb{C}[\mathfrak{g}]^{K}$ are linearly independent at $x$, which extends a theorem of Kostant. We give applications of our results to the Gelfand-Zeitlin system.

연구 동기 및 목표

• gl(n,C)에서의 고유값 일치 다양체 연구를 복소수 직교 리 대수 so(n,C)로 확장하는 것.
• K = SO(n-1,C)일 때 g = so(n,C)에서 K의 작용에 대한 기하학적 구조와 불변론적 이론을 몰입사상 g → g//K를 통해 분석하는 것.
• 닫힌 K-궤도의 특성화와 Kostant-Wallach 사상 Φn의 영섬의 구조 기술.
• 코스타ント의 정리를 일반화하여 최대 차원 K-궤도가 K-불변 생성자의 미분들이 선형 독립인 조건과 대응됨을 보이는 것.
• 이러한 결과를 so(n,C)에서의 겔판트-체이틀린 해밀토니안 시스템에 적용하여 강력한 정규 원소의 정의를 단순화하는 것.

제안 방법

• so(n,C)에서의 고유값 일치 다양체 g(≥i)를 정의하여, x의 스펙트럼과 (n−1)×(n−1) 상단-좌측 부분행렬 x_k의 스펙트럼이 중복도를 고려한 채로 최소한 2i개의 고유값을 共通으로 가지는 x의 집합으로 정의한다. (± 대칭성을 고려함).
• g → C^k인 Kostant-Wallach 사상 Φn을 정의하고, 몰입사상 g//K를 통해 기하학적 몰입과 영섬 Φn⁻¹(0)을 연구한다.
• Knop의 정리를 적용하여 C[g]^K가 다항식 대수임을 보이고, 따라서 몰입사상이 Φn과 동일시됨을 보인다.
• Borel 부분대수의 K-포화를 통해 플라그 다양체 B_g에서의 K-궤도와 고유값 일치 다양체의 구조를 연결한다.
• 구조적 조건이 만족될 경우, 사상 Ψ: h^⊥ → h^⊥//H의 평탄성을 차원 상한과 순간사상의 온전함을 이용해 증명한다.
• g₁,…,g_k의 생성자들에 대한 다항식으로 f|_h^⊥가 표현됨을 이용하여, Ψ⁻¹(0)에 속하는 원소들이 영항성이고 순간사상의 상에 속함을 보인다.

실험 결과

연구 질문

• RQ1 so(n,C)에서의 고유값 일치 다양체는 gl(n,C)에서의 것과 어떻게 일반화되며, 그 기하학적 구조는 어떠한가?
• RQ2 K = SO(n−1,C) 작용 하에서 g = so(n,C)에서의 닫힌 K-궤도의 구조는 어떠한가?
• RQ3 Kostant-Wallach 사상 Φn의 영섬은 g의 기하학적 구조와 불변환 C[g]^K와 어떻게 관련이 있는가?
• RQ4 최대 차원 K-궤도의 조건은 K-불변 생성자의 미분들의 선형 독립성으로 특성화될 수 있는가?
• RQ5 강력한 정규 원소의 새로운 특성화가 so(n,C)에서의 겔판트-체이틀린 해밀토니안 시스템의 구성과 분석을 어떻게 단순화하는가?

주요 결과

• so(n,C)에서 고유값 일치 다양체 g(≥i)의 기약 성분들은 플라그 다양체 B_g에서의 K-궤도에 의해 인덱싱된다.
• 영섬 Φn⁻¹(0)은 차원이 dim g − dim g//K인 등차원 다양체이며, 그 기약 성분들은 B_g에서의 K-궤도와 관련이 있다.
• Kostant-Wallach 사상 Φn는 차원 상한과 순간사상의 온전함을 통해 평탄함을 증명하였다.
• K-궤도 Ad(K)·x가 최대 차원을 가질 조건은 C[g]^K의 대수적으로 독립인 생성자들의 미분들이 x에서 선형 독립일 때이며, 이는 코스타ント의 정리를 일반화한 것이다.
• n-강력 정규 원소 집합은 n = 3일 때에만 비어 있지 않으며, 영섬 Φ⁻¹(0)에는 강력 정규 원소가 포함되어 있지 않다.
• 미분들의 선형 독립성에 의한 n-강력 정규 원소의 새로운 정의는 슬라이스를 사용하지 않고도 so(n,C)에서 겔판트-체이틀린 시스템을 직접 구성할 수 있도록 한다.