-
The ratio of homology rank to hyperbolic volume, II
Authors:
Rosemary K. Guzman,
Peter B. Shalen
Abstract:
Under mild topological restrictions, we obtain new linear upper bounds for the dimension of the mod $p$ homology (for any prime $p$) of a finite-volume orientable hyperbolic $3$ manifold $M$ in terms of its volume. A surprising feature of the arguments in the paper is that they require an application of the Four Color Theorem.
If $M$ is closed, and either (a) $π_1(M)$ has no subgroup isomorphic…
▽ More
Under mild topological restrictions, we obtain new linear upper bounds for the dimension of the mod $p$ homology (for any prime $p$) of a finite-volume orientable hyperbolic $3$ manifold $M$ in terms of its volume. A surprising feature of the arguments in the paper is that they require an application of the Four Color Theorem.
If $M$ is closed, and either (a) $π_1(M)$ has no subgroup isomorphic to the fundamental group of a closed, orientable surface of genus $2, 3$ or $4$, or (b) $p = 2$, and $M$ contains no (embedded, two-sided) incompressible surface of genus $2, 3$ or $4$, then $\text{dim}\, H_1(M;F_p) < 157.763 \cdot \text{vol}(M)$. If $M$ has one or more cusps, we get a very similar bound assuming that $π_1(M)$ has no subgroup isomorphic to the fundamental group of a closed, orientable surface of genus $g$ for $g = 2, \dots,8$. These results should be compared with those of our previous paper $The\ ratio\ of\ homology\ rank\ to\ hyperbolic\ volume,\ I$, in which we obtained a bound with a coefficient in the range of $168$ instead of $158$, without a restriction on surface subgroups or incompressible surfaces. In a future paper, using a much more involved argument, we expect to obtain bounds close to those given by the present paper without such a restriction.
The arguments also give new linear upper bounds (with constant terms) for the rank of $π_1(M)$ in terms of $\text{vol}\,M$, assuming that either $π_1(M)$ is $9$-free, or $M$ is closed and $π_1(M)$ is $5$-free.
△ Less
Submitted 30 June, 2022;
originally announced July 2022.
-
The ratio of homology rank to hyperbolic volume, I
Authors:
Rosemary K. Guzman,
Peter B. Shalen
Abstract:
We show that for every finite-volume hyperbolic $3$-manifold $M$ and every prime $p$ we have $\text{dim}\ H_1(M;\mathbf{F}_p)< 168.602\cdot\text{vol}\ M$. There are slightly stronger estimates if $p = 2$ or if $M$ is non-compact. This improves on a result proved by Agol, Leininger and Margalit, which gave the same inequality with a coefficient of $334.08$ in place of $168.602$. It also improves on…
▽ More
We show that for every finite-volume hyperbolic $3$-manifold $M$ and every prime $p$ we have $\text{dim}\ H_1(M;\mathbf{F}_p)< 168.602\cdot\text{vol}\ M$. There are slightly stronger estimates if $p = 2$ or if $M$ is non-compact. This improves on a result proved by Agol, Leininger and Margalit, which gave the same inequality with a coefficient of $334.08$ in place of $168.602$. It also improves on the analogous result with a coefficient of about $260$, which could have been obtained by combining the arguments due to Agol, Leininger and Margalit with a result due to Böröczky. Our inequality involving homology rank is deduced from a result about the rank of the fundamental group: if $M$ is a finite-volume orientable hyperbolic $3$-manifold such that $π_1(M)$ is $2$-semifree, then $\text{rank}\ π_1(M)<1+λ_{0}\cdot\text{vol}\ M$, where $λ_{0}$ is a certain constant less than $167.79$
△ Less
Submitted 24 July, 2022; v1 submitted 27 October, 2021;
originally announced October 2021.
-
Hyperbolic volume, mod 2 homology, and k-freeness
Authors:
Rosemary K. Guzman,
Peter B. Shalen
Abstract:
We show that if $M$ is any closed, orientable hyperbolic $3$-manifold with ${\rm vol}\ M\le3.69$, we have ${\rm dim}\ H_1(M;{\bf F}_2)\le7$. This may be regarded as a qualitative improvement of a result due to Culler and Shalen, because the constant $3.69$ is greater than the ordinal corresponding to $ω^2$ in the well-ordered set of finite volumes of hyperbolic $3$-manifolds. We also show that if…
▽ More
We show that if $M$ is any closed, orientable hyperbolic $3$-manifold with ${\rm vol}\ M\le3.69$, we have ${\rm dim}\ H_1(M;{\bf F}_2)\le7$. This may be regarded as a qualitative improvement of a result due to Culler and Shalen, because the constant $3.69$ is greater than the ordinal corresponding to $ω^2$ in the well-ordered set of finite volumes of hyperbolic $3$-manifolds. We also show that if ${\rm vol}\ M\le 3.77$, we have ${\rm dim}\ H_1(M;{\bf F}_2)\le10$.
These results are applications of a new method for obtaining lower bounds for the volume of a closed, orientable hyperbolic $3$-manifold such that $π_1(M)$ is $k$-free for a given $k\ge4$. Among other applications we show that if $π_1(M)$ is $4$-free we have ${\rm vol}\ M>3.57$ (improving the lower bound of $3.44$ given by Culler and Shalen), and that if $π_1(M)$ is $5$-free we have ${\rm vol}\ M>3.77$.
△ Less
Submitted 31 March, 2021; v1 submitted 7 October, 2020;
originally announced October 2020.
-
The geometry of $k$-free hyperbolic $3$-manifolds
Authors:
Rosemary K. Guzman,
Peter B. Shalen
Abstract:
We investigate the geometry of closed, orientable, hyperbolic $3$-manifolds whose fundamental groups are $k$-free for a given integer $k\ge 3$. We show that any such manifold $M$ contains a point $P$ of $M$ with the following property: If $S$ is the set of elements of $π_1(M,P)$ represented by loops of length $<\log(2k-1)$, then for every subset $T \subset S$, we have ${\rm rank}\ T \le k-3$. This…
▽ More
We investigate the geometry of closed, orientable, hyperbolic $3$-manifolds whose fundamental groups are $k$-free for a given integer $k\ge 3$. We show that any such manifold $M$ contains a point $P$ of $M$ with the following property: If $S$ is the set of elements of $π_1(M,P)$ represented by loops of length $<\log(2k-1)$, then for every subset $T \subset S$, we have ${\rm rank}\ T \le k-3$. This generalizes to all $k\ge3$ results proved in [6] and [10], which have been used to relate the volume of a hyperbolic manifold to its topological properties, and it strictly improves on the result obtained in [11] for $k=5$. The proof avoids the use of results about ranks of joins and intersections in free groups that were used in [10] and [11].
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
RGB image-based data analysis via discrete Morse theory and persistent homology
Authors:
Chuan Du,
Christopher Szul,
Adarsh Manawa,
Nima Rasekh,
Rosemary K. Guzman,
Ruth Davidson
Abstract:
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cell…
▽ More
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cellular complexes. These complexes can be studied using the techniques of discrete Morse theory. We expand the functionality of the ANU code by introducing methods and software for analyzing images encoded in red, green, and blue (RGB), because this image encoding is very popular for publicly available data. Our methods allow the extraction of key topological information from RGB images via informative persistence diagrams by introducing novel methods for transforming RGB-to-grayscale. This paradigm allows us to perform data analysis directly on RGB images representing water scarcity variability as well as crime variability. We introduce software enabling a a user to predict future image properties, towards the eventual aim of more rapid image-based data behavior prediction.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
A combinatorial method for connecting BHV spaces representing different numbers of taxa
Authors:
Yingying Ren,
Sihan Zha,
**gwen Bi,
José A. Sanchez,
Cara Monical,
Michelle Delcourt,
Rosemary K. Guzman,
Ruth Davidson
Abstract:
The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and p…
▽ More
The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and phylogenomics. Specifically, there is significant interest in comparing and combining phylogenetic trees. For example, BHV tree space has been shown to be potentially useful in tree summary and consensus methods, which require combining trees with different number of leaves. Yet an open problem is to transition between BHV tree spaces of different maximal dimension, where each maximal dimension corresponds to the complete set of edge-weighted trees with a fixed number of leaves. We show a combinatorial method to transition between copies of BHV tree spaces in which trees with different numbers of taxa can be studied, derived from its topological structure and geometric properties. This method removes obstacles for embedding problems such as supertree and consensus methods in the BHV treespace framework.
△ Less
Submitted 3 December, 2017; v1 submitted 8 August, 2017;
originally announced August 2017.
-
Hyperbolic 3-manifolds with k-free fundamental group
Authors:
Rosemary K. Guzman
Abstract:
The results of Culler and Shalen for 2,3 or 4-free hyperbolic 3-manifolds are contingent on properties specific to and special about rank two subgroups of a free group. Here we determine what construction and algebraic information is required in order to make a geometric statement about $M$, a closed, orientable hyperbolic 3-manifold with $k$-free fundamental group, for any value of $k$ greater th…
▽ More
The results of Culler and Shalen for 2,3 or 4-free hyperbolic 3-manifolds are contingent on properties specific to and special about rank two subgroups of a free group. Here we determine what construction and algebraic information is required in order to make a geometric statement about $M$, a closed, orientable hyperbolic 3-manifold with $k$-free fundamental group, for any value of $k$ greater than four. Main results are both to show what the formulation of the general statement should be, for which Culler and Shalen's result is a special case, and that it is true modulo a group-theoretic conjecture. A major result is in the $k=5$ case of the geometric statement. Specifically, we show that the required group-theoretic conjecture is in fact true in this case, and so the proposed geometric statement when $M$ is 5-free is indeed a theorem. One can then use the existence of a point $P$ and knowledge about $π_1(M,P)$ resulting from this theorem to attempt to improve the known lower bound on the volume of $M$, which is currently 3.44.
△ Less
Submitted 2 May, 2012; v1 submitted 27 January, 2012;
originally announced January 2012.