[논문 리뷰] Structure of symplectic invariant Lie subalgebras of symplectic derivation Lie algebras

Shigeyuki Morita, Takuya Sakasai외 1명|arXiv (Cornell University)|2014. 04. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 대칭군의 표현 이론과 표준 메트릭을 사용하여, 심플렉틱 유도 리 대수 $χ_{g,1}^{ℓ}$의 심플렉틱 불변 부분공간에 대해 차수 20까지의 직교 직합 분해를 수립한다. 청각 다이어그램으로 색인된 기약 성분의 차원에 대한 명시적 공식을 제공하며, 관련된 리 대수 $χ_{g,*}$, $χ_g$, 및 $χ_{g,1}$ 간의 구조적 관계를 명확히 하고, 새로운 구성 방법을 통해 존슨 이미지와 이상물 내에서의 새로운 차단 조건을 드러낸다.

ABSTRACT

We study the structure of the symplectic invariant part $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$ of the Lie algebra $\mathfrak{h}_{g,1}$ consisting of symplectic derivations of the free Lie algebra generated by the rational homology group of a closed oriented surface $Σ_{g}$ of genus $g$. First we describe the orthogonal direct sum decomposition of this space which is induced by the canonical metric on it and compute it explicitly up to degree $20$. In this framework, we give a general constraint which is imposed on the $\mathrm{Sp}$-invariant component of the bracket of two elements in $\mathfrak{h}_{g,1}$. Second we clarify the relations among $\mathfrak{h}_{g,1}$ and the other two related Lie algebras $\mathfrak{h}_{g,*}$ and $\mathfrak{h}_{g}$ which correspond to the cases of a closed surface $Σ_g$ with and without base point $*\inΣ_g$. In particular, based on a theorem of Labute, we formulate a method of determining these differences and describe them explicitly up to degree $20$. Third, by giving a general method of constructing elements of $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$, we reveal a considerable difference between the two submodules of it, one is the $\mathrm{Sp}$-invariant part of a certain ideal $\mathfrak{j}_{g,1}$ and the other is that of the Johnson image. Finally we combine these results to determine the structure of $\mathfrak{h}_{g,1}$ completely up to degree $6$ including the unstable cases where the genus $1$ case has an independent meaning. In particular, we see a glimpse of the Galois obstructions explicitly from our point of view.

연구 동기 및 목표

• 심플렉틱 유도 리 대수 $χ_{g,1}$의 심플렉틱 불변 부분공간 $χ_{g,1}^{\mathrm{Sp}}$의 구조를 규명하는 것. 이는 계수 $g$의 표면의 유리수 호모로지 위의 자유 리 대수에 작용한다.
• 기저점이 있는지 여부에 따라 대응하는 표면에 대응하는 $χ_{g,1}$, $χ_{g,*}$, 및 $χ_g$ 간의 구조적 차이를 명확히 하는 것.
• 특정 $σ$-불변 부분공간과 이상물 $χ_{g,1}^+$의 존슨 이미지의 $\mathrm{Sp}$-불변 부분공간을 구별하는 데 사용할 수 있는 일반적인 방법을 개발하는 것.
• 차수 20까지의 $χ_{g,1}(2k)^{\mathrm{Sp}}$의 직교 분해를 명시적으로 계산하는 것. 이는 차원과 기약 성분을 포함한다.

제안 방법

• 저자들은 하논과 월즈의 결과로부터 유도된 $(H_{\mathbb{Q}}^{⊗(2k+2)})^{\mathrm{Sp}}$ 위의 표준 메트릭을 사용하여, $χ_{g,1}(2k)^{\mathrm{Sp}}$를 청각 다이어그램 $\lambda$에 의해 색인된 직교 부분공간 $H_\lambda$로 분해한다. 여기서 $\lambda$는 $k+1$개의 상자를 가진다.
• 그들은 대칭군 $\mathfrak{S}_{2k+2}$의 특성 이론을 적용하며, 콘체비치가 정의한 특성 $\chi_{2k}$와 이중 청각 다이어그램 $\lambda^\delta$에 관련된 기약 표현의 특성 $\chi_{\lambda^\delta}$를 사용하여 각 $H_\lambda$의 차원을 계산한다.
• 분해는 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}} \cong \bigoplus_{|\lambda|=k+1, h(\lambda)\leq g} H_\lambda$로 표현되며, 차원 공식은 $\mathrm{dim}\, H_\lambda = \frac{1}{(2k+2)!} \sum_{\gamma \in \mathfrak{S}_{2k+2}} \chi_{2k}(\gamma) \chi_{\lambda^\delta}(\gamma)$이다.
• 저자들은 라부테의 정리를 사용하여 세 리 대수 $\mathfrak{h}_{g,1}$, $\mathfrak{h}_{g,*}$, 및 $\mathfrak{h}_g$를 연결하고, 차수 20까지의 정확한 차이점을 명시적으로 묘사한다.
• 그들은 $\mathfrak{h}_{g,1}^{\mathrm{Sp}}$에 속하는 원소를 일반적으로 구성하는 방법을 도입하여, 존슨 이미지의 $\mathrm{Sp}$-불변 부분공간과 이상물 $\mathfrak{j}_{g,1}$의 $\mathrm{Sp}$-불변 부분공간을 비교함으로써, 리 대수 내에서 중요한 구조적 차이를 드러낸다.
• 차수 14에서 20까지의 직교 분해 표를 명시적으로 계산하여, $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$가 $\lambda^\delta$에 의해 색인된 기약 $\mathrm{Sp}$-모듈로 분해됨을 보여준다.

실험 결과

연구 질문

• RQ1 기약 $\mathrm{Sp}$-모듈로의 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$의 직교 분해는 무엇이며, 대칭군의 특성으로 어떻게 계산할 수 있는가?
• RQ2 리 대수 $\mathfrak{h}_{g,1}$, $\mathfrak{h}_{g,*}$, 및 $\mathfrak{h}_g$ 사이의 구조적 차이는 무엇이며, 차수 20까지의 정확한 묘사는 무엇인가?
• RQ3 리 대수 $\mathfrak{h}_{g,1}$ 내에서 존슨 이미지의 $\mathrm{Sp}$-불변 부분공간과 이상물 $\mathfrak{j}_{g,1}$의 $\mathrm{Sp}$-불변 부분공간 간의 관계는 무엇인가?
• RQ4 어떻게 체계적으로 $\mathrm{Sp}$-불변 원소를 $\mathfrak{h}_{g,1}$에 구성할 수 있으며, 이러한 구성에서 어떤 구조적 통찰을 얻을 수 있는가?
• RQ5 차수 6까지의 $\mathfrak{h}_{g,1}$의 전체적인 구조는 무엇이며, 계수 1과 같은 비안정 케이스는 어떻게 되며, 갈로아 차단 조건은 어떻게 나타나는가?

주요 결과

• 공간 $\mathfrak{h}_{g,1}(2k)^{\mathrm{Sp}}$는 직교 직합 분해 $\bigoplus_{|\lambda|=k+1, h(\lambda)\leq g} H_\lambda$를 가지며, 여기서 각 $H_\lambda$는 $k+1$개의 상자를 가진 청각 다이어그램 $\lambda$에 의해 색인된 기약 $\mathrm{Sp}$-모듈이다.
• 각 $H_\lambda$의 차원은 공식 $\mathrm{dim}\, H_\lambda = \frac{1}{(2k+2)!} \sum_{\gamma \in \mathfrak{S}_{2k+2}} \chi_{2k}(\gamma) \chi_{\lambda^\delta}(\gamma)$로 주어지며, 여기서 $\chi_{2k}$는 모비우스 함수와 순환 유형을 통해 정의된다.
• 차수 14($2k=14$)일 때, $g \geq 7$이면 $\dim \mathfrak{h}_{g,1}(14)^{\mathrm{Sp}} = 8817$이며, 분해는 $[21^6]^\delta$로 주어져 안정한 극한을 나타낸다.
• $g \geq 9$일 때 $\mathfrak{h}_{g,1}(20)^{\mathrm{Sp}}$의 분해는 $[21^8]^\delta$이며, $g=9$에서 안정화되며 차원은 29729988이다.
• 구성 방법을 통해, 존슨 이미지의 $\mathrm{Sp}$-불변 부분공간과 이상물 $\mathfrak{j}_{g,1}$의 $\mathrm{Sp}$-불변 부분공간 간의 차이가 비자명함을 확인하여 리 대수 내에서 중요한 구조적 차이를 드러낸다.
• $\mathfrak{h}_{g,1}$의 전체적인 구조는 차수 6까지 규명되었으며, 계수 1의 경우도 포함되어 있으며, 분해를 통해 갈로아 차단 조건이 명시적으로 관찰된다.