Orientation-preserving homeomorphisms of Euclidean space are commutators

Megha Bhat,Nicholas G. Vlamis

2023-11-01

Abstract:We prove that every orientation-preserving homeomorphism of Euclidean space can be expressed as a commutator. We establish an analogous result for annuli.

Geometric Topology

What problem does this paper attempt to address?

On Homeomorphisms of Three-Dimensional Manifolds with Pseudo-Anosov Attractors and Repellers

Vyacheslav Z. Grines,Olga V. Pochinka,Ekaterina E. Chilina

DOI: https://doi.org/10.1134/s1560354724010106

2024-03-12

Regular and Chaotic Dynamics

Abstract:The present paper is devoted to a study of orientation-preserving homeomorphisms on three-dimensional manifolds with a non-wandering set consisting of a finite number of surface attractors and repellers. The main results of the paper relate to a class of homeomorphisms for which the restriction of the map to a connected component of the non-wandering set is topologically conjugate to an orientation-preserving pseudo-Anosov homeomorphism. The ambient -conjugacy of a homeomorphism from the class with a locally direct product of a pseudo-Anosov homeomorphism and a rough transformation of the circle is proved. In addition, we prove that the centralizer of a pseudo-Anosov homeomorphisms consists of only pseudo-Anosov and periodic maps.

mathematics, applied,mechanics,physics, mathematical
The bounded cohomology of transformation groups of Euclidean spaces and discs

Francesco Fournier-Facio,Nicolas Monod,Sam Nariman,Alexander Kupers

2024-09-26

Abstract:We prove that the groups of orientation-preserving homeomorphisms and diffeomorphisms of $\mathbb{R}^n$ are boundedly acyclic, in all regularities. This is the first full computation of the bounded cohomology of a transformation group that is not compactly supported, and it implies that many characteristic classes of flat $\mathbb{R}^n$- and $S^n$-bundles are unbounded. We obtain the same result for the group of homeomorphisms of the disc that restrict to the identity on the boundary, and for the homeomorphism group of the non-compact Cantor set. In the appendix, Alexander Kupers proves a controlled version of the annulus theorem which we use to study the bounded cohomology of the homeomorphism group of the discs.

Geometric Topology,Algebraic Topology,Group Theory
Homeomorphism groups of telescoping 2-manifolds are strongly distorted

Nicholas G. Vlamis

2024-07-24

Abstract:Building on the work of Mann and Rafi, we introduce an expanded definition of a telescoping 2-manifold and proceed to study the homeomorphism group of a telescoping 2-manifold. Our main result shows that it is strongly distorted. We then give a simple description of its commutator subgroup, which is index one, two, or four depending on the topology of the manifold. Moreover, we show its commutator subgroup is uniformly perfect with commutator width at most two, and we give a family of uniform normal generators for its commutator subgroup. As a consequence of the latter result, we show that for an (orientable) telescoping 2-manifold, every (orientation-preserving) homeomorphism can be expressed as a product of at most 17 conjugate involutions. Finally, we provide analogous statements for mapping class groups.

Geometric Topology,Group Theory
Isometric pairs with compact + normal cross-commutator

Sandipan De,Jaydeb Sarkar,P Shankar,Sankar T.R

2024-02-29

Abstract:We represent and classify pairs of commuting isometries $(V_1, V_2)$ acting on Hilbert spaces that satisfy the condition \[ [V_1^*, V_2] = \text{compact} + \text{normal}, \] where $[V_1^*, V_2] := V_1^* V_2 - V_2 V_1^*$ is the cross-commutator of $(V_1, V_2)$. The precise description of such pairs also gives a complete and concrete set of unitary invariants. The basic building blocks of representations of such pairs consist of four distinguished pairs of commuting isometries. One of them relies on some peculiar examples of invariant subspaces tracing back to Rudin's intricate constructions of analytic functions on the bidisc. Along the way, we present a rank formula for a general pair of commuting isometries that looks to be the first of its kind.

Functional Analysis,Complex Variables,Operator Algebras
Uniform homeomorphisms between spheres of unitarily invariant ideals

Javier Alejandro Chávez-Domínguez

2023-05-12

Abstract:The classical Mazur map is a uniform homeomorphism between the unit spheres of $L_p$ spaces, and the version for noncommutative $L_p$ spaces has the same property. Odell and Schlumprecht used two types of generalized Mazur maps to prove that the unit sphere of a Banach space $X$ with an unconditional basis is uniformly homeomorphic to the unit sphere of a Hilbert space if and only if $X$ does not contain $\ell_\infty^n$'s uniformly. We prove a noncommutative version of this result, yielding uniform homeomorphisms between spheres of unitarily invariant ideals, and along the way we study noncommutative versions of the aforementioned generalized Mazur maps: one based on the $p$-convexification procedure, and one based on the minimization of quantum relative entropy. The main result provides new examples of Banach spaces whose unit spheres are uniformly homeomorphic to the unit sphere of a Hilbert space (in fact, spaces with the property (H) of Kasparov and Yu).

Functional Analysis,Operator Algebras
Commuting pairs of endomorphisms of P^2

Lucas Kaufmann

DOI: https://doi.org/10.1017/etds.2016.54

2015-09-22

Abstract:We consider commuting pairs of holomorphic endomorphisms of P^2 with disjoint sequence of iterates. The remaining case to be studied is when their degrees coincide after some number of iterations. We show in this case that they are either commuting Lattès maps or commuting homogeneous polynomial maps of C^2 inducing a Lattès map on the hyperplane at infinity.

Complex Variables,Dynamical Systems
Commuting circle diffeomorphisms with their derivatives having mixed moduli of continuity

Hui Xu,Enhui Shi

DOI: https://doi.org/10.48550/arXiv.1904.03984

2019-04-08

Dynamical Systems

Abstract:Let $d\geq 2$ be an integer and let $\omega_1,\cdots ,\omega_d$ be moduli of continuity in a specified class which contains the moduli of H\"{o}lder continuity. Let $f_k$, $k\in\{1,\cdots,d\}$, be $C^{1+\omega_k}$ orientation preserving diffeomorphisms of the circle and $f_1,\cdots, f_d$ commute with each other. We prove that if the rotation numbers of $f_k$'s are independent over the rationals and $\omega_1(t)\cdots\omega_d(t)=t\omega(t)$ with $\lim_{t\rightarrow 0^+}\omega(t)=0$, then $f_1,\cdots,f_d$ are simultaneously (topologically) conjugate to rigid rotations.
Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

John Lott

DOI: https://doi.org/10.48550/arXiv.dg-ga/9607006

1996-07-30

Differential Geometry

Abstract:We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).
On the commutator length of compact Lie groups

Juan Omar Gómez,Victor Torres-Castillo,Bernardo Villarreal

2023-09-06

Abstract:In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the classifying space for commutativity for a compact Lie group whose path-connected component of the identity is abelian.

Group Theory,Algebraic Topology
Boundedness Of Commutators Of High-Dimensional Hausdorff Operators

Guilian Gao,Houyu Jia

DOI: https://doi.org/10.1155/2012/541205

2012-01-01

Journal of Function Spaces and Applications

Abstract:We prove the boundedness of commutators of high-dimensional Hausdorff operators H-Phi,H-b on Lebesgue space with central BMO function or Lipschitz function. Furthermore, the boundedness on Herz spaces and Morrey-Herz spaces is also obtained.
Extending Homeomorphisms of the Circle to Quasiconformal Homeomorphisms of the Disk

David Epstein,Vladimir Markovic

DOI: https://doi.org/10.2140/gt.2007.11.517

2007-01-01

Geometry & Topology

Abstract:We prove that it is not possible to extend, in a homomorphic fashion, each quasisymmetric homeomorphism of the circle to a quasiconformal homeomorphism of the disk.
A Schur-Horn-Kostant Convexity Theorem for the Diffeomorphism Group of the Annulus

A. M. Bloch,H. Flaschka,T. Ratiu

DOI: https://doi.org/10.1007/bf01244316

IF: 3.128

1993-01-01

Inventiones mathematicae

Abstract:The group of area preserving diffeomorphisms of the annulus acts on its Lie algebra, the globally Hamiltonian vectorfields on the annulus. We consider a certain Hilbert space completion of this group (thinking of it as a group of unitary operators induced by the diffeomorphisms), and prove that the projection of an adjoint orbit onto a ''Cartan'' subalgebra isomorphic to L2([0, 1]) is an infinite-dimensional, weakly compact, convex set, whose extreme points coincide with the orbit, through a certain function, of the ''permutation'' semigroup of measure preserving transformations of [0, 1].
Cellular complexes and embeddings into Euclidean spaces: Möbius strip, torus, and projective plane

Anthony Fraga

2024-08-27

Abstract:In algebraic topology, we usually represent surfaces by mean of cellular complexes. This representation is intrinsic, but requires to identify some points through an equivalence relation. On the other hand, embedding a surface in a Euclidean space is not intrinsic but does not require to identify points. In the present paper, we are interested in the Möbius strip, the torus, and the real projective plane. More precisely, we construct explicit homeomorphisms, as well as their inverses, from cellular complexes to surfaces of 3-dimensional (for the Möbius strip and the torus) and 4-dimensional (for the projective plane) Euclidean spaces. All the embeddings were already known, but we are not aware if explicit formulas for their inverses exist.

Algebraic Topology
Homeomorphisms of Cech-Stone remainders: the zero-dimensional case

Ilijas Farah,Paul McKenney

DOI: https://doi.org/10.48550/arXiv.1211.4765

2012-11-20

Logic

Abstract:We prove, using a weakening of the Proper Forcing Axiom, that any homemomorphism between Cech--Stone remainders of any two locally compact, zero-dimensional Polish spaces is induced by a homeomorphism between their cocompact subspaces.
Circumcenter extension maps for non-positively curved spaces

Merlin Incerti-Medici

DOI: https://doi.org/10.1007/s10711-023-00881-0

2024-01-31

Geometriae Dedicata

Abstract:We show that every cross ratio preserving homeomorphism between boundaries of Hadamard manifolds extends to a map, called circumcenter extension, provided that the manifolds satisfy certain visibility conditions. We describe regions on which this map is Hölder-continuous. Furthermore, we show that this map is a rough isometry, whenever the manifolds admit cocompact group actions by isometries and we improve previously known quasi-isometry constants, provided by Biswas, in the case of 2-dimensional manifolds. Finally, we provide a sufficient condition for this map to be an isometry in the case of Hadamard surfaces.

mathematics
Compact spaces homeomorphic to their respective squares

Jan Dudák,Benjamin Vejnar

2024-01-15

Abstract:We deal with topological spaces homeomorphic to their respective squares. Primarily, we investigate the existence of large families of such spaces in some subclasses of compact metrizable spaces. As our main result we show that there is a family of size continuum of pairwise non-homeomorphic compact metrizable zero-dimensional spaces homeomorphic to their respective squares. This answers a question of W. J. Charatonik. We also discuss the situation in the classes of continua, Peano continua and absolute retracts.

General Topology
Parameterized family of annular homeomorphisms with pseudo-circle attractors

Jernej Činč,Piotr Oprocha

2023-05-11

Abstract:In this paper we construct a paramaterized family of annular homeomorphisms with Birkhoff-like rotational attractors that vary continuously with the parameter, are all homeomorphic to the pseudo-circle, display interesting boundary dynamics and furthermore preserve the induced Lebesgue measure from the circle. Namely, in the constructed family of attractors the outer prime ends rotation number vary continuously with the parameter through the interval $[0,1/2]$. This, in particular, answers a question from [J. London Math. Soc. (2) {\bf 102} (2020), 557--579]. To show main results of the paper we first prove a result of an independent interest, that Lebesgue-measure preserving circle maps generically satisfy the crookedness condition which implies that generically the inverse limits of Lebesgue measure-preserving circle maps are hereditarily indecomposable. For degree one circle maps, this implies that the generic inverse limit in this context is the R.H. Bing's pseudo-circle.

Dynamical Systems,General Topology
On the isometric composition operators on the Bloch space in $\mathbb{C}^n$

Robert F. Allen,Flavia Colonna

DOI: https://doi.org/10.1016/j.jmaa.2009.02.023

2022-07-26

Abstract:Let $\varphi$ be a holomorphic self-map of a bounded homogeneous domain $D$ in $\mathbb{C}^n$. In this work, we show that the composition operator $C_\varphi: f\mapsto f\circ \varphi$ is bounded on the Bloch space $\mathcal{B}$ of the domain and provide estimates on its operator norm. We also give a sufficient condition for $\varphi$ to induce an isometry on $\cal{B}$. This condition allows us to construct non-trivial examples of isometric composition operators in the case when $D$ has the unit disk as a factor. We then obtain some necessary conditions for $C_\varphi$ to be an isometry on $\cal{B}$ when $D$ is a Cartan classical domain. Finally, we give the complete description of the spectrum of the isometric composition operators in the case of the unit disk and for a wide class of symbols on the polydisk.

Functional Analysis
Gluing diffeomorphisms, bi-Lipschitz mappings and homeomorphisms

Paweł Goldstein,Zofia Grochulska,Piotr Hajłasz

2024-04-21

Abstract:In the paper, we address the following problem, often encountered in geometric constructions: having defined an orientation preserving diffeomorphism in a number of `patches' on a manifold $\mathcal{M}$, can we extend it to a diffeomorphism of the whole manifold $\mathcal{M}$? We give a positive answer, provided the `patches' are sufficiently regular. Then, we extend the same result to the case of bi-Lipschitz homeomorphisms and homeomorphisms.

Geometric Topology
Boundedness of commutators on homogeneous Herz spaces

Shanzhen Lu,Lin Tang,Dachun Yang

DOI: https://doi.org/10.1007/BF02871836

1998-01-01

Abstract:The boundedness on homogeneous Herz spaces is established for a large class of linear commutators generated by BMO(R n ) functions and linear operators of rough kernels which include the Calderón-Zygmund operators and the Ricci-Stein oRfiUatory singular integrals with rough kernels.

Orientation-preserving homeomorphisms of Euclidean space are commutators

On Homeomorphisms of Three-Dimensional Manifolds with Pseudo-Anosov Attractors and Repellers

The bounded cohomology of transformation groups of Euclidean spaces and discs

Homeomorphism groups of telescoping 2-manifolds are strongly distorted

Isometric pairs with compact + normal cross-commutator

Uniform homeomorphisms between spheres of unitarily invariant ideals

Commuting pairs of endomorphisms of P^2

Commuting circle diffeomorphisms with their derivatives having mixed moduli of continuity

Diffeomorphisms, Analytic Torsion and Noncommutative Geometry

On the commutator length of compact Lie groups

Boundedness Of Commutators Of High-Dimensional Hausdorff Operators

Extending Homeomorphisms of the Circle to Quasiconformal Homeomorphisms of the Disk

A Schur-Horn-Kostant Convexity Theorem for the Diffeomorphism Group of the Annulus

Cellular complexes and embeddings into Euclidean spaces: Möbius strip, torus, and projective plane

Homeomorphisms of Cech-Stone remainders: the zero-dimensional case

Circumcenter extension maps for non-positively curved spaces

Compact spaces homeomorphic to their respective squares

Parameterized family of annular homeomorphisms with pseudo-circle attractors

On the isometric composition operators on the Bloch space in $\mathbb{C}^n$

Gluing diffeomorphisms, bi-Lipschitz mappings and homeomorphisms

Boundedness of commutators on homogeneous Herz spaces