[논문 리뷰] Singularities in mixed characteristic via big Cohen-Macaulay algebras

Linquan Ma, Karl Schwede|arXiv (Cornell University)|2018. 06. 25.

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

한 줄 요약

이 논문은 최근의 약한 함수적(perfectoid) 대수에 관한 결과를 활용하여, big Cohen-Macaulay 대수를 사용하여 유리, $F$-유리, 로그 단순, $F$-정규 특이점의 혼합 특성수 대응체를 도입한다. 이러한 특이점에 대해 변형과 제약 정리들을 확립하고, 이를 통해 산술 가중치에서의 $F$-정규성 및 $F$-유리 특이점에 대한 새로운 결과를 증명한다.

ABSTRACT

We utilize a recent result of Andr\'e and Gabber on the existence of weakly functorial (integral perfectoid) big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed characteristic BCM-variant of rational/$F$-rational singularities, of log terminal/$F$-regular singularities and of multiplier/test ideals of divisor pairs. We prove a number of results about these objects including a restriction theorem for BCM multiplier/test ideals and deformation statements for BCM-regular and BCM-rational singularities. As an application, we obtain results on the behavior of $F$-regular and $F$-rational singularities in arithmetic families.

연구 동기 및 목표

• big Cohen-Macaulay 대수를 사용하여, 유리성과 $F$-유리 특이점 이론을 혼합 특성수 환으로 확장하는 것.
• 이4차원 대수적 쌍에 대한 이4차원 다항식과 테스트 이상의 적절한 대응체를 혼합 특성수에서 정의하는 것.
• BCM-정규성 및 BCM-유리 특이점에 대한 변형 및 제약 정리들을 확립하는 것.
• 이러한 결과들을 산술 가중치에서의 $F$-정규성 및 $F$-유리 특이점의 행동을 이해하는 데 적용하는 것.

제안 방법

• André와 Gabber의 최신 결과인 약한 함수적 정수 계수 perfectoid big Cohen-Macaulay 대수를 활용한다.
• 이 대수들을 사용하여 유리성과 $F$-유리 특이점의 혼합 특성수 변형을 정의한다.
• 혼합 특성수에서 이4차원 다항식과 테스트 이상을 이4차원 대수적 쌍에 대해 도입한다.
• 평탄한 기저 변경 하에서 BCM-다항식/테스트 이상에 대한 제약 정리를 증명한다.
• 소규모 변형 하에서 BCM-정규성 및 BCM-유리 특이점에 대한 변형 정리를 확립한다.
• 이 틀을 활용하여 산술 가중치에서의 $F$-정규성 및 $F$-유리 특이점의 분석을 수행한다.

실험 결과

연구 질문

• RQ1 유리성과 $F$-유리 특이점은 어떻게 혼합 특성수 국소환으로 일반화될 수 있는가?
• RQ2 혼합 특성수에서 이4차원 다항식과 테스트 이상의 적절한 대응체는 무엇인가?
• RQ3 BCM-다항식/테스트 이상은 평탄한 기저 변경 하에서 제약 정리를 만족하는가?
• RQ4 BCM-정규성 및 BCM-유리 특이점은 가중치에서 변형될 수 있는가?
• RQ5 산술 가중치에서 $F$-정규성 및 $F$-유리 특이점은 어떻게 행동하는가?

주요 결과

• big Cohen-Macaulay 대수를 사용하여 유리성과 $F$-유리 특이점의 혼합 특성수 변형이 정의된다.
• 논문은 혼합 특성수에서 이4차원 다항식과 테스트 이상을 이4차원 대수적 쌍에 대해 구성한다.
• 평탄한 기저 변경 하에서 BCM-다항식 및 테스트 이상에 대한 제약 정리가 확립된다.
• 혼합 특성수에서 BCM-정규성 및 BCM-유리 특이점에 대한 변형 정리가 증명된다.
• 이 틀은 산술 가중치에서의 $F$-정규성 및 $F$-유리 특이점의 행동에 대한 새로운 결과를 도출한다.