[논문 리뷰] Functorial Test Modules

Manuel Blickle, Axel Stäbler|arXiv (Cornell University)|2016. 05. 31.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 3

한 줄 요약

이 논문은 최소한의 관련 소수들 외에도 비최소한의 관련 소수들을 고려하기 위해 정의를 수정함으로써 양의 특성에서의 대수기하학에서 함자적이고 가산적인 테스트 모듈의 변종을 제안한다. 이는 전이와 당김과의 호환성을 보장하며, 주요 기여는 매끄러운 사상에 대해 자연 동형사상 $ f^! \circ \tau \cong \tau \circ f^! $ 과 준유한 사상에 대해 자연 변환 $ \tau \circ f_* \to f_* \circ \tau $ 을 확립하는 것이다. 이는 이전 정의에서 발생했던 함자성과 가산성 문제를 해결한다.

ABSTRACT

In this article we introduce a slight modification of the definition of test modules which is an additive functor $τ$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X o Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ τ\cong τ\circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $τ\circ f_* o f_* \circ τ$.

연구 동기 및 목표

• 카이어 모듈 이론에서 원래의 테스트 모듈 정의에 대한 가산성과 함자성의 부족을 해결하기 위해.
• 매끄럽고 준유한 사상 하에서 직접합을 유지하고 기저변환과 가환성을 보장하는 수정된 테스트 모듈 정의를 개발하기 위해.
• $ F $-유한 스킴의 맥락에서 $ \tau $ 와 전이/당김 함자 간의 자연 변환을 확립하기 위해.
• 특이성의 맥락에서 기존의 테스트 아이디얼 및 승수 아이디얼 구성과의 호환성을 확보하기 위해.
• 정칙 환의 맥락으로의 축소를 통해 특이하거나 비기본적인 환에서의 테스트 모듈을 연구할 수 있는 프레임워크를 제공하기 위해.

제안 방법

• 테스트 모듈 $ \tau(M,\mathcal{C}) $ 을, 모든 $ M $ 의 관련 소수 $ \eta $ 에 대해 $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ 가 니르-동형사상이 되는 $ \mathcal{C} $-부분모듈 $ N \subseteq M $ 중 최소한의 것으로 재정의한다.
• 모든 관련 소수(최소한의 소수 외에도)에서의 근본적 행동을 탐지하기 위해 $ \eta $-멱영 타원함자 $ H^0_\eta $ 를 사용한다.
• 기저변환에 대한 호환성(특히 $ f^! $ 와 $ f_* $ 함자에 의한)을 보여줌으로써 신규 정의의 가산성과 함자성을 증명한다.
• 매끄러운 사상 $ f: X \to Y $ 에 대해, 국소코homology와 니르-동형사상에 대한 $ f^! $ 의 호환성에 기반하여 자연 동형사상 $ f^! \circ \tau \cong \tau \circ f^! $ 을 확립한다.
• 개방 포함과 유한 사상으로 분해하여 자연 포함을 이용함으로써, 준유한 사상에 대해 $ \tau \circ f_* \to f_* \circ \tau $ 의 자연 변환을 구성한다.
• 자리지의 주요 정리를 사용하여 준유한 사상을 분해하고, 개방 포함과 유한 사상에서의 자연 변환들을 조합하여 원하는 함자성 확보

실험 결과

연구 질문

• RQ1 코herent 카이어 모듈의 범주에서 가산성과 함자성을 동시에 만족하는 수정된 테스트 모듈 정의가 존재하는가?
• RQ2 $ \tau $ 의 함자성이 자연 동형사상과 변환을 통해 매끄럽고 준유한 사상으로까지 확장 가능한가?
• RQ3 특히 $ F $-유한 스킴의 맥락에서, $ f^! $ 과 $ f_* $ 를 통한 기저변환 하에서 $ \tau $ 의 신규 정의는 어떻게 행동하는가?
• RQ4 신규 정의는 특이성 맥락에서 기존의 테스트 아이디얼 및 승수 아이디얼 구성과 호환되는가?
• RQ5 기존 정의에서 관찰된 직접합과 모듈 포함의 맥락에서의 가산성과 함자성 실패 문제는 수정된 정의로 해결되는가?

주요 결과

• 모든 관련 소수 $ \eta $ 에 대해 $ H^0_\eta(N_\eta) \to H^0_\eta(M_\eta) $ 가 니르-동형사상이 되는 최소한의 $ \mathcal{C} $-부분모듈로 정의된 $ \tau(M,\mathcal{C}) $ 는 가산성과 함자성을 보장한다.
• 매끄러운 사상 $ f: X \to Y $ 에 대해 자연 동형사상 $ f^! \circ \tau \cong \tau \circ f^! $ 이 존재하며, 이는 기저변환 하에서 테스트 모듈의 행동을 일반화한다.
• 준유한 유한형 사상 $ f: X \to Y $ 에 대해, 개방 포함과 유한 사상으로 분해함으로써 구성된 자연 변환 $ \tau \circ f_* \to f_* \circ \tau $ 가 존재한다.
• 개방 포함 $ j $ 에 대해 $ \tau j_* \to j_* \tau $ 의 자연 변환은 자연 포함으로 주어지며, $ k[x,x^{-1}] $ 와 같은 반례에 의해 일반적으로 동형사상이 아니라는 것이 입증된다.
• 결과는 그레디에이티드 맥락으로까지 확장된다: $ f $ 가 준유한일 경우, 자연 변환 $ \mathrm{Gr}(f_* -, \mathfrak{a}^t) \to f_* \mathrm{Gr}(-, (\mathfrak{a} \cdot \mathcal{O}_X)^t) $ 이 존재하며, 테스트 모듈의 필터링과 호환된다.
• 준유한 경우에 자연 변환은 분해의 선택과 무관하게 정의되며, 이는 자연 변환의 잘 정의성을 보장한다.