We show that every Borel graph of subexponential growth has a Borel proper edge-coloring with colors. We deduce this from a stronger result, namely that an -vertex (finite) graph of subexponential growth can be properly edge-colored using colors by an -round deterministic distributed algorithm in theLOCALmodel, where the implied constants in the notation are determined by a bound on the growth rate of .
more »
« less
This content will become publicly available on April 8, 2026
Large-scale geometry of pure mapping class groups of infinite-type surfaces
The work of Mann and Rafi [Geom. Topol. 27 (2023), pp. 2237–2296] gives a classification of surfaces when is globally CB, locally CB, and CB generated under the technical assumption of tameness. In this article, we restrict our study to the pure mapping class group and give a complete classification without additional assumptions. In stark contrast with the rich class of examples of Mann–Rafi, we prove that is globally CB if and only if is the Loch Ness monster surface, and locally CB or CB generated if and only if has finitely many ends and is not a Loch Ness monster surface with (nonzero) punctures.
more »
« less
- Award ID(s):
- 1840190
- PAR ID:
- 10612423
- Publisher / Repository:
- American Mathematical Society
- Date Published:
- Journal Name:
- Proceedings of the American Mathematical Society
- ISSN:
- 0002-9939
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We prove a single-value version of Reshetnyak’s theorem. Namely, if a non-constant map from a domain satisfies the estimate at almost every for some , and , then is discrete, the local index is positive in , and every neighborhood of a point of is mapped to a neighborhood of . Assuming this estimate for a fixed at every is equivalent to assuming that the map is -quasiregular, even if the choice of is different for each . Since the estimate also yields a single-value Liouville theorem, it hence appears to be a good pointwise definition of -quasiregularity. As a corollary of our single-value Reshetnyak’s theorem, we obtain a higher-dimensional version of the argument principle that played a key part in the solution to the Calderón problem.more » « less
-
We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston’s conjecture predicts that every -bundle over a manifold where is cobordant to a flat -bundle. In particular, we study the bordism class of flat -bundles over low dimensional manifolds, comparing a finite dimensional Lie group with .more » « less
-
We study regularity of solutions to on a relatively compact domain in a complex manifold of dimension , where is a form. Assume that there are either negative or positive Levi eigenvalues at each point of boundary . Under the necessary condition that a locally solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain derivative when and is in the Hölder–Zygmund space with . For , the same regularity for the solutions is achieved when is either sufficiently smooth or of positive Levi eigenvalues everywhere on .more » « less
-
In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism , where is a local ring with maximal ideal . In particular, we give a precise relationship between the Poincaré series of a finitely generated -module to when the kernel of is contained in . This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras , with the Koszul complex on a minimal set of generators for the kernel of .more » « less
An official website of the United States government
