[논문 리뷰] Hochschild cohomology of Jacobian algebras from unpunctured surfaces: A geometric computation

Yadira Valdivieso-Díaz|arXiv (Cornell University)|2015. 12. 02.

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

한 줄 요약

이 논문은 내부 삼각형과 경계 유형 등의 삼각분할 불변량을 사용하여, 구멍이 없는 리만 곡면에서 유래하는 잭슨 대수의 호크실드 코hom로지 차원을 기하학적으로 계산한다. 표면의 위상 기반으로 dimₖ HHⁿ(Aₜ)에 대한 명시적 공식을 수립하며, 내부 삼각형이 존재할 때에만 비자명한 제르스텐하버 대수적 구조가 나타나며, 이러한 대수들의 도입형 등급 분류는 호크실드 코호몰로지만으로는 완전히 분류되지 않음을 보여준다.

ABSTRACT

There are several examples in which algebraic properties of Jacobian algebras from (unpunctured) Riemann surfaces can be computed from the geometry of the Riemann surface. In this work, we compute the dimension of the Hochschild cohomology groups of any Jacobian algebra from unpunctured Riemann surfaces. In those expressions appear geometric objects of the triangulated surface, namely: the number of internal triangles and certain types of boundaries. Moreover, we give geometric conditions on the triangulated surface $(S,M,\mathbb T)$ such that the Gerstenhaber algebra $\operatorname{HH}^*(A_{\mathbb T})$ has non-trivial multiplicative structures. We also show that the derived class of Jacobian algebras from an unpunctured surface $(S,M)$ is not always completely determined by the Hochschild cohomology.

연구 동기 및 목표

• 구멍이 없는 리만 곡면과 관련된 잭슨 대수의 호크실드 코호몰로지 군 차원을 계산하는 것.
• 이 차원을 삼각분할 표면의 기하학적 불변량(내부 삼각형, 경계 유형 등)으로 표현하는 것.
• HH*(Aₜ)에 존재하는 제르스텐하버 대수적 구조가 비자명해지는 조건을 규명하는 것.
• 호크실드 코호몰로지만으로 이러한 대수들의 도입형 등급 분류를 완전히 결정할 수 있는지 조사하는 것.

제안 방법

• 레돈도와 로만의 연구에서 알려진 온화한 대수의 호크실드 코호몰로지 공식을 활용한다.
• 삼각분할 표면의 퀼러 및 포텐셜 자료를 내부 삼각형, 유형 0 및 1의 경계, 그리고 마킹된 점 등의 기하학적 불변량으로 변환한다.
• 표면의 위상 불변량(종수 g, 경계 성분 수 b, 마킹된 점 수 c)을 사용하여 퀼러의 정점 수와 화살표 수를 계산한다.
• 체 k의 특성에 따라 구분되는 경우를 고려하여, HHⁿ(Aₜ)의 차원 공식을 유도한다. 특성 k ≠ 2와 특성 k = 2의 경우를 별도로 다룬다.
• 호크실드 코호몰로지가 실패할 경우 도입형 등급 분류를 구별하기 위해 AG-불변량을 적용한다.
• 호크실드 코호몰로지가 동일하지만 AG-불변량이 서로 다른 두 개의 대수를 포함하는 토러스(경계 성분 2개)에 대한 명시적 반례를 구성하여, HH*가 도입형 등급을 결정하지 못함을 보여준다.

실험 결과

연구 질문

• RQ1 내부 삼각형이 없는 표면에서 유래하는 잭슨 대수의 호크실드 코호몰로지 군 HHⁿ(Aₜ)의 차원은 기하학적 용어로 어떻게 표현될 수 있는가?
• RQ2 HH*(Aₜ)에 존재하는 제르스텐하버 대수적 구조가 비자명해지는 기하학적 조건은 무엇인가?
• RQ3 호크실드 코호몰로지만으로도 내부 삼각형이 없는 표면에서 유래하는 잭슨 대수의 도입형 등급 분류를 완전히 결정할 수 있는가?
• RQ4 특히 n ≥ 2 차수에서 코호몰로지 차원은 체의 특성에 따라 어떻게 달라지는가?
• RQ5 호크실드 코호몰로지 이외의 기하학적 불변량은 이 맥락에서 도입형 등급 분류를 구별하는 데 기여할 수 있는가?

주요 결과

• HH⁰(Aₜ)의 차원은 유형 0의 경계 성분 수에 1을 더한 값이다.
• HH¹(Aₜ)의 차원은 유형 1의 경계 성분 수에 1을 더하고, 퀼러 Qₜ의 화살표 수에서 정점 수를 뺀 값이다.
• 특성 k ≠ 2 이고 n ≥ 2일 경우, dimₖ HHⁿ(Aₜ)는 |int(𝕋)|이며, 이는 n ≡ 0 또는 1 (mod 6)일 때이고, 그 외의 경우 0이다.
• 특성 k = 2 이고 n ≥ 2일 경우, dimₖ HHⁿ(Aₜ)는 |int(𝕋)|이며, 이는 n ≡ 0 또는 1 (mod 3)일 때이고, 그 외의 경우 0이다.
• HH*(Aₜ)의 컵 곱은 삼각분할에 내부 삼각형이 하나 이상 존재할 때에만 비자명하다.
• 내부 삼각형이 존재하는 표면에서 유래하는 잭슨 대수의 도입형 등급 분류는 호크실드 코호몰로지만으로는 완전히 결정되지 않으며, 이는 동일한 HH*를 가지지만 이sovolumetric하지 않은 AG-불변량을 가진 반례를 통해 입증되었다.