Connections on Associative Varieties

지도와 나침반: 울퉁불퉁한 우주를 항해하기

당신이 도시의 지도를 그리려 한다고 상상해 보십시오. 그런데 거리들이 단순히 직선으로 뻗어 있는 것이 아니라, 구불구불하게 휘어져 있고, 때로는 당신이 어느 블록에 서 있느냐에 따라 기하학적 규칙이 변합니다. 수학의 세계에서 이것은 '매니폴드(manifold, 다양체)'를 연구하는 도전 과제입니다. 매니폴드는 가까이서 보면 종이 한 장처럼 평평하고 단순해 보이지만(예: 종이), 멀리서 보면 구체의 표면처럼 곡선적이고 복잡할 수 있는 모양을 말합니다. 수 세기 동안 수학자들은 이러한 모양들을 탐색하기 위해 매끄럽고 예측 가능한 규칙을 사용하여, 물체가 시공간 속에서 어떻게 움직이는지 이해하기 위해 '직선'이나 '속도' 같은 것들을 정의해 왔습니다.

하지만 일부 과학자들은 더 거친 질문을 던지기 시작했습니다. 만약 우주가 완벽하게 매끄럽지 않다면 어떨까요? 만약 그 가장 깊은 수준에서 기하학적 규칙이 '교환 법칙'은 성립하지만 '결합 법칙'은 성립하는 형태라면 어떨까요? 일상적인 언어로 '교환 법칙(commutative)'은 순서가 중요하지 않음을 의미합니다(사과 2개와 오렌지 3개를 더하는 것은 오렌지 3개와 사과 2개를 더하는 것과 같습니다). 반면 '비교환(non-commutative)'은 순서가 중요하다는 것을 의미합니다(양말을 신고 신발을 신는 것과 신발을 신고 양말을 신는 것은 다릅니다). 이 논문은 연구자들이 그림을 그리는 대신 복잡한 대수 방정식을 사용하여 공간의 모델을 구축하는 학문인 **대수 기하학(algebraic geometry)**의 영역에 속해 있습니다. 여기서 핵심 아이디어는, 만약 우리가 우주를 '비교환 결합 다양체(non-commutative associative variety)'로 취급할 수 있다면, 근본적으로 무질서하고 순서에 의존적인 우주에서 '거리'와 '시간'이 실제로 무엇을 의미하는지 정의할 수 있을지도 모른다는 것입니다. 이를 위해 우리에게는 새로운 종류의 나침반이 필요합니다. 바로 **접속(connection)**이라 불리는 수학적 도구인데, 이는 지면이 변동하는 중에도 우리가 어떻게 직선으로 움직일 수 있는지를 알려줍니다.

논문의 여정: 이상한 우주를 위한 나침반 만들기

이 논문에서 아르비드 시켈란드(Arvid Siqveland)는 우리가 매끄럽고 친숙한 모양을 항해할 때 사용하는 도구들을 일반화하여, 이 새로운 '결합 다양체'에 적용하는 대담한 발걸음을 내딛습니다. 매끄러운 매니폴드를 공을 영원히 직선으로 굴릴 수 있는 잘 닦인 대리석 바닥이라고 생각해 보십시오. 결합 다양체는 서로 맞물려 있으며 약간씩 움직이는 퍼즐 조각들로 만들어진 바닥과 같습니다. 이곳에서는 어떤 조각 위에 있느냐에 따라 움직임의 규칙이 변합니다. 이 논문의 주요 목표는 이 울퉁불퉁하고 변화무쌍한 바닥 위에서도 우리가 '직선'(측지선, geodesic)이 무엇인지 정의할 수 있고, 그러한 경로가 실제로 존재함을 증명하는 것입니다.

저자는 먼저 익숙한 매끄러운 모양의 세계를 이 새로운 낯선 세계인 결합 다양체 속에 매립(embed)하는 방법을 보여줍니다. 이는 표준 도시 지도를 가져와서, 당신이 걸어갈 때마다 모양이 변하는 홀로그램 투영 위에 겹쳐 놓는 것과 같습니다. 이 토대가 마련되면, 논문은 **접속(connection)**이라는 개념을 도입합니다. 간단히 말해, 접속은 여행자에게 지면이 기울어질 때 어떻게 동일한 방향을 유지하며 계속 나아갈 수 있는지 알려주는 규칙 책입니다. 매끄러운 표면 위에서 당신이 북쪽으로 걷는다면, 당신은 계속 북쪽으로 걷게 됩니다. 하지만 변화하는 결합 다양체 위에서는 '북쪽'의 의미가 매 걸음마다 바뀔 수 있습니다. 접속은 이러한 변화를 교정하여 당신의 진정한 방향을 계산할 수 있게 해주는 수학적 공식입니다.

시켈란드는 이 접속을 사용하여 **측지선(geodesics)**을 정의합니다. 현실 세계에서 측지선은 두 점 사이의 최단 경로를 의미하며, 예를 들어 지구 위를 지나는 대권 항로를 따라 비행하는 비행기와 같습니다. 이 논문에서 측지선은 '가속도'가 0인 경로로 정의됩니다. 자동차를 운전한다고 상상해 보십시오. 가속 페달이나 브레이크를 밟지 않고, 핸들도 돌리지 않는다면, 당신은 직선으로 이동하고 있는 것입니다. 이 논문은 결합 다양체 내의 임의의 시작점과 임의의 시작 방향에 대해, 물체가 따를 수 있는 단 하나의 그러한 '직선' 경로가 존재함을 증명합니다.

논문은 단순히 이러한 경로가 존재한다고 추측하는 데 그치지 않고, 수학적으로 이를 구성해 냅니다. 곡선을 따라 미분(변화를 측정)하는 방법을 정의함으로써, 저자는 물체가 측지선을 따라 이동할 때 그 '속도'가 접속에 대해 일정하게 유지됨을 보여줍니다. 이는 매우 중요한 단계인데, 저자가 언급했듯이 이러한 경로를 정의할 수 있다면 결국 이를 통해 거리를 정의할 수 있기 때문입니다. 그리고 거리를 정의할 수 있다면, 시간을 정의할 수 있습니다. 이는 우주 자체가 결합 다양체일 수도 있다고 제안했던 O. A. 라우달(O. A. Laudal)의 거대한 비전과 연결됩니다. 만약 이 논문의 수학이 성립한다면, 이는 우리가 근본적으로 비교환적인 우주에서 두 지점 사이를 이동하는 데 걸리는 '시간'을 측정할 수 있는 도구를 갖게 되었음을 의미합니다.

이 논문은 이러한 복잡한 모양들이 항해하기에는 너무 혼란스럽다는 아이디어를 명시적으로 배제합니다. 저자는 우리가 운동을 정의하기 위해 매끄럽고 완벽한 표면이 필요하다는 관점에 반박합니다. 대신, 대수적 구조(구체적으로 자유 비교환 다항 대수와 그 접 다양체)를 사용함으로써 우리가 견고한 항해 시스템을 구축할 수 있음을 입증합니다. 여기서 수학적 틀 안에서의 확신은 높습니다. 저자는 정의, 보조정리, 정리를 제공하여 이러한 측지선의 존재를 논리적으로 증명합니다. 이것은 시뮬레이션이나 제안이 아닙니다. 결합 다양체의 규칙이 주어졌을 때, 측지선은 보장된 특징임을 보여주는 증명입니다.

그렇다면 이것이 호기심 많은 십 대에게 어떤 의미가 있을까요? 그것은 설령 우주가 사건의 순서가 중요한 거대하고 변화무쌍한 퍼즐이라 할지라도, 우리에게는 길을 찾을 수학적 열쇠가 있다는 것을 의미합니다. 우리는 비록 그 사이의 공간이 기묘할지라도 점 A에서 점 B까지 선을 그을 수 있습니다. 우리는 직선이 되고 싶어 하지 않는 세상 속에서도 '직선'을 정의할 수 있습니다. 그리고 그렇게 함으로써, 우리는 추상적인 대수를 우주의 지도로 바꾸며 시간과 공간의 근본적인 구조를 이해하는 데 한 걸음 더 다가갈 수 있을지도 모릅니다.