Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Here is a classic problem which I encountered and could not solve:

Prove that a simply connected closed smooth manifold has no closed sub-manifold of co-dimension $1$ with odd Euler characteristic.

Note: Closed means compact and without boundary.

I would appreciate any comments or direction in solving this.

share|cite|improve this question
up vote 15 down vote accepted

A co-dimension 1 boundaryless, connected manifold in a simply connected manifold separates it into two components -- this is a version of the generalized Jordan-Brouwer separation theorem, and most proofs of this theorem adapt immediately to this case.

So your manifold, call it $N$ is the boundary of two manifolds $N = \partial W$, $N= \partial V$ and $V \cup W$ is the given simply connected manifold, and $V \cap W = N$, with both $V$ and $W$ path-connected.

So the next step is proving that if a manifold is the boundary of another manifold, its Euler characteristic is even. There's a lot of different arguments for this. A simple one is to start with $N = \partial V$, and construct the double $dV$ of $V$. Then $\chi dV = \chi V + \chi V - \chi N$.

So $$\chi N = 2 \chi V - \chi dV$$

Think about various cases. If $N$ is even dimensional, $dV$ is odd dimensional, and it's closed, so by Poincare duality, $\chi dV=0$ and you're done.

If $N$ is odd dimensional, $\chi N=0$ and you're done.

share|cite|improve this answer

My solution after all:

Let $M$ be our manifold of dimension $m$ and suppose that $N \subset M$ be a hypersurface. Since $M$ is simply-connected, we obtain $H^1(M; \mathbb{Z})=0$ then by Poincare-duality, we also deduce that $H_{m-1}(M ;\mathbb{Z})=0$ which shows that $N$ is a boundary $N=\partial U$ where $U \subset M.$ Now, if we apply the Lefschetz duality to the pair $(U, \partial U)$, we obtain $\chi (N)=2 \chi (U)$ which proves the claim.

share|cite|improve this answer
It looks like you're assuming the Jordan-Brouwer separation theorem? – Ryan Budney Jun 1 '11 at 8:56
For example, $\mathbb RP^n \subset \mathbb RP^{n+1}$ is co-dimension 1 but does not separate. – Ryan Budney Jun 1 '11 at 9:04
@Ryan Budney: I could not add a comment. I think, it is complete, now. – Ehsan M. Kermani Jun 7 '11 at 10:56

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.