스택 위의 벡터장과 흐름: 미분가능 스택의 새로운 흐름 이론

초록

본 논문은 미분가능 스택에 대한 벡터장과 흐름의 개념을 정의하고, 컴팩트하고 proper한 스택에서 벡터장의 흐름이 존재하며 2-셀에 의해 유일하게 결정됨을 증명한다. 이를 통해 스택 위의 Morse 이론과 접선 스택, Lie 2-대수 등 고차 구조의 범주화 기반을 마련한다.

상세 분석

논문은 먼저 미분가능 스택(StDiff)의 2‑범주적 구조를 정리하고, 전통적인 접선 다발을 스택 수준으로 끌어올린 ‘접선 스택’(tangent stack) 함자 T: StDiff → StDiff를 구축한다. 이 함자는 라크(lax) 함자로서, 매니폴드에 대한 전통적 접선 함자와 일치하도록 설계되었으며, Yoneda 임베딩 y를 통해 T∘y = y∘T임을 보인다. 접선 스택은 Lie groupoid의 접선 groupoid TLieΓ를 통해 구체적으로 구현되며, 이는 스택을 대표하는 groupoid 수준에서의 미분 구조를 그대로 반영한다.

벡터장은 스택 X 위의 사상 X → TX와 2‑셀 a_X: X ⇒ Id_X ∘ π_X 로 정의된다. 매니폴드 경우에는 2‑셀이 사라져 기존의 π_M∘X = Id_M 식을 회복한다. 스택에서는 π_X∘X가 Id_X와 동형이 아닐 수 있어, a_X가 그 차이를 보정한다. 흐름은 Φ: X×ℝ → X와 두 개의 2‑셀 t_Φ, e_Φ 로 구성되며, ∂Φ/∂t = X∘Φ와 Φ(–,0)=Id의 일반화된 식을 만족한다. 특히 (4)식은 t_Φ와 e_Φ 사이의 일관성을 강제하는 새로운 2‑셀 방정식으로, 이는 범주화 과정에서 자연스럽게 나타나는 ‘약화된’ 관계를 보완한다.

주요 정리는 두 부분으로 나뉜다. 첫째, X가 컴팩트하고 proper하면 위 정의에 따라 흐름 Φ가 존재한다는 존재성 결과; 둘째, 두 흐름 Φ, Ψ가 주어지면 t_Φ, e_Φ, t_Ψ, e_Ψ에 의해 결정되는 2‑셀 η: Φ ⇒ Ψ가 유일하게 존재한다는 유일성 결과이다. 여기서 proper는 대각사상이 representable하고, 컴팩트성은 스택의 ‘지원’이 제한된다는 의미로, 매니폴드와 orbifold, S¹‑gerbe, 그리고 콤팩트 Lie 군에 대한 전역 몫 스택 등에서 만족한다.

논문은 또한 향후 연구 방향을 제시한다. 접선 스택은 2‑벡터 공간의 번들로 해석될 수 있어, Riemannian metric, gradient 벡터장 등을 정의할 수 있다. 벡터장들의 집합은 Lie 2‑대수 구조를 형성하고, 컴팩트 proper 스택에서는 R‑작용의 약한 행동(weak action) 군형식과 동형인 그룹오이드를 만든다. 이는 Baez‑Crans의 2‑벡터 공간 이론과 직접 연결된다. 마지막으로, 이러한 구조를 이용해 스택 위의 Morse 함수와 그 gradient 흐름을 정의함으로써, 스택 수준의 Morse 이론을 전개할 기반을 마련한다.

전체적으로 논문은 미분가능 스택이라는 고차 범주적 대상에 전통적인 미분기하학 개념을 성공적으로 승격시켰으며, 존재·유일성 정리를 통해 실질적인 계산 가능성을 확보한다. 이는 향후 스택 기반의 동역학, 위상학, 그리고 물리학적 모델링에 중요한 도구가 될 전망이다.