Tropical and algebraic elliptic plane curves with fixed j-invariant

당신이 다리를 건설하려는 건축가라고 상상해 보세요. 당신에게는 특정 설계도(다리의 모양)와 반드시 사용해야 하는 특정 개수의 기둥이 있습니다. 하지만 반전이 있습니다. 당신은 오직 곧은 나무 판자를 사용하여 그 다리를 만드는 방법이 몇 가지인지, 그리고 유연하고 구불구불한 덩굴을 사용하여 만드는 방법이 몇 가지인지 정확히 알고 싶습니다. 수학의 세계에서 이것은 "대수적(algebraic)" 곡선(경직되고 정밀한 설계도)과 "열대적(tropical)" 곡선(직선으로 이루어진 단순화되고 블록 형태인 버전)의 차이입니다.

수학자들은 오랫동안 "타원 곡선(elliptic curve)"이라고 불리는 특별한 유형의 곡선에 매료되어 왔습니다. 이것은 종이 위에 펼쳐진 고무줄처럼 루프(loop)라고 생각하면 됩니다. 이 루프의 핵심 특징은 "$j$-불변량($j$-invariant)"이라 불리는 것입니다. $j$-불변량은 곡선의 "지문" 또는 고유한 ID 카드와 같아서, 곡선을 페이지 위에서 회전시키거나 늘리더라도 그 특정한 모양과 크기를 알려줍니다. 수십 년 동안 수학자들은 평면 위의 특정 점들을 지나는 이 루프들이 몇 개나 존재하는지 세는 데 몰두해 왔습니다. 그들은 경직된 대수적 루프를 위한 공식은 찾아냈지만, 단순화된 열대적 버전을 셀 때는 숫자가 원래의 공식과 일치하지 않는다는 것을 발견했습니다. 그것은 마치 벽의 그림자를 보고 벽돌의 개수를 세려고 하는데, 그림자의 모양이 벽의 설계도와 일치하지 않는 것과 같았습니다.

Alessio Cela와 Sae Koyama가 작성한 이 논문은 이 불일치를 해결하기 위해 나섰습니다. 저자들은 기존의 "그림자" 계산법을 개선하여, "잘 배치된(well-spaced)" 조건이라는 새로운 규칙 세트를 사용합니다. 그들은 열대적 루프를 올바르게 셀 때—즉, 루프가 어떻게 배치되고 가중치가 부여되는지에 주의를 기울일 때—그 수가 원래의 대수적 루프의 수와 완벽하게 일ashes 일치함을 증명합니다. 그들은 단순히 추측한 것이 아니라, 임의의 점의 개수와 임의의 특정 루프 모양에 대해서도 작동하는 엄격하고 단계적인 증명을 제공했습니다. 이를 통해 그들은 열대적 세계가 이러한 특정 곡선들에 대해 대수적 세계의 완벽한 거울임을 확인했으며, 마침내 두 계산 방식 사이의 간극을 메웠습니다.

루프와 그림자의 이야기

모험 속으로 들어가 봅시다. 당신은 광활하고 평평한 들판(수학자들은 이를 "사영 평면"이라고 부릅니다)에 있다고 상상해 보세요. 당신은 바닥에 $3d - 1$개의 돌을 떨어뜨렸습니다. 당신의 목표는 이 모든 돌을 통과하는 루프(타원 곡선)를 그리는 것입니다. 하지만 제약 조건이 있습니다. 루프는 $j$-불변량이라고 알려진 특정한 "지문"을 가져야 합니다.

오랫동안 판다리판데(Pandharipande)라는 수학자는 복잡한 대수를 사용하여 이러한 루프가 몇 개 존재하는지 정확히 알아냈습니다. 그는 깔끔한 공식을 찾아냈습니다: 만약 돌의 개수를 가지고 약간의 수학적 계산을 한다면 답을 얻을 수 있습니다. 하지만 문제가 있었습니다. 다른 수학자들이 "열대 기하학(tropical geometry)"—매끄러운 곡선을 직선으로 이루어진 울퉁불퉁하고 블록 형태의 모양으로 바꾸는 방법—을 사용하여 동일한 퍼즐을 풀려고 했을 때, 그들은 다른 답을 얻었습니다. 그것은 마치 열대적 방법이 실제로 존재하지 않는 유령을 세고 있거나, 실제 존재하는 것을 놓치고 있는 것과 같았습니다.

문제는 "가중치(weights)"에 있었습니다. 열대 기하학에서 모든 루프가 동등한 것은 아닙니다. 어떤 루프는 다른 루로들보다 더 "중요"하며, 올바른 총합을 얻기 위해 그들을 여러 번 세어야 합니다. 이전의 시도들은 가중치를 일종의 추측처럼 사용했습니다. 그것들은 숫자가 보기 좋게 보이도록 만들 수는 있었지만, 그들이 나타내고자 했던 실제 물리적인 루프를 실제로 반영하지는 못했습니다. 저자들은 이 가중치가 범인이었다는 것을 깨달았습니다. 그것들은 퍼즐에 맞추기 위해 임의로 만들어진 "임시방편(ad hoc)"적인 것이었지, 실제 게임의 규칙으로부터 도출된 것이 아니었습니다.

"잘 배치된" 솔루션

이를 해결하기 위해 저자들은 "잘 배치된(well-spaced)" 곡선이라는 더 새롭고 엄격한 규칙 세트로 눈을 돌렸습니다. 캠프파이어 주변에 친구들을 배치한다고 상상해 보세요. 만약 한쪽은 너무 붐비고 다른 쪽은 비어 있다면, 불은 불균형하게 탑니다. "잘 배치된" 배열이란 모두가 균형을 이루어, 누구도 불에 너무 가깝지도 않고 너무 멀지도 않은 상태를 의미합니다. 수학의 세계에서 이 "잘 배치된" 조건은 열대적 루프가 실제 대수적 루프를 완벽하게 모방하도록 균형 있게 배치되도록 보장합니다.

이 논문은 이러한 균형 잡힌 루프를 세는 새로운 방법을 소개합니다. 저자들은 두 가지 극단적인 시나리오를 살펴보았습니다:

1. 거대한 루프: 루프가 아주 길게 늘어나서 마치 긴 실처럼 보이는 경우.
2. 작은 루프: 루프가 거의 아무것도 남지 않을 정도로 축소된 경우.

이 두 극단을 연구함으로써 저자들은 루프가 어떻게 행동하는지 관찰할 수 있었습니다. 그들은 "잘 배치된" 규칙을 적용하고 (루프의 핵심 기하학을 바탕으로 계산한) 올바른 가중치를 적용할 때, 열대적 계산이 갑자기 제자리를 찾아간다는 것을 발견했습니다. 그것은 판다리판데의 대수적 공식과 정확히 일치했습니다.

그들이 발견한 것 (그리고 발견하지 못한 것)

주요 발견은 강력한 "예"입니다. 이 논문은 고정된 $j$-불변량을 가진 $3d - 1$개의 점을 통과하는 열대적 타원 곡선의 수가 대수적 곡선의 수와 정확히 같음을 증명합니다. 공식은 다음과 같습니다:
$$E_{d,j} = \binom{d-1}{2} N_d$$
(여기서 $N_d$는 루프가 없는 더 단순한 곡선들에 대해 콘체비치(Kontsevich)가 계산한 유명한 숫자입니다).

하지만 이 논문은 자신이 무엇을 하지 않는지에 대해서도 매우 신중합니다. 저자들은 커버(Kerber)와 마르비그(Markwig)가 사용했던 기존의 방법을 명시적으로 배제합니다. 그들의 방법은 최종 숫자는 맞혔지만, 그곳에 도달하는 방식에는 결함이 있었다는 것을 저자들은 보여줍니다. 기존 방법은 실제 대수적 곡선에 대응하지 않는 가중치를 사용했습니다. 새로운 방법은 실제 곡선에 대응하는 가중치를 사용합니다. 또한 이 논문은 이 결과가 단순한 시뮬레이션이나 추측이 아니라 수학적 증명임을 명확히 합니다. 이는 일반적인 점들과 일반적인 $j$-불변량에 대해 성립합니다.

한 가지 작은 예외 사항이 있습니다: 논문은 두 가지 매우 특수한, 희귀한 $j$-불변량(0과 1728)의 경우, (눈송이가 여러 각도에서 똑같이 보이는 것처럼) 해당 루프들이 추가적인 대칭성을 가지기 때문에 약간의 조정(3 또는 2로 나누기)이 필요하다고 언급합니다. 하지만 거의 모든 다른 경우에는 공식이 완벽하게 작동합니다.

이것이 왜 중요한가

왜 호기심 많은 십 대가 평면 위의 루프를 세는 것에 관심을 가져야 할까요? 그것은 이 논문이 서로 다른 두 수학 언어를 연결하기 때문입니다. 이 논문은 단순화된 블록 형태의 세계인 열대 기하학이 단지 거친 스케치가 아니라, 복잡하고 매끄러운 대수 기하학의 정밀하고 신뢰할 수 있는 지도라는 것을 보여줍니다. 계산 규칙을 수정함으로써, 저자들은 수학자들에게 강력하고 새로운 도구를 제공했습니다. 이제 그들은 복잡한 모양에 관한 어려운 문제들을 더 단순한 블록 퍼즐로 변환하여 해결할 수 있으며, 그 결과가 실제 진실한 답이라는 확신을 가질 수 있습니다. 그것은 마치 레고 브릭으로 모델을 만들 때, 올바른 조립 설명서만 따른다면 실제 성에 들어가는 브릭의 개수를 정확히 예측할 수 있다는 것을 발견하는 것과 같습니다.