오일러 시스템과 콜리바긴 기법이 전역 구조를 실제로 고정하는 도구였다면, 자연스럽게 다음 질문이 떠오른다. “이런 기법들이 작동하는 근본 이유는 무엇인가?” 그리고 “이 현상을 모든 모티브에 대해 설명하는 하나의 원리는 존재하는가?” 이 질문에 대한 가장 야심 찬 대답이 바로 블로흐–카토 추측이다. 이 추측은 산술기하학 전반에 흩어져 있던 랭크, 셀머 군, 해석함수, 국소–전역 제약을 단 하나의 통합 공식으로 묶으려는 시도다.
왜 또 하나의 ‘대통합’이 필요한가
지금까지의 여정을 돌아보면, 반복되는 패턴이 분명하다. 유리점 문제에서는 랭크가 등장했고, 셀머 군과 샤파레비치–테이트 군이 전역 장애물을 설명했으며, 해석함수는 그 모든 정보를 다른 언어로 반영했다. 오일러 시스템은 이 구조를 실제 결론으로 밀어붙였다.
하지만 이 성과들은 주로 특정 대상—타원곡선, 특정 갈루아 표현—에 국한되어 있었다. 성공은 강력했지만, 여전히 “왜 이 경우에는 되고, 다른 경우에는 안 되는가?”라는 질문이 남았다.
블로흐–카토 추측은 이 질문을 정면으로 다룬다. 개별 기법의 성공을 나열하는 대신, 성공이 필연적인 하나의 원리를 제시하려 한다. 즉, 산술기하학의 모든 핵심 현상을 설명하는 공통의 설계도를 그리는 것이다.
셀머 군을 중심에 세우다
블로흐–카토 추측의 중심에는 셀머 군이 있다. 셀머 군은 이미 여러 차례 등장했지만, 여기서는 보조적 도구가 아니라 핵심 주인공이 된다.
이 추측은 매우 대담한 주장을 한다. 어떤 모티브가 주어지면, 그에 자연스럽게 대응하는 셀머 군이 존재하고, 이 셀머 군의 크기와 구조가 해석함수의 특정 값과 정확히 일치해야 한다는 것이다.
즉, 셀머 군은 “유리점으로 가는 관문”을 넘어서, 모티브의 산술적 실체를 전부 담는 그릇으로 승격된다. 랭크, 전역 장애물, 국소 제약은 모두 셀머 군의 서로 다른 얼굴이 된다.
이 관점에서는 셀머 군이 크다는 사실도, 작다는 사실도 우연이 아니다. 그것은 모티브가 가진 구조적 복잡도의 정확한 반영이다.
해석함수는 결과가 아니라 원인이다
버치–스위너튼다이어 추측에서 해석함수는 유리점의 정보를 “읽어내는 장치”였다. 블로흐–카토 추측은 한 걸음 더 나아간다. 해석함수의 값과 영점은 단순한 반영이 아니라, 산술 구조를 강제하는 원인이라는 것이다.
이 말의 의미는 깊다. 해석함수가 특정 지점에서 0이 되어야 한다면, 그에 대응하는 셀머 군은 반드시 커져야 하고, 반대로 해석적 값이 사라지지 않는다면 산술적 자유도는 제한된다.
즉, 해석 세계에서의 미묘한 변화가 산술 세계의 가능 범위를 직접 규정한다. 이는 산술기하학이 해석학을 “참고 자료”가 아니라 지배 원리로 받아들이는 순간이다.
국소 조건과 전역 결론의 완전한 일치
블로흐–카토 추측이 특히 강력한 이유는, 국소–전역 문제를 완전히 흡수하기 때문이다. 각 소수에서 정의되는 국소 조건들이 셀머 군의 정의에 들어가고, 이 조건들의 결합이 전역 구조를 정확히 결정한다.
여기에는 여지가 없다. 국소적으로 허용되는 것만이 전역적으로 가능하며, 그 허용의 범위는 해석함수에 의해 미리 정해진다.
이 관점에서 보면, 전역 장애물은 더 이상 신비로운 실패가 아니다. 그것은 국소 조건들이 필연적으로 만들어낸 결과다. 블로흐–카토 추측은 이 필연성을 수식으로 고정하려 한다.
오일러 시스템의 존재 이유가 드러나다
오일러 시스템과 콜리바긴 기법은 오랫동안 “마법 같은 도구”로 여겨졌다. 왜 특정 상황에서는 이런 시스템이 존재하고, 존재하는 순간 문제가 풀리는지에 대한 근본 설명은 부족했다.
블로흐–카토 추측의 관점에서는 이 수수께끼가 풀린다. 오일러 시스템은 블로흐–카토 추측이 참일 때 자연스럽게 기대되는 산술적 현상이기 때문이다.
즉, 오일러 시스템은 예외적 행운이 아니라, 통합 원리가 허용하는 특별한 표현이다. 이 관점은 기존 기법들의 성공을 사후적으로 정당화해 준다.
모티브 이론과의 완전한 합류
블로흐–카토 추측은 명백히 모티브 이론의 언어 위에 서 있다. 개별 곡선이나 방정식이 아니라, 모티브 자체가 논의의 단위가 된다.
이 추측은 말한다. 같은 모티브를 공유하는 대상들은, 어떤 체계 위에서 보든 동일한 산술·해석적 법칙을 따라야 한다고. 실수, 복소수, p-진 세계는 모두 다른 창일 뿐이다.
그래서 블로흐–카토 추측은 산술기하학의 많은 개별 추측들을 하나로 흡수한다. 버치–스위너튼다이어 추측은 그 가장 유명한 특수 경우다.
아직 증명되지 않았다는 사실의 의미
이 추측은 아직 전면적으로 증명되지 않았다. 하지만 그 영향력은 이미 증명된 정리들 못지않다.
많은 부분적 결과들이 이 추측의 예측과 정확히 일치하며, 성공한 모든 기법들이 이 틀 안에서 자연스럽게 설명된다. 이는 블로흐–카토 추측이 단순한 상상이 아니라, 이미 작동하고 있는 구조의 정확한 언어화임을 시사한다.
그래서 현대 산술기하학에서 이 추측은 “언젠가 풀릴 문제”가 아니라, 지금 무엇을 해야 하는지를 알려주는 기준선이다.
정리: 산술기하학의 최종 문장에 가장 가까운 시도
블로흐–카토 추측이 던지는 메시지는 분명하다. 산술 불변량은 흩어져 있지 않다. 그것들은 하나의 원리에서 나온다.
랭크, 셀머 군, 전역 장애물, 해석함수, 오일러 시스템은 모두 같은 문장의 서로 다른 절이다. 이 문장을 완전히 써 내려가는 것이 현대 산술기하학의 가장 큰 목표다.
이 추측이 증명되는 날, 우리는 개별 문제의 숲을 지나, 하나의 지형도를 손에 넣게 될 것이다. 그 지형도는 산술기하학이 왜 지금의 모습이 되었는지를 가장 명확하게 설명해 줄 것이다.