A Solomon Mackey formula for graded bialgebras

기술 요약: 등급화된 비가환 대수(Graded Bialgebras)를 위한 솔로몬 맥키 공식(Solomon Mackey Formula)

문제 제기
본 논문은 등급화된 $k$-비가환 대수(graded $k$-bialgebras) 범주 상의 자연스러운 $k$-선형 연산(natural $k$-linear operations)의 분류 문제를 다룬다. 구체적으로, 본 연구는 "뒤틀린 투영 아담스 연산(twisted projecting Adams operations)"이라 불리는 $p_{\alpha, \sigma}$의 대수적 구조를 조사한다. 이 연산자들은 반복된 여곱(iterated comultiplications) $\Delta^{[k]}$, 반복된 곱(iterated multiplications) $m^{[k]}$, 다중 등급 성분으로의 투영 $P_\alpha$, 그리고 텐서 인자들에 작용하는 치환 $\sigma \in S_k$를 사용하여 등급화된 비가환 대수 $H$에 대해 정의된다.

이러한 연산자들의 합성(composition)은 $H$가 가환(commutative)이거나 코가환(cocommutative)인 특수한 경우에는 잘 알려져 있으나(솔로몬의 대칭군에 대한 맥키 공식과 파트라스(Patras)의 하강 연산자 결과들을 회복함), 임의의 등급화된 비가환 대수에 대한 일반적인 경우에는 미해결 상태로 남아 있었다. 일반적인 경우, 연산자 집합 $\{p_{\alpha, \sigma}\}$는 합성 하에 닫혀 있지만, $p_{\alpha, \sigma} \circ p_{\beta, \tau}$에 대한 공식은 기존에 알려지지 않았다. 또한, 본 논문은 코가환적인 경우에 $\text{NSym}$(비가환 대칭 함수 대수)이 이 연산자들을 지배하는 것과 유사하게, 임의의 연결된 등급화된 비가환 대수(connected graded bialgebras)를 위해 이러한 연산들을 규정하는 조합론적 호프 대수(combinatorial Hopf algebra)가 무엇인지 식별하고자 한다.

방법론
저자는 직접적인 대수적 조작과 조합론적 구성을 결합하여 다음과 같은 방법을 사용한다:

1. 대수적 유도: 연구의 핵심은 $p_{\alpha, \sigma} \circ p_{\beta, \tau}$의 합성에 대한 명시적인 공식을 유도하는 것이다. 이를 위해서는 투영($P_\alpha$), 치환($\sigma$), 반복된 곱($m^{[k]}$), 반복된 여곱($\Delta^{[k]}$) 사이의 일련의 교환 관계(commutation relations)를 확립해야 한다. 주요 기술적 도구로는 "졸로타레프 셔플(Zolotarev shuffle)" 치환과, 이 연산자들이 텐서 곱 및 등급 성분과 어떻게 상호작용하는지에 관한 특정 보조정리들이 포함된다.
2. 선형 독립성: 유도된 공식의 일반성을 검증하기 위해, 저자는 특정 "일반적인(generic)" 연결된 등급화된 호프 대수(특정한 여곱 규칙을 가진 자유 대수)를 구성하여 연산자 가족 $\{p_{\alpha, \sigma}\}$가 $k$-선형 독립임을 입증한다. 이는 유도된 공식이 특정 $H$의 특정 대수적 관계에 의한 부산물이 아니라 보편적으로 성립함을 보장한다.
3. 조합론적 구성: 저자는 PNSym(치환된 비가환 대칭 함수, Permuted Noncommutative Symmetric Functions)이라는 새로운 조합론적 호프 대수를 구축한다. 이 대수의 기저는 "모피스케이션(mopiscotions, permuted compositions)"이라 불리는 쌍 $(\alpha, \sigma)$(구성 $\alpha$와 치환 $\sigma$의 쌍)에 의해 색인된다. PNSym의 대수적 구조는 $p_{\alpha, \sigma}$ 연산자들의 합성, 합성곱(convolution), 텐서 곱 성질을 반영하도록 정의된다.
4. 모노이드 대수와의 연결: PNSym의 내부 곱(internal multiplication)은 야누스 모노이드(Janus monoid)(Aguiar와 Mahajan이 도입함) 및 브레이드 배치(braid arrangement)의 면 모노이드(face monoid)와 연관 지어 분석된다. 저자는 $n$번째 등급 성분 상의 연산자 대수가 야누스 대수의 $S_n$-불변 부분과 동형임을 입증한다.

주요 기여 및 결과

• 일반화된 솔로몬 맥키 공식 (정리 1.19): 주요 결과는 두 뒤틀린 투영 아담스 연산의 합성에 대한 명시적인 공식이다:
  $$p_{\alpha, \sigma} \circ p_{\beta, \tau} = \sum_{\gamma} p_{\gamma, \tau[\sigma]}$$
  여기서 합은 $\alpha$와 $\beta$에 의해 결정되는 특정 행 및 열 합 제약을 만족하는 비음의 정수 $\gamma_{i,j}$들로 이루어진 $k \times \ell$ 행렬에 대해 수행된다. 결과적인 치환은 특정 연산 $\tau[\sigma]$(치환들의 wreath-product 형태의 합성)에 의해 주어진다. 이 공식은 파트라스(Patras)의 1994년 결과와 솔로몬(Solomon)의 맥키 공식을 임의의 등급화된 비가환 대수로 일반화한다.
• 합성곱 및 텐서 공식: 논문은 합성곱 곱($p_{\alpha, \sigma} \star p_{\beta, \tau} = p_{\alpha\beta, \sigma \oplus \tau}$)과 비가환 대수의 텐서 곱 및 쌍대성(duality) 하에서의 연산자 거동에 대한 공식을 제공한다.
• PNSym 대수: 새로운 조합론적 호프 대수인 PNSym이 구축된다.
  • 이 대수는 "외부" 곱(합성곱을 반영)과 "내부" 곱(합성을 반영)을 갖는다.
  • PNSym은 외부 곱 하에서 연결된 등급 코가환 호프 대수이며, 내부 곱 하에서는 단위가 없는(non-unital) 비가환 대수임이 밝혀졌다.
  • 모든 구조를 존중하는 전사적 사상 $p: \text{PNSym} \to \text{NSym}$이 존재하며, 이는 PNSym이 고전적인 비가환 대칭 함수의 "치환된(permuted)" 리프트임을 효과적으로 보여준다.
• 선형 독립성: 정리 1.36은 적절하게 선택된 연결된 등급화된 호프 대수에 대해 연산자 $p_{\alpha, \sigma}$들이 선형 독립임을 확립한다. 이는 유도된 공식들이 가장 일반적인 가능한 항등식임을 확인시켜 준다.
• 불변 부분 대수와의 동형: 논문은 $n$번째 등급 성분 상의 연산자 대수인 $\text{PNSym}^{(2)}_n$이 야누스 대수의 $S_n$-불변 부분 대수와 동형임을 증명한다 (정리 2.18 및 따름정리 2.19). 이는 이 연산자들에 대한 연구를 디센트 대수(descent algebra) 및 티츠 모노이드(Tits monoid)의 풍부한 이론과 연결시킨다.

의의 및 주장
저자는 이 작업을 연결된 등급화된 비가환 대수 상의 자연스러운 연산들 사이의 항등식을 분류하려는 프로젝트의 예비 보고서로 제시한다. 저자는 다음과 같이 주장한다:

1. 유도된 합성 공식(정리 1.19)은 코가환 및 가환적인 경우의 알려진 공식들을 일반적인 설정으로 확장하는 새로운 결과이다.
2. 조합론적 호프 대수 PNSym은 코가환적인 경우에 $\text{NSym}$이 그러하듯, 임의의 연결된 등급화된 비가환 대수에 대해 뒤틀린 투영 아담스 연산들을 "지배하는" 새로운 대상이다.
3. 결과들은 연결된 등급화된 호프 대수에 대한 함수적 항등식 검증을 PNSym이라는 조합론적 대수 내의 계산으로 환원함으로써 기계적인 알고리즘을 제공한다.

저자는 자신의 증명이 "미완성(inchoate)"이며 우아함이 부족하다고 명시적으로 언급하였으며, 현재의 초점이 단항 연산($H \to H$)에 국한되어 있음을 밝히고, 다중 입력-다중 출력 연산은 향후 연구 과제로 남겨두었다. 또한, 모든 자연스러운 등급화된 연결된 비가환 대수의 엔도모피즘(endomorphism)이 $p_{\alpha, \sigma}$ 연산자들의 무한 선형 결합으로 표현될 수 있는지에 대한 질문(질문 1.41)을 열어두었으나, 저자는 그 답이 긍정적일 것이라고 추측하고 있다.