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

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

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

한 줄 요약

이 논문은 퍼펙트로이드 큰 코hen-맥컬레이 대수를 이용하여 유리 및 F-정칙 특이점, 승수/시험 이상의 혼합 특성수 버전을 도입한다. 이러한 불변량이 충분히 큰 선택에서 퍼펙트로이드 BCM 대수의 선택에 관계없이 일정함을 증명하고, 변형 및 제약 정리들을 증명하여 혼합 특성수 특이점과 그 특성수 0 및 양의 특성수 대응체를 연결한다.

ABSTRACT

We utilize recent results of André 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 perfectoid BCM multiplier/test ideals and deformation statements for perfectoid 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.

연구 동기 및 목표

• 특성수 0 및 양의 특성수에서의 유리 및 F-정칙 특이점 이론을 퍼펙트로이드 큰 코hen-맥컬레이 대수를 통해 혼합 특성수로 확장한다.
• 이론적 특성수에서의 승수 이상 및 시험 이상의 퍼펙트로이드 BCM 대수 버전을 정의하고 연구한다.
• 이러한 불변량이 충분히 큰 퍼펙트로이드 BCM 대수 선택에 대해 독립적임을 확립하여 안정성을 보장한다.
• BCM-유리 및 BCM-정칙 특이점에 대해 변형 및 제약 정리를 증명하여 다른 특성수에서 알려진 결과들과 유사성을 유지한다.
• 이론적 프레임워크를 가족 형태의 특이점에 적용하여 F-유리성 및 강한 F-정칙성이 변형되며 특성화 하에서 유지됨을 보인다.

제안 방법

• 안드레와 가브르의 최신 결과를 활용하여 약한 함수적 정수 퍼펙트로이드 큰 코hen-맥컬레이 R+-대수를 이용한다.
• 기존의 매개변수 시험 부분모듈 및 시험 이상의 퍼펙트로이드 BCM 대응체인 τB(ωR) 및 τB(R, ∆)를 새로운 불변량으로 정의한다.
• B가 충분히 클 경우 이러한 불변량이 퍼펙트로이드 BCM 대수 B의 선택에 관계없이 독립적임을 증명한다.
• 유한 사상에 대한 변환 법칙과 편향 안정성 적용을 통해 구조적 성질을 확립한다.
• 비교 정리를 활용하여 퍼펙트로이드 BCM 불변량을 고전적 승수 이상 및 KLT 특이점과 연결한다.
• 비유계 기하학 및 기본 변화 기법을 활용하여 산술 가족 내 행동을 분석한다.

실험 결과

연구 질문

• RQ1 혼합 특성수에서 퍼펙트로이드 큰 코hen-맥컬레이 대수를 통해 유리 및 F-정칙 특이점을 정의할 수 있는가?
• RQ2 결과적으로 도출된 시험 이상 및 승수 이상은 퍼펙트로이드 BCM 대수의 선택에 의존하는가?
• RQ3 이러한 불변량은 특성수 0 및 양의 특성수에서의 결과들과 유사한 변형 및 제약 정리를 만족하는가?
• RQ4 이 이론은 특이점의 가족에 적용되어 F-유리성 및 강한 F-정칙성이 유지됨을 도출할 수 있는가?
• RQ5 해결 가능성이 있는 경우, 퍼펙트로이드 BCM 시험 이상은 고전적 승수 이상과 어떻게 관련되는가?

주요 결과

• 충분히 큰 정수 퍼펙트로이드 큰 코hen-맥컬레이 R+-대수 B에 대해, 퍼펙트로이드 BCM 시험 이상 τB(R, ∆)는 B의 선택에 관계없이 일정하다.
• Q-카르티에 K_R + ∆인 정규 R에 대해, 모든 충분히 큰 퍼펙트로이드 B에 대해 τB(R, ∆) ⊆ J(R, ∆)이 성립한다. 여기서 J(R, ∆)는 고전적 승수 이상이다.
• 만약 어떤 충분히 큰 퍼펙트로이드 B에 대해 R이 BCMB-유리이면, R은 의사-유리이다.
• 만약 어떤 충분히 큰 퍼펙트로이드 B에 대해 (R, ∆)가 BCMB-정칙이면, (R, ∆)는 KLT이다.
• 퍼펙트로이드 BCM 시험 이상 τB(R, ∆)는 작은 편향에 대해 안정하다: 0 < ε ≪ 1 이고 g ≠ 0 이면 τB(R, ∆) = τB(R, ∆ + ε div(g))이다.
• 산술 가족에서, F-유리성 및 강한 F-정칙 특이점은 아르티노 밀도 열린 부분집합의 닫힌 섬유에 대해 변형되며 특성화 하에서 유지된다.