[논문 리뷰] Algebraic properties of face algebras

Fabio Calderón, Chelsea Walton|arXiv (Cornell University)|2021. 05. 25.

Algebraic structures and combinatorial models참고 문헌 16인용 수 1

한 줄 요약

이 논문은 유한 쿠이버 Q에 관련된 하야시의 얼굴 대수 H(Q)가 경로 대수 kQ와 유사한 핵심 대수적 및 호모로지적 성질을 공유함을 증명함으로써, H(Q)가 크로네커 제곱 쿠이버 bQ의 경로 대수와 동형임을 보여준다. 주요 결과는 H(Q)가 kQ로부터 유한 차원성, 유한 GK차원, 노에터성, 조건부로 소성, 반소성, 전반적 차원, 코즐성 등의 성질을 물려받으며, Q의 인접행렬과 그 거듭제곱을 통해 차원과 GK차원에 대한 명시적 공식이 유도됨.

ABSTRACT

Prompted an inquiry of Manin on whether a coacting Hopf-type structure $H$ and an algebra $A$ that is coacted upon share algebraic properties, we study the particular case of $A$ being a path algebra $\Bbbk Q$ of a finite quiver $Q$ and $H$ being Hayashi's face algebra $\mathfrak{H}(Q)$ attached to $Q$. This is motivated by the work of Huang, Wicks, Won, and the second author, where it was established that the weak bialgebra coacting universally on $\Bbbk Q$ (either from the left, right, or both sides compatibly) is $\mathfrak{H}(Q)$. For our study, we define the Kronecker square $\widehat{Q}$ of $Q$, and show that $\mathfrak{H}(Q) \cong \Bbbk \widehat{Q}$ as unital algebras. Then we obtain ring-theoretic and homological properties of $\mathfrak{H}(Q)$ in terms of graph-theoretic properties of $Q$ by way of $\widehat{Q}$.

연구 동기 및 목표

• 경로 대수 kQ 위에서 유니버설 코작용하는 약한 바이알제브라가 그 대수와 동일한 대수적 성질을 가지는지에 대한 마니ン의 열린 질문을 다룸.
• 유한 쿠이버 Q의 경로 대수 kQ 위에서 유니버설 코작용하는 약한 바이알제브라로서의 얼굴 대수 H(Q)를 연구함.
• H(Q)와 크로네커 제곱 쿠이버 bQ의 경로 대수 사이의 구조적 동형을 확립함.
• bQ를 통해 Q의 그래프 이론적 불변량을 이용해 H(Q)의 링 이론적 및 호모로지적 성질를 특성화함.
• Q의 인접행렬을 통해 H(Q)의 차원과 겔판트-키릴로프 차원에 대한 명시적 공식을 제공함.

제안 방법

• 쿠이버 Q의 크로네커 제곱 bQ를 정의함: 정점은 Q0 × Q0에 속하는 쌍 (i,j)이며, 간선은 Q 내에서 같은 길이의 경로 쌍 (a,b)로 구성됨.
• 기저 원소 xa,b ∈ H(Q)를 k bQ 내 경로 [a,b]로 보내는 k-선형, 곱셈형, 전단사 사상에 의해 H(Q)가 단위를 가진 N-등급 k-대수로서 k bQ와 동형임을 증명함.
• 경로 대수의 대수적 성질이 그 기저 쿠이버의 그래프 이론적 성질과 연결됨을 알려진 결과를 활용해 k bQ에서 H(Q)로 성질를 이전함.
• bQ의 그래프 이론적 성질(특히 연결성, 강한 연결성, 경로 수)을 Q와 관련해 분석하여 H(Q)의 성질를 유도함.
• H(Q)의 힐버트 급수를 t의 멱급수로 표현함. 계수는 Q의 인접행렬의 텐서곱으로 주어짐.
• 텐서 대수 이론을 적용하여 kQ와 k bQ(따라서 H(Q))가 모두 코즐 대수임을 보임.

실험 결과

연구 질문

• RQ1 경로 대수 kQ 위에서 유니버설로 코작용하는 얼굴 대수 H(Q)는 kQ와 동일한 링 이론적 및 호모로지적 성질을 물려받는가?
• RQ2 H(Q)의 차원은 Q의 인접행렬과 그 거듭제곱과 어떻게 관련이 있는가?
• RQ3 H(Q)의 겔판트-키릴로프 차원은 kQ의 그것에 대해 어떻게 표현되는가?
• RQ4 H(Q)가 소성일 조건은 무엇이며, 이는 kQ의 소성과 어떻게 관련되는가?
• RQ5 H(Q)의 대수적 구조는 완전히 어떤 쿠이버 구성으로 기술될 수 있는가? 만약 가능하면, 어떤 쿠이버인가?

주요 결과

• H(Q)는 단위를 가진 N-등급 k-대수로서 크로네커 제곱 쿠이버 bQ의 경로 대수 k bQ와 동형임. 여기서 bQ는 Q의 크로네커 제곱이다.
• dimk(H(Q)) = ∑_{i,j∈Q0, k≥0} (c(k)_{i,j})², 여기서 c(k)_{i,j}는 Q의 인접행렬의 k제곱의 (i,j)-성분이다.
• GKdim(H(Q)) = 2·GKdim(kQ) − 1, 단, GKdim(kQ)가 유한할 경우에 한함.
• kQ가 소성이고 Q에 최소한 한 개의 사이클이 포함되어 있으면, H(Q) 역시 소성이다.
• H(Q)의 전반적 차원은 kQ와 동일하며, 둘 다 허리디티 대수이다.
• H(Q)의 힐버트 급수는 HH(Q)(t) = I⊗I + (C⊗C)t + (C²⊗C²)t² + ⋯로 주어지며, 여기서 C는 Q의 인접행렬이고 I는 크기가 |Q0|인 항등행렬이다.