Murphy's law in non-abelian Hodge theory

당신이 우주의 숨겨진 형상에 관한 미스터리를 풀려는 탐정이라고 상상해 보십시오. 수학의 세계에는 '호지 추측(Hodge Conjecture)'이라는 유명한 규칙이 있습니다. 이것은 마치 보물 지도와 같습니다. 이 지도는 만약 당신이 어떤 복잡한 기하학적 형상 안에서 특정 종류의 숨겨진 패턴(코호몰로지 클래스)을 발견한다면, 그 패턴은 반드시 더 단순하고 만질 수 있는 블록들(대수적 사이클)을 쌓아 올려 만들어진 것이어야 한다고 말합니다. 이는 이 형상들의 가장 신비로운 부분들이 사실은 우리가 셀 수 있고 만들 수 있는 무언가로 이루어져 있다는 것을 말해주는 방식입니다.

수학자들은 이와 동일한 논리를 '비가환 호지 이론(non-abelian Hodge theory)'이라는 훨씬 더 기묘하고 뒤틀린 종류의 기하학에 적용하려고 노력해 왔습니다. 여기에서 '패턴'은 단순한 블록 대신, '로컬 시스템(local systems)'이라 불리는 것들처럼 형상을 통과하며 흐르는 보이지 않는 힘이나 진동과 같습니다. 핵심적인 질문은 이것입니다. 만약 우리가 호지 이론의 규칙을 따르는 이러한 보이지 않는 패턴을 발견한다면, 그것은 반드시 '기하학적인' 블록들로부터 만들어져야 할까요, 아니면 야생적이고 무작위적인 무언가가 될 수 있을까요? 보통 수학자들은 답이 "그렇다, 반드시 기하학적이어야 한다"이기를 바랍니다. 하지만 이 논문은 짓궂은 질문을 던집니다. 만약 규칙이 깨진다면 어떻게 될까? 만약 우리가 완벽한 겉모습을 갖추었지만 표준적인 정수 격자에 맞지 않는 '깨진' 조각들로 만들어진 패턴을 구축할 수 있다면 어떻게 될까? 바로 여기서 제목이 나옵니다. "머피의 법칙(Murphy's Law)", 즉 어떤 일이 잘못될 수 있다면, 그것은 반드시 잘못된다는 생각 말입니다. 저자들은 이 '깨진' 패턴들을 찾아내어 규칙이 얼마나 심하게 실패할 수 있는지 확인하고자 합니다.

---

논문: "깨진" 패턴을 찾아서

이 논문에서 그레고리오 발디(Gregorio Baldi)와 예욱 하 조슈아 람(Yeuk Hay Joshua Lam)은 비가환 호지 이론의 세계에서는 일이 가끔 잘못되는 것이 아니라, 아주 극적으로 잘못된다는 것을 증명하고자 했습니다. 그들은 '비정수적(non-integral)' 호지 구조의 변형에 대한 구체적인 사례들을 구축합니다. 이것이 무엇을 의미하는지 이해하기 위해, 당신이 벽을 쌓고 있다고 상상해 보십시오. '표준적인' 벽은 온전한 벽돌(정수)로 만들어집니다. '비정수적' 벽은 표준적인 격자에 깔끔하게 들어맞지 않는 이상한 분수 단위로 잘려 나간 벽돌들로 만들어집니다.

저자들은 당신이 이러한 이상한 분수 기반의 벽( $\mathbb{Q}$-VHS라고 불리는 것)을 만들 수 있음을 보여줍니다. 이 벽들은 멀리서 보면 여전히 완벽하고 매끄러운 구조처럼 보이지만, 정수가 아니기 때문에 근본적으로 '깨져' 있습니다. 그들은 특정 정도의 뒤틀림(속수 $g \ge 2$)을 가진 임의의 곡선에 대해, 이러한 깨진 비정수적 패턴을 지탱할 수 있는 무수히 많은 서로 다른 형상들이 존재함을 증명합니다. 이 패턴들은 '자리스키 조밀(Zariski dense)'이라는 특별한 성질을 가지고 있는데, 이는 데코레이션 용어로, 이 패턴들이 너무 많이 꿈틀거려서 자신이 속한 공간 전체를 채워버리며 어떤 작고 깔끔한 구석에도 머물기를 거부한다는 것을 의미합니다.

"머피의 법칙"의 발견

그들의 연구에서 가장 흥-미로운 부분은, 우리가 온전한 숫자의 벽돌에서 이 분수 기반의 벽돌로 전환할 때, 수학의 통상적인 안전망이 사라진다는 것을 보여주는 것입니다. 온전한 숫자의 세계에서는 (Cattani–Deligne–Kaplan 정리와 같은) 유명한 정리들이 있어, 이 패턴들이 특별하고 '마법 같은' 방식으로 작동하는 지점들의 집합인 '호지 로커스(Hodge locus)'가 깔끔한 대수적 곡선이나 곡면의 모임처럼 보이도록 보장합니다.

하지만 저자들은 자신들의 비정수적 사례들에 대해서는 이 깔끔함이 사라진다는 것을 증명합니다. 그들은 호지 로커스가 대수적 형상들의 합집합으로 기술될 수 없는, 무질서하고 혼란스러운 구름이 될 수 있음을 보여줍니다. 이는 마치 새 떼가 완벽한 V자 대형을 유지하며 날아갈 것이라고 예상했는데, 실제로는 기하학적 기술을 거부하며 하늘에 무작위로 흩어져 있는 것을 발견하는 것과 같습니다.

나아가, 그들은 '특별한' 점들(CM 점이라 불리는 것)이 어떤 형상 안에 많이 존재한다면, 그 형상 자체도 매우 특별하고 대칭적인 대상(Shimura variety)이어야 한다고 제안하는 '앙드레-오르트 추측(André–Oort conjecture)'이라는 유명한 아이디어를 다룹니다. 저자들은 이러한 특별한 점들의 조밀한 구름을 발견했음에도 불구하고, 그 형상이 Shimura variety가 아닌 사례들을 찾아냅니다. 이는 마치 방 안에 황금 동전이 가득 차 있지만, 그 방 자체는 그저 평범하고 지루한 창고인 것과 같습니다. 이는 비정수적 구조에 대해서는 "잘못될 수 있는 것은 반드시 잘못된다"는 것을 증명합니다.

방법론: 지도와 열쇠

이러한 사례들을 찾기 위해 저자들은 영리한 지도 제작 기술을 사용했습니다. 그들은 가능한 모든 형상의 광대한 풍경 중 특정 영역인 '테이히뮐러 성분(Teichmüller component)'을 살펴보았습니다. 그들은 카바야(Kabaya)와 마스킷(Maskit)이 개발한 방법을 사용했는데, 이는 간단한 숫자를 사용하여 형상의 '뒤틀림'과 '회전'을 측정할 수 있는 특수한 자를 가진 것과 같습니다.

그들은 특정 형상, 즉 네 개의 구멍이 뚫린 구(sphere with four holes)에 집중했습니다. 그들은 만약 숫자를 특정 소수(S-정수 점)를 포함하는 분수로 허용한다면, 조건에 부합하는 무수히 많은 서로 다른 형상들을 찾을 수 있음을 보여주었습니다. 심지어 그들은 Beauville의 고전적인 정리에 대한 더 단순한 새로운 증명을 제시했는데, 이는 만약 엄격하게 정수(integers)만을 고수한다면 그러한 형상은 단 4개뿐임을 보여줍니다. 하지만 정수를 허용하여 분수로 규칙을 완화하는 순간, 가능성의 수는 무한대로 폭발합니다.

그들이 배제한 것들

이 논문은 '힉스 표준 추측(Higgs standard conjecture)'(이 뒤틀린 형상들에 대한 호지 추측의 한 버전)이 이러한 비정수적 사례들에 대해서도 유효할 것이라는 낙관적인 희망을 명시적으로 배제합니다. 그들은 이러한 비정수적 패턴들이 '기하학적 기원(geometric origin)'을 갖지 않음을, 즉 엘립틱 커브의 가족과 같은 더 단순하고 표준적인 형상들의 가족으로부터 유래한 것으로 설명될 수 없음을 보여줍니다. 또한 그들은 'K-변형 호지 구조(K-variation of Hodge structure)'(수론적 체계 위에서 이러한 형상들을 정의하는 기술적인 방법)를 정의하는 두 가지 서로 다른 정의가 항상 일치하지는 않는다는 것을 입증하여, 추가적인 혼란과 "머피의 법칙" 시나리오를 만들어냅니다.

결론

저자들은 단순히 몇몇 이상한 사례를 찾은 것이 아닙니다. 그들은 비정수적 호지 구조에 대해서는 기존의 기하학과 수론의 법칙들이 완전히 무너진다는 것을 증명했습니다. 그들은 호지 로커스가 무질서해질 수 있고, 앙드레-오르트 추측이 실패할 수 있으며, 이러한 '깨진' 구조를 만드는 무수히 많은 방법이 있음을 보여주었습니다. 그들의 연구는 경고의 메시지를 담고 있습니다. 비가환 호지 이론의 세계에서, 만약 당신이 정수 대신 분수를 사용하여 지름길을 택하려 한다면, 우주는 그것을 그저 용인하는 것에 그치지 않고, 규칙이 더 이상 적용되지 않는 혼돈의 파티를 열 것이라는 사실을 말입니다.