[논문 리뷰] On the degree-wise coherence of FI_G-modules

Eric Ramos|arXiv (Cornell University)|2016. 06. 14.

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

한 줄 요약

이 논문은 ${\mathscr{FI}}_G$-모듈이 각 차수에서 협응하는지 여부가 그 모듈의 토퐁션 차수( torsion degree )가 유한한지 여부와 정확히 동치임을 증명함으로써, 군 $G$ 또는 계수 환 $k$에 대한 제약 없이 이러한 모듈의 범주가 아벨 범주임을 보여줌. 이 결과는 각 차수에서 협응하는 모듈에 대해 강력한 국소 코hom로지 이론을 가능하게 하며, 차원, 정규성, 대칭 정리 등에 응용 가능함.

ABSTRACT

In this work we study a kind of coherence condition on FI_G-modules, which generalizes the usual notion of finite generation. We prove that a module is coherent, in the appropriate sense, if and only if its generators, as well as its torsion, appears in only finitely many degrees. Using this technical result, we prove that the category of coherent FI_G-modules is abelian, independent of any assumptions on the group G, or the coefficient ring k. Following this, we consider applications towards the local cohomology theory of FI_G-modules, introduced by Li and the author in previous work.

연구 동기 및 목표

• 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈의 정확한 특성화를 유한한 토퐁션 차수의 관점에서 제공함.
• 군 $G$ 또는 계수 환 $k$에 대한 가정 없이도 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈의 범주가 아벨 범주임을 보임.
• 각 차수에서 협응하는 모듈에 대해 국소 코호몰로지 이론을 개발하고 그 구조적 결과를 도출함.
• 무한 유도 함수의 유도 함자와 국소 코호몰로지 모듈 간의 대칭 정리를 증명함.

제안 방법

• 생성자에서의 유한 생성성과 유한 관계 차수를 통해 각 차수에서의 협응성을 정의함.
• 토퐁션 차수 $\operatorname{td}(V)$ 를 토퐁션 원소를 포함하는 차수의 상한으로 정의함.
• 각 차수에서의 협응성이 $\operatorname{td}(V) < \infty$ 와 동치임을 증명함으로써, 리의 추측을 해결함.
• 국소 코호몰로지 함자 $H^i_{\mathfrak{m}}(V)$ 의 구조를 이용해 차원과 정규성을 정의함.
• 유도 함자 $D_\infty^b$ 와 국소 코호몰로지 간의 관계를 연결하기 위해 그로텐디크 스펙트럴 시퀀스를 구성함.
• 각 차수에서 협응하는 모듈 $V$ 의 차원이 $d$ 라면, $H^i_{D_\infty^{d+1}}(V) \cong H^{d+1-i}_{\mathfrak{m}}(V)$ 라는 대칭 이sov미즘을 확립함.

실험 결과

연구 질문

• RQ1 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈은 유한한 토퐁션 차수와 동치인가?
• RQ2 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈의 범주가 군 $G$ 또는 계수 환 $k$에 대한 제약 없이 아벨 범주인가?
• RQ3 각 차수에서 협응하는 모듈의 국소 코호몰로지 모듈은 무한 유도의 토퐁션 부분모듈을 통해 계산될 수 있는가?
• RQ4 유도 함자 $D_\infty^b$ 와 국소 코호몰로지 함자 간의 관계는 무엇인가?
• RQ5 각 차수에서 협응하는 모듈의 정규성은 $\operatorname{reg}(V) = \max_i\{\deg(H^i_{\mathfrak{m}}(V)) + i\}$ 를 만족하는가?

주요 결과

• 모든 군 $G$ 와 가환 환 $k$ 에 대해 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈의 범주는 노에테르 조건 없이도 아벨 범주임을 보임.
• 각 차수에서 협응하는 ${\mathscr{FI}}_G$-모듈은 그 토퐁션 차수 $\operatorname{td}(V)$ 가 유한할 때이고 그때에만 성립하며, 리의 추측을 확인함.
• 각 차수에서 협응하는 모듈의 국소 코호몰로지 모듈은 스스로 각 차수에서 협응함.
• 각 차수에서 협응하는 모듈의 차원은 $\dim_{{\mathscr{FI}}_G}(V) = \sup\{i \mid H^i_{\mathfrak{m}}(V) \neq 0\}$ 으로 정의되며, $V$ 가 $\sharp$-필터링일 경우 $\infty$ 가 됨.
• 각 차수에서 협응하는 모듈의 정규성은 $\operatorname{reg}(V) \leq \max_i\{\deg(H^i_{\mathfrak{m}}(V)) + i\}$ 를 만족하며, 등호가 성립할 것이라 추측됨.
• 각 차수에서 협응하는 모듈 $V$ 의 차원이 $d$ 라면, $H^i_{D_\infty^{d+1}}(V) \cong H^{d+1-i}_{\mathfrak{m}}(V)$ 라는 대칭 이sov미즘이 성립함.