[논문 리뷰] Degrees of maps between Grassmann manifolds

Parameswaran Sankaran, Swagata Sarkar|ArXiv.org|2008. 05. 05.

Advanced Topics in Algebra참고 문헌 7인용 수 4

한 줄 요약

이 논문은 같은 실수 차원을 가진 복소수 및 허수 그라스만만다라 사이의 연속 사상의 차수를 조사한다. 코homological 기법, 특히 Lefschetz 대칭성과 이차형식에 대한 디오판틴 분석을 사용하여, 목표 그라스만만다라의 차수가 2 이상이고 원천이 충분히 클 경우 이러한 사상의 차수는 0임을 증명한다. 또한 차수 ±1은 오직 원천과 목표가 동일한 만다라일 때에만 호모토피 동치임을 보인다.

ABSTRACT

Let $f:G_{n,k}\longrightarrow G_{m,l}$ be any continuous map between any two distinct complex Grassmann manifolds of the same dimension where the target is not the complex projective space. We show that, for any given $k,l$, the degree of $f$ is zero provided that $m,n$ are sufficiently large. If the degree of $f$ is $\pm 1$, we show that $(m,l)=(n,k)$ and $f$ is a homotopy equivalence. Also, we prove that the image under $f^*$ of elements of a set of algebra generators of $H^*(G_{m,l};\mathbb{Q})$ is determined upto a sign, $\pm$, if the degree of $f$ is non-zero. Our proofs cover the case of quaternionic Grassmann manifolds as well.

연구 동기 및 목표

• 같은 실수 차원을 가진 복소수 및 허수 그라스만만다라 사이의 연속 사상의 가능한 차수를 결정하는 것.
• 특히 목표 그라스만만다라의 차수가 ≥2일 경우 반드시 차수 0이 되는 조건을 설정하는 것.
• 차수 ±1인 사상을 특성화하여, 원천과 목표가 동일한 그라스만만다라일 때에만 호모토피 동치임을 보이는 것.
• 사상에 의해 유도된 코homology에 대한 대수 생성자들의 이미지를 분석하여, 차수가 비영일 경우 부호를 제외한 채로 결정됨을 보이는 것.
• 문제를 디오판틴 방정식으로 환원하고, 4차 곡선의 정수점에 관한 Siegel의 정리를 적용하는 것.

제안 방법

• 그라스만만다라의 코homology 링의 구조를 분석하기 위해 하드 Lefschetz 정리와 Poincaré 대칭성을 사용하는 것.
• 차수 조건을 $ y^2 = F(x) $ 형태의 디오판틴 방정식으로 환원하며, $ F(x) $ 는 서로 다른 근을 가진 4차 다항식이다.
• 성질이 ≥1인 곡선의 정수점에 관한 Siegel의 정리를 적용하여 방정식이 유한한 해만을 가지며, 이는 큰 $ n $ 에서 차수 0임을 의미한다.
• Lefschetz 분해와 코homology 클래스의 호지 이론적 성질을 사용하여, 당사자 맵에 의한 대수 생성자의 이미지를 제약하는 것.
• Schubert 다양체와 그 차수를 통한 코homology 대수의 링 구조 분석.
• 디리클레의 단위 정리와 실 이차 수체의 정수환의 성질을 사용하여 관련 노름 방정식의 해를 유계화하는 것.

실험 결과

연구 질문

• RQ1 같은 실수 차원을 가진 그라스만만다라 사이의 연속 사상의 차수가 반드시 0이 되는 조건은 무엇인가?
• RQ2 그라스만만다라 사이의 사상이 차수 ±1일 경우 언제 반드시 호모토피 동치가 되는가?
• RQ3 차수가 비영일 경우, 당사자 맵에 의한 코homology 대수 생성자들의 이미지는 어떻게 제약을 받는가?
• RQ4 같은 차수를 가진 그라스만만다라 사이에 비영 차수 사상이 존재하기 위해 만족해야 할 디오판틴 조건은 무엇인가?
• RQ5 목표의 차수가 ≥2일 경우, 원천의 차수가 충분히 클 때 이러한 사상의 존재를 배제할 수 있는가?

주요 결과

• 모든 $ f: \text{Gr}(n,k) \to \text{Gr}(m,l) $ 에 대해 $ l \neq 1 $ 이고 $ n, m $ 이 충분히 클 경우, $ f $ 의 차수는 0이다.
• 만약 $ f $ 의 차수가 $ \neq 0 $ 이면, 각 대수 생성자 $ u_i \to H^{2i}(\text{Gr}(m,l);\bQ) $ 가 $ f^* $ 에 의해 전이되는 이미지는 부호를 제외한 채로 결정된다.
• 만약 $ 2 \neq l < k $ 이고 $ m,n \to \big( \text{with } k(n-k) = l(m-l) \big) $ 일 경우, $ (l^2-1)(k^2-1)((m-l)^2-1)((n-k)^2-1) $ 가 완전 제곱수일 때를 제외하고 차수는 0이다.
• 만약 $ f $ 의 차수가 $ \neq 0 $ 이면, $ f^* $ 는 $ \text{Gr}(m,l) $ 의 코homology 대수를 $ \text{Gr}(n,k) $ 의 코homology 대수로 전이하며, 이 이미지는 Lefschetz 분해에 의해 제약을 받는다.
• 차수가 $ \neq 0 $ 이면, 사상 $ f $ 는 차원의 제곱 차이의 곱이 완전 제곱수임을 요구하는 디오판틴 조건을 만족해야 한다.
• 목표의 차수가 $ 2 \neq l < k $ 일 경우 모든 이러한 사상의 차수가 0임을 시사하는 추측은 강력하게 지지된다: $ k=7 $ 일 경우 해가 존재할 수 있는 최소 $ n $ 은 $ 6.5 \times 10^9 $ 를 초과하며, $ k=3 $ 일 경우 $ 6.18 \times 10^{13} $ 를 초과한다.