-
Local Geometry of Self-similar Sets: Typical Balls, Tangent Measures and Asymptotic Spectra
Authors:
Manuel Morán,
Marta LLorente,
María Eugenia
Abstract:
We analyse the local geometric structure of self-similar sets with open set condition through the study of the properties of a distinguished family of spherical neighbourhoods, the typical balls. We quantify the complexity of the local geometry of self-similar sets, showing that there are uncountably many classes of spherical neighbourhoods that are not equivalent under similitudes. We show that,…
▽ More
We analyse the local geometric structure of self-similar sets with open set condition through the study of the properties of a distinguished family of spherical neighbourhoods, the typical balls. We quantify the complexity of the local geometry of self-similar sets, showing that there are uncountably many classes of spherical neighbourhoods that are not equivalent under similitudes. We show that, at a tangent level, the uniformity of the Euclidean space is recuperated in the sense that any typical ball is a tangent measure of the measure $ν$ at $ν$-a.e. point, where $ν$ is any self-similar measure. We characterise the spectrum of asymptotic densities of metric measures in terms of the packing and centred Hausdorff measures. As an example, we compute the spectrum of asymptotic densities of the Sierpinski gasket.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
On the Centred Hausdorff Measure of the Sierpinski Gasket
Authors:
Marta LLorente,
María Eugenia Mera,
Manuel Morán
Abstract:
We show that the centred Hausdorff measure, $C^{s}(S),$ with $s=\frac{\log3}{\log2},$ of the Sierpinski gasket $S$, is $C$-computable (continuous-computable), in the sense that its value is the solution of the minimisation problem of a continuous function on a compact domain. We also show that $C^{s}(S)$ is $A$-computable (algorithmic-computable) in the sense that there is an algorithm that conver…
▽ More
We show that the centred Hausdorff measure, $C^{s}(S),$ with $s=\frac{\log3}{\log2},$ of the Sierpinski gasket $S$, is $C$-computable (continuous-computable), in the sense that its value is the solution of the minimisation problem of a continuous function on a compact domain. We also show that $C^{s}(S)$ is $A$-computable (algorithmic-computable) in the sense that there is an algorithm that converges to $C^{s}(S),$ with error bounds tending to zero. Using this algorithm and bounds we show that $C^{s}(S)\sim1.0049,$ and we establish a conjecture for the value of the spherical Hausdorff $s$-measure of $S,$ $\mathcal{H}_{sph}^{s}(S)\sim0.8616$, and provide an upper bound for it, $\mathcal{H}_{sph}^{s}(S)\leq0.8619.$
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Coarse $\mathcal{Z}$-Boundaries for Groups
Authors:
Craig R. Guilbault,
Molly A. Moran
Abstract:
We generalize Bestvina's notion of a $\mathcal{Z}$-boundary for a group to that of a "coarse $\mathcal{Z}$-boundary." We show that established theorems about $\mathcal{Z}$-boundaries carry over nicely to the more general theory, and that some wished-for properties of $\mathcal{Z}$-boundaries become theorems when applied to coarse $\mathcal{Z}$-boundaries. Most notably, the property of admitting a…
▽ More
We generalize Bestvina's notion of a $\mathcal{Z}$-boundary for a group to that of a "coarse $\mathcal{Z}$-boundary." We show that established theorems about $\mathcal{Z}$-boundaries carry over nicely to the more general theory, and that some wished-for properties of $\mathcal{Z}$-boundaries become theorems when applied to coarse $\mathcal{Z}$-boundaries. Most notably, the property of admitting a coarse $\mathcal{Z}$-boundary is a pure quasi-isometry invariant. In the process, we streamline both new and existing definitions by introducing the notion of a "model $\mathcal{Z}$-geometry." In accordance with the existing theory, we also develop an equivariant version of the above -- that of a "coarse $E\mathcal{Z}$-boundary."
△ Less
Submitted 1 February, 2021; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Compressible Spaces and $\mathcal{E}\mathcal{Z}$-Structures
Authors:
Craig Guilbault,
Molly Moran,
Kevin Schreve
Abstract:
Bestvina introduced a $\mathcal{Z}$-structure for a group $G$ to generalize the boundary of a CAT(0) or hyperbolic group. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known as an $\mathcal{E}\mathcal{Z}$-structure. In this paper, we show that fundamental groups of graphs of nonpositively curved Riemannian $n$-manifolds admit…
▽ More
Bestvina introduced a $\mathcal{Z}$-structure for a group $G$ to generalize the boundary of a CAT(0) or hyperbolic group. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known as an $\mathcal{E}\mathcal{Z}$-structure. In this paper, we show that fundamental groups of graphs of nonpositively curved Riemannian $n$-manifolds admit $\mathcal{Z}$-structures and graphs of negatively curved or flat $n$-manifolds admit $\mathcal{E}\mathcal{Z}$-structures. This generalizes a recent result of the first two authors with Tirel, which put $\mathcal{E}\mathcal{Z}$-structures on Baumslag-Solitar groups and $\mathcal{Z}$-structures on generalized Baumslag-Solitar groups.
△ Less
Submitted 12 September, 2021; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Boundaries of Baumslag-Solitar Groups
Authors:
Craig R. Guilbault,
Molly A. Moran,
Carrie J. Tirel
Abstract:
A $\mathcal{Z}$-structure on a group $G$ was introduced by Bestvina in order to extend the notion of a group boundary beyond the realm of CAT(0) and hyperbolic groups. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known as an $\mathcal{EZ}$-structure. The general questions of which groups admit $\mathcal{Z}$- or $\mathcal{EZ}$-struct…
▽ More
A $\mathcal{Z}$-structure on a group $G$ was introduced by Bestvina in order to extend the notion of a group boundary beyond the realm of CAT(0) and hyperbolic groups. A refinement of this notion, introduced by Farrell and Lafont, includes a $G$-equivariance requirement, and is known as an $\mathcal{EZ}$-structure. The general questions of which groups admit $\mathcal{Z}$- or $\mathcal{EZ}$-structures remain open. In this paper we add to the current knowledge by showing that all Baumslag-Solitar groups admit $\mathcal{EZ}$-structures and all generalized Baumslag-Solitar groups admit $\mathcal{Z}$-structures.
△ Less
Submitted 23 August, 2018;
originally announced August 2018.
-
Proper homotopy types and Z-boundaries of spaces admitting geometric group actions
Authors:
Craig R. Guilbault,
Molly A. Moran
Abstract:
We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in t…
▽ More
We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in the literature, but a significant aim is expository. Toward that end, brief but reasonably comprehensive introductions to the theories of ANRs (absolute neighborhood retracts) and Z-sets are included, as well as a much shorter short introduction to shape theory. Here is a sampling of the theorems proved here.
THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., then X is proper homotopy equivalent to Y.
THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., and Y can be compactified to a Z-structure for H, then the same boundary can be added to X to obtain a Z-structure for G.
THEOREM. If quasi-isometric groups G and H admit Z-structures (X^, Z_1) and (Y^, Z_2) resp., then Z_1 and Z_2 are shape equivalent.
△ Less
Submitted 5 January, 2018; v1 submitted 24 July, 2017;
originally announced July 2017.
-
Rate of convergence: the packing and centered Hausdoff measures of totally disconnected self-similar sets
Authors:
Marta Llorente,
M. Eugenia Mera,
Manuel Moran
Abstract:
In this paper we obtain the rates of convergence of the algorithms given in [13] and [14] for an automatic computation of the centered Hausdorff and packing measures of a totally disconnected self-similar set. We evaluate these rates empirically through the numerical analysis of three standard classes of self-similar sets, namely, the families of Cantor type sets in the real line and the plane and…
▽ More
In this paper we obtain the rates of convergence of the algorithms given in [13] and [14] for an automatic computation of the centered Hausdorff and packing measures of a totally disconnected self-similar set. We evaluate these rates empirically through the numerical analysis of three standard classes of self-similar sets, namely, the families of Cantor type sets in the real line and the plane and the class of Sierpinski gaskets. For these three classes and for small contraction ratios, sharp bounds for the exact values of the corresponding measures are obtained and it is shown how these bounds automatically yield estimates of the corresponding measures, accurate in some cases to as many as 14 decimal places. In particular, the algorithms accurately recover the exact values of the measures in all cases in which these values are known by geometrical arguments. Positive results, which confirm some conjectural values given in [13] and [14] for the measures, are also obtained for an intermediate range of larger contraction ratios. We give an argument showing that, for this range of contraction ratios, the problem is inherently computational in the sense that any theoretical proof, such as those mentioned above, might be impossible, so that in these cases, our method is the only available approach. For contraction ratios close to those of the connected case our computational method becomes intractably time consuming, so the computation of the exact values of the packing and centered Hausdorff measures in the general case, with the open set condition, remains a challenging problem.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Metrics on Visual Boundaries of CAT(0) Spaces
Authors:
Molly A. Moran
Abstract:
A famous open problem asks whether the asymptotic dimension of a CAT(0) group is necessarily finite. For hyperbolic groups, it is known that asymptotic dimension of the group is bounded above by the dimension of the boundary plus one, which is known to be finite. For CAT(0) groups, the latter quantity is also known to be finite, so one approach is to try proving a similar inequality. So far those…
▽ More
A famous open problem asks whether the asymptotic dimension of a CAT(0) group is necessarily finite. For hyperbolic groups, it is known that asymptotic dimension of the group is bounded above by the dimension of the boundary plus one, which is known to be finite. For CAT(0) groups, the latter quantity is also known to be finite, so one approach is to try proving a similar inequality. So far those efforts have failed.
Motivated by these questions we work toward understanding the relationship between large scale dimension of CAT(0) groups and small scale dimension of the group's boundary by shifting attention to the linearly controlled dimension of the boundary. To do that, one must choose appropriate metrics for the boundaries. In this paper, we suggest two candidates and develop some basic properties. Under one choice, we show that linearly controlled dimension of the boundary remains finite; under another choice, we prove that macroscopic dimension of the group is bounded above by twice the linearly controlled dimension of the boundary plus one. Other useful results are established, some basic examples are analyzed, and a variety of open questions are posed.
△ Less
Submitted 9 August, 2015;
originally announced August 2015.
-
A Comparison of Large Scale Dimension of a Metric Space to the Dimension of its Boundary
Authors:
Craig R. Guilbault,
Molly A. Moran
Abstract:
Buyalo and Lebedeva have shown that the asymptotic dimension of a hyperbolic group is equal to the dimension of the group boundary plus one. Among the work presented here is a partial extension of that result to all groups admitting $\mathcal{Z}$-structures; in particular, we show that $\hbox{asdim}G\geq \hbox{dim}Z+1$ where $Z$ is the $\mathcal{Z}$-boundary.
Buyalo and Lebedeva have shown that the asymptotic dimension of a hyperbolic group is equal to the dimension of the group boundary plus one. Among the work presented here is a partial extension of that result to all groups admitting $\mathcal{Z}$-structures; in particular, we show that $\hbox{asdim}G\geq \hbox{dim}Z+1$ where $Z$ is the $\mathcal{Z}$-boundary.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
Finite-Dimensionality of Z-Boundaries
Authors:
Molly A. Moran
Abstract:
In this paper, we refine the notion of Z-boundaries of groups introduced by Bestvina and further developed by Dranishnikov. We then show that the standard assumption of finite-dimensionality can be omitted as the result follows from the other assumptions.
In this paper, we refine the notion of Z-boundaries of groups introduced by Bestvina and further developed by Dranishnikov. We then show that the standard assumption of finite-dimensionality can be omitted as the result follows from the other assumptions.
△ Less
Submitted 16 September, 2014; v1 submitted 28 June, 2014;
originally announced June 2014.
-
Computability of the packing measure of totally disconnected self-similar sets
Authors:
Marta Llorente,
Manuel Morán
Abstract:
We present an algorithm to compute the exact value of the packing measure of self-similar sets satisfying the so called SSC and prove its convergence to the value of the packing measure. We also test the algorithm with examples that show both, the accuracy of the algorithm for the most regular cases and the possibility of using the additional information provided by it to obtain formulas for the p…
▽ More
We present an algorithm to compute the exact value of the packing measure of self-similar sets satisfying the so called SSC and prove its convergence to the value of the packing measure. We also test the algorithm with examples that show both, the accuracy of the algorithm for the most regular cases and the possibility of using the additional information provided by it to obtain formulas for the packing measure of certain self-similar sets. For example, we are able to obtain a formula for the packing measure of any Sierpinski gasket with contractio factor in the interval $(0,1/3]$ (Theorem 2).
△ Less
Submitted 28 April, 2014;
originally announced April 2014.
-
An algorithm for computing the centered Hausdorff measure of self-similar sets
Authors:
Marta Llorente,
Manuel Morán
Abstract:
We provide an algorithm for computing the centered Hausdorff measure of self-similar sets satisfying the strong separation condition. We prove the convergence of the algorithm and test its utility on some examples.
We provide an algorithm for computing the centered Hausdorff measure of self-similar sets satisfying the strong separation condition. We prove the convergence of the algorithm and test its utility on some examples.
△ Less
Submitted 19 July, 2011;
originally announced July 2011.
-
On the Finite-Dimensional Irreducible Representations of PSL2(Z)
Authors:
Melinda G. Moran,
Matthew J. Thibault
Abstract:
We classify up to equivalence all finite-dimensional irreducible representations of PSL2(Z) whose restriction to the commutator subgroup is diagonalizable.
We classify up to equivalence all finite-dimensional irreducible representations of PSL2(Z) whose restriction to the commutator subgroup is diagonalizable.
△ Less
Submitted 19 July, 2005;
originally announced July 2005.
-
Finite lifetime eigenfunctions of coupled systems of harmonic oscillators
Authors:
Lyonell Boulton,
Stefania Marcantognini,
Maria Moran
Abstract:
We find a Hermite-type basis for which the eigenvalue problem associated to the operator $H_{A,B}:=B(-\partial_x^2)+Ax^2$ acting on $L^2({\bf R};{\bf C}^2)$ becomes a three-terms recurrence. Here $A$ and $B$ are two constant positive definite matrices with no other restriction. Our main result provides an explicit characterization of the eigenvectors of $H_{A,B}$ that lie in the span of the firs…
▽ More
We find a Hermite-type basis for which the eigenvalue problem associated to the operator $H_{A,B}:=B(-\partial_x^2)+Ax^2$ acting on $L^2({\bf R};{\bf C}^2)$ becomes a three-terms recurrence. Here $A$ and $B$ are two constant positive definite matrices with no other restriction. Our main result provides an explicit characterization of the eigenvectors of $H_{A,B}$ that lie in the span of the first four elements of this basis when $AB\not= BA$.
△ Less
Submitted 31 March, 2004; v1 submitted 10 March, 2004;
originally announced March 2004.
