다양체 위 부호조건 연결성분 수의 정밀 상한

초록

실수 닫힌 체에서 차수 d₀인 다항식으로 정의된 다양체 V(차원 k′)와 차수 d인 다항식 집합 𝒫(s개) 를 고려한다. 저자들은 𝒫의 모든 실현 가능한 부호조건에 대한 V 위 실반연결성분 수를 기존 결과보다 더 강하게, 특히 d₀≪d인 경우에 개선된 상한을 제시한다.

상세 분석

본 논문은 실수 닫힌 체 ℝ 위에서 차수 제한이 서로 다른 두 다항식 집합 𝒬와 𝒫 을 이용해 정의된 다양체 V=Zer(𝒬,ℝᵏ) (실차원 k′≤k) 위에서, 𝒫의 모든 실현 가능한 부호조건 σ∈{−1,0,1}^𝒫 에 대한 실반연결성분 b₀(R(σ,V)) 의 총합을 정밀히 추정한다. 기존 연구는 𝒬와 𝒫의 차수를 동일하게 가정하고 O(d)ᵏ 형태의 상한을 얻었으며, 특히 𝒬∪𝒫 모두 차수 d 인 경우 ∑{j≤k′} 4ʲ C(s,j) d(2d−1)^{k−1} 이라는 결과가 알려져 있었다. 저자들은 차수 d₀ (𝒬)와 d (𝒫)를 구분함으로써, d₀≪d인 상황에서 기존 상한을 크게 개선한다. 핵심 아이디어는 V를 무한소 섭동을 통해 매끄러운 완전 교차(complete intersection) W 로 근사하고, W와 𝒫의 무한소 섭동 다항식들의 교차를 복소 사영공간 ℙᵏ 내의 매끄러운 완전 교차로 전환한다는 점이다. 이렇게 얻어진 복소 다양체의 베티 수는 차수열에만 의존하는 고전적인 공식(레프셰츠·피오네·다항식)으로 정확히 계산 가능하며, Smith 부등식(b_i(ℝ)≤b_i(ℂ))을 적용해 실부분의 연결성분 수를 추정한다. 구체적으로, 각 j(0≤j≤k′)에 대해 C(s+1,j) 가지의 경우를 고려하고, 각 경우에 대해 (2d₀)^{k−k′} d^{j} max{2d₀,d}^{k′−j} + 2(k−j+1) 이라는 다항식 형태의 상한을 얻는다. 최종적으로
∑{j=0}^{k′} 4^{j} C(s+1,j) · binom{k+1}{k−k′+j+1} · (2d₀)^{k−k′} d^{j} max{2d₀,d}^{k′−j} + 2(k−j+1)
이라는 식을 제시한다. 특히 2d₀≤d 이면 O(1)^{k}·(sd)^{k′}·d₀^{k−k′} 형태로 간단히 표현될 수 있다. 논문은 또한 이 상한이 k′=0(점 집합) 및 k′=k−1(하이퍼플레인 절단) 경우에 최적임을 예시와 함께 증명한다. 마지막으로, 비실수 대수적 기하학에서 베지 수를 차수열에만 의존하게 하는 전통적 접근과 달리, 본 연구는 비정규화된 차수 구분을 통해 실제 응용(예: 기하학적 전단 이론, 로봇학 구성공간)에서 더 유용한 상한을 제공한다.