11

Part of 2021 Alibaba Global Math Competition

Problems(1)

Order of homology group of boundary is a square

Source: Alibaba Global Math Competition 2021, Problem 11

M

be a compact orientable

2n

-manifold with boundary, where

n \ge 2

H_0(M;\mathbb{Q}) \cong \mathbb{Q}

H_i(M;\mathbb{Q})=0

i>0

. Prove that the order of

H_{n-1}(\partial M; \mathbb{Z})

is a square number.

homologymanifoldsboundarytopologyalgebraic topologycollege contests