주공동작용의 풀백 폐쇄성 및 양자 호프 번들 지수 계산

본 논문은 “principal coaction”이라는 개념을 보다 일반적인 상황에 확대한다. 전통적으로는 두 사상이 모두 전사인 풀백(diagram)에서만 principal coaction이 보존된다는 결과가 알려져 있었지만, 저자들은 “one‑surjective pullback”, 즉 두 정의 사상 중 하나만 전사인 경우에도 principal 구조가 유지된다는 정리를 증명한다. 이를 위해 먼저 코알제브라 C와 왼·오른 공동작용을 가진 대수 A, B, C₁, C₂ 사이의 풀백 다이어그램을 설정하고, canonical map과 translation map을 이용해 Galois 조건과 강연결(strong connection)의 존재를 검증한다. 핵심은 전사성 하나만으로도 풀백 대수 A×_{π₁,π₂}B 가 C‑Galois 확장이며, 동시에 C‑equivariantly projective한 B‑module 구조를 갖는다는 점이다. 이 과정에서 Milnor의 odd‑to‑even 연결동형을 코알제브라적 K‑이론으로 선형화하는 방법을 제시하고, 그 결과가 기존의 K‑이론 장정리와 일치함을 확인한다. 첫 번째 적용 사례는 표준 포들스 구 S²_q의 C*‑대수이다. 이 대수는 두 사상 중 하나만 전사인 풀백으로 표현될 수 있다(π₁은 전사, π₂는 포함 사상). 저자들은 이 풀백 표현을 이용해 양자 Hopf 라인 번들의 K‑이론과 K‑동학 사이의 지수 쌍을 Mayer‑Vietoris식 형태로 직접 계산한다. 구체적으로, 풀백 대수의 프로젝트 모듈을 구성하고, 강연결 ℓ을 명시적으로 구함으로써 지수 쌍 ⟨