위상수학에서 기본군은 “공간 안에서 되돌아오는 길이 얼마나 다양한가”를 측정하는 도구다. 대수기하학에서도 이 질문은 여전히 중요하지만, 그대로 가져올 수는 없다. 자리스키 위상은 너무 거칠고, 해석적 경로는 항상 존재하지 않기 때문이다. 이 공백을 메우기 위해 등장한 개념이 에탈 기본군이다. 이 글에서는 왜 기본군이 필요했는지, 에탈 기본군이 무엇을 대체하는지, 그리고 이 개념이 전역 대칭과 수론을 어떻게 하나로 묶는지를 충분히 길게 풀어 설명한다.
기본군이 묻는 질문은 단순하다
기본군의 질문은 직관적이다. “이 공간에서 한 점을 출발해 다시 돌아오는 서로 다른 방법이 얼마나 있는가?”
이 질문은 단순한 경로 놀이가 아니라, 공간의 구멍, 꼬임, 전역적 대칭을 드러낸다.
위상수학에서는 연속 경로를 사용해 이 질문에 답하지만, 대수기하학에서는 다른 접근이 필요하다.
왜 경로를 쓸 수 없는가
대수기하학의 기본 무대인 자리스키 위상에서는 연속 경로라는 개념이 거의 무력하다. 열린 집합이 너무 커서, 미세한 이동을 표현할 수 없기 때문이다.
또한 유한체 위의 기하처럼, 해석적 경로 자체가 정의되지 않는 상황도 많다.
그래서 “경로 대신 무엇으로 루프를 표현할 것인가?”라는 새로운 질문이 등장한다.
경로 대신 덮개를 본다
위상수학에서 기본군은 덮개 공간과 깊이 연결되어 있다. 어떤 덮개가 가능한지, 그 덮개들이 어떻게 꼬이는지가 기본군을 결정한다.
에탈 기본군은 이 관점을 그대로 가져온다. 다만 연속 덮개 대신, 에탈 덮개를 사용한다.
즉, “어떤 에탈 덮개들이 존재하는가”를 통해 공간의 루프 구조를 읽어낸다.
에탈 덮개는 국소적 복사다
에탈 덮개는 국소적으로는 거의 복사본처럼 보이는 사상이다. 찢어짐도, 분기도 없다.
이 성질 덕분에, 에탈 덮개는 “경로를 따라 이동한다”는 직관을 대수적으로 대체할 수 있다.
국소적으로는 같은 공간이지만, 전역적으로는 어떻게 이어지는지가 핵심 정보가 된다.
에탈 기본군은 무엇을 기록하는가
에탈 기본군은 한 공간 위의 모든 유한 에탈 덮개들을 한꺼번에 바라보고, 그 대칭 구조를 하나의 군으로 요약한다.
이 군은 “공간이 얼마나 많이, 어떤 방식으로 자신을 에탈하게 덮을 수 있는가”를 기록한다.
즉, 에탈 기본군은 공간의 전역적 꼬임을 대수적으로 압축한 결과다.
기저점이 왜 필요한가
기본군을 정의할 때는 항상 기준점이 필요하다. 에탈 기본군에서도 마찬가지다.
기저점은 덮개 위에서 어느 점을 기준으로 삼을지를 정해 준다. 이 선택 덕분에 덮개 사이의 대칭을 비교할 수 있다.
기저점의 선택은 군을 바꾸지 않고, 표현만 바꾼다.
전역 대칭이 군으로 나타난다
에탈 기본군의 원소들은 공간의 전역 대칭을 나타낸다. 이 대칭은 국소적으로는 전혀 보이지 않는다.
작은 영역에서는 모두 같아 보이지만, 덮개 전체를 따라가 보면 비로소 차이가 드러난다.
이 차이를 군의 연산으로 표현하는 것이 에탈 기본군의 핵심이다.
유한체 위에서의 강력함
유한체 위의 기하에서는 해석적 기본군을 정의할 방법이 없다. 하지만 에탈 기본군은 완벽하게 작동한다.
이 덕분에, 유한체 위의 공간에서도 “루프”와 “덮개”를 논할 수 있다.
이는 수론과 기하를 연결하는 결정적인 다리 역할을 한다.
갈루아 이론과의 만남
특히 중요한 사실은, 에탈 기본군이 갈루아 군과 직접적으로 연결된다는 점이다.
체의 확장에 나타나는 대칭이, 기하 공간의 에탈 덮개 대칭으로 해석된다.
이 관점 덕분에, 체론의 문제를 기하적 질문으로 바꿀 수 있게 된다.
자리스키 위상에서는 왜 안 보이는가
자리스키 위상에서는 대부분의 덮개가 국소적으로 자명해 보인다. 그래서 전역 꼬임이 드러나지 않는다.
에탈 위상은 이 한계를 넘기 위해, 국소 관찰의 기준 자체를 바꾼다.
그 결과, 자리스키 위상에서는 숨겨져 있던 루프 구조가 에탈 기본군으로 드러난다.
기본군은 분류의 도구다
에탈 기본군을 알면, 가능한 에탈 덮개들을 분류할 수 있다.
이는 곧 공간의 전역 구조를 분류하는 강력한 수단이 된다.
코호몰로지와 함께 사용될 때, 그 위력은 더욱 커진다.
경로의 개념이 사라진 게 아니다
에탈 기본군은 경로를 버린 것이 아니라, 더 일반적인 언어로 바꾼 것이다.
연속 경로 대신, 국소 동형 사상이라는 대수적 경로를 사용한다.
그래서 기본군의 철학은 그대로 유지된다.
에탈 기본군을 이해하는 핵심 질문
에탈 기본군을 볼 때 이렇게 물어보자. “이 공간을 에탈하게 덮는 방법에는 어떤 종류가 있는가?”
이 질문의 답이 곧 기본군의 구조다.
경로를 그릴 수 없어도, 루프는 여전히 존재한다.
전역 구조를 한 번에 읽는 요약본
에탈 기본군은 방대한 전역 정보를 하나의 군으로 요약한다.
모든 덮개를 하나씩 살펴보는 대신, 그 대칭 구조만을 뽑아낸다.
그래서 에탈 기본군은 “공간의 전역 요약본”이라 불린다.
다음 단계로 이어지는 길
에탈 기본군을 이해하면, 이후 등장하는 갈루아 작용, 모노드로미, 수론적 코호몰로지가 자연스럽게 이어진다.
왜 전역 대칭이 그렇게 중요한지, 왜 군이 반복해서 등장하는지가 분명해진다.
결국 에탈 기본군은 대수기하학이 공간의 루프를 대수로 읽어내는 방식이다.