상대적 자키미 열린 객체와 프라임 이데알의 위상학적 분류

초록

베르트랑 토엔·미셸 바키에가 제시한 폐쇄 단일군 범주에서의 스킴 이론을 바탕으로, 저자는 가환 모노이드 (A)에 대해 (Spec(A))의 자키미 열린 부분 객체들을 전통적인 환의 경우와 동일한 방식으로 분류한다. 주요 결과는 모든 가환 모노이드에 대해 자키미 열린 부분들의 로케일이 ‘프라임 이데알’ 집합에 위상공간 구조를 부여한 것과 동등함을 보이며, 이를 통해 (\mathbb{F}_{1}) 위의 스킴 개념을 기존 문헌(

상세 분석

이 논문은 토엔‑바키에가 제안한 ‘폐쇄 단일군 범주 ((\mathcal{C},\otimes,1))’ 위의 스킴 이론을 심도 있게 탐구한다. 핵심은 가환 모노이드 (A)에 대한 ‘affine scheme’ (Spec(A))의 Zariski 토폴로지를 어떻게 정의하고, 그 열린 부분 객체들을 기존 환 이론과 일관되게 기술할 수 있는가이다. 저자는 먼저 (\mathcal{C})가 충분히 좋은 성질—예를 들어, 완전·코완전, 모노이달 구조가 제한된 콜리미터를 보존—을 만족한다는 가정을 명시한다. 이러한 가정 하에서, 가환 모노이드 (A)의 ‘이데알’은 (\mathcal{C}) 안의 서브모노이드로 정의되며, 특히 ‘프라임 이데알’은 전통적인 정의와 유사하게 “(ab\in \mathfrak{p})이면 (a\in\mathfrak{p}) 혹은 (b\in\mathfrak{p})”를 만족하는 서브모노이드로 설정된다.

다음 단계는 ‘Zariski 열린 부분 객체’를 정의하는 것이다. 토엔‑바키에는 ‘열린 임베딩’과 ‘표준 개방 사상’이라는 두 가지 개념을 도입했는데, 저자는 이를 ‘표준 개방 사상’이 (A)의 특정 원소 집합 (S)에 대해 ‘(A\to A