[논문 리뷰] The non-nef locus in positive characteristic

Mircea Mustaţă|arXiv (Cornell University)|2011. 09. 18.

Glycosylation and Glycoproteins Research참고 문헌 9인용 수 21

한 줄 요약

이 논문은 특성 0에서의 비비타성 초위치 기술을 양의 특성으로 일반화하여, 점근적 승수 아이디얼 대신 점근적 테스트 아이디얼을 사용한다. 이 아이디얼에 대한 일관된 전역 생성 결과(후지타의 캄비에르 정리와 프로베누스 기법에 기반)를 통해, 비비타성 초위치가 점근적 테스트 아이디얼의 소멸 조건으로 기술됨을 증명하며, 기저 초위치와 순서의 정의에 관한 핵심 결과를 양의 특성 기하로 확장한다.

ABSTRACT

We give an analogue in positive characteristic of the description of the non-nef locus from \cite{ELMNP}. In this case, the role of the asymptotic multiplier ideals is played by the asymptotic test ideals. The key ingredient is provided by a uniform global generation statement involving twists by such ideals.

연구 동기 및 목표

• 특성 0에서의 비비타성 초위치 기술을 승수 아이디얼이 아닌 테스트 아이디얼을 사용하여 양의 특성으로 확장한다.
• 양의 특성에서 점근적 테스트 아이디얼에 의해 휘어진 층에 대한 일관된 전역 생성 성질을 확립한다.
• 비비타성 초위치가 부분다양체를 따라 점근적 테스트 아이디얼의 소멸 조건으로 기술됨을 증명한다.
• 점근적 순서의 정의 함수가 큰 콩에서 연속적이며, 극한 구성에 의해 허위효과 콩으로 연장됨을 보인다.

제안 방법

• 특성 0에서의 점근적 승수 아이디얼을 양의 특성에서의 점근적 테스트 아이디얼로 대체하여, 이들이 상응하는 역할을 한다.
• 모든 $ d \geq \dim X + 1 $ 에 대해 $ \tau(\lambda \cdot \parallel D\parallel) \otimes \mathcal{O}_X(K_X + E + dH) $ 형태의 층에 대한 일관된 전역 생성 정리를 사용한다.
• 특성 0에서의 캄비에르 정리와 프로베누스 푸시포워드를 적용하여, 양의 특성에서의 코다이라 캄비에르 정리의 실패를 보완한다.
• 테스트 아이디얼 설정에 적응된 캐스텔누오보-마운드 정규성 추론 기법을 사용하여 전역 생성을 달성한다.
• 피카르 클래스가 자명한 앰플 $ A $ 에 대한 극한을 취해, $ \sigma_Z(D) = \sup_A \operatorname{ord}_Z(\parallel D+A\parallel) $ 를 정의한다.
• 점근적 순서의 정의 함수 $ \sigma_Z $ 의 하부 연속성과, $ \mathbf{B}_-(D) $ 에 포함되지 않는 것과 $ \sigma_Z(D) = 0 $ 이 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 비비타성 초위치는 특성 0의 대응체와 유사하게 어떻게 기술될 수 있는가?
• RQ2 기저 초위치를 연구할 때, 양의 특성에서 점근적 승수 아이디얼의 역할을 무엇이 대체하는가?
• RQ3 코다이라 캄비에르 정리의 실패에도 불구하고, 점근적 테스트 아이디얼에 의해 휘어진 층에 대한 일관된 전역 생성 결과를 양의 특성에서 확립할 수 있는가?
• RQ4 점근적 순서의 정의 함수는 양의 특성에서 큰 콩에서 연속적인가?
• RQ5 양의 특성에서 허위효과 콩의 경계에서 비비타성 초위치는 어떻게 행동하는가?

주요 결과

• 비비타성 초위치 $ \mathbf{B}_-(D) $ 는 점근적 테스트 아이디얼의 소멸 조건으로 기술된다: 모든 $ m \geq 1 $ 에 대해 $ \tau(\parallel mD\parallel) $ 가 점 $ x $ 에서 소멸하지 않으면 $ x \notin \mathbf{B}_-(D) $ 이다.
• 점근적 순서의 정의 $ \operatorname{ord}_x(\parallel D\parallel) $ 는 $ D $ 의 수치적 클래스에만 의존하며, 양의 특성에서 큰 콩으로 연속적으로 연장된다.
• 모든 큰 다항식 $ D $ 에 대해, 주어진 비음성 및 앰플리티 조건 하에 $ \tau(\lambda \cdot \parallel D\parallel) \otimes \mathcal{O}_X(K_X + E + dH) $ 는 $ d \geq \dim X + 1 $ 일 때 전역 생성된다.
• 암시적 다항식 $ D $ 에 대해 정의된 함수 $ \sigma_Z(D) $ 는 앰플리티 $ A $ 에 대한 극한을 취한 $ \operatorname{ord}_Z(\parallel D+A\parallel) $ 의 최대값으로 정의되며, 허위효과 콩에서 하부 연속적이다.
• 피카르 클래스가 자명한 앰플리티 $ A $ 에 대해, $ \sigma_Z(D) = 0 $ 이며, 이는 $ \tau_+(\parallel mD\parallel) $ 가 모든 $ m \geq 1 $ 에 대해 $ Z $ 에 따라 소멸하지 않음을 의미한다.
• 기저 체가 비가산일 경우, $ \mathbf{B}_-(D) $ 의 임의의 차원 1의 기저 성분의 수는 피카르 수 $ \rho(X) $ 로 유계이다.