[논문 리뷰] D-modules over rings with finite F-representation type

Shunsuke Takagi, Ryo Takahashi|ArXiv.org|2007. 06. 26.

Commutative Algebra and Its Applications참고 문헌 25인용 수 3

한 줄 요약

이 논문은 양의 특성에서 유한한 F-표현 유형을 갖는 Noetherian의 등급을 가진 링에서 D-모듈에 대해 두 가지 유한성 성질을 확립한다. 첫째, 임의의 비영구약수에 대한 국소화는 D-모듈로서 1/x로 생성됨을 증명하며, 다항식 링에 대한 결과를 일반화한다. 둘째, 유한한 F-표현 유형을 갖는 Gorenstein 링의 경우, 국소 코hom로지 모듈은 오직 유한한 수의 관련 소수를 갖는다. 이는 정칙 링에 대한 결과를 확장한 것이다. 논문은 또한 이러한 링에서 동차 이상에 대해 F-점프 지수의 이산성을 증명한다.

ABSTRACT

Smith and Van den Bergh introduced the notion of finite F-representation type as a characteristic $p$ analogue of the notion of finite representation type. In this paper, we prove two finiteness properties of rings with finite F-representation type. The first property states that if $R=\bigoplus_{n \ge 0}R_n$ is a Noetherian graded ring with finite (graded) F-representation type, then for every non-zerodivisor $x \in R$, $R_x$ is generated by $1/x$ as a $D_{R}$-module. The second one states that if $R$ is a Gorenstein ring with finite F-representation type, then $H_I^n(R)$ has only finitely many associated primes for any ideal $I$ of $R$ and any integer $n$. We also include a result on the discreteness of F-jumping exponents of ideals of rings with finite (graded) F-representation type as an appendix.

연구 동기 및 목표

• 유한한 F-표현 유형을 갖는 링으로 D-모듈의 유한성 결과를 확장하여, 유한 표현 유형의 특성 p 버전을 제공한다.
• 국소 코호몰로지 모듈이 관련 소수를 유한하게 갖는지 여부에 대한 오랫동안 열려 있던 문제를, 유한한 F-표현 유형이라는 가정 하에 다룬다.
• 강한 F-정규성과 유한한 F-표현 유형을 갖는 등급 링에서 동차 이상에 대해 F-점프 지수의 이산성을 확립한다.
• 양의 특성에서 미분 연산자와 테스트 이상에 관한 알려진 결과를 더 넓은 범위의 특이 링으로 일반화한다.

제안 방법

• 유한한 F-표현 유형을 갖는 등급 링에서 D-모듈의 구조와 Frobenius 당김의 활용.
• 일반화된 테스트 이상과 Frobenius 거듭제곱과의 호환성을 적용하여 D-모듈의 생성을 통제한다.
• Frobenius 변형 하에서 R-모듈의 등급 성분의 유한 생성성을 활용하여 생성자의 차수를 유 bounds한다.
• 유한 차원의 등급 부분공간에 대한 내림차순 체인을 이용하여 일반화된 테스트 이상의 안정성 증명.
• 기본 체 위의 유한 차원 벡터 공간으로 문제를 축소하여 유한 생성성과 안정성의 특성을 활용한다.
• 큰 e에 대해 일반화된 테스트 이상 τ(𝔞^t)가 I_e(𝔞^{⌈tp^e⌉}, R)와 일치함을 이용하여 생성자의 차수를 통제할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 유한한 (등급) F-표현 유형을 갖는 등급 링 R의 비영구약수 x에 대해, R_x가 D_R/k-모듈로서 유한한 D_R/k-생성집합을 갖는가? 만약 그렇다면, 1/x는 충분한가?
• RQ2 R이 유한한 F-표현 유형을 갖는 Gorenstein 링일 때, 어떤 이상 I와 정수 n에 대해 국소 코호몰로지 모듈 H^n_I(R)가 오직 유한한 수의 관련 소수를 갖는가?
• RQ3 강한 F-정규성과 유한한 F-표현 유형을 갖는 등급 링에서 동차 이상 𝔞의 F-점프 지수는 이산적인가?
• RQ4 추가적인 가정 하에 이산성과 유한한 F-표현 유형이 F-점프 지수의 유리수성을 유추할 수 있는가?

주요 결과

• 유한한 (등급) F-표현 유형을 갖는 Noetherian의 등급 링 R의 임의의 비영구약수 x에 대해, R_x는 D_R/k-모듈로서 1/x로 생성된다.
• R이 유한한 F-표현 유형을 갖는 Gorenstein 링일 경우, 임의의 이상 I와 정수 n에 대해 H^n_I(R)는 오직 유한한 수의 관련 소수를 갖는다.
• 강한 F-정규성과 유한한 (등급) F-표현 유형을 갖는 등급 링 R에서 동차 이상 𝔞의 F-점프 지수 집합은 축적점이 없다.
• 일반화된 테스트 이상 τ(𝔞^t)는 충분히 큰 Frobenius 거듭제곱에서, R과 𝔞의 차수에만 의존하는 유한한 차수의 원소들로 생성된다.
• 일정한 차수에 제한된 일반화된 테스트 이상 τ(𝔞^{α_m})의 내림차순 체인이 정지함을 통해 F-점프 지수의 이산성이 유도된다.
• 이산성 결과는 R이 유한한 등급 F-표현 유형을 갖는다는 가정 하에 성립하며, 이는 이전의 정칙 링의 경우에 대한 결과를 확장한다.