초등적 증명과 일반화: 로슨 야우 공식의 새로운 접근

본 논문 "The Lawson-Yau Formula and its generalization"은 복소 사영 공간 P^n 내에서 주어진 차원 p와 차수 d를 갖는 유효 대수적 순환의 모듈라이 공간인 챠우 다양체 C_{p,d}(P^n)의 위상적 불변량인 오일러 지표 χ(C_{p,d}(P^n))를 연구합니다. 로슨과 야우는 이 값을 χ(C_{p,d}(P^n)) = \binom{v_{p,n}+d-1}{d} (여기서 v_{p,n} = \binom{n+1}{p+1})로 계산한 바 있으며, 그들의 증명은 순환 공간의 홀로모픽 대칭성과 고정점 정리를 활용한 것이었습니다. 이 논문의 주요 목적은 세 가지입니다: 첫째, 이 로슨-야우 공식을 푸앵튼의 교재에서 소개된 '법뭉치 끌어당기기'와 같은 보다 초등적이고 직접적인 대수기하학적 방법으로 재증명하는 것. 둘째, 이 결과를 양의 표수까지 포함한 임의의 대수적으로 닫힌 체 K 위에서, 체의 표수와 서로소인 소수 l에 대한 l-진 오일러-푸앵카레 지표로 일반화하는 것. 셋째, 사영 공간의 자동형사상 유한군 G의 작용 하에서 불변인 순환으로 이루어진 부분 다양체 C_{p,d}(P^n)^G의 오일러 지표를 계산하는 것. 2장에서는 초등적 증명을 제시합니다. 증명의 핵심은 로슨이 복소 현수 정리를 증명할 때 사용한 현수 사상 Σ_P: C_{p,d}(P^n) → C_{p+1,d}(P^{n+1})의 성질을 활용하는 것입니다. 고정된 초평면 P^n ⊂ P^{n+1}과 그 밖의 한 점 P를 선택합니다. 목표 공간 C_{p+1,d}(P^{n+1})를 두 부분으로 나눕니다: 모든 기약 성분이 P^n과 일반 위치에 있는(p차원으로 만나는) 순환의 집합 T_{p+1,d}(P^{n+1})와, 적어도 하나의 기약 성분이 P^n에 완전히 포함된 순환의 집합 B_{p+1,d}(P^{n+1})로요. 로슨의 결과에 따르면, T_{p+1,d}(P^{n+1})는 자리스키 열린 집합이며, 현수 사상의 상은 그 안에 포함되고 강한 변형 수축입니다. 따라서 χ(C_{p,d}(P^n)) = χ(T_{p+1,d}(P^{n+1}))이 성립합니다. 한편, B_{p+1,d}(P^{n+1})는 P^n에 포함된 부분의 차수 i (1 ≤ i ≤ d)에 따라 분해되며, 각 조각은 C_{p+1,i}(P^n) × T_{p+1,d-i}(P^{n+1})와 위상동형임을 보입니다. 이 분해와 오일러 지표의 가법성, 그리고 T 부분에 대한 위의 등식을 결합하면, χ(C_{p+1,d}(P^{n+1})) = χ(C_{p,d}(P^n)) + Σ_{i=1}^{d} χ(C_{p+1,i}(P^n))·χ(C_{p,d-i}(P^n))이라는 재귀 공식을 얻습니다. 여기에 0-차원 순환의 경우 χ(C_{0,d}(P^n)) = \binom{n+d}{d}라는 기초값(맥도날드 공식의 특수한 경우)을 대입하고 생성 함수를 통해 재귀 관계를 풀면 최종적인 로슨-야우 공식이 유도됩니다. 3장에서는 이 결과를 l-진 코호몰로지 설정으로 일반화합니다. K가 임의의 대수적으로 닫힌 체이고, l이 char(K)와 서로소인 소수일 때, 대수적 다양체 X_K의 l-진 오일러-푸앵카레 지표 χ(X_K, l)를 정의합니다. 2장의 기하학적 구성(현수 사상, 부분 공간으로의 분해)은 대수적으로 닫힌 체 위에서도 완전히 유효하며, 프리드랜더에 의해 대수적 버전이 검증되었습니다. l-진 코호몰로지에서도 국소화 완전열, 호모토피 불변성, 쾨니스 공식이 성립하므로, 2장과 정확히 동일한 재귀 논리가 적용 가능합니다. 또한, 0-차원 순환의 지표 공식도 대수적으로 유지됩니다. 따라서 최종 결론 χ(C_{p,d}(P^n)_K, l) = \binom{v_{p,n}+d-1}{d}에 도달하며, 이는 복소 기하학적 오일러 지표와 수치적으로 동일한 보편적 공식임을 보여줍니다. 4장과 5장에서는 군 불변 순환의 오일러 지표를 다룹니다. 유한군 G가 P^n의 선형 자동형사상으로 작용할 때, 이 작용은 챠우 다양체로 자연스럽게 승상됩니다. G-불변 순환만 모은 부분 다양체 C_{p,d}(P^n)^G를 고려합니다. 군 표현 ρ: G → U_{n+1}이 대각화 가능하다고 가정하면, 이를 P^{n+1} = P^n ⊕ C 위의 작용으로 확장할 수 있습니다. 이 확장된 작용 하에서, 2장의 현수 사상과 분해 구조가 G-불변 부분 다양체의 범주에서도 유사하게 성립함을 보입니다. 특히, 순환을 P^n에 포함된 G-불변 부분과 그렇지 않은 G-불변 부분으로 분해할 수 있고, 이로부터 동일한 형태의 재귀 공식이 χ(C_{p,d}(P^n)^G)에 대해서도 성립함을 증명합니다. 기초값 역시 G-불변인 0-차원 순환과 G-불변인 초곡면의 모듈라이 공간(사영 공간)을 통해 동일하게 계산됩니다. 따라서, 결론적으로 대각화 가능한 군 작용에 대해서는 오일러 지표가 원래 로슨-야우 공식과 전혀 변하지 않습니다: χ(C_{p,d}(P^n)^G) = \binom{v_{p,n}+d-1}{d}. 이 결과를 특수한 경우에 적용하면, 복소 사영 공간 내의 '우측 쿼터니언 순환' 공간(쿼터니언 곱셈의 우측 작용에 불변인 순환들의 공간)의 오일러 지표를 계산할 수 있습니다.