다항식 코호몰로지 환의 실현 문제 완전 해답

초록

본 논문은 Steenrod이 제기한 “어떤 다항식 형태의 코호몰로지 환이 실제 위상의 코호몰로지로 나타날 수 있는가?”라는 질문을 완전히 해결한다. 정수계수 Z에 대해서는 CP^∞, BSU(n), BSp(n)의 코호몰로지 환만이 텐서곱 형태로 실현 가능함을 보이며, 이는 오래된 추측을 확인한다. 일반적인 교환환 R에 대해서도 유사한 분류를 제시하고, p‑compact 그룹 이론을 핵심 도구로 사용한다.

상세 분석

Steenrod이 1960년에 제기한 문제는 “주어진 graded polynomial R‑algebra이 어떤 위상의 singular cohomology와 동형인지”를 묻는 고전적인 질문이다. 여기서 R은 충분히 좋은 교환환, 예를 들어 Noetherian이며 2‑torsion가 제한된 경우를 말한다. 기존 연구는 주로 R이 체인 경우, 특히 F_p (p는 소수)에서 진행되었으며, Notbohm은 p가 홀수일 때 완전한 분류를 얻었다. 그러나 정수계수 Z에 대해서는 아직 전면적인 답이 없었다.

본 논문은 먼저 “모든 변수의 차수가 짝수”라는 가정을 두고, R‑algebra A = R