Differential varieties of upper triangular matrices

거대하고 보이지 않는 도서관을 상상해 보십시오. 그곳의 모든 책은 숫자와 도형이 어떻게 섞이고, 곱해지고, 재배열될 수 있는지에 대한 규칙들의 집합입니다. 이 도서관에서 수학자들은 '결합 대수(associative algebras)'라고 불리는 특별한 규칙책들을 연구합니다. 이는 연산의 순서가 중요하지만 규칙은 일관되게 유지되는 게임의 특별한 규칙책과 같습니다. 수십 년 동안 과학자들은 이 규칙들이 준수하는 '항등식(identities)'을 관찰함으로써 이 규칙책들을 분류하려고 노력해 왔습니다. 항등식이란 게임 속의 보편적인 법칙과 같습니다. 즉, 어떤 숫자를 대입하더라도 항상 0이라는 결과를 만들어내는 패턴입니다. 예를 들어, 어떤 게임에서는 두 조각을 바꾸는 것이 항상 서로를 상쇄하여 없애버릴 수도 있습니다.

최 최근, 수학자들은 이 게임에 하나의 반전을 더했습니다. 만약 규칙책 자체에 게임이 진행되는 동안 규칙을 약간씩 바꿀 수 있는 '코치'나 '감독'이 있다면 어떨까요? 수학의 언어로, 이 감독은 '유도(derivations)'로서 작용하는 '리 대수(Lie algebra)'입니다. 정적인 규칙 대신, 이제 게임에는 규칙이 특정 구조적인 방식으로 변화할 수 있는 역동적인 움직임이 추가되었습니다. 큰 질문은 이것입니다. 이 새로운 움직임의 층위가 게임의 복잡성을 어떻게 변화시키는가? 이것이 규칙책을 무한히 더 복잡하게 만드는가, 아니면 단지 몇 가지 새로운 기술을 추가할 뿐인가? 이 논문은 '상삼각 행렬(upper triangular matrices)'이라 불리는 유명하고 특정한 규칙책 세트에 집중하며, 이 피라미드 형태의 숫자들(대각선 아래의 모든 요소가 0인 피라미드)에 감독이 코칭을 한다면 어떤 새로운 불변의 법칙들이 나타날 것인지 묻습니다.

저자인 다니엘라 라 마티나(Daniela La Mattina)와 카를라 리조(Carla Rizzo)는 거대한 퍼즐을 다룹니다. 바로 이 역동적인 규칙책들의 '최소(minimal)' 버전을 분류하는 것입니다. 그들의 세계에서 '최소 다양체(minimal variety)'란 특정 수준의 복잡성(지수라고 불리는 것으로 측정됨)을 유지하면서도 가장 단순한 형태의 게임과 같습니다. 그들은 복잡성이 3인 경우, 즉 3x3 피라미드 숫자의 경우에 집중합니다.

여기서 그들이 발견한 마법 같은 기술이 있습니다. 그들은 만약 당신이 '최소하고 복잡한 게임'을 찾고 있다면, 복잡하고 지저분한 감독을 걱정할 필요가 없다는 것을 증명했습니다. 그들은 만약 감독이 최소 다양체를 만들려고 한다면, 감독의 지시 사항 중 '지저한(messy)' 부분들은 분류에 실제로 영향을 미치지 않는다는 것을 보여주었습니다. 당신은 그 부분을 제거하고, 감독을 오직 대각선 방향의 움직임(주 대각선을 따라 숫자를 이동시키는 것과 같은)만을 사용하는 훨씬 단순한 '반단순(semisimple)' 버전으로 대체할 수 있습니다. 마치 가장 효율적이고 복형적인 기계를 만들기 위해서는 흔들리거나 미끄러지는 톱니바퀴가 아니라, 완벽한 원을 그리며 회전하는 톱니바퀴만 있으면 된다는 것을 증명한 것과 같습니다. 이러한 단순화는 무한한 가능성을 관리 가능한 유한한 목록으로 바꾸어 주기 때문에 매우 중요합니다.

이 단순화 작업을 손에 쥔 후, 저자들은 탐정처럼 행동하여 단순한 감독이 3x3 피라미드를 어떻게 코칭할 수 있는지 모든 가능성을 조사했습니다. 그들은 정확히 다섯 가지의 구별되는 '가족(families)' 유형의 코칭 스타일을 찾아냈습니다. 각 다섯 가지 스타일마다, 그들은 피라미드가 반드시 준수해야 하는 새로운 불변의 법칙들(TL-ideal들)의 완전한 목록을 작성했습니다. 그들은 단순히 법칙을 나열하는 데 그치지 않고, 판 위에 조각을 더할 때 이 게임의 복잡성이 정확히 얼마나 빠르게 증가하는지도 계산했습니다. 그들은 이 다섯 가지 스타일 모두에 대해 복잡성이 특정한 예측 가능한 속도로 증가한다는 것을 발견했습니다.

아마도 가장 중요한 점은, 이 다섯 가족이 '모든 더 큰 피라미드'를 위한 빌딩 블록이라는 것을 그들이 보여주었다는 사실입니다. 만약 당신이 어떤 크기의 피라미드(4x4, 5x5 또는 그 이상)를 가져오더라도 감독이 코칭을 한다면, 그 결과로 나타나는 게임은 항상 내부적으로 이 다섯 가지 3x3 버전 중 하나를 포함하게 됩니다. 이는 마치 모든 복잡한 마천루가 아무리 높더라도, 결국 다섯 가지 특정 유형의 기초 벽돌 중 하나를 사용하여 지어진다는 것을 발견한 것과 같습니다.

이 논문은 이러한 발견을 단순히 제안하는 것이 아니라, 엄격한 수학적 논증을 통해 증명합니다. 그들은 최소 다양체의 경우, 어떤 작용(action)이든 그것의 반단순 부분으로 대체될 수 있음을 명시적으로 보여줌으로써, 이 특정 분류 문제에서 지저운 비대각(non-diagonal) 감독을 고려할 필요가 없음을 입증했습니다. 또한, 그들은 감독이 존재하든 존재하지 않든 '지수(exponent, 복잡성의 척도)'는 동일하게 유지된다는 리조(Rizzo) [19]의 이전 결과를 활용하여, 이러한 역동적인 움직임이 게임의 근본적인 성장률을 변화시키지 않는다는 것을 확인했습니다. 이 다섯 가지 특정 사례를 지도화하고 이것들이 최소 다양성을 위해 존재하는 유일한 것임을 증명함으로써, 저자들은 이 수학적 도서관의 이 특정 구석을 이해하기 위한 최초의 완전한 청사진을 제공했습니다.