오토이퀼리베런스·안정조건·모듈리 문제의 상호작용과 n‑곤의 모듈리 공간

초록

본 논문은 삼각범주에서 오토이퀼리베런스와 브리젤랜드 안정조건이 어떻게 호환될 수 있는지를 정의하고, 충분조건을 제시한다. 이를 n‑곤(Eₙ)이라 불리는 위에르스트라스 노달 입방체의 Galois 커버에 적용해, 고전적인 기울기 안정조건을 확장한 안정조건 하에서 안정 객체들의 모듈리 공간과 그 S‑동치에 의한 컴팩트화를 명시적으로 계산한다. 결과적으로 고정된 기울기에 대한 컴팩트화는 Eₘ( m|n )와 Z/nZ의 이산합으로 분리되며, 모든 m이 기울기에 따라 나타난다. 또한, 해당 안정조건에 호환되는 모든 오토이퀼리베런스 군을 구성해, 이는 모듈러 군 Γ₀(n)와 Aut(Eₙ)·Pic⁰(Eₙ)·Z의 직접곱의 확장임을 보인다.

상세 분석

논문은 먼저 삼각범주 𝒟에 대한 브리젤랜드 안정조건 σ=(𝒜,Z)와 자가동형 사상 Φ∈Aut(𝒟) 사이의 “호환성”을 정의한다. 여기서 호환성은 Φ가 심장 𝒜를 다시 심장으로 보내고, 중앙전하 Z는 GL⁺(2,ℝ)의 원소 g와 함께 변환되어 Z∘Φ⁻¹=g·Z가 되도록 요구한다. 이러한 정의는 안정조건의 위상학적 구조를 보존하면서도, Φ가 물체의 위상(예: 차원·랭크)과 기울기(μ=−Re Z/Im Z)를 바꾸지 않게 만든다. 저자는 이 정의를 바탕으로 충분조건을 제시한다. 구체적으로, Φ가 K₀(𝒟) 위에서 행렬 A∈SL(2,ℤ)를 작용시키고, 동시에 Z를 A⁻¹와 결합한 변환으로 바꾸면 Φ는 σ와 호환된다. 이때 A는 “중심 전하의 격자”를 보존하는 SL(2,ℤ)의 부분군이며, 특히 하위 행이 n으로 나누어지는 경우가 Γ₀(n)에 해당한다.

다음 단계에서는 이러한 일반 이론을 Eₙ의 유도범주 Dᵇ(Coh(Eₙ))에 적용한다. Eₙ는 n개의 ℙ¹가 순환적으로 교차하여 만든 비가역적 비가역곡선으로, 유전적으로는 위에르스트라스 노달 입방체의 n차 Galois 커버이다. 저자는 Eₙ 위의 전통적인 기울기 안정조건을 중앙전하 Z(F)=−deg(F)+i·rk(F) 형태로 확장한다. 여기서 deg와 rk는 다중 차수와 총 랭크를 의미하며, 각 구성요소 ℙ¹에 대한 차수 합으로 정의된다. 이 안정조건은 심장 𝒜=Coh(Eₙ)와 일치하고, Bridgeland의 조건을 만족한다.

안정 객체의 분류는 크게 두 부류로 나뉜다. 첫째, 순수 차원 1인 토션프리 쉐이브 F는 (r,d)쌍에 의해 기울기 μ=d/r가 정의되고, μ가 고정되면 F는 μ‑안정이다. 둘째, 0‑차원 토션 객체는 노드 혹은 각 ℙ¹의 일반 점에 지원되며, 이들은 기울기 무관하게 안정(또는 반안정)으로 간주된다. 저자는 이러한 객체들을 K₀(Eₙ) 위의 벡터 (r,d)와 연결시켜, 중앙전하의 실·허수 부분이 각각 차수와 랭크를 반영함을 보인다.

모듈리 공간 M_σ(μ)은 고정된 기울기 μ에 대해 σ‑안정 객체들의 S‑동치 클래스로 구성된다. 저자는 Fourier–Mukai 변환과 자동동형을 이용해 M_σ(μ)의 구조를 완전히 기술한다. 핵심 결과는 다음과 같다. μ가 특정 유리값을 가질 때, 안정 객체는 정확히 Eₘ( m|n ) 위의 선형화된 라인 번들들과, Z/nZ에 해당하는 이산적인 토션 객체들의 직합으로 나타난다. 여기서 m은 n의 약수이며, μ가 변함에 따라 모든 가능한 m이 실현된다. 따라서 M_σ(μ)는 서로 다른 m에 대해 서로 다른 컴포넌트 Eₘ와, 각 컴포넌트마다 n개의 이산점(Z/nZ)으로 이루어진 분리합이다. 이 컴팩트화는 S‑동치에 의해 자연스럽게 이루어지며, 각 컴포넌트는 정상화된 타원곡선 Eₘ와 동형이다.

마지막으로, σ와 호환되는 모든 오토이퀼리베런스 군을 명시적으로 구성한다. 기본적인 변환은 다음 네 종류이다. (1) 시프트