강동형 대수와 바이알제브라의 동형 이론

초록

라다의 강동형 대수 개념을 일반화하여, 단순체 범주 위의 모나드 T에 대한 강동형 T‑대수들을 Segal 공간으로 구성한다. 또한 모나드‑코모나드 쌍 (T, S)에 대해 강동형 (T, S)‑바이알제브라도 같은 방식으로 모델링하고, 이를 통해 강동형 환의 층과 파생 연결 구조를 기술한다.

상세 분석

본 논문은 강동형(s.h.) 대수와 바이알제브라의 동형 이론을 범주론적·동형론적 관점에서 재구성한다. 기존에 라다(Lada)가 제시한 강동형 대수는 변형 수축(deformation retract) 위에서 나타나는 고차 연산을 포착했지만, 그 사이의 사상 정의가 미비했다는 점이 한계로 지적되었다. 저자는 이를 극복하기 위해, 단순체(simplicial) 범주 C 위에 정의된 모나드 T를 출발점으로 삼는다. T‑대수의 강동형 구조를 “∞‑대수”라 할 수 있는 A∞‑구조와 동형적으로 대응시키면서, 이들 객체를 Segal 공간으로 조직한다는 아이디어가 핵심이다. Segal 공간은 고차 범주론에서 (∞,1)‑범주를 모델링하는 표준 도구이며, 여기서는 강동형 T‑대수들의 위상적·동형적 정보를 완전하게 보존한다.

다음 단계에서는 모나드‑코모나드 쌍 (T, S)의 분배법칙(distributive law)을 가정하고, 강동형 (T, S)‑바이알제브라를 정의한다. 이때 코모나드 S는 코연산을 제공하여 대수 구조와 코대수 구조가 동시에 존재하도록 만든다. 저자는 이러한 바이알제브라가 역시 Segal 공간을 이루며, 그 구조는 두 개의 Segal 공간(대수와 코대수)의 교차점으로 해석된다. 특히, 이 프레임워크는 강동형 환의 층(sheaf) 이론을 자연스럽게 포함한다. 층 위에 강동형 환을 놓으면, 지역적 강동형 구조가 사상에 의해 글로벌하게 결합되는 방식을 Segal 공간의 내재적 동형성으로 기술한다.

또한, 논문은 quasi‑monad 및 quasi‑comonad 개념을 도입해, 엄격한 모나드·코모나드 대신 약한 형태의 연산을 허용한다. 이는 실제 계산에서 나타나는 비정형적인 고차 연산을 포괄적으로 다룰 수 있게 한다. 마지막으로, 저자는 이러한 강동형 구조와 파생 연결(derived connection) 사이의 관계를 탐구한다. 파생 연결은 복합적인 미분 구조를 고차 동형론적 관점에서 해석한 것으로, 강동형 바이알제브라 위에 정의된 연결은 전통적인 기하학적 연결과 동형적으로 동등함을 보인다. 전체적으로, 이 연구는 강동형 대수·바이알제브라의 사상론을 완전한 동형 이론으로 끌어올리며, 고차 대수기하와 파생 기하학 사이의 다리를 놓는다.