Showing 1–28 of 28 results for author: Corson, S

Profinite rigidity of affine Coxeter groups

Authors: Samuel M. Corson, Sam Hughes, Philip Möller, Olga Varghese

Abstract: We prove that affine Coxeter groups are profinitely rigid. We prove that affine Coxeter groups are profinitely rigid. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 8 pages

Higman-Thompson groups and profinite properties of right-angled Coxeter groups

Authors: Samuel M. Corson, Sam Hughes, Philip Möller, Olga Varghese

Abstract: We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also establish profinite rigidity results for graph products of finite groups. Along the way we prove that the Higman-Thompson groups $V_{n}$ are generated by $4$ inv… ▽ More We prove that every right-angled Coxeter group (RACG) is profinitely rigid amongst all Coxeter groups. On the other hand we exhibit RACGs which have infinite profinite genus amongst all finitely generated residually finite groups. We also establish profinite rigidity results for graph products of finite groups. Along the way we prove that the Higman-Thompson groups $V_{n}$ are generated by $4$ involutions, generalising a classical result of Higman for Thompson's group $V$. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 24 pages

MSC Class: Primary: 20F55; 20E18; Secondary: 20E36; 20F65; 20E45

Steep uncountable groups

Authors: Samuel M. Corson, Alexander Olshanskii, Olga Varghese

Abstract: We produce a simple group $G$ of cardinality $\aleph_1$ which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset $Y \subseteq G$ there exists a natural number $n_Y$ for which every element of $G$ may be expressed as a product of length at most $n_Y$ of elements in $Y^{\pm 1}$. In particular this group is Jónsso… ▽ More We produce a simple group $G$ of cardinality $\aleph_1$ which is Artinian (every strictly descending chain of subgroups is finite), satisfies a Burnside law and such that for each uncountable subset $Y \subseteq G$ there exists a natural number $n_Y$ for which every element of $G$ may be expressed as a product of length at most $n_Y$ of elements in $Y^{\pm 1}$. In particular this group is Jónsson (every proper subgroup is of strictly smaller cardinality) and strongly bounded (every abstract action on a metric space has bounded orbits); this is the first example of an uncountable group having both of these properties which is constructed without using the continuum hypothesis. The group $G$ can also be made so that all subgroups are simple and all nontrivial subgroups are malnormal in $G$. △ Less

Submitted 4 May, 2023; originally announced May 2023.

MSC Class: 03E75; 20A15; 20E15

Duration of and time to response in oncology clinical trials from the perspective of the estimand framework

Authors: Hans-Jochen Weber, Stephen Corson, Jiang Li, Francois Mercier, Satrajit Roychoudhury, Martin Oliver Sailer, Stephen Sun, Alexander Todd, Godwin Yung

Abstract: Duration of response (DOR) and time to response (TTR) are typically evaluated as secondary endpoints in early-stage clinical studies in oncology when efficacy is assessed by the best overall response (BOR) and presented as the overall response rate (ORR). Despite common use of DOR and TTR in particular in single-arm studies, the definition of these endpoints and the questions they are intended to… ▽ More Duration of response (DOR) and time to response (TTR) are typically evaluated as secondary endpoints in early-stage clinical studies in oncology when efficacy is assessed by the best overall response (BOR) and presented as the overall response rate (ORR). Despite common use of DOR and TTR in particular in single-arm studies, the definition of these endpoints and the questions they are intended to answer remain unclear. Motivated by the estimand framework, we present relevant scientific questions of interest for DOR and TTR and propose corresponding estimand definitions. We elaborate on how to deal with relevant intercurrent events which should follow the same considerations as implemented for the primary response estimand. A case study in mantle cell lymphoma illustrates the implementation of relevant estimands of DOR and TTR. We close the paper with practical recommendations to implement DOR and TTR in clinical study protocols. △ Less

Submitted 21 December, 2022; originally announced December 2022.

On projections of the tails of a power

Authors: Samuel M. Corson, Saharon Shelah

Abstract: Let $κ$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^κ$ of eventual equality. From mild assumptions on $κ$ we give general constructions of $\mathcal{E} \in End(\mathfrak{U}^κ/\sim)$ satisfying $\mathcal{E} \circ \mathcal{E} = \mathcal{E}$ which do not descend from $Δ\in End(\mathfrak{U}^κ)$ having small strong supports… ▽ More Let $κ$ be an inaccessible cardinal, $\mathfrak{U}$ be a universal algebra, and $\sim$ be the equivalence relation on $\mathfrak{U}^κ$ of eventual equality. From mild assumptions on $κ$ we give general constructions of $\mathcal{E} \in End(\mathfrak{U}^κ/\sim)$ satisfying $\mathcal{E} \circ \mathcal{E} = \mathcal{E}$ which do not descend from $Δ\in End(\mathfrak{U}^κ)$ having small strong supports. As an application there exists an $\mathcal{E} \in End(\mathbb{Z}^κ/\sim)$ which does not come from a $Δ\in End(\mathbb{Z}^κ)$. △ Less

Submitted 24 November, 2022; originally announced November 2022.

MSC Class: 20A15; 03E55; 03G05

The nonabelian product modulo sum

Authors: Samuel M. Corson

Abstract: It is shown that if $\{H_n\}_{n \in ω}$ is a sequence of groups without involutions, with $1 < |H_n| \leq 2^{\aleph_0}$, then the topologist's product modulo the finite words is (up to isomorphism) independent of the choice of sequence. This contrasts with the abelian setting: if $\{A_n\}_{n \in ω}$ is a sequence of countably infinite torsion-free abelian groups, then the isomorphism class of the… ▽ More It is shown that if $\{H_n\}_{n \in ω}$ is a sequence of groups without involutions, with $1 < |H_n| \leq 2^{\aleph_0}$, then the topologist's product modulo the finite words is (up to isomorphism) independent of the choice of sequence. This contrasts with the abelian setting: if $\{A_n\}_{n \in ω}$ is a sequence of countably infinite torsion-free abelian groups, then the isomorphism class of the product modulo sum $\prod_{n \in ω} A_n/\bigoplus_{n \in ω} A_n$ is dependent on the sequence. △ Less

Submitted 28 September, 2023; v1 submitted 6 June, 2022; originally announced June 2022.

MSC Class: 03E75; 20A15; 55Q52

Jónsson groups of various cardinalities

Authors: Samuel M. Corson

Abstract: A group $G$ is Jónsson if $|H| < |G|$ whenever $H$ is a proper subgroup of $G$. Using an embedding theorem of Obraztsov it is shown that there exists a Jónsson group $G$ of infinite cardinality $κ$ if and only if there exists a Jónsson algebra of cardinality $κ$. Thus the question as to which cardinals admit a Jónsson group is wholly reduced to the well-studied question of which cardinals are not… ▽ More A group $G$ is Jónsson if $|H| < |G|$ whenever $H$ is a proper subgroup of $G$. Using an embedding theorem of Obraztsov it is shown that there exists a Jónsson group $G$ of infinite cardinality $κ$ if and only if there exists a Jónsson algebra of cardinality $κ$. Thus the question as to which cardinals admit a Jónsson group is wholly reduced to the well-studied question of which cardinals are not Jónsson. As a consequence there exist Jónsson groups of arbitrarily large cardinality. Another consequence is that the infinitary edge-orbit conjecture of Babai is true. △ Less

Submitted 12 February, 2022; v1 submitted 26 January, 2021; originally announced January 2021.

MSC Class: 20A15; 20E15

The Griffiths double cone group is isomorphic to the triple

Authors: Samuel M. Corson

Abstract: It is shown that the fundamental group of the Griffiths double cone space is isomorphic to that of the triple cone. More generally if $κ$ is a cardinal such that $2 \leq κ\leq 2^{\aleph_0}$ then the $κ$-fold cone has the same fundamental group as the double cone. The isomorphisms produced are non-constructive, and no isomorphism between the fundamental group of the $2$- and of the $κ$-fold cones,… ▽ More It is shown that the fundamental group of the Griffiths double cone space is isomorphic to that of the triple cone. More generally if $κ$ is a cardinal such that $2 \leq κ\leq 2^{\aleph_0}$ then the $κ$-fold cone has the same fundamental group as the double cone. The isomorphisms produced are non-constructive, and no isomorphism between the fundamental group of the $2$- and of the $κ$-fold cones, with $2 < κ$, can be realized via continuous map**s. We also prove a conjecture of James W. Cannon and Gregory R. Conner which states that the fundamental group of the Griffiths double cone space is isomorphic to that of the harmonic archipelago. △ Less

Submitted 1 April, 2021; v1 submitted 12 December, 2020; originally announced December 2020.

MSC Class: Primary 03E75; 20A15; 55Q52; Secondary 20F10; 20F34

Journal ref: Pacific J. Math. 327 (2023) 297-336

A widely connected topological space made from diamond

Authors: Samuel M. Corson

Abstract: We give the construction of an infinite topological space with unusual properties. The space is regular, separable, and connected, but removing any nonempty open set leaves the remainder of the space totally disconnected (in fact, totally separated). The space is also strongly Choquet (in fact, satisfies an even stronger condition) and has a basis with nice properties. The construction utilizes Je… ▽ More We give the construction of an infinite topological space with unusual properties. The space is regular, separable, and connected, but removing any nonempty open set leaves the remainder of the space totally disconnected (in fact, totally separated). The space is also strongly Choquet (in fact, satisfies an even stronger condition) and has a basis with nice properties. The construction utilizes Jensen's diamond principle $\diamondsuit$. △ Less

Submitted 19 November, 2020; v1 submitted 20 July, 2020; originally announced July 2020.

MSC Class: 54G15; 54A35; 54D05; 03E05; 03E35; 03E50

Bi-orders do not arise from total orders

Authors: Samuel M. Corson

Abstract: We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the ultrafilter lemma is that a group is bi-orderable if and only if it is locally bi-orderable. We show that there exists a model of ZF in which there is a group which… ▽ More We present some Zermelo-Fraenkel consistency results regarding bi-orderability of groups, as well as a construction of groups with Conradian orders whose every action on metric spaces has bounded orbits. A classical consequence of the ultrafilter lemma is that a group is bi-orderable if and only if it is locally bi-orderable. We show that there exists a model of ZF in which there is a group which is locally free (ergo locally bi-orderable) and not bi-orderable, and the group can be given a total order. Such a group can also exist in the presence of the principle of dependent choices. Comparable consistency results are provided for torsion-free abelian groups. △ Less

Submitted 28 April, 2020; originally announced April 2020.

MSC Class: 03E25; 06F15; 06F20

The independence of Stone's Theorem from the Boolean Prime Ideal Theorem

Authors: Samuel M. Corson

Abstract: We give a permutation model in which Stone's Theorem (every metric space is paracompact) is false and the Boolean Prime Ideal Theorem (every ideal in a Boolean algebra extends to a prime ideal) is true. The erring metric space in our model attains only rational distances and is not metacompact. Transfer theorems give the comparable independence in the Zermelo-Fraenkel setting, answering a question… ▽ More We give a permutation model in which Stone's Theorem (every metric space is paracompact) is false and the Boolean Prime Ideal Theorem (every ideal in a Boolean algebra extends to a prime ideal) is true. The erring metric space in our model attains only rational distances and is not metacompact. Transfer theorems give the comparable independence in the Zermelo-Fraenkel setting, answering a question of Good, Tree and Watson. △ Less

Submitted 17 January, 2020; originally announced January 2020.

MSC Class: 03E25; 54A35; 54E35; 54D20

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 5381-5386

A Nunke type classification in the locally compact setting

Authors: Samuel M. Corson, Olga Varghese

Abstract: In this short note we prove that a group G is lcH-slender -- that is, every abstract group homomorphism from a locally compact Hausdorff topological group to G has an open kernel -- if and only if G is torsion-free and does not include Q or the p-adic integers Zp for any prime p. This mirrors a classical characterization given by Nunke for slender abelian groups. In this short note we prove that a group G is lcH-slender -- that is, every abstract group homomorphism from a locally compact Hausdorff topological group to G has an open kernel -- if and only if G is torsion-free and does not include Q or the p-adic integers Zp for any prime p. This mirrors a classical characterization given by Nunke for slender abelian groups. △ Less

Submitted 26 December, 2019; originally announced December 2019.

MSC Class: 22D05; 22D12

Journal ref: J. Algebra 563 (2020), 49-52

Abstract homomorphisms from some topological groups to acylindrically hyperbolic groups

Authors: Oleg Bogopolski, Samuel M. Corson

Abstract: We describe homomorphisms $\varphi:H\rightarrow G$ for which the codomain is acylindrically hyperbolic and the domain is a topological group which is either completely metrizable or locally countably compact Hausdorff. It is shown that, in a certain sense, either the image of $\varphi$ is small or $\varphi$ is almost continuous. We also describe homomorphisms from the Hawaiian earring group to… ▽ More We describe homomorphisms $\varphi:H\rightarrow G$ for which the codomain is acylindrically hyperbolic and the domain is a topological group which is either completely metrizable or locally countably compact Hausdorff. It is shown that, in a certain sense, either the image of $\varphi$ is small or $\varphi$ is almost continuous. We also describe homomorphisms from the Hawaiian earring group to $G$ as above. We prove a more precise result for homomorphisms $\varphi:H\rightarrow {\rm Mod}(Σ)$, where $H$ as above and ${\rm Mod}(Σ)$ is the map** class group of a connected compact surface $Σ$. In this case there exists an open normal subgroup $V\leqslant H$ such that $\varphi(V)$ is finite. We also prove the analogous statement for homomorphisms $\varphi:H\rightarrow {\rm Out}(G)$, where $G$ is a one-ended hyperbolic group. Some automatic continuity results for relatively hyperbolic groups and fundamental groups of graphs of groups are also deduced. As a by-product, we prove that the Hawaiian earring group is acylindrically hyperbolic, but does not admit any universal acylindrical action on a hyperbolic space. △ Less

Submitted 15 January, 2020; v1 submitted 23 July, 2019; originally announced July 2019.

Comments: 35 pages, 2 figures. This version contains stronger theorems A and B and new theorems C and D about the map** class groups and the outer automorphism groups of one-ended hyperbolic groups

MSC Class: Primary 20F65; 20F67; Secondary 20F70; 54H11; 57M07

Strongly bounded groups of various cardinalities

Authors: Samuel M. Corson, Saharon Shelah

Abstract: Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at least $2^{\aleph_0}$. We produce examples of strongly bounded groups of many cardinalities, including $\aleph_1$, answering a question of Yves de Cornulier [4]… ▽ More Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at least $2^{\aleph_0}$. We produce examples of strongly bounded groups of many cardinalities, including $\aleph_1$, answering a question of Yves de Cornulier [4]. In fact, any infinite group embeds as a subgroup of a strongly bounded group which is, at most, two cardinalities larger. △ Less

Submitted 25 June, 2019; originally announced June 2019.

MSC Class: 20A15; 20E15; 03E05; 03E17

Journal ref: Proc. Amer. Math. Soc. 148 (2020), 5045-5057

Freely indecomposable almost free groups with free abelianization

Authors: Samuel M. Corson

Abstract: For certain uncountable cardinals $κ$ we produce a group of cardinality $κ$ which is freely indecomposable, strongly $κ$-free, and whose abelianization is free abelian of rank $κ$. The construction takes place in Gödel's constructible universe $L$. This strengthens an earlier result of Eklof and Mekler. For certain uncountable cardinals $κ$ we produce a group of cardinality $κ$ which is freely indecomposable, strongly $κ$-free, and whose abelianization is free abelian of rank $κ$. The construction takes place in Gödel's constructible universe $L$. This strengthens an earlier result of Eklof and Mekler. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Journal ref: J. Group Theory 23 (2020), 531-543

On preservation of automatic continuity

Authors: Samuel M. Corson, Ilya Kazachkov

Abstract: A group $G$ is called automatically continuous if any homomorphism from a completely metrizable or locally compact Hausdorff group to $G$ has open kernel. In this paper, we study preservation of automatic continuity under group-theoretic constructions, focusing mainly on groups of size less than continuum. In particular, we consider group extensions and graph products. As a consequence, we establi… ▽ More A group $G$ is called automatically continuous if any homomorphism from a completely metrizable or locally compact Hausdorff group to $G$ has open kernel. In this paper, we study preservation of automatic continuity under group-theoretic constructions, focusing mainly on groups of size less than continuum. In particular, we consider group extensions and graph products. As a consequence, we establish automatic continuity of virtually poly-free groups, and hence of non-exceptional spherical Artin groups. On the other hand, we show that if $G$ is automatically continuous, then so is any finitely generated residually $G$ group, hence, for instance, all finitely generated residually free groups are automatically continuous. △ Less

Submitted 26 January, 2019; originally announced January 2019.

MSC Class: 54H11; 20E26

Journal ref: Monatshefte fur Mathematik 191 (2020), 37-52

Automatic continuity of $\aleph_1$-free groups

Authors: Samuel M. Corson

Abstract: We prove that groups for which every countable subgroup is free ($\aleph_1$-free groups) are n-slender, cm-slender, and lcH-slender. In particular every homomorphism from a completely metrizable group to an $\aleph_1$-free group has an open kernel. We also show that $\aleph_1$-free abelian groups are lcH-slender, which is especially interesting in light of the fact that some $\aleph_1$-free abelia… ▽ More We prove that groups for which every countable subgroup is free ($\aleph_1$-free groups) are n-slender, cm-slender, and lcH-slender. In particular every homomorphism from a completely metrizable group to an $\aleph_1$-free group has an open kernel. We also show that $\aleph_1$-free abelian groups are lcH-slender, which is especially interesting in light of the fact that some $\aleph_1$-free abelian groups are neither n- nor cm-slender. The strongly $\aleph_1$-free abelian groups are shown to be n-, cm-, and lcH-slender. We also give a characterization of cm- and lcH-slender abelian groups. △ Less

Submitted 1 August, 2018; originally announced August 2018.

MSC Class: 20K20; 03E75; 22A05; 22B05

Journal ref: Israel J. Math 237 (2020), 267-285

Deeply concatenable subgroups might never be free

Authors: Samuel M. Corson, Saharon Shelah

Abstract: We show that certain algebraic structures lack freeness in the absence of the axiom of choice. These include some subgroups of the Baer-Specker group $\mathbb{Z}^ω$ and the Hawaiian earring group. Applications to slenderness, completely metrizable topological groups, length functions and strongly bounded groups are also presented We show that certain algebraic structures lack freeness in the absence of the axiom of choice. These include some subgroups of the Baer-Specker group $\mathbb{Z}^ω$ and the Hawaiian earring group. Applications to slenderness, completely metrizable topological groups, length functions and strongly bounded groups are also presented △ Less

Submitted 16 April, 2018; originally announced April 2018.

MSC Class: 20K20; 03E25; 03E35; 03E75

Journal ref: J. Math. Soc. Japan 71 (2019), 1123-1136

The number of homomorphisms from the Hawaiian earring group

Authors: Samuel M. Corson

Abstract: We show a dichotomy for groups of cardinality less than continuum. The number of homomorphisms from the Hawaiian earring group to such a group $G$ is either the cardinality of $G$ in case $G$ is noncommutatively slender, or the number is $2^{2^{\aleph_0}}$ in case $G$ is not noncommutatively slender. An example of a noncommutatively slender group with nontrivial divisible element is exhibited. We show a dichotomy for groups of cardinality less than continuum. The number of homomorphisms from the Hawaiian earring group to such a group $G$ is either the cardinality of $G$ in case $G$ is noncommutatively slender, or the number is $2^{2^{\aleph_0}}$ in case $G$ is not noncommutatively slender. An example of a noncommutatively slender group with nontrivial divisible element is exhibited. △ Less

Submitted 29 January, 2018; originally announced January 2018.

MSC Class: 55Q20; 20E06; 57M30

Journal ref: J. Algebra 523 (2019), 34-52

The fundamental group of reduced suspensions

Authors: Samuel M. Corson, Wolfram Hojka

Abstract: We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a characterization is given in terms of fundamental groups. Among totally path disconnected spaces the fundamental group is shown to be a complete invariant for a no… ▽ More We classify pointed spaces according to the first fundamental group of their reduced suspension. A pointed space is either of so-called totally path disconnected type or of horseshoe type. These two camps are defined topologically but a characterization is given in terms of fundamental groups. Among totally path disconnected spaces the fundamental group is shown to be a complete invariant for a notion of topological equivalence weaker than that of homeomorphism. △ Less

Submitted 4 March, 2023; v1 submitted 21 December, 2017; originally announced December 2017.

MSC Class: 14F35; 55P40; 57M30

A note on automatic continuity

Authors: Gregory R. Conner, Samuel M. Corson

Abstract: We present new results regarding automatic continuity, unifying some diagonalization concepts that have been developed over the years. For example, any homomorphism from a completely metrizable topological group to Thompson's group $F$ has open kernel. A similar claim holds when $F$ is replaced with a Baumslag-Solitar group or a torsion-free word hyperbolic group. We present new results regarding automatic continuity, unifying some diagonalization concepts that have been developed over the years. For example, any homomorphism from a completely metrizable topological group to Thompson's group $F$ has open kernel. A similar claim holds when $F$ is replaced with a Baumslag-Solitar group or a torsion-free word hyperbolic group. △ Less

Submitted 12 October, 2017; originally announced October 2017.

MSC Class: 03E75; 54H11; 20E06

Journal ref: Proc. Amer. Math. Soc. 147 (2019), 1255-1268

Correction: Root extraction in one-relator groups and slenderness

Authors: Samuel M. Corson

Abstract: This very short correction notes a gap in an argument of an earlier paper, and also provides a theorem of similar flavor to the main result of that paper. This very short correction notes a gap in an argument of an earlier paper, and also provides a theorem of similar flavor to the main result of that paper. △ Less

Submitted 26 September, 2022; v1 submitted 9 September, 2017; originally announced September 2017.

MSC Class: 20F05; 57M07

Limiting theories of substructures

Authors: Samuel M. Corson

Abstract: We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a new proof that theories like that of infinite sets are not finitely axiomatizable. We introduce the notion of limiting theories, giving examples and providing a sufficient condition under which the first order theory of a structure is the limit of the first order theories of a collection of substructures. We also give a new proof that theories like that of infinite sets are not finitely axiomatizable. △ Less

Submitted 20 July, 2020; v1 submitted 25 July, 2017; originally announced July 2017.

MSC Class: 03C07; 03C13

On subgroups of first homology

Authors: Samuel M. Corson

Abstract: We prove several new theorems regarding first homology. Some dichotomies for first homology of Peano continua are presented, as well as a notion of strong abelianization for arbitrary path connected metric spaces. We also show that the fundamental group of the Hawaiian earring has Borel subgroups of almost all multiplicative and additive types. We prove several new theorems regarding first homology. Some dichotomies for first homology of Peano continua are presented, as well as a notion of strong abelianization for arbitrary path connected metric spaces. We also show that the fundamental group of the Hawaiian earring has Borel subgroups of almost all multiplicative and additive types. △ Less

Submitted 17 October, 2016; originally announced October 2016.

MSC Class: 14F35 (Primary); 03E15 (Secondary)

Journal ref: Fund. Math. 247 (2019), 217-228

On definable subgroups of the fundamental group

Authors: Samuel M. Corson

Abstract: We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the fundamental group of a Peano continuum is given. A useful characterization for the shape kernel of a locally path connected space is presented, along with a very succinc… ▽ More We present several new theorems concerning the first fundamental group of a path connected metric space. Among the results proven are strengthenings of the main theorems of \cite{Sh2} and \cite{CoCo}. A compactness theorem for the fundamental group of a Peano continuum is given. A useful characterization for the shape kernel of a locally path connected space is presented, along with a very succinct proof of the fact that for such a space the Spanier and shape kernel subgroups coincide (see \cite{BF}). We also show that a free decomposition of the fundamental group of a locally path connected Polish space cannot be nonconstructive. Numerous other results and examples illustrating the sharpness of our theorems are provided. △ Less

Submitted 13 September, 2017; v1 submitted 1 October, 2016; originally announced October 2016.

MSC Class: 14F35; 03E15

Journal ref: Topol. Appl. 258 (2019), 336-357

On quasi-isometry and choice

Authors: Samuel M. Corson

Abstract: In this note we prove that the symmetry of the quasi-isometry relation implies the axiom of choice, even when the relation is restricted to geodesic hyperbolic spaces. We show that this result is sharp by demonstrating that symmetry of quasi-isometry in an even more restrictive setting does not imply the axiom of choice. The "Bottleneck Theorem" of Jason Fox Manning also implies choice. In this note we prove that the symmetry of the quasi-isometry relation implies the axiom of choice, even when the relation is restricted to geodesic hyperbolic spaces. We show that this result is sharp by demonstrating that symmetry of quasi-isometry in an even more restrictive setting does not imply the axiom of choice. The "Bottleneck Theorem" of Jason Fox Manning also implies choice. △ Less

Submitted 5 September, 2016; originally announced September 2016.

MSC Class: 03E25

Torsion-free Word Hyperbolic Groups are Noncommutatively Slender

Authors: Samuel M. Corson

Abstract: In this note we prove the claim given in the title. A group G is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to G factors through projection to a canonical free subgroup. Graham Higman, in his seminal 1952 paper, proved that free groups are noncommutatively slender. Such groups were first defined by K. Eda. Eda has asked which finitely presented groups a… ▽ More In this note we prove the claim given in the title. A group G is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to G factors through projection to a canonical free subgroup. Graham Higman, in his seminal 1952 paper, proved that free groups are noncommutatively slender. Such groups were first defined by K. Eda. Eda has asked which finitely presented groups are noncommutatively slender. This result demonstrates that random finitely presented groups in the few- relator sense of Gromov are noncommutatively slender. △ Less

Submitted 14 October, 2015; originally announced October 2015.

MSC Class: 14F35

Journal ref: Int. J. Algebra Comput. 26 (2016), 1467-1482

On the First Homology of Peano Continua

Authors: Gregory R. Conner, Samuel M. Corson

Abstract: We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies a similar criterion. We give an example of such a space whose fundamental group is uncountable but whose first homology is trivial, showing that our result doe… ▽ More We show that the first homology group of a locally connected compact metric space is either uncountable or is finitely generated. This is related to Shelah's well-known result which shows that the fundamental group of such a space satisfies a similar criterion. We give an example of such a space whose fundamental group is uncountable but whose first homology is trivial, showing that our result doesn't follow from Shelah's. We clarify a claim made by Pawlikowski and offer a proof of the clarification. △ Less

Submitted 23 September, 2015; originally announced September 2015.

MSC Class: 14F35

Journal ref: Fund. Math. 232 (2016), 41-48