Holomorphic disks and GIT quotients

기술적 요약: 정칙 원반과 GIT 몫

문제 제기
본 논문은 연결된 콤팩트 리 군 $G$의 해밀토니안 작용을 갖는 매끄러운 대수다양체 $X$의 심플렉틱 기하학과 그 축소 (reduction) 의 심플렉틱 기하학 사이의 관계를 조사한다. 구체적으로, 저자는 $G$-불변 라그랑지안 부분다양체 $L$ 위에 경계를 갖는 $X$ 내의 정칙 원반들의 모듈라이 공간과, 몫 라그랑지안 $L/G$ 위에 경계를 갖는 기하학적 불변량 이론 (GIT) 몫 $X // G$ 내의 정칙 원반들의 모듈라이 공간 사이의 대응 관계를 확립하는 것을 목표로 한다.

심플렉틱 축소에서 주요한 어려움은, 작용의 모멘트 맵 $\mu^{-1}_G(0)$의 레벨 집합으로 제한하고 불안정 궤적을 폐기해야 하는 구성 과정 때문에, 축소 전후의 정칙 곡선들을 직접 비교하는 것이 자명하지 않다는 점이다. 등변 플로어 이론 (equivariant Floer theory) 은 이러한 비교를 위한 틀을 제공하지만, 본 논문은 등변 플로어 이론에 의존하지 않고 대신 GIT 몫과 심플렉틱 축소 사이의 다리를 제공하는 켐프 - 네스 (Kempf–Ness) 정리를 활용하여 관계를 확립하고자 한다.

방법론
이 접근법은 준안정 궤적 $X^{ss}$의 기하학적 구조와 정칙 몫 사상 $q: X^{ss} \to X // G$에 의존한다. 논문은 두 가지 주요 단계로 진행된다:

1. 주다발에 의한 대응: 저자는 준안정 궤적 $X^{ss}$와 몫 $X // G$ 사이의 관계를 정칙 주 $G$-다발 $q: P_G \to M$으로 모델링한다. 전체 공간 $P_G$(경계가 $L$에 있음) 과 기저 $M$(경계가 $L/G$에 있음) 내의 정칙 원반들의 모듈라이 공간을 분석함으로써 대응 관계를 확립한다.

   • 원반의 리프팅 (Lifting): 핵심적인 기술적 요소는 몫 $M$ 내의 모든 정칙 원반이 전체 공간 $P_G$로 정칙 리프팅 (lift) 을 갖는다는 것을 증명하는 것이다. 이는 경계 조건을 존중하는 원반 위의 당김 다발 (pullback bundle) 의 정칙 자명화를 구성함으로써 달성된다. 저자는 경계 축소와 호환되는 평탄한 계량의 존재를 보장하기 위해 디리클레 경계 조건을 갖는 에르미트 - 양 - 밀스 (Hermitian–Yang–Mills) 방정식의 가해성에 대한 도널드슨 (Donaldson) 의 결과를 활용하여 리프팅의 구성을 가능하게 한다.
   • 모듈라이 공간 동형: 리프팅 성질과 $\pi_2(G, G) = 0$이라는 사실을 이용하여, 저자는 전체 공간 내 모듈라이 공간의 몫과 몫 내 모듈라이 공간 사이의 유도된 사상이 방향을 보존하는 위상동형사상임을 증명한다.

2. 원반 퍼텐셜 계산: 논문은 "준안정"과 "불안정" 원반 클래스의 개념을 도입한다. 원반 클래스의 이미지가 완전히 $X^{ss}$ 내에 있으면 준안정이며, 그렇지 않으면 불안정하다.

   • 준안정 원반 퍼텐셜: 저자는 $L$의 원반 퍼텐셜에서 준안정 클래스에 해당하는 항들만 남김으로써 "준안정 원반 퍼텐셜" $W^{ss}_L$을 정의한다.
   • 변수 제거: 모든 마슬로프 지수 2 의 불안정 클래스가 "완전히 배제"된다 (즉, 모든 대표 원반이 불안정 궤적과 교차한다) 는 가정 하에, 몫 $L/G$의 원반 퍼텐셜은 유도된 기본군 사상 $q^*: \pi_1(L) \to \pi_1(L/G)$의 핵으로 $W^{ss}_L$을 제한함으로써 계산된다. 이는 군 작용의 방향에 해당하는 로랑 다항식 내의 변수들을 제거하는 과정을 포함한다.

주요 기여 및 결과

• 정리 A (Theorem 3.13): 적절한 정규성 및 위상적 가정 (특히 $L/G$가 스피너 (spin) 이고 모듈라이 공간이 콤팩트함) 하에서, 사상 $\phi: \mathcal{M}_1(P_G, L, J, \beta)/G \to \mathcal{M}_1(X // G, L/G, q^*J, q^*\beta)$는 방향을 보존하는 위상동형사상이다. 결과적으로, 원반 계수 불변량 $n_\beta$와 $n_{q^*\beta}$는 일치한다.
• 정리 B (Theorem 4.11): $L$이 양의 라그랑지안 토러스이고 모든 불안정 마슬로프 지수 2 클래스가 완전히 배제되는 토러스 작용의 경우, 몫 $L/G$의 원반 퍼텐셜은 $q^*$의 핵으로 제한된 $L$의 준안정 원반 퍼텐셜로 주어진다:
  $$W_{L/G}(z) = W^{ss}_L|_{\ker(q^*)}(z)$$
  이는 몫의 원반 퍼텐셜을 사전 몫 (prequotient) 에서 유도하기 위한 계산적으로 효과적인 공식을 제공한다.
• 정리 C (Theorem 6.3): 논문은 이러한 방법들을 2 차 초곡면 $Q_n \subseteq \mathbb{CP}^{n+1}$ 위의 젤란드 - 자이틀린 (Gelfand–Zeitlin, GZ) 시스템의 원반 퍼텐셜을 계산하는 데 적용한다. 퇴화 방법과 저차원 2 차 초곡면으로의 GIT 몫 축소를 활용하여, 저자는 이전 연구가 단조 (monotone) 섬유로 제한되었던 것과 달리 $Q_n$ 내의 임의의 토러스 섬유 $L_n(u)$에 대한 원반 퍼텐셜에 대한 명시적 공식을 유도한다. 결과적으로 얻어진 퍼텐셜은 다음과 같다:
  $$W_{L_n(u)}(y) = \frac{1}{y_n}T^{n-u_n} + \frac{y_n}{y_{n-1}}T^{u_n-u_{n-1}} + \dots + \frac{y_2}{y_1}T^{u_1-u_2} + 2y_2T^{u_2} + y_1y_2T^{u_1+u_2}$$

의의 및 주장
본 논문은 그 주요 이점이 정리 4.11 의 계산적 효과성에 있다고 주장한다. GIT 몫과 심플렉틱 축소 사이의 대응 관계를 활용함으로써, 이 방법은 직접 계산이 어려운 상황에서 원반 퍼텐셜의 명시적 계산을 가능하게 한다. 구체적으로, 이는 기저에서 전체 공간으로 원반 퍼텐셜을 리프팅하고 고차원 문제를 저차원 문제로 축소할 수 있게 한다.

저자는 이 축소 절차가 저차원 사례로 축소함으로써 고차원 등방성 플래그 다양체 (isotropic flag varieties) 에 대한 원반 퍼텐셜을 계산하는 효과적인 방법을 제공할 것으로 기대된다고 언급한다. 이 작업은 단조 섬유뿐만 아니라 임의의 토러스 섬유에 대한 퍼텐셜을 계산함으로써 젤란드 - 자이틀린 섬유에 대한 이전 결과를 일반화한다. 논문은 이러한 결과들이 등변 플로어 이론의 기구에 의존하지 않고, 대신 주다발의 기하학적 성질과 켐프 - 네스 정리에 의존하여 유도되었음을 강조한다.