[논문 리뷰] Three Cocycles on $\Diff(S^1)$ Generalizing the Schwarzian Derivative

Sofiane Bouarroudj, Valentin Ovsienko|ArXiv.org|1997. 10. 18.

Advanced Algebra and Geometry참고 문헌 13인용 수 24

한 줄 요약

이 논문은 선형 미분 연산자 모듈러스에서의 미분 코hom로지 계산을 통해 원환선의 미분형상군 Diff(S¹) 위에서 비자명한 1-코사이클 세 가닥을 구성한다. 이는 색시안 도함수를 일반화한 것으로, 주로 μ−λ = 2, 3, 4인 경우에만 존재하며, λ에 대한 특정 예외를 제외하고는 PSL(2,R)-불변성과 함께, 고전적 색시안 도함수의 사영 불변성의 새로운 안정 코hom로지 클래스를 일반화한다.

ABSTRACT

The first group of differentiable cohomology of $\Diff(S^1)$, vanishing on the Möbius subgroup $PSL(2,R)\subset\Diff(S^1)$, with coefficients in modules of linear differential operators on $S^1$ is calculated. We introduce three non-trivial $PSL(2,R)$-invariant 1-cocycles on $\Diff(S^1)$ generalizing the Schwarzian derivative.

연구 동기 및 목표

• Diff(S¹)의 선형 미분 연산자 모듈러스에서의 첫 번째 미분 코hom로지 군을 계산하고, 모바우스 부분군 PSL(2,R)에서 0이 되도록 제약을 두는 것.
• 고전적 색시안 도함수를 고차 미분 연산자로 일반화하여 1-코사이클로 정의하는 것.
• Diff(S¹) 위에서 값이 미분 연산자 공간에 있는 PSL(2,R)-불변 1-코사이클의 가닥을 특정하고 구체적으로 구성하는 것.
• 텐서 밀도와 미분 연산자 위에서의 Diff(S¹) 작용에 기인한 안정 코hom로지 클래스를 분류하며, 특히 슈타르름-리우빌 이론과 기하 양자화의 맥락에서 고려한다.

제안 방법

• 논문은 선형 미분 연산자 모듈러스 Dλ,μ 위에서의 미분 코hom로지 군 H¹_diff(Diff(S¹), PSL(2,R); Dλ,μ)을 계산하며, 텐서 밀도의 차수 λ 및 μ에 대한 미분 연산자의 모듈러스 구조를 활용한다.
• 논문은 텐서 밀도의 전이 법칙 f*λ(ϕ) = ϕ∘f⁻¹·(f⁻¹)′^λ를 사용하여, 두 매개변수 가닥의 Diff(S¹)-작용을 정의한다.
• 구성은 주로 미분 연산자와 그 주요 기호 및 저차항을 연결하는 PSL(2,R)-등변 기호 맵에 의존한다.
• 핵심 기법은 미분 연산자의 계수들이 미분형상에 의해 어떻게 변하는지 분석하는 것으로, 특히 첫 다섯 계수에 집중한다.
• 논문은 색시안 도함수 S(f)가 2차 미분형식 값의 1-코사이클임을 이용하여 고차수 일반화를 구축한다.
• 특정 경우, 예를 들어 D³₀,₅ 및 D³₋₄,₁의 3차 연산자에서, 코사이클 조건을 풀어 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 Diff(S¹)의 선형 미분 연산자 모듈러스에서의 첫 번째 미분 코hom로지 군의 구조는 무엇이며, PSL(2,R)에서 0이 되도록 제약을 두었을 때 어떻게 되는가?
• RQ2 고전적 색시안 도함수는 어떻게 고차 미분 연산자로 일반화되며, PSL(2,R)-불변성을 유지할 수 있는가?
• RQ3 Diff(S¹) 위에서 값이 Dλ,μ인 비자명한 1-코사이클이 존재하는 경우는 언제이며, 그 차수와 매개변수 의존성은 어떻게 되는가?
• RQ4 이러한 일반화된 코사이클에 대응하는 코hom로지 클래스는 텐서 밀도 모듈러스의 확장으로서 실현될 수 있는가?
• RQ5 μ−λ = 2, 3, 4인 경우와 예외 쌍 (λ,μ) = (−4,1), (0,5)일 때의 일반화된 코사이클에 대한 명시적 공식은 무엇인가?

주요 결과

• μ−λ = 2 이며 λ ≠ −1/2, μ−λ = 3 이며 λ ≠ −1, 또는 μ−λ = 4 이며 λ ≠ −3/2일 때, 미분 코hom로지 군 H¹_diff(Diff(S¹), PSL(2,R); Dλ,μ)은 1차원이다.
• 예외 쌍 (λ,μ) = (−4,1) 및 (0,5)에 대해서도 코hom로지 군은 1차원이어서 추가적인 비자명한 코사이클 존재를 시사한다.
• 색시안 도함수를 고차 미분 연산자로 일반화한 비자명한 PSL(2,R)-불변 1-코사이클 세 가닥이 구성되었으며, 이는 각각 차수의 차이 μ−λ = 2, 3, 4인 경우에 해당한다.
• D³₀,₅ 및 D³₋₄,₁에서의 코사이클에 대한 명시적 공식이 제공되었으며, V₀(f) 및 V₋₄(f)로 표기되며, S(f)와 그 차수 3 이하의 도함수를 포함한다.
• V₀(f) 및 V₋₄(f)가 1-코사이클 조건을 만족하고 비자명함을 입증하여, 이들이 Diff(S¹)-모듈러스의 비자명한 확장에 기여함을 확인한다.
• Eλ,λ+2 및 Eλ,λ+3 모듈러스는 각각 D²λ,λ+2 및 D³ν,ν+λ+3의 부분모듈러스로 실현되며, 일반화된 코사이클에 의해 정의된 확장과 동형이다.