궤도 폐포의 기본 불변량과 기하복잡도 이론의 새로운 연결

초록

이 논문은 행렬식, 영구식, 변수곱, 거듭제곱합, 단위 텐서, 행렬곱 텐서 등 기하복잡도 이론에서 중요한 다섯 가지 대상에 대해, 그 궤도와 궤도 폐포 사이를 연결하는 기본 SL‑불변량 함수를 정의하고 그 성질을 연구한다. 특히 일반형과 특수형에 대한 안정성, 안정자(period)와 차수 단원(E(w))을 분석하고, 알론‑타르시 추측과 같은 조합론적 문제와의 연관성을 제시한다.

상세 분석

논문은 먼저 GLₘ이 작용하는 동차 다항식 공간 Symᴰℂᵐ에서 다항식 w가 폴리안정(polystable)일 때, 그 SLₘ‑궤도 G·w가 폐쇄된다는 사실을 이용해 기본 불변량 Φ_w를 정의한다. Φ_w는 O(G·w)에서 가장 낮은 차수를 갖는 비자명한 SLₘ‑불변량이며, 그 차수 e(w)는 차수 단원 E(w)={d∈ℕ | O(G·w)^{SLₘ}_d≠0}의 최소 원소이다. 저자들은 E(w)가 b(w)ℤ을 생성함을 보이며, 여기서 b(w)=m·D·a(w)이며 a(w)는 안정자(det) 이미지의 유한 차수이다. b(w)와 e(w)의 관계를 통해 궤도 폐포의 경계가 Φ_w의 영점집합임을 보이지만, b(w)<e(w)인 경우 경계의 사라지는 이데알이 Φ_w만으로는 설명되지 않아 비정규성(non‑normality)이 발생함을 증명한다. 이는 GLₙ²·detₙ와 같은 고전적인 예에서 나타나는 주요 난관을 설명한다.

구체적인 대상에 대해 저자들은 다음과 같은 결과를 얻는다.

1. 거듭제곱합 X₁ᴰ+⋯+Xₘᴰ (D 짝수)에서는 일반적인 경우 P_{D,m}(w)≠0이며, 기본 불변량은 P_{D,m}의 제한으로 얻어진다. D가 홀수이면 최소 차수가 2m이며, 이를 위한 명시적 구성식(3.10)을 제시한다.
2. 변수곱 X₁⋯Xₘ (m 짝수)에서는 P_{m,m}(w)≠0 여부가 알론‑타르시 추측과 동치임을 보인다. 따라서 이 경우 기본 불변량의 존재 여부는 라틴 정사각형의 부호 차이에 달려 있다.
3. 행렬식 detₙ와 영구식 perₙ에 대해서는 안정자와 안정성 분석을 통해 각각 a(detₙ)와 a(perₙ)의 값을 구하고, 차수 단원 E(detₙ), E(perₙ)를 결정한다. 특히 detₙ의 경우 n mod 4에 따라 안정자 차수가 1 또는 2가 된다.
4. 텐서 경우, ⊗³ℂᵐ에 대한 SLₘ³‑불변량 Fₙ을 정의하고, 이는 차수 n³의 불가약 다항식이다. 기본 불변량 Φ_w는 Fₙ을 제한한 형태이며, Fₙ이 단위 텐서 ⟨n,n,n⟩와 행렬곱 텐서 ⟨n,n,n⟩에서 영이 아닌지를 판단하는 조합론적 조건(‘라틴 큐브’)을 제시한다. 현재는 n=2,4에 대해서만 계산적으로 확인되었다.

전반적으로 논문은 궤도와 궤도 폐포 사이의 관계를 불변량을 통해 명시적으로 연결함으로써, 기존에 비정규성 때문에 어려웠던 기하복잡도 이론의 접근법을 새롭게 정립한다. 또한, 여러 사례에서 조합론적 난제(알론‑타르시, 라틴 큐브)와의 깊은 연관성을 밝혀, 대수기하와 조합론 사이의 교차 연구 가능성을 열어준다.