[논문 리뷰] Valuations and Frobenius

Rankeya Datta, Karen E. Smith|arXiv (Cornell University)|2015. 07. 21.

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

한 줄 요약

이 논문은 소수 특성의 순서수 링에서 프로베누스 특이성—F-순수성, 프로베누스 분할, F-정규성—을 조사하며, 모든 이러한 링이 F-순수임을 보이고, 강한 F-정규성의 자연스러운 일반화로 F-순수 정규성을 도입한다. 주요 결과는 순서수 링이 F-순수 정규이면 정확히 노에테르 링임을 보여주며, F-유한 함수체 내의 노에테르 순서수 링에서는 프로베누스 분할이 정규성과 F-유한성과 동치임을 보인다.

ABSTRACT

The behavior of the Frobenius map is investigated for valuation rings of prime characteristic. We show that valuation rings are always F-pure. We introduce a generalization of the notion of strong F-regularity, which we call F-pure regularity, and show that a valuation ring is F-pure regular if and only if it is Noetherian. For valuations on function fields, we show that the Frobenius map is finite if and only if the valuation is divisorial; in this case the valuation ring is Frobenius split. For Noetherian valuation rings in function fields, we show that the valuation ring is Frobenius split if and only if Frobenius is finite, or equivalently, if and only if the valuation ring is excellent.

연구 동기 및 목표

• 노에테르 링 외부로 프로베누스 특이성—F-순수성, 분할, F-정규성—이론을 확장하기.
• 특히 함수체에서 비노에테르 순서수 링에서 프로베누스 사상의 행동을 이해하기.
• 노에테르 순서수 링에서 프로베누스 유한성, 분할, 정규성, F-유한성 간의 관계를 명확히 하기.
• 비F-유한 링에 대해 강한 F-정규성의 일반화로 F-순수 정규성을 도입하고 분석하기.
• 비노에테르 순서수 링에서 프로베누스 분할이 F-유한성 또는 정규성을 유도하는지 확인하기.

제안 방법

• 소수 특성의 순서수 링에서 특이성을 분석하기 위해 중심 도구로 프로베누스 사상 $F: R \to R$, $r \to r^p$ 를 사용한다.
• 유한성 가정을 피하기 위해 분할 사상 대신 순수 사상(純 maps)을 사용하여 강한 F-정규성의 일반화로 F-순수 정규성을 정의한다.
• 평탄성과 순서수 이론적 성질을 활용하여 프로베누스 사상의 순수성에 기반해 모든 순서수 링이 F-순수임을 증명한다.
• 값군의 구조를 이용해 함수체 내 순서수 링에서 프로베누스 사상이 유한함은 정확히 그 순서수가 아브하앙카르일 때라는 것을 증명한다.
• 정규성과 F-유한성 이론을 적용하여 노에테르 순서수 링에서 프로베누스 분할을 특성화한다.
• 예시와 반례(예: F-유한하지 않은 분할이 안 되는 DVR)를 사용해 F-순수성, 분할, 더 강한 정규성 조건 간의 차이를 명확히 한다.

실험 결과

연구 질문

• RQ1 소수 특성의 순서수 링에서 프로베누스 사상은 항상 순수한가(F-순수한가)?
• RQ2 노에테르 순서수 링에서 프로베누스 분할, F-유한성, 정규성 간의 정확한 관계는 무엇인가?
• RQ3 F-순수 정규성은 모든 순서수 링 중에서 노에테르 순서수 링을 특징짓는가?
• RQ4 비노에테르 순서수 링에서 프로베누스 분할이 발생할 수 있으며, 만약 그렇다면 어떤 조건에서일까?
• RQ5 비노에테르 링에서 F-순수 정규성은 모든 모듈이 단단히 닫혀 있음을 동치로 하는가?

주요 결과

• 모든 소수 특성의 순서수 링은 F-순수하다. 왜냐하면 프로베누스 사상이 항상 순수하기 때문이다.
• 순서수 링이 F-순수 정규이면 정확히 노에테르 링이며, 이는 노에테르와 비노에테르 링 간의 명확한 이원성(dichotomy)을 보여준다.
• F-유한 필드 위의 함수체 내 노에테르 순서수 링에서는 프로베누스 분할이 F-유한성과 정규성과 동치이다.
• 프로베누스 사상이 유한함은 정확히 순서수가 아브하앙카르일 때이며, 이 경우 순서수 링은 프로베누스 분할된다.
• F-유한하지 않은 분할이 안 되는 예로, 일부 노에테르 순서수 링(예:离산 순서수 링)이 존재하며, 이는 분할이 F-순수성보다 엄밀히 강함을 보여준다.
• 분할 F-정규성은 F-순수 정규성보다 엄밀히 강하다. F-유한 분수체를 가진 DVR의 경우, 이는 정규성과 F-유한성과 동치이다.