An example of a non-sofic hyperbolic group

수학의 광활한 풍경 속에는 군(group)이라는 렌즈를 통해 대칭과 형태의 숨겨진 구조를 이해하는 데 전념하는 한 분야가 있습니다. 군은 단순히 특정한 방식으로 결합될 수 있는 객체들의 집합을 의미하며, 이는 루빅스 큐브를 돌리거나 기하학적 형상을 회전시키는 것과 비슷하지만, 연산의 순서가 중요합니다. 수십 년 동안 수학자들은 '쌍곡군(hyperbolic groups)'이라 불리는 특정 부류의 군에 매료되어 왔습니다. 이들은 기하학적으로 음의 곡률을 가진 구조들로, 즉 이들의 표면에 삼각형을 그리면 변들이 서로 멀어지며 평평한 삼각형에 비해 "얇게" 보이게 됩니다. 이러한 성질은 이들을 믿을 수 없을 정도로 견고하고 예측 가능하게 만듭니다.

연구자들을 사로잡았던 또 다른 개념은 소피성(soficity)입니다. 이는 복잡하고 무한한 군을 관리 가능한 유한한 조각들로 근사할 수 있는지 묻는 성질입니다. 거대하고 복잡한 기계를 작은 유한한 스냅샷을 통해 이해하려고 노력하는 것을 상상해 보십시오. 만약 항상 기계의 동작을 충분히 가깝게 모사할 수 있는 유한한 스냅샷을 찾을 수 있다면, 그 기계는 소피적이라고 간주됩니다. 오랫동안 수학자들은 존재하는 모든 군이 이 성질을 가지고 있을 것이라고 추측해 왔습니다. 그들이 지금까지 연구한 모든 군이 소피적이었기에 이는 합리적인 추측이었습니다. 그러나 질문은 여전히 남아 있었습니다. 과연 어떤 군이 너무나 복잡해서 그 어떤 유한한 체계로도 근사할 수 없는 것일까요?

하르자스 산두(Harjas Sandhu)와 안드레아스 톰(Andreas Thom) 연구팀은 이제 이 질문에 대한 결정적인 답을 구축했습니다. 이들의 연구는 2026년 10월 산두에 의해 얻어진, OpenAI의 돌파구를 기반으로 한 AI 생성 구조에 기초하고 있습니다. 그들은 쌍곡적(즉, 견고한 음의 곡률 기하학을 가진)이면서도 소피적이지 않은 특정한 군을 구축했습니다. 이는 이 군이 너무나 복잡하여, 아무리 큰 유한 체계를 사용하여 근사하려 해도 그 근사는 근본적인 방식으로 반드시 실패할 것임을 의미합니다. 그들의 작업은 단순히 이러한 가능성을 시사하는 것에 그치지 않고, 그러한 군이 존재한다는 구체적인 수학적 증명을 제공합니다. 이 발견은 해당 분야의 오랜 가정을 깨뜨리는 것으로, 유한한 근사를 통해 도달할 수 없는 구조가 군의 세계에 존재함을 보여줍니다.

이 군의 구축은 추상적인 수학의 영역에 존재하지만, 거대한 규모의 공학적 성취입니다. 연구자들은 특정 수학적 체 내의 점과 선의 격자를 기반으로 한 복잡한 네트워크를 만드는 것부터 시작했습니다. 그들은 고유한 식별자로 표시된 방대한 수의 선들을 선택했고, 이를 삼각형으로 이루어진 2차원 구조로 배열했습니다. '삼각형 복합체(triangle complex)'라고 알려진 이 구조는 그들의 군이 거주하는 물리적 홈 역할을 합니다. 이 복합체의 정점(vertices)은 점들이며, 에지는 그들 사이의 연결이며, 이들은 군의 행동을 정의하는 관계의 웹을 형성합니다.

군이 적절한 성질을 갖도록 하기 위해, 연구자들은 이 복합체에 특정한 기하학적 규칙을 부여했습니다. 그들은 삼각형에 쌍곡 삼각형(곡면 위에 그려져 각의 합이 180도 미만인 삼각형)의 형태를 부여했습니다. 각도와 변의 길이를 세심하게 선택함으로써, 그들은 전체 구조가 국소적으로 음의 곡률을 갖도록 보장했습니다. 이 곡률은 매우 중요한데, 이는 군이 쌍곡적이 되도록 강제하여 수학자들이 높게 평가하는 견고하고 트리(tree)와 같은 기하학을 부여하기 때문입니다. 결과적으로 만들어진 이 군은 비순환(torsion-free)적입니다. 즉, 유한한 단계 후에 다시 시작점으로 돌아오는 요소가 없으며, 이 군은 이 복합체의 표면 위에서 살아가는 2차원적 존재입니다.

그들 성취의 핵심은 이 특정 군이 왜 소피적일 수 없는지를 증명하는 데 있습니다. 이를 위해 그들은 군의 요소들을 유한한 숫자 집합으로 매핑하는 과정을 상상했는데, 이는 만약 군이 소피적이라면 반드시 필요한 과정입니다. 그들은 유한 집합의 치환(permutations)을 사용하여 군의 규칙을 근사하려고 시도하더라도, 그 할당이 필연적으로 무너질 것임을 보여주었습니다. 구체적으로, 만약 당신이 유한 집생의 치환을 통해 군의 규칙을 근사하려 한다면, 반드시 모순에 직면하게 될 것임을 입증했습니다. 즉, 성립해야 할 일부 군의 규칙은 근사 과정에서 성립하지 않게 되고, 반대로 성립하지 않아야 할 다른 규칙들은 우연히 성립하게 됩니다.

이 증명은 기하학과 대수의 영리한 결합에 의존합니다. 연구자들은 복합체가 특정 길이의 루프를 많이 포함하고 있으며, 이 루프들은 더 작은 조각들로 분해되기에는 너무 짧다는 사실을 이용했습니다. 그들은 군의 행동을 근사하려는 모든 시도가 수학적으로 불가능한 방식으로 이 루프들이 작동할 것을 요구한다는 점을 보여주었습니다. 즉, 군을 유한 체계에 맞추려고 할 때 발생하는 '결함(defects)' 또는 오류를 분석함으로써, 이러한 오류를 임의로 작게 만들 수 없음을 증명했습니다. 다시 말해, 이 군은 유한한 체계가 극복할 수 없는 고집스러움으로 근사를 거부합니다.

그들이 구축한 군의 규모는 경이로운 수준입니다. 이 군의 수학적 기술에는 10의 132제곱 개 이상의 생성자(generators, 군의 기본 구성 요소)와 그와 유사한 천문학적 수의 관계식(relations, 이 블록들이 어떻게 상호작용하는지를 규정하는 규칙)이 포함됩니다. 이 숫자들은 직관적으로 이해하기에는 너무 크지만, 증명에 필요한 특정한 조건을 만들기 위해 필수적입니다. 연구자들은 단지 그러한 군이 존재할 것이라고 추측한 것이 아니라, 누구나 결과를 검증할 수 있도록 설계도(blueprint)를 제공하며 이를 명시적으로 구축했습니다.

이 작업은 소피적이지 않은 군을 찾아냈던 다른 수학자들의 이전 돌파구들을 계승하지만, 그 예시들은 쌍곡적이지 않았습니다. 도전 과제는 쌍곡군의 견고한 기하학과 유한 근사에 대한 저항성을 동시에 갖춘 군을 찾는 것이었습니다. 대수 기하학, 그래프 이론, 그리고 기하학적 군론의 기법들을 결합함으로써, 산두와 톰은 이 간극을 메우는 데 성공했습니다. 그들의 구축 방식은 유한 체 내의 선들의 가족을 사용하는데, 이는 추상적으로 들릴 수 있지만 그들의 군을 정의하는 복잡한 연결망의 토대가 됩니다.

이 발견의 함의는 심오합니다. 이는 수학자들을 수년간 고민하게 했던 질문을 해결하며, 소피적 군의 부류가 한때 희망했던 것만큼 포괄적이지 않다는 것을 증려합니다. 또한, 수학자들이 이제 이러한 비소피적 쌍곡군들의 성질을 더 자세히 이해하고자 할 것이기에 새로운 연구의 길을 열어줍니다. 다른 그러한 군들이 존재하는가? 그것들은 어떻게 행동하는가? 이 군의 존재는 무한 군의 세계가 이전에 상상했던 것보다 훨씬 더 다양하고 신비롭다는 것을 시사합니다.

결국, 이 논문은 모든 군이 유한한 근사에 의해 길들여질 수 있는 것은 아니라는 명확하고 엄밀한 시연을 제시합니다. 산두와 톰이 구축한 군은 추상적인 수학적 구조의 복잡성을 보여주는 기념비와 같습니다. 이 구조는 기하학적으로는 견고하면서도 대수적으로는 포착하기 어려운 형태입니다. 이는 수학의 가장 추상적인 구석에서도 여전히 놀라운 것들이 기다리고 있으며, 우리가 이해할 수 있는 경계는 미지의 세계를 탐험하려는 이들에 의해 끊임없이 확장되고 있다는 사실을 상기시켜 줍니다. 증명은 완료되었고, 구축은 검증되었으며, 질문에 대한 답은 이제 알려졌습니다. 어떤 군들은 단순히 그 어떤 유한한 렌즈로도 포착할 수 없을 만큼 너무나 복잡합니다.