리 쌍대대수

리 대수 이론에서, 리 쌍대대수(Lie雙對代數, 영어: Lie coalgebra)는 리 대수의 정의를 쌍대화하여 얻어지는 쌍대대수이다.

정의

가환환 위의 리 쌍대대수는 다음과 같은 데이터로 주어진다.

  • -가군
  • -가군 준동형

여기서

외대수의 2차 성분이다. 이를 외대수 위에 다음과 같은 곱 규칙을 따르는 미분으로 유일하게 확장할 수 있다.

이 데이터는 다음 조건을 만족시켜야 한다.

  • 공사슬 복합체를 이룬다. 즉, 이어야 한다.

리 괄호를 통한 정의

만약 표수 2 또는 표수 3이 아닌 이며, 가 유한 차원 -벡터 공간이라고 할 때, 다음 두 데이터가 서로 동치이다.

  • 위의 리 쌍대대수 구조
  • 위의 리 대수 구조

구체적으로, 이들 사이의 관계는 다음과 같다.

여기서 와 그 등급별 쌍대 공간 사이의 내적이다.

리 준쌍대대수

리 준쌍대대수(Lie準雙對代數, 영어: Lie coalgebroid)는 다음과 같다.

  • 매끄러운 다양체
  • (유한 차원) 매끄러운 벡터 다발
  • 위의 미분을 정의하는 벡터 다발 사상 . 이는 위의 공사슬 복합체 구조를 정의하여야 한다.

이는 쌍대화를 통하여 위의 리 준대수 구조와 동치이다.

매끄러운 다양체 위의 공변접다발 은 리 준쌍대대수를 이루며, 그 쌍대괄호는 1차 미분 형식외미분이다. 이는 미분 형식들의 공사슬 복합체

를 정의한다.

참고 문헌