BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Michael Mihalik

Michael Mihalik contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.GRmath.GT

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

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

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

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.

Published work

5 published item(s)

preprint2022arXiv

Near Ascending HNN-Extensions and a Combination Result for Semistability at Infinity

Semistability at infinity is an asymptotic property of finitely presented groups that is needed in order to effectively define the fundamental group at infinity for a 1-ended group. It is an open problem whether or not all finitely presented groups have semistable fundamental group at infinity. While many classes of groups are known to contain only semistable at infinity groups, there are only a few combination results for such groups. Our main theorem is such a result. Main Theorem. Suppose $G$ is the fundamental group of a connected reduced graph of groups, where each edge group is infinite and finitely generated, and each vertex group is finitely presented and either 1-ended and semistable at infinity or has an edge group of finite index. Then $G$ is 1-ended and semistable at infinity. An important part of the proof of this result is the semistability part of the following: Theorem. Suppose $H_0$ is an infinite finitely presented group, $H_1$ is a subgroup of finite index in $H_0$, $ϕ:H_1\to H_0$ is a monomorphism and $G=H_0\ast_ϕ$ is the resulting HNN extension. Then $G$ is 1-ended and semistable at infinity. If additionally, $H_0$ is 1-ended, then $G$ is simply connected at infinity.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Relatively hyperbolic groups with free abelian second cohomology

Suppose $G$ is a 1-ended finitely presented group that is hyperbolic relative to $\mathcal P$ a finite collection of 1-ended finitely presented proper subgroups of $G$. Our main theorem states that if the boundary $\partial (G,{\mathcal P})$ is locally connected and the second cohomology group $H^2(P,\mathbb ZP)$ is free abelian for each $P\in \mathcal P$, then $H^2(G,\mathbb ZG)$ is free abelian. When $G$ is 1-ended it is conjectured that $\partial (G,\mathcal P)$ is always locally connected. Under mild conditions on $G$ and the members of $\mathcal P$ the 1-ended and local connectivity hypotheses can be eliminated and the same conclusion is obtained. When $G$ and each member of $\mathcal P$ is 1-ended and $\partial (G,\mathcal P)$ is locally connected, we prove that the "Cusped Space" for this pair has semistable fundamental group at $\infty$. This provides a starting point in our proof of the main theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Semistability of Graph Products

A {\it graph product} $G$ on a graph $Γ$ is a group defined as follows: For each vertex $v$ of $Γ$ there is a corresponding non-trivial group $G_v$. The group $G$ is the quotient of the free product of the $G_v$ by the commutation relations $[G_v,G_w]=1$ for all adjacent $v$ and $w$ in $Γ$. A finitely presented group $G$ has {\it semistable fundamental group at $\infty$} if for some (equivalently any) finite connected CW-complex $X$ with $π_1(X)=G$, the universal cover $\tilde X$ of $X$ has the property that any two proper rays in $\tilde X$ are properly homotopic. The class of finitely presented groups with semistable fundamental group at $\infty$ is known to contain many other classes of groups, but it is a 40 year old question as to whether or not all finitely presented groups have semistable fundamental group at $\infty$. Our main theorem is a combination result. It states that if $G$ is a graph product on a finite graph $Γ$ and each vertex group is finitely presented, then $G$ has non-semistable fundamental group at $\infty$ if and only if there is a vertex $v$ of $Γ$ such that $G_v$ is not semistable, and the subgroup of $G$ generated by the vertex groups of vertices adjacent to $v$ is finite (equivalently $lk(v)$ is a complete graph and each vertex group of $lk(v)$ is finite). Hence if one knows which vertex groups of $G$ are not semistable and which are finite, then an elementary inspection of $Γ$ determines whether or not $G$ has semistable fundamental group at $\infty$.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Topological properties of spaces admitting a coaxial homeomorphism

Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of finitely generated free groups. Geoghegan and Guilbault strengthened that result, proving that Y also satisfies the crucial "semistability" condition. Here we get a stronger theorem with weaker hypotheses. We drop the pro-monomorphic hypothesis and simply assume that the Z-action is generated by what we call a "coaxial" homeomorphism. In the pro-monomorphic case every proper Z-action is generated by a coaxial homeomorphism, but coaxials occur in far greater generality (often embedded in a cocompact action). When the generator is coaxial, we obtain the sharp conclusion: Y is proper 2-equivalent to the product of a locally finite tree with a line. Even in the pro-monomorphic case this is new: it says that, from the viewpoint of fundamental group at infinity, the end of Y looks like the suspension of a totally disconnected compact set.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A classification of right-angled Coxeter groups with no 3-flats and locally connected boundary

If $(W,S)$ is a right-angled Coxeter system and $W$ has no $\mathbb Z^3$ subgroups, then it is shown that the absence of an elementary separation property in the presentation diagram for $(W,S)$ implies all CAT(0) spaces acted on geometrically by $W$ have locally connected CAT(0) boundary. It was previously known that if the presentation diagram of a general right-angled Coxeter system satisfied the separation property then all CAT(0) spaces acted on geometrically by $W$ have non-locally connected boundary. In particular, this gives a complete classification of the right-angled Coxeter groups with no 3-flats and with locally connected boundary.

0 citations0 reviewsNo code linkedOpen access