[논문 리뷰] On the Action of the Symmetric Group on the Cohomology of Groups Related to (Virtual) Braids

Peter Lee|arXiv (Cornell University)|2013. 04. 16.

Geometric and Algebraic Topology인용 수 3

한 줄 요약

이 논문은 순수 및 비순수 가상 브레인 군과 평평한 브레인 군의 유리수 코homology 위에서 대칭군 $S_n$의 작용을 조사한다. 표현 이론과 코즐 듀얼리티를 사용하여, $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$의 코homology 모듈을 1차원 표현으로부터 유도된 $S_n$-모듈의 합으로 분해하며, 균일한 표현 안정성과 그에 따른 펠리스틱 공식 및 힐베르트 급수를 도출한다. 또한 큰 $n$에 대해 대칭 표현의 중복도가 0임을 보이며, 기존의 일반 순수 브레인 군에 대한 결과를 재확인한다.

ABSTRACT

In this paper we consider the cohomology of four groups related to the virtual braids of [Kauffman] and [Goussarov-Polyak-Viro], namely the pure and non-pure virtual braid groups (PvB_n and vB_n, respectively), and the pure and non-pure flat braid groups (PfB_n and fB_n, respectively). The cohomologies of PvB_n and PfB_n admit an action of the symmetric group S_n. We give a description of the cohomology modules H^i(PvB_n,Q) and H^i(PfB_n,Q) as sums of S_n-modules induced from certain one-dimensional representations of specific subgroups of S_n. This in particular allows us to conclude that H^i(PvB_n,Q) and H^i(PfB_n,Q) are uniformly representation stable, in the sense of [Church-Farb]. We also give plethystic formulas for the Frobenius characteristics of these S_n-modules. We then derive a number of constraints on which S_n irreducibles may appear in H^i(PvB_n,Q) and H^i(PfB_n,Q). In particular, we show that the multiplicity of the alternating representation in H^i(PvB_n,Q) and H^i(PfB_n,Q) is identical, and moreover is nil for sufficiently large $n$. We use this to recover the (previously known) fact that the multiplicity of the alternating representation in H^i(PB_n,Q) is nil (here PB_n is the ordinary pure braid group). We also give an explicit formula for H^i(vB_n,Q) and show that H^i(fB_n,Q)=0. Finally, we give Hilbert series for the character of the action of S_n on H^i(PvB_n,Q) and H^i(PfB_n,Q). An extension of the standard `Koszul formula' for the graded dimension of Koszul algebras to graded characters of Koszul algebras then gives Hilbert series for the graded characters of the respective quadratic dual algebras.

연구 동기 및 목표

• 순수 및 비순수 가상 브레인 군과 평평한 브레인 군의 유리수 코homology 위에서 대칭군 $S_n$의 작용을 이해하는 것.
• 코homology 모듈 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$를 $S_n$의 표현으로 분해하는 것.
• 이 코homology 모듈에 대한 균일한 표현 안정성을 확립하는 것.
• 이 $S_n$-작용에 대한 그레이드 특성에 대한 펠리스틱 공식과 힐베르트 급수를 도출하는 것.
• 특히 대칭 표현을 포함한 불변 표현의 $S_n$-표현이 나타나는 데 대한 제약 조건을 규명하는 것.

제안 방법

• 순수 브레인 군의 군 대수의 관련 군의 대수의 임의의 순서화된 대수를 통해 코homology 모듈을 분석한다.
• $\mathfrak{pvb}_n^!$ 및 $\mathfrak{pfb}_n^!$의 이차 듀얼 대수의 최고 차수 성분 위에서 $S_n$의 작용을 명시적으로 묘사한다.
• 펠리스틱 공식을 사용하여 $S_n$-모듈 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$의 프로베니우스 특성함수를 계산한다.
• 관련 대수에 대해 코즐 복합체를 구성하고, 일반화된 코즐 공식 $A_\sigma(z)A_\sigma^!(-z) = 1$을 적용하여 특성 관계를 도출한다.
• 특정 $S_n$의 부분군으로부터 유도된 표현의 구조를 이용하여 코homology 모듈을 유도된 $S_n$-모듈의 직합으로 묘사한다.
• 코즐 복합체와 특성 분석을 통해 $H^i(f\negthinspace B_n,\mathbb{Q})$의 소멸성을 확립한다.

실험 결과

연구 질문

• RQ1 대칭군 $S_n$은 순수 가상 브레인 군 $P\negthinspace v\negthinspace B_n$의 유리수 코homology 위에서 어떻게 작용하는가?
• RQ2 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$의 코homology 모듈이 특정 부분군의 1차원 표현으로부터 유도된 $S_n$-모듈의 합으로 표현될 수 있는가?
• RQ3 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$의 $S_n$-모듈로서의 분해가 균일한 표현 안정성을 가지는가?
• RQ4 특히 대칭 표현이 포함된 불변 표현의 출현에 대한 제약 조건은 무엇인가?
• RQ5 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$ 위에서 $S_n$-작용에 대한 힐베르트 급수와 그레이드 특성은 무엇인가?

주요 결과

• 코homology 모듈 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$가 특정 부분군의 1차원 표현으로부터 유도된 $S_n$-모듈의 직합으로 분해됨을 보였다.
• 이 코homology 모듈은 창치와 파르의 정의에 따르면 균일한 표현 안정성을 가진다. 즉, 큰 $n$에 대해 분해가 안정화된다.
• 두 코homology 모듈인 $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$에서 대칭 표현의 중복도는 동일하며, 충분히 큰 $n$에 대해 0이 된다.
• $H^i(f\negthinsp B_n,\mathbb{Q})$는 비순수 평평한 브레인 군의 코homology로서 모든 $i$에 대해 0이다.
• 비순수 가상 브레인 군의 코homology는 일반화된 코즐 공식을 통해 $H^i(v\negthinsp B_n,\mathbb{Q})$로 명시적으로 계산된다.
• $H^i(P\negthinspace v\negthinspace B_n,\mathbb{Q})$ 및 $H^i(P\negthinspace f\negthinspace B_n,\mathbb{Q})$ 위에서 $S_n$-작용에 대한 그레이드 특성의 힐베르트 급수를 유도하였으며, 코즐 공식을 사용하여 이와 같은 급수를 이차 듀얼 대수로까지 확장하였다.