[논문 리뷰] The weak ordinarity conjecture and $F$-singularities

Bhargav Bhatt, Karl Schwede외 1명|arXiv (Cornell University)|2013. 07. 14.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 10

한 줄 요약

이 논문은 양의 특성에서의 약한 순서성 추측과 모듈로 p로 환원된 경우의 시험 이상과 승수 이상의 등가성에 대한 추측적 등식 사이에 깊은 등가성을 확립하며, 이는 이전 결과를 특이 다양체로 확장한다. 또한 매끄러운 하이퍼커버를 통해 F-입사성과 두 보아 특이성을 연결하여, Frobenius 작용이 코homology에 작용함으로써 이 둘이 공통의 정의를 공유함을 보이고, 약한 순서성 추측이 모든 정규 다양체에 대해 Q-분할수와 이상에 대해 시험 이상과 승수 이상의 등식을 유도함을 증명한다.

ABSTRACT

Recently M. Mustata and V. Srinivas related a natural conjecture about the Frobenius action on the cohomology of the structure sheaf after reduction to characteristic $p > 0$ with another conjecture connecting multiplier ideals and test ideals. We generalize this relation to the case of singular ambient varieties. Additionally, we connect these results to a conjecture relating $F$-injective and Du Bois singularities. Finally, using an unpublished result of Gabber, we also show that $F$-injective and Du Bois singularities have a common definition in terms of smooth hypercovers.

연구 동기 및 목표

• 시험 이상과 승수 이상 간의 추측적 관계를 Q-분할수를 가진 특이 다양체로 일반화하기.
• 약한 순서성 추측을 코homological 성질을 통해 F-입사성과 두 보아 특이성과 연결하기.
• 매끄러운 하이퍼커버와 Frobenius 작용을 통해 F-입사성과 두 보아 특이성이 공통의 정의를 공유함을 보이기.
• 약한 순서성 추측이 모든 λ ≥ 0 에 대해 자리지-밀도 집합의 환원에서 시험 이상과 승수 이상의 등식을 유도함을 증명하기.
• 하이퍼커버 구성법을 통해 허지이어리 이론(Du Bois)과 Frobenius 특이성(F-injective)을 개념적으로 연결하는 프레임워크 제공하기.

제안 방법

• 유한 생성된 Z-부분대수 위에서의 모델을 사용한 특성 0에서 특성 p로의 환원.
• 매끄러운 하이퍼커버를 사용하여 F-입사성과 두 보아 특이성을 통합하는 코homological 불변량 정의하기.
• Gabber의 비공개 결과를 활용하여 매끄러운 하이퍼커버를 통해 F-입사성과 두 보아 특이성의 공통 정의를 확립하기.
• 점프 수와 유한 커버를 통한 환원을 통해 시험 이상 대 승수 이상 추측을 약한 순서성 추측으로 환원하기.
• 점프 수 분석을 통해 승수 이상의 점프 수를 양의 특성에서의 시험 이상과 연결하기 위해 유한 커버 Z → X 구축하기.
• 매끄러운 사영 다양체의 최상위 코homology에서 Frobenius 작용의 전단사성을 사용하여 환원 간 이상의 등식을 제어하기.

실험 결과

연구 질문

• RQ1 약한 순서성 추측은 Q-분할수와 이상을 가진 정규 다양체에 대해 양의 특성 환원에서 시험 이상과 승수 이상의 등식을 유도하는가?
• RQ2 승수 이상과 시험 이상 간의 연결을 매끄럽지 않은 환경 공간으로 확장할 수 있는가?
• RQ3 F-입사성과 두 보아 특이성은 매끄러운 하이퍼커버와 Frobenius 작용을 통해 공통의 정의를 공유하는가?
• RQ4 약한 순서성 추측은 모든 두 보아 스킴이 조밀한 F-입사성 유형을 갖는 성질과 등가인가?
• RQ5 특성 0에서의 비-LC 이상은 약한 순서성 추측 하에 특성 p에서 안정 기저집합 이상으로 환원되는가?

주요 결과

• 약한 순서성 추측은 자리지-밀도 집합의 환원에서 모든 λ ≥ 0 에 대해 시험 이상과 승수 이상의 등가성과 등가이다.
• 논문은 Gabber의 결과를 사용하여 매끄러운 하이퍼커버를 통한 코homological 조건이 F-입사성과 두 보아 특이성을 동일하게 정의함을 증명한다.
• 시험 이상이 양의 특성 환원에서 승수 이상과 등가임을 추측하는 것은 약한 순서성 추측이 참일 때에만 성립한다.
• 반환 불안정성 환원을 피하기 위해 유한 커버와 점프 수 분석을 사용하여 문제를 매끄러운 사영 다양체의 최상위 코homology로 환원한다.
• 각 점프 수 λ_j ∈ [0,1] 에 대해, 최상위 코homology에서 Frobenius 작용이 전단사인 매끄러운 사영 다양체의 유한 집합이 존재하며, 이 경우 λ_j 근처의 이웃에서 이상의 등식이 성립한다.
• 논문은 Mustaţă–Srinivas의 주요 정리를 특이 다양체로 확장하며, 새로운 코homological 기법을 통해 매끄러움 조건을 제거한다.