Degree of irrationality of a product of two elliptic curves

대수기하학이라는 수학의 광활한 영역에는 방정식으로 정의된 도형을 연구하는 분야가 있습니다. 이러한 도형은 단순한 선이나 원일 수도 있지만, 추상적인 공간에 존재하는 복잡하고 다차원적인 곡면일 수도 있습니다. 수학자들이 이 도형들에 대해 던지는 가장 근본적인 질문 중 하나는 이들이 얼마나 "복잡한가" 하는 것입니다. 어떤 도형이 단순하거나 유리(rational)하다는 것은, 찢거나 접지 않고도 평면으로 매끄럽게 변형될 수 있음을 의미합니다. 그러나 많은 도형은 이러한 단순화를 거부합니다. 도형이 단순함으로부터 얼마나 멀어져 있는지를 측정하기 위해, 수학자들은 '무리도(degree of irrationality)'라고 불리는 숫자를 사용합니다. 이 숫자를 복잡성을 나타내는 점수라고 생각하십시오. 점수가 낮을수록 그 도형은 평면에 더 가깝다는 것을 의미하며, 점수가 높을수록 더 뒤틀려 있고 평평하게 만들기 어렵다는 것을 의미합니다. 오랫동안 특정하고 정교한 도형들에 대해 이 점수를 계산하는 것은 매우 힘든 과제였으며, 타원 곡선(elliptic curve)의 곱이라고 알려진 특정한 유형의 도형에 대해서는 그 답이 미스터리로 남아 있었습니다.

타원 곡선은 수론과 암호학에서 자주 등장하는 특정한 종류의 매끄러운 루프 형태의 도형입니다. 두 개의 이러한 곡선을 가져와 결합하면, 새로운 4차원 객체가 생성됩니다. 수년 동안 전문가들은 이 결합된 객체의 복잡성에 대해 궁금해했습니다. 일부는 만약 두 곡선이 서로 충분히 다르다면, 결과물인 도형이 매우 복들이 복잡해져서 아마도 4의 점수를 필요로 할 것이라고 추측했습니다. 이 아이디어는 서로 다른 두 개의 복잡한 것을 섞으면 더 이해하기 어려운 무언가가 만들어질 것이라는 직관에 기초했습니다. 과연 이 두 곡선이 결합했을 때 이 더 높은 수준의 복잡성에 도달할 만큼 서로 다른 쌍이 존재할 수 있을까요? 이 질문은 공중에 떠 있는 채로 남아 있었습니다.

이용남이라는 수학자가 이제 이 질문에 확정적인 답을 내놓았습니다. 최근 논문에서 이 교수는 당신이 어떤 두 타원 곡선을 선택하더라도, 설령 그것들이 완전히 다르더라도, 그 결합은 항상 정확히 3의 복잡도 점수를 갖는다고 증명했습니다. 이 발견은 점수가 4가 될 수 있다는 기대를 뒤엎는 것입니다. 이 결과는 추측이나 시뮬레이션이 아닙니다. 이는 복소수 체계 내의 모든 가능한 곡선 쌍에 대해 성립하는 엄밀한 수학적 증명입니다. 이 연구는 이러한 형태들의 세계에 숨겨진 균일성이 존재함을 시사합니다: 두 타원 곡선을 결합하는 복잡도는 고정되어 있으며 예측 가능하다는 것입니다. 즉, 3이라는 한계를 넘지 않습니다.

이 결론에 도달하기 위해, 이 교수는 먼저 점수 3이 실제로 가능하다는 것을 보여주기 위해 특정한 사례를 구축해야 했습니다. 그는 표준적인 수학적 연산을 통해 서로 변형될 수 없는, 근본적으로 다르다고 알려진 두 개의 서로 다른 곡선을 다루었습니다. 그는 이 두 곡선이 어떻게 상호작용하는지를 면밀히 분석함으로써, 결합된 형태를 평면으로 매핑하는 방법을 입증했습니다. 이 매핑은 완벽하지 않았습니다. 약간의 접힘과 겹침이 포함되었지만, 점수 3의 정도로 형태를 평평하게 만들기에 충분히 효율적이었습니다. 이 사례는 결정적이었습니다. 왜냐하면 점수가 3보다 높을 수 없음을 입증했기 때문입니다. 이는 복잡성이 관리 가능한 수준임을 보여주는 구체적인 증거 역할을 했습니다.

증명의 두 번째 절반은 어쩌면 훨씬 더 중요했습니다. 바로 점수가 3보다 낮아질 수 없음을 보여주는 것이었습니다. 이 교수는 점수가 1이나 2가 될 가능성을 배제해야 했습니다. 점수 1은 도형이 본질적으로 평면임을 의미하는데, 이는 이 유형의 객체에게는 불가능한 일입니다. 점수 2는 도형을 반으로 접어 평평하게 만들 수 있게 해주는 특정한 종류의 대칭성을 암시합니다. 이 교수는 두 타원 곡선의 곱에 대해 그러한 대칭성이 존재할 수 없음을 보여주었습니다. 그는 만약 그러한 접기가 가능하다면, 그것이 두 원래의 곡선을 그들의 근본적인 본질과 모순되는 방식으로 동일하게 만들 것이라고 주장했습니다. 점수 2가 불가능함을 증명함으로써, 그는 더 낮은 복잡성으로 가는 문을 닫았습니다.

하한선이 3으로 설정되고 그의 사례를 통해 상한선이 입증됨으로써, 답은 확정되었습니다. 임의의 두 타원 곡선 곱의 무리도는 정확히 3입니다. 이 결과는 다른 연구자들에 의해 제기되었던 특정 질문을 해결하며, 이 도형들의 복잡도가 곡선들이 얼마나 다른지에 따라 변동하지 않음을 확인해 줍니다. 증명은 모든 가능한 타원 곡선을 나타내기 위해 조정될 수 있는 곡선 군(family of curves)을 이용한 영리한 구성을 바탕으로 합니다. 특정 사례에 대해 방법이 작동함을 보여준 뒤, 연속적인 변화를 통해 그것이 모든 경우에 작동함을 증명함으로써, 이 교수는 완전한 그림을 제공했습니다.

이 연구의 의의는 명확성과 오랫동안 지속된 불확실성을 해결한 능력에 있습니다. 이는 결합된 형태들의 복잡성이 상수, 즉 기하학 자체의 고정된 속성임을 말해줍니다. 곡선들이 유사하든 혹은 매우 다르든 상관없습니다. 결과물은 평평하게 만드는 데 있어 항상 동일한 수준의 난이도를 공유합니다. 이러한 확실성은 복잡한 형태를 연구하는 과정에서 흔치 않은 일입니다. 결과가 종종 특정한 취약한 조건에 따라 달라지기 때문입니다. 이 교수의 연구는 이 특정 수학적 영역에서, 이러한 객체들의 행동을 지배하는 견고한 규칙이 존재함을 보여줍니다. 이 발견은 서로 다른 두 개의 루프를 결합하더라도 그 결과가 결코 특정하고 예측 가능한 정도보다 더 복잡해지지 않는다는 것을 증명하며, 서로 다른 기하학적 형태들이 어떻게 관계를 맺는지 이해하는 퍼즐에 단단한 조각을 더해줍니다.