That isn't the Poincare Conjecture at all... you're asking, essentially, whether a smooth, connected, finite surface has a single local minimum that's also an absolute minimum. That's not a hard question.

The Poincare Conjecture postulates that if any loop on a "nice" surface can be shrunk to a point, it's topologically equivalent to a sphere. ("Nice" here means connected, finite, and without a boundary -- like a sphere or pyramid, but not a disk or infinite plane.) For instance, if the conjecture is true, a cube is topologically equivalent to a sphere, because if you draw a loop on it you can always shrink it down to a point; but a torus (donut) isn't, because a loop around a vertical cross-section can't be shrunk.

Perelman proved the conjecture for three-dimensional surfaces (which are the boundaries of four-dimensional objects).