일반화된 기하학에서의 팩터라이제이션 대수 체계

초록

**
이 논문은 “분리 가능 구조(isolability structure)”라는 새로운 보조 데이터를 도입해, 다양하고 추상적인 기하학적 대상 위에 팩터라이제이션 대수를 정의하는 최소주의적 프레임워크를 제시한다. 기존의 매니폴드·홀로모픽·동형론적 사례를 모두 포함하고, 산술 양자장 이론까지 확장한다. 핵심은 두 종류의 대칭 모노이달 구조를 동시에 갖는 ‘두겹 대칭 모노이달(twofold symmetric monoidal)’ 카테고리를 이용해 sheaf 이론을 강화하고, 이를 통해 Beilinson‑Drinfeld Grassmannian을 일반화된 팩터라이제이션 스택으로 재구성한다.

**

상세 분석

**
논문은 먼저 팩터라이제이션 대수의 근본적인 물리적 의미를 재조명한다. 관측값을 정의하는 열린 집합 U에 대해 F(U) 를 할당하고, 서로 격리된 U, V 에 대해 F(U)⊗F(V)→F(W) ( U⊔V⊂W ) 라는 결합 연산을 요구한다. 기존의 매니폴드(위상)와 홀로모픽(복소) 상황은 각각 Eₙ‑algebra 과 베일린‑드리그레인(Chiral algebra) 구조와 동형된다. 그러나 이러한 사례들은 “점 사이의 거리” 개념을 암묵적으로 사용한다는 점에서 제한적이다. 저자는 이를 “분리 가능 구조”라는 새로운 데이터로 추상화한다. 구체적으로, 임의의 T‑점 x, y: T→X 에 대해 격리 가능성을 나타내는 고차 군집 ⌜x≁y⌝ 을 정의하고, 이들을 모아 X^{⊕1}→X×X 이라는 구성 공간을 만든다. 이는 전통적인 대각선 보완(Manifold 경우)이나 Ran 공간(홀로모픽 경우)을 일반화한 것으로, 점들의 군집을 다양한 “클러스터”로 나누어 다중 격리 가능성을 기술한다.

다음으로 저자는 이러한 격리 가능 구조가 두 개의 대칭 모노이달 구조를 유도한다는 점을 강조한다. 카테고리 𝔻 (코그래프들의 범주)는 ⊕(좌측, 불연속 합)와 ⊕(우측, 연결 합)이라는 두 독립적인 대칭 모노이달을 갖는다. 이 두 구조는 Eckmann‑Hilton 법칙에 의해 동일해지지 않으며, 대신 비가역적인 교환 사상 (A⊕B)⊕(C⊕D)→(A⊕C)⊕(B⊕D) 을 통해 얽힌다. 이러한 “두겹 대칭 모노이달(twofold symmetric monoidal)” 구조는 전통적인 ‘sheaf of rings → sheaf of modules’ 사슬을 카테고리 수준으로 끌어올린 형태이며, 파라랙스(parallax)라는 용어로 명명한다. 파라랙스는 𝔻→Cat의 느슨한 대칭 모노이달 함자를 의미하고, 여기서 A(X·) 은 각 격리 구성 X_λ 에 대한 sheaf‑이론(예: constructible sheaves, QCoh 등)의 값을 모은 다중 모노이달 카테고리다.

팩터라이제이션 대수는 이제 1·→A(X·) (우측 대칭 모노이달을 보존하는) 함자로 정의된다. 이는 기존의 “외부 텐서 ⊠ → 대각선 제한 → 내부 텐서”와 “외부 텐서 ⊠ → 격리 보완 제한 → 다른 텐서” 사이의 상호작용을 정형화한다. 특히, Rⁿ 에 대한 격리 가능 구조는 S^{n‑1} 을 통해 Eₙ‑algebra 구조를 재현하고, 이는 Cepek의 Ran 공간에 대한 조합적 기술과 일치한다.

논문은 또한 관측자 스택 O_X 을 도입한다. 이는 관측값이 점이 아니라 임베딩·서브스키마·Hilbert 스택 등 더 복잡한 대상에 걸쳐 정의될 수 있음을 의미한다. 예를 들어, 복소 다양체 X 에 대해 O_X 을 Hilbert 스택으로 잡으면, 기존 Ran 공간이 포착하지 못하는 고차 격리 구조를 기술할 수 있다. 저자는 이러한 관점에서 Hennion‑Melani‑Vezzozi의 작업을 부분적으로 확장한다.

마지막으로, 저자는 Beilinson‑Drinfeld Grassmannian을 일반화된 팩터라이제이션 스택으로 재구성한다. 임의의 객체 X와 포인팅된 스택 B 에 대해, 관측자 스택 O_X 위에 Grassmannian Gr_B 을 정의하고, 이는 전통적인 곡선 C 위의 경우와 Fargues‑Fontaine 곡선·Div₁ 과 같은 산술적 상황에서도 적용된다. 이는 기존의 “chiral” 또는 “geometric Langlands” 스펙트럼을 새로운 격리 가능 프레임워크 안에 끌어들여, 산술 양자장 이론까지 포괄하는 구조를 제공한다.

제한점으로는 (1) 기존 Costello‑Gwilliam 매니폴드 팩터라이제이션을 아직 통합하지 못함, (2) β‑버전(확장된 연산자 결합) 이론이 미비, (3) Koszul 이중성 등 대수적 대칭에 대한 탐구가 부족함, (4) 실제 계산 예제가 제한적이라는 점을 명시한다. 향후 연구에서는 이러한 공백을 메우고, 두겹 대칭 모노이달을 이용한 6‑functor formalism과의 연계를 기대한다.

**