Space of orders with finite Cantor-Bendixson rank

Waseet Kazmi

2024-10-27

Abstract:The goal of this paper is to show the following result: For every integer $n\geq 2$ there is a countable orderable group such that its space of orders is countable and has Cantor-Bendixson rank $n$. We show this by explicitly constructing a family of orderable groups with the desired properties.

Group Theory

What problem does this paper attempt to address?

Space of orders with finite Cantor-Bendixson rank

Waseet Kazmi

2024-01-09

Abstract:The goal of this paper is to show the following result: For every integer $n\geq 2$ there is a countable orderable group such that its space of orders is countable and has Cantor-Bendixson rank $n$. We show this by explicitly constructing a family of orderable groups with the desired properties.

Group Theory
On the number of circular orders on a group

Adam Clay,Kathryn Mann,Cristóbal Rivas

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

2017-04-21

Abstract:We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product decomposition. This allows us to also show that the space of circular orders of any group is either finite or uncountable. As a special case and first step, we show that the space of circular orderings of an infinite Abelian group has no isolated points, hence is homeomorphic to a cantor set.

Group Theory,Dynamical Systems
Cantor-Bendixson type ranks on Polish spaces

Vibeke Quorning

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

2018-06-08

Abstract:For any Polish space $X$ it is well-known that the Cantor-Bendixson rank provides a co-analytic rank on $F_{\aleph_0}(X)$ if and only if $X$ is a $\sigma$-compact. In the case of $\omega^\omega$ one may recover a co-analytic rank on $F_{\aleph_0}(\omega^\omega)$ by considering the Cantor-Bendixson rank of the induced trees instead. In this paper we will generalize this idea to arbitrary Polish spaces and thereby construct a family of co-analytic ranks on $F_{\aleph_0}(X)$ for any Polish space $X$. We study the behaviour of this family and compare the ranks to the original Cantor-Bendixson rank. The main results are characterizations of the compact and $\sigma$-compact Polish spaces in terms of this behaviour.

Logic,General Topology
A NOTE ON SPACES WITH RANK 2-DIAGONAL

Wei-Feng Xuan,Wei-Xue Shi

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

2014-01-01

Bulletin of the Australian Mathematical Society

Abstract:Abstract We prove that if a space $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}X$ with a rank 2-diagonal either has the countable chain condition or is star countable then the cardinality of $X$ is at most $\mathfrak{c}$.
A Note on Spaces with A Rank 3-Diagonal

Wei-Feng Xuan,Wei-Xue Shi

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

2014-01-01

Bulletin of the Australian Mathematical Society

Abstract:We prove that if X is a space satisfying the discrete countable chain condition with a rank 3-diagonal then the cardinality of X is at most iota.
Countable ranks at the first and second projective levels

Merlin Carl,Philipp Schlicht,Philip Welch

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

2022-07-19

Abstract:A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the Kechris-Woodin rank and many other ranks in descriptive set theory and real analysis. The complexity of many natural ranks is $\Pi^1_1$ or $\Sigma^1_2$. We propose to understand the least length of ranks on a set as a measure of its complexity. Therefore, the aim is to understand which lengths such ranks may have. The main result determines the suprema of lengths of countable ranks at the first and second projective levels. Furthermore, we characterise the existence of countable ranks on specific classes of $\Sigma^1_2$ sets. The connections arising between $\Sigma^1_2$ sets with countable ranks on the one hand and $\Sigma^1_2$ Borel sets on the other lead to a conjecture that unifies several results in descriptive set theory such as the Mansfield-Solovay theorem and a recent result of Kanovei and Lyubetsky.

Logic
The number of locally invariant orderings of a group

Idrissa Ba,Adam Clay,Ian Thompson

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

2022-08-02

Abstract:We show that if a nontrivial group admits a locally invariant ordering, then it admits uncountably many locally invariant orderings. For the case of a left-orderable group, we provide an explicit construction of uncountable families of locally invariant orderings; for a general group we provide an existence theorem that applies compactness to yield uncountably many locally invariant orderings. Along the way, we define and investigate the space of locally invariant orderings of a group, the natural group actions on this space, and their relationship to the space of left-orderings.

Group Theory
A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders

Kojiro Higuchi,Patrick Lutz

2023-09-15

Abstract:A long-standing conjecture of Sacks states that it is provable in ZFC that every locally countable partial order of size continuum embeds into the Turing degrees. We show that this holds for partial orders of height two, but provide evidence that it is hard to extend this result even to partial orders of height three. In particular, we show that the result for height two partial orders holds both in certain extensions of ZF with only limited forms of choice and in the Borel setting (where the partial orders and embeddings are required to be Borel measurable), but that the analogous result for height three partial orders fails in both of these settings. We also formulate a general obstacle to embedding partial orders into the Turing degrees, which explains why our particular proof for height two partial orders cannot be extended to height three partial orders, even in ZFC. We finish by discussing how our results connect to the theory of countable Borel equivalence relations.

Logic
Total Cuntz semigroup, Extension and Elliott Conjecture with Real rank zero

Qingnan An,Zhichao Liu

2023-03-13

Abstract:In this paper, we exhibit two unital, separable, nuclear ${\rm C}^*$-algebras of stable rank one and real rank zero with the same ordered scaled total K-theory, but they are not isomorphic with each other, which forms a counterexample to Elliott Classification Conjecture for real rank zero setting. Thus, we introduce an additional normal condition and give a classification result in terms of total K-theory. For the general setting, with a new invariant -- total Cuntz semigroup \cite{AL}, we classify a large class of ${\rm C}^*$-algebras obtained from extensions. The total Cuntz semigroup, which distinguish the algebras of our counterexample, could possibly classify all the ${\rm C}^*$-algebras of stable rank one and real rank zero.

Operator Algebras
A Cantor-Bendixson Rank for Siblings of Trees

Davoud Abdi

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

2022-09-09

Abstract:Similar to topological spaces, we introduce the Cantor-Bendixson rank of a tree $T$ by repeatedly removing the leaves and the isolated vertices of $T$ using transfinite recursion. Then, we give a representation of a tree $T$ as a leafless tree $T^\infty$ with some leafy trees attached to $T^\infty$. With this representation at our disposal, we count the siblings of a tree and obtain partial results towards a conjecture of Bonato and Tardif.

Combinatorics
Two-stage spaces and the torus rank conjecture

Yanlong Hao,Xiugui Liu,Qianwen Sun

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

2022-10-26

Abstract:In this note, we give some new families of two-stage spaces for which the torus rank conjecture is affirmed.

Algebraic Topology
Total Cuntz semigroup, extension, and Elliott Conjecture with real rank zero

Qingnan An,Zhichao Liu

DOI: https://doi.org/10.1112/plms.12595

2024-04-01

Proceedings of the London Mathematical Society

Abstract:Abstract In this paper, we exhibit two unital, separable, nuclear ‐algebras of stable rank one and real rank zero with the same ordered scaled total K‐theory, but they are not isomorphic with each other, which forms a counterexample to the Elliott Classification Conjecture for real rank zero setting. Thus, we introduce an additional normal condition and give a classification result in terms of the total K‐theory. For the general setting, with a new invariant, the total Cuntz semigroup [2], we classify a large class of ‐algebras obtained from extensions. The total Cuntz semigroup, which distinguishes the algebras of our counterexample, could possibly classify all the ‐algebras of stable rank one and real rank zero.

mathematics
Cantor-Schröder-Bernstein theorem for a class of countable linear orders

Suyash Srivastava,Mihir Mittal

2024-11-05

Abstract:The shuffle of a non-empty countable set $ S $ of linear orders is the (unique up to isomorphism) linear order $ \Xi(S) $ obtained by fixing a coloring function $ \chi: \mathbb{Q} \to S $ having fibers dense in $ \mathbb{Q} $ and replacing each rational $ q $ in $ (\mathbb{Q}, <) $ with an isomorphic copy of $ \chi(q) $. We prove that any two countable shuffles that embed as convex subsets into each other are order isomorphic.

Logic,Combinatorics
Subgroups of bounded rank in hyperbolic 3‐manifold groups

Ian Biringer

DOI: https://doi.org/10.1112/blms.13170

IF: 1.036

2024-10-22

Bulletin of the London Mathematical Society

Abstract:We prove a finiteness theorem for subgroups of bounded rank in hyperbolic 3‐manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic 3‐manifolds is a tower of finite covers associated to a fibration over a 1‐orbifold.

mathematics
Subgroups of bounded rank in hyperbolic 3-manifold groups

Ian Biringer

2024-04-02

Abstract:We prove a finiteness theorem for subgroups of bounded rank in hyperbolic $3$-manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic $3$-manifolds is a tower of finite covers associated to a fibration over a $1$-orbifold.

Geometric Topology
A Note on Spaces with A Strong Rank 1-Diagonal

Wei-Feng Xuan,Wei-Xue Shi

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

2013-01-01

Bulletin of the Australian Mathematical Society

Abstract:We mainly prove that, assuming b = c, every regular star-compact space with a strong rank 1-diagonal is metrisable.
CAT(0) Spaces of Higher Rank I

Stephan Stadler

DOI: https://doi.org/10.1007/s00039-024-00661-2

2024-02-04

Geometric and Functional Analysis

Abstract:A CAT(0) space has rank at least n if every geodesic lies in an n -flat. Ballmann's Higher Rank Rigidity Conjecture predicts that a CAT(0) space of rank at least 2 with a geometric group action is rigid – isometric to a Riemannian symmetric space, a Euclidean building, or splits as a metric product. This paper is the first in a series motivated by Ballmann's conjecture. Here we prove that a CAT(0) space of rank at least n ≥2 is rigid if it contains a periodic n -flat and its Tits boundary has dimension ( n −1). This does not require a geometric group action. The result relies essentially on the study of flats which do not bound flat half-spaces – so-called Morse flats . We show that the Tits boundary ∂ T F of a periodic Morse n -flat F contains a regular point – a point with a Tits-neighborhood entirely contained in ∂ T F . More precisely, we show that the set of singular points in ∂ T F can be covered by finitely many round spheres of positive codimension.

mathematics
Uncountable sets and an infinite linear order game

Tonatiuh Matos-Wiederhold,Luciano Salvetti

2024-08-27

Abstract:An infinite game on the set of real numbers appeared in Matthew Baker's work [Math. Mag. 80 (2007), no. 5, pp. 377--380] in which he asks whether it can help characterize countable subsets of the reals. This question is in a similar spirit to how the Banach-Mazur Game characterizes meager sets in an arbitrary topological space. In a recent paper, Will Brian and Steven Clontz prove that in Baker's game, Player II has a winning strategy if and only if the payoff set is countable. They also asked if it is possible, in general linear orders, for Player II to have a winning strategy on some uncountable set. To this we give a positive answer and moreover construct, for every infinite cardinal $\kappa$, a dense linear order of size $\kappa$ on which Player II has a winning strategy on all payoff sets. We finish with some future research questions, further underlining the difficulty in generalizing the characterization of Brian and Clontz to linear orders.

Logic
Compactness and Symmetric Well Orders

Abhijit Dasgupta

DOI: https://doi.org/10.4064/ba230424-28-12

2022-07-27

Abstract:We introduce and investigate a topological version of St\"ackel's 1907 characterization of finite sets, with the goal of obtaining an interesting notion that characterizes usual compactness (or a close variant of it). Define a $T_2$ topological space $(X, \tau)$ to be St\"ackel-compact if there is some linear ordering $\prec$ on $X$ such that every non-empty $\tau$-closed set contains a $\prec$-least and a $\prec$-greatest element. We find that compact spaces are St\"ackel-compact but not conversely, and St\"ackel-compact spaces are countably compact. The equivalence of St\"ackel-compactness with countable compactness remains open, but our main result is that this equivalence holds in scattered spaces of Cantor-Bendixson rank $< \omega_2$ under ZFC. Under V=L, the equivalence holds in all scattered spaces.

Logic,General Topology
Non-left-orderability of lattices in higher-rank semisimple Lie groups (after Deroin and Hurtado)

Dave Witte Morris

2024-07-13

Abstract:Let $G$ be a connected, semisimple, real Lie group with finite centre, with real rank at least two. B.Deroin and S.Hurtado recently proved the 30-year-old conjecture that no irreducible lattice in $G$ has a left-invariant total order. (Equivalently, they proved that no such lattice has a nontrivial, orientation-preserving action on the real line.) We will explain many of the main ideas of the proof, by using them to prove the analogous result for lattices in $p$-adic semisimple groups. The $p$-adic case is easier, because some of the technical issues do not arise.

Group Theory,Dynamical Systems

Space of orders with finite Cantor-Bendixson rank

Space of orders with finite Cantor-Bendixson rank

On the number of circular orders on a group

Cantor-Bendixson type ranks on Polish spaces

A NOTE ON SPACES WITH RANK 2-DIAGONAL

A Note on Spaces with A Rank 3-Diagonal

Countable ranks at the first and second projective levels

The number of locally invariant orderings of a group

A Note on a Conjecture of Sacks: It is Harder to Embed Height Three Partial Orders than Height Two Partial Orders

Total Cuntz semigroup, Extension and Elliott Conjecture with Real rank zero

A Cantor-Bendixson Rank for Siblings of Trees

Two-stage spaces and the torus rank conjecture

Total Cuntz semigroup, extension, and Elliott Conjecture with real rank zero

Cantor-Schröder-Bernstein theorem for a class of countable linear orders

Subgroups of bounded rank in hyperbolic 3‐manifold groups

Subgroups of bounded rank in hyperbolic 3-manifold groups

A Note on Spaces with A Strong Rank 1-Diagonal

CAT(0) Spaces of Higher Rank I

Uncountable sets and an infinite linear order game

Compactness and Symmetric Well Orders

Non-left-orderability of lattices in higher-rank semisimple Lie groups (after Deroin and Hurtado)