대수곡면의 포화와 친화화

초록

본 논문은 정상 대수곡면에 대해 “포화(saturation)”라는 개념을 정의하고, 이를 대수공간(algebraic spaces) 범주로 확장한다. 포화는 차원 0의 보완을 갖는 최대 개방 삽입이며, 카테고리론적 방법으로 존재와 유일성을 보인다. 또한 포화된 곡면이 친화화(affinisation) 위에서 적절(proper)하게 작용하는지에 대한 질문에 답하여, 친화화 차원이 0보다 클 때는 반드시 적절함을 증명한다. 마지막으로 친화화 차원에 따라 포화된 곡면을 경계(Weil) divisor의 부호와 구조로 구분하는 정밀한 정리를 제시한다.

상세 분석

논문은 먼저 정상 대수곡면 X에 대해 “큰 개방 삽입(big open embedding)’’ X ↪ Y를 정의하고, 보완 Y \ X 가 차원 0인 경우를 포화의 후보로 본다. 기존 연구