Hilbert's 16th problem for arrangements of curves on a surface

큰 그림: 위상수학적 퍼즐

당신이 거대하고 평평하며 둥근 캔버스(수학자들은 이를 실수 사영 평면, 즉 $\mathbb{P}^2(\mathbb{R})$라고 부릅니다) 위에서 작업하는 예술가라고 상상해 보세요. 당신에게는 다음과 같은 규칙이 있습니다:

1. 당신은 캔버스 위에 세 개의 직선을 그립니다.
2. 그런 다음, 그 선들을 가로지르되 같은 지점에서 두 번 겹치지 않고, "꺾임"이나 날카로운 점이 없는 곡선 형태(원, 숫자 8 모양, 또는 더 복형태의 덩어리 같은 것)를 그립니다.

이 논문이 던지는 질문은 이것입니다: 이 선들과 곡선형 모양들이 서로 어떤 방식으로 배치될 수 있는가?

수학에서 "다르다"는 것은, 자르거나 붙이지 않고는 캔버스를 늘리거나, 찌그러뜨리거나, 비틀어서 한 배치를 다른 배치로 바꿀 수 없음을 의미합니다. 이것은 100년 전의 유명한 퍼즐인 힐베르트의 16번째 문제의 현대적 버전입니다. 원래 이 문제는 곡선이 단 하나 있을 때 이 모양들을 어떻게 분류할 것인가를 물었습니다. 이 논문은 이 퍼즐을 확장하여 곡선의 전체 가족(직선들 + 하나의 큰 곡선)을 동시에 살펴보는 것을 목표로 합니다.

해결책: 모양을 레고 조립 설명서로 바꾸기

저자의 주요 돌파구는 이 복잡하고 구불구불한 배치들을 단순하고 견고한 코드로 묘사하는 새로운 방법입니다. 이것은 마치 복잡한 3D 조각품을 일련의 레고 조립 설명서로 바꾸는 것과 같습니다.

곡선을 직접 그리려고 노력하는 대신, 저자는 세 개의 직선에 의해 만들어진 격자(지도와 같은 것)를 사용하여 캔버스를 분할합니다. 그런 다음, 세 가지 특정 데이터로 곡선을 설명하는데, 이를 **"조합론적 곡선(Combinatorial Curve)"**이라고 부릅니다:

1. 개수 ($n$): 곡선이 격자의 각 선분과 몇 번 교차하는가? (예: "왼쪽 선은 2번 교차하고, 오른쪽 선은 0번 교차한다...").
2. 스텝 ($W$): 캔버스의 특정 구역 가장자리를 따라 걸을 때, 곡선이 들어오고 나가는가? 저자는 디크 단어(Dyck word)(여는 괄호 ( 와 닫는 괄호 ) 의 시퀀스)라는 특별한 코드를 사용하여 이를 기록합니다.
   • 비유: 방 안을 걷는다고 상상해 보세요. 곡선의 새로운 부분이 방 안으로 들어올 때마다 ( 를 적고, 나갈 때마다 ) 를 적습니다. 이는 곡선이 불가능한 방식으로 갇히거나 스스로 교차하지 않도록 보장합니다.
3. 중첩 지도 ($T$): 때때로 곡선은 선들 사이의 빈 공간에 떠 있는 작은 루프(타원)를 만듭니다. 저자는 이를 매핑하기 위해 **뿌리가 있는 트리(Rooted Tree)**를 사용합니다.
   • 비유: 가계도를 생각해보세요. "뿌리"는 커다란 빈 공간입니다. 만약 그 공간 안에 작은 루프가 있다면 그것은 '자식'입니다. 만약 그 루프 안에 또 다른 루프가 있다면 그것은 '손주'입니다. 이 트리는 루프들이 서로 어떻게 중첩되어 있는지 정확히 알려줍니다.

황금률 (정리 A): 이 논문은 만약 당신에게 이 코드($n, W, T$)가 있다면, 당신은 그 배치의 정확한 모양을 알 수 있다는 것을 증명합니다. 어떤 두 가지 다른 모양도 동일한 코드를 공유하지 않으며, 누락되는 모양도 없습니다.

컴퓨터 실험실: "NWT" 라이브러리

가능한 코드가 수천 개나 되기 때문에, 저자는 단순히 종이 위에서만 작업하지 않았습니다. 그는 NWT라고 불리는 소프트웨어 라이브러리(Julia 프로그래밍 언어로 작성됨)를 구축했습니다.

• 이 라이브러리는 거대한 디지털 서류함과 같습니다.
• 이것은 수백만 개의 "레고 조립 설명서"를 생성할 수 있습니다.
• 또한 특정 명령 세트가 "합법적인지"(수학적으로 가능한지) 아니면 "불법적인지"(그릴 수 없는지) 확인할 수 있습니다.
• 심지어 코드를 바탕으로 곡선의 그림을 그려낼 수도 있습니다.

탐정 작업: 진짜를 찾아내기

단순히 코드가 존재한다고 해서, 그 코드가 실제로 특정 방정식에 의해 정의되는 대수 곡선(algebraic curve)이 될 수 있다는 뜻은 아닙니다. 저자는 모든 가능한 코드를 필터링하여 "실현 가능한(realizable)" 코드를 찾아내기 위해 두 가지 주요 탐정 도구를 사용했습니다.

1. "베주(Bézout)" 법칙: 이것은 수학적 보존 법칙입니다. 선과 특정 복잡도를 가진 곡선이 있다면, 그들은 서로 교차할 수 있는 최대 횟수가 정해져 있다는 법칙입니다. 만약 코드가 10번 교차한다고 말하는데 수학적으로 최대 횟수가 4번이라면, 그 코드는 가짜입니다. 저자는 이를 사용하여 수천 개의 불가능한 코드를 걸러냈습니다.
2. 비로(Viro)의 패치워킹(Patchworking): 이것은 하나의 구성 기법입니다. 복잡한 조각품을 작고 단순한 조각들을 붙여서 만드는 것을 상상해 보세요. 저자는 이 방법을 사용하여 많은 코드가 실제로 "만들어질 수 있음"을 증명했습니다.

결과: 무엇을 찾아냈는가?

저자는 이 시스템을 두 가지 특정 퍼즐에 적용했습니다:

1. 세 개의 직선 + 3차 곡선 (Degree 3):

   • 결과: 그는 이들이 배치될 수 있는 고유한 방식이 정확히 119가지임을 찾아냈습니다.
   • 보너스: 그는 이전의 구성 방식(비로의 패치워킹)에서 "누락되었던" 3가지 특정 배치를 발견했으며, 실제 수학 방정식을 찾아냄으로써 그것들이 여전히 존재함을 증명했습니다.

2. 세 개의 직선 + 4차 곡선 (Degree 4):

   • 이것은 훨씬 더 복잡합니다.
   • 결과: 그는 곡선이 정확히 하나의 루프(타원)를 가지는 경우를 완전히 분류했습니다. 그 수는 619가지입니다.
   • "떠 있는 루프가 없는" 경우: 또한 곡선이 ("떠 있는" 루프, 즉 선에 닿지 않는 루프가 없는 경우)가 없는 경우도 살펴보았습니다. 그는 이 가능성을 1,834개에서 1,883개 사이의 범위로 좁혔습니다.
   • 미지의 영역: 일반적인 경우(모든 가능한 4차 곡선)에 대해, 그는 목록 작성을 끝내지 못했습니다. 그는 답이 9,426개에서 17,624개 사이 어딘가에 있다는 것을 알고 있지만, 아직 모든 것을 확인하기에는 목록이 너무 방대합니다.

요약

요약하자면, 이 논문은 선과 곡선이 서로 어떻게 뒤엉키는지 알아내는 매우 어려운 기하학적 문제를, 모양을 컴퓨터가 읽을 수 있는 코드로 변환함으로써 해결합니다.

• 문제: 3개의 선과 1개의 곡선을 배치하는 방법은 몇 가지인가?
• 도구: 숫자, 괄호, 그리고 트리로 이루어진 코드.
• 성과: 더 단순한 모양(3차 곡선)에 대한 완전한 목록과, 맞춤 제작된 컴퓨터 프로그램을 통해 검증된 더 복잡한 모양(4차 곡선)에 대한 거대하고 부분적인 목록을 도출했습니다.

이 논문은 의료 문제를 해결하거나 다리를 건설한다고 주장하는 것이 아닙니다. 이것은 가능한 곡선 모양들의 "동물원"을 정리하고, 어떤 것이 존재하고 어떤 것이 불가능한지를 정확히 증명하는 순수 수학적 성취입니다.