A Hopf index for isotropic sections of orthogonal bundles

기술 요약: 직교 번들의 등방 섹션에 대한 호프 지표 (Hopf Index)

문제 제ри (Problem Statement)
본 논문은 비퇴화 이차 형식(nondegenerate quadratic form)을 갖춘 벡터 번들의 등방 섹션(isotropic sections)의 영점(zeros)의 다중도를 계산하는 문제를 다룬다. 고전적 위상수학에서 호프 지표 정리(Hopf index theorem)는 방향이 정해진 실 벡터 번들의 영점의 다중도를 회전수(winding number, $\pi_{2n-1}(S^{2n-1}) \cong \mathbb{Z}$의 원소)와 동일하게 나타낸다. 홀로모픽 섹션의 경우, 이 다중도는 영점 집합(zero locus)의 길이(length)와 일치한다.

그러나 직교 번들 $(E, q)$의 등방 섹션 $s$ ($q(s,s)=0$)의 경우, 상황은 더 복잡하다. [KL] 및 [OT1]의 코세션 국소화(cosection localisation)를 통해 정의된 "제곱근 오일러 클래스" $\sqrt{e}(E, s)$가 존재하지만, 이것이 항상 영점 집합 $Z(s)$의 길이와 일치하는 것은 아니며, 항상 표준적인 변형 불변(deformation-invariant) 계수처럼 행동하는 것도 아니다. 저자들은 할당된 다중도가 0임에도 불구하고 $Z(s)$의 길이가 3인 특정 반례(식 0.1)를 강조한다. 핵심 문제는 이 다중도 $\sqrt{e}(E, s)$를 위한 명시적이고 계산 가능한 공식을 제공하고, 왜 이 값이 0이 되거나 스킴 이론적 길이(scheme-theoretic length)와 달라질 수 있는지에 대한 위상적, 대수적 성질을 이해하는 것이다.

방법론 (Methodology)
저자들은 $SO(2n, \mathbb{C})$ 번들의 등방 섹션에 특화된 여덟 가지의 고전적 호프 지표 정리의 아날로그를 개발한다. 방법론은 다음과 같다:

1. 위상적 분석 (Topological Analysis): 등방 벡터 공간의 호모토피 군을 활용한다. $n=2$인 경우, 등방 라인(isotropic lines)의 공간은 $\mathbb{P}^1 \times \mathbb{P}^1$과 동형이며, 이를 통해 지표를 단일 정수에서 쌍 $(d_1, d_2)$로 세분화할 수 있다.
2. 호몰로지 및 코호몰로지 기법 (Homological and Cohomological Techniques): 호모토피 클래스를 호몰로지 클래스와 연결하기 위해 휴레비치 사상(Hurewicz map), 레레이 스펙트럴 시퀀스(Leray spectral sequences), 그리고 쿼드릭(quadrics) 상의 교차 이론을 사용한다.
3. 대수 기하 및 K-이론 (Algebraic Geometry and K-Theory): 코시 복합체(Koszul complex)와 클리포드 대수(Clifford algebras)를 사용한다. 구체적으로, 저자들은 스피너 모듈 $M = M_+ \oplus M_-$ 상에서 $s$에 의한 클리포드 곱으로 형성된 2-주기 복합체 $M_\bullet$를 활용한다.
4. 변형 및 국소화 (Deformation and Localisation): 섹션을 단순 영점으로 변형하는 과정과 토러스 국소화 기법(equivariant cohomology)을 적용하여 불변량을 계산한다.
5. 코세션 국소화 (Cosection Localisation): 새로운 공식들을 [KL]의 코세션 국소화 구성법을 통한 원래의 $\sqrt{e}(E, s)$ 정의와 비교하여, 새로운 공식들이 종종 계산 측면에서 더 우월함을 입증한다.

주요 기여 및 결과 (Key Contributions and Results)

본 논문은 $\sqrt{e}(E, s)$를 계산할 수 있는 여덟 가지의 서로 다른 공식(OH1–OH8로 명명됨)을 확립하며, 이들은 서로 동등함이 증명되었다:

• 위상적 공식 (OH1, OH2): 지표는 번들의 실수 부분의 구(sphere)로의 투영의 차수(degree)이거나, $\mathbb{P}(E)$ 내의 쿼드릭 $Q$로 투영된 섹션의 호모토피 클래스이다. $n=2$인 경우, 이는 정수 쌍 $(d_1, d_2) \in \mathbb{Z} \oplus \mathbb{Z}$로 세분화되며, $\sqrt{e}(E, s) = d_1 - d_2$를 만족한다.
• 홀로모픽 및 변형 공식 (OH3, OH4): 지표는 섹션이 극대 등방 부번들(maximal isotropic subbundle)을 통과할 경우 $\pm \text{length}(Z(s))$와 같지만, 일반적으로는 그렇지 않다. 저자들은 각 영점에서의 미분에 의해 생성되는 극대 등방 부분 공간에 의해 결정되는 부호를 합산하는 변형 공식을 제공한다.
• 동차 및 법 锥 공식 (OH5, OH6): 동차 섹션의 경우, 지표는 쿼드릭 성분으로의 사상의 차수로 표현된다. 일반적인 섹션의 경우, 이는 사영 법 锥(projective normal cone) $P(C_{Z(s)}/C^n)$를 통해 계산된다.
• K-이론적 공식 (OH7): 지표는 2-주기 클리포드 복합체의 코호몰로지 층(cohomology sheaves) 길이의 차이다: $\sqrt{e}(E, s) = \text{length } H^+(M_\bullet) - \text{length } H^-(M_\bullet)$.
• 토러스 국소화 (OH8): 지표를 등변(equivariant) 오일러 클래스의 비율로 나타내는 등변 공식이다.

$n=2$에 대한 세분화 (Refinement for $n=2$)
논문의 상당 부분은 $n=2$인 경우에 할애된다. 여기서 지표는 쌍 $(d_1, d_2)$로 세분화된다. 저자들은 $d_1$과 $d_2$가 각각 코호몰로지 층 $H^+(M_\bullet)$와 $H^-(M_\bullet)$의 길이와 대응함을 증명한다. 결정적으로, 차이 $d_1 - d_2$는 변형 불변인 가상 계수(virtual count)이지만, 개별 항 $d_1$과 $d_2$는 일반적인 경우 반드시 변형 불변인 것은 아니다. 다만 홀로모픽 등방 변형 하에서는 $n=2$에서 불변이다.

실행 예시 (Running Example)
논문은 이차 형식 $XY+ZW$를 가진$\mathbb{C}^2$상의 섹션$s = (x^2, y^2, xy, -xy)$를 반복적으로 사용한다.

• $Z(s)$의 길이는 3이다.
• K-이론적 접근법을 사용하여, 저자들은 $H^+(M_\bullet)$와 $H^-(M_\bullet)$의 길이가 각각 2와 2임을 계산한다.
• 그 결과 지표는 $2 - 2 = 0$이다.
• 이는 $\sqrt{e}(E, s)$가 영점 집합이 존재하고 양의 길이를 가짐에도 불구하고 0이 될 수 있음을 명시적으로 보여주며, 단순한 변형 불변성이 실패하는 이유를 설명한다.

의의 및 응용 (Significance and Applications)

본 논문은 대수 기하학 및 수학 물리학의 두 가지 주요 분야에서 의의를 갖는다:

1. 코세션 국소화된 가상 사이클 (Cosection Localised Virtual Cycles): 본 결과는 모듈라이 공간이 기대 차원(expected dimension)에서 코세션이 소멸하는 로커스(locus)를 갖는 경우에 사용되는 코세션 국소화된 가상 사이클의 차수를 계산하기 위한 실용적인 도구를 제공한다. 본 논문은 이러한 불변량이 비어 있지 않은 모듈라이 공간에 대해서도 0이 될 수 있음을 보여준다.
2. DT4 가상 사이클 (DT4 Virtual Cycles): 이 연구는 칼라비-야우 4-포울드(Calabi-Yau 4-folds)에 대한 도날드슨-토마세(Donaldson-Thomas) 불변량(DT4 이론)의 정의에 적용된다. 이 맥락에서 안정적인 층(stable sheaves)의 모듈라이 공간은 $(-2)$-시프트된 심플렉틱 구조를 갖는다. 저자들은 일반적인 DT4 모듈라이 공간에서 가상 계수가 0 또는 음수가 될 수 있으며, 이는 복소 계수보다는 실수 계수(예: $x^2-a=0$이 0 또는 2개의 해를 가질 수 있음)처럼 행동한다는 점을 언급한다. 그러나 모듈라이 공간이 $(-2)$-시프트된 코탄젠트 번들인 특수한 경우(예: 로컬 칼라비-야우 4-포울드)에는, 이론이 표준적인 Behrend-Fantechi 가상 사이클을 회복하여 복소 계수처럼 행동한다.

저자들은 이 작업의 "교훈"은 코세션이 존재하는 환경에서의 계수(DT4 이론에서와 같이)는 표준적인 복소 계수 기하학과는 근본적으로 다르며, 종종 0 또는 음수의 기여를 산출한다는 것이며, 직교 호프 지표가 이러한 현상을 이해하고 계산하기 위한 올바른 틀을 제공한다는 것이라고 결론짓는다.