[논문 리뷰] The signed Euler characteristic of very affine varieties

Nero Budur, Botong Wang|arXiv (Cornell University)|2014. 03. 18.

Algebraic Geometry and Number Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 허와 슈트름펠스가 제기한 추측, 즉 모든 복소수 매우 아핀 다양체(\((\mathbb{C}^*)^n\)의 닫힌 기약 부분다양체)의 부호가 있는 오일러 특성은 \((-1)^{\dim X}\)를 곱한 후 비음성이 되어야 한다는 추측에 대해 반례를 구성한다. 저자들은 \(n\)가 홀수인 경우 \((\mathbb{C}^*)^4\) 내에 특이점을 가진 표면 \(U_n\)을 명시적으로 구축하여, \(\chi(U_n) = \frac{3-n}{2}\)임을 보이며, \(n\)이 증가함에 따라 이 값이 임의로 음성이 되므로, 국소적으로 완전교차의 경우를 초월하여 추측이 잘못되었음을 입증한다.

ABSTRACT

A conjecture of J. Huh and B. Sturmfels predicts that the sign of the Euler characteristic of a complex very affine variety depends only on the parity of the dimension. The conjecture is true for locally complete intersections. Beyond this case, we construct counterexamples with arbitrarily bad failure.

연구 동기 및 목표

• 복소수 매우 아핀 다양체 \(X \subset (\mathbb{C}^*)^n\)에 대해 \((-1)^{\dim X}\chi(X) \geq 0\)임을 보장하는 추측의 타당성을 조사한다.
• 기존의 국소적으로 완전교차(기하학적) 다양체의 경우를 초월하여 이 추측이 성립하는지 여부를 규명한다.
• 부호가 있는 오일러 특성이 추측된 음성이 아닌 성질을 위반하는 매우 아핀 다양체의 구체적 예를 제시한다.
• 군 작용과 몫 구조를 이용하여 이러한 다양체의 위상수학적 성질과 특이점을 분석한다.

제안 방법

• \(w+y=1\) 및 \(x+z=1\)의 영점으로 정의된 매끄러운 표면 \(U \subset (\mathbb{C}^*)^4\)을 정의한다.
• 원시 \(n\)제근 \(\xi\)에 대해 \(\mathbb{Z}/n\mathbb{Z}\)-작용을 \(({\mathbb{C}}^*)^4\)에 다음과 같이 도입한다: \(\xi(w,x,y,z) = (\xi w, \xi x, \xi^{-1}y, \xi^{-1}z)\).
• \((w,x,y,z) \mapsto (w^n, w/x, wy, wz)\)로 주어진 몫 사상 \(p_n: (\mathbb{C}^*)^4 \to (\mathbb{C}^*)^4\)을 구성하며, 이의 \(U\)에 대한 이미지는 \(U_n\)이다.
• \(U_n\)이 \((\mathbb{C}^*)^4\)의 특이점이 있는 기약 부분다양체이며, \(\frac{n-1}{2}\)개의 고립된 특이점을 가지며, 각 특이점은 \(\mathbb{C}^4\) 내에서 두 매끄러운 표면의 수직교차와 해석적으로 동일시됨을 보인다.
• \(U\)가 \(({\mathbb{C}}\setminus\{0,1\})^2\)와 동형이므로 \(\chi(U) = 1\)이며, 특이점 보정을 통해 \(\chi(U_n) = 1 - \frac{n-1}{2}\)를 계산한다.
• \(n=5\)일 때 \(\chi(U_5) = -1\)임을 확인하여, 이는 추측에 대한 첫 번째 반례가 된다.

실험 결과

연구 질문

• RQ1 국소적으로 완전교차가 아닌 모든 복소수 매우 아핀 다양체에 대해 \((-1)^{\dim X}\chi(X) \geq 0\)이 성립하는가?
• RQ2 임의로 음성이 되는 오일러 특성을 가진 매우 아핀 다양체를 구성할 수 있는가?
• RQ3 고립된 고정점이 있는 유한군 작용에 의한 매끄러운 매우 아핀 다양체의 몫의 위상적 구조는 어떠한가?
• RQ4 몫 다양체의 특이점은 오일러 특성에 어떤 영향을 미치는가?

주요 결과

• 매우 아핀 다양체의 부호가 있는 오일러 특성이 항상 음성이 아니며, 이는 허-슈트름펠스 추측이 국소적으로 완전교차의 경우를 초월하여 잘못되었음을 반박한다.
• 홀수 \(n\)에 대해 \((\mathbb{C}^*)^4\) 내의 표면 \(U_n\)은 오일러 특성이 \(\chi(U_n) = \frac{3-n}{2}\)이며, \(n\)이 증가함에 따라 임의로 음성이 된다.
• 다양체 \(U_n\)은 정확히 \(\frac{n-1}{2}\)개의 고립된 특이점을 가지며, 각 특이점은 \(\mathbb{C}^4\) 내에서 두 매끄러운 표면의 수직교차와 해석적으로 동일하다.
• \(n=5\)일 때 \(\chi(U_5) = -1\)이 되며, 이는 추측을 위반하는 첫 번째 알려진 예이다.
• 이 구성은 \(({\mathbb{C}}^*)^4\)에 대한 \(\mathbb{Z}/n\mathbb{Z}\)-작용과 몫 사상 \(p_n\)에 의존하며, 이는 아핀군의 구조를 유지한다.
• \(U_n\)의 정규화는 원래의 매끄러운 표면 \(U\)와 동형이므로, 특이점은 모두 몫 구성에 의해 기인함을 확인한다.