Arithmetic genus inequalities with an application to sums of squares

숫자의 숨겨진 건축학

당신이 벽돌로 집을 지으려고 한다고 상상해 보십시오. 하지만 엄격한 규칙이 하나 있습니다. 오직 완전제곱수인 벽돌만을 사용할 수 있다는 것입니다. 수학의 세계, 특히 정수론이라는 분야에서 이것은 '제곱수의 합' 문제입니다. 수학자들은 질문합니다. 특정 체계 안에 있는 모든 양수를 단 몇 개의 제곱수만을 더해서 만들 수 있는가? 예를 들어, 우리의 일반적인 세상에서는 $1^2 + 2^2$을 더해 5를 만들 수 있습니다. 하지만 만약 당신이 규칙이 다른, 기묘하고 뒤틀린 숫자의 우주에서 작업하고 있다면 어떨까요?

이를 이해하기 위해 우리는 '함수체(function fields)'를 살펴봐야 합니다. 이것을 종이 위의 숫자가 아니라, 모든 지점이 하나의 숫자인 거대하고 흐르는 숫자의 강이라고 생각하십시오. 때때로 이 강은 '구멍'이나 '뒤틀림'이 있는 지형 위를 흐릅니다. 수학에서 우리는 이러한 뒤틀림을 '속수(genus)'라고 불리는 숫자로 측정합니다. 속수가 0인 경우 매끄럽고 곧은 강입니다. 속수가 1인 경우 도넛처럼 한 번 루프를 도는 강입니다. 속수가 2인 경우 피겨 에이트(8자 모양)처럼 두 번 루프를 도는 강입니다. 루프가 많아질수록(속수가 높아질수록), 강은 더 복잡해지며 '제곱 벽돌'이 어떻게 맞물리는지 예측하기가 더 어려워집니다.

수십 년 동안 수학자들을 괴롭혀온 큰 질문은 이것입니다. 만약 뒤틀림이 많은(높은 속수를 가진) 강이 있다면, 어떤 숫자를 만들기 위해 얼마나 많은 제곱 벽돌이 필요할까요? 한계가 존재할까요? 이 논문은 매우 구체적이고 중대한 버전의 이 퍼즐을 다루며, 강의 형태(속수)와 '실수'(우리가 온도계에서 사용하는 숫자처럼 행동하는 숫자)의 존재가 건설 규칙을 어떻게 결정하는지 살펴봅니다.

뒤틀린 강과 제곱 벽돌의 지도

이 논문에서 저자인 데이비드 그림(David Grimm)과 곤살로 만자노-플로레스(Gonzalo Manzano-Flores)는 신비롭고 다층적인 풍경을 탐험하는 지도 제작자 역할을 합니다. 그들은 특정 유형의 수학적 강에서 어떤 숫자를 만들기 위해 정확히 몇 개의 '제곱 벽돌'이 필요한지를 알려주는 지도를 그리려 노력하고 있습니다. 그들의 목표는 "당신이 어떻게 시도하더라도, 이보다 더 많은 벽돌은 필요하지 않을 것이다"라고 말하는 엄격한 부등식, 즉 규칙을 증명하는 것입니다.

저자들은 '반복된 실 로랑 급수(iterated real Laurent series)'의 체계 위에서 정의된 '산술 곡선(arithmetic curve)'이라는 특별한 종류의 강에 집중합니다. 이는 말이 매우 어렵게 들리겠지만, 시간과 공간의 층을 쌓아 올린, 마치 러시아 인형(마트료시카)처럼 겹겹이 쌓인 숫자 체계라고 생각하십시오. 그들 발견의 핵심은 강의 '뒤틀림'을 세는 새로운 방법인 **속수(genus)**입니다.

이것이 그들의 발견의 핵심입니다. 그들은 이 제곱 벽돌들에 대한 속도 제한 역할을 하는 공식을 발견했습니다.

• 강이 '실수적(real)'이라면 (즉, 우리가 일상생활에서 사용하는 숫자처럼, 제곱을 더해도 음수가 될 수 없는 숫자를 포함한다면), 필요한 최대 제곱 벽돌의 수는 공식 $n \times g$에 의해 제한됩니다. 여기서 $n$은 숫자 체계의 층수를 나타내고, $g$는 속수(강의 뒤틀림 횟수)를 나타냅니다.
• 강이 '비실수적(non-real)'이라면 (제곱으로 음수를 만들 수 있는 더 혼란스러운 시스템이라면), 그 제한치는 약간 더 높습니다: $n \times (g + 1)$.

저자들은 단순히 추측한 것이 아니라, 기하학과 그래프 이론의 영리한 조합을 사용하여 이를 증명했습니다. 그들은 강의 특별한 '축소(reduction)'(강이 더 단순한 형태로 얼어붙은 스냅샷)를 다리들로 연결된 섬들의 네트워크로 상상했습니다. 그들은 이 네트워크를 '그래프'라고 불렀습니다.

이 퍼즐을 풀기 위해, 그들은 이 그래프의 섬들을 세는 새로운 방법을 발명했습니다. 그들은 어떤 섬들이 '강체(rigid)'인지, 즉 특정 위치에 고정되어 움직일 수 없는지를 주목했습니다. 또한 어떤 섬들이 '특이점(singular)'인지, 즉 독특한 관심 지점인지를 주목했습니다. 이 강체 및 특이점 섬들의 수를 세고, 이를 다리의 수(강의 복잡성을 나타냄)와 비교함으로써, 그들은 부등식을 도출해 냈습니다.

이 논문은 기존의 규칙들이 충분했다는 생각을 명시적으로 배제합니다. 이전의 지도들(동일한 저자와 다른 이들이 작성한 2022년 논문)은 단순한 경우에는 작동했지만, 저자들이 연구하고 있는 복잡한 다층 시스템($n > 1$)을 다루기에는 충분히 강력하지 않았습니다. 이전의 지도들은 논리에 너무 많은 '뒤틀림'을 허용하여, 필요한 벽돌의 수를 과다하게 추정할 가능성이 있었습니다. 이 새로운 논문은 나사를 조여, 기존의 규칙들이 너무 느슨했으며 새로운 더 엄격한 경계값이 실제로 최선의 한계임을 보여줍니다.

저자들은 자신의 결과에 매우 확신하고 있습니다. 그들은 단순히 이 강들을 시뮬레이션한 것이 아니라, 엄밀한 수학적 증명을 제공했습니다. 나아가, 그들은 자신들의 한계가 '최적(optimal)'임을 보여주었습니다. 즉, 규칙을 더 엄격하게 만들 수 없다는 것입니다. 그들은 특정 방정식(예: $Y^2 = -(X^2 + t^{2i})$)을 사용하여 필요한 벽돌의 수가 한계치에 정확히 도달하는 특정 강들의 예시를 구축했습니다. 만약 한계치를 단 한 단계라도 낮추려 한다면, 이 특정 강들에 대해서는 규칙이 깨지게 됩니다.

마지막 섹션에서 저자들은 '국소 제곱(local squares)'—강의 모든 작은 이웃 영역에서는 제곱처럼 보이지만 전체 강에서는 제곱이 아닐 수도 있는 숫자들—에 대해서도 살펴보았습니다. 그들은 이 국소적인 숫자들의 거동과 강의 그래프 형태를 연결하여 이들에 대한 유사한 한계를 찾아냈습니다.

따라서 이것이 호기심 많은 십 대에게 의미하는 바는 무엇일까요? 그것은 숫자의 방대하고 추상적인 우주에도 숨겨진 건축학적 법칙이 존재한다는 것입니다. 다리가 무너지기 전까지 견딜 수 있는 무게가 정해져 있듯이, 특정 횟수의 뒤틀림을 가진 수학적 강은 특정 수의 제곱 벽돌만을 지탱할 수 있습니다. 이 논문은 그 한계에 대한 청사진을 그려냈으며, 이 특정한 복잡한 세계들에 대해 그 끝이 정확히 어디인지 보여주고, 그 끝이 바로 그들이 말하는 지점임을 증명했습니다.