[논문 리뷰] Omni-Lie Algebras

Alan Weinstein|arXiv (Cornell University)|1999. 12. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 14

한 줄 요약

이 논문은 R^n × gl(n,R)에 정의된 '오미니-리 대수'를 소개한다. 이는 전반적으로 자코비 항등식을 만족하지 못하지만, R^n 값을 갖는 대칭 이항형식에 대해 비록르르 부분대수에서 자코비 항등식을 만족하는 구조이다. 이 구성은 TM ⊕ T*M 위의 쿠르앙트 브라켓을 일반화하며, 리 대수, 푸아송 구조, 닫힌 2형식을 통합하는 프레임워크를 제공한다.

ABSTRACT

We show that the space R^n x gl(n,R) with a certain antisymmetric bracket operation contains all n-dimensional Lie algebras. The bracket does not satisfy the Jacobi identity, but it does satisfy it for subalgebras which are isotropic under a certain symmetric bilinear form with values in R^n. We ask what the corresponding group-like object should be. The bracket may be obtained by linearizing at a point the bracket on TM + T*M introduced by T. Courant for the definition of Dirac structures, a notion which encompasses Poisson structures, closed 2-forms, and foliations.

연구 동기 및 목표

• TM ⊕ T*M 위의 쿠르앙트 브라켓을 R^n × gl(n,R) 위의 선형화된 구조로 일반화하기.
• 이 비자코비 브라켓에 대응하는 '군'의 역할을 하는 기하학적 또는 대수적 대상을 규명하기.
• 모든 n차원 리 대수가 이 구조를 통해 비록르르 부분대수를 통해 임베딩될 수 있음을 보여주기.
• R^n 값을 갖는 대칭 이항형식이 특정 부분대수에서 자코비 항등식의 성립을 어떻게 제어하는지 명확히 하기.

제안 방법

• 비대칭 이항형식을 사용하여 R^n × gl(n,R) 위에 브라켓 연산을 정의하기.
• 비록르르 부분대수를 특성화하기 위해 R^n 값을 갖는 대칭 이항형식을 도입하기.
• 브라켓이 이 형식에 대해 비록르르인 부분대수에서 정확히 자코비 항등식을 만족함을 보여주기.
• 브라켓이 점에서 TM ⊕ T*M 위의 쿠르앙트 브라켓의 선형화임을 연결하기.
• 이 구조를 사용하여 모든 n차원 리 대수를 공간 R^n × gl(n,R)에 임베딩하기.
• 브라켓이 리 대수, 푸아송 구조, 닫힌 2형식을 동일한 기초 브라켓의 특수한 경우로 통합함을 보여주기.

실험 결과

연구 질문

• RQ1 R^n × gl(n,R) 위의 브라켓이 어떻게 리 대수, 푸아송 구조, 닫힌 2형식을 통합할 수 있는가?
• RQ2 이 비자코비 브라켓 설정에서 자코비 항등식이 성립하기 위한 조건은 무엇인가?
• RQ3 이 브라켓 구조에 대응하는 군 유사 대상은 무엇인가?
• RQ4 R^n 값을 갖는 대칭 이항형식이 자코비 항등식의 성립을 어떻게 제어하는가?
• RQ5 이 브라켓이 TM ⊕ T*M 위의 쿠르앙트 브라켓의 선형화라는 것은 어떤 의미인가?

주요 결과

• R^n × gl(n,R) 위의 브라켓은 전반적으로 자코비 항등식을 만족하지 않지만, R^n 값을 갖는 대칭 이항형식에 대해 비록르르인 부분대수에서는 자코비 항등식을 만족한다.
• 모든 n차원 리 대수는 이 구조 아래에서 이 형식에 대해 비록르르인 부분대수로서 R^n × gl(n,R)에 임베딩될 수 있다.
• 브라켓 구성은 점에서 TM ⊕ T*M 위의 쿠르앙트 브라켓의 선형화로 나타난다.
• 이 구조는 리 대수, 푸아송 구조, 닫힌 2형식을 동일한 기초 브라켓의 특수한 경우로 통합한다.
• R^n 값을 갖는 대칭 이항형식은 특정 부분대수에서 자코비 항등식의 성립을 보장하는 제약 조건으로 작용한다.
• 이 프레임워크는 딜라크 구조, 푸아송 기하학, 리 대수 이론이 통합된 기하학적 및 대수적 맥락을 제공한다.