[논문 리뷰] F-singularities in families

Zsolt Patakfalvi, Karl Schwede외 1명|arXiv (Cornell University)|2013. 05. 07.

Algebraic Geometry and Number Theory참고 문헌 41인용 수 14

한 줄 요약

이 논문은 양의 특성에서 스킴의 평탄한 가족에 대해 테스트 아이디얼과 비F-순수 아이디얼에 대한 일반적이고 비일반적인 제한 정리들을 수립하며, 적절한 조건 하에서 이러한 아이디얼이 섬유 위로 절대적 테스트 아이디얼로 제한됨을 증명한다. 주요 기여는 상대 프로베누스를 통해 상대적 테스트 아이디얼과 비F-순수 아이디얼을 구성함으로써, 상대적 캐논리컬 선다발이 Q-카르티에일 경우 F-특이점의 위치가 열려 있음을 보장하게 되며, F-특이점 이론의 기초 결과들을 가족으로 확장한다.

ABSTRACT

We study the behavior of test ideals and F-singularities in families. In particular, we obtain generic (and non-generic) restriction theorems for test ideals and non-F-pure ideals. Additionally, we study the global behavior of certain canonical linear systems (induced by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.

연구 동기 및 목표

• 테스트 아이디얼에 대한 일반적 제한 정리가 부족한 문제, 즉 F-특이점 이론에서의 주요 격차를 해결하기 위해.
• 상대 프로베누스 사상에 의한 상대적 테스트 아이디얼과 비F-순수 아이디얼의 정의 및 연구.
• 이러한 상대적 아이디얼이 특히 완전한 점 위에서 기하 섬유로 절대 아이디얼로 제한됨을 증명하기 위해.
• 가운데 조건 하에서 인접 선다발의 푸시포워드에 대한 양의 및 전역 생성 결과 수립.
• 강한 F-정칙성, F-입사성, F-유리성 등의 F-특이점 이론을 기하적 제어를 갖춘 평탄한 가족으로 확장하기 위해.

제안 방법

• 상대 프로베누스 사상 X ×V V^n → X ×V V^n 을 통해 상대적 테스트 아이디얼 τ_n(X/V, Δ) 과 상대적 비F-순수 아이디얼 σ_n(X/V, Δ) 를 정의한다.
• 상대 프로베누스를 이용해 섬유의 두껍혀진 부분 위의 아이디얼을 정의함으로써, 가족 내 행동을 제어할 수 있도록 한다.
• 이러한 상대적 아이디얼이 완전한 점 위에서 기하 섬유로 절대적 테스트 및 비F-순수 아이디얼로 제한됨을 증명한다.
• 기저 변경과 안정화 기법을 적용하여, V^n 으로의 기저 변경 하에서 아이디얼의 균일한 행동을 보여준다.
• 상대적 세르 조건과 국소 코hom로의 소멸 조건(보조정리 A.6)을 사용하여, codimension-2 부분집합을 넘어선 절단을 연장한다.
• 상대적 S2 및 G1 조건을 활용하여, 인접층의 푸시포워드에 대한 반사성 및 동형 결과를 증명한다.

실험 결과

연구 질문

• RQ1 가족 내 테스트 아이디얼이 특성 0에서의 승수 아이디얼과 유사한 일반적 제한 정리를 만족할 수 있는가?
• RQ2 어떤 조건에서 상대적 테스트 아이디얼이 평탄한 가족의 섬유에서 절대적 아이디얼로 제한되는가?
• RQ3 상대 프로베누스 사상은 가족 내 F-특이점의 연구를 어떻게 지원하는가?
• RQ4 가족 내 인접 선다발의 푸시포워드에 대해 어떤 전역 양의 성질이 나타나는가?
• RQ5 상대 캐논리컬 선다발이 Q-카르티에일 경우, F-특이점의 위치는 기저에서 열려 있는가?

주요 결과

• V 가 정칙이고, f:X→V 는 평탄하고, 등차원적이며, S2 및 G1인 사상이며, Δ 는 Q-다중선다발이며, K_{X/V} + Δ 가 p로 나누어지지 않는 지수를 가진 Q-카르티에일 경우, N>0 가 존재하여 모든 n≥N 과 완전한 점 s∈V 에 대해 상대적 테스트 아이디얼 τ_{ne}(X/V,Δ) 는 섬유 X_s 에서 절대적 테스트 아이디얼 τ(X_s,Δ|_{X_s}) 로 제한된다.
• 유사하게, 상대적 비F-순수 아이디얼 σ_{ne}(X/V,Δ) 는 완전한 점 위에서 섬유 X_s 에서 절대적 비F-순수 아이디얼 σ(X_s,Δ|_{X_s}) 로 제한된다.
• V 의 조밀한 열린 부분집합 U⊆V 에서, 절대적 테스트 아이디얼 τ(X×V V^{ne},Δ×V V^{ne}) 는 모든 완전한 점 s∈U 에 대해 τ(X_s,Δ|_{X_s}) 로 제한된다.
• 상대적 테스트 및 비F-순수 아이디얼 τ_n 과 σ_n 은 기저 변경에 대해 전사적으로 사상되며, 임의의 기저 변경과의 호환성을 보장한다.
• 적절한 조건 하에서 인접 선다발의 푸시포워드 및 이러한 것들의 일부층은 전역적으로 생성되며, 준양성을 가진다.
• 상대 프로베누스를 통한 상대적 아이디얼의 구성은 상대 캐논리컬 선다발이 Q-카르티에일 경우 F-특이점의 위치가 열려 있음을 증명하는 데 기여한다.