Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Heegaard genera in congruence towers of hyperbolic 3-manifolds - MaRDI portal

Heegaard genera in congruence towers of hyperbolic 3-manifolds (Q450510)

From MaRDI portal





scientific article; zbMATH DE number 6082018
Language Label Description Also known as
English
Heegaard genera in congruence towers of hyperbolic 3-manifolds
scientific article; zbMATH DE number 6082018

    Statements

    Heegaard genera in congruence towers of hyperbolic 3-manifolds (English)
    0 references
    0 references
    13 September 2012
    0 references
    Heegaard genus
    0 references
    hyperbolic 3-manifold
    0 references
    congruence cover
    0 references
    0 references
    The author constructs a tower of covers of a 3-manifold with Heegaard genus tending to infinity and bounds the Heegaard genera from below in terms of the degree of the cover. Two of the main theorems of the paper follow:NEWLINENEWLINE{ Theorem:} Let \(M\) be a closed hyperbolic 3-manifold and \(\epsilon > 0\) any (small) number. Then there exists a tower of finite congruence covers NEWLINE\[NEWLINE\cdots \rightarrow M_i \rightarrow \cdots M_2 \rightarrow MNEWLINE\]NEWLINE such that the Heegaard genus of each \(M_i\) is at least \([\pi_1(M): \pi_1(M_1)]^{\frac{1}{8} - \epsilon}\). If \(M\) is arithmetic, we can improve the exponent \({\frac{1}{8} - \epsilon}\) to \({\frac{1}{4} - \epsilon}\).NEWLINENEWLINE{ Theorem:} For \(M\) a given arithmetic non-compact hyperbolic 3-manifold and \(\epsilon > 0\), there exists a tower of finite congruence covers NEWLINE\[NEWLINE\cdots \rightarrow M_i \rightarrow \cdots M_2 \rightarrow MNEWLINE\]NEWLINE such that the Heegaard genus of each \(M_i\) is at least \([\pi_1(M): \pi_1(M_1)]^{\frac{1}{4} - \epsilon}\).
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references