함수공간의 형식성 및 에일렌베르크‑맥케인 공간과의 관계

초록

본 논문은 차원 제한을 가진 형식적 nilpotent 공간 X와 충분히 연결된 공간 Y에 대해, 매핑 공간 𝔽(X,Y)의 형식성이 Y가 유리 동형사상으로 Eilenberg‑Mac Lane 공간들의 곱과 동등함을 강제한다는 정리를 증명한다. 또한, 이러한 조건을 완화한 경우 𝔽(S²,Y)가 형식적이면서도 Y가 Eilenberg‑Mac Lane 곱이 아닌 예시를 제시한다.

상세 분석

논문은 먼저 X가 nilpotent이며 차원 p까지 비자명한 유리 코호몰로지가 존재하고, 그 이상에서는 소멸한다는 가정을 둔다. 특히 p가 홀수이고 H^p(X;ℚ)≠0인 경우에 X가 형식적(formal)이라고 가정한다. Y는 m‑connected이며 m≥p+1인 고차 연결 공간으로, 유리 코호몰로지 대수 H^*(Y;ℚ)가 유한 생성임을 전제한다. 이러한 전제 하에 매핑 공간 𝔽(X,Y)=Map(X,Y)의 Sullivan 모델을 분석한다. X가 형식적이므로 그 최소 모델은 (ΛV,d)에서 d=0인 경우가 많으며, 이는 𝔽(X,Y)의 모델을 (Λ(V⊗W),D) 형태로 전개할 수 있게 한다. 여기서 W는 Y의 최소 모델 (ΛW,d)이다. 차원 제한과 연결성 조건을 이용하면 D는 기본적으로 0이 되거나, 비자명한 차수에서만 제한된 형태로 나타난다. 결과적으로 𝔽(X,Y)의 모델이 또다시 형식적이려면 D가 전역적으로 사라져야 하며, 이는 W가 d=0, 즉 Y가 모든 고차 미분이 사라진 Eilenberg‑Mac Lane 공간들의 곱이라는 결론을 강제한다. 논문은 이 논리를 정리하여 “𝔽(X,Y)가 형식적이면 Y는 유리 동형사상으로 K(ℚ,n)들의 곱이다”라는 정리를 얻는다. 반대 예시에서는 X=S², Y를 특정한 비형식적 공간(예: 복소 프로젝트 공간의 일부 고차 동형사상 체)으로 잡아, 𝔽(S²,Y)는 형식적이지만 Y는 Eilenberg‑Mac Lane 곱이 아님을 보인다. 이 예시는 차원 제한(p가 홀수)과 연결성(m≥p+1) 가정이 필수적임을 강조한다.