[논문 리뷰] Differential operators on Lie and graded Lie algebras

G. Sardanashvily|arXiv (Cornell University)|2010. 04. 01.

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

한 줄 요약

이 논문은 리 대수 및 그레이드 리 대수 위에서 미분 연산자를 다루는 새로운 프레임워크를 제안한다. 여기서 곱셈 연산을 도약자로 간주함으로써 일阶 미분 연산자로 간주한다. 고계 연산자는 일阶 연산자의 복합으로 정의되며, 리 대수 위에 체발리–일레인버그 유형의 미분 해석학을 수립한다. 중심이 자명하고 모든 도약자가 내부 도약자인 경우, 이는 기존 복합체와 동치임을 보여준다. 이 접근법은 유한 차원 리 대수, 파울슨 대수, 벡터장, 그리고 캐논칼 교환/반교환 관계 대수로 일반화된다.

ABSTRACT

Theory of differential operators on associative algebras is not extended to the non-associative ones in a straightforward way. We consider differential operators on Lie algebras. A key point is that multiplication in a Lie algebra is its derivation. Higher order differential operators on a Lie algebra are defined as composition of the first order ones. The Chevalley--Eilenberg differential calculus over a Lie algebra is defined. Examples of finite-dimensional Lie algebras, Poisson algebras, algebras of vector fields, and algebras of canonical commutation relations are considered. Differential operators on graded Lie algebras are defined just as on the Lie ones.

연구 동기 및 목표

• 비결합적 리 대수 및 그레이드 리 대수로의 표준 정의가 도약자의 모듈 구조가 없어 실패하는 바탕으로, 가환 및 결합 대수에서의 미분 연산자 이론을 비결합적 리 대수 및 그레이드 리 대수로 확장한다.
• 비결합 대수에서 도약자가 표준 고계 미분 연산자 조건을 만족하지 못하는 기본 문제를 해결하기 위해, 고계 연산자를 일阶 연산자의 복합으로 재정의한다.
• 리 대수 위에 체발리–일레인버그 유형의 미분 해석학을 수립하여, 대수가 자명한 중심을 가지며 모든 도약자가 내부 도약자인 경우 고전적 복합체로 일반화됨을 보인다.
• 유한 차원 리 대수, 파울슨 대수, 벡터장, 캐논칼 교환/반교환 관계 대수 등 구체적인 예를 제시함으로써 이 프레임워크의 적용 가능성을 입증한다.
• 그레이드 리 대수 및 모듈, 특히 그레이드 다양체와 스위퍼 기하학을 포함하여 이 이론을 일반화함으로써, 도약자가 이러한 구조 위에서 일阶 미분 연산자로 작용함을 보여준다.

제안 방법

• 표준 가환환 정의를 일반화하기 위해 리 대수 $ A $ 위에서 미분 연산자를 정의한다: $ ilde{ abla}_{a_0} ilde{ abla}_{a_1} ilde{ abla}_{a_k} abla = 0 $, 여기서 $ ilde{ abla}_a abla(b) = a abla(b) - abla(ab) $.
• 곱셈 연산이 도약자임을 보이며, 이는 고계 연산자의 기초가 되는 일阶 미분 연산자임을 보여준다.
• 리 대수 코hom로 구조를 기반으로 한 미분 복합체를 정의함으로써 리 대수 $ A $ 위에 체발리–일레인버그 미분 해석학을 수립한다.
• 대수가 자명한 중심을 가지며 모든 도약자가 내부 도약자인 경우, 체발리–일레인버그 해석학이 고전적 체발리–일레인버그 복합체와 일치함을 증명한다.
• 그레이드 리 대수로의 프레임워크 확장을 위해 그레이드 도약자를 정의하고, 그레이드 리 괄호 $ [u, u'] = u \rhd u' - (-1)^{|u||u'|} u' \rhd u $ 를 사용하여 슈퍼기하학과의 일致성을 확보한다.
• 물리적 예제에 이 형식을 적용한다: 벡터장 대수, 파울슨 대수, 그리고 CAR 대수(캐논칼 반교환 관계), 도약자가 모듈 위에서 자연스럽게 일阶 미분 연산자로 나타남을 보여준다.

실험 결과

연구 질문

• RQ1 도약자가 모듈을 이루지 않아 표준 정의가 실패하는 비결합 리 대수에서, 미분 연산자를 어떻게 일관적으로 정의할 수 있는가?
• RQ2 표준 가환환 프레임워크에 의존하지 않고도 리 대수 위에서 고계 미분 연산자를 의미 있게 정의할 수 있는가?
• RQ3 제안된 리 대수 위의 체발리–일레인버그 미분 해석학이 어떤 조건에서 고전적 체발리–일레인버그 복합체로 줄어들까?
• RQ4 CAR 대수의 도약자와 같이 리 대수의 도약자가 그라스만 대수와 같은 모듈 위에서 어떻게 일阶 미분 연산자로 작용하는가?
• RQ5 이 프레임워크는 그레이드 리 대수 및 그 모듈, 특히 그레이드 다양체와 슈퍼기하학의 맥락에서 어느 정도 일반화될 수 있는가?

주요 결과

• 모든 리 대수에서 곱셈 연산은 도약자이므로 일阶 미분 연산자이며, 고계 연산자의 자연스러운 기초를 제공한다.
• 비결합적 환경에서 표준 정의가 실패하므로 고계 미분 연산자는 일阶 연산자의 복합으로 정의된다.
• 리 대수 $ A $ 위의 체발리–일레인버그 미분 해석학은 표준 코hom로 복합체를 통해 수립되며, $ A $ 가 자명한 중심을 가지며 모든 도약자가 내부 도약자인 경우 고전적 체발리–일레인버그 복합체와 일치한다.
• 유한 차원 리 대수의 경우 체발리–일레인버그 해석학은 행렬 기하학을 묘사하며, 코hom로를 미분 연산자의 기하학적 해석으로 제공한다.
• CAR 대수(Canoncal Anticommutation Relations)의 경우 일반적인 도약자는 $ \nabla w = (M_1\theta + O_1\theta', M_2\theta' + O_2\theta, C_1\theta + C_2\theta') $ 로 주어지며, 종속형 사상에 대한 대칭 제약 조건이 있다.
• 그라스만 대수 $ \bigwedge \text{span}\big\{c\big\} $ 위의 일阶 미분 연산자 $ \nabla $ 는 $ W $-모듈로 간주할 때 $ \nabla = (C_2 - M c) \frac{\nabla}{\nabla c} + C_1 c + \nu $ 의 형태를 띠며, $ \nabla(wh) = (\nabla w)h + w\nabla(h) $ 를 만족한다. 여기서 $ \nabla w $ 는 $ W $ 의 도약자이다.