Source author record

Michael P. Cohen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.DS math.GN math.GT

Catalog footprint

Research overview

5works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

A Kuratowski closure-complement variant whose solution is independent of ZF

We pose the following new variant of the Kuratowski closure-complement problem: How many distinct sets may be obtained by starting with a set $A$ of a Polish space $X$ , and applying only closure, complementation, and the $d$ operator, as often as desired, in any order? The set operator $d$ was studied by Kuratowski in his foundational text \textit{Topology: Volume I}; it assigns to $A$ the collection $dA$ of all points of second category for $A$ . We show that in ZFC set theory, the answer to this variant problem is $22$ . In a distinct system equiconsistent with ZFC, namely ZF+DC+PB, the answer is only $18$ .

preprint2020arXiv

Maximal pseudometrics and distortion of circle diffeomorphisms

We initiate a study of distortion elements in the Polish groups $\mbox{Diff}_+^k(\mathbb{S}^1)$ ( $1\leq k<\infty$ ), as well as $\mbox{Diff}_+^{1+AC}(\mathbb{S}^1)$, in terms of maximal metrics on these groups. We classify distortion in the $k=1$ case: a $C^1$ circle diffeomorphism is $C^1$ -undistorted if and only if it has a hyperbolic periodic point. On the other hand, answering a question of Navas, we exhibit analytic circle diffeomorphisms with only non-hyperbolic fixed points which are $C^{1+AC}$ -undistorted, and hence $C^k$ -undistorted for all $k\geq 2$ . In the appendix, we exhibit a maximal metric on $\mbox{Diff}_+^{1+AC}(\mathbb{S}^1)$, and observe that this group is quasi-isometric to a hyperplane of $L^1(I)$ .

preprint2015arXiv

Existence and genericity of finite topological generating sets for homeomorphism groups

We show that the topological groups $Diff_{+}^{1}(I)$ and $Diff_{+}^{1}(\mathbb{S}^1)$ of orientation-preserving $C^1$ -diffeomorphisms of the interval and the circle, respectively, admit finitely generated dense subgroups. We also investigate the question of genericity (in the sense of Baire category) of such finite topological generating sets in related groups. We show that the generic pair of elements in the homeomorphism group $Homeo_+(I)$ generate a dense subgroup of $Homeo_+(I)$ . By contrast, if $M$ is any compact connected manifold with boundary other than the interval, we observe that an open dense set of pairs from the associated boundary-fixing homeomorphism group $Homeo(M,\partial M)$ will generate a discrete subgroup. We make similar observations for homeomorphism groups of manifolds without boundary including $\mathbb{S}^1$ .

preprint2014arXiv

$\mathop{\rm PL}_+(I)$ is not a Polish group

The group $\mathop{\rm PL}_+(I)$ of increasing piecewise linear self-homeomorphisms of the interval $I=[0,1]$ may not be assigned a topology in such a way that it becomes a Polish group. The same statement holds for the groups $\mathop{\rm Homeo}_+^{Lip}(I)$ of bi-Lipschitz homeomorphisms of $I$ , and $\mathop{\rm Diff}_+^{1+ε}(I)$ of diffeomorphisms of $I$ whose derivatives are Hölder continuous with exponent $ε$ .

preprint2014arXiv

Some applications of Hölder's theorem in groups of analytic diffeomorphisms of 1-manifolds

We obtain a simple obstruction to embedding groups into the analytic diffeomorphism groups of 1-manifolds. Using this, we classify all RAAGs which embed into $\mathrm{Diff}_{+}^{ω}(\mathbb{S}^1)$ . We also prove that a branch group does not embed into $\mathrm{Diff}_{+}^{ω}(\mathbb{S}^1)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Michael P. Cohen

Research overview

Is this your work?

5 publications

A Kuratowski closure-complement variant whose solution is independent of ZF

Maximal pseudometrics and distortion of circle diffeomorphisms

Existence and genericity of finite topological generating sets for homeomorphism groups

$\mathop{\rm PL}_+(I)$ is not a Polish group

Some applications of Hölder's theorem in groups of analytic diffeomorphisms of 1-manifolds

See the researcher in context

Building this map preview

Michael P. Cohen

Research overview

Is this your work?

5 publications

A Kuratowski closure-complement variant whose solution is independent of ZF

Maximal pseudometrics and distortion of circle diffeomorphisms

Existence and genericity of finite topological generating sets for homeomorphism groups

PL+(I)\mathop{\rm PL}_+(I)PL+​(I) is not a Polish group

Some applications of Hölder's theorem in groups of analytic diffeomorphisms of 1-manifolds

See the researcher in context

Building this map preview

$\mathop{\rm PL}_+(I)$ is not a Polish group