A polygonal region in a covering space (typically Euclidean or hyperbolic plane) whose edges are paired by a discrete group of isometries so that identifying pairs produces a quotient surface or orbifold; interior points map injectively to the quotient.

Principle

A fundamental polygon is a fundamental domain for a properly discontinuous group action that can be chosen polygonal: edges are matched by group elements, vertices correspond to orbits, and the polygon tiles the covering space under the group action.

Demonstration

Concrete examples include a square with opposite sides identified producing a torus, an octagon in the hyperbolic plane with side pairings giving a closed surface of higher genus, and polygonal fundamental domains for Fuchsian groups acting on the hyperbolic disk.

Misapplication

Calling any polygon with edge pairings a fundamental polygon without checking that the group acts properly discontinuously, that edge identifications are isometries, or that the interior maps injectively; using overlapping pieces or non-discrete identifications is incorrect.

Consequence

Correct construction yields a combinatorial and geometric description of the quotient: one obtains presentations of the fundamental group from edge pairings, a geometric decomposition of the surface, and tools to compute invariants such as Euler characteristic and genus.

Reversal

The complement is the covering space without identifications or a polygon that fails to represent a full fundamental domain (for example, a region overlapping its translates); such a polygon does not define the quotient structure.

Boundary

Applies when a discrete group of isometries acts on a covering space and a polygonal fundamental domain exists; excludes continuous group actions without proper discontinuity, non-polygonal fundamental domains, and constructions that require additional orbifold structure unless specified.

Semantic Tension

Tension exists between the general term fundamental domain (which can be any measurable or topological region) and the polygonal specialization; similarly, one must distinguish algebraic fundamental polygons (combinatorial edge labellings) from metric, isometric realizations.

Synthesis

A fundamental polygon is a polygonal choice of fundamental domain for a discrete isometry group acting on a covering space: by pairing edges via group elements one obtains the quotient surface or orbifold and a concrete combinatorial description of its topology and geometry.