대수기하학에서 사상은 단순히 “한 공간에서 다른 공간으로 보내는 함수”가 아니다. 좌표를 찍어 옮기는 지도(map)라는 직관은 출발점일 뿐이며, 본질은 어떤 구조가 어떻게 보존되는가에 있다. 이 글에서는 사상이 왜 점의 이동을 넘어 구조의 약속이 되는지, 국소와 전역에서 사상이 무엇을 요구하는지, 그리고 사상이 대수와 기하를 어떻게 하나로 묶는지를 충분히 길게 풀어 설명한다.
사상은 ‘어디로 가는가’보다 ‘무엇을 지키는가’다
해석학이나 기초 기하에서 사상은 보통 점을 어디로 보내는지를 묻는다. 하지만 대수기하학에서는 그 질문이 충분하지 않다. 점을 옮기는 순간, 그 점 위에 얹힌 함수·구조·국소 정보가 함께 이동해야 하기 때문이다.
그래서 대수기하학의 사상은 “점의 이동 규칙”과 동시에 “함수의 변환 규칙”을 포함한다. 이 둘이 함께 맞물릴 때만 사상이라고 부른다.
요컨대 사상은 이동이 아니라 보존의 선언이다.
반대 방향으로 작동하는 함수의 규칙
기하적 직관에서는 점이 앞으로 간다. 그러나 대수적 관점에서는 함수가 거꾸로 온다. 한 공간에서 다른 공간으로 가는 사상은, 대상 공간의 함수들을 출발 공간으로 끌어온다.
이 ‘반대 방향성’은 처음엔 낯설지만, 매우 자연스럽다. 함수는 값을 주는 규칙이므로, 점이 도착한 곳의 함수를 출발점에서 평가해야 하기 때문이다.
이 원리 덕분에 사상은 단순한 점 이동이 아니라, 함수 세계의 호환성을 보장한다.
국소적으로 정의되고 전역적으로 일치한다
사상은 한 번에 전체에서 정의되지 않는다. 작은 열린 영역들에서 먼저 정의되고, 겹치는 영역에서 일치함이 확인되면 전역 사상으로 붙여진다.
이 과정은 층과 코호몰로지에서 보았던 국소-전역의 철학을 그대로 따른다. 사상 역시 국소 데이터의 정합성 위에 서 있다.
따라서 사상은 “전역 함수 하나”가 아니라, 국소 규칙들의 일관된 집합이다.
국소환 수준에서의 조건
각 점에는 국소환이 붙어 있고, 사상은 이 국소환들 사이의 호환 가능한 대응을 요구한다. 즉, 점을 보내는 것만으로는 부족하고, 그 점 근처에서 정의되는 함수들의 행동까지 함께 맞아야 한다.
이 조건은 매끄러움, 특이성, 접촉의 보존 같은 중요한 성질을 자동으로 관리한다.
그래서 사상은 계산 규칙이 아니라, 국소 구조의 합의서에 가깝다.
사상의 합성은 자연스럽다
사상은 서로 합성될 수 있어야 한다. 한 사상 뒤에 다른 사상을 붙였을 때, 구조 보존의 약속이 깨지지 않아야 한다.
이 합성의 자연스러움은 대수기하학의 언어가 안정적이라는 증거다. 점과 함수, 국소와 전역의 규칙이 일관되게 작동하기 때문이다.
결과적으로 사상들은 하나의 범주를 이루며, 이는 이론 전개에 큰 힘을 준다.
사상이 드러내는 기하의 성격
어떤 사상을 허용하느냐에 따라 기하의 성격이 달라진다. 거칠게 보존하는 사상은 큰 윤곽을, 섬세하게 보존하는 사상은 미세한 구조를 드러낸다.
이 차이는 분류, 변형, 극한 문제에서 결정적인 역할을 한다.
즉, 사상은 단순한 연결선이 아니라, 무엇을 중요하게 볼 것인가에 대한 선택이다.
점의 집합이 같아도 사상은 달라진다
같은 점들을 가진 두 공간이라도, 구조가 다르면 사상은 전혀 달라질 수 있다. 구조층과 국소환이 다르면 보존해야 할 규칙이 바뀌기 때문이다.
이 사실은 “기하는 점의 집합이 아니다”라는 메시지를 다시 한 번 강조한다.
사상은 점이 아니라 구조를 잇는다.
사상은 질문을 가능하게 한다
사상을 통해 우리는 묻는다. 이 구조는 저 구조로 어떻게 보이는가? 무엇이 유지되고, 무엇이 사라지는가?
이 질문들은 분류 문제, 모듈라이 문제, 변형 이론으로 이어진다.
사상은 답을 주는 도구이기 이전에, 질문을 정확히 만드는 틀이다.
전역적 성질을 시험하는 리트머스
전역 성질은 사상을 통해 시험된다. 특정 사상이 존재하는지, 유일한지, 합성에 대해 안정적인지가 중요한 기준이 된다.
이 기준들은 코호몰로지와 결합되어, 전역 구조의 가능성과 한계를 드러낸다.
따라서 사상은 전역 이론의 출입구다.
사상을 이해하는 핵심 질문
사상을 볼 때 이렇게 물어보자. “이 사상은 어떤 함수들을 끌어오며, 그 함수들은 어디까지 유효한가?”
이 질문 하나로 점의 이동, 국소환의 대응, 전역 일치가 한 번에 보인다.
사상은 복잡한 정의가 아니라, 보존의 철학을 실행하는 규칙이다.
대수와 기하를 묶는 마지막 고리
사상은 대수와 기하의 대응을 실제로 작동시키는 마지막 고리다. 점·함수·구조가 함께 움직일 때, 두 언어는 완전히 합쳐진다.
이 합일 덕분에 대수기하학은 계산의 집합이 아니라, 구조의 과학이 된다.
결국 사상은 “어디로 가는가”가 아니라 “어떻게 같은 이야기를 유지하는가”를 묻는 개념이다.