[논문 리뷰] Homological degrees of representations of categories with shift functors

Liping Li|arXiv (Cornell University)|2015. 07. 29.

Algebraic structures and combinatorial models참고 문헌 19인용 수 15

한 줄 요약

이 논문은 이산적으로 생성된 ${\mathbbm{k}}$-선형 범주에서의 이동 함수를 갖는 토퍼션 표현이 약간의 조건 하에 초유한 생성성(즉, 유한 생성된 항을 갖는 프로젝티브 분해를 가짐)을 갖는다는 것을 증명한다. 또한 이러한 모듈의 호모로지 차수에 대한 날카운 상계를 제공하며, 특히 특성 0인 체 위의 ${\mathscr{FI}}$-모듈의 경우 기존의 공인조와 이동 함수 기법을 통해 개선된 상계를 도출한다.

ABSTRACT

Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of $\underline{\mathscr{C}}$ are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when $k$ is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated $\mathrm{FI}$-modules.

연구 동기 및 목표

• 이동 함수를 갖는 범주에서 이산적으로 생성된 토퍼션 표현의 초유한 생성성을 확립하기 위해.
• 약간의 조건 하에 이산적으로 생성된 토퍼션 모듈의 호모로지 차수에 대한 상계를 유도하기 위해.
• 이러한 결과를 표현 안정성 범주, 특히 ${\mathscr{FI}}$에 적용하기 위해.
• 공인조와 이동 함수의 구조를 활용하여 기존의 호모로지 차수 상계를 개선하기 위해.

제안 방법

• 1차 자기임bed딩 함수를 사용하여 모듈 범주에 이동 함수 $S_a$ 를 유도한다.
• 호모로지 성질을 분석하기 위해 이동 함수의 우부등가자로 공인조 함수를 적용한다.
• 모든 $s \geq 0$ 에 대해 $H_s(V) = \operatorname{Tor}_s^{{\underline{\mathscr{C}}}}({\underline{\mathscr{C}}}_0, V)$ 라는 토르 기반 호모로지 정의를 사용한다. 여기서 ${\underline{\mathscr{C}}}_0$ 는 자명한 모듈이다.
• 토션 및 토퍼션리스 모듈을 분석하기 위해 ${\underline{\mathscr{C}}}_0 = \bigoplus_{i \in \mathbb{Z}_+} {\underline{\mathscr{C}}}(i,i)$ 의 분해를 사용한다.
• [2, 정리 A] 를 기본 상계로 사용하고, $V^{-1}$ 와 $\operatorname{gd}(V)$ 의 구조적 성질을 활용하여 이를 정교화한다.
• 짧은 정확한 수열 $0 \to V_T \to V \to V_F \to 0$ 을 분석하여 $V$ 의 호모로지 차수와 그 토퍼션 및 토퍼션리스 부분의 차수를 연결한다.

실험 결과

연구 질문

• RQ1 ${\mathbbm{k}}$-선형 범주에서 1차 자기임bed딩 함수를 갖는 경우, 이산적으로 생성된 토퍼션 표현이 초유한 생성성을 갖는 조건은 무엇인가?
• RQ2 이러한 범주에서 이산적으로 생성된 토퍼션 모듈의 호모로지 차수에 대해 어떤 상계를 확립할 수 있는가?
• RQ3 특성 0인 체 위에서 ${\mathscr{FI}}$-모듈의 호모로지 차수는 어떻게 행동하는가? 그리고 기존의 상계를 개선할 수 있는가?
• RQ4 공인조와 이동 함수의 구조는 표현 안정성 이론에서 알려진 호모로지 상계를 어느 정도 정교화하는가?

주요 결과

• 약간의 조건 하에 ${\underline{\mathscr{C}}}$ 의 이산적으로 생성된 토퍼션 표현은 초유한 생성성을 갖는다. 이는 유한 생성된 항을 갖는 프로젝티브 분해를 보장한다.
• 모든 토퍼션리스 ${\underline{\mathscr{C}}}$-모듈 $V$ 에 대해 $s \geq 1$ 에 대해 $\operatorname{hd}_s(V) \leq 2\operatorname{gd}(V) + s - 1$ 이 성립하며, 이는 이전의 상계를 향상시킨다.
• 특성 0인 체 위의 이산적으로 생성된 ${\mathscr{FI}}$-모듈 $V$ 에 대해 $s \geq 1$ 에 대해 $\operatorname{hd}_s(V) \leq \max\{\operatorname{td}(V), 2\operatorname{gd}(V) - 1\} + s$ 가 성립하며, 이는 [2, 정리 A] 보다 더 날카롭다.
• 예시에서 $\operatorname{gd}(V) = 2$ 이고 $\operatorname{hd}_1(V) = 4$ 인 경우, $\operatorname{hd}_s(V) \leq s + 3$ 이 [2, 정리 A] 의 $s + 5$ 상한보다 날카롭고, 최적성을 보여준다.
• 조건이 만족될 경우 $2\operatorname{gd}(V) + s - 1 < \operatorname{gd}(V) + \operatorname{hd}_1(V) + s - 1$ 이 성립하므로, 토퍼션리스 모듈에 대해 새로운 상한은 항상 [2, 정리 A] 보다 최적임을 보여준다.
• ${\underline{\mathscr{C}}}(1,-)$ 와 그 몫 $\overline{V}$ 의 예시는 정리 4.8 의 상한이 날카롭지 않음을 확인하며, 개선의 타당성을 검증한다.