##  [Fundamental Polygon](/fundamental-polygon-0) 

 Definition

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

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

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

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

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

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

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

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

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.