[논문 리뷰] The Gelfand-Zeitlin integrable system and its action on generic elements of gl(n) and so(n)

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

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

한 줄 요약

이 논문은 gl(n)에서 so(n)로 Gelfand-Zeitlin 통합계를 확장하며, 정칙 고유값을 가진 일반적인 고유값 궤도의 반차원인 d에 대해 복소수 d차원 공간 ℂ^d의 해석적 작용을 복소수 정규직교 리 대수 so(n)에 구성한다. 이 작용이 so(n) 내 정칙 준단순 원소들의 조르지-오픈 부분집합에서 추이적이며, Kostant와 Wallach의 gl(n)에 대한 결과를 일반화하여, 영부분대수와 정칙 준단순 섬유에서 A-궤도의 완전한 기술을 제공한다.

ABSTRACT

In recent work Bertram Kostant and Nolan Wallach ([KW1], [KW2]) have defined an interesting action of a simply connected Lie group $A$ isomorphic to \mathbb{C}^{n\choose 2} on gl(n) using a completely integrable system derived from Gelfand-Zeitlin theory. In this paper we show that an analogous action of \mathbb{C}^{d} exists on the complex orthogonal Lie algebra so(n), where d is half the dimension of a regular adjoint orbit in so(n). In [KW1], Kostant and Wallach describe the orbits of $A$ on a certain Zariski open subset of regular semisimple elements in gl(n). We extend these results to the case of so(n). We also make brief mention of the author's results in [Col1], which describe all $A$-orbits of dimension {n\choose 2} in gl(n).

연구 동기 및 목표

• Gelfand-Zeitlin 통합계와 그에 관련된 ℂ^d의 작용을 gl(n)에서 so(n)로 확장하는 것.
• 정칙 다항식에서 유도된 해밀토니안 벡터장들을 사용하여 so(n)에 대한 ℂ^d의 해석적 작용을 구성하는 것.
• so(n) 내 정칙 준단순 원소들의 조르지-오픈 부분집합에서 이 작용의 궤도 구조를 기술하는 것.
• Kostant와 Wallach의 gl(n)에 대한 결과를 직교 경우로 일반화하여, so(n)에 대해 새로운 증명과 완전한 진술을 제공하는 것.
• 영부분대수 𝔤𝔩(n)₀ˢʳᵉᵍ 내 A-궤도를 분류하고, 대각 카르탕 부분대수를 포함하는 보렐 부분대수와 관련짓는 것.

제안 방법

• x ∈ so(n)의 주부분행렬의 트레이스 또는 펄라프언트를 사용하여 정의된 함수 f_{i,j}를 이용해 so(n) 위에 완전히 통합 가능한 체계를 구성한다.
• 벡터장의 리 대수 𝔞를 1 ≤ i ≤ n−1 및 1 ≤ j ≤ r_i에 대해 f_{i,j}와 관련된 해밀토니안 벡터장들의 스칼라 선형 조합으로 정의한다.
• 𝔞가 A ≅ ℂ^d의 전역 해석적 작용으로 통합되며, [KW1]에서의 gl(n) 결과를 일반화한다.
• f_{i,j} 함수들이 보존되고 대수적으로 독립적이라는 성질을 이용하여, 정칙 고유값 궤도에서의 완전한 통합 가능성을 확립한다.
• Gelfand-Zeitlin 사상 Ψ: so(n) → ℂ^{n(n+1)/2}의 섬유를 분석하고, 작용이 추이적이게 되는 매개변수 집합 Θ_n을 식별함으로써 정칙 준단순 원소들에서의 작용을 연구한다.
• 웨일 군 작용을 이용하여, A-궤도의 폐포를 순열을 통해 분류함으로써, 영부분대수의 폐포를 보렐 부분대수의 영부분대수와 관련짓는다.

실험 결과

연구 질문

• RQ1 복소수 정규직교 리 대수 so(n)에 대해 Kostant-Wallach 작용의 유사체가 존재하는가?
• RQ2 Gelfand-Zeitlin 통합계를 so(n)로 확장하여, 정칙 준단순 원소들에서 ℂ^d의 추이적 작용을 얻을 수 있는가?
• RQ3 so(n)의 영부분대수 내 A-궤도의 구조는 어떠한가? 그리고 보렐 부분대수와는 어떤 관계가 있는가?
• RQ4 매개변수 c ∈ ℂ^{n(n+1)/2} 중에서 A의 작용이 Ψ⁻¹(c) ∩ so(n)ˢʳᵉᵍ 섬유에서 추이적이게 되는 것은 언제인가?
• RQ5 영부분대수 내 A-궤도의 폐포는 표준 카르탕 부분대수를 포함하는 보렐 부분대수의 동치류와 어떻게 관련이 있는가?

주요 결과

• 정칙 고유값 궤도의 반차원 d에 대해, so(n)에 대해 ℂ^d의 해석적 작용이 존재하며, Kostant와 Wallach의 gl(n) 결과를 확장한다.
• so(n) 내 정칙 준단순 원소들의 조르지-오픈 부분집합에서 ℂ^d의 작용이 추이적이기 위한 필요충분조건은 해당 매개변수 c가 조르지-오픈 집합 Θ_n ⊂ ℂ^{n(n+1)/2}에 속하는 것이다.
• 영부분대수 𝔤𝔩(n)₀ˢʳᵉᵍ 내에는 정확히 2^{n−1}개의 A-궤도가 존재하며, 각 궤도의 폐포는 대각 카르탕 부분대수를 포함하는 보렐 부분대수의 영부분대수이다.
• 각 A-궤도의 폐포는 유일한 웨일 군 원소 σ = σ₁⋯σ_{n−1}에 의한 전치를 통해 엄격하게 하삼각 행렬과 쌍대일치한다. 여기서 각 σ_i는 항등원 또는 S_{i+1}의 장요소이다.
• Gelfand-Zeitlin 사상의 섬유에서 A의 작용이 추이적이게 되는 강한 정칙 원소들의 최대 집합은 ℤ_Θ = Ψ⁻¹(Θ_n) ∩ 𝔤𝔩(n)ˢʳᵉᵍ 이다.
• 𝔤𝔩(n)₀ˢʳᵉᵍ 내 A-궤도의 구조는 (ℂ×)^{n−1} × ℂ^{{ninom{2}} - n + 1}의 자유 대수적 작용으로 기술되며, 궤도 수와 폐포의 구조를 확인한다.