세 차원 및 사 차원 실리 대수의 최적 부분대수 체계의 상징적 계산

초록

본 논문은 Wolfram Mathematica 기반 SymbolicLie 프로그램을 이용해 1977년 Patera‑Winternitz가 분류한 모든 3차원·4차원 실리 대수에 대해 최적 부분대수 체계를 자동으로 구하고, 기존 결과와의 일치성을 검증한다. p‑패밀리와 내부 자동사에 의한 관계 R을 도입해 부분대수를 효율적으로 분류하고, 소수 차원에서 발생하는 미세 차이점을 상세히 논의한다.

상세 분석

논문은 먼저 실리 대수 L의 기저 {Ξ₁,…,Ξ_r}와 구조상수 C^γ_{αβ}를 명시하고, 부분대수의 존재조건을 행렬식 형태의 2차 방정식(식 4)으로 전개한다. 이때 차원 d(1<d<r)인 부분대수는 행렬 h_{αi}의 랭크 d와 폐쇄 조건 λ^k_{ij}를 만족해야 함을 강조한다. 기존 방법들은 내부 자동사(exp(ad X))를 수작업으로 적용해 계수를 소거하는 절차가 복잡하고, 대수적 선택이 필요했지만, 저자들은 이를 ‘p‑패밀리’라는 새로운 개념으로 일반화한다. p‑패밀리는 각 성분이 독립적인 함수 개수 p로 정의되며, S_r={0,1}^r{0}의 이진 벡터 s와 결합해 X=∑ f_i s_i Ξ_i 형태로 표현된다. 이때 Jacobian의 랭크가 p와 일치하면 p‑패밀리라 부른다.

다음으로 두 p‑패밀리 사이의 관계 R을 정의한다. R은 어떤 내부 자동사에 의해 한 패밀리를 변환했을 때 결과 패밀리와 동일한 c값(정수 인덱스)으로 귀결되면 성립한다. R은 반사적·전이적이지만 대칭적이지 않을 수 있어 ‘전순서(preorder)’ 구조를 형성한다. 이를 그래프 G(L)로 시각화해 각 정점이 p‑패밀리, 간선이 자동사 변환을 나타낸다. 그래프의 인접 행렬을 이용해 전이 관계를 효율적으로 탐색하고, 사전식(slex) 순서에 따라 최소 대표 패밀리를 선택한다.

고차원(2≤d≤r‑1) 부분대수에 대해서는 ‘p‑패밀리 of d‑dimensional subalgebras’를 정의한다. 여기서는 각 1‑차원 성분이 p_k‑패밀리이며, 전체 p=∑p_k, 행렬 ∥f^α_k∥의 랭크 d, 그리고 폐쇄 조건(식 5) 등을 동시에 만족해야 한다. 특히 행렬을 RREF 형태로 고정함으로써 기저 선택의 중복을 방지하고, 자동사 적용 후에도 동일한 형태를 유지하도록 설계했다.

알고리즘 구현은 Mathematica 패키지 SymbolicLie에 포함되었으며, 주요 함수는 구조상수 입력 → 자동사 군 생성 → p‑패밀리 열거 → R 관계 구축 → 최적 대표 선택 순으로 진행된다. 3차원 실리 대수 9종, 4차원 실리 대수 15종에 대해 전자동으로 최적 체계를 산출했으며, 실행 시간은 수 초에서 수 분 수준에 불과했다.

결과 검증에서는 Patera‑Winternitz(1977) 표와 비교했을 때 대부분 일치했으나, 몇몇 경우 내부 자동사의 파라미터 선택 차이로 인해 ‘동등하지만 비대칭적인’ 관계가 발생해 대표 패밀리가 다르게 선택되었다. 저자들은 이러한 차이를 상세히 분석하고, 프로그램이 제공하는 ‘최소화된’ 형태가 실제 수학적 동등성에 부합함을 논증한다. 또한, 기존 문헌에서 누락되었거나 모호했던 부분대수들을 자동으로 발견함으로써, SymbolicLie가 기존 결과를 보완하고 확장할 수 있음을 보여준다.

전반적으로 이 논문은 실리 대수의 부분대수 분류 문제를 전산화하는 체계적 프레임워크를 제시하고, p‑패밀리와 R 전순서 개념을 통해 자동사에 의한 동등성 판정을 명확히 함으로써, 향후 고차원 실리 대수나 복합 대수 구조(예: 반군, 초대수)에도 적용 가능한 기반을 마련한다.