Researcher profile

Michael P. Cohen

Michael P. Cohen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

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

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author

5works

0followers

4topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

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)$.

Michael P. Cohen

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

5 published item(s)

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

Michael P. Cohen

Quick read

Decide how to stay connected

How to connect with this researcher

Open a focused conversation when the fit is right

See the researcher in context

Building this graph slice

5 published item(s)

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&#39;s theorem in groups of analytic diffeomorphisms of 1-manifolds

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