두 정점 퀘이버의 안정조건 공간 분석

1. 서론 논문은 Bridgeland이 제시한 삼각범주 위의 안정조건 이론을 구체적인 퀘이버 사례에 적용한다. 두 정점과 n개의 평행 화살표를 가진 퀘이버 Pₙ에 대해, 그 유도 범주 𝔇ᵇ(Pₙ) 위의 안정조건 공간 Stab(Pₙ)를 조사한다. 기존 연구(Bridgeland 2007, Macrì 2007 등)에서는 일반적인 연결성·단순 연결성만을 다루었으나, 저자는 Z: Stab(Pₙ)→ℂ²가 실제로는 복소 2차원 공간에서 어떤 “선 배열”을 제외하면 covering map이 되는지를 밝힌다. 2. 배경 및 기본 정의 - 삼각범주 T에 대한 안정조건(정의 2.2)과 Harder‑Narasimhan 필터링을 복습한다. - Bridgeland의 지역 동형 Z와 그 선형 공간 V(Σ)의 존재(정리 2.1)를 소개한다. - ^GL⁺(2,ℝ)와 Aut(T)의 작용, 특히 C-작용을 통한 안정조건의 스케일링을 설명한다. - 예외적 객체와 예외적 컬렉션(정의 2.5·2.6), 좌·우 변이(L,R)와 그 성질을 정리한다. - Macrì가 제시한 Θ_E 공간(예외적 컬렉션으로부터 만든 안정조건들의 파라미터 공간)의 위상적 특성(열린, 연결, 단순 연결)과 좌표화 방법을 재정리한다. 3. 두 정점 퀘이버 Pₙ의 구조 Pₙ는 두 정점 v₁, v₂와 n개의 동등한 방향 화살표(모두 v₁→v₂)로 정의된다. 이 퀘이버의 표현 범주는 abelian 카테고리 rep(Pₙ)이며, 그 유도 범주 𝔇ᵇ(Pₙ)는 예외적 컬렉션 (E₁= S₁, E₂= S₂) (두 단순 표현)으로 생성된다. Grothendieck 군 K(𝔇ᵇ(Pₙ))≅ℤ²이며, 중앙 사상 Z는 두 정수 좌표에 복소수 가중치를 부여한다. 4. 좌표 이웃과 a_k 수열 Macrì의 방법을 적용해 각 안정조건을 두 복소수 z₁,z₂∈ℍ(상반 평면) 로 매개한다. 여기서 실부를 로그값으로 변환하면 a_k라는 실수열이 등장한다. a_k는 재귀식 a_{k+1}=n a_k - a_{k-1} (k∈ℤ) 로 정의되며, 초기값 a₀=0, a₁=1이다. - n=1: a_k는 삼각수와 관련된 유리수이며, 수열이 제한된다. - n=2: a_k=k 로 단순히 정수 수열이 된다. - n>2: a_k는 √(n²−4)와 n에 의해 정의된 실수값으로, k→±∞일 때 각각 n−√(n²−4)/2와 n+√(n²−4)/2에 수렴한다. 이 수열은 각 “상반 평면” H_k의 실축 경계선을 결정한다: 경계선은 x = log(a_k a_{k+1}) 로 주어진다. 5. Stab(Pₙ)/ℂ 의 위상적 묘사 각 H_k = {z∈ℂ | Im z>0} 를 복소 평면의 상반부로 생각하고, ψ_k 라는 홈오모르피즘을 통해 H_k와 H_{k+1}을 연결한다. ψ_k는 실축을 따라 이동시켜 경계선 x=log(a_k a_{k+1}) 를 맞추고, π축을 따라 회전시켜 위상(phase)을 보존한다. 결과적으로 Stab(Pₙ)/ℂ 는 무한히 많은 H_k가 실축에 의해 겹쳐진 “사다리형” 복합 다양체가 된다. 그림 1·2는 이를 시각화한다. 6. Z와 χ_n 의 구체적 이미지 Z는 Stab(Pₙ)→ℂ²\{(0,0)} 로 정의되고, C-작용을 quotient한 χ_n: Stab(Pₙ)/ℂ→ℂP¹ 가 얻어진다. χ_n는 - “실축” (Im z=0) 를 CP¹의 양의 실축