[논문 리뷰] FI$^m$-modules over Noetherian rings

Liping Li, Nina Yu|arXiv (Cornell University)|2017. 05. 02.

Commutative Algebra and Its Applications참고 문헌 21인용 수 5

한 줄 요약

이 논문은 Noetherian 환 위에서 FI^m-모듈의 기초적 표현 및 호모로지적 성질을 수립하며, FI-모듈 이론의 결과를 일반화한다. 특성 0인 체 위에서 유한 생성인 FI^m-모듈이 표현 안정성을 보임을 증명하여, 다중 정렬형 구성 유사 카테고리에 대한 표현 안정성 이론을 그라디에이션 카테고리 구조와 Noetherian 기반 위에서의 상대적 프로젝티브성에 의해 확장한다.

ABSTRACT

In this paper we study representation theory of the category FI$^m$ introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI$^m$ in a natural way. In particular, we prove the representation stability property of finitely generated FI$^m$-modules over fields of characteristic 0.

연구 동기 및 목표

• Noetherian 환 위에서 FI-모듈의 표현 이론을 FI^m, 즉 FI의 m중 곱 카테고리로 확장한다.
• 임의의 가환 Noetherian 환 위에서 FI^m이 국소적으로 Noetherian임을 확립한다.
• FI에서의 상대적 프로젝티브성 및 필터링 분해와 같은 호모로지적 성질을 FI^m로 일반화한다.
• 특성 0인 체 위에서 유한 생성인 FI^m-모듈이 표현 안정성을 보임을 증명한다.
• 지역 코hom로지, 정규성 경계 및 코인덕션 함자 이론의 향후 발전을 위한 기초를 마련한다.

제안 방법

• 저자들은 FI^m을 FI의 m개 복사본의 곱 카테고리로 정의하며, 객체로는 유한 집합의 m-튜플, 사상으로는 단사 사상의 m-튜플을 사용한다.
• 객체의 총 차수를 통해 FI^m에 그라디에이션 구조를 도입함으로써, 차수별로 유한 생성인 모듈의 정의를 가능하게 한다.
• 자기 임bedding 함자 ι_i와 시프트 함자 Σ_i를 사용하여 도함수 함자 D를 V^⊕m → ΣV에 대한 자연스러운 사상의 코어널로 정의한다.
• 순위가 매겨진 부분순서 집합의 구조와 유한 생성의 유계성에 기반하여, 유한 생성 모듈의 부분모듈이 유한 생성임을 보여, FI^m이 국소적으로 Noetherian임을 증명한다.
• 다항계수의 다항식 계수를 포함하는 조합적 공식을 분석하여, V_n의 차원 성장률을 분석함으로써, 유한 생성인 FI^m-모듈의 다항식 성장을 확립한다.
• 상대적 프로젝티브 모듈을 사용하여 모듈 V의 분해 복합체 F^•를 구성하며, 이 복합체의 호모로지 군이 지역 코hom로지와 관련되어 정규성과 관련된 성질을 계산함을 보인다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위에서 FI-모듈의 표현 안정성 성질이 FI^m-모듈로 확장될 수 있는가?
• RQ2 유한 생성인 FI^m-모듈의 정규성에 대해, 그 호모로지 불변량에 대한 유한 상한이 존재하는가?
• RQ3 FI^m-모듈에 대한 코인덕션 함자들이 특성 0에서 FI의 경우와 유사한 좋은 성질을 가지는가?
• RQ4 지역 코hom로지 이론을 FI^m-모듈에 대해 개발할 수 있으며, 상대적 프로젝티브성을 특징짓는 소멸 조건이 존재하는가?
• RQ5 분해 복합체 F^•의 호모로지 군이 FI의 경우와 마찬가지로 V의 지역 코호몰로지 군과 일치하는가?

주요 결과

• 임의의 가환 Noetherian 환 위에서 FI^m은 국소적으로 Noetherian이며, 이는 유한 생성 모듈의 부분모듈이 항상 유한 생성됨을 보장한다.
• 특성 0인 체 위에서 유한 생성인 FI^m-모듈은 표현 안정성을 보이며, 이는 FI-모듈의 결과를 일반화한다.
• V_n의 차원은 각도 n_i에 대해 다항식적으로 성장하며, 성장률은 ∏_{i=1}^m (n_i choose l_i) × dim_k V_l (l ≤ n) 으로 유계된다.
• 분해 복합체 F^•의 호모로지 군은 V의 지역 코호몰로지 군과 일치하며, 이는 지역 코호몰로지 이론의 추측을 지지한다.
• 도함수 함자 D는 V가 상대적 프로젝티브가 아니라는 실패를 캡처하며, 모든 FI^m-모듈에 대해 정확한 수열 0 → KV → V^⊕m → ΣV → DV → 0 이 성립한다.
• 유한 생성인 FI^m-모듈의 정규성은 Noetherian 환 위에서 유한하나, 아직 호모로지 불변량에 대한 명시적 상한은 확립되지 않았다.