[논문 리뷰] Cohomologie des foncteurs polynomiaux sur les groupes libres

Aurélien Djament, Teimuraz Pirashvili외 1명|arXiv (Cornell University)|2014. 09. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 8

한 줄 요약

이 논문은 자유군 위의 다항함수 간의 확장군이 전체 함자 범주에서 계산되든 유계 차수의 부분범주 내에서 계산되든 동형임을 증명한다. 주요 결과는 코homological 소멸 성질과 자유군의 군환의 관련 그레이딩환의 구조에 기반하며, 함자 범주에서의 호모로지 차원과 수반 함자에의 응용을 가능하게 한다.

ABSTRACT

We show that extension groups between two polynomial functors on free groups are the same in the category of all functors and in a subcategory of polynomial functors of bounded degree. We give some applications. ---- On montre que les groupes d'extensions entre foncteurs polynomiaux sur les groupes libres sont les mêmes dans la catégorie de tous les foncteurs et dans une sous-catégorie de foncteurs polynomiaux de degré borné. On donne quelques applications.

연구 동기 및 목표

• 자유군 위의 다항함수 간의 확장군이 유계 차수 부분범주로 제한될 때에도 불변임을 입증하는 것.
• 자유군 위의 함자 범주에서의 코homological 비교 문제를 해결하며, 더 복잡한 행동을 보이는 애드티브 범주와 대비된다.
• 주요 결과를 활용해 아벨화 함자의 텐서 제곱의 호모로지 차원을 계산하고, 다항함수 함자 범주에서의 수반 함자 분석을 수행하는 것.
• 이전에 자유군의 자동형사상군의 안정 호모로지 연구에서 나타난 신비로운 수반 함자의 코homological 행동을 명확히 하는 것.

제안 방법

• 자유군의 군환에서의 증강 아이디얼의 코homological 소멸 성질을 이용하며, 피라시빌리의 작업에 영향을 받는다.
• 자유군의 군환의 관련 그레이딩환을 분석하여, 이가 아벨화 위의 텐서 대수와 동형임을 보인다.
• 크로스-이펙트를 통한 다항함수의 함자적 분해를 적용하며, $d$-번째 크로스-이펙트 함자 $\mathrm{cr}_d$ 의 정확성 이용.
• $\mathbb{Z}[\mathfrak{S}_d]$-모듈러스에서 $\mathcal{F}_d(\mathbf{gr})$ 로의 함자 $\beta_d$ 를 구성하고, $\mathrm{cr}_d$ 에 대한 오른쪽 수반임을 보이며, 정확성을 증명한다.
• $\beta_d$ 와 $\mathrm{cr}_d$ 의 수반관계를 이용해 $\mathcal{F}_d(\mathbf{gr})$ 내의 확장군을 $\mathbb{Z}[\mathfrak{S}_d]$-모듈러스 범주 내의 확장군과 연결한다.
• $\mathrm{Ext}^*_{\mathcal{F}_d(\mathbf{gr})}(F, \beta_d(N)) \simeq \mathrm{Ext}^*_{\mathbb{Z}[\mathfrak{S}_d]}(\mathrm{cr}_d(F), N)$ 의 동형을 적용하여 주요 정리를 도출한다.

실험 결과

연구 질문

• RQ1 자유군 위의 다항함수 간의 확장군은 유계 차수 부분범주로 제한될 때에도 불변인가?
• RQ2 자유군 위의 다항함수 범주에서 수반 함자 $\beta_d$ 의 코homological 행동은 어떠한가?
• RQ3 자유군의 군환의 관련 그레이딩환의 구조가 다항함수의 호모로지 대수학에 어떤 영향을 미치는가?
• RQ4 자유군에서 유리수 벡터공간으로의 고정 차수 다항함수 범주의 전반적인 차원은 얼마인가?
• RQ5 아벨화 함자의 텐서 제곱의 호모로지 차원은 유계 차수 다항함수 함자 범주에서 계산할 수 있는가?

주요 결과

• 포함 함자 $\mathcal{F}_d(\mathbf{gr}) \to \mathcal{F}(\mathbf{gr})$ 는 $\mathcal{F}_d(\mathbf{gr})$ 의 대상들 간의 모든 확장군에 대해 동형을 유도하며, 이는 주요 정리를 증명한다.
• $d$-번째 크로스-이펙트 함자 $\mathrm{cr}_d$ 는 $\mathcal{F}_d(\mathbf{gr})$ 에서 정확하며, 이는 증명의 핵심 기술적 요소이다.
• $P_n^{\mathbf{gr}}$ 의 필터링의 계수 $Q_n^d$ 는 $\bigoplels_{i_1+\cdots+i_n=d} \mathfrak{a}^{\otimes i_1} \otimes \cdots \otimes \mathfrak{a}^{\otimes i_n} \simeq \mathfrak{a}^{\otimes d}$ 와 동형이며, 이는 텐서 제곱과의 호환성을 보여준다.
• 자유군에서 유리수 벡터공간으로의 고정 차수 다항함수의 범주는 유한한 전반적 차원을 가진다.
• 크로스-이펙트의 수반 함자 $\beta_d$ 는 정확하며, 확장군에 대해 동형을 유도하며, 이를 통해 코homological 특성화를 제공한다.