{{위키데이터 속성 추적}}
[[수학]]에서 '''코쥘 쌍대성'''(Koszul雙對性, {{llang|en|Koszul duality}})은 [[결합 대수]]와 결합 대수 사이의, 또는 보다 일반적으로 [[오퍼라드]]와 오퍼라드 사이의 쌍대성 이론이다.<ref name="GK">{{저널 인용|이름=Victor|성= Ginzburg|이름2= Mikhail|성2= Kapranov|제목= Koszul duality for operads|저널=Duke Mathematics Journal | 권= 76 |날짜=1994|호= 1|쪽= 203–272|arxiv=0709.1228|doi=10.1215/S0012-7094-94-07608-4|mr=1301191|zbl=0855.18006 |언어=en}} 오류 정정 {{저널 인용|이름=Victor|성= Ginzburg|이름2= Mikhail|성2= Kapranov|제목=Erratum to: Koszul duality for operads|저널= Duke Mathematics Journal|권= 80|날짜=1995|호= 1|쪽= 293–293|언어=en}}</ref>

대략, '''이차 오퍼라드'''(二次operad, {{llang|en|quadratic operad}}) <math>\mathcal P(A,E,R)</math>는 [[이항 연산]]만을 가지며, 3항 이하 대수적 공리만을 갖는 오퍼라드이다. 이 경우,
* <math>E</math>는 오퍼라드의 이항 연산들의 공간이다.
* <math>R</math>는 이 이항 연산들이 만족시키는 대수적 공리들의 공간이다.
* <math>A</math>는 사용되는 스칼라의 [[환 (수학)|환]]이며, 예를 들어 [[체 (수학)|체]] 또는 [[사원수환]] 등을 사용할 수 있다.
각 이차 오퍼라드에 대하여 '''코쥘 쌍대 오퍼라드'''(Koszul雙對operad, {{llang|en|Koszul-dual operad}})를 정의할 수 있으며, 이 역시 이차 오퍼라드이다.

각 오퍼라드에 대하여, '''이차 대수'''(二次代數, {{llang|en|quadratic algebra}})와 '''이차 초대수'''(二次超代數, {{llang|en|quadratic superalgebra}})를 정의할 수 있다. 이들은 대략 정수 등급을 갖는 생성원들로 생성되며, 그 속에서 성립하는 모든 관계가 2항 관계인 대수들이다. (이차 대수와 이차 초대수의 차이는, 이차 초대수의 경우 홀수 차수와 홀수 차수 사이에 코쥘 부호 규칙을 적용하지만, 이차 대수의 경우 이러한 추가 마이너스 부호를 붙이지 않는다는 것이다.) 이 경우, 이차 오퍼라드의 이차 대수의 개념은 그 코쥘 쌍대 오퍼라드의 이차 초대수의 개념과 [[동치]]이다.

== 정의 ==
=== 등급 벡터 공간의 대칭 모노이드 범주 ===
체 <math>K</math> 위의 [[정수]] [[등급 벡터 공간]]의 범주 <math>\operatorname{grVect}_K</math> 위에, 텐서곱
:<math>(V\otimes W)_n = \bigoplus_{i+j=n}V_i\otimes W_i</math>
를 부여하면, 이는 [[모노이드 범주]]를 이룬다. 그 위에, 다음과 같은 서로 다른 두 [[대칭 모노이드 범주]] 구조를 줄 수 있다.
:<math>\iota^+\colon V\otimes W\to W\otimes V</math>
:<math>\iota^+\colon v\otimes w\mapsto w\otimes v</math>
:<math>\iota^-\colon V\otimes W\to W\otimes V</math>
:<math>\iota^-\colon v\otimes w\mapsto (-)^{\deg v\deg w}w\otimes v</math>
이 두 [[대칭 모노이드 범주]]를 각각 <math>\operatorname{grVect}_K^\pm</math>으로 표기하자.<ref name="GK"/>{{rp|(1.3.18)}}

=== 이차 오퍼라드 ===
다음과 같은 데이터가 주어졌다고 하자.
* [[체 (수학)|체]] <math>K</math>
* 반단순 <math>K</math>-[[결합 대수]] <math>A</math>. 즉, <math>A</math>는 [[아르틴 환]]이며, <math>A</math>의 [[제이컵슨 근기]]는 0이다.
* <math>(A,A^{\otimes_K2})</math>-[[쌍가군]] (즉, <math>A\otimes_KA^{\operatorname{op}}\otimes_K A^{\operatorname{op}}</math>-[[왼쪽 가군]]) <math>E</math>
* <math>E</math> 위의 [[대합 (수학)|대합]] <math>\sigma\colon E\to E</math>. 이는 다음을 만족시켜야 한다.
*:<math>\sigma(a\cdot e\cdot b\otimes_K c)=a\cdot\sigma(e)\cdot b\otimes_Kc\qquad(a,b,c\in A,\;e\in E)</math>
그렇다면, 공간
:<math>E\otimes_AE</math>
를 정의하자. 여기서, <math>E</math>의 오른쪽 <math>A</math>-작용은
:<math>e\cdot a = e\cdot(a\otimes_K1)</math>
이다.

<math>E\otimes_AE</math> 위에는 다음 구조가 존재한다.
* <math>(A,A^{\otimes_K3})</math>-[[쌍가군]] 구조
* <math>\operatorname{Sym}(2)</math>-[[군의 작용|작용]] <math>e\otimes_Ae' \mapsto e\otimes_A \sigma(e')</math>
이에 따라, 유도 가군
:<math>\operatorname{Ind}_{\operatorname{Sym}(2)}^{\operatorname{Sym}(3)}(E\otimes_AE)</math>
을 정의할 수 있다. 

그렇다면,
:<math>E(2) = E</math>
:<math>E(n) = 0 \qquad\forall n\ge3</math>
로 생성되는 (즉, [[이항 연산]]만으로 생성되는) 자유 [[오퍼라드]] <Math>\operatorname{Free}(E)</math>를 구성할 수 있으며,
:<math>\operatorname{Free}(E)(3) = \operatorname{Ind}_{\operatorname{Sym}(2)}^{\operatorname{Sym}(3)}(E\otimes_AE)</math>
이다. 이제, 자유 오퍼라드 <math>\operatorname{Free}(E)</math>의,
:<math>R\subseteq \operatorname{Free}(E)(3)</math>
에 대한 몫 오퍼라드를 '''이차 오퍼라드''' <math>\mathcal P(A,E,R)</math>라고 한다.

=== 쌍대 오퍼라드 ===
오퍼라드 <math>\mathcal P(A,E,R)</math>가 주어졌다고 하자. 그렇다면, 그 <math>A</math>-[[쌍대 가군]]
:<math>E^\vee = \hom_A(E,A)</math>
을 생각하자. 그렇다면, <math>\mathcal P(A,E,R)</math>의 '''쌍대 오퍼라드'''는 다음과 같다.
:<math>\mathcal P(A,E,R)^! = \mathcal P(A^{\operatorname{op}},E^\vee, R^\perp)</math>
여기서
:<math>R^\perp = \{\phi \in E^\vee \colon \phi(r) =0 \qquad\forall r\in R\}</math>
는 <math>R</math>의 [[직교 여공간]]이다.

=== 이차 대수와 이차 초대수 ===
이차 오퍼라드 <math>\mathcal P=\mathcal P(A,E,R)</math>가 주어졌다고 하자.

이제, <math>V</math>가 <math>(A,A)</math>-[[쌍가군]](즉, <math>A\otimes_KA^{\operatorname{op}})</math>-[[가군]])이라고 하자. 또한, 임의의
:<math>S\subseteq (E\otimes_{A^{\otimes_K2}}V^{\otimes_K2})_{\operatorname{Sym}(2)}</math>
가 부분 <math>(A,A)</math>-쌍가군이라고 하자. 

그렇다면, <math>V</math>로 생성되는, [[대칭 모노이드 범주]] <math>\operatorname{grVect}_K^\pm</math> 위의 [[자유 대수]]
:<math>\operatorname{Free}_{\mathcal P}^{\operatorname{grVect}_K^\pm}(V)</math>
의, <math>S</math>(로 생성되는 [[아이디얼]])에 대한 몫
:<math>\frac{\operatorname{Free}_{\mathcal P}(V)}{(S)}</math>
과 같은 꼴의 <math>\mathcal P</math>-대수를 생각할 수 있다.

만약 <math>\operatorname{grVect}_K^+</math>를 사용했다면, 이를 '''<math>\mathcal P</math>-이차 대수'''라고 하며, 만약 만약 <math>\operatorname{grVect}_K^-</math>를 사용했다면, 이를 '''<math>\mathcal P</math>-이차 초대수'''라고 한다.

=== 코쥘 오퍼라드 ===
이차 오퍼라드 <math>\mathcal P=\mathcal P(A,E,R)</math> 위의 대수 <math>B</math>에 대하여, 일종의 [[호몰로지 이론]]을 정의할 수 있다.<ref name="GK"/>{{rp|Definition (4.2.3)}}  (<math>\mathcal A=\operatorname{Ass}</math>일 경우, 이는 [[호흐실트 호몰로지]]와 같다.<ref name="GK"/>{{rp|Example (4.2.4a)}}) 만약 모든 자유  <math>\mathcal P</math>-대수의 고차 (즉, 1차 이상) 호몰로지가 자명하다면, <math>\mathcal P</math>를 '''코쥘 오퍼라드'''({{llang|en|Koszul operad}})라고 한다.<ref name="GK"/>{{rp|Theorem 4.2.5}}

코쥘 오퍼라드 <math>\mathcal P</math>의 경우, '''호모토피 <math>\mathcal P</math>-대수'''({{llang|en|homotopy <math>\mathcal P</math>-algebra}})의 개념을 정의할 수 있다.<ref name="GK"/>{{rp|Definition 4.2.13}}

== 성질 ==
=== 이차 오퍼라드의 구조 ===
이차 오퍼라드 <math>\mathcal P(A,E,R)</math>의 낮은 차수 성분은 다음과 같다.<ref name="GK"/>{{rp|(2.1.7)}}
:<math>\mathcal P(A,E,R)(1) = A</math>
:<math>\mathcal P(A,E,R)(2) = E</math>
또한, 3차 성분에 대하여 다음과 같은 [[짧은 완전열]]이 존재한다.
:<math>0\to R\to \operatorname{Free}(E)(3) \to \mathcal P(A,E,R)(3) \to 0</math>

=== 코쥘 쌍대성 ===
'''코쥘 쌍대성'''에 따르면, 이차 오퍼라드 <math>\mathcal P</math>에 대하여, 다음과 같은 [[일대일 대응]]이 존재한다.
:<math>\mathcal P</math>-이차 대수 <math>\leftrightarrow</math> <math>\mathcal P^!</math>-이차 초대수
:<math>\mathcal P^!</math>-이차 대수 <math>\leftrightarrow</math> <math>\mathcal P</math>-이차 초대수

=== 호모토피 코쥘 쌍대성 ===
호모토피 대수에 대하여 다음과 같은 '''코쥘 쌍대성'''이 성립한다. 임의의 등급 <math>(A,K,A)</math>-[[쌍가군]]
:<math>V = \bigoplus_n V_n</math>
:<math>\dim_KV_n < \infty\qquad\forall n</math>
이 주어졌다고 하자. 그렇다면, 다음 두 집합 사이의 표준적인 [[일대일 대응]]이 존재한다.
* <math>V_\bullet</math> 위의 호모토피 <math>\mathcal P</math>-대수 구조
* <math>V</math>의 (등급별) [[쌍대 공간]] <math>\textstyle V^*=\bigoplus_nV_n^*</math>의 현수({{llang|en|suspension}}) 위의 <math>\mathcal P^!</math>-[[자유 대수]] <math>\operatorname{Free}_{\mathcal P^!}(A^*[1])</math> 위의, 등급 +1의, 다음 두 조건을 만족시키는 연산 <math>\mathrm d\colon \operatorname{Free}_{\mathcal P^!}(A^*[1])\to \operatorname{Free}_{\mathcal P^!}(A^*[1])</math>
** (멱영성) <math>\mathrm d^2 = 0</math>
** ([[곱 규칙]]) <math>\mathrm d\mu(a,b) = \mu(\mathrm da,b) + (-)^{\deg a}\mu(a,\mathrm db)\qquad\forall \mu\in\mathcal P(2),\;a,b\in\operatorname{Free}_{\mathcal P^!}(A^*[1])</math>


== 예 ==
만약 <math>A=K</math>일 경우, <math>\mathcal P(K,E,R)</math>는 <math>E</math>에 의하여 정의되는 [[이항 연산]]들을 가지며, <math>R</math>에 의하여 정의되는 대수적 관계들을 갖는 [[대수 구조]]들의 오퍼라드이다. 특히, [[결합 대수]]의 오퍼라드 <math>\operatorname{Ass}</math> · [[가환 결합 대수]]의 오퍼라드 <math>\operatorname{Com}</math> · [[리 대수]]의 오퍼라드 <math>\operatorname{Lie}</math>는 모두 이차 오퍼라드이다.

{| class=wikitable style="text-align: center"
|-
! 오퍼라드 || <math>\operatorname{Ass}</math> || <math>\operatorname{Com}</math> || <math>\operatorname{Lie}</math>
|-
! <math>A</math>
| <math>K</math> || <math>K</math> || <math>K</math>
|-
! <math>E</math>
| <math>\operatorname{Span}_K\{x_1x_2,x_2x_1\}</math> || <math>\operatorname{Span}_K\{x_1x_2\}</math> || <math>\operatorname{Span}_K\{[x_1,x_2]\}</math>
|-
! <math>\dim_KE</math>
| 2 || 1 || 1
|-
! <math>\sigma</math>
| <math>x_1x_2\mapsto x_2x_1</math> || <Math>\operatorname{id}</math> || <math>-1</math>
|-
! <math>\operatorname{Free}(E)(3)</math>
| <math>\bigoplus_{\sigma\in\operatorname{Sym}(3)}\operatorname{Span}_K\{(x_{\sigma(1)}x_{\sigma(2)})x_{\sigma(3)},(x_{\sigma(1)}(x_{\sigma(2)}x_{\sigma(3)})\}</math> || <math>\operatorname{Span}_K\{x(yz),y(zx),z(xy)\}</math> || <math>\operatorname{Span}_K\{[x,[y,z]],[y,[z,x]],[z,[x,y]]\}</math>
|-
! <math>\dim_K\operatorname{Free}(E)(3)</math>
| 12 || 3 || 3
|-
! <math>R</math>
| <math>\bigoplus_{\sigma\in\operatorname{Sym}(3)}\operatorname{Span}_K\{(x_{\sigma(1)}x_{\sigma(2)})x_{\sigma(3)}-x_{\sigma(1)}(x_{\sigma(2)}x_{\sigma(3)})\}</math> || <math>\operatorname{Span}_K\{x(yz)-y(xz),x(yz)-z(xy)\}</math> || <math>\operatorname{Span}_K\{[x,[y,z]]+[y,[z,x]]+[z,[x,y]]\}</math>
|-
! <math>\dim_KR</math>
| 6 || 2 || 1
|}

이들의 코쥘 쌍대 오퍼라드는 각각 다음과 같다.
:<math>\operatorname{Com}^! = \operatorname{Lie}</math>
:<math>\operatorname{Lie}^! = \operatorname{Com}</math>
:<math>\operatorname{Ass}^! = \operatorname{Ass}</math>

이에 따라, 다음과 같은 동치가 존재한다.
* <math>\operatorname{Ass}</math>-대수는 <Math>\operatorname{Ass}</math>-초대수와 동치이다.
* <math>\operatorname{Com}</math>-대수 (가환 <math>K</math>-[[결합 대수]])는 <math>\operatorname{Lie}</math>-초대수(등급 [[리 초대수]])와 동치이다.
* <math>\operatorname{Com}</math>-초대수 (등급 가환 <math>K</math>-[[결합 대수]])는 <math>\operatorname{Lie}</math>-대수 (즉, 등급 <math>K</math>-[[리 대수]])와 동치이다.

=== 이차 결합 대수 / 이차 결합 초대수 ===
결합 [[오퍼라드]] <math>\operatorname{Ass}</math> 위의 이차 대수와 이차 초대수의 개념을 생각하자. 이를 정의하는 데는 사실 [[모노이드 범주]]의 구조만 사용되며, [[대칭 모노이드 범주]]의 구조는 필요없다. 따라서, <math>\operatorname{Ass}</math> 위의 이차 대수와 이차 초대수의 개념은 서로 [[동치]]이다.

이 경우, 그 위의 이차 대수는 임의의 벡터 공간
:<math>V=\bigoplus_{i\in\mathbb Z}V_i</math>
으로 생성되는 [[텐서 대수]]
:<math>\operatorname T(V)</math>
및
:<math>R \subseteq V\otimes V</math>
에 대한 몫 대수
:<math>\operatorname T(V)/(R)</math>
이다. (즉, <math>V\setminus\{0\}</math>는 등급 1을 갖는다.)
그 코쥘 쌍대 대수는
:<math>R^\perp = \{\phi \in (V^*)^{\otimes_K2}\colon \phi(r) = 0\;\forall r\in R\} \subseteq (V^*)^{\otimes_K2}</math>
에 대한 몫
:<math>\operatorname T(V^*)/(R^\perp)</math>
이다. 여기서 <math>V^*</math>는 <math>V</math>의 [[쌍대 공간]]이다.

이 경우가 [[장루이 코쥘]]이 발견한 고전적인 코쥘 쌍대성이다.

특히, 만약
:<math>R_\pm(V)=\{u\otimes v\mp v\otimes u\colon u,v\in V\}</math>
인 경우를 생각하자. 그렇다면, 
:<math>(R_\pm (V))^\perp = R_\mp(V^*)</math>
이다. 이에 따라,
:<math>\operatorname{Sym}(V)^! = \bigwedge(V^*)</math>
:<math>\bigwedge(V)^! = \operatorname{Sym}(V^*)</math>
이다. 즉, 코쥘 쌍대성은 [[대칭 대수]]와 [[외대수]] 사이의 쌍대성을 정의한다.

=== 이차 가환 대수 / 이차 리 초대수 ===
가환 [[오퍼라드]] <math>\operatorname{Com}</math>와 그 쌍대 오퍼라드인 리 [[오퍼라드]] <math>\operatorname{Lie}</math>를 생각하자.

이 경우, <math>\operatorname{Com}</math> 위의 이차 대수는 [[벡터 공간]] <math>V</math>로 생성되는 [[대칭 대수]]
:<math>\operatorname{Sym}(V)</math>
및
:<math>R \subseteq \operatorname{Sym}^2(V)</math>
에 대한 몫
:<math>B=\operatorname{Sym}(V)/R</math>
이다. 이는 [[가환환]]이다.

이에 대응되는 쌍대 초대수는 다음과 같다.<ref name="GK"/>{{rp|(2.3.9b)}} 우선, 이 대수 <math>B</math>를 결합 대수로 여겨, 그 코쥘 쌍대 대수 <math>B^!</math>를 정의할 수 있다. 그렇다면, 이는 표준적으로 등급 가환 [[호프 대수]]의 구조를 가지며, 따라서 어떤 정수 등급 [[리 초대수]] <math>\mathfrak b</math>의 [[보편 포락 대수]]로 표현된다.
:<math>B^! \cong \operatorname U(\mathfrak b)</math>
이 등급 [[리 초대수]]는 <math>\operatorname{Lie}</math> [[오퍼라드]] 위의 이차 초대수를 이룬다. 특히, 이는 등급 1의 원소만으로 생성된다.

=== 이차 가환 초대수 / 이차 리 대수 ===
[[리 대수]] <math>\mathfrak g</math>가 주어졌다고 하자. 그렇다면, 그 [[보편 포락 대수]] <math>\operatorname U(\mathfrak g)</math>를 취할 수 있다. 이를 [[결합 대수]]로 여겨 그 코쥘 쌍대 대수
:<math>\operatorname U(\mathfrak g)^!</math>
를 취하자. 그렇다면, 이는 등급 1의 생성원들로 생성되는 등급 가환 [[등급 대수]]임을 보일 수 있다.

<math>\operatorname{Com}</math> 위의 이차 초대수는 어떤 [[외대수]]
:<math>\bigwedge(V)</math>
의,
:<math>R\subseteq \bigwedge^2(V)</math>
에 대한 몫 대수
:<math>\bigwedge(V)/R</math>
이다. 그렇다면, [[완전열]]
:<math>R^\perp \subseteq \bigwedge^2(V^*)</math>
이므로, 이는 <math>V^*</math>로 생성되는 [[자유 리 대수]]의 [[리 대수 아이디얼]]을 생성한다. 따라서, 그 몫 리 대수를 취할 수 있으며, 이는 정수 등급을 갖는다. 이는 <math>\operatorname{Com}</math>-이차 초대수에 대응하는 <math>\operatorname{Lie}</math>-이차 대수이다.

=== L∞-대수 ===
{{본문|L∞-대수}}
예를 들어, <math>\mathcal P = \operatorname{Lie}</math>일 때, 그 위의 호모토피 대수 구조는 [[L∞-대수]]이다. 이 경우, [[L∞-대수]]의 구조는 자유 등급 가환 대수 위의 미분 연산으로 주어진다.

마찬가지로, <math>\mathcal P = \operatorname{Com}</math>일 때, 그 위의 호모토피 대수 구조는 등급 교환 법칙을 정확히 따르며, [[결합 법칙]]이 호모토피 아래 성립하는 대수 구조이다. 이 구조는 마찬가지로 등급 벡터 공간 위의 자유 리 초대수 위의 [[미분 등급 리 대수]] 구조로 주어진다.

== 역사 ==
[[장루이 코쥘]]의 이름을 땄다. 코쥘 쌍대성의 [[오퍼라드]]를 통한 공식화는 빅토르 긴즈부르크({{llang|ru|Виктор Гинзбург}})와 미하일 카프라노프({{llang|ru|Михаил Капранов}})가 1994년에 도입하였다.<ref name="GK"/>

== 같이 보기 ==
* [[진비엘 대수]]
== 참고 문헌 ==
{{각주}}

== 외부 링크 ==
* {{nlab|id=Koszul duality}}
* {{웹 인용|url=https://chromotopy.org/latex/talks/koszul-duality.pdf|제목=Operadic Koszul duality|이름=Eric|성=Peterson|언어=en}}
* {{웹 인용|url=http://etale.site/livetex/atf/koszul-duality-for-operads.pdf|제목=Koszul duality for operads | 이름=Bruno | 성=Vallette|언어=en}}
* {{웹 인용|url=https://cornellmath.wordpress.com/2008/03/25/koszul-duality-and-lie-algebroids/ | 제목=Koszul duality and Lie algebroids | |이름=Greg |성=Muller|웹사이트=The Everything Seminar | 날짜=2008-03-25 | 언어=en}}
* {{웹 인용|url=https://mathoverflow.net/questions/329/what-is-koszul-duality | 제목=What is Koszul duality? | 출판사=Math Overflow | 언어=en}}

[[분류:대수]]
[[분류:쌍대성이론]]