[논문 리뷰] There are no rigid filiform Lie algebras of low dimension

Paulo Tirao, Sonia Vera|arXiv (Cornell University)|2017. 09. 14.

Advanced Topics in Algebra참고 문헌 3인용 수 5

한 줄 요약

이 논문은 9, 10, 11차원에서 린드러미드 복소 필리폼 리 대수는 존재하지 않음을 증명한다. 이는 필리폼 리 대수의 다양체의 조밀한 조건에서 모든 이러한 대수에 대해 비자명한 선형 변형을 구성함으로써 이루어진다. 이 방법은 2차원의 이상이 아닌 이상의 이상에서 유도된 특정 2-코호몰로지류를 도출하고, 그 결과로 얻어진 변형된 대수가 원래 대수와 미등형임을 보여, 전체 리 대수 다양체와 필리폼 대수의 부분다양체에서의 비강성임을 증명한다.

ABSTRACT

We prove that there are no rigid complex filiform Lie algebras in the variety of (filiform) Lie algebras of dimension less than or equal to 11. More precisely we show that in any Euclidean neighborhood of a filiform Lie bracket (of low dimension), there is a non-isomorphic filiform Lie bracket. This follows by constructing non trivial linear deformations in a Zariski open dense set of the variety of filiform Lie algebras of dimension 9, 10 and 11. (In lower dimensions this is well known.)

연구 동기 및 목표

• 낮은 차원에서 린드러미드 필리폼 리 대수의 존재 문제를 해결하기 위해, 특히 9, 10, 11차원에서의 존재 여부를 규명한다.
• 베르그네의 추측(강한 노르말리티를 갖는 리 대수가 존재하지 않음)을 필리폼 경우에 특별히 확장한다.
• 필리폼 리 대수가 전체 리 대수 다양체뿐 아니라 필리폼 대수의 부분다양체 내에서도 비강성임을 입증한다.
• 2차원 이상의 이상에서의 도자이언을 이용한 구조적 방법을 통해 필리폼 리 대수의 비자명한 변형을 생성하는 방법을 제공한다.

제안 방법

• 기저 벡터 공간에서 2차원 이상의 이상 h를 갖는 필리폼 리 대수 μ에 대해, h 위에서 정의된 도자이언 D로부터 유도된 2-코호몰로지 φ를 사용하여 선형 변형 μₜ = μ + tφ를 구성한다.
• 변형 φ_D를 다음과 같이 정의한다: φ_D(x₀,x₁)=0, φ_D(x₁,h)=D(h), φ_D(h,h')=0 (h,h'∈h), 이는 φ_D가 μ에 대해 리 대수이자 2-코호몰로지임을 보장한다.
• 적합한 기저에서의 등형성 방정식을 명시적으로 분석함으로써, μₜ가 충분히 작은 t≠0일 때 μ와 등형이 아니라는 것을 증명함으로써 변형이 비자명함을 검증한다.
• 9, 10, 11차원에 대해 Fⁿ 다양체의 기약 성분의 구조를 이용하여, 구성된 변형 집합이 조밀한 조건임을 보여, 결과가 전반적으로 성립함을 보장한다.
• 특정 열린 집합 Uⁿ ⊆ Fⁿ에서 변형이 비자명함을 이용하여, 적합한 기저를 통한 필리폼 대수의 알려진 매개화를 활용한다.
• 등형성의 가정에서 도출된 모순을 통해, 구조 상수의 계수 비교를 통해 μ와 μₜ 사이의 등형성 불가능성을 확립한다.

실험 결과

연구 질문

• RQ1 복소수 체 위에서 9, 10, 11차원에서 린드러미드 필리폼 리 대수가 존재하는가?
• RQ2 낮은 차원의 모든 필리폼 리 대수에 대해 비자명한 선형 변형을 체계적으로 구성할 수 있는가?
• RQ3 9–11차원에서 필리폼 리 대수의 비강성은 전체 리 대수 다양체와 필리폼 대수의 부분다양체 내에서의 비강성으로 이르는가?
• RQ4 8차원 이하에서의 비강성 부재가 9–11차원으로 확장되는가? 만약 그렇다면, 그 메커니즘은 무엇인가?
• RQ5 2차원 이상의 이상에서의 호환 가능한 도자이언을 기반으로 한 변형 방법을 전반적인 필리폼 리 대수에 대해 일반화하여 비강성을 증명할 수 있는가?

주요 결과

• 9, 10, 11차원에서 복소 필리폼 리 대수는 존재하지 않으며, 이는 각각의 다양체의 조밀한 열린 부분집합에서 비자명한 선형 변형을 구성함으로써 증명된다.
• 9, 10, 11차원의 각 필리폼 리 대수 μ에 대해, t≠0이면 μₜ = μ + tφ가 μ와 등형이 아니라는 것을 보여, 비강성임을 확인한다.
• F⁹, F¹⁰, F¹¹에서의 열린 집합 U⁹ ⊆ F⁹, U¹⁰ ⊆ F¹⁰, U¹¹ ⊆ F¹¹는 각각의 다양체에서 조밀하다. 이는 기약 성분들과의 비자명한 교차를 보여준다.
• 8차원에서는 동일한 변형 방법(D=D³를 사용)이 적용되며, 이는 등형이 아닌 변형을 생성함으로써 F⁸에서의 비강성임을 증명한다. 이는 고차원에서 사용된 핵심 명제의 실패에도 불구하고 성립한다.
• 7차원에서는 이 방법이 성공적으로 적용되며, 모든 필리폼 리 대수가 비자명한 필리폼 변형을 갖는다는 것을 보여, F⁷에서의 비강성임을 확인한다.
• 결과적으로 필리폼 리 대수가 전체 리 대수 다양체뿐 아니라 필리폼 대수의 부분다양체 내에서도 비강성임을 확인함으로써, 이 클래스에서의 베르그네의 추측을 지지한다.