[논문 리뷰] A Jacobian criterion for nonsingularity in mixed characteristic

Melvin Hochster, Jack Jeffries|arXiv (Cornell University)|2021. 06. 03.

Advanced Differential Equations and Dynamical Systems참고 문헌 9인용 수 4

한 줄 요약

이 논문은 혼합 특성수에서 비특이성을 판단하기 위한 자코비안 기준을 제안하며, 편미분과 $p$-도함수를 조합한 행렬을 도입하여 혼합 특성수의 완비 국소환 위의 대수에서 특이점의 위치를 특정한다. 주요 기여는 새로운 모듈인 보편 perivation 모듈 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 의 자유성에 기반한 정규성 기준을 제시함으로써, 잔여체의 F-유한성 조건이 필요 없이 고전적인 자코비안 조건을 혼합 특성수 환으로 일반화하는 데 있다.

ABSTRACT

We give a version of the usual Jacobian characterization of the defining ideal of the singular locus in the equal characteristic case: the new theorem is valid for essentially affine algebras over a complete local algebra over a mixed characteristic discrete valuation ring. The result makes use of the minors of a matrix that includes a row coming from the values of a $p$-derivation. To study the analogue of modules of differentials associated with the mixed Jacobian matrices that arise in our context, we introduce and investigate the notion of a perivation, which may be thought of, roughly, as a linearization of the notion of $p$-derivation. We also develop a mixed characteristic analogue of the positive characteristic $Γ$-construction, and apply this to give additional nonsingularity criteria.

연구 동기 및 목표

• 표준적인 매끄러움 기반 방법이 특성수의 등가성 부족으로 실패하는 혼합 특성수 환으로 고전적인 자코비안 기준을 비특이성에 대해 확장하기 위해.
• 잔여체가 F-유한이 아닐 경우에도 혼합 특성수의 이산 평가환수 위의 대수에서 특이점을 탐지하는 데 도전하기 위해.
• 혼합 특성수에서 미분 유사 행동을 포착할 수 있는 새로운 대수적 프레임워크인 perivation과 보편 perivation 모듈을 개발하기 위해.
• 양의 특성수에서의 $\Gamma$-구성의 혼합 특성수 버전인 $\widetilde{\Gamma}$-구성을 개발하여 정규성 기준에서 F-유한성 가정을 제거하기 위해.

제안 방법

• 혼합 특성수에서 도함수와 $p$-도함수를 일반화하는 perivation의 개념을 도입한다.
• 편미분과 $p$-도함수를 조합한 행렬의 코어널을 통해 보편 perivation 모듈 $\widetilde{\Omega}_{R|A}$ 를 정의한다.
• 기존 $\Gamma$-구성의 혼합 특성수 버전인 $\widetilde{\Gamma}$-구성을 $p$-기저의 올림을 이용하여 정규성과 기저 변경을 유지하는 방식으로 대수를 확장함으로써 구성한다.
• $\widetilde{\Gamma}$-구성을 사용하여 $p$-기저의 쌍대유한 부분집합에 대한 직접 극한을 취함으로써 잔여체가 F-유한이 아닐 경우에도 정규성 기준을 올리기 위해.
• $\widetilde{\Gamma}$-구성을 응용하여 문제를 잔여체가 F-유한이 되는 설정으로 축소함으로써 perivation 모듈 기준을 적용할 수 있도록 한다.
• $R$ 와 $R^{\widetilde{\Gamma}}$ 의 특이점의 위치 사이의 대응관계를 확립하여, 이 구성에서 정규성이 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 매끄럽지 않은 특성수에서 정규성에 대한 고전적 자코비안 기준을 잔여체가 F-유한이 아닐 수 있는 혼합 특성수 이산 평가환수 위의 대수로 일반화할 수 있는가?
• RQ2 혼합 특성수에서 특이점을 기술하는 데 $p$-도함수가 수행하는 역할은 무엇이며, 이를 미분 모듈 프레임워크에 어떻게 통합할 수 있는가?
• RQ3 정규성 기준에서 F-유한성 가정을 제거하기 위해 $\Gamma$-구성의 혼합 특성수 버전을 개발할 수 있는가?
• RQ4 보편 perivation 모듈 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 는 동일 특성수 설정에서 카허르 미분 모듈과 어떤 관계가 있는가?
• RQ5 언제 $\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ 의 자유성과 $R$ 의 정규성 간의 동치가 성립하는가?

주요 결과

• 혼합 특성수에서 완비 $V$-대수 위에 국소적으로 유한형인 국소환 $R$ 의 특이점의 위치는 $p$-도함수와 편미분의 $p$-거듭제곱을 조합한 행렬의 $h \times h$ 소수의 영함으로 특성화된다.
• 보편 perivation 모듈 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 는 $p$-도함수와 편미분의 $p$-거듭제곱을 포함하는 자코비안 유사 행렬의 코어널로 정의되며, 카허르 미분 모듈을 일반화한다.
• 국소환 $R$ 에서 $p \in \mathfrak{m}$ 이고 잔여체가 F-유한일 경우, $R$ 이 정규임과 $\widetilde{\Omega}_{R|\mathbb{Z}}$ 가 차원 $\dim(R) + \log_p[k:k^p]$ 의 자유 모듈임은 동치이다.
• $\widetilde{\Gamma}$-구성은 $R$ 의 순수하게 비가역적이고 충실하게 평탄한 확장인 $R^{\widetilde{\Gamma}}$ 를 제공하며, 특이점의 위치를 유지하고 F-유한성 가정을 제거할 수 있도록 한다.
• 모든 충분히 작은 쌍대유한 부분집합 $\widetilde{\Gamma} \subseteq \widetilde{\Lambda}$ 에 대해, $R$ 이 정규임과 $\widetilde{\Omega}_{R^{\widetilde{\Gamma}}|\mathbb{Z}}$ 가 차원 $\dim(R) + \log_p[k(R^{\widetilde{\Gamma}}):k(R^{\widetilde{\Gamma}})^p]$ 의 자유 모듈임은 동치이며, 잔여체가 F-유한이 아니어도 성립한다.
• 이 구성은 $p$ 에서의 섬유상에서 $R$ 과 $R^{\widetilde{\Gamma}}$ 의 정규 영역이 일치하며, 국소 $V$-대수 위의 기저 변경에 대해 불변이다.