Quintic surfaces with 18 cusps

당신이 수학적 점토로 조각품을 설계하는 건축가라고 상상해 보십시오. 대수기하학의 세계에서 이 점토는 4차원 공간에 떠 있는 곡면(비록 우리는 한 번에 3차원만 볼 수 있지만)으로 형상화됩니다. 수 세기 동안 수학자들은 이 조각품에 나타나는 '균열'과 '움푹 들어간 곳'에 매료되어 왔습니다. 어떤 움푹한 곳은 '노드(node)'라고 불리는 단순한 돌출부이지만, 어떤 것들은 '커스프(cusp)'라고 불리는 더 날카롭고 극적인 점들로, 이는 바늘 끝이나 두 장의 종이가 만나서 날카로운 스파이크로 접히는 지점처럼 보입니다.

이 분야의 핵심 질문은 이것입니다: 단 하나의 조각품에 얼마나 많은 이 날카로운 스파이크를 채워 넣을 수 있을까요? 더 단순한 형태의 경우, 우리는 그 답을 알고 있습니다. 하지만 '퀸틱 곡면(quintic surface)'이라 불리는 특정 유형의 조각품(5차 항까지의 복잡한 방정식으로 정의되는)의 경우, 그 한계는 미스터리였습니다. 우리는 20개를 넘을 수 없다는 것은 알고 있지만, 20개를 가진 완벽한 모델을 성공적으로 만들어낸 사람은 아무도 없었습니다. 현재의 기록 보유자들은 겨우 16개 또는 17개를 구현해냈을 뿐입니다. 이는 마치 가장 불안정한 블록을 최대한 많이 쌓으려는 것과 같습니다. 더 많이 쌓을수록 전체가 엉망진창이 되어 무너질 가능성이 커지기 때문입니다.

이 논문은 레프 보리소프(Lev Borisov)와 카를로스 리토(Carlos Rito)라는 두 수학자가 이 쌓기 문제를 해결하기 위해 결정한 내용에 관한 것입니다. 그들은 단순히 추측하지 않았습니다. 그들은 블록을 제자리에 고정하기 위해 새로운 종류의 비계(scaffolding)를 구축했습니다. 그들의 주요 발견은, 보통 17개의 날카로운 스파이크를 가진 퀸틱 곡면의 가계(family)를 성공적으로 구성했다는 것입니다. 더욱 인상적인 것은, 설계를 미세하게 조정함으로써 18개의 스파이크를 부서지지 않고 견뎌내는 구체적인 사례들을 찾아냈다는 점입니다. 그들은 이를 컴퓨터 시뮬레이션에서 단순히 찾아낸 것이 아니라, 영리한 디지털 탐정 작업과 고정밀 수학을 결합하여 단순한 숫자의 세계에서 이 사례를 실제의 복잡한 수학적 세계로 끌어올려, 그것이 존재함을 확실하게 증명해 냈습니다.

설계도: 숨겨진 패턴 찾기

그들이 어떻게 해냈는지 이해하려면, 퀸틱 곡면을 거대한 보이지 않는 퍼즐이라고 생각하십시오. 수학자들은 만약 많은 스파이크(커스프)를 가지고 있다면, 그것들이 무작위로 흩어져 있는 것이 아니라 특정한 비밀 코드를 따른다는 것을 알고 있었습니다. 이 코드는 특정 조각들이 완벽하게 정렬되어야 하는 퀼트의 패턴과 같습니다.

그들은 '바스-람스 분해(Barth–Rams decomposition)'라고 알려진 기법으로 시작했습니다. 당신이 복잡한 모양을 가지고 있고, 이를 두 개의 단순한 모양(예: 두 개의 정육면체)을 결합하고 세 번째 것을 빼는 방식으로 설명할 수 있다고 상상해 보십시오. 이 경우, '스파이크'는 이 모양들이 매우 특정한 방식으로 맞닿는 곳에서 나타납니다. 보통 이 기법은 12개의 스파이크를 가진 곡면을 만들어냅니다. 저자들은 만약 두 개의 이러한 패턴이 동시에 일어나도록 강제할 수 있다면, 더 많은 스파이크를 얻을 수 있을지도 모른다는 사실을 깨달았습니다.

그들은 곡면이 두 가지 서로 다른 '바스-람스' 규칙을 동시에 만족해야 하는 시스템을 설정했습니다. 이렇게 했을 때, 두 세트의 12개 스파이크는 7개의 지점에서 겹쳤습니다. 24개의 스파이크를 갖는 대신, 그들은 17개의 고유한 스파이크를 갖게 되었습니다 (12 + 12 - 7). 이는 17개의 스파이크를 기본적으로 갖게 되는 거대한 6차원 곡면 가계를 만들어냈습니다. 이는 마치 17-커스프 조각품을 자동으로 생산하는 기계를 만드는 것과 같았습니다.

돌파구: 18번째 스파이크를 깨뜨리다

17-커스프 곡면을 만드는 기계를 가진 것도 훌륭했지만, 목표는 18이었습니다. 저자들은 스파이크 하나를 더 추가하는 데 단 두 개의 추가 조건(예를 들어 특정 나사 두 개를 조이는 것과 같은)만 필요하다는 것을 알고 있었습니다. 그들은 '유한체(finite fields)'의 관점에서 문제를 바라봄으로써 18-커스프 곡면을 찾으려 노력했습니다.

유한체를 숫자가 되돌아오는 비디오 게임 세계라고 생각하십시오. 숫자를 1, 2, 3, ... 하고 영원히 세는 대신, 1, 2, 3, 4, 5, 1, 2... 와 같이 다시 세는 식입니다. 이러한 작은 '되돌아오는' 세계에서는 수학 계산이 훨씬 빠릅니다. 팀은 이 작은 디지털 세계들을 탐색하기 위해 컴퓨터 프로그램을 작성했습니다. 그들은 곡면이 정확히 18개의 스파이크를 가진 몇 가지 사례를 찾아냈습니다.

하지만 '되돌아오는' 비디오 게임 속에서 곡면을 찾는 것은 실제의 무한한 수학적 세계에서 존재함을 증명하는 것과는 다릅니다. 이 간극을 메우기 위해, 그들은 '뉴턴-헨젤 리프팅(Newton–Hensel lifting)'이라는 기술을 사용했습니다. 당신이 얼굴의 흐릿한 사진을 가지고 있다고 상상해 보십시오. 당신은 그것이 사람이라는 것을 알지만, 세부 사항은 흐릿합니다. 리프팅은 그 흐릿한 사진을 가져와서 아주 강력한 줌 렌즈를 사용하여 픽셀 단위로 얼굴을 선명하게 만드는 것과 같습니다. 그들은 유한체에서의 18-커스프 사례를 시작으로, 이 방법을 사용하여 극도로 정밀하게 '줌인'하여, 숫자를 정교하게 다듬어 곡면을 정확하게 기술할 수 있을 때까지 정제했습니다.

최종 증명: 순수 수학의 곡면

일단 정확한 숫자를 얻은 후, 그들은 (숫자 속에서 숨겨진 패턴을 찾아내는 유형의 수학적 탐정 작업인) LLL 도구를 사용하여 곡면의 정확한 대수적 레시피를 알아냈습니다. 그들은 이 곡면이 차수가 22인 '수체(number field)'의 숫자를 사용하여 설명될 수 있다는 것을 발견했습니다. 이는 그 안에 포함된 숫자들이 복잡하지만, 잘 정의되어 있고 실재한다는 것을 의미하는 세련된 표현입니다.

마지막으로, 그들은 현미경 아래에 곡면을 놓았습니다. 그들은 모든 지점을 일일이 확인하여 정확히 18개의 보통 커스프(ordinary cusps)가 있는지, 그리고 그 외에 다른 것은 없는지 확인했습니다—추가적인 돌출부도, 이상한 균열도, 숨겨진 놀라움도 없었습니다. 그들은 곡면이 안정적이며 정확히 예측한 대로임을 확인했습니다.

따라서, 20개의 커스프를 가진 퀸틱을 찾는 궁극적인 꿈은 미래를 위한 '아마도'로 남아 있지만, 이 논문은 18이 확실히 가능하다는 것을 증명합니다. 그들은 단지 그것이 사실일 수도 있다고 제안한 것이 아니라, 곡면을 실제로 구축하고, 디지털 근사치에서 정확한 수학적 대상으로 들어 올렸으며, 그것이 어떻게 생겼는지 우리에게 보여주었습니다. 이는 수학적 조각품이 얼마나 많은 날카로운 점을 견딜 수 있는지 그 한계를 이해하는 데 있어 견고한 진전입니다.