FenchelNielsenZomorrodian.Discrete.Abelianization

4 sections | 4 files | 25 declarations

This module develops Fenchel--Nielsen--Zomorrodian presentation reductions, period relations, reindexings, and quotient maps.

EllipticAbelianization

1 files | 7 declarations | 6 Theorem | 1 Definition

The elliptic abelianization homomorphism records the period class of each elliptic generator.

1 files | 6 declarations | 6 Theorem

If a multiple kills a period class, then the gcd of that period with the lcm of the other periods divides the multiple.

1 files | 10 declarations | 4 Theorem | 4 Definition | 2 Abbreviation

Coordinate data for a single period in the abelianized Fenchel presentation.

1 files | 2 declarations | 2 Definition

The period-coordinate quotient used in the abelianized presentation is finite.