FenchelNielsenZomorrodian.Discrete.CompactFuchsian

7 sections | 41 files | 601 declarations

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

AbelianizationKernel

3 files | 9 declarations | 9 Definition

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.AbelianizationKernel` folder.

7 files | 148 declarations | 99 Theorem | 46 Definition | 3 Abbreviation

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.FirstReduction` folder.

1 files | 16 declarations | 4 Theorem | 6 Definition | 6 Abbreviation

The two-entry period family has the prescribed periods.

9 files | 156 declarations | 109 Theorem | 45 Definition | 2 Abbreviation

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.PeriodOne` folder.

1 files | 2 declarations | 1 Theorem | 1 Definition

The lcm condition produces finite solvable smooth quotient data in the one-period case.

13 files | 202 declarations | 139 Theorem | 60 Definition | 3 Abbreviation

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.SecondReduction` folder.

7 files | 68 declarations | 47 Theorem | 18 Definition | 3 Structure

Wrapper for the `FenchelNielsenZomorrodian.Discrete.CompactFuchsian.ZeroGenus` folder.