코웹 포셋과 KoDAG의 축소 발생 대수

초록

본 논문은 임의의 자연수열 Fₙ으로 정의되는 코웹 포셋 Π에 대해, 구간 동형을 기준으로 한 순서 호환 동치관계 ∼를 이용해 표준 축소 발생 대수 R(Π)를 구성한다. 유형( k , n )을 순위쌍으로 식별하고, 구조상수 ⟨k,n,l⟩가 바로 F_l임을 보이며, 곱셈 (f∗g)(k,n)=∑ₗF_l f(k,l)g(l,n) 형태임을 증명한다. 이를 통해 ζ, μ, η 등 전통적인 발생 대수 원소들의 간단한 형태를 도출하고, Fₙ이 대수 구조를 완전히 결정한다는 핵심 결과를 제시한다.

상세 분석

코웹 포셋 Π는 자연수열 Fₙ(F₀=1)으로 정의된 레벨 Φₛ={hⱼ,ₛ | 1≤j≤Fₛ}의 무한 부분 순서 집합이며, 순위 함수 r(x)=s인 원소 x∈Φₛ를 갖는다. 순서 관계는 (s,t)≤(u,v)⇔