MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

The proof of Brouwer fixed point theorem by using fundamental group of $S^1$ is equal to $\mathbb{Z}$, while the fundamental group of $D^2$ is trivial.