[논문 리뷰] Two homological proofs of the Noetherianity of $FI_G$

Liping Li|arXiv (Cornell University)|2016. 03. 15.

Algebraic structures and combinatorial models참고 문헌 11인용 수 5

한 줄 요약

이 논문은 $FI_G$의 노에터성에 대한 두 가지 새로운 호모로지적 증명을 제시하며, 임의의 가환 노에터 링 위에서 유한 생성 $FI_G$-모듈러는 노에터성임을 입증한다. 증명은 생성 차수, 토퍼션 차수, 호모로지 차수와 같은 호모로지 불변량을 사용하며, 이는 이동 및 도함수 함자에 대한 성질을 활용하고, 유한 차수에서 정의된 모듈러에 대해 필터링된 모듈러와 국소 코hom로지의 결과를 일반화한다.

ABSTRACT

We give two homological proofs of the Noetherianity of the category $FI$, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.

연구 동기 및 목표

• representation 안정성의 기초가 되는 결과인 $FI_G$의 노에터성에 대해 두 가지 새로운 호모로지적 증명을 제공한다.
• 가환 노에터 링 위에서 유한 생성 $FI_G$-모듈러에 대한 결과를 임의의 가환 링 위에서 더 약한 유한 표현 조건을 만족하는 모듈러로 확장한다.
• 모듈러 $V$가 유한 차수에서 표현될 조건은 그 생성 차수와 토퍼션 차수가 모두 유한할 때이고, 그 역도 성립함을 증명한다.
• 도함수 함자의 호모로지적 성질을 사용하여 충분히 큰 $N$에 대해 $\Sigma_N V$ 가 필터링된 모듈러가 됨을 증명한다.
• $FI_G$-모듈러가 유한 차수에서 표현될 경우 국소 코호몰로지 군 $H^i_{\mathfrak{m}}(V)$를 조사하고, 그들의 토퍼션 차수와 캐스텔누오보-무디 코herence 정규성에 대한 경계를 유도한다.

제안 방법

• 모듈러 $V$의 생성 차수 $\operatorname{gd}(V)$ 와 토퍼션 차수 $\operatorname{td}(V)$ 를 각각 $\operatorname{Hom}_{{\underline{\mathscr{C}}}}(kG_n, V)$ 와 $\operatorname{Tor}^{{\underline{\mathscr{C}}}}_s({\underline{\mathscr{C}}}/\mathfrak{m}, V)$ 를 사용하여 정의한다.
• 도함수 함자 $D$ 와 이동 함자 $\Sigma$ 를 사용하여 $V$ 와 $DV$ 의 호모로지 불변량을 연결하며, $DV \neq 0$ 이면 $\operatorname{gd}(DV) = \operatorname{gd}(V) - 1$ 이 됨을 보인다.
• 짧은 정확열 $0 \to V_T \to V \to V_F \to 0$ 을 사용하여 토퍼션과 비토퍼션 부분을 분리하며, $\operatorname{td}(V) = \operatorname{td}(V_T)$ 임을 활용한다.
• 생성 차수에 대한 귀납법과, 만약 $DV$ 가 필터링되고 $V$ 가 비토퍼션이라면 $V$ 도 필터링됨을 보여주는 핵심 보조정리를 사용하여, 충분히 큰 $N$ 에 대해 $\Sigma_N V$ 가 필터링됨을 증명한다.
• 국소 코호몰로지 군과 동치인 $H^i(\mathcal{C}^\bullet V) \cong H^{i+1}_{\mathfrak{m}}(V)$ 를 만족하는 필터링된 모듈러의 유한 복합체 $\mathcal{C}^\bullet V$ 를 구성하며, 코호몰로지 군의 토퍼션 차수에 대한 경계를 유도한다.
• Castelnuovo-Mumford 정규성에 대한 경계를 유도하며, $\operatorname{reg}(V) \leq \max\{\operatorname{td}(H^i_{\mathfrak{m}}(V)) + i\} \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ 를 사용한다.

실험 결과

연구 질문

• RQ1 $FI_G$의 노에터성이 그레브너 이론이나 표현론적 방법이 아닌 호모로지 불변량을 사용하여 증명될 수 있는가?
• RQ2 $FI_G$-모듈러 $V$ 가 유한 차수에서 표현되려면 어떤 조건이 필요한가? 그리고 생성 차수와 토퍼션 차수는 이 조건과 어떻게 관련이 있는가?
• RQ3 $\Sigma_N V$ 가 필터링된 모듈러가 되는 조건은 무엇이며, 이는 호모로지 불변량으로 어떻게 경계될 수 있는가?
• RQ4 유한 차수에서 표현된 $FI_G$-모듈러에 대해 국소 코호몰로지 군 $H^i_{\mathfrak{m}}(V)$ 는 어떻게 행동하는가? 그리고 그들의 토퍼션 차수에 대한 경계는 무엇인가?
• RQ5 Castelnuovo-Mumford 정규성 $\operatorname{reg}(V)$ 와 $\operatorname{gd}(V)$, $\operatorname{td}(V)$ 와 같은 호모로지 불변량 사이의 관계는 무엇인가?

주요 결과

• 모듈러 $V$ 가 유한 차수에서 표현될 조건은 $\operatorname{gd}(V)$ 와 $\operatorname{td}(V)$ 가 모두 유한할 때이다.
• 모듈러 $V$ 가 유한 차수에서 표현된다면, 모든 $N \geq \max\{\operatorname{td}(H^i_{\mathfrak{m}}(V)) \mid i \geq 0\} + 1$ 에 대해 $\Sigma_N V$ 는 필터링된다.
• 국소 코호몰로지 군 $H^i_{\mathfrak{m}}(V)$ 는 $0 \leq i \leq n$ 에 대해 $\operatorname{td}(H^i_{\mathfrak{m}}(V)) \leq 2\operatorname{gd}(V) - 2i - 2$ 를 만족하며, $H^{-1}_{\mathfrak{m}}(V) \cong H^0(\mathcal{C}^\bullet V)$ 이고 $\operatorname{td}(H^{-1}_{\mathfrak{m}}(V)) = \operatorname{td}(V)$ 이다.
• Castelnuovo-Mumford 정규성 $\operatorname{reg}(V)$ 는 $\operatorname{reg}(V) \leq \max\{2\operatorname{gd}(V) - 1, \operatorname{td}(V)\}$ 를 만족하며, 이는 안정도에 대한 호모로지적 경계를 제공한다.
• 가환 노에터 링 위에서 $FI_G$의 노에터성에 대한 두 번째 증명은, 임의의 프로젝티브 모듈러 $P = \underline{\mathscr{C}}e_n$ 의 부분모듈러 $V$ 에 대해 $\operatorname{gd}(V) < \infty$ 임을 보이는 데 기반하며, $W = P/V$ 에 대해 $\operatorname{gd}(W) < \infty$ 이고 $\operatorname{td}(W) < \infty$ 임을 이용한다.
• 결과는 노에터 링 뿐 아니라 임의의 가환 링으로 확장되며, 이는 유한 생성 조건이 아닌 유한 차수에서 표현된 모듈러를 고려함으로써 가능해진다.