[논문 리뷰] A class of non-weight modules over the Schrödinger-Virasoro algebras

Yumei Wang, Honglian Zhang|arXiv (Cornell University)|2018. 09. 14.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 L0, M0, 및 Y0에 의해 생성되는 부분대수의 보편 포락 대수를 이용하여 슈뢰딩거-비라스ورو 대수 sv(0) 위에서 자유 계수 1 모듈러스를 구성하고 분류한다. 이러한 모듈러스가 λ ∈ ℂ* 및 α ∈ ℂ에 의해 매개변수화됨을 증명하며, sv(1/2)에서 U(CL0 ⊕ CM0)-모듈러스로서의 자유 계수 1 모듈러스가 존재하지 않음을 보여, 이 대수적 구조에 대한 존재하지 않는다는 질문을 해결한다.

ABSTRACT

We construct and classify the free $U(\mathbb{C}L_0\oplus \mathbb{C}M_0\oplus\mathbb{C}Y_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=0$.Moreover, we show that the class of free $U(\mathbb{C}L_0\oplus\mathbb{C}M_0)$-modules of rank $1$ over the Schrödinger-Virasoro algebra $\mathfrak{sv}(s)$ for $s=\frac{1}{2}$ is nonexistent.

연구 동기 및 목표

• L0, M0, 및 Y0에 의해 생성되는 부분대수에 대해 sv(0) 위에서 자유 계수 1 모듈러스를 구성하고 분류하는 것.
• L0 및 M0에 의해 생성되는 부분대수에 대해 sv(1/2) 위에서 자유 계수 1 모듈러스가 존재하는지 여부를 판단하는 것.
• sv(1/2)의 경우 이러한 모듈러스의 존재하지 않음을 해결하여 sv(0)에 대한 완전한 분류를 제공하는 것.
• 특정 부분대수 위에서 자유 모듈러스에 대한 비중량 모듈러스 이론을 슈뢰딩거-비라스ورو 대수로 확장하는 것.

제안 방법

• sv(0) 위에서 자유 계수 1 모듈러스 Φ(λ, α)의 가족을 구성하기 위해 다항식 대수 ℂ[s, t, v] 위에서 기저 원소 Lm, Mm, 및 Ym의 작용을 명시적으로 정의한다.
• U(CL0 ⊕ CM0 ⊕ CY0)의 구조를 이용하여 L0, M0, 및 Y0를 포함하는 미분 연산자를 통한 모듈러스 작용을 정의한다.
• 교환관계와 귀납법을 적용하여 정의된 작용이 sv(0)의 리 대수 관계를 만족함을 검증함으로써 모듈러스 구조가 잘 정의되어 있음을 보장한다.
• Lm, Mm, 및 Ym의 작용을 생성자 1에 대해 분석함으로써 체계적인 분류 논증을 수행하여 문제를 L0 및 M0에 대한 다항식을 결정하는 것으로 환원한다.
• sv(1/2)의 경우 U(CL0 ⊕ CM0)-모듈러스로서의 자유 계수 1 모듈러스가 존재한다고 가정하고, Yp 작용과 [Yp, Mm] = 0 관계를 분석함으로써 모순을 도출한다.
• p ≠ q일 때 (q − p)Mp+q가 0이 아니라는 점을 이용하여, hp(L0, M0)가 C[M0]에 속해 있다고 가정했을 때의 부일관성을 보여, 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 U(CL0 ⊕ CM0 ⊕ CY0)에 대해 자유 계수 1 모듈러스로서의 sv(0) 위에 자유 계수 1 모듈러스가 존재하는가?
• RQ2 이러한 모듈러스가 λ ∈ ℂ* 및 α ∈ ℂ에 의해 매개변수화되어 완전히 분류될 수 있는가?
• RQ3 sv(1/2) 위에 U(CL0 ⊕ CM0)에 대해 자유 계수 1 모듈러스가 존재하는가?
• RQ4 리 대수 관계는 이러한 모듈러스에서 Yp 및 Mm의 작용에 대해 어떤 제약을 가하는가?

주요 결과

• U(CL0 ⊕ CM0 ⊕ CY0)에 대해 자유 계수 1 모듈러스로서의 sv(0) 위의 모든 자유 계수 1 모듈러스는 어떤 λ ∈ ℂ* 및 α ∈ ℂ에 대해 Φ(λ, α)와 동형이다.
• 분류는 완전하다: 이러한 모듈러스 M은 유일한 λ 및 α에 대해 M ≅ Φ(λ, α)를 만족한다.
• sv(1/2) 위에서 U(CL0 ⊕ CM0)-모듈러스로서의 자유 계수 1 모듈러스는 존재하지 않으며, Yp 작용과 [Yp, Yq] 관계를 통해 모순으로부터 도출된다.
• 모듈러스 생성자 1 위에서 Yp의 작용은 C[M0]에 속해야 하지만, 이는 p ≠ q일 때 (q − p)Mp+q가 0이 아니라는 점과 모순된다.
• 이 증명은 보편 포락 대수의 구조와 비자명한 교환관계, 특히 [Yp, Mm] = 0 및 [Yp, Yq] = (q − p)Mp+q에 의존한다.
• 존재하지 않음 결과는 hp(L0, M0)가 요구되는 형태와 sv(1/2)의 대수적 관계 사이의 부일관성으로 인해 성립한다.