[논문 리뷰] Whitehead modules over large principal ideal domains

Paul C. Eklof, Saharon Shelah|ArXiv.org|2000. 11. 27.

Rings, Modules, and Algebras참고 문헌 5인용 수 12

한 줄 요약

이 논문은 ZFC에서 크기가 $\aleph_2$이자 $2^{\aleph_1}$인 슬렌더 주 이상환(p.i.d.)이 존재하며, 이들에서 비자유 Whitehead 모듈러스—$\mathrm{Ext}^1_R(M,R) = 0$를 만족하는 모듈러스 $M$—가 존재함을 보여, 따라서 크기가 큰 p.i.d.에서 Whitehead 문제의 독립성은 ZFC에 의해 결정되지 않음을 시사한다. 핵심 결과는 특정한 큰 p.i.d.에서 Whitehead 모듈러스가 반드시 자유일 필요가 없으며, 이는 $\aleph_1$-경계에서 V=L가 자유성을 암시하는 것과 대조된다.

ABSTRACT

We consider the Whitehead problem for principal ideal domains of large size. It is proved, in ZFC, that some p.i.d.'s of size >= aleph_{2} have non-free Whitehead modules even though they are not complete discrete valuation rings.

연구 동기 및 목표

• 크기가 $\aleph_1$를 초월하는 p.i.d.에 대해 Whitehead 문제—즉, 주 이상환 위의 모든 Whitehead 모듈러스가 자유인지 여부—를 조사하는 것.
• ZFC에서 Whitehead 문제의 독립성이 더 큰 p.i.d.에 대해서도 유지되는지, 특히 완전한 이산 평탄환의 형태가 아닌 p.i.d.에 대해서도 성립하는지 규명하는 것.
• Whitehead 모듈러스가 비자유일 수 있는, 크기가 $\aleph_2$와 $2^{\aleph_1}$인 특정 p.i.d.를 구성하는 것.
• 전순서 수열을 통한 체계적 구성과 확장 기법을 사용하여 기존의 $\aleph_1$-생성 모듈러스 결과를 더 큰 기수로 확장하는 것.

제안 방법

• 전순서 수열을 통한 유한성 인도를 이용해 크기가 $2^{\aleph_1}$인 국소 슬렌더 p.i.d. $R$을 구성하며, 모든 $\aleph_1$-자유이자 $\aleph_1$-생성 모듈러스 $F/K$에 대해 $\mathrm{Ext}^1_R(F/K, R) = 0$임을 보장하는 것.
• 상승 기법 사용: 주어진 $R$-환 준동형사상 $\phi: K \to R$를, 크기가 $|R| + \aleph_1$인 더 큰 p.i.d. $R^+$에 대해 $R^+ \otimes_R K \to R^+$로 확장하며, 확장 성질을 유지하는 것.
• 일부 집합에 의해 인덱싱된 미지수를 가진 다항식환의 국소화로서 링 $R^*$를 정의하며, 이로 인해 p.i.d.로 유지되고 필요한 확장 조건을 만족하는 것.
• $\aleph_2$ 이하의 순서수에 대해 재귀적 구성 기법을 사용하여, 각 단계에서 모든 $\aleph_1$-자유이자 $\aleph_1$-생성 모듈러스에 대해 확장 성질이 유지되도록 보장하는 것.
• $\aleph_1$-자유이자 $\aleph_1$-생성 모듈러스가 Pontryagin의 기준을 만족하므로, $\mathrm{Ext}^1$의 소멸이 Whitehead 성질을 암시함을 이용하는 것.
• 기수 $\kappa \geq \aleph_1$에 대해 일반화된 구성 기법을 적용하여, $\kappa$-생성 Whitehead 모듈러스가 자유일 뿐이면 자유임을 보장하는 p.i.d.를 크기 $\kappa$로 구성하는 것.

실험 결과

연구 질문

• RQ1 p.i.d.의 기수가 $\aleph_1$를 초월할 경우, Whitehead 문제의 ZFC 독립성은 여전히 유지되는가?
• RQ2 크기가 $\aleph_2$ 또는 $2^{\aleph_1}$인 슬렌더 p.i.d.에서 비자유 Whitehead 모듈러스가 존재할 수 있는가?
• RQ3 크기가 $\aleph_2$인 p.i.d.가 존재하여, 모든 $\aleph_1$-생성 Whitehead 모듈러스가 자유일 수 있는가, 즉 완전한 이산 평탄환의 형태가 아니어도 되는가?
• RQ4 비자유 Whitehead 모듈러스의 구성 기법을 임의의 비가산 기수 $\kappa \geq \aleph_1$에 대해 확장할 수 있는가?
• RQ5 어떤 조건에서 p.i.d.에서 $\kappa$-생성 Whitehead 모듈러스의 자유성과 모듈러스의 자유성 간의 동치가 성립하는가?

주요 결과

• 크기가 $2^{\aleph_1}$인 슬렌더 p.i.d. $R$이 존재하며, 이에 대해 모든 $\aleph_1$-자유이자 $\aleph_1$-생성 $R$-모듈러스는 Whitehead 모듈러스이므로, 이 $R$ 위에서 비자유 Whitehead 모듈러스가 존재함을 시사한다.
• 크기가 $\aleph_2$인 p.i.d. $R$이 존재하며, 이에 대해 $\aleph_1$-생성 $R$-모듈러스가 Whitehead일 조건은 반드시 자유여야 함을 보여, 더 큰 크기에서 자유성 조건을 강제할 수 있음을 시사한다.
• 모든 $\kappa \geq \aleph_1$에 대해, 크기가 $\kappa$인 국소 p.i.d. $R$이 존재하며, 이에 대해 크기가 $\leq \kappa$인 모든 Whitehead 모듈러스는 반드시 자유여야 한다.
• ZFC 내에서, 일부 p.i.d.의 크기가 $\geq \aleph_2$일지라도, 비자유 Whitehead 모듈러스가 존재함을 보여, 이들 링이 완전한 이산 평탄환의 형태가 아니어도 된다.
• 이 구성 기법은 크기가 큰 p.i.d.에서 Whitehead 모듈러스의 행동이 $\aleph_1$-경계에서의 행동과 본질적으로 다름을 보여주며, 이 경우 V=L가 모든 Whitehead 모듈러스가 자유임을 암시함을 반영한다.
• 결과적으로, 크기가 $\geq \aleph_2$인 p.i.d.에 대한 Whitehead 문제의 결정은 ZFC만으로는 불가능하며, GCH를 가정하더라도 마찬가지로 성립함을 보여준다.