[논문 리뷰] Asymptotiques de nombres de Betti d'hypersurfaces projectives réelles

Frédéric Bihan|ArXiv.org|2003. 12. 12.

Polynomial and algebraic computation참고 문헌 9인용 수 9

한 줄 요약

이 논문은 복소수 프로젝티브 공간에서의 실수 프로젝티브 초곡면과 그 이중 쌍대의 바티 수의 점근적 성장을 조사한다. 볼리의 조합적 방법을 사용하여 볼록 함수와 부호 분포를 활용하여, $\zeta_{i,n}$ 및 $\delta_{i,n}$와 같은 극한 상수의 존재를 입증한다. 이는 $m,k \to \infty$일 때 $\max b_i(\mathbb{R}X_m^n)/m^n \to \zeta_{i,n}$ 및 $\max b_i(\mathbb{R}Y_{2k}^n)/k^n \to \delta_{i,n}$를 의미하며, $n \geq 5$일 때 모든 실수 초곡면이 $T$-초곡면은 아니며, $\zeta_{0,3}$ 및 $\zeta_{1,3}$에 대한 명시적 상한과 하한을 제공한다.

ABSTRACT

We are interested in the maximal values of the Betti numbers b_i({\mathbb R}X_m^n) for fixed i,m,n; where {\mathbb R}X_m^n is the real part of a real nonsingular hypersurface of degree m in the complex projective space {\mathbb C}P^n, and in the maximal values of the Betti numbers b_i({\mathbb R}Y_{2k}^n) for fixed i,k,n; where {\mathbb R}Y_{2k}^n is the real part of a double covering Y_{2k}^n of{\mathbb C}P^n ramified over some real nonsingular hypersurface of degree 2k. We show the existence of limits lim_{m -> +\infty} [Max b_i({\mathbb R}X_m^n)]/m^n=h_{i,n} and lim_{k -> +\infty} [Max b_i({\mathbb R}Y_{2k}^n)]/k^n =d_{i,n}. We construct real nonsingular hypersurfaces as small perturbations of double hypersurfaces using the Viro method. This construction enables us to obtain recursive lower bounds for the h_{0,n} and d_{0,n}, and inequalities h_{0,3} >= d_{0,2}/6+1/12, h_{1,3} >= d_{1,2}/6+1/6. As applications, we show the existence, for any integer n >= 5, of real algebraic hypersurfaces in {\mathbb C}P^n which are not T-hypersurfaces, and we prove inequalities 35/96 <= h_{0,3} <= 5/12, 35/48 <= h_{1,3} <= 5/6.

연구 동기 및 목표

• 비특이 실수 초곡면의 차수 $m$이 $\mathbb{C}P^n$에서 $m \to \infty$로 갈 때, $b_i(\mathbb{R}X_m^n)$의 점근적 행동을 결정하는 것.
• 차수 $2k$의 비특이 실수 초곡면에서 분지하는 실수 이중 쌍대 $\mathbb{R}Y_{2k}^n$의 바티 수의 점근적 성장을 연구하는 것.
• 고정된 $i,n$에 대해 극한 상수 $\zeta_{i,n} = \lim_{m \to \infty} \max b_i(\mathbb{R}X_m^n)/m^n$ 및 $\delta_{i,n} = \lim_{k \to \infty} \max b_i(\mathbb{R}Y_{2k}^n)/k^n$의 존재를 확립하는 것.
• 볼리의 방법을 활용하여 실수 초곡면의 명시적 가족을 구성함으로써 $\zeta_{0,n}$ 및 $\delta_{0,n}$에 대한 재귀적 하한을 도출하고, $T$-초곡면에 대한 기존의 하한과 비교하는 것.
• $n \geq 5$일 때, $\mathbb{C}P^n$ 내에서 큰 차수의 실수 초곡면 중 $T$-초곡면이 아닌 것이 존재함을 입증하는 것. 이는 $T$-초곡면의 하한과 점근적 성장률을 비교함으로써 이루어진다.

제안 방법

• 저자들은 래티스 다각형 위에서 볼록 함수와 부호 분포를 사용하여, 사전에 지정된 위상수학적 성질을 갖는 실수 대수적 다양체를 구성하는 볼리의 방법을 사용한다.
• 이중 초곡면은 $f_k^2 - \epsilon f_{2k} = 0$의 작은 변형으로 정의되며, 여기서 $f_k$와 $f_{2k}$는 각각 차수 $k$와 $2k$인 실수 동차 다항식이다.
• 결과로 얻어진 실수 초곡면 $\mathbb{R}X$의 위상수학적 성질은 $l = 1,\dots,n$에 대해 $\mathbb{R}X_k^l \times \mathbb{R}Y_{2k}^{n-l}$의 곱을 포함하는 '자르고 붙이는' 구조에 의해 결정되며, 여기서 $Y_{2k}^{n-l}$는 저차원 프로젝티브 공간의 실수 이중 쌍대이다.
• 점근적 행동은 $k \to \infty$일 때, 자르고 붙이는 구조의 위상수학적 복잡성이 무시 가능해지므로, 극한 상수 $\zeta_{i,n}$ 및 $\delta_{i,n}$가 정의될 수 있음을 보여줌으로써 분석된다.
• 재귀적 방법으로 저차원 빌딩 블록에 볼리의 구성법을 반복 적용함으로써 $\zeta_{0,n}$ 및 $\delta_{0,n}$에 대한 재귀적 하한을 구성한다.
• 극한 상수 $\zeta_{i,n}$ 및 $\delta_{i,n}$의 존재는 삼등분과 부호 분포의 공간에서의 컴acts성 원리에 기반하며, 자르고 붙이는 구조의 구성 요소 수가 점근적 영역에서 무시 가능해지는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 비특이 실수 초곡면의 차수 $m$이 $\mathbb{C}P^n$에서 $m \to \infty$로 갈 때, 최대 $i$-번째 바티 수 $b_i(\mathbb{R}X_m^n)$의 점근적 성장률은 무엇인가요?
• RQ2 고정된 $i,n$에 대해 극한 $\zeta_{i,n} = \lim_{m \to \infty} \max b_i(\mathbb{R}X_m^n)/m^n$ 및 $\delta_{i,n} = \lim_{k \to \infty} \max b_i(\mathbb{R}Y_{2k}^n)/k^n$이 존재하는가요?
• RQ3 볼리의 방법에 기반한 재귀적 구성법을 사용하여 극한 상수 $\zeta_{i,n}$ 및 $\delta_{i,n}$를 하한으로 유계화할 수 있는가요?
• RQ4 $n \geq 5$일 때, $\mathbb{C}P^n$ 내에서 큰 차수의 실수 초곡면 중 $T$-초곡면이 아닌 것이 존재하는가, 즉 볼리의 패치워킹과 볼록 함수를 통해 실현할 수 없는가요?
• RQ5 점근적 상수 $\zeta_{i,n}$는 $T$-초곡면의 해당 상수 $T\zeta_{i,n}$와 어떻게 비교되는가, 특히 고차원에서 어떻게 되는가요?

주요 결과

• 모든 $i,n$에 대해 극한 $\zeta_{i,n} = \lim_{m \to \infty} \max b_i(\mathbb{R}X_m^n)/m^n$ 및 $\delta_{i,n} = \lim_{k \to \infty} \max b_i(\mathbb{R}Y_{2k}^n)/k^n$이 존재하며, 이는 양의 실수이다.
• $n=3$일 때, 논문은 $\frac{35}{96} \leq \zeta_{0,3} \leq \frac{5}{12}$ 및 $\frac{35}{48} \leq \zeta_{1,3} \leq \frac{5}{6}$의 상한과 하한을 확립한다.
• 논문은 $\zeta_{0,3} \geq \frac{\delta_{0,2}}{6} + \frac{1}{12}$ 및 $\zeta_{1,3} \geq \frac{\delta_{1,2}}{6} + \frac{1}{6}$를 증명하여 3차원 및 2차원 불변량 간의 연결을 제시한다.
• $n \geq 5$일 때, 논문은 $T\zeta_{0,n} < \zeta_{0,n}$임을 보여, $\mathbb{C}P^n$ 내에서 큰 차수의 모든 실수 초곡면이 $T$-초곡면은 아님을 시사한다.
• 논문은 저차원 실수 초곡면과 이중 쌍대의 곱에 대해 볼리의 구성법을 반복 적용함으로써 $\zeta_{0,n}$ 및 $\delta_{0,n}$에 대한 재귀적 하한을 제공한다.
• 오일러 지표의 점근적 성장은 $\max \chi(\mathbb{R}X_m^n) \sim \chi_n \cdot m^n$을 만족하며, 이는 어떤 상수 $\chi_n$에 대해 성립하며, 이는 다른 위상수학적 불변량으로도 확장된다.