[논문 리뷰] Anti-Perfect Morse Stratification

Nan-Kuo Ho, Chiu-Chu Liu|arXiv (Cornell University)|2008. 08. 28.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 11

한 줄 요약

이 논문은 비유도 가능한 표면 위의 연결성에 대한 양-밀스 함수에 대해 등변 반완전 모어 분할의 개념을 도입하며, G = U(2), SU(2), U(3), SU(3)일 때 이 분할이 국소적으로 등변적으로 ℚ-반완전임을 보여준다. 저자들은 π₁(Σ)에서 이러한 군으로의 표현 다양체에 대한 유리수 등변 모어-피카르 계수를 명시적인 공식으로 유도하여, U(2)/SU(2)에 대해 알려진 결과와 일치함을 확인하고, U(3)/SU(3)에 대해 새로운 공식을 제안한다.

ABSTRACT

For an equivariant Morse stratification which contains a unique open stratum, we introduce the notion of equivariant antiperfection, which means the difference of the equivariant Morse series and the equivariant Poincare series achieves the maximal possible value (instead of the minimal possible value 0 in the equivariantly perfect case). We also introduce a weaker condition of local equivariant antiperfection. We prove that the Morse stratification of the Yang-Mills functional on the space of connections on a principal U(n)-bundle over a connected, closed, nonorientable surface is locally equivariantly Q-antiperfect when the rank n=2,3; we propose that it is actually equivariantly Q-antiperfect when n=2,3. Our proposal yields formulas of G-equivariant Poincare series of the representation variety of flat G-connections for the nonorientable surface where G=U(2), SU(2), U(3), SU(3). Our rank 2 formulas agree with formulas proved by T. Baird in arXiv:0806.1975. Baird verified our conjectural rank 3 formulas when the nonorientable surface is the real projective plane or the Klein bottle (arXiv:0901.1604); he proved our conjectural U(3) formula for any closed nonorientable surfaces by establishing equivariant Q-antiperfection in this case (arXiv:0902.4581).

연구 동기 및 목표

• 등변 반완전 모어 분할을 정의하고 연구하며, 등변 모어 계수와 피카르 계수의 차이가 최대값을 가지게 되는 경우(완전한 경우의 0이 아닌 경우)를 다루는 것.
• 표준적인 완전성 조건이 위상적 장애로 인해 실패하는 비유도 가능한 표면로 아티야-보트의 등변 모어 이론을 확장하는 것.
• 비유도 가능한 표면 위의 주 G-bundle에 대한 양-밀스 함수의 등변 유리 피카르 계수를 G = U(2), SU(2), U(3), SU(3)에 대해 계산하는 것.
• G = U(2), SU(2), U(3), SU(3)일 때, 비유도 가능한 표면 위의 주 G-_bundle에 대한 양-밀스 함수의 모어 분할이 전역적으로 등변적으로 ℚ-반완전임을 제안하는 것.

제안 방법

• 등변 모어 계수와 등변 피카르 계수의 차이를 통해 국소적 등변 반완전성을 정의하며, 이 차이가 최소화되는 것이 아니라 최대화됨을 이용하는 것.
• 아티야-보트의 게이지 이론 프레임워크를 사용하여, 비유도 가능한 표면의 유도 가능한 이중표면 위의 반복적 등복사에 대한 고정점에 양-밀스 함수를 제한하는 것.
• 모어 분할의 정규 벡터다발을 분석하고, G = U(n), SU(n)일 때의 정규 벡터다발의 유도 가능성을 증명하여 유리수 계수의 사용을 가능하게 하는 것.
• 군 작용과 궤도 분해를 통해 분할의 등변 피카르 계수를 대칭 표현 다양체로 환원하는 것.
• 이 환원을 적용하여 아티야-보트 유형 (r,0,-r)에 의해 인덱싱된 분할의 피카르 계수를 계산하며, U(1) × U(1) 및 U(1) 작용에 대해 알려진 공식을 활용하는 것.
• 등변 피카르 계수의 총합에 대해 재귀적 공식을 유도하며, Mₜᴳ(L;ℚ) − Pₜᴳ(𝒜;ℚ) = (1+t)Rₜᴳ(ℚ) 인 식을 사용하고, Rₜᴳ(ℚ)이 최대가 되도록 하는 것.

실험 결과

연구 질문

• RQ1 등변 반완전성의 개념을 비유도 가능한 표면 위의 양-밀스 함수의 모어 분할에 정의하고 적용할 수 있는가?
• RQ2 왜 G = U(2), SU(2), U(3), SU(3)일 때 비유도 가능한 표면 위에서 모어 분할이 등변적으로 ℚ-완전하지 않으며, 이 경우 완전성 조건은 무엇으로 대체되는가?
• RQ3 비유도 가능한 표면 위에서 G = U(2), SU(2), U(3), SU(3)에 대해 표현 다양체 Hom(π₁(Σ), G)의 유리수 등변 피카르 계수는 무엇인가?
• RQ4 비유도 가능한 표면 위에서 주 G-bundle에 대한 양-밀스 함수의 모어 분할이 G = U(2), SU(2), U(3), SU(3)에 대해 전역적으로 등변적으로 ℚ-반완전한가?
• RQ5 반완전 분할 자료를 사용하여 평탄한 접속 공간의 피카르 계수를 재귀적으로 계산할 수 있는가?

주요 결과

• 비유도 가능한 표면 위의 주 G-bundle에 대한 양-밀스 함수의 모어 분할은 G = U(2), SU(2), U(3), SU(3)일 때 국소적으로 등변적으로 ℚ-반완전하다.
• G = U(2) 및 SU(2)일 때, 유도된 피카르 계수는 T. Baird의 알려진 공식과 일치하여 접근법의 타당성을 검증한다.
• G = U(3) 및 SU(3)일 때, Hom(π₁(Σ), G)의 유리수 등변 피카르 계수에 대해 새로운 공식을 제안하며, 이는 반완전 프레임워크와 일관된다.
• 인덱스 (r,0,-r)를 가진 분할의 피카르 계수는 G = U(3), SU(3)일 때 Pₜᴳ(𝒜ₜ;ℚ) = (1+t)²ᵍ / (1−t²)로 계산되며, 여기서 ḡ는 유도 가능한 이중표면의 기하학적 종수이다.
• 접속 공간의 총 피카르 계수는 G = U(3), SU(3)일 때 Pₜ(ℬ𝒢;ℚ) = (1+t³)ᵍ(1+t⁵)ᵍ / [(1−t⁴)(1−t⁶)]를 만족하며, 전체 계수는 반완전 분할에 대해 합을 취해 재구성된다.
• Pₜᴳ(X_flat;ℚ) = Pₜ(ℬ𝒢;ℚ) + ∑ᵣ>₀ t^{dᵣ−1} Pₜᴳ(𝒜ᵣ;ℚ) 식이 성립하며, 이는 최대 Rₜᴳ(ℚ) = ∑ᵣ>₀ t^{dᵣ−1} Pₜᴳ(𝒜ᵣ;ℚ)을 가진 반완전 구조를 확인한다.