[논문 리뷰] Minimal Faithful Representation of the Heisenberg Lie Algebra with Abelian Factor

Nadina Rojas|arXiv (Cornell University)|2012. 06. 26.

Advanced Topics in Algebra참고 문헌 8인용 수 8

한 줄 요약

이 논문은 특성 0인 체 위에서 차원 $2m+1$인 하이젠베르크 리 대수 $ \mathfrak{h}_m$와 차원 $n$인 아벨 리 대수 $ \mathfrak{a}_n$의 직합에 대한 최소 충실 표현 차원과 최소 충실 담비표현 차원을 결정한다. 자센하우스의 정리와 구조적 분해를 이용하여 $ \mu(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n} \rceil$ 과 $ \mu_{ \text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n+1} \rceil$ 임을 증명하며, 담비표현 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

For a finite dimensional Lie algebra $\g$ over a field $\k$ of characteristic zero, the $μ$-function (respectively $μ_{nil}$-function) is defined to be the minimal dimension of $V$ such that $\g$ admits a faithful representation (respectively a faithful nilrepresentation) on $V$. Let $\h_m$ be the Heisenberg Lie algebra of dimension $2m + 1$ and let $\mathfrak{a}_n$ be the abelian Lie algebra of dimension $n$. The aim of this paper is to compute $μ(\h_m \oplus \mathfrak{a}_n)$ and $μ_{nil}(\h_m \oplus \mathfrak{a}_n)$ for all $m,n \in \mathbb{N}$.

연구 동기 및 목표

• 특성 0인 체 위에서 하이젠베르크 리 대수 $ \mathfrak{h}_m$ 와 아벨 리 대수 $ \mathfrak{a}_n$ 의 직합에 대한 최소 충실 표현 차원 $ \mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$을 계산하는 것.
• 동일한 리 대수에 대한 최소 충실 담비표현 차원 $ \mu_{ \text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$을 결정하는 것.
• 표현 이론적 기법과 구조적 분해를 이용하여 두 불변량에 대한 날카로운 하한을 확립하는 것.
• 기존의 $ \mathfrak{h}_m$ 과 $ \mathfrak{a}_n$ 에 대한 결과를 각각의 직합으로 일반화하는 것.
• 비자명한 아벨 성분을 가진 담비표현을 갖는 리 대수의 표현 이론적 복잡성을 해결하는 것.

제안 방법

• 모든 유한차원 표현이 연산자가 스칼라 더하기 담비표현으로 작용하는 일반화된 고유부분공간으로 분해되도록 Zassenhaus의 정리를 적용한다.
• 중심과 교환자부분대수의 구조를 이용하여 $ \mathfrak{h}_m$ 과 $ \mathfrak{a}_n$ 에 대응하는 부분공간에서 충실한 담비표현을 분리한다.
• 최소 차원의 충실한 표현과 충실한 담비표현을 명시적으로 구성하여 상한을 확립한다.
• 기약 성분의 차원을 분석하고 아벨 리 대수의 최소 표현에 대한 기존 결과를 적용하여 하한을 유도한다.
• 식 $ \min\{a+b : a,b \in \mathbb{N}, ab \geq k\} = \lceil 2\sqrt{k} \rceil$ 를 이용하여 아벨 대수의 충실 표현의 차원을 유 bounds한다.
• 담비표현의 차원 제약과 $ \mathfrak{a}_n$ 의 충실 표현의 제약을 조합하여 최종 하한을 도출한다.

실험 결과

연구 질문

• RQ1 모든 $m,n \in \mathbb{N}$에 대해 $ \mathfrak{h}_m \oplus \mathfrak{a}_n$ 의 최소 충실 표현 차원은 얼마인가요?
• RQ2 모든 $m,n \in \mathbb{N}$에 대해 $ \mathfrak{h}_m \oplus \mathfrak{a}_n$ 의 최소 충실 담비표현 차원은 얼마인가요?
• RQ3 $\mathfrak{h}_m$ 과 $ \mathfrak{a}_n$ 의 최소 표현 차원이 직합에서 어떻게 조합되는가 하는가 하는가? ($\mu(\mathfrak{g}_1 \oplus \mathfrak{g}_2) \leq \mu(\mathfrak{g}_1) + \mu(\mathfrak{g}_2)$는 일반적으로 담비표현을 갖는 리 대수에서는 등호가 성립하지 않기 때문이다.)
• RQ4 Zassenhaus 분해와 담비표현 이론을 이용하여 $ \mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 과 $ \mu_{ \text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 에 대한 날카로운 하한을 유도할 수 있는가?
• RQ5 아벨 성분 $ \mathfrak{a}_n$ 의 존재는 $ \mathfrak{h}_m$ 의 경우에 비해 최소 표현 차원에 어떤 영향을 미치는가?

주요 결과

• $ \mathfrak{h}_m \oplus \mathfrak{a}_n$ 의 최소 충실 표현 차원은 $ \mu(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n} \rceil$ 이다.
• $ \mathfrak{h}_m \oplus \mathfrak{a}_n$ 의 최소 충실 담비표현 차원은 $ \mu_{ \text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n) = m + \lceil 2\sqrt{n+1} \rceil$ 이다.
• $ \mu(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 의 하한은 표현 공간을 $ \mathfrak{h}_m$ 이 충실하게 담비표현으로 작용하는 성분과 $ \mathfrak{a}_n$ 이 보완부분공간에서 충실한 표현으로 작용하는 성분으로 분해함으로써 도출된다.
• $ \mu_{ \text{nil}}(\mathfrak{h}_m \oplus \mathfrak{a}_n)$ 의 하한은 담비표현의 상의 차원을 분석하고 아벨 대수에 대해 $ \lceil 2\sqrt{n+1} \rceil$ 의 최소성 적용을 통해 확립된다.
• 상한은 명시적인 표현 구성으로 달성되며, 이는 하한이 날카로운 것을 확인한다.
• 결과는 알려진 값으로 일반화된다: $n=0$일 때 $ \mu_{ \text{nil}}(\mathfrak{h}_m) = m+2$ 이고 $ \mu(\mathfrak{h}_m) = m+2$ 이며, 이는 정리 1.1(1) 및 (2)와 일치한다.