Source author record

Michael Mihalik

Michael Mihalik appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.GR math.GT

Catalog footprint

What is connected

7works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

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.

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

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.

preprint2014arXiv

Semistability and Simple Connectivity at Infinity of Finitely Generated Groups with a Finite Series of Commensurated Subgroups

A subgroup $H$ of a group $G$ is $commensurated$ in $G$ if for each $g\in G$, $gHg^{-1}\cap H$ has finite index in both $H$ and $gHg^{-1}$. If there is a sequence of subgroups $H=Q_0\prec Q_1\prec ...\prec Q_{k}\prec Q_{k+1}=G$ where $Q_i$ is commensurated in $Q_{i+1}$ for all $i$, then $Q_0$ is $subcommensurated$ in $G$. In this paper we introduce the notion of the simple connectivity at infinity of a finitely generated group (in analogy with that for finitely presented groups). Our main result is: If a finitely generated group $G$ contains an infinite, finitely generated, subcommensurated subgroup $H$, of infinite index in $G$, then $G$ is 1-ended and semistable at $\infty$. If additionally, $H$ is finitely presented and 1-ended, then $G$ is simply connected at $\infty$. A normal subgroup of a group is commensurated, so this result is a strict generalization of a number of results, including the main theorems of G. Conner and M. Mihalik \cite{CM}, B. Jackson \cite{J}, V. M. Lew \cite{L}, M. Mihalik \cite{M1}and \cite{M2}, and J. Profio \cite{P}.

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.

preprint2006arXiv

Matching theorems for systems of a finitely generated Coxeter group

In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.