An official website of the United States government
Abstract Assouad–Nagata dimension addresses both large‐ and small‐scale behaviors of metric spaces and is a refinement of Gromov's asymptotic dimension. A metric space is a minor‐closed metric if there exists an (edge‐)weighted graph satisfying a fixed minor‐closed property such that the underlying space of is the vertex‐set of , and the metric of is the distance function in . Minor‐closed metrics naturally arise when removing redundant edges of the underlying graphs by using edge‐deletion and edge‐contraction. In this paper, we determine the Assouad–Nagata dimension of every minor‐closed metric. Our main theorem simultaneously generalizes known results about the asymptotic dimension of ‐minor free unweighted graphs and about the Assouad–Nagata dimension of complete Riemannian surfaces with finite Euler genus (Bonamy et al., Asymptotic dimension of minor‐closed families and Assouad–Nagata dimension of surfaces,JEMS(2024)).
more »
« less
Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces
In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a 1-Poincare inequality. We show that at almost every point x outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at x. We also show that, at co-dimension 1 Hausdorff measure almost every measure-theoretic boundary point of a set E of finite perimeter, there is an asymptotic limit set (E)∞ corresponding to the asymptotic expansion of E and that every such asymptotic limit (E)∞ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of (E)∞ is Ahlfors co-dimension 1 regular.
more »
« less
- Award ID(s):
- 1800161
- PAR ID:
- 10293457
- Date Published:
- Journal Name:
- Transactions of the American Mathematical Society
- Volume:
- 374
- Issue:
- 11
- ISSN:
- 0002-9947
- Page Range / eLocation ID:
- 8201-8247
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract A subset E of a metric space X is said to be starlike-equivalent if it has a neighbourhood which is mapped homeomorphically into $$\mathbb{R}^n$$ for some n , sending E to a starlike set. A subset $$E\subset X$$ is said to be recursively starlike-equivalent if it can be expressed as a finite nested union of closed subsets $$\{E_i\}_{i=0}^{N+1}$$ such that $$E_{i}/E_{i+1}\subset X/E_{i+1}$$ is starlike-equivalent for each i and $$E_{N+1}$$ is a point. A decomposition $$\mathcal{D}$$ of a metric space X is said to be recursively starlike-equivalent, if there exists $$N\geq 0$$ such that each element of $$\mathcal{D}$$ is recursively starlike-equivalent of filtration length N . We prove that any null, recursively starlike-equivalent decomposition $$\mathcal{D}$$ of a compact metric space X shrinks, that is, the quotient map $$X\to X/\mathcal{D}$$ is the limit of a sequence of homeomorphisms. This is a strong generalisation of results of Denman–Starbird and Freedman and is applicable to the proof of Freedman’s celebrated disc embedding theorem. The latter leads to a multitude of foundational results for topological 4-manifolds, including the four-dimensional Poincaré conjecture.more » « less
-
By seeing whether a Liouville type theorem holds for positive, bounded, and/or finite \(p\)-energy \(p\)-harmonic and \(p\)-quasiharmonic functions, we classify proper metric spaces equipped with a locally doubling measure supporting a local \(p\)-Poincaré inequality. Similar classifications have earlier been obtained for Riemann surfaces and Riemannian manifolds. We study the inclusions between these classes of metric measure spaces, and their relationship to the \(p\)-hyperbolicity of the metric space and its ends. In particular, we characterize spaces that carry nonconstant \(p\)-harmonic functions with finite \(p\)-energy as spaces having at least two well-separated \(p\)-hyperbolic sequences of sets towards infinity. We also show that every such space \(X\) has a function \(f \notin L^p(X) + \mathbf{R}\) with finite \(p\)-energy.more » « less
-
null (Ed.)Abstract We investigate the Hölder geometry of curves generated by iterated function systems (IFS) in a complete metric space. A theorem of Hata from 1985 asserts that every connected attractor of an IFS is locally connected and path-connected. We give a quantitative strengthening of Hata’s theorem. First we prove that every connected attractor of an IFS is (1/ s )-Hölder path-connected, where s is the similarity dimension of the IFS. Then we show that every connected attractor of an IFS is parameterized by a (1/ α)-Hölder curve for all α > s . At the endpoint, α = s , a theorem of Remes from 1998 already established that connected self-similar sets in Euclidean space that satisfy the open set condition are parameterized by (1/ s )-Hölder curves. In a secondary result, we show how to promote Remes’ theorem to self-similar sets in complete metric spaces, but in this setting require the attractor to have positive s -dimensional Hausdorff measure in lieu of the open set condition. To close the paper, we determine sharp Hölder exponents of parameterizations in the class of connected self-affine Bedford-McMullen carpets and build parameterizations of self-affine sponges. An interesting phenomenon emerges in the self-affine setting. While the optimal parameter s for a self-similar curve in ℝ n is always at most the ambient dimension n , the optimal parameter s for a self-affine curve in ℝ n may be strictly greater than n .more » « less
-
In the context of a metric measure space \((X,d,\mu)\), we explore the potential-theoretic implications of having a finite-dimensional Besov space. We prove that if the dimension of the Besov space \(B^\theta_{p,p}(X)\) is \(k>1\), then \(X\) can be decomposed into \(k\) number of irreducible components (Theorem 1.1). Note that \(\theta\) may be bigger than \(1\), as our framework includes fractals. We also provide sufficient conditions under which the dimension of the Besov space is 1. We introduce critical exponents \(\theta_p(X)\) and \(\theta_p^{\ast}(X)\) for the Besov spaces. As examples illustrating Theorem 1.1, we compute these critical exponents for spaces \(X\) formed by glueing copies of \(n\)-dimensional cubes, the Sierpiński gaskets, and of the Sierpiński carpet.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1090/tran/8495
