[논문 리뷰] Consistent solution of Markov's problem about algebraic sets

Ol’ga Sipacheva|ArXiv.org|2006. 05. 20.

Advanced Topology and Set Theory참고 문헌 1인용 수 7

한 줄 요약

이 논문은 연속체 가설(CH) 하에서, 모든 하우스도르프 군 위상에서 닫혀 있음에도 불구하고 방정정식의 해집합이나 그 유한한 합집합 및 교집합으로 표현될 수 없는 비대수적 조건부 닫힘 집합을 포함하는 군의 존재를 증명한다. 이 구성은 셸라의 비위상화 가능한 군을 활용하며, 가산 위상화 가능한 부분군들의 합집합으로서의 그 구조를 이용하여 항등원의 여집합이 조건부 닫혀 있음에도 불구하고 대수적이지 않음을 보여주며, 마르코프의 대수적 집합에 관한 문제에 대해 일관된 부정적 해답을 제공한다.

ABSTRACT

It is proved that the continuum hypothesis implies the existence of a group M containing a nonalgebraic unconditionally closed set, i.e., a set which is closed in any Hausdorff group topology on M but is not an intersection of finite unions of solution sets of equations in M.

연구 동기 및 목표

• 모든 조건부 닫힘 집합이 대수적임을 증명하는 마르코프의 오랜 문제를 해결하기 위해.
• 비가산 군 내에서 조건부 닫힘 집합과 대수적 집합 간의 관계를 조사하기 위해.
• 연속체 가설(CH) 하에서, 비대수적 조건부 닫힘 부분집합을 가진 군이 존재함을 보여주기 위해.
• 위상화 가능성과 부분군 구조가 조건부 닫힘 집합의 대수적 성격을 결정하는 데 미치는 역할을 명확히 하기 위해.
• 마르코프의 정리(대수적 집합은 항상 조건부 닫힘임)의 역이 참인지 여부를 검토하기 위해, ZFC에 추가적인 집합론적 가정(CH)이 필요한 경우에만 일관되게 반례를 제공하기 위해.

제안 방법

• CH 하에서 셸라의 비위상화 가능한 군을 이용해 군 $M$을 구성하며, 이는 $\omega_1$로 인덱싱된 가산 부분군 $M_\alpha$의 합집합이다.
• 각 $M_\alpha$가 (가능성이 있는 $M_1$ 이외에는) 위상화 가능한 부분군들의 합집합임을 이용하여 국소적 위상화 가능성을 확보한다.
• 보조정리 1을 적용: 비위상화 가능한 군에서 모든 유한 부분집합이 위상화 가능한 부분군에 속해 있다면, $G \setminus \{1\}$ 은 조건부 닫혀 있지만 대수적이지 않다.
• 자유곱의 병합 $L \ast_H K$ 에서의 소규모 취소 이론을 활용하여, 교차가 자명한 정규부분군의 감소하는 수열을 가진 군을 구성한다.
• 대칭화된 폐쇄와 $C^\prime(1/10)$-소규모 취소 조건을 사용하여 몫군 위에 비이산 하우스도르프 위상을 확보한다.
• 모순에 기반하여 $G \setminus \{1\}$ 이 대수적이지 않음을 증명한다: 이 집합이 유한한 초등 대수적 집합의 합집합이라면, 포함된 부분군의 위상화 가능성과 모순된다.

실험 결과

연구 질문

• RQ1 모든 군의 조건부 닫힘 부분집합은 방정정식의 해집합 또는 그 유한한 합집합 및 교집합으로 표현되는가?
• RQ2 적절한 구조적 조건 하에서 비위상화 가능한 군이 비대수적 조건부 닫힘 집합을 포함할 수 있는가?
• RQ3 마르코프의 정리의 역—즉, 모든 조건부 닫힘 집합이 대수적임—은 비가산 군에서 참인가?
• RQ4 어떤 군의 구조적 성질이 그의 조건부 닫힘 부분집합이 대수적임을 보장하는가?
• RQ5 이러한 비대수적 조건부 닫힘 집합의 존재는 ZFC에서 일관되게 확보될 수 있는가, 아니면 CH와 같은 추가적인 집합론적 가정이 필요한가?

주요 결과

• 연속체 가설 하에서, 비대수적 조건부 닫힘 집합을 포함하는 군 $M$ 이 존재한다.
• 군 $M$ 은 셸라의 비위상화 가능한 군이며, 비가산이면서 $M_\alpha$ 로 이루어진 가산 부분군들의 합집합으로 구성된다. 각 $M_\alpha$ 는 위상화 가능한 부분군들의 합집합이다.
• $M \setminus \{1\}$ 는 $M$ 이 비이산 하우스도르프 군 위상을 가질 수 없기 때문에 조건부 닫혀 있다.
• $M \setminus \{1\}$ 는 대수적이지 않다. 이 집합이 유한한 초등 대수적 집합의 합집합이라면, 관련 단어들을 포함하는 부분군의 위상화 가능성과 모순된다.
• 이 증명은 유한한 단어들의 집합이 항상 하나의 위상화 가능한 부분군 내에 존재한다는 사실에 기반한다. 그 안에서 $H \setminus \{1\}$ 이 대수적이지 않다는 점을 이용한다.
• 따라서 이러한 집합의 존재는 ZFC + CH 와 일관되며, 비가산 경우에서 마르코프 문제에 대한 부정적 해답을 제공한다.