코쥘 쌍대성
수학에서, 코쥘 쌍대성(Koszul雙對性, )은 결합 대수와 결합 대수 사이의, 또는 보다 일반적으로 오퍼라드와 오퍼라드 사이의 쌍대성 이론이다.
대략, 이차 오퍼라드(二次operad, ) formula_1는 이항 연산만을 가지며, 3항 이하 대수적 공리만을 갖는 오퍼라드이다. 이 경우,
각 이차 오퍼라드에 대하여 코쥘 쌍대 오퍼라드(Koszul雙對operad, )를 정의할 수 있으며, 이 역시 이차 오퍼라드이다.
각 오퍼라드에 대하여, 이차 대수(二次代數, )와 이차 초대수(二次超代數, )를 정의할 수 있다. 이들은 대략 정수 등급을 갖는 생성원들로 생성되며, 그 속에서 성립하는 모든 관계가 2항 관계인 대수들이다. (이차 대수와 이차 초대수의 차이는, 이차 초대수의 경우 홀수 차수와 홀수 차수 사이에 코쥘 부호 규칙을 적용하지만, 이차 대수의 경우 이러한 추가 마이너스 부호를 붙이지 않는다는 것이다.) 이 경우, 이차 오퍼라드의 이차 대수의 개념은 그 코쥘 쌍대 오퍼라드의 이차 초대수의 개념과 동치이다.
체 formula_5 위의 정수 등급 벡터 공간의 범주 formula_6 위에, 텐서곱
를 부여하면, 이는 모노이드 범주를 이룬다. 그 위에, 다음과 같은 서로 다른 두 대칭 모노이드 범주 구조를 줄 수 있다.
이 두 대칭 모노이드 범주를 각각 formula_12으로 표기하자.
다음과 같은 데이터가 주어졌다고 하자.
그렇다면, 공간
를 정의하자. 여기서, formula_2의 오른쪽 formula_4-작용은
이다.
formula_24 위에는 다음 구조가 존재한다.
이에 따라, 유도 가군
을 정의할 수 있다.
그렇다면,
로 생성되는 (즉, 이항 연산만으로 생성되는) 자유 오퍼라드 formula_35를 구성할 수 있으며,
이다. 이제, 자유 오퍼라드 formula_37의,
에 대한 몫 오퍼라드를 이차 오퍼라드 formula_1라고 한다.
오퍼라드 formula_1가 주어졌다고 하자. 그렇다면, 그 formula_4-쌍대 가군
을 생각하자. 그렇다면, formula_1의 쌍대 오퍼라드는 다음과 같다.
여기서
는 formula_3의 직교 여공간이다.
이차 오퍼라드 formula_47가 주어졌다고 하자.
이제, formula_48가 formula_49-쌍가군(즉, formula_50-가군)이라고 하자. 또한, 임의의
가 부분 formula_49-쌍가군이라고 하자.
그렇다면, formula_48로 생성되는, 대칭 모노이드 범주 formula_12 위의 자유 대수
의, formula_56(로 생성되는 아이디얼)에 대한 몫
과 같은 꼴의 formula_58-대수를 생각할 수 있다.
만약 formula_59를 사용했다면, 이를 formula_58-이차 대수라고 하며, 만약 만약 formula_59를 사용했다면, 이를 formula_58-이차 초대수라고 한다.
이차 오퍼라드 formula_47 위의 대수 formula_64에 대하여, 일종의 호몰로지 이론을 정의할 수 있다. (formula_65일 경우, 이는 호흐실트 호몰로지와 같다.) 만약 모든 자유 formula_58-대수의 고차 (즉, 1차 이상) 호몰로지가 자명하다면, formula_58를 코쥘 오퍼라드()라고 한다.
코쥘 오퍼라드 formula_58의 경우, 호모토피 formula_58-대수()의 개념을 정의할 수 있다.
이차 오퍼라드 formula_1의 낮은 차수 성분은 다음과 같다.
또한, 3차 성분에 대하여 다음과 같은 짧은 완전열이 존재한다.
코쥘 쌍대성에 따르면, 이차 오퍼라드 formula_58에 대하여, 다음과 같은 일대일 대응이 존재한다.
호모토피 대수에 대하여 다음과 같은 코쥘 쌍대성이 성립한다. 임의의 등급 formula_81-쌍가군
이 주어졌다고 하자. 그렇다면, 다음 두 집합 사이의 표준적인 일대일 대응이 존재한다.
만약 formula_93일 경우, formula_94는 formula_2에 의하여 정의되는 이항 연산들을 가지며, formula_3에 의하여 정의되는 대수적 관계들을 갖는 대수 구조들의 오퍼라드이다. 특히, 결합 대수의 오퍼라드 formula_97 · 가환 결합 대수의 오퍼라드 formula_98 · 리 대수의 오퍼라드 formula_99는 모두 이차 오퍼라드이다.
이들의 코쥘 쌍대 오퍼라드는 각각 다음과 같다.
이에 따라, 다음과 같은 동치가 존재한다.
결합 오퍼라드 formula_97 위의 이차 대수와 이차 초대수의 개념을 생각하자. 이를 정의하는 데는 사실 모노이드 범주의 구조만 사용되며, 대칭 모노이드 범주의 구조는 필요없다. 따라서, formula_97 위의 이차 대수와 이차 초대수의 개념은 서로 동치이다.
이 경우, 그 위의 이차 대수는 임의의 벡터 공간
으로 생성되는 텐서 대수
및
에 대한 몫 대수
이다. (즉, formula_118는 등급 1을 갖는다.)
그 코쥘 쌍대 대수는
에 대한 몫
이다. 여기서 formula_121는 formula_48의 쌍대 공간이다.
이 경우가 장루이 코쥘이 발견한 고전적인 코쥘 쌍대성이다.
특히, 만약
인 경우를 생각하자. 그렇다면, 
이다. 이에 따라,
이다. 즉, 코쥘 쌍대성은 대칭 대수와 외대수 사이의 쌍대성을 정의한다.
가환 오퍼라드 formula_98와 그 쌍대 오퍼라드인 리 오퍼라드 formula_99를 생각하자.
이 경우, formula_98 위의 이차 대수는 벡터 공간 formula_48로 생성되는 대칭 대수
및
에 대한 몫
이다. 이는 가환환이다.
이에 대응되는 쌍대 초대수는 다음과 같다. 우선, 이 대수 formula_64를 결합 대수로 여겨, 그 코쥘 쌍대 대수 formula_135를 정의할 수 있다. 그렇다면, 이는 표준적으로 등급 가환 호프 대수의 구조를 가지며, 따라서 어떤 정수 등급 리 초대수 formula_136의 보편 포락 대수로 표현된다.
이 등급 리 초대수는 formula_99 오퍼라드 위의 이차 초대수를 이룬다. 특히, 이는 등급 1의 원소만으로 생성된다.
리 대수 formula_139가 주어졌다고 하자. 그렇다면, 그 보편 포락 대수 formula_140를 취할 수 있다. 이를 결합 대수로 여겨 그 코쥘 쌍대 대수
를 취하자. 그렇다면, 이는 등급 1의 생성원들로 생성되는 등급 가환 등급 대수임을 보일 수 있다.
formula_98 위의 이차 초대수는 어떤 외대수
의,
에 대한 몫 대수
이다. 그렇다면, 완전열
이므로, 이는 formula_121로 생성되는 자유 리 대수의 리 대수 아이디얼을 생성한다. 따라서, 그 몫 리 대수를 취할 수 있으며, 이는 정수 등급을 갖는다. 이는 formula_98-이차 초대수에 대응하는 formula_99-이차 대수이다.
예를 들어, formula_150일 때, 그 위의 호모토피 대수 구조는 L∞-대수이다. 이 경우, L∞-대수의 구조는 자유 등급 가환 대수 위의 미분 연산으로 주어진다.
마찬가지로, formula_151일 때, 그 위의 호모토피 대수 구조는 등급 교환 법칙을 정확히 따르며, 결합 법칙이 호모토피 아래 성립하는 대수 구조이다. 이 구조는 마찬가지로 등급 벡터 공간 위의 자유 리 초대수 위의 미분 등급 리 대수 구조로 주어진다.
장루이 코쥘의 이름을 땄다. 코쥘 쌍대성의 오퍼라드를 통한 공식화는 빅토르 긴즈부르크()와 미하일 카프라노프()가 1994년에 도입하였다.