[논문 리뷰] Finite F-type and F-abundant modules

Hailong Dao, Tony Se|arXiv (Cornell University)|2016. 03. 01.

Commutative Algebra and Its Applications참고 문헌 14인용 수 6

한 줄 요약

이 논문은 양의 소수 성질을 가진 가환 노에터 링 위에서 두 가지 새로운 모듈 클래스인 유한 F-형 모듈과 F풍부 모듈을 도입하고 연구한다. 프로베누스 함자와 반사적 힐을 사용하여, 특정 조건 하에서 M이 유한 F-형이고 N이 F풍부일 경우 Hom_R(M,N)이 최대 코hen-맥컬레이가 됨을 증명하며, F-정규 특이점과 F기여자에 대한 코hen-맥컬레이 성질에 대한 기존 결과를 확장한다.

ABSTRACT

In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive ideals representing torsion elements in the divisor class group of $R$. The second class is what we call $F$-abundant modules. These include, for example, the ring $R$ itself and the canonical module when $R$ has positive splitting dimension. We prove various facts about these two categories and how they are related, for example that $\mathrm{Hom}_R(M,N)$ is maximal Cohen-Macaulay when $M$ is of finite $F$-type and $N$ is $F$-abundant, plus some extra (but necessary) conditions. Our methods allow us to extend previous results by Patakfalvi-Schwede, Yao and Watanabe. They also afford a deeper understanding of these objects, including complete classifications in many cases of interest, such as complete intersections and invariant subrings.

연구 동기 및 목표

• 양의 성질을 가진 링에서 프로베누스 함자를 사용하여 두 가지 새로운 모듈 클래스인 유한 F-형과 F풍부 모듈을 정의하고 연구한다.
• 파타크팔비-슈베드, 요우, 와타나베의 정리들을 확장하여 F-정규 특이점과 약수 클래스의 코hen-맥컬레이 성질에 관한 기존 결과를 일반화한다.
• 완전교차와 불변 부분환과 같은 핵심 케이스에서 유한 F-형과 F풍부 모듈의 완전 분류를 제공한다.
• M이 유한 F-형이고 N이 F풍부일 때 Hom_R(M,N)이 최대 코hen-맥컬레이가 되는 조건을 확립한다.
• 약수 클래스군과 분할 차원의 맥락에서 반사적 모듈과 그 프로베누스 당김에 대한 행동에 대한 이해를 심화한다.

제안 방법

• 유한 F-형 모듈을 정의한다. 이는 프로베누스 당김의 반사적 힐이 유한 생성된 덧셈 카테고리에 속할 때를 말한다.
• 프로베누스 거듭제곱의 분할에 대한 渐진 조건을 통해 F풍부 모듈을 도입한다: liminf_{e→∞} p^{eα(R)} / b_e = 0 (여기서 b_e는 자유 합성의 최대 다중도이다).
• Frobenius 함자 F^e(M) = M ⊗_R {}^e R 와 그 반사적 힐 M(e) = F^e_R(M)** 를 사용하여 프로베누스 반복 하에서 모듈의 안정성을 분석한다.
• Serre의 (S_k) 조건과 국소 코hom로 Hom 모듈의 깊이와 코hen-맥컬레이 성질을 분석한다.
• canonical 모듈 ω_R 와 M^∨ = Hom_R(M, ω_R) 의 쌍대성 관계를 활용하여 F풍부 모듈 맥락에서 반사성과 쌍대성의 관계를 규명한다.
• 프로젝티브 다양체와 층 코homology를 통한 기하학적 해석을 통해 모듈 이론적 성질을 Proj(A)와 Spec(R)\{m} 위의 벡터 번들의 성질과 연결한다.

실험 결과

연구 질문

• RQ1 M이 유한 F-형이고 N이 F풍부일 때, 어떤 조건 하에서 Hom_R(M,N)이 최대 코hen-맥컬레이가 되는가?
• RQ2 유한 F-형 모듈은 정상 도메인의 약수 클래스군의 토피컬 원소와 어떻게 관련되는가?
• RQ3 분할 차원과 프로베누스 분할 행동의 관점에서 F풍부 모듈은 무엇으로 특징지어지는가?
• RQ4 F-정규 특이점에서 약수 클래스의 코hen-맥컬레이 성질에 관한 결과를, 약수의 차수와 p가 서로소여야 한다는 조건 없이 확장할 수 있는가?
• RQ5 완전교차 링과 불변 부분환에서 유한 F-형과 F풍부 모듈의 완전 분류를 어떻게 확보할 수 있는가?

주요 결과

• M이 유한 F-형이고 N이 F풍부이며, 추가 기술적 조건을 만족할 경우, Hom_R(M,N)은 최대 코hen-맥컬레이이다.
• 정상 도메인의 약수 클래스군에서 토피컬 원소를 나타내는 반사적 모듈은 유한 F-형이지만, 유한 차수를 가정하지 않더라도 성립한다.
• F-유한 정상 도메인과 완전한 잔여체를 가진 경우, (X,Δ)가 강한 F-정규이고 rD ∼ rΔ′ (0 ≤ Δ′ ≤ Δ) 를 만족할 경우, O_X(−D)는 코hen-맥컬레이이다.
• 프로베누스 거듭제곱에서 자유 합성의 최대 다중도 b_e 에 대해 liminf_{e→∞} p^{eα(R)} / b_e = 0 이면, (N,L)는 풍부 쌍이다.
• 완전교차 링과 불변 부분환에서는 유한 F-형과 F풍부 모듈의 카테고리에 대해 완전한 분류가 가능하다.
• Proj(A) 위의 벡터 번들의 프로베누스 주기성은 정확히 프로베누스 반복 하에서 해당 M(e) 모듈의 동형과 일치한다.