[논문 리뷰] Almost Cohen-Macaulay algebras in mixed characteristic via Fontaine rings

Kazuma Shimomoto|arXiv (Cornell University)|2010. 01. 01.

Commutative Algebra and Its Applications참고 문헌 15인용 수 10

한 줄 요약

이 논문은 혼합 특성 $p>0$인 완비 국소 도메인의 절대 정수 closure 위에서 Fontaine 링과 윌트 벡터를 이용하여 약한 거의 코hen-맥컬레이 대수를 구성한다. 핵심 결과는 매개변수 체계가 약한 거의 정규가 되며, 볼루션 이론적 제어의 의미에서 $p$가 거의 정규가 된다는 것이다. 이는 단항식 추측에 대한 새로운 접근법을 제공한다.

ABSTRACT

In the present paper, it is proved that any complete local domain of mixed characteristic has a weakly almost Cohen-Macaulay algebra in the sense that some system of parameters is a weakly almost regular sequence, which is a notion defined via a valuation. The central idea of this result originates from the main statement obtained by Heitmann to prove the Monomial Conjecture in dimension 3. In fact, A weakly almost Cohen-Macaulay algebra is constructed over the absolute integral closure of a complete local domain by applying the methods of Fontaine rings and Witt vectors. A connection of the main theorem with the Monomial Conjecture is also discussed.

연구 동기 및 목표

• 혼합 특성 $p>0$인 완비 국소 도메인 위에서 약한 거의 코hen-맥컬레이 대수의 존재를 확립하는 것.
• 볼루션 이론적 거의 정규성에 기반한 단항식 추측에 대한 새로운 접근법을 제공하는 것.
• Fontaine 링 구성법을 통해 히트만의 3차원 결과를 고차원으로 확장하는 것.
• 거의 정규성과 절대 정수 closure의 구조 사이의 관계를 탐색하는 것.
• 추가적인 분리성 조건 또는 볼루션 조건 하에서 이러한 대수가 큰 코헨-맥컬레이 대수로 가는 사상이 가능할지 조사하는 것.

제안 방법

• 혼합 특성에서 완비 국소 도메인 $R$의 절대 정수 closure $R^+$와 관련된 Fontaine 링 $\mathbf{E}(R^+)$를 사용한다.
• $\mathbf{E}(R^+)$ 위의 완전한 대수를 구성하고, 이를 윌트 벡터 링 $W(\mathbf{E}(R^+))$로 올린다.
• 윌트 벡터 이론을 적용하여 완전한 대수를 거의 정규성을 분석할 수 있는 특성 0 설정으로 올린다.
• R^+ 위의 볼루션 $v$를 사용하여 약한 거의 정규성을 정의하며, 임의로 작은 볼루션을 가진 원소들이 특정 콜론 이상을 영으로 만든다는 조건을 요구한다.
• Fontaine 링을 통해 문제를 양의 특성으로 감소시키며, 완전한 대수와 정규 수열에 대한 기존 결과를 활용한다.
• 완비 대수 $\widehat{B}$의 구조를 사용하여 $\bigcap_{n>0}(p,x_2,\ldots,x_d)^n\widehat{B} = 0$임을 보여, 강한 분리성임을 나타낸다.

실험 결과

연구 질문

• RQ1 Fontaine 링과 윌트 벡터를 이용하여 혼합 특성에서 완비 국소 도메인 위에 약한 거의 코헨-맥컬레이 대수를 구성할 수 있는가?
• RQ2 이러한 대수에서 $p$는 볼루션 이론적 제어의 의미에서 거의 정규가 되는가?
• RQ3 이 구성은 혼합 특성에서 단항식 추측의 증명으로 이어질 수 있는가?
• RQ4 $v(p^\epsilon) > 0$ 이 조건이 모든 $\epsilon > 0$에 대해 성립할 경우, $p^\epsilon \notin (p,x_2,\ldots,x_d)B$임을 보장할 수 있는가?
• RQ5 $B/{\mathfrak{m}}B$가 거의 영이 되지 않는 조건은 무엇인가, 이는 대수가 비로소 비퇴화됨을 보장하기 위함이다?

주요 결과

• 논문은 $R^+$-대수 $B$를 구성하여 $p,x_2,\ldots,x_d$가 약한 거의 정규임을 보이며, 모든 $i$와 임의의 $\epsilon > 0$에 대해 $v(b) < \epsilon$ 이고 $b \cdot \frac{(x_1,\ldots,x_i)B :_B x_{i+1}}{(x_1,\ldots,x_i)B} = 0$임을 만족한다.
• $p$에 대한 영 이상 $(0:_B p)$는 모든 $\epsilon > 0$에 대해 $p^\epsilon$에 의하여 영이 되므로, $p$가 볼루션 이론적 의미에서 거의 정규임을 보여준다.
• $B$는 $(p,x_2,\ldots,x_d)B \neq B$를 만족하여 매개변수 체계가 단위 이상을 생성하지 않음을 보장한다.
• 완비 대수 $\widehat{B}$는 $\bigcap_{n>0}(p,x_2,\ldots,x_d)^n\widehat{B} = 0$를 만족하여 강한 분리성임을 나타낸다.
• 이 구성은 $\mathbf{E}(R^+)$ 위의 완전한 대수를 윌트 벡터 링으로 올리며, 바람직한 정규성 성질을 유지한다.
• 보조정리 6.3은 볼루션 $v: B \to \mathbb{R} \cup \{\infty\}$가 $v(ab) = v(a)+v(b)$, $v(a+b) \geq \min\{v(a),v(b)\}$, 비단위 원소에 대해 $v(b) > 0$를 만족할 경우, $B$가 큰 코헨-맥컬레이 대수로 가는 사상이 있음을 보여준다.