[논문 리뷰] On the q-analog of homological algebra

Mikhail Kapranov|arXiv (Cornell University)|1996. 11. 04.

Algebraic structures and combinatorial models참고 문헌 3인용 수 65

한 줄 요약

이 논문은 연속된 N개의 미분형식의 합성값이 0이 되는 N-복합체—d² = 0인 체인 복합체의 일반화—를 소개하고, 단위근인 q에 대해 호모로지 대수학의 q-해석을 개발한다. q-변형된 미분형식이 d^N = 0을 만족함을 보이며, q-Leibniz 법칙을 갖는 q-de Rham 복합체를 구성하고, q-접속에 대해 N-곡률을 정의하여 ∇^N 이 N-형식으로의 곱셈 연산으로 작용함을 보인다. 주요 기여는 N=3일 때 q-해석의 Chern-Simons 이론에 해당한다.

ABSTRACT

This is an attempt to generalize some basic facts of homological algebra to the case of "complexes" in which the differential satisfies the condition $d^N=0$ instead of the usual $d^2=0$. Instead of familiar sign factors, the constructions related to such "N-complexes" involve powers of q where q is a primitive Nth root of 1. We show that the homology (in a natural sense) of an N-complex is an $(N-1)$-complex which is $(N-1)$-exact, and the role of the Euler characteristic is played by the trigonometric sum $\sum q^i \dim(C^i)$. By q-deforming the de Rham differential we develop a version of the theory of differential forms which is coordinate-dependent but covariant with respect to a natural Hopf algebra. In particular, there is a meaningful formalism of connections with the curvature being an N-form given by the N th power of the covariant derivative. For $N=3$ the expression for the curvature is very similar to the Chern-Simons functional. This text was written in 1991.

연구 동기 및 목표

• d² = 0 대신 d^N = 0을 만족하는 경우에 호모로지 대수학을 2-복합체에서 N-복합체로 일반화하는 것.
• q-교환 변수와 q-Leibniz 법칙을 사용하여 q-해석의 de Rham 복합체를 개발하는 것.
• q^N = 1일 때 ∇^N 이 F_∇로의 곱셈 연산으로 작용하는 방식으로 q-접속에 대해 곡률 F_∇를 정의하는 것.
• N-곡률의 게이지 변환 불변성과 Bianchi 항등식 및 Chern 형식의 유사체를 탐색하는 것.
• N=3일 때 곡률 표현식이 3차원 게이지 이론에서의 Chern-Simons 라그랑지안과 유사하며, d²A 항이 적분에서 불변임을 보이는 것.

제안 방법

• N개의 연속된 사상의 합성이 0이 되는 수열을 N-복합체로 정의하여 체인 복합체를 일반화한다.
• 단순 복합체에서 d_q = ∑_{i=0}^n q^i ∂_i 라는 q-미분형식을 정의하고, q^N = 1일 때 d_q^N = 0임을 보인다.
• q-해석 조합론을 사용: [n]_q = (1−q^n)/(1−q), [n!]_q = ∑_{w∈S_n} q^{l(w)}이며, q가 비자명한 N차 단위근일 때 [N!]_q = 0임을 보인다.
• q-교환 변수 x_i와 dx_i를 갖는 q-변형된 de Rham 복합체를 구성하고, q-Leibniz 법칙을 만족함을 보인다.
• 벡터 번들의 q-접속 ∇ = d + A 를 정의하며, A는 행렬값 1-형식이고 ∇는 q-Leibniz 법칙을 만족함을 보인다.
• q가 원시 N차 단위근일 때, ∇^N 이 N-형식 F_∇로의 곱셈 연산으로 작용함을 증명한다. 이 F_∇ 는 N-곡률이다.

실험 결과

연구 질문

• RQ1 d² = 0 이 아니라 d^N = 0 인 경우에 호모로지 대수학의 적절한 일반화는 무엇인가?
• RQ2 q가 단위근일 때, q-해석의 미분형식과 de Rham 복합체는 어떻게 행동하는가?
• RQ3 ∇^N = 0 이면 ∇^N 이 곡률 형식으로의 곱셈 연산으로 작용하는 방식으로 q-접속에 대해 곡률 개념을 정의할 수 있는가?
• RQ4 q-접속에 대해 게이지 변환 불변 곡률 이론이 존재하는가? 그리고 Bianchi 항등식을 만족하는가?
• RQ5 N=3일 때 N-곡률이 3차원 게이지 이론에서의 Chern-Simons 함수와 유사한 표현을 갖는가?

주요 결과

• q가 원시 N차 단위근일 때, 단순 복합체의 체인 복합체에서의 q-미분형식 d_q 는 d_q^N = 0을 만족하여 N-복합체가 된다.
• N-복합체의 호모로지가 p-호모로지 H_p,i = Ker(d^p: C_i → C_{i−p}) / Im(d^{N−p}: C_{i+N−p} → C_i) 로 정의되며, 이는 이중첨자 복합체를 이룬다.
• q가 원시 N차 단위근일 때, q-접속 ∇ = d + A 의 N-곡률 F_∇ 는 행렬값 N-형식이며, ∇^N = F_∇ 를 만족한다.
• 곡률 F_∇ 는 게이지 변환 불변성: F_{g^{-1}∇g} = g^{-1}F_∇g 를 만족하며, ∇(F_∇) = 0 이므로 q-해석의 Bianchi 항등식을 증명한다.
• N=3이고 ε = exp(2πi/3일 때, 곡률 F_A = d²A + dA·A + ε A·dA + A·A·A 이며, R³ 위에서 ∫tr(F_A) = ∫tr(dA·A + ε A·dA + A·A·A) 이다. 이때 d²A 항은 적분에 기여하지 않는다.
• 각 p에 대해 스칼라형식 tr(F_∇^p) 는 닫혀져 있으므로, q-변형된 설정에서 Chern 계수 이론의 잠재적 기초가 된다.