Proper moduli spaces of orthosymplectic complexes

기술적 요약: 정사형-심플렉틱 복합체의 적절한 모듈라이 공간

문제 정의
본 논문은 $\dim(X) \geq 2$인 복소 매끄러운 사영 다양체 $X$ 위에서 주 $G$-번들(principal $G$-bundle)의 모듈라이 공간을 컴팩트화하는 문제를 다룬다. 곡선(curve)의 경우 준안정 주 번들의 모듈라이 공간은 컴팩트하지만(Ramanathan), 고차원 사례에서는 컴팩트성을 달성하기 위해 "특이 주 번들(singular principal bundles)"이라는 개념이 필요하다. 기존의 접근 방식들은 주 $\rho$-층(principal $\rho$-sheaves, $G$의 표현 $\rho$에 의존함)을 활용한다. 저자는 직교($O_n$) 및 심플렉틱($Sp_{2n}$) 군을 위해 **정사형-심플렉틱 복합체(orthosymplectic complexes)**를 사용하는 대안적인 컴팩트화를 제안한다. 이들은 자신의 유도 쌍대(derived dual)와 동형인 코히어런트 층(coherent sheaves)의 복합체이다. 핵심 과제는 브릿지랜드 준안정(Bridgeland semistable) 정사형-심플렉틱 복합체의 모듈라이 스택에 대해 **적절한 좋은 모듈라이 공간(proper good moduli spaces)**의 존재성을 확립하는 것이다.

방법론
본 논문은 추상적인 스택 이론과 유도 범주(derived categories)에 대한 구체적인 응용을 결합한 두 갈래의 접근 방식을 채택한다:

1. 고정 궤적(Fixed Loci) 및 매핑 스택(Mapping Stacks)의 일반 이론:
   저자는 유한 군 작용과 매핑 스택 하에서 "좋은 모듈라이 공간"이 보존되는 것에 관한 일반적인 결과를 확립한다.

   • 고정 궤적: 알제브라적 스택 $\mathcal{X}$가 좋은 모듈라이 공간 $\mathcal{X} \to X$를 가질 때, 저자는 유한 군 $\Gamma$에 의한 고정 궤적 $\mathcal{X}^\Gamma$를 조사한다.
   • 매핑 스택: 저자는 매핑 스택 $\text{Map}(B\Gamma, \mathcal{X})$를 분석하며, 작용이 자명할 때 이것이 고정 궤적과 동치임을 보여준다.
   • 밸류에이티브 기준(Valuative Criterion): 증명의 핵심은 보편적 폐쇄성(universal closedness)에 대한 밸류에이티브 기준을 검증하는 데 있다. 저자는 Alper, Halpern-Leistner, Heinloth [2]의 결과들을 변형하여, 만약 $\mathcal{X}$가 좋은 모듈라이 공간을 가진다면, $\text{Map}(B\Gamma, \mathcal{X})$(그리고 분리 가정 하에서의 $\mathcal{X}^\Gamma$) 또한 원래의 기저 위에 유한한(finite) 좋은 모듈라이 공간을 가짐을 보여준다. 이는 제너릭 파이버(generic fiber)로부터 이산 밸류에이션 링(discrete valuation rings)의 확장으로 $\Gamma \to \text{Aut}(x_K)$인 군 준동형 사상을 리프팅하는 과정을 포함한다.

2. 정사형-심플플렉틱 복합체로의 응용:

   • 정의: 정사형-심플플렉틱 복합체는 완전한 복합체(perfect complexes)의 모듈라이 스택 $\text{Perf}(X)$ 상의 $\mathbb{Z}/2$-작용의 고정점으로 정의된다. 이 작용은 dg-범주 상의 자기-쌍대 구조 $D = R\text Hom(I^*(-), L)[s]$에 의해 유도되며, 여기서 $I$는 인볼루션(involution), $L$은 라인 번들, $s$는 정수이다.
   • 안정성: 저자는 **자기-쌍대(self-dual)**인 브릿지랜드 안정성 조건 $\tau = (Z, \mathcal{P})$ (즉, $(Z, \mathcal{P}) = (Z^\vee, \mathcal{P}^\vee)$)를 고려한다.
   • 구성: 준안정 정사형-심플플렉틱 복합체의 모듈라이 스택은 자기-쌍대 구조를 가진 복합체의 모듈라이 스택의 고정 궤적으로 식별된다.

주요 기여 및 결과

• 정리 3.1 (일반 결과): $\mathcal{X}$가 노터리안 알제브라적 공간 $S$ 위에서 아핀 대각선(affine diagonal)을 갖는 로컬하게 유한 타입인 알제브라적 스택이고, 좋은 모듈라이 공간 $\mathcal{X} \to X$를 가진다고 하자.

  • 임의의 유한 군 $\Gamma$에 대하여, 매핑 스택 $\text{Map}(B\Gamma, \mathcal{X})$는 $X$ 위에 유한한 좋은 모듈라이 공간을 가진다.
  • $X$가 분리(separated)된 경우, 고정 궤적 $\mathcal{X}^\Gamma$ 또한 $X$ 위에 유한한 좋은 모듈라이 공간을 가진다.
  • 참고: 고정 궤적 결과에 대해서는 $X$가 분리되어 있다는 가정이 필요하다(예: 두 개의 원점을 가진 직선과 같은 반례가 존재함).

• 정리 4.4 (주요 응용): $X$를 고정된 자기-쌍대 데이터 $(I, L, s, \epsilon)$를 갖는 연결된 매끄러운 사영 $\mathbb{C}$-다양체라고 하자. $\tau$를 일반적 평탄성(generic flatness)과 유계성(boundedness)을 만족하는 유리적 중심 전하(rational central charge)를 갖는 자기-쌍대 브릿지랜드 안정성 조건이라 하자.

  • $\alpha = D(\alpha)$이고 $Z(\alpha) \in \mathbb{R}_{>0}$인 모든 천-클래스(Chern character) $\alpha$에 대하여, $\tau$-준안정 자기-쌍대 복합체의 모듈라이 스택은 적절한 좋은 모듈라이 공간을 가진다.
  • 결과적으로, 준안정 정사형-심플플렉틱 복합체 모듈라이 스택의 모든 연결 성분은 적절한 좋은 모듈라이 공간을 가진다.

의의 및 주장
본 논문은 이러한 적절한 좋은 모듈라이 공간들이 $O_n$ 및 $Sp_{2n}$을 위한 주 번들의 모듈라이 공간을 컴팩트화하는 후보 역할을 한다고 주장한다. 저자는 모티빅 도날드슨-토마스(motivic Donaldson–Thomas) 이론의 맥락에서 정사형-심플플렉틱 복합체가 주 $\rho$-층보다 더 편리하게 등장한다는 점을 언급한다.

본 논문은 $X$가 K3 또는 아벨 곡면(abelian surface)인 경우의 특정한 기하학적 성질들을 강조한다:

• 해당 모듈라이 스택은 0-시프트된 심플렉틱 구조(0-shifted symplectic structure)를 갖는 유도 강화(derived enhancement)를 가진다.
• 결과적인 적절한 좋은 모듈라이 공간은 푸아송 구조(Poisson structure)를 가지며, 이는 안정 궤적(stable locus) 위로 제한되어 심플렉틱 구조를 형성한다.
• 저자는 이 공간들이 자기-쌍대 퀴버(self-dual quivers)의 표현들의 모듈라이의 심플렉틱 축약(symplectic reductions) 상에서 국소적으로 모델링될 수 있음을 시사하지만, 본 논문은 이들이 심플렉틱 특이점(symplectic singularities)을 갖는지 또는 심플렉틱 해상(symplectic resolutions)을 허용하는지에 대한 문제(향후 분석을 위해 남겨진 질문들)를 해결하지는 않는다.

이 연구는 [2]에서 확립된 준안정 복합체의 밑 모듈라이 스택의 존재성에 의존하며, 섹션 3에서 개발된 일반적인 메커니즘을 통해 이 존재성을 고정 궤적으로 확장한다.