Non-trivial copies of N*

Alan Dow

2024-06-06

Abstract:We show that it is consistent to have regular closed non-clopen copies of $\mathbb N^*$ within $\mathbb N^*$ and a non-trivial self-map of $\mathbb N^*$ even if all autohomeomorphisms of $\mathbb N^*$ are trivial.

General Topology,Logic

What problem does this paper attempt to address?

Rigidity of Non-Renormalizable Newton Maps

Pascale Roesch,Yongcheng Yin,Jinsong Zeng

DOI: https://doi.org/10.1007/s11425-022-2136-1

2023-01-01

Science China Mathematics

Abstract:Non-renormalizable Newton maps are rigid. More precisely, we prove that their Julia sets carry no invariant line fields and that a topological conjugacy between them is equivalent to a quasiconformal conjugacy.
Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$

Alan Dow,Klaas Pieter Hart,Jan van Mill,Hans Vermeer

2023-11-01

Abstract:We investigate closed copies of~$\mathbb{N}$ in powers of~$\mathbb{R}$ with respect to $C^*$- and $C$-embedding. We show that $\mathbb{R}^{\omega_1}$ contains closed copies of~$\mathbb{N}$ that are not $C^*$-embedded.

General Topology,Logic
Autohomeomorphisms of pre-images of $\mathbb N^*$

Alan Dow

2024-06-14

Abstract:In the study of the Stone-uCech remainder of the real line a detailed study of the Stone-uCech remainder of the space $\mathbb N\times [0,1]$, which we denote as $\mathbb M$, has often been utilized. Of course the real line can be covered by two closed sets that are each homeomorphic to $\mathbb M$. It is known that an autohomeomorphism of $\mathbb M^*$ induces an autohomeomorphism of $\mathbb N^*$. We prove that it is consistent with there being non-trivial autohomeomorphism of $\mathbb N^*$ that those induced by autohomeomorphisms of $\mathbb M^*$ are trivial.

General Topology
Regular homotopy classes of locally generic mappings

Andras Juhasz

DOI: https://doi.org/10.1016/j.topol.2003.07.004

2005-06-28

Abstract:In this paper we generalize the notion of regular homotopy of immersions of a closed connected n-manifold into R^{2n-1} to locally generic mappings. The main result is that if n=2 then two mappings with singularities are regularly homotopic if and only if they have the same number of cross-cap (or Whitney-umbrella) singularities. As an application, we get a description of the path-components of the space of those immersions of a surface into R^4 whose projections into R^3 are locally generic.

Geometric Topology,Algebraic Topology
On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

Efton Park,Jody Trout

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

2007-09-28

Abstract:An n-homomorphism between algebras is a linear map $\phi : A \to B$ such that $\phi(a_1 ... a_n) = \phi(a_1)... \phi(a_n)$ for all elements $a_1, >..., a_n \in A.$ Every homomorphism is an n-homomorphism, for all n >= 2, but the converse is false, in general. Hejazian et al. [7] ask: Is every *-preserving n-homomorphism between C*-algebras continuous? We answer their question in the affirmative, but the even and odd n arguments are surprisingly disjoint. We then use these results to prove stronger ones: If n >2 is even, then $\phi$ is just an ordinary *-homomorphism. If n >= 3 is odd, then $\phi$ is a difference of two orthogonal *-homomorphisms. Thus, there are no nontrivial *-linear n-homomorphisms between C*-algebras.

Operator Algebras,Functional Analysis
On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

Bedanta Bose

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

2020-04-10

Abstract:Let $\sum (X)$ be the collection of subalgebras of $C(X)$ containing $C^{*}(X)$, where $X$ is a Tychonoff space. For any $A(X)\in \sum(X)$ there is associated a subset $\upsilon_{A}(X)$ of $\beta X$ which is an $A$-analogue of the Hewitt real compactification $\upsilon X$ of $X$. For any $A(X)\in \sum(X)$, let $[A(X)]$ be the class of all $B(X)\in \sum(X)$ such that $\upsilon_{A}(X)=\upsilon_{B}(X)$. We have shown that for first countable non compact real compact space $X$, $[A(X)]$ contains at least $2^{c}$ many different subalgebras no two of which are isomorphic.

General Topology
The C1 Closing Lemma for Nonsingular Endomorphisms

L WEN

DOI: https://doi.org/10.1017/s0143385700006210

1991-01-01

Abstract:A slightly improved version of the (idealized) C1 closing lemma is proved. This turns out to generalize the C1 closing lemma from diffeomorphisms to non-singular endomorphisms.
Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

Aleksei Golota

2024-09-13

Abstract:Let $X$ be a complex projective variety. Suppose that the group of birational automorphisms of $X$ contains finite subgroups isomorphic to $(\mathbb{Z}/N\mathbb{Z})^r$ for $r$ fixed and $N$ arbitrarily large. We show that $r$ does not exceed $2\dim(X)$. Moreover, the equality holds if and only if $X$ is birational to an abelian variety. We also show that an analogous result holds for groups of bimeromorphic automorphisms of compact Kähler spaces, under some additional assumptions.

Algebraic Geometry
On Homotopy Invariants of Finite Degree

S. S. Podkorytov

DOI: https://doi.org/10.1007/s10958-016-2692-6

2016-01-07

Journal of Mathematical Sciences

Abstract:We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups. Bibliography: 12 titles.
Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

Will Brian,Ilijas Farah

2024-10-15

Abstract:A trivial automorphism of the Boolean algebra $\mathcal P(\mathbb N) / \mathrm{Fin}$ is an automorphism induced by the action of some function $\mathbb N \rightarrow \mathbb N$. In models of forcing axioms all automorphisms are trivial, and therefore two trivial automorphisms are conjugate if and only if they have the same (modulo finite) cycle structure. We show that the Continuum Hypothesis implies that two trivial automorphisms are conjugate if and only if there are neither first-order obstructions nor index obstructions for their conjugacy. This is equivalent to given trivial automorphisms being conugate in some forcing extension of the universe. To each automorphism $\alpha$ of $\mathcal P(\mathbb N) / \mathrm{Fin}$ we associate the first-order structure $\mathfrak{A}_\alpha=(\mathcal P(\mathbb N) / \mathrm{Fin},\alpha)$ and compute the existential theories of these structures. These results are applied to resolve a question of Braga, Farah, and Vignati and prove that there are coarse metric spaces $X$ and $Y$ such that the isomorphism between their uniform Roe coronas is independent from $\mathsf{ZFC}$.

Logic,Dynamical Systems,General Topology,Operator Algebras
Cartan uniqueness theorem on nonopen sets

Jiri Lebl,Alan Noell,Sivaguru Ravisankar

DOI: https://doi.org/10.1007/s40627-022-00109-z

2024-09-14

Abstract:Cartan's uniqueness theorem does not hold in general for CR mappings, but it does hold under certain conditions guaranteeing extendibility of CR functions to a fixed neighborhood. These conditions can be defined naturally for a wide class of sets such as local real-analytic subvarieties or subanalytic sets, not just submanifolds. Suppose that $V$ is a locally connected and locally closed subset of ${\mathbb{C}}^n$ such that the hull constructed by contracting analytic discs close to arbitrarily small neighborhoods of a point always contains the point in the interior. Then restrictions of holomorphic functions uniquely extend to a fixed neighborhood of the point. Using this extension, we obtain a version of Cartan's uniqueness theorem for such sets. When $V$ is a real-analytic subvariety, we can generalize the concept of infinitesimal CR automorphism and also prove an analogue of the theorem. As an application of these two results we show that, for circular subvarieties, the only automorphisms, CR or infinitesimal, are linear. Please read the erratum attached at the end for a correct definition of the contracting disc hull.

Complex Variables
Non-isomorphism of $A^{*n}, 2\leq n \leq \infty$, for a non-separable abelian von Neumann algebra $A$

Rémi Boutonnet,Daniel Drimbe,Adrian Ioana,Sorin Popa

2023-08-11

Abstract:We prove that if $A$ is a non-separable abelian tracial von Neuman algebra then its free powers $A^{*n}, 2\leq n \leq \infty$, are mutually non-isomorphic and with trivial fundamental group, $\mathcal F(A^{*n})=1$, whenever $2\leq n<\infty$. This settles the non-separable version of the free group factor problem.

Operator Algebras,Functional Analysis
A self-similar set with non-locally connected components

Jian-Ci Xiao

2024-03-29

Abstract:Luo, Rao and Xiong [Topol. Appl. 322 (2022), 108271] conjectured that if a planar self-similar iterated function system with the open set condition does not involve rotations or reflections, then every connected component of the attractor is locally connected. We create a homogeneous counterexample of Lalley-Gatzouras type, which disproves this conjecture.

Mathematics
Examples of $CD(0,N)$ spaces with non-constant dimension

Mattia Magnabosco

2023-10-09

Abstract:In this work, we generalize the results obtained in (J. Geom. Anal., 32(6):Paper No.173, 32, 2022), presenting some examples of $CD(0,N)$ spaces having different dimensions in different regions, deducing in particular that the topological splitting may fail in $CD(0,N)$ spaces. We also observe that any reasonable non-branching condition may fail in $CD(0,N)$ spaces and that the existence of an optimal transport map, between two absolutely continuous marginals, is not guaranteed by the $CD(0,N)$ condition, without requiring a non-branching assumption. Moreover, we show that the strict $CD(0,N)$ condition is strictly stronger than the classical $CD(0,N)$ one and it is not stable with respect to the measured Gromov-Hausdorff convergence.

Metric Geometry,Differential Geometry
Constraining mapping class group homomorphisms using finite subgroups

Chen, Lei

DOI: https://doi.org/10.1007/s10711-024-00918-y

2024-09-22

Geometriae Dedicata

Abstract:We classify homomorphisms from mapping class groups by using arguments involving finite subgroups. First, we give a new proof of a result of Aramayona–Souto that all homomorphisms between certain mapping class groups of closed surfaces are trivial. Second, we show that only finitely many mapping class groups of closed surfaces have nontrivial homomorphisms to for any n , where is the n -sphere. We also effectivize this result for small values of n ; for instance, we prove that every homomorphism from to or is trivial if , extending a result of Franks–Handel.

mathematics
The Nub of an Automorphism of a Totally Disconnected, Locally Compact Group

George Willis

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

2011-12-19

Abstract:To any automorphism, $\alpha$, of a totally disconnected, locally compact group, $G$, there is associated a compact, $\alpha$-stable subgroup of $G$, here called the \emph{nub} of $\alpha$, on which the action of $\alpha$ is topologically transitive. Topologically transitive actions of automorphisms of compact groups have been studied extensively in topological dynamics and results obtained transfer, via the nub, to the study of automorphisms of general locally compact groups. A new proof that the contraction group of $\alpha$ is dense in the nub is given, but it is seen that the two-sided contraction group need not be dense. It is also shown that each pair $(G,\alpha)$, with $G$ compact and $\alpha$ topologically transitive, is an inverse limit of pairs that have `finite depth' and that analogues of the Schreier Refinement and Jordan-Hölder Theorems hold for pairs with finite depth.

Group Theory
New examples of $2$-nondegenerate real hypersurfaces in $\mathbb{C}^N$ with arbitrary nilpotent symbols

Martin Kolář,Ilya Kossovskiy,David Sykes

2024-04-25

Abstract:We introduce a class of uniformly $2$-nondegenerate CR hypersurfaces in $\mathbb{C}^N$, for $N>3$, having a rank $1$ Levi kernel. The class is first of all remarkable by the fact that for every $N>3$ it forms an {\em explicit} infinite-dimensional family of everywhere $2$-nondegenerate hypersurfaces. To the best of our knowledge, this is the first such construction. Besides, the class an infinite-dimensional family of non-equivalent structures having a given constant nilpotent CR symbol for every such symbol. Using methods that are able to handle all cases with $N>5$ simultaneously, we solve the equivalence problem for the considered structures whose symbol is represented by a single Jordan block, classify their algebras of infinitesimal symmetries, and classify the locally homogeneous structures among them. We show that the remaining considered structures, which have symbols represented by a direct sum of Jordan blocks, can be constructed from the single block structures through simple linking and extension processes.

Complex Variables,Differential Geometry
Trivial Endomorphisms of the Calkin Algebra

Andrea Vaccaro

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

2021-03-17

Abstract:We prove that it is consistent with ZFC that every unital endomorphism of the Calkin algebra $\mathcal{Q}(H)$ is unitarily equivalent to an endomorphism of $\mathcal{Q}(H)$ which is liftable to a unital endomorphism of $\mathcal{B}(H)$. We use this result to classify all unital endomorphisms of $\mathcal{Q}(H)$ up to unitary equivalence by the Fredholm index of the image of the unilateral shift. As a further application, we show that it is consistent with ZFC that the class of $\mathrm{C}^\ast$-algebras that embed into $\mathcal{Q}(H)$ is not closed under tensor product nor countable inductive limit.

Operator Algebras,Logic
Homomorphism obstructions for satellite maps

Allison Miller

DOI: https://doi.org/10.1090/btran/123

2023-02-07

Abstract:A knot in a solid torus defines a map on the set of (smooth or topological) concordance classes of knots in S 3 S^3 . This set admits a group structure, but a conjecture of Hedden suggests that satellite maps never induce interesting homomorphisms: we give new evidence for this conjecture in both categories. First, we use Casson-Gordon signatures to give the first obstruction to a slice pattern inducing a homomorphism on the topological concordance group, constructing examples with every winding number besides ± 1 \pm 1 . We then provide subtle examples of satellite maps which map arbitrarily deep into the n n -solvable filtration of Cochran, Orr, and Teichner [Ann. of Math. (2) 157 (2003), pp. 433–519], act like homomorphisms on arbitrary finite sets of knots, and yet which still do not induce homomorphisms. Finally, we verify Hedden’s conjecture in the smooth category for all small crossing number satellite operators but one.

English Else
Real analytic nonexpansive maps on polyhedral normed spaces

Brian Lins

2024-08-21

Abstract:If a real analytic nonexpansive map on a polyhedral normed space has a nonempty fixed point set, then we show that there is an isometry from an affine subspace onto the fixed point set. As a corollary, we prove that for any real analytic 1-norm or $\infty$-norm nonexpansive map on $\mathbb{R}^n$, there is a positive integer $q$ such that the period of any periodic orbit divides $q$ and $q$ is the order, or twice the order, of a permutation on $n$ letters. This confirms Nussbaum's $2^n$ Conjecture for $\infty$-norm nonexpansive maps in the special case where the maps are also real analytic.

Dynamical Systems,Functional Analysis

Non-trivial copies of N*

Rigidity of Non-Renormalizable Newton Maps

Closed copies of $\mathbb{N}$ in $\mathbb{R}^{ω_1}$

Autohomeomorphisms of pre-images of $\mathbb N^*$

Regular homotopy classes of locally generic mappings

On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

On Cardinality Of Non Isomorphic Intermediate Rings Of C(X)

The C1 Closing Lemma for Nonsingular Endomorphisms

Finite abelian subgroups in the groups of birational and bimeromorphic selfmaps

On Homotopy Invariants of Finite Degree

Conjugating trivial automorphisms of $\mathcal P(\mathbb N)/\mathrm{Fin}$

Cartan uniqueness theorem on nonopen sets

Non-isomorphism of $A^{*n}, 2\leq n \leq \infty$, for a non-separable abelian von Neumann algebra $A$

A self-similar set with non-locally connected components

Examples of $CD(0,N)$ spaces with non-constant dimension

Constraining mapping class group homomorphisms using finite subgroups

The Nub of an Automorphism of a Totally Disconnected, Locally Compact Group

New examples of $2$-nondegenerate real hypersurfaces in $\mathbb{C}^N$ with arbitrary nilpotent symbols

Trivial Endomorphisms of the Calkin Algebra

Homomorphism obstructions for satellite maps

Real analytic nonexpansive maps on polyhedral normed spaces