대체 연산자체는 코시즈가 아니다

초록

컴퓨터 계산을 활용해 대체 연산자체(alternative operad)가 코시즈(Koszul) 성질을 만족하지 않음을 증명하였다.

상세 분석

대체 연산자체는 두 개의 이항 연산 ∘와 ⋆가 서로 교환법칙을 만족하면서, 각각이 결합법칙을 포기하는 대체 대수 구조를 모델링한다. 기존 연구에서는 이러한 연산자체가 사전적인 의미에서 ‘대체적’이라는 성질을 갖지만, 호몰로지적 관점에서 코시즈성(Koszulness)을 갖는지는 미해결 문제로 남아 있었다. 코시즈성은 이항 연산자체의 이중 복합체가 최소 자유 해석을 제공함을 의미하며, 이는 그라뎅베르그 베이스와 Hilbert 급수의 역전 관계를 통해 검증된다. 저자들은 먼저 대체 연산자체의 정의 관계를 명시적으로 제시하고, 이를 비가환 자유 대수의 차원 제한된 부분에 적용해 Gröbner‑Shirshov 기저를 계산하였다. 이어서 컴퓨터 대수 시스템(특히, SageMath와 GAP의 조합)을 이용해 차수 5 이하에서의 동차 성분 차원을 구하고, 이 데이터를 기반으로 Koszul 복합체의 차수별 차원을 예측했다. 결과는 예상되는 코시즈 급수와 현저히 차이가 있음을 보여준다. 특히, 차수 4와 5에서 나타나는 ‘오버플로우’ 현상은 대체 연산자체가 코시즈 복합체를 형성하지 못한다는 강력한 증거로 해석된다. 저자들은 또한 대체 연산자체의 대칭군 작용을 고려한 ‘대체‑대칭’ 변형을 실험했지만, 이 경우에도 코시즈성 부재가 일관되게 나타났다. 최종적으로, 컴퓨터 실험 결과와 이론적 분석을 결합해 대체 연산자체가 코시즈가 아님을 엄밀히 증명하였다. 이 연구는 연산자체 이론에서 코시즈성 검증에 컴퓨터 계산을 활용하는 새로운 방법론을 제시하고, 대체 대수의 호몰로지 구조에 대한 이해를 심화시킨다.