[논문 리뷰] Dalian notes on rational Pontryagin classes

Michael Weiss|arXiv (Cornell University)|2015. 07. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 45인용 수 5

한 줄 요약

이 논문은 정수계수 코homology에서 직교군의 분류공간에 대해 잘 알려진 퇴화 관계를 만족하는 유리수 계수 푸앵카레 클래스가, 유클리드 공간의 위상수학적 호메오멀피즘 군의 분류공간의 코homology에서는 이러한 관계를 만족하지 못함을 밝힌다. 특히 충분히 큰 $ n $ 과 $ k < 5n/4 - c_2 $ 에 대해, 클래스 $ p_{n+k} $ 는 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 영이 아니며, 이는 고전적 벡터 번들의 관계를 위반한다.

ABSTRACT

The rational Pontryagin classes, evaluated on fiber bundles where the fiber is a 2n-dimensional euclidean space, can be nonzero in cohomology dimensions much greater than 4n. This makes a striking contrast with the Pontryagin classes of vector bundles.

연구 동기 및 목표

• 고전적 벡터 번들의 이론에서 유리수 계수 푸앵카레 클래스에 대한 퇴화 관계가 $ \mathbb{R}^m $ 을 섬유로 가지는 더 넓은 위상수학적 섬유번들 설정으로 확장되는지 조사하는 것.
• 벡터 번들의 이론에서 $ B\textup{SO}(2n) $ 에서 유효한 관계 $ p_n = e^2 $ 와 $ p_{n+k} = 0 $ 가 $ B\textup{TOP}(2n) $ 와 $ B\textup{STOP}(2n) $ 의 코homology에서 유지되는지 확인하는 것.
• 서로 다른 푸앵카레 수치가 0이지만 서명이 비영인 위상수학적 섬유번들을 존재시켜, 고전적 특성류 제약 조건의 실패를 보여주는 것.
• 호모토피 이론적 및 코버디즘 이론적 방법을 사용하여 고전적 관계가 실패하는 차원에 대한 명시적 상한을 제공하는 것.

제안 방법

• $ B\textup{O} $ 와 $ B\textup{TOP} $ 사이의 유리수 계수 호모토피 동치를 활용하여, 유리수 계수 푸앵카레 클래스를 $ B\textup{TOP}(m) $ 로 당겨내어 위상수학적 번들에 대한 특성류로 정의하는 것.
• 위상수학적 다양체에 대한 히르체브루흐 서명 정리를 적용하여, 접선 마이크로번들이 특성류의 분류 대상으로 해석되는 것을 이용하는 것.
• 기저 $ M $ 과 섬유 $ W_g $ (여기서 $ W_g $ 는 $ g $ 개의 $ S^n \times S^n $ 의 연결합) 를 가진 섬유번들 $ E \to M $ 의 기하학적 구성법을 사용하여 비영인 특성류를 실현하는 것.
• 전이 추론과 유리수 코homology 계산을 통해 $ n \geq 53 $, $ k \leq \lfloor 3n/4 \rfloor $ 인 경우 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 $ p_{n+k} \neq 0 $ 임을 보이는 것.
• 두 번째 메이어 큐브 정리와 유도된 사상 공간의 약한 덧셈성을 적용하여 분류 함자들의 호모토피 성질을 확인하는 것.
• 다양체에서 단순형 공간으로의 약한 덧셈성 함자를 구성하며, 프레임-코프레임 치환을 사용하여 주요 결과에 필요한 호모토피 조건을 만족시키는 것.

실험 결과

연구 질문

• RQ1 $ H^*(B\textup{SO}(2n);\mathbb{Q}) $ 에서 유리수 계수 푸앵카레 클래스에 대한 고전적 퇴화 관계 $ p_n = e^2 $ 와 $ p_{n+k} = 0 $ 가 $ B\textup{TOP}(2n) $ 의 코homology로 확장되는가?
• RQ2 고전적 벡터 번들의 관계를 위반하여 $ k > 0 $ 인 경우 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 유리수 계수 푸앵카레 클래스 $ p_{n+k} $ 가 영이 아닐 수 있는가?
• RQ3 서로 다른 푸앵카레 수치가 모두 0이지만 서명이 비영인 위상수학적 섬유번들이 존재하는가? 이는 고전적 특성류 제약 조건의 실패를 시사한다.
• RQ4 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 $ p_{n+k} \neq 0 $ 가 되는 데 필요한 $ n $ 과 $ k $ 의 효과적 하한은 무엇인가?
• RQ5 고전적 관계의 실패가 매끄럽고 안정적으로 평행화된 기저 다양체와 위상수학적 섬유번들을 통해 기하학적으로 실현될 수 있는가?

주요 결과

• $ n \geq 53 $ 이고 $ k \leq \lfloor 3n/4 \rfloor $ 인 경우, 유리수 계수 푸앵카레 클래스 $ p_{n+k} $ 는 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 영이 아니며, 이는 고전적 벡터 번들의 관계 $ p_{n+k} = 0 $ 와 모순된다.
• $ n \geq 83 $ 이고 $ k < 5n/4 - 11 $ 인 경우, 클래스 $ p_{n+k} $ 는 $ H^{4n+4k}(B\textup{TOP}(2n);\mathbb{Q}) $ 에서 영이 아니며, 명시적 상수 $ c_1 = 83 $, $ c_2 = 11 $ 를 포함한다.
• $ n \geq 83 $, $ k < 5n/4 - 11 $ 인 경우, $ H^{4n+4k}(B\textup{STOP}(2n+2k);\mathbb{Q}) $ 에서 클래스 $ p_{n+k} $ 는 $ e^2 $ 와 같지 않으며, 이는 위상수학적 설정에서 관계 $ p_n = e^2 $ 가 실패함을 보여준다.
• 기저 $ M $ 이 차원 $ 2n + 4k $ 인 닫힘, 안정적으로 평행화된 매끄러운 다양체이고, 섬유가 차원 $ 2n $ 인 닫힘, 양의 방향 위상수학적 다양체인 섬유번들 $ E \to M $ 가 존재하며, 이는 서명이 비영이지만 모든 분해 가능 푸앵카레 수치는 0이다.
• 섬유로는 $ g $ 개의 $ S^n \times S^n $ 의 연결합 $ W_g $ 를 사용하며, $ g $ 는 충분히 크게 선택되어 비영인 특성류를 실현한다.
• 결과는 $ B\textup{TOP}(2n) $ 에서 $ B\textup{STOP}(2n) $ 로의 전이를 통해 도출되며, 이는 전이가 전이된 공간에서의 비영성으로 이어지므로, $ p_{n+k} = e^2 $ 의 실패를 보여준다.