쿼시 대칭 함수와 KP 계층의 새로운 연결고리

초록

본 논문은 쿼시 대칭 함수(QSym) 위에 비결합적 곱을 정의하고, 이를 외부 코프로덕트와 결합해 무한소 바이알리브라(infinitesimal bialgebra)를 구성한다. 이 구조를 이용해 KP 계층의 방정식들과 정식 대응되는 일련의 항등식을 QSym 대수에서 도출한다.

상세 분석

쿼시 대칭 함수는 조합론과 대수적 조합학에서 핵심적인 역할을 하는 Hopf 대수이며, 전통적으로는 점곱(product)과 내부 코프로덕트(inner coproduct)로 다루어졌다. 저자들은 여기서 새로운 비결합적 곱 ‘∘’을 도입한다. 이 곱은 두 쿼시 대칭 함수 f와 g에 대해 f∘g = Σ_{(f)} f_{(1)}·g·f_{(2)} 형태로 정의되며, 여기서 Σ_{(f)}는 외부 코프로덕트 Δ⁽ᵒᵘᵗ⁾(f)= Σ f_{(1)}⊗f_{(2)} 를 의미한다. 중요한 점은 ∘가 일반적인 점곱과는 달리 비결합성을 갖지만, Δ⁽ᵒᵘᵗ⁾와의 상호작용에서 단순한 선형 관계를 만족한다는 것이다. 구체적으로 Δ⁽ᵒᵘᵗ⁾(f∘g)=Δ⁽ᵒᵘᵗ⁾(f)∘g + f∘Δ⁽ᵒᵘᵗ⁾(g) 가 성립하여, (QSym,·,∘,Δ⁽ᵒᵘᵗ⁾) 가 infinitesimal bialgebra 구조를 이룬다. 이는 기존 Hopf 대수에서 infinitesimal bialgebra 로의 전이를 가능하게 하며, 대수적 연산과 코프로덕트 사이의 미세한 균형을 드러낸다.

이러한 대수적 토대를 바탕으로 저자들은 KP 계층의 무한계열 방정식들을 QSym 안에서 동형 사상으로 옮긴다. KP 계층은 타원형 파동, 솔리톤 등 다양한 물리 현상을 기술하는 비선형 편미분 방정식군이며, 그 해는 τ-함수라는 형식적 지수함수로 표현된다. 논문에서는 τ-함수를 QSym의 원소로 보고, 새로운 곱 ∘ 를 이용해 τ-함수의 로그 전개를 재구성한다. 그 결과, KP 방정식들의 각 차수에 대응하는 QSym 항등식이 도출되며, 이는 기존에 알려진 플라스틱(Plücker) 관계와 유사하지만, 비결합적 곱의 존재로 인해 보다 풍부한 구조를 가진다. 특히, 1차 KP 방정식은 f∘g - g∘f 형태의 교환식으로, 2차 이상에서는 복합적인 합성곱과 코프로덕트의 혼합 항이 나타난다.

이러한 결과는 두 가지 의미에서 혁신적이다. 첫째, QSym 대수에 새로운 연산을 부여함으로써 기존 Hopf 대수 이론을 확장하고, infinitesimal bialgebra 라는 보다 일반적인 대수적 프레임워크를 제공한다. 둘째, KP 계층과의 정식 대응을 통해 비선형 파동 방정식의 조합론적 해석을 가능하게 하며, 향후 다른 통합계층(예: Toda, KdV)에도 동일한 방법을 적용할 수 있는 가능성을 열어준다.