[논문 리뷰] Splitting Algebras II: The Cohomology Algebra

Brad Shelton|arXiv (Cornell University)|2012. 08. 10.

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

한 줄 요약

이 논문은 유한 순위를 가진 포스엣 $̳\Gamma$ 에 관련된 관련된 등급 분할 대수 $A'_{\Gamma}$ 의 코homology 와 코알제브라를 계산하며, 이들이 순서 복합체 $̳\Delta(\Gamma_{b,q})$ 의 감소 코homology 와 동형임을 보여준다. 주요 결과로는 $A'_{\Gamma}$ 가 쿠즈울(즉, $\Gamma$ 가 코hen-맥컬레이)이면 쿠즈울(또는 이차)임을 보이며, 이는 대수적 위상수학을 통해 이러한 포스엣 성질에 대한 새로운 호모로지적 특성화를 제공한다.

ABSTRACT

Gelfand, Retakh, Serconek and Wilson, in \cite{GRSW}, defined a graded algebra $A_Γ$ attached to any finite ranked poset $Γ$ - a generalization of the universal algebra of pseudo-roots of noncommutative polynomials. This algebra has since come to be known as the splitting algebra of $Γ$. The splitting algebra has a secondary filtration related to the rank function on the poset and the associated graded algebra is denoted here by $A'_Γ$. We calculate the cohomology algebra (and coalgebra) of $A'_Γ$ explicitly. As a corollary to this calculation we have a proof that $A'_Γ$ is Koszul (respectively quadratic) if and only if $Γ$ is Cohen-Macaulay (respectively uniform). We show by example that the cohomology algebra (resp. coalgebra) of $A_Γ$ may be strictly smaller that the cohomology algebra (resp. coalgebra) of $A'_Γ$.

연구 동기 및 목표

• 유한 순위를 가진 포스엣 $\Gamma$ 에 대해 관련된 등급 분할 대수 $A'_{\Gamma}$ 의 코homology 와 코알제브라를 계산하는 것.
• A'_{\Gamma}$ 의 쿠즈울 및 이차 성질을 통해 $\Gamma$ 의 코헨-맥컬레이 및 균일 성질에 대한 호모로지적 특성화를 수립하는 것.
• A_{\Gamma}$ 의 코homology 가 $A'_{\Gamma}$ 의 것보다 엄격히 작을 수 있음을 보여주며, 필터링이 항상 코homological 구조를 유지하지는 않음을 보여주는 것.
• 기존의 분할 대수에 관한 결과들을 통합하고 일반화하여, 포스엣의 위상수학적 불변량과 연결하는 것.

제안 방법

• 논문 [3] 에서 제시된 표준 기저와 스펙트럴 시퀀스를 이용하여 $A'_{\Gamma}$ 의 코homology 를 계산하며, 이는 사슬 복합체 위에 호모토피를 정의하는 데 사용된다.
• 모든 $b \in \Gamma$ 에 대해 $rk(b) \geq q$ 를 만족할 때, 코homology 군 $\mathrm{Ext}^{p,q}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 가 감소 코homology $\tilde{H}^{p-2}(\Delta(\Gamma_{b,q}))$ 와 동형임을 보였다.
• 코알제브라 구조 $\mathrm{Tor}^{A'_{\Gamma}}_{p,q}(\mathbb{F},\mathbb{F})$ 는 동일한 인덱스 집합에 대해 감소 호몰로지 군의 직합으로 표현된다.
• 증명은 [3] 에서 제시된 $A_{\Gamma}$ 의 표준 기저에 기반하며, 이는 세어내기 위함이 아니라 사슬 호모토피를 정의하기 위함이다.
• 감소 코homology 의 표준적 관례를 사용한다: $\tilde{H}^{-1}(\Delta(\emptyset)) = \mathbb{F}$ 이며, $n \neq -1$ 일 때 $\tilde{H}^n(\Delta(\emptyset)) = 0$ 이다.
• 반례를 구성하여 $gr(\mathrm{Ext}_{A_{\Gamma}}(\mathbb{F},\mathbb{F})) \neq \mathrm{Ext}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 임을 보이며, $A_{\Gamma}$ 의 코homology 가 $A'_{\Gamma}$ 의 것보다 엄격히 작을 수 있음을 증명한다.

실험 결과

연구 질문

• RQ1 유한 순위를 가진 포스엣 $\Gamma$ 에 대해 관련된 등급 분할 대수 $A'_{\Gamma}$ 의 코homology 대수는 무엇인가?
• RQ2 $A_{\Gamma}$ 와 $A'_{\Gamma}$ 의 코homology 는 어떻게 비교되며, 어떤 조건에서 다를 수 있는가?
• RQ3 $A'_{\Gamma}$ 의 쿠즈울 및 이차 성질은 코헨-맥컬레이성 또는 균일성과 같은 $\Gamma$ 의 위상수학적 성질로 특성화될 수 있는가?
• RQ4 $A_{\Gamma}$ 의 호모로지 불변량 중 $\Gamma$ 의 순서 복합체의 위상을 포착하는 것은 존재하는가?

주요 결과

• 코homology 대수 $\mathrm{Ext}^{p,q}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 는 모든 $b \in \Gamma$ 에 대해 $rk(b) \geq q$ 를 만족할 때, 감소 코homology 군 $\tilde{H}^{p-2}(\Delta(\Gamma_{b,q}))$ 의 직합과 동형이다.
• 코알제브라 $\mathrm{Tor}^{A'_{\Gamma}}_{p,q}(\mathbb{F},\mathbb{F})$ 는 동일한 인덱스 집합에 대해 감소 호몰로지 군 $\tilde{H}_{p-2}(\Delta(\Gamma_{b,q}))$ 의 직합과 동형이다.
• $A'_{\Gamma}$ 는 $\Gamma$ 가 균일할 때에만 이차이며, $\Gamma$ 가 코헨-맥컬레이일 때에만 쿠즈울이다.
• 유한 순위를 가진 포스엣 $\Gamma$ 가 존재하여 $gr(\mathrm{Ext}_{A_{\Gamma}}(\mathbb{F},\mathbb{F})) \neq \mathrm{Ext}_{A'_{\Gamma}}(\mathbb{F},\mathbb{F})$ 임을 보이며, 이는 $A_{\Gamma}$ 의 코homology 가 $A'_{\Gamma}$ 의 것보다 엄격히 작을 수 있음을 증명한다.
• 코homology 계산의 결과로 $A_{\Gamma}$ 의 힐베르트 급수를 복구할 수 있으며, 이는 [8] 에서의 결과에 대한 새로운 증명을 제공한다.
• 논문의 결과는 [5] 에서 제시된 $\Gamma$ 가 코헨-맥컬레이일 때 $R_{\Gamma}$ 가 쿠즈울임의 동치를 $A'_{\Gamma}$ 의 코homology 와 연결함으로써 새로운 증명을 제공한다.