Questions: Classification of Compact Surfaces

Question 1

Surface A is orientable with Euler characteristic −2. Surface B is non-orientable with Euler characteristic −2. Which of the following is true?

• A. They are homeomorphic because homeomorphism type is determined by the Euler characteristic alone
• B. They are not homeomorphic because they differ in orientability, and the classification requires both orientability and Euler characteristic to match
• C. They may or may not be homeomorphic depending on their triangulations
• D. They are locally homeomorphic but not globally, since all surfaces agree locally

Answer: (B)

The classification theorem says two compact connected surfaces (without boundary) are homeomorphic if and only if they agree on BOTH invariants: orientability and Euler characteristic. Same χ is not enough. Surface A (orientable, χ = −2) is a double torus (genus 2, since χ = 2 − 2g gives g = 2). Surface B (non-orientable, χ = −2) is a connected sum of 4 projective planes (since χ = 2 − k gives k = 4). These are genuinely different surfaces — no homeomorphism exists between them.

Question 2

A compact orientable surface has genus 3. What is its Euler characteristic?

• A. χ = 3
• B. χ = −1 (using χ = 2 − g)
• C. χ = −4 (using χ = 2 − 2g)
• D. χ = −3 (genus with a sign change)

Answer: (C)

For an orientable compact surface of genus g, the Euler characteristic is χ = 2 − 2g. With g = 3: χ = 2 − 6 = −4. This formula counts the sphere as χ = 2 (genus 0), the torus as χ = 0 (genus 1), the double torus as χ = −2 (genus 2), and so on — each handle added reduces χ by 2. Options A and D are common errors from confusing the formula; option B uses the non-orientable formula χ = 2 − k with k = 3.

Question 3

Two compact orientable surfaces are homeomorphic if and only if they have the same genus.

• T. True
• F. False

Answer: True

For the orientable family, genus alone determines the homeomorphism type. The orientable surfaces form a sequence: sphere (g=0), torus (g=1), double torus (g=2), and so on. Any two members of this sequence with the same genus are related by a homeomorphism, and members with different genera are not. This is precisely the content of the classification theorem restricted to orientable surfaces.

Question 4

A surface with Euler characteristic −2 is expected to be homeomorphic to the double torus.

• T. True
• F. False

Answer: False

χ = −2 alone does not determine the surface — orientability also matters. The double torus (orientable, genus 2) has χ = 2 − 2(2) = −2. But the connected sum of four projective planes (non-orientable, k=4) also has χ = 2 − 4 = −2. These two surfaces are NOT homeomorphic. The classification theorem requires both Euler characteristic AND orientability to match; knowing only χ leaves a two-way ambiguity (orientable vs non-orientable).

Question 5

What does it mean for the classification theorem of compact surfaces to be 'complete,' and why is this mathematically remarkable?

Model answer: Complete means every compact connected surface without boundary is homeomorphic to exactly one surface on the list: a sphere, a connected sum of g tori (g ≥ 1), or a connected sum of k projective planes (k ≥ 1). No exotic surfaces exist. Remarkably, just two pieces of data — a binary invariant (orientable or not) and a single non-negative integer (genus or crosscap number) — suffice to classify the entire infinite family of topologically distinct surfaces. Any two surfaces agreeing on both invariants are guaranteed to be homeomorphic.

The surprise is how much the theorem compresses. The space of all continuous deformation classes of surfaces is huge, yet it collapses to a two-parameter family. The proof uses triangulations and the van Kampen theorem to compute fundamental groups, showing that any surface can be reduced to a standard polygon identification — and then showing those identifications reduce to the canonical list. The completeness means there are no surprises lurking: every compact surface is already known.