[논문 리뷰] Betti numbers of random real hypersurfaces and determinants of random symmetric matrices

Damien Gayet, Jean-Yves Welschinger|arXiv (Cornell University)|2012. 07. 06.

Geometry and complex manifolds참고 문헌 18인용 수 50

한 줄 요약

이 논문은 매끄러운 실수 사영 다양체 내의 무작위 실수 초곡면의 기대 베티 수에 대한 渐近 상한을 확립하며, 이들이 차수의 제곱근 비율로 증가함을 보여준다. 이러한 상한은 실수 국소의 켈러 체적과 무작위 실수 대칭 행렬의 기대 절대행렬식에 의존하며, 차원이 증가함에 따라 중간 차원 베티 수에서 멀어질수록 계수가 지수적으로 감소한다.

ABSTRACT

We asymptotically estimate from above the expected Betti numbers of random real hypersurfaces in smooth real projective manifolds. Our upper bounds grow as the square root of the degree of the hypersurfaces as the latter grows to infinity, with a coefficient involving the K\\"ahlerian volume of the real locus of the manifold as well as the expected determinant of random real symmetric matrices of given index. In particular, for large dimensions, these coefficients get exponentially small away from mid-dimensional Betti numbers. In order to get these results, we first establish the equidistribution of the critical points of a given Morse function restricted to the ran- dom real hypersurfaces.

연구 동기 및 목표

• 실수 사영 다양체 내 무작위 실수 초곡면의 기대 총 베티 수에 대한 이전 상한을 향상시키기 위해.
• 총 합이 아니라 각각의 베티 수에 대한 개별 상한을 유도하기 위해.
• 무작위 실수 초곡면에 제한된 모어스 함수의 임계점의 등분포를 확립하기 위해.
• 베티 수의 渐近 행동을 주어진 서명을 가진 무작위 실수 대칭 행렬의 기대 절대행렬식과 연결하기 위해.
• 높은 차원에서 중간 차원 베티 수에서 멀어질수록 상한의 계수가 지수적으로 감소하는 정도를 밝혀내기 위해.

제안 방법

• 저자들은 실수 사영 다양체 위의 앰플 라인 번들의 고차 텐서 거듭제곱의 실수 헬름홀로직 섹션 공간에 대해 가우시안 확률 측도를 사용한다.
• 그들은 임의의 모어스 함수에 대해 실수 초곡면 위에서 인덱스 i의 임계점의 최소 개수로 가짜 베티 수를 정의한다.
• 인덱스 i의 임계점의 경험 측도를 분석하고, 이가 켈러 체적 형식에 비례하는 밀도로 약한 수렴함을 증명한다.
• 핵심 기술 도구는 무작위 실수 초곡면에 제한된 모어스 함수의 임계점의 渐近 등분포이다.
• 기대 베티 수는 주어진 서명을 가진 대칭 행렬의 기대 절대행렬식을 사용하여 상한화된다. 이를 $ e_{\mathbb{R}}(i,n-1-i) $ 로 표기한다.
• 분석은 무작위 행렬 이론과 가우시안 측도를 갖는 대칭 행렬 공간 위의 적분에 기반한다.

실험 결과

연구 질문

• RQ1 무작위 실수 초곡면의 개별 기대 베티 수는 실수 사영 다양체 내 초곡면의 차수와 함께 어떻게 증가하는가?
• RQ2 실수 국소의 켈러 체적이 베티 수의 渐近 증가에 영향을 미치는 데서 어떤 역할을 하는가?
• RQ3 주어진 서명을 가진 무작위 실수 대칭 행렬의 기대 절대행렬식은 베티 수 상한에 어떻게 영향을 미치는가?
• RQ4 다양체 차원이 증가함에 따라 상한의 계수가 중간 차원 베티 수에서 멀어질수록 얼마나 감소하는가?
• RQ5 무작위 실수 초곡면 위의 모어스 함수의 임계점 경험 분포는 차수의 무한대에 접근함에 따라 약한 수렴을 통해 매끄러운 측도로 수렴하는가?

주요 결과

• d \to \infty 일 때, 기대 베티 수 $ E(b_i) $ 는 $ \frac{1}{\sqrt{\pi}} e_{\mathbb{R}}(i,n-1-i) \mathrm{Vol}_h(\mathbb{R}X) \sqrt{d}^n $ 이하로 증가하며, 계수 $ e_{\mathbb{R}}(i,n-1-i) $ 는 서명 $ (i,n-1-i) $ 를 가진 대칭 행렬의 기대 절대행렬식에 의존한다.
• n=1 일 경우, 상한은 등식이 된다: $ E(b_0) \sim \frac{\mathrm{Length}_h(\mathbb{R}X)}{\sqrt{\pi}} \sqrt{d} $, 이는 실수 다항식에 대한 코스타란과 쇼브-스마일의 결과를 복원한다.
• 계수 $ e_{\mathbb{R}}(i,n-1-i) $ 는 높은 차원에서 지수적으로 감소하며, 특히 중간 차원 베티 수에서 멀어질수록 더욱 뚜렷하다.
• 무작위 실수 초곡면 위의 인덱스 i 임계점의 경험 측도는 $ d \to \infty 일 때, $ \frac{1}{\sqrt{\pi}} e_{\mathbb{R}}(i,n-1-i) \, d\mathrm{vol}_h $ 에 약한 수렴한다.
• p+q \leq 3 인 경우 $ e_{\mathbb{R}}(p,q) $ 의 명시적 값이 계산되었으며, 예를 들어 $ e_{\mathbb{R}}(1,0) = \frac{1}{\sqrt{2\pi}} $, $ e_{\mathbb{R}}(2,0) = \frac{1}{4}(\sqrt{2}-1) $, $ e_{\mathbb{R}}(1,1) = \frac{1}{\sqrt{2}} $ 이다.
• 결과는 X 위의 정규화된 체적 형식의 선택에 영향을 받지 않으며, 오직 곡률 형식 $ \omega $ 로부터 유도된 켈러 메트릭에만 의존한다.