Harder‑Narasimhan 범주와 연속 필터링 이론

본 논문은 Harder‑Narasimhan(HN) 이론을 보다 일반적인 범주론적 틀 안에서 재구성하고, 특히 실수값 인덱스를 갖는 연속 HN 필터링을 도입함으로써 기존 이론의 한계를 극복한다. 1. **배경 및 동기** 전통적인 HN 플래그는 매끄러운 프로젝트 곡선 위의 벡터 번들에 대해 유한 단계의 서브번들 체인으로 정의된다. 이 플래그는 각 단계가 반안정(semi‑stable)이며 기울기가 엄격히 감소한다는 성질을 갖지만, 사상에 대한 함자성(functoriality)이 결여되어 있다. 또한, 차수·계수 함수가 정의될 수 있는 보다 넓은 범주(예: Hermitian 벡터 번들, 필터가 부착된 벡터 공간)에서는 정확 범주(exact category)의 구조가 깨진다. 2. **산술 정확 범주(arithmetic exact category)의 정의** 저자는 ‘산술 정확 범주’를 다음과 같이 정의한다. - 기본적으로 Quillen의 정확 범주 구조를 유지한다(즉, admissible monomorphisms와 epimorphisms가 존재). - 각 객체 X에 차수 deg(X)∈ℝ와 계수 rk(X)∈ℕ⁺를 부여한다. - 차수·계수는 short exact sequence 0→A→B→C→0에 대해 additivity를 만족한다. 이러한 구조는 Hermitian 벡터 번들(Arakelov 차수), 필터가 부착된 G‑모듈, 그리고 전통적인 벡터 번들 범주를 모두 포함한다. 3. **I‑필터링과 연속성** 전순서 집합 I와 그에 최소 원소 −∞를 추가한 I*를 고려한다. 객체 X에 대한 I‑필터링은 F: I*→C이며, 모든 사상은 단사이다. 좌·우 연속성은 각각 proj‑limit과 ind‑limit을 이용해 정의되며, 조건 (M)·(M*)가 만족될 때 모든 필터링에 대해 좌·우 연속화(Fₗ, Fᵣ)가 존재한다. 이때 Fₗ는 좌 연속화, Fᵣ는 우 연속화이며, 각각 forgetful functor의 좌·우 adjoint 역할을 한다. 4. **Harder‑Narasimhan 조건과 필터링 존재** ‘Harder‑Narasimhan 범주’는 다음을 만족한다. - (HN1) 모든 비영 객체 X는 최소 기울기 μ_min(X)와 최대 기울기 μ_max(X)를 갖는다. - (HN2) 기울기의 전역적인 상한과 하한이 존재한다(즉, sup μ_max, inf μ_min가 유한). - (HN3) ‘분할 가능성’: 임의의 객체 X와 실수 λ에 대해, λ 이하인 최대 부분 객체 X_{≤λ}가 존재하고, 이는 유일하다. 이러한 가정 하에 각 객체 X에 대해 실수 인덱스 ℝ에 대한 연속 HN 필터링 𝔽_X가 정의된다. 구체적으로 𝔽_X(t)=X_{≤t}이며, 이는 좌·우 연속성을 만족한다. 5. **Harder‑Narasimhan 다각형과 Borel 측도** 각 연속 필터링 𝔽_X는 급변점 λ₁>λ₂>…>λ_k와 각 구간의 길이 a_i=rk(𝔽_X(λ_i))−rk(𝔽_X(λ_{i+1}))를 산출한다. 이를 이용해 Borel 측도 μ_X=∑ a_i δ_{λ_i}를 정의하고, 이 측도의 누적 분포 함수를 convex hull으로 취해 HN 다각형을 만든다. 다각형은 (0,0)에서 (rk X, deg X)까지의 구간을 볼록하게 연결하며, 기울기 구간이 바로 필터링의 슬로프이다. 6. **필터링의 함자성** 핵심 결과는 사상 f: X→Y에 대해 f(𝔽_X)=𝔽_Y·f 가 성립한다는 점이다. 구체적으로, f가 이미지(Im f)를 갖는 경우, 각 t∈ℝ에 대해 Im(f∘𝔽_X(t))=𝔽_Y(t)·f가 된다. 이는 좌·우 연속화와 adjunction 구조를 이용해 증명되며, 기존의 유한 플래그에서는 불가능했던 ‘필터링의 자연스러운 전이’를 가능하게 한다. 7. **예시와 적용** - **대수기하학**: 프로젝트 다양체 위의 벡터 번들 범주에 차수=deg, 계수=rk를 부여하면 전통적인 HN 이론을 재현한다. - **Arakelov 기하**: Hermitian 벡터 번들에 Arakelov 차수와 차원을 차수·계수로 사용한다. 여기서도 (HN1)~(HN3)이 만족되어 연속 HN 필터링과 다각형을 정의한다. - **p‑adic 표현론**: Galois 표현에 필터(예: Hodge‑Tate 가중치)를 부착하고, 차수를 ‘정규화된 차수’, 계수를 차원으로 두면 Harder‑Narasimhan 범주가 된다. 각 예시마다 차수·계수 함수가 additivity와 최소/최대 기울기 존재성을 만족함을 검증하고, 따라서 연속 HN 필터링과 그 함자성을 적용할 수 있음을 보인다. 8. **결론 및 전망** 논문은 HN 이론을 ‘산술 정확 범주’라는 범주론적 틀 안에 끌어들여, 실수 인덱스를 갖는 연속 필터링과 그 함자성을 확보한다. 이는 모듈러 공간의 기하학적 구조, 안정성 조건을 갖는 복합 객체, 그리고 비가환 기하학적 상황까지 확장 가능한 강력한 도구를 제공한다. 향후 연구에서는 이론을 더 일반적인 ∞‑범주나 비선형 대수 구조에 적용하고, Harder‑Narasimhan 다각형을 이용한 새로운 불변량을 정의하는 방향이 기대된다.