Hierarchies of incomparable groups

Gerald Kuba

2024-02-01

Abstract:For every countable ordinal number $\alpha$ we construct a family F of groups such that (i) if G,H are distinct groups in F then G cannot be imbedded in H and (ii) F contains $2^\kappa$ groups of order $\kappa$ for each infinite cardinal number $\kappa$ up to the beth with index $\alpha$.

Group Theory

What problem does this paper attempt to address?

On cardinalities in quotients of inverse limits of groups

Rami Grossberg,Saharon Shelah

DOI: https://doi.org/10.48550/arXiv.math/9911225

1999-11-28

Logic

Abstract:Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega there is a homomorphism h:H_n-->G_n such that all the diagrams commute. If for every mu<lambda there exists (f_i in G_omega:i<mu) such that for distinct i,j we have: f_i f_j^{-1} notin h_omega(H_omega), then there exists (f_i in G_omega:i<2^lambda) such that for distinct i,j we have f_i f_j^{-1} notin h_omega(H_omega).
The adjacent Hindman's theorem for uncountable groups

Lorenzo Carlucci,David J. Fernández-Bretón

DOI: https://doi.org/10.4064/cm9095-4-2023

2023-07-12

Abstract:Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogous result studied by the first author in the countable setting, we prove a new variant of Hindman's Theorem for uncountable cardinals, called the Adjacent Hindman's Theorem: For every $\kappa$ there is a $\lambda$ such that, whenever a group $G$ of cardinality $\lambda$ is coloured with $\kappa$ colours, there exists a $\lambda$-sized injective sequence of elements of $G$ with all finite products of adjacent terms of the sequence of the same colour. We obtain bounds on $\lambda$ as a function of $\kappa$, and prove that such bounds are optimal. This is the first example of a Hindman-type result for uncountable cardinals that we can prove also in the non-Abelian setting and, furthermore, it is the first such example where monochromatic products (or sums) of unbounded length are guaranteed.

Combinatorics,Logic
Ordinals arising as residual finiteness depths

Martin R. Bridson

2024-11-12

Abstract:For every natural number $n$, there exist finitely presented groups with residual finiteness depths $\omega\cdot n$ and $\omega\cdot n + 1$. The ordinals that arise as the residual finiteness depth of a finitely generated group (equivalently, a countable group) are $0,\, 1$, the countable limit ordinals, and the successors of these limit ordinals.

Group Theory
Clarifying ordinals

Noah Schweber

2024-08-20

Abstract:We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set relative to each copy separately. Assuming $\mathsf{V=L}$, this is close to optimal; on the other hand, assuming large cardinals the same (and more) holds for every projective functional.

Logic
The comparability numbers and the incomparability numbers

Tatsuya Goto

2023-11-09

Abstract:We introduce new cardinal invariants of a poset, called the comparability number and the incomparability number. We determine their value for well-known posets, such as $\omega^\omega$, $\mathcal{P}(\omega)/\mathrm{fin}$, the Turing degrees $\mathcal{D}$, the quotient algebra $\mathsf{Borel}(2^\omega)/\mathsf{null}$, the ideals $\mathsf{meager}$ and $\mathsf{null}$. Moreover, we consider these invariants for the Rudin-Keisler ordering of the nonprincipal ultrafilters on $\omega$. We also consider these invariants for ideals on $\omega$ and on $\omega_1$.

Logic
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

David Fernández-Duque,Andreas Weiermann

2024-01-05

Abstract:We prove that Buchholz's system of fundamental sequences for the $\vartheta$ function enjoys various regularity conditions, including the Bachmann property. We partially extend these results to variants of the $\vartheta$ function, including a version without addition for countable ordinals. We conclude that the Hardy functions based on these notation systems enjoy natural monotonicity properties and majorize all functions defined by primitive recursion along $\vartheta(\varepsilon_{\Omega+1})$.

Logic
Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

K. Nakayama,T. Sato,K. Terashima,H. Matsui,T. Takahashi,M. Kubota,K. Ono,T. Nishizaki,Y. Takahashi,N. Kobayashi

DOI: https://doi.org/10.1103/PhysRevB.75.014513

2006-11-20

Abstract:We have performed high-resolution angle-resolved photoemission spectroscopy on YBa2Cu3O7-delta (Y123; delta = 0.06; Tc = 92 K). By accurately determining the Fermi surface and energy band dispersion, we solve long-standing controversial issues as to the anomalous electronic states of Y-based high-Tc cuprates. We unambiguously identified surface-bilayer-derived bonding and antibonding bands, together with their bulk counterparts. The surface bands are highly overdoped (hole concentration x = 0.29), showing no evidence for the gap opening or the dispersion anomaly in the antinodal region, while the bulk bands show a clear dx2-y2-wave superconducting gap and the Bogoliubov quasiparticle-like behavior with a characteristic energy scale of 50-60 meV indicative of a strong electron-boson coupling in the superconducting state. All these results suggest that the metallic and superconducting states coexist at the adjacent bilayer of Y123 surface.

Superconductivity,Strongly Correlated Electrons
Forcing With Copies of Uncountable Ordinals

Miloš S. Kurilić

2024-04-23

Abstract:For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider uncountable ordinals. Since $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is isomorphic to the direct product $\prod _{i=1}^n (\mathop{\rm sq}\nolimits {\mathbb P} (\omega ^{\delta _i}))^{s_i}$, where $\alpha = \omega ^{\delta _n}s_n+\dots +\omega ^{\delta _1}s_1+ m$ is the Cantor normal form for $\alpha $, the analysis is reduced to the investigation of the posets of the form ${\mathbb P} (\omega ^{\delta })$. It turns out that, in ZFC, either the poset $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is $\sigma$-closed and completely embeds $P(\omega )/\mathop{\rm Fin}$ and, hence, preserves $\omega _1$ and forces $|{\mathfrak c}|=|{\mathfrak h}|$, or, otherwise, completely embeds the algebra $P(\lambda )/[\lambda ]^{<\lambda }$, for some regular $\omega <\lambda \leq \mathop{\rm cf}\nolimits (\delta )$, and collapses $\omega _2$ to $\omega $. Regarding the Cantor normal form, the first case appears iff for each $i\leq n$ we have $\mathop{\rm cf}\nolimits (\delta _i)\leq \omega $, or $\delta _i = \theta _i + \mathop{\rm cf}\nolimits (\delta _i )$, where $\mathop{\mathrm{Ord}}\nolimits \ni\theta _i \geq \mathop{\rm cf}\nolimits (\delta _i ) >\mathop{\rm cf}\nolimits (\theta _i )=\omega $ and $\theta _i =\lim _{n\rightarrow \omega }\delta _n$, where $\mathop{\rm cf}\nolimits (\delta _n)=\mathop{\rm cf}\nolimits (\delta _i)$, for all $n\in \omega $.

Logic
Functorial Fast-Growing Hierarchies

J. P. Aguilera,F. Pakhomov,A. Weiermann

DOI: https://doi.org/10.1017/fms.2023.128

2024-01-27

Forum of Mathematics Sigma

Abstract:We prove an isomorphism theorem between the canonical denotation systems for large natural numbers and large countable ordinal numbers, linking two fundamental concepts in Proof Theory. The first one is fast-growing hierarchies. These are sequences of functions on obtained through processes such as the ones that yield multiplication from addition, exponentiation from multiplication, etc. and represent the canonical way of speaking about large finite numbers. The second one is ordinal collapsing functions, which represent the best-known method of describing large computable ordinals. We observe that fast-growing hierarchies can be naturally extended to functors on the categories of natural numbers and of linear orders. The isomorphism theorem asserts that the categorical extensions of binary fast-growing hierarchies to ordinals are isomorphic to denotation systems given by cardinal collapsing functions. As an application of this fact, we obtain a restatement of the subsystem - of analysis as a higher-type well-ordering principle asserting that binary fast-growing hierarchies preserve well-foundedness.

mathematics, applied
A HIERARCHY ON NON-ARCHIMEDEAN POLISH GROUPS ADMITTING A COMPATIBLE COMPLETE LEFT-INVARIANT METRIC

LONGYUN DING,XU WANG

DOI: https://doi.org/10.1017/jsl.2024.7

2024-02-06

Abstract:Abstract In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha $ -CLI and L- $\alpha $ -CLI where $\alpha $ is a countable ordinal. We establish three results: (1) G is $0$ -CLI iff $G=\{1_G\}$ ; (2) G is $1$ -CLI iff G admits a compatible complete two-sided invariant metric; and (3) G is L- $\alpha $ -CLI iff G is locally $\alpha $ -CLI, i.e., G contains an open subgroup that is $\alpha $ -CLI. Subsequently, we show this hierarchy is proper by constructing non-archimedean CLI Polish groups $G_\alpha $ and $H_\alpha $ for $\alpha <\omega _1$ , such that: (1) $H_\alpha $ is $\alpha $ -CLI but not L- $\beta $ -CLI for $\beta <\alpha $ ; and (2) $G_\alpha $ is $(\alpha +1)$ -CLI but not L- $\alpha $ -CLI.

mathematics,logic
Universal countable Borel quasi-orders

Jay Williams

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

2013-06-06

Abstract:In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal for the study of analytic equivalence relations, we study countable Borel quasi-orders. In this paper we are concerned with universal countable Borel quasi-orders, i.e. countable Borel quasi-orders above all other countable Borel quasi-orders with regard to Borel reducibility. We first establish that there is a universal countable Borel quasi-order, and then establish that several countable Borel quasi-orders are universal. An important example is an embeddability relation on descriptive set theoretic trees. Our main result states that embeddability of finitely generated groups is a universal countable Borel quasi-order, answering a question of Louveau and Rosendal. This immediately implies that biembeddability of finitely generated groups is a universal countable Borel equivalence relation. The same techniques are also used to show that embeddability of countable groups is a universal analytic quasi-order. Finally, we show that, up to Borel bireducibility, there are continuum-many distinct countable Borel quasi-orders which symmetrize to a universal countable Borel equivalence relation.

Logic,Group Theory
An infinite family of exotic subgroups of hyperbolic groups

Monika Kudlinska

2024-04-17

Abstract:We construct the first known infinite family of quasi-isometry classes of subgroups of hyperbolic groups which are not hyperbolic and are of type $\mathrm{FP}(\mathbb{Q})$. We give a simple criterion for producing many non-hyperbolic subgroups of hyperbolic groups with strong finiteness properties. We also observe that local hyperbolicity and algebraic fibring are mutually exclusive in higher dimensions.

Mathematics
About discrete subgroups of full groups of measure preserving equivalence relations

Vadim Alekseev,Alessandro Carderi,Andreas Thom,Robin Tucker-Drob

2023-09-26

Abstract:In this note we study countable subgroups of the full group of a measure preserving equivalence relation. We provide various constraints on the group structure, the nature of the action, and on the measure of fixed point sets, that imply that the subgroup topology is not discrete. We mention various conjectures about discrete subgroups of full groups.

Group Theory,Dynamical Systems
Cardinalities of irredundant bases of finite primitive groups

Fabio Mastrogiacomo

2024-07-30

Abstract:Let $G$ be a finite permutation group acting on a set $\Omega$. An ordered sequence $(\omega_1,\ldots,\omega_\ell)$ of elements of $\Omega$ is an irredundant base for $G$ if the pointwise stabilizer of the sequence is trivial and no point is fixed by the stabilizer of its predecessors. We show that any interval of natural numbers can be realized as the set of cardinalities of irredundant bases for some finite primitive group.

Group Theory,Combinatorics
On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)

Joshua A. Grochow,Michael Levet

DOI: https://doi.org/10.4204/EPTCS.390.12

2023-10-02

Abstract:In this paper, we explore the descriptive complexity theory of finite groups by examining the power of the second Ehrenfeucht-Fraisse bijective pebble game in Hella's (Ann. Pure Appl. Log., 1989) hierarchy. This is a Spoiler-Duplicator game in which Spoiler can place up to two pebbles each round. While it trivially solves graph isomorphism, it may be nontrivial for finite groups, and other ternary relational structures. We first provide a novel generalization of Weisfeiler-Leman (WL) coloring, which we call 2-ary WL. We then show that the 2-ary WL is equivalent to the second Ehrenfeucht-Fraisse bijective pebble game in Hella's hierarchy. Our main result is that, in the pebble game characterization, only O(1) pebbles and O(1) rounds are sufficient to identify all groups without Abelian normal subgroups (a class of groups for which isomorphism testing is known to be in P; Babai, Codenotti, & Qiao, ICALP 2012). In particular, we show that within the first few rounds, Spoiler can force Duplicator to select an isomorphism between two such groups at each subsequent round. By Hella's results (ibid.), this is equivalent to saying that these groups are identified by formulas in first-order logic with generalized 2-ary quantifiers, using only O(1) variables and O(1) quantifier depth.

Logic in Computer Science,Computational Complexity,Data Structures and Algorithms
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
Demushkin groups of uncountable rank

Tamar Bar‐On,Nikolay Nikolov

DOI: https://doi.org/10.1112/jlms.12875

2024-02-18

Journal of the London Mathematical Society

Abstract:Abstract We extend the theory of countably generated Demushkin groups to Demushkin groups of arbitrary rank. We investigate their algebraic properties and invariants, count their isomorphism classes, and study their realization as absolute Galois group. At the end, we compute their profinite completion and conclude with some results on profinite completion of absolute Galois groups.

mathematics
Amalgamation and Keisler's Order

Danielle Ulrich

2024-09-20

Abstract:Malliaris and Shelah famously proved that Keisler's order $\trianglelefteq$ has infinitely many classes. In more detail, for each $2 \leq k < n < \omega$, let $T_{n, k}$ be the theory of the random $k$-ary $n$-clique free hypergraph. Malliaris and Shelah show that whenever $k+1 < k'$, then $T_{k+1, k} \not \trianglelefteq T_{k'+1, k'}$. However, their arguments do not separate $T_{k+1, k}$ from $T_{k+2, k+1}$, and the model-theoretic properties detected by their ultrafilters are difficult to evaluate in practice. We uniformize the relevant ultrafilter constructions and obtain sharper model-theoretic bounds. As a sample application, we prove the following: suppose $3 \leq k < \aleph_0$, and $T$ is a countable low theory. Suppose that every independent system $(M_s: s \subsetneq k)$ of countable models of $T$ can be independently amalgamated. Then $T_{k, k-1} \not \trianglelefteq T$. In particular, for all $k < k'$, $T_{k+1, k} \not \trianglelefteq T_{k'+1, k'}$.

Logic
Big Ramsey Degrees of Countable Ordinals

Joanna Boyland,William Gasarch,Nathan Hurtig,Robert Rust

2023-11-04

Abstract:Ramsey's theorem states that for all finite colorings of an infinite set, there exists an infinite homogeneous subset. What if we seek a homogeneous subset that is also order-equivalent to the original set? Let $S$ be a linearly ordered set and $a \in N$. The big Ramsey degree of $a$ in $S$, denoted $T(a,S)$, is the least integer $t$ such that, for any finite coloring of the $a$-subsets of $S$, there exists $S'\subseteq S$ such that (i) $S'$ is order-equivalent to $S$, and (ii) if the coloring is restricted to the $a$-subsets of $S'$ then at most $t$ colors are used. Mašulović \& Šobot (2019) showed that $T(a,\omega+\omega)=2^a$. From this one can obtain $T(a,\zeta)=2^a$. We give a direct proof that $T(a,\zeta)=2^a$. Mašulović and Šobot (2019) also showed that for all countable ordinals $\alpha < \omega^\omega$, and for all $a \in N$, $T(a,\alpha)$ is finite. We find exact value of $T(a,\alpha)$ for all ordinals less than $\omega^\omega$ and all $a\in N$.

Combinatorics

Hierarchies of incomparable groups

On cardinalities in quotients of inverse limits of groups

The adjacent Hindman's theorem for uncountable groups

Ordinals arising as residual finiteness depths

Clarifying ordinals

The comparability numbers and the incomparability numbers

Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal

Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

Forcing With Copies of Uncountable Ordinals

Functorial Fast-Growing Hierarchies

A HIERARCHY ON NON-ARCHIMEDEAN POLISH GROUPS ADMITTING A COMPATIBLE COMPLETE LEFT-INVARIANT METRIC

Universal countable Borel quasi-orders

An infinite family of exotic subgroups of hyperbolic groups

About discrete subgroups of full groups of measure preserving equivalence relations

Cardinalities of irredundant bases of finite primitive groups

On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract)

On the number of circular orders on a group

Demushkin groups of uncountable rank

Amalgamation and Keisler's Order

Big Ramsey Degrees of Countable Ordinals