[논문 리뷰] Tight closure does not commute with localization

Holger Brenner, Paul Monsky|ArXiv.org|2007. 10. 15.

Commutative Algebra and Its Applications참고 문헌 16인용 수 11

한 줄 요약

이 논문은 특성 2인 체 위의 3차원 정규 초평면에서, 날카러운 폐쇄가 국소화와 가환하지 않는 것으로 알려진 첫 번째 반례를 구축한다. 주요 결과는 국소화 이후에 원소 f 가 이상의 날카러운 폐쇄에 속하지만, 날카러운 폐쇄의 국소화에는 속하지 않음을 보여주며, 오랫동안 남아 있던 열린 문제를 해결하고 일반적으로 날카러운 폐쇄가 plus 폐쇄와 같지 않음을 보여준다.

ABSTRACT

We give an example showing that tight closure does not commute with localization.

연구 동기 및 목표

• 일반적인 교환 대수학에서 날카러운 폐쇄가 국소화와 가환하는지 여부에 대한 오랫동안 남아 있던 열린 문제를 해결하기 위해.
• 양의 특성에서 국소화와 날카러운 폐쇄가 가환하지 않는 반례를 구성하기 위해.
• Hochster의 '매력적인 질문'—날카러운 폐쇄가 plus 폐쇄와 같은가?—에 대한 부정적인 답변을 제시하기 위해.
• 무한 체 위의 두 차원 표준-중심 다항식 영역에서 날카러운 폐쇄와 plus 폐쇄의 동치성 실패를 보여주기 위해.
• 변형 이론과 벡터 번들의 안정성에서 이 실패의 기하학적 및 코homological 함의를 탐색하기 위해.

제안 방법

• 저자는 특성 2인 체 위에서 매개변수 t에 따라 매개변수화된 3차원 정규 초평면의 가중치를 부여한 가족을 구성한다.
• α 가 체를 따라 변할 때, 사차형 다항식 g_α 로 정의된 매끄러운 평면 곡선의 동차 좌표환을 분석한다.
• Hilbert-Kunz 이론을 사용하여, α 가 초월적일 때 R_α 의 Hilbert-Kunz 중량이 3임을 보이고, α 가 대수적일 때는 3보다 크다는 것을 보인다.
• Hartshorne와 Mumford의 강도 기준을 사용하여, R_α 에서 차수 ≥2 인 모든 원소가 시험 원소임을 증명한다.
• α 가 초월적일 때 (즉, 일반적인 섬유에서), f = y³z³ 이 (x⁴, y⁴, z⁴) 의 날카러운 폐쇄에 속하지만, 날카러운 폐쇄의 국소화에는 속하지 않음을 보인다.
• 코homological 기준과 syzygy 번들의 안정성을 통해 f ∉ (S⁻¹I)* 임을 증명함으로써, 가환하지 않음을 확립한다.

실험 결과

연구 질문

• RQ1 노에테르 영역에서 양의 특성에서 날카러운 폐쇄가 국소화와 가환하는가?
• RQ2 무한 체 위의 두 차원 표준-중심 다항식 영역에서 모든 이상에 대해 날카러운 폐쇄가 plus 폐쇄와 같은가?
• RQ3 날카러운 폐쇄가 국소화와 가환하지 않는다는 사실이 Hilbert-Kunz 중량 또는 벡터 번들의 안정성으로 감지될 수 있는가?
• RQ4 특성 0에서의 산술적 성질이 Spec F[t] 위에서의 기하학적 변형에서 날카러운 폐쇄의 행동을 반영하는가?
• RQ5 차원 3 또는 2에서 f ∈ (S⁻¹I)* 이지만 f ∉ S⁻¹(I*) 인 예가 존재하는가?

주요 결과

• 논문은 특성 2에서의 3차원 정규 초평면 영역 R_t = F(t)[x,y,z]/(g_t) 를 구성하여, 날카러운 폐쇄가 국소화와 가환하지 않음을 보였다.
• 이상 I = (x⁴, y⁴, z⁴) 과 원소 f = y³z³ 에 대해, 적절한 곱셈 체계 S 에 대해 f ∈ (S⁻¹I)* 이지만 f ∉ S⁻¹(I*) 임을 보였다.
• 이는 R_t 에서 f 가 I 의 plus 폐쇄에 속하지 않음을 의미하며, Hochster의 날카러운 폐쇄가 plus 폐쇄와 같은가에 대한 질문에 대한 부정적인 답변을 제공한다.
• R_α 의 섬유환에서의 Hilbert-Kunz 중량은 F_2 위에서 초월적일 때 3이며, 대수적일 때는 3보다 크며, 이는 논증의 핵심이다.
• Proj R_t 상에서의 syzygy 번들 Φ^{e*}(Syz(x⁴,y⁴,z⁴)(6)) 은 차수 0인 강한 준안정이며, 동형 유형 반복이 없음을 보이며, Frobenius 당김에서 비자명한 행동을 나타낸다.
• 강제 대수의 코homological 차원은 특성화에 의해 유지되지 않는다: 닫힌 점 p 에서 U_p 는 애매하지만 일반 점에서는 그렇지 않으며, 이는 동차 특성 변형에서 코homological 차원의 비열린성을 보여준다.