코쥘 쌍대성

수학에서 '''코쥘 쌍대성'''(Koszul雙對性, )은 결합 대수와 결합 대수 사이의, 또는 보다 일반적으로 오퍼라드와 오퍼라드 사이의 쌍대성 이론이다.
대략, '''이차 오퍼라드'''(二次operad, ) 는 이항 연산만을 가지며, 3항 이하 대수적 공리만을 갖는 오퍼라드이다. 이 경우,
* 는 오퍼라드의 이항 연산들의 공간이다.
* 는 이 이항 연산들이 만족시키는 대수적 공리들의 공간이다.
* 는 사용되는 스칼라의 환이며, 예를 들어 체 또는 사원수환 등을 사용할 수 있다.
각 이차 오퍼라드에 대하여 '''코쥘 쌍대 오퍼라드'''(Koszul雙對operad, )를 정의할 수 있으며, 이 역시 이차 오퍼라드이다.
각 오퍼라드에 대하여, '''이차 대수'''(二次代數, )와 '''이차 초대수'''(二次超代數, )를 정의할 수 있다. 이들은 대략 정수 등급을 갖는 생성원들로 생성되며, 그 속에서 성립하는 모든 관계가 2항 관계인 대수들이다. (이차 대수와 이차 초대수의 차이는, 이차 초대수의 경우 홀수 차수와 홀수 차수 사이에 코쥘 부호 규칙을 적용하지만, 이차 대수의 경우 이러한 추가 마이너스 부호를 붙이지 않는다는 것이다.) 이 경우, 이차 오퍼라드의 이차 대수의 개념은 그 코쥘 쌍대 오퍼라드의 이차 초대수의 개념과 동치이다.
=== 등급 벡터 공간의 대칭 모노이드 범주 ===
체  위의 정수 등급 벡터 공간의 범주  위에, 텐서곱
:
를 부여하면, 이는 모노이드 범주를 이룬다. 그 위에, 다음과 같은 서로 다른 두 대칭 모노이드 범주 구조를 줄 수 있다.
:
:
:
:
이 두 대칭 모노이드 범주를 각각 으로 표기하자.
=== 이차 오퍼라드 ===
다음과 같은 데이터가 주어졌다고 하자.
* 체 
* 반단순 -결합 대수 . 즉, 는 아르틴 환이며, 의 제이컵슨 근기는 0이다.
* -쌍가군 (즉, -왼쪽 가군) 
*  위의 대합 . 이는 다음을 만족시켜야 한다.
*:
그렇다면, 공간
:
를 정의하자. 여기서, 의 오른쪽 -작용은
:
이다.
 위에는 다음 구조가 존재한다.
* -쌍가군 구조
* -작용 
이에 따라, 유도 가군
:
을 정의할 수 있다. 
그렇다면,
:
:
로 생성되는 (즉, 이항 연산만으로 생성되는) 자유 오퍼라드 \operatorname{Free}(E)를 구성할 수 있으며,
:
이다. 이제, 자유 오퍼라드 의,
:
에 대한 몫 오퍼라드를 '''이차 오퍼라드''' 라고 한다.
=== 쌍대 오퍼라드 ===
오퍼라드 가 주어졌다고 하자. 그렇다면, 그 -쌍대 가군
:
을 생각하자. 그렇다면, 의 '''쌍대 오퍼라드'''는 다음과 같다.
:
여기서
:
는 의 직교 여공간이다.
=== 이차 대수와 이차 초대수 ===
이차 오퍼라드 가 주어졌다고 하자.
이제, 가 -쌍가군(즉, -가군)이라고 하자. 또한, 임의의
:
가 부분 -쌍가군이라고 하자. 
그렇다면, 로 생성되는, 대칭 모노이드 범주  위의 자유 대수
:
의, (로 생성되는 아이디얼)에 대한 몫
:
과 같은 꼴의 -대수를 생각할 수 있다.
만약 를 사용했다면, 이를 '''-이차 대수'''라고 하며, 만약 만약 를 사용했다면, 이를 '''-이차 초대수'''라고 한다.
=== 코쥘 오퍼라드 ===
이차 오퍼라드  위의 대수 에 대하여, 일종의 호몰로지 이론을 정의할 수 있다.  (일 경우, 이는 호흐실트 호몰로지와 같다.) 만약 모든 자유  -대수의 고차 (즉, 1차 이상) 호몰로지가 자명하다면, 를 '''코쥘 오퍼라드'''()라고 한다.
코쥘 오퍼라드 의 경우, '''호모토피 -대수'''()의 개념을 정의할 수 있다.
=== 이차 오퍼라드의 구조 ===
이차 오퍼라드 의 낮은 차수 성분은 다음과 같다.
:
:
또한, 3차 성분에 대하여 다음과 같은 짧은 완전열이 존재한다.
:
=== 코쥘 쌍대성 ===
'''코쥘 쌍대성'''에 따르면, 이차 오퍼라드 에 대하여, 다음과 같은 일대일 대응이 존재한다.
:-이차 대수  -이차 초대수
:-이차 대수  -이차 초대수
=== 호모토피 코쥘 쌍대성 ===
호모토피 대수에 대하여 다음과 같은 '''코쥘 쌍대성'''이 성립한다. 임의의 등급 -쌍가군
:
:
이 주어졌다고 하자. 그렇다면, 다음 두 집합 사이의 표준적인 일대일 대응이 존재한다.
*  위의 호모토피 -대수 구조
* 의 (등급별) 쌍대 공간 의 현수() 위의 -자유 대수  위의, 등급 +1의, 다음 두 조건을 만족시키는 연산 
** (멱영성) 
** (곱 규칙) 
만약 일 경우, 는 에 의하여 정의되는 이항 연산들을 가지며, 에 의하여 정의되는 대수적 관계들을 갖는 대수 구조들의 오퍼라드이다. 특히, 결합 대수의 오퍼라드  · 가환 결합 대수의 오퍼라드  · 리 대수의 오퍼라드 는 모두 이차 오퍼라드이다.
 오퍼라드 
  
  
 
 
  
  
 
 
  
  
 
 
 2 
 1 
 1
 
  
 \operatorname{id} 
 
 
  
  
 
 
 12 
 3 
 3
 
  
  
 
 
 6 
 2 
 1
이들의 코쥘 쌍대 오퍼라드는 각각 다음과 같다.
:
:
:
이에 따라, 다음과 같은 동치가 존재한다.
* -대수는 \operatorname{Ass}-초대수와 동치이다.
* -대수 (가환 -결합 대수)는 -초대수(등급 리 초대수)와 동치이다.
* -초대수 (등급 가환 -결합 대수)는 -대수 (즉, 등급 -리 대수)와 동치이다.
=== 이차 결합 대수 / 이차 결합 초대수 ===
결합 오퍼라드  위의 이차 대수와 이차 초대수의 개념을 생각하자. 이를 정의하는 데는 사실 모노이드 범주의 구조만 사용되며, 대칭 모노이드 범주의 구조는 필요없다. 따라서,  위의 이차 대수와 이차 초대수의 개념은 서로 동치이다.
이 경우, 그 위의 이차 대수는 임의의 벡터 공간
:
으로 생성되는 텐서 대수
:
및
:
에 대한 몫 대수
:
이다. (즉, 는 등급 1을 갖는다.)
그 코쥘 쌍대 대수는
:
에 대한 몫
:
이다. 여기서 는 의 쌍대 공간이다.
이 경우가 장루이 코쥘이 발견한 고전적인 코쥘 쌍대성이다.
특히, 만약
:
인 경우를 생각하자. 그렇다면, 
:
이다. 이에 따라,
:
:
이다. 즉, 코쥘 쌍대성은 대칭 대수와 외대수 사이의 쌍대성을 정의한다.
=== 이차 가환 대수 / 이차 리 초대수 ===
가환 오퍼라드 와 그 쌍대 오퍼라드인 리 오퍼라드 를 생각하자.
이 경우,  위의 이차 대수는 벡터 공간 로 생성되는 대칭 대수
:
및
:
에 대한 몫
:
이다. 이는 가환환이다.
이에 대응되는 쌍대 초대수는 다음과 같다. 우선, 이 대수 를 결합 대수로 여겨, 그 코쥘 쌍대 대수 를 정의할 수 있다. 그렇다면, 이는 표준적으로 등급 가환 호프 대수의 구조를 가지며, 따라서 어떤 정수 등급 리 초대수 의 보편 포락 대수로 표현된다.
:
이 등급 리 초대수는  오퍼라드 위의 이차 초대수를 이룬다. 특히, 이는 등급 1의 원소만으로 생성된다.
=== 이차 가환 초대수 / 이차 리 대수 ===
리 대수 가 주어졌다고 하자. 그렇다면, 그 보편 포락 대수 를 취할 수 있다. 이를 결합 대수로 여겨 그 코쥘 쌍대 대수
:
를 취하자. 그렇다면, 이는 등급 1의 생성원들로 생성되는 등급 가환 등급 대수임을 보일 수 있다.
 위의 이차 초대수는 어떤 외대수
:
의,
:
에 대한 몫 대수
:
이다. 그렇다면, 완전열
:
이므로, 이는 로 생성되는 자유 리 대수의 리 대수 아이디얼을 생성한다. 따라서, 그 몫 리 대수를 취할 수 있으며, 이는 정수 등급을 갖는다. 이는 -이차 초대수에 대응하는 -이차 대수이다.
=== L∞-대수 ===
예를 들어, 일 때, 그 위의 호모토피 대수 구조는 L∞-대수이다. 이 경우, L∞-대수의 구조는 자유 등급 가환 대수 위의 미분 연산으로 주어진다.
마찬가지로, 일 때, 그 위의 호모토피 대수 구조는 등급 교환 법칙을 정확히 따르며, 결합 법칙이 호모토피 아래 성립하는 대수 구조이다. 이 구조는 마찬가지로 등급 벡터 공간 위의 자유 리 초대수 위의 미분 등급 리 대수 구조로 주어진다.
장루이 코쥘의 이름을 땄다. 코쥘 쌍대성의 오퍼라드를 통한 공식화는 빅토르 긴즈부르크()와 미하일 카프라노프()가 1994년에 도입하였다.
* 
* 
* 
* 
* 
분류:대수
분류:쌍대성이론