Hamiltonian 축소와 접선다발의 아핀 폐쇄: 2 대형 작용의 새로운 전개

초록

비특이점 비특이 아핀 G‑다양체 Y가 2‑대형 작용을 가질 때, 그 접선다발 T*Y의 Hamiltonian 축소는 터미널 특이점을 갖는 심플렉틱 다양체이며, 이는 T*Z_{\text{reg}}(Z=Y//G)의 아핀 폐쇄와 동형이다. 또한, 이러한 다양체는 대칭해석학적 응용(차원 연산자 사상, 기호 사상, Kaledin‑Lehn‑Sorger 추측의 비선형 아날로그)과 심플렉틱 해상도 존재 여부에 대한 충분조건을 제공한다.

상세 분석

본 논문은 2‑large(2‑대형) 작용이라는 기술적 가정을 통해 두 가지 전통적인 심플렉틱 구축법을 연결한다. 첫 번째는 비특이 아핀 G‑다양체 Y의 접선다발 T*Y에 자연스럽게 유도되는 Hamiltonian G‑작용이며, 두 번째는 G‑불변성에 의해 형성되는 GIT 몫 Z=Y//G와 그 정규 부분 Z_{\text{reg}}의 접선다발이다. 저자는 정리 1.1에서 T*Y//!/G가 (i) 터미널 특이점을 갖는 심플렉틱 다양체, (ii) T*Z_{\text{reg}}의 아핀 폐쇄와 동형임을 증명한다. 핵심은 쉘 N_X=μ^{-1}(0)의 구조를 정밀히 분석하고, Hamiltonian slice 정리를 이용해 국소적으로 G‑불변 좌표를 잡아 N_X//G가 정상·정규·코히어미아우스 성질을 갖는 것을 보이는 것이다.

2‑large 조건은 “모든 비자명한 고정점이 차원 2 이상”이라는 의미로, 이는 G‑모듈 대부분이 만족한다는 사실을 인용해 일반성을 확보한다. 이 조건 하에서 N_X는 완전 교차이며, 따라서 Cohen‑Macaulay와 정규성을 얻는다. 또한, N_X//G가 FPIG(유한 주된 동형군)를 가질 때, 정리 3.7에 의해 Hamiltonian 축소가 심플렉틱 특이점(Beauville의 정의)을 만족한다는 충분조건을 제시한다.

다음으로 정리 1.2는 차원 연산자 환경을 다룬다. G‑불변 차원 연산자 링 D(Y)^G가 Z의 차원 연산자 링 D(Z)으로 사상될 때, 그 사상이 graded surjective임을 보여 Schwarz의 정리를 새로운 증명으로 재현한다. 또한, 기호 사상 σ_Z: D(Z)→S(Z) 역시 전사임을 증명해, Z의 대수적 구조가 차원 연산자와 완전하게 연결됨을 확인한다.

정리 1.3·1.4에서는 Q‑factoriality와 factoriality 조건을 통해 symplectic resolution의 존재 여부를 판단한다. G가 완전(abelianization이 유한)하고 Pic(Y) 가 유한하면 Cl(T*Y//G) 가 유한, 즉 Q‑factorial임을 보이며, G가 perfect하고 Pic(Y)=0이면 factorial임을 얻는다. 이를 이용해 정리 1.4는 “T*Y//G가 symplectic resolution을 갖는 경우는 Y//G가 비특이일 때에만 가능”이라는 강력한 비존재 결과를 도출한다.

마지막으로, 이러한 결과를 Kaledin‑Lehn‑Sorger가 제시한 선형 경우의 conjecture에 대한 비선형 아날로그로 확장한다. 즉, 2‑large 작용을 하는 모든 비선형 G‑다양체에 대해, symplectic resolution이 존재하려면 반드시 G‑불변 몫이 비특이해야 함을 증명한다.

전체적으로 논문은 Hamiltonian reduction, GIT, 그리고 심플렉틱 특이점 이론을 유기적으로 결합해, 기존에 선형 표현에 국한되던 결과들을 일반 아핀 다양체로 확장하고, 차원 연산자와 기호 사상의 구조적 특성을 동시에 밝히는 중요한 기여를 한다.