[논문 리뷰] Complexity of intersections of real quadrics and topology of symmetric determinantal varieties

Antonio Lerario|arXiv (Cornell University)|2012. 11. 07.

Polynomial and algebraic computation참고 문헌 10인용 수 6

한 줄 요약

이 논문은 스펙트럴 시퀀스와 대칭 결정성 다양체의 위상수학을 이용하여, $\mathbb{R}\mathrm{P}^n$ 내에서 $k$개의 이차형식의 실수 교차의 총 베텨 수에 대한 새로운 위상적 상한을 설정한다. 분해성 위치 $\Sigma_W^{(r)}$의 호모로지 복잡도를 편미분과 쌍대성 원리를 통해 분석함으로써, 이전의 Basu의 $O(n)^{2k+2}$ 상한보다 크게 향상된 $b(X) \leq O(n)^{k-1}$을 증명한다.

ABSTRACT

Let X be the base locus of a linear system W of k quadrics. Let also S be the intersection of W with the discriminant hypersurface in the space of all homogeneous polynomials of degree two. We prove a formula relating the topology of X with the one of S and its (iterated) singular points. As a corollary we prove the sharp bound b(X)\leq O(n)^{k-1}.

연구 동기 및 목표

• 실수 $\mathbb{R}\mathrm{P}^n$ 내에서 $k$개의 이차형식의 교차 $X$의 총 베텨 수 $b(X)$를 상한으로 제시하는 것.
• 선형계 $W$ 내에서 기울어진 이차형식의 집합으로 정의된 대칭 결정성 다양체 $\Sigma_W^{(r)}$의 위상적 복잡도를 이해하는 것.
• Barvinok의 실수 대수기하학적 설정에서의 쌍대성 원리를 일반화하여, 이차형식의 수 $k$와 차원 $n$ 사이의 쌍대성을 활용하는 것.
• 기존의 반대칭기하학적 복잡도 추정치, 특히 Basu의 $O(n)^{2k+2}$ 상한보다 향상된 날카운 내재적 상한을 $b(X)$에 제공하는 것.
• 음의 정부호 이차형식을 사용한 선형계 $W$의 편미분을 통해 비일반적인 경우에도 상한을 확장하는 것.

제안 방법

• A. A. Agrachev가 개발하고 저자가 확장한 스펙트럴 시퀀스를 활용하여, $X$의 위상수학과 분해성 위치 $\Sigma_W^{(r)}$의 위상수학을 연결하는 것.
• 작은 음의 정부호 이차형식 $-\epsilon q$ 방향으로 선형계 $W$를 이동시켜 $W_\epsilon = W - \epsilon q$를 정의하는 편미분 도입.
• $\dim \ker(q) \geq r$ 조건을 만족하는 이차형식 공간 내의 구면과 $W_\varepsilon$의 교차로 정의된 $\Sigma_\varepsilon^{(r)}$의 위상수학 분석.
• 일반적 및 비일반적 $W$에 대해 유효한 상한 $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_\varepsilon^{(r)})$ 적용.
• 코드림의 고려를 통해 $\binom{r+1}{2} \geq k$이면 $\Sigma_W^{(r)}$가 공집합임을 보여, 합의 항의 수를 $O(k)^{1/2}$로 제한.
• 복소대수기하학 기법을 활용하여 실수 결정성 다양체를 복소 완전교차로 편미분하고, 복소 베텨 수를 통해 $b(\Sigma_\varepsilon^{(r)})$를 상한으로 제시하는 것.

실험 결과

연구 질문

• RQ1 실수 $\mathbb{R}\mathrm{P}^n$ 내에서 $k$개의 이차형식의 교차의 총 베텨 수에 대한 날카운 위상적 복잡도는 무엇인가?
• RQ2 선형계 내에서 기울어진 형식의 집합으로 정의된 대칭 결정성 다양체 $\Sigma_W^{(r)}$의 위상수학은 기저의 기하구조 $X$의 위상수학을 어떻게 제어하는가?
• RQ3 이차형식의 수 $k$와 차원 $n$ 사이의 쌍대성은 기존의 반대칭기하학적 복잡도 추정치를 넘어서는 더 날카운 상한을 도출하는 데 활용될 수 있는가?
• RQ4 선형계 $W$의 비일반성은 $X$의 위상적 복잡도에 어떤 영향을 미치며, 이를 작은 음의 정부호 이차형식을 이용한 편미분으로 어떻게 수정할 수 있는가?
• RQ5 특히 실수 설정에서, 대수적 및 기하학적 기법을 통해 $\Sigma_W^{(r)}$의 호모로지 복잡도를 얼마나 잘 상한으로 제시할 수 있는가?

주요 결과

• 논문은 실수 $\mathbb{R}\mathrm{P}^n$ 내에서 $k$개의 이차형식의 교차 $X$의 총 베텰 수에 대해 $b(X) \leq O(n)^{k-1}$ 상한을 설정하였으며, 이는 Basu의 $O(n)^{2k+2}$ 상한보다 크게 향상된 결과이다.
• 일반적인 $W$에 대해 공식 $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_W^{(r)})$가 성립하며, 코드림 제약 조건으로 인해 합의 항 수는 최대 $O(k)^{1/2}$개로 제한된다.
• 비일반적인 경우에도, 음의 정부호 이차형식을 이용한 $W$의 편미분을 통해 상한은 그대로 유지되며, $b(X) \leq b(\mathbb{R}\mathrm{P}^n) + \frac{1}{2} \sum_{r \geq 1} b(\Sigma_\varepsilon^{(r)})$가 성립한다.
• $\binom{r+1}{2} \geq k$이면 $\Sigma_W^{(r)}$가 공집합임을 보여, 합의 항 수가 제한되고 유한성이 보장된다.
• $k=3$인 경우, $b(X) \leq n^2 + O(n)$ 상한이 날카로우며, 세 개의 이차형식의 실수 완전교차의 알려진 최대 복잡도와 일치한다.
• $k=4$인 경우, $b(X) \leq 16n^3 + O(n)$ 상한이 유도되었지만, 복소수의 경우 상한인 $\frac{2}{3}n^3 + O(n)$에 비해 형태상 최적화되지 않았으며, 특이점의 정교한 분석을 통해 향상 가능할 여지가 있음을 시사한다.