The Relative Manin-Mumford Conjecture

당신이 모든 책이 서로 다른 종류의 수학적 도형을 나타내는 거대하고 보이지 않는 도서관에 서 있다고 상상해 보십시오. 어떤 책은 단순한 루프를 설명하고, 어떤 책은 우리 눈에는 보이지 않는 방식으로 뒤틀리고 회전하는 복잡한 다차원 도넛을 설명합니다. 이곳은 수론과 기하학의 세계로, 수학자들이 숫자와 도형이 상호작용하는 방식 속에 숨겨진 패턴을 찾으려 노력하는 분야입니다. 이 도서관에서 가장 유명한 퍼즐 중 하나는 이 "특별한" 점들이 어디에 살고 있는지 알아내는 것입니다. 이 특별한 점들을 초콜릿 공장에 숨겨진 "황금 티켓"이라고 생각해 보십시오. 이 도형들의 세계에서 황금 티켓은 **토션 점(torsion points)**이라 불립니다. 이들은 만약 계속해서 자기 자신을 더해 나간다면, 결국 시작점(영점)으로 되돌아오게 되는 도형 위의 지점들입니다.

오랫동안 수학자들은 궁금해했습니다. 만약 이 거대한 수학적 도넛 안에 그려진 특정한 경로 혹은 더 작은 도형을 가져온다면, 그 경로는 이 황금 티켓들로 덮여 있을까요? 아니면 티켓들이 너무 희박하게 흩어져 있어서 패턴을 만들 만큼 충분히 찾을 수 없을까요? 답은 그 경로가 도넛 자체에 비해 얼마나 "뒤틀려" 있는지에 달려 있습니다. 만약 경로가 너무 단순하다면, 티켓을 아주 조금만 만날 수도 있습니다. 하지만 경로가 충분히 복잡하다면, 그것은 아마도 티켓들로 덮여 있을 수 있습니다. 이 질문은 **마닌-뭄포드 추측(Manin–Mumford Conjecture)**으로 알려져 있습니다. 이것은 마치 특정 도시의 도로가 금화로 포장되어 있는지, 아니면 그저 흩어진 몇 개의 동전뿐인지 묻는 것과 같습니다. 이를 해결하는 것은 숫자와 도형이 어떻게 결합하는지에 대한 깊고 숨겨진 규칙을 이해하는 데 매우 중요한데, 이는 암호학부터 우주의 근본적인 구조를 이해하는 것에 이르기까지 매우 중요합니다.

이제, 단 하나의 도넛이 아니라, 도넛의 전체 가족을 상상해 보십시오. 아마도 이 도넛들은 길을 따라 이동함에 따라 모양이 약간씩 변하며, 커지거나 다르게 뒤틀릴 수도 있습니다. 이것이 수학자들이 "아벨 다양체의 가족"(구체적으로는 아벨 스킴)이라고 부르는 것입니다. 큰 질문은 이것입니다. 만약 당신이 이 변화하는 도넛들의 전체 가족을 관통하는 경로를 그린다면, 그 경로는 황금 티켓들로 덮여 있을까요? 이것이 **상대적 마닌-뭄포드 추측(Relative Manin–Mumford Conjecture)**이며, 도넛들이 정지해 있지 않고 움직이고 있기 때문에 훨씬 더 어려운 퍼즐입니다.

이 논문에서 자이양 가오(Ziyang Gao)와 필립 하베거(Philipp Habegger)는 (우리가 보통 작업하는 표준적인 수학 세계인) 표수 0에서의 아벨 다양체(아벨 스킴)의 가족에 대한 이 퍼즐을 마침내 해결했습니다. 그들은 결정적인 방향을 증명했습니다. 즉, 만약 당신의 경로가 "자리스키 조밀(Zariski dense)"하고(이것은 아주 작고 지루한 구석에 갇혀 있지 않고 공간 전체를 실제로 탐색한다는 뜻입니다) 동시에 황금 티켓들로 덮여 있다면, 그 경로는 적어도 도넛들만큼은 복잡해야 한다는 것입니다. 다시 말해, 흥미를 끌 만큼 많은 티켓으로 덮여 있으면서도 단순한 경로는 존재할 수 없습니다. 복잡성은 덮여 있기 위한 필수 조건입니다.

저자들은 단순히 추측한 것이 아니라, 영리한 도구들의 조합을 사용하여 절대적인 확신을 가지고 이를 증명했습니다. 그들은 **필라-자니에르 방법(Pila–Zannier method)**이라고 불리는, 마치 고성능 금속 탐지기와 같은 방법을 사용했습니다. 이 탐지기는 매우 구체적이고 조직적인 방식으로 유리수 점들(황금 티켓들)을 세어냄으로써 이들을 찾는 데 도움을 줍니다. 또한 그들은 이 도형들을 위한 좌표계나 GPS 역할을 하는 **베티 맵(Betti map)**이라는 것을 사용했습니다. 베티 맵을 도넛의 복잡하게 뒤틀린 형태를 단순하고 평평한 숫자의 격자로 번역하는 도구라고 상상해 보십시오. 이 평평한 격자 위에서 경로가 어떻게 움직이는지를 봄으로써, 그들은 경로가 "퇴화(degenerate)"되었는지(특정한 패턴에 갇혀 있는지) 또는 "비퇴화(non-degenerate)"되었는지(자유롭게 움직이는지)를 알 수 있었습니다.

그들의 증명에서 핵심적인 부분은 두 가지 시나리오를 확인하는 것이었습니다. 첫째, 그들은 경로가 특정하고 지루한 패턴에 갇혀 있어 티켓을 세기가 쉬운 "퇴화"된 상태인지 살펴보았습니다. 만약 퇴화되었다면, 증명은 간단했습니다. 하지만 경로가 퇴화되지 않았다면, 그들은 **높이 부등식(height inequality)**이라는 강력한 도구를 사용해야 했습니다. 여기서 "높이"를 숫자가 얼마나 복잡한지를 나타내는 척도라고 생각해 보십시오. 저자들은 만약 경로가 퇴화되지 않았다면, 관련된 숫자들의 "높이"가 유계(bounded)되어 있으며, 이는 황금 티켓의 수를 제한한다는 것을 보여주었습니다. 그들은 이와 함께 이 도형들이 어떻게 행동하는지에 대한 정리(액스-샤누엘 정리, Ax–Schanuel theorem)를 결합하여, 경로가 충분히 복잡하다면 반드시 티켓들로 덮여 있어야 함을 보여주었습니다.

이 논문의 가장 흥고한 결과 중 하나는 곡선에 대한 "균등 마닌-뭄포드 추측(Uniform Manin–Mumford Conjecture)"을 증명했다는 것입니다. 이것은 곡선의 복잡성(종수 $g$)에 대해, 어떤 곡선이라도 그 곡선을 어떻게 그리든 상관없이 결코 그 이상의 티켓을 가질 수 없도록 제한하는 특정 숫자 $c$가 존재한다는 규칙을 찾아냈음을 의미합니다(이때 $c$는 $g$에만 의존합니다). 이것은 엄청난 일인데, 왜냐하면 이러한 특별한 점들의 수가 무한히 성장하는 것이 아니라 제한적이고 예측 가능하다는 것을 의미하기 때문입니다.

저자들은 또한 까다로운 질문을 다루었습니다. 반대로, 경로가 충분히 복잡하다면 반드시 황금 티켓들로 덮여 있을까요? 그들은 답이 "항상 그렇지는 않다"는 것을 증명했습니다. 그들은 (평평한 격자 위에서 경로가 얼마나 뒤틀리는지를 나타내는 척도인) "베티 랭크(Betti rank)"와 관련된 특정 조건을 찾아냈습니다. 만약 이 조건이 충족되지 않는다면, 심지어 복잡한 경로일지라도 황금 티켓을 놓칠 수 있습니다. 이는 복잡성과 황금 티켓 사이의 관계가 미묘하고 정밀하다는 것을 보여줍니다. 즉, 복잡성은 덮여 있기 위한 필요조건이지만, 그것만으로는 충분하지 않을 수도 있다는 것입니다.

요약하자면, 가오와 하베거는 아벨 다양체의 가족에서 황금 티켓들이 어디에 사는지에 대한 완전한 지도를 구축했습니다. 그들은 티켓들로 덮여 있으면서 동시에 단순한 경로는 존재할 수 없음을 보여주었으며, 복잡한 경로가 언제 덮여 있는지에 대한 정확한 규칙을 제시했습니다. 그들의 연구는 단순히 퍼즐을 푸는 것이 아니라, 수학자들이 숫자의 숨겨진 기하학을 탐구할 수 있는 새롭고 강력한 도구 상자를 제공하며, 가장 추상적인 수학의 구석에서도 마법이 일어나는 곳을 지배하는 엄격하고 아름다운 규칙들이 존재함을 증명합니다.