[논문 리뷰] Structure of Hochschild cohomology of path algebras and differential formulation of Euler's polyhedron formula

Li Guo, Fang Li|arXiv (Cornell University)|2010. 10. 11.

Algebraic structures and combinatorial models참고 문헌 23인용 수 4

한 줄 요약

이 논문은 경로 대수 $\Gamma$의 첫 번째 호크실드 코hom로지 리 대수 $HH^1(\mathbf{k}\Gamma)$에 대해 표준 기저와 반직합 분해를 수립하며, 도파미터를 화살표의 조합론과 연결한다. 정점, 화살표, 면 유도자와 연결 행렬 및 경계 행렬을 도입함으로써, 이러한 공간들 간의 차원 관계가 오일러의 다면체 공식을 복원함을 보이며, 위상적 불변량에 대한 미분-대수적 공식을 제공한다.

ABSTRACT

This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.

연구 동기 및 목표

• 경로 대수 $\Gamma$ 상의 도파미터를 특성화하고 $\Delta\dot{\mathcal{E}}(\Gamma)$에 대한 표준 기저를 구성한다.
• HH^1(\Gamma)$의 리 대수 구조가 쿼이버 $\Gamma$의 조합론적 및 위상수학적 성질과 어떻게 관련되는지 밝힌다.
• 조합론적 도파미터의 차원 관계로부터 오일러의 다면체 공식의 미분적 공식을 유도한다.
• 고유값 작용을 사용하여 $HH^1(\Gamma)$의 리 대수를 리 이상과 아벨 부분대수의 반직합 분해로 수립한다.

제안 방법

• 경로 $r,s$를 사용하여 경로 대수 위에 도파미터 $D_{r,s}$를 정의하고, 선형성과 라이프니츠 법칙을 만족하는 필요 및 충분 조건을 도출한다.
• 정점, 화살표, 면 도파미터 간의 관계를 코딩하기 위해 연결 행렬과 경계 행렬을 도입한다.
• 쿼이버의 정점, 화살표, 면에서 유래하는 세 가지 유형의 조합론적 도파미터를 구성한다.
• 행렬의 질량 분석을 통해 정점, 화살표, 면 도파미터에 의해 생성되는 공간의 차원을 계산한다.
• 면 도파미터의 수반 작용을 거의 방향성 순환 도파미터에 적용하여 고유값을 결정하고 반직합 분해 구조를 정의한다.
• 평면 비순환 쿼이버에 대해 적용할 경우, $HH^1(\Gamma)$의 차원 공식이 $|V| - |E| + |F| = 2$ 관계를 통해 오일러의 다면체 공식을 복원함을 증명한다.

실험 결과

연구 질문

• RQ1 경로 대수 $\Gamma$ 상의 도파미터는 쿼이버의 조합론을 통해 어떻게 특성화되고 분류될 수 있는가?
• RQ2 $HH^1(\Gamma)$의 리 대수 구조는 무엇이며, 어떻게 분해되는가?
• RQ3 정점, 화살표, 면 도파미터 공간의 차원은 오일러의 공식과 어떻게 관련되는가?
• RQ4 고유값 작용을 사용하여 $HH^1(\Gamma)$의 반직합 분해를 명시적으로 구성할 수 있는가?
• RQ5 연결 행렬과 경계 행렬은 조합론적 도파미터 간의 관계를 어떻게 코딩하는가?

주요 결과

• ΔΕ̒(Γ) 내 모서리 도파미터 공간은 정점 도파미터 공간과 면 도파미터 공간의 직합이며, 후자는 최대 차원을 갖는다.
• 차원 공식 $\dim_{\Gamma} HH^1(\Gamma) = 1 - |V| + \sum_{\alpha \in E} v(\alpha)$ 는 평면 비순환 쿼이버에 적용될 경우 오일러의 다면체 공식을 복원한다.
• 거의 방향성 순환과 면 도파미터로부터 조합론적으로 $HH^1(\Gamma)$의 표준 기저를 구성한다.
• 리 대수 $HH^1(\Gamma)$는 $HH^1(\Gamma) = \mathfrak{D}_{AL} \rtimes_{\varphi} \mathfrak{D}_F$ 형태의 반직합 분해를 가지며, 여기서 $\mathfrak{D}_{AL}$은 리 이상이고 $\mathfrak{D}_F$는 아벨 부분대수이다.
• 면 도파미터 $D_{\mathfrak{c}}$의 수반 작용이 거의 방향성 순환 도파미터 $D_{r,s}$에 작용할 때 고유값은 $-a_{i_0} + a_{i_1} + \cdots + a_{i_t}$가 되며, 이는 반직합 구조를 결정한다.
• 결과는 특성 0인 체 위에서 성립한다; 반면 특성 2인 경우, 예를 들어 $\text{char}({\bf k}) = 2$일 때는 행렬의 질량이 붕괴하고 차원 공식이 실패하는 반례가 존재한다.