-
The Lamplighter Group is Not Semistable at Infinity
Authors:
Michael Mihalik
Abstract:
The question of whether or not all finitely presented groups are semistable at infinity has been studied for over 40 years. In 1986, we defined what it means for a finitely generated group to be semistable at infinity - in analogy with the definition for finitely presented groups. At that time we suggest that the Lamplighter group may not be semistable at infinity, but until now there was no confi…
▽ More
The question of whether or not all finitely presented groups are semistable at infinity has been studied for over 40 years. In 1986, we defined what it means for a finitely generated group to be semistable at infinity - in analogy with the definition for finitely presented groups. At that time we suggest that the Lamplighter group may not be semistable at infinity, but until now there was no confirmed example of a finitely generated group that is not semistable at infinity. We prove the Lamplighter group is not semistable at infinity. Finitely generated non-semistable groups may be important in finding non-semistable finitely presented groups via ascending HNN extensions. There is an ascending HNN extension E of the Lamplighter group (called the Extended Lamplighter group) that is finitely presented. It would seem that E is a candidate to be a finitely presented non-semistable at infinity group, but a result of N. Silkin, shows that E is in fact simply connected at infinity.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
Synthesis of Cobalt Grown from Co-S Eutectic in High Magnetic Fields
Authors:
Steven Flynn,
Caeli L. Benyacko,
Matúš Mihalik,
Jared Lee,
Fuyan Ma,
Michael E. Bates,
Shubham Sinha,
Khalil A. Abboud,
Marian Mihalik,
Mark W. Meisel,
James J. Hamlin
Abstract:
Samples of Co were grown directly in the ferromagnetic state under equilibrium conditions using a cobalt sulfide flux. Magnetic fields up to 9 T were applied during growth, and isolated Co products exhibit progressively elongated morphologies, from cubes to rectangular rods to needle-like tendrils with poorly-defined facets. The degree of elongation of the major axis was found to correlate with ma…
▽ More
Samples of Co were grown directly in the ferromagnetic state under equilibrium conditions using a cobalt sulfide flux. Magnetic fields up to 9 T were applied during growth, and isolated Co products exhibit progressively elongated morphologies, from cubes to rectangular rods to needle-like tendrils with poorly-defined facets. The degree of elongation of the major axis was found to correlate with magnetic field direction, strength, and gradient. Two-dimensional X-ray diffraction data indicate some level of polycrystalline-like samples, and quantitative analyses (Le Bail and Rietveld) of the one-dimensional data confirm the presence of hcp and fcc phases. The magnetic responses indicate a partial alignment of the magnetic easy-axis of the hcp phase along the magnetic field present during growth.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Cooper-Pair Localization in the Magnetic Dynamics of a Cuprate Ladder
Authors:
A. Scheie,
P. Laurell,
J. Thomas,
V. Sharma,
A. I. Kolesnikov,
G. E. Granroth,
Q. Zhang,
B. Lake,
M. Mihalik Jr.,
R. I. Bewley,
R. S. Eccleston,
J. Akimitsu,
E. Dagotto,
C. D. Batista,
G. Alvarez,
S. Johnston,
D. A. Tennant
Abstract:
We investigate the spin dynamics of the cuprate ladder Sr$_{2.5}$Ca$_{11.5}$Cu$_{24}$O$_{41}$ to elucidate the behavior of its intrinsically doped holes. Combining high-resolution neutron spectroscopy and density matrix renormalization group calculations enables a comprehensive analysis of the collective magnetic dynamics. We find a general absence of magnetic signatures from unpaired charges, ind…
▽ More
We investigate the spin dynamics of the cuprate ladder Sr$_{2.5}$Ca$_{11.5}$Cu$_{24}$O$_{41}$ to elucidate the behavior of its intrinsically doped holes. Combining high-resolution neutron spectroscopy and density matrix renormalization group calculations enables a comprehensive analysis of the collective magnetic dynamics. We find a general absence of magnetic signatures from unpaired charges, indicating holes within the system form strongly bound localized Cooper pairs. A one-band Hubbard model fails to match the spectral features but a straightforward extension to a large attractive nearest-neighbor interaction quantitatively explains our results. Our finding shows the significance of additional interactions beyond the long-predicted quantum spin pairing in the ($d$-wave) charge pairing process. Considering the parallels between ladders and two-dimensional cuprates, these results are potentially relevant for square lattices as well.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
Strong impact of low-level substitution of Mn by Fe on the magnetoelectric coupling in $TbMnO_{3}$
Authors:
A. Maia,
R. Vilarinho,
P. Proschek,
M. Lebeda,
M. Mihalik jr.,
M. Mihalik,
P. Manuel,
D. D. Khalyavin,
S. Kamba,
J. Agostinho Moreira
Abstract:
The correlation between static magnetoelectric coupling and magnetic structure was investigated in $TbMn_{0.98}Fe_{0.02}O_{3}$ with magnetic field up to 8 T and down to 2 K. Single-crystal neutron diffraction experiments reveal a substantial increase in the temperature dependence of the incommensurate modulation wave vector of the antiferromagnetic phase as the magnetic field strength increases. M…
▽ More
The correlation between static magnetoelectric coupling and magnetic structure was investigated in $TbMn_{0.98}Fe_{0.02}O_{3}$ with magnetic field up to 8 T and down to 2 K. Single-crystal neutron diffraction experiments reveal a substantial increase in the temperature dependence of the incommensurate modulation wave vector of the antiferromagnetic phase as the magnetic field strength increases. Magnetic field-dependent pyroelectric current measurements revealed significantly higher magnetoelectric coupling at magnetic fields below 4 T than in pure TbMnO3. This is due to the higher sensitivity of the incommensurably modulated cycloid structure to weak magnetic fields. Detailed analysis of our data confirmed that the ferroelectric polarization is induced by inverse Dzyaloshinskii-Moriya interaction for magnetic field strength up to 4 T, but at higher fields a departure from theoretical predictions is ascertained, giving evidence for an additional, as yet misunderstood, contribution to magnetoelectric coupling. It shows that a small 2% substitution of Mn3+ by Fe3+ has a strong impact on the magnetic structure, promoting the destabilization of the incommensurably modulated magnetic cycloidal structure of $TbMnO_{3}$ in a magnetic field above 5 T. We demonstrate that the magnetoelectric coupling magnitude can be tuned through suitable substitutional elements, even at low level, inducing local lattice distortions with different electronic and magnetic properties.
△ Less
Submitted 11 February, 2025; v1 submitted 5 January, 2024;
originally announced January 2024.
-
Splittings of One-Ended Groups with One-Ended Halfspaces
Authors:
Michael Mihalik,
Sam Shepherd
Abstract:
We introduce the notion of halfspaces associated to a group splitting, and investigate the relationship between the coarse geometry of the halfspaces and the coarse geometry of the group. Roughly speaking, the halfspaces of a group splitting are subgraphs of the Cayley graph obtained by pulling back the halfspaces of the Bass--Serre tree. Our first theorem shows that (under mild conditions) any sp…
▽ More
We introduce the notion of halfspaces associated to a group splitting, and investigate the relationship between the coarse geometry of the halfspaces and the coarse geometry of the group. Roughly speaking, the halfspaces of a group splitting are subgraphs of the Cayley graph obtained by pulling back the halfspaces of the Bass--Serre tree. Our first theorem shows that (under mild conditions) any splitting of a one-ended group can be upgraded to a splitting where all the halfspaces are one-ended. Our second theorem demonstrates that a one-ended group usually has a JSJ splitting where all the halfspaces are one-ended. And our third theorem states that if a one-ended finitely presented group $G$ admits a splitting such that some edge stabilizer has more than one end, but the halfspaces associated to the edge stabilizer are one-ended, then $H^2(G,\mathbb ZG)\ne \{0\}$; in particular $G$ is not simply connected at infinity and $G$ is not an $n$-dimensional duality group for $n\geq3$.
△ Less
Submitted 17 May, 2024; v1 submitted 11 August, 2023;
originally announced August 2023.
-
Modifying the magnetoelectric coupling in TbMnO$_3$ by low-level Fe$^{3+}$ substitution
Authors:
A. Maia,
R. Vilarinho,
C. Kadlec,
M. Lebeda,
M. Mihalik, Jr.,
M. Zentková,
M. Mihalik,
J. Agostinho Moreira,
S. Kamba
Abstract:
We report a comprehensive study of the low-level substitution of Mn$^{3+}$ by Fe$^{3+}$ effect on the static and dynamic magnetoelectric coupling in TbMn$_{1-x}$Fe$_x$O$_3$ ($x=0$, 0.02 and 0.04). The cationic substitution has a large impact on the balance between competitive magnetic interactions and, as a result, on the stabilization of the magnetic structures and ferroelectric phase at low temp…
▽ More
We report a comprehensive study of the low-level substitution of Mn$^{3+}$ by Fe$^{3+}$ effect on the static and dynamic magnetoelectric coupling in TbMn$_{1-x}$Fe$_x$O$_3$ ($x=0$, 0.02 and 0.04). The cationic substitution has a large impact on the balance between competitive magnetic interactions and, as a result, on the stabilization of the magnetic structures and ferroelectric phase at low temperatures. Low-lying electromagnon excitation is activated in the cycloidal modulated antiferromagnetic and ferroelectric phase in TbMnO$_3$, while it is observed up to TN in the Fe-substituted compounds, pointing for different mechanisms for static and dynamic magnetoelectric coupling. A second electrically active excitation near 40 cm$^{-1}$ is explained by means of Tb3+ crystal-field effects. This excitation is observed up to room temperature, and exhibits a remarkable 15 cm$^{-1}$ downshift on cooling in Fe-substituted compounds. Both electromagnon and crystal-field excitations are found to be coupled to the polar phonons with frequencies up to 250 cm$^{-1}$. Raman spectroscopy reveals a spin-phonon coupling below TN in pure TbMnO$_3$, but the temperature where the coupling start to be relevant increases with Fe concentration and reaches 100 K in TbMn$_{0.96}$Fe$_{0.04}$O$_3$. The anomalies in the T-dependence of magnetic susceptibility above TN are well accounted by spin-phonon coupling and crystal-field excitation, coupled to oxygen motions.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Near Ascending HNN-Extensions and a Combination Result for Semistability at Infinity
Authors:
Michael Mihalik
Abstract:
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 f…
▽ More
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.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Relatively Hyperbolic Groups with Semistable Peripheral Subgroups
Authors:
Matthew Haulmark,
Michael Mihalik
Abstract:
Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cu…
▽ More
Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has no cut point, then $G$ was known to have semistable fundamental group at $\infty$. We consider the more general situation when $\partial (G,{\bf P})$ contains cut points. Our main theorem states that if $G$ is finitely presented and each $P\in {\bf P}$ is finitely generated and has semistable fundamental group at $\infty$, then $G$ has semistable fundamental group at $\infty$.
△ Less
Submitted 29 April, 2021; v1 submitted 14 January, 2021;
originally announced January 2021.
-
Evidence for direct and indirect gap in FeSi from electron tunneling spectroscopy
Authors:
M. Baťková,
I. Baťko,
M. Mihalik
Abstract:
We report electron tunneling spectroscopy studies on single crystalline FeSi sample performed for the case of homogeneous tunnel junction contacts and for the case of counter electrodes made from Pt-Rh alloy. Our results reveal that while the tunneling spectroscopy in the configuration with Pt-Rh tip is preferably sensitive to the d-partial density of states and to the indirect energy gap, the FeS…
▽ More
We report electron tunneling spectroscopy studies on single crystalline FeSi sample performed for the case of homogeneous tunnel junction contacts and for the case of counter electrodes made from Pt-Rh alloy. Our results reveal that while the tunneling spectroscopy in the configuration with Pt-Rh tip is preferably sensitive to the d-partial density of states and to the indirect energy gap, the FeSi-FeSi type of tunnel junction yields spectroscopic information on the c-partial density of states and on the direct gap in FeSi.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Semistability of Graph Products
Authors:
Michael Mihalik
Abstract:
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…
▽ More
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$.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Piecewise Visual, Linearly Connected Metrics on Boundaries of Relatively Hyperbolic Groups
Authors:
Matthew Haulmark,
Michael L. Mihalik
Abstract:
Suppose a finitely generated group $G$ is hyperbolic relative to $\mathcal P$ a set of proper finitely generated subgroups of $G$. Established results in the literature imply that a "visual" metric on $\partial (G,\mathcal P)$ is "linearly connected" if and only if the boundary $\partial (G,\mathcal P)$ has no cut point. Our goal is to produce linearly connected metrics on…
▽ More
Suppose a finitely generated group $G$ is hyperbolic relative to $\mathcal P$ a set of proper finitely generated subgroups of $G$. Established results in the literature imply that a "visual" metric on $\partial (G,\mathcal P)$ is "linearly connected" if and only if the boundary $\partial (G,\mathcal P)$ has no cut point. Our goal is to produce linearly connected metrics on $\partial (G,\mathcal P)$ that are "piecewise" visual when $\partial (G,\mathcal P)$ contains cut points. %Visual metrics for $\partial (G,\mathcal P)$ are tightly linked to inner products of geodesic rays in "cusped" spaces for $(G,\mathcal P)$. The identity vertex $\ast$ is usually our base point in these cusped spaces and visual metrics depend on this base point. %We say the visual metric $d_p$ on $\partial(G,\mathcal P)$, with base point $p$, is {\it $G$-equivariant} if for points $x_1,x_2\in \partial(G,\mathcal P)$, we have $d_p(x_1,x_2)=d_{gp}(gx_1,gx_2)$ for all $g\in G$.
Our main theorem is about graph of groups decompositions of relatively hyperbolic groups $(G,\mathcal P)$, and piecewise visual metrics on their boundaries. We assume that each vertex group of our decomposition has a boundary with linearly connected visual metric or the vertex group is in $\mathcal P$. If a vertex group is not in $\mathcal P$, then it is hyperbolic relative to its adjacent edge groups. Our linearly connected metric on $\partial (G,\mathcal P)$ agrees with the visual metric on limit sets of vertex groups and is in this sense piecewise visual.
△ Less
Submitted 20 August, 2019;
originally announced August 2019.
-
Crossover in the pressure evolution of elementary distortions in RFeO3 perovskites and its impact on their phase transition
Authors:
R. Vilarinho,
P. Bouvier,
M. Guennou,
I. Peral,
M. C. Weber,
P. Tavares,
M. Mihalik jr.,
M. Mihalik,
G. Garbarino,
M. Mezouar,
J. Kreisel,
A. Almeida,
J. Agostinho Moreira
Abstract:
This work reports on the pressure dependence of the octahedra tilts and mean Fe-O bond lengths in RFeO3 (R=Nd, Sm, Eu, Gd, Tb and Dy), determined through synchrotron X-ray diffraction and Raman scattering, and their role on the pressure induced phase transition displayed by all of these compounds. For larger rare-earth cations (Nd-Sm), both anti- and in-phase octahedra tilting decrease as pressure…
▽ More
This work reports on the pressure dependence of the octahedra tilts and mean Fe-O bond lengths in RFeO3 (R=Nd, Sm, Eu, Gd, Tb and Dy), determined through synchrotron X-ray diffraction and Raman scattering, and their role on the pressure induced phase transition displayed by all of these compounds. For larger rare-earth cations (Nd-Sm), both anti- and in-phase octahedra tilting decrease as pressure increases, whereas the reverse behavior is observed for smaller ones (Gd-Dy). EuFeO3 stands at the borderline, as the tilts are pressure independent. For the compounds where the tilts increase with pressure, the FeO6 octahedra are compressed at lower rates than for those ones exhibiting opposite pressure tilt dependence. The crossover between the two opposite pressure behaviors is discussed and faced with the rules grounded on the current theoretical approaches. The similarity of the pressure-induced isostructural insulator-to-metal phase transition, observed in the whole series, point out that the tilts play a minor role in its driving mechanisms. A clear relationship between octahedra compressibility and critical pressure is ascertained.
△ Less
Submitted 18 January, 2019;
originally announced January 2019.
-
Relatively hyperbolic groups with free abelian second cohomology
Authors:
Michael Mihalik,
Eric Swenson
Abstract:
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.…
▽ More
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.
△ Less
Submitted 18 April, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Bounded Depth Ascending HNN Extensions and $π_1$-Semistability at $\infty$
Authors:
Michael Mihalik
Abstract:
A 1-ended finitely presented group has semistable fundamental group at $\infty$ if it acts geometrically on some (equivalently any) simply connected and locally finite complex $X$ with the property that any two proper rays in $X$ are properly homotopic. If $G$ has semistable fundamental group at $\infty$ then one can unambiguously define the fundamental group at $\infty$ for $G$. The problem, aski…
▽ More
A 1-ended finitely presented group has semistable fundamental group at $\infty$ if it acts geometrically on some (equivalently any) simply connected and locally finite complex $X$ with the property that any two proper rays in $X$ are properly homotopic. If $G$ has semistable fundamental group at $\infty$ then one can unambiguously define the fundamental group at $\infty$ for $G$. The problem, asking if all finitely presented groups have semistable fundamental group at $\infty$ has been studied for over 40 years. If $G$ is an ascending HNN extension of a finitely presented group then indeed, $G$ has semistable fundamental group at $\infty$, but since the early 1980's it has been suggested that the finitely presented groups that are ascending HNN extensions of {\it finitely generated} groups may include a group with non-semistable fundamental group at $\infty$. Ascending HNN extensions naturally break into two classes, those with bounded depth and those with unbounded depth. Our main theorem shows that bounded depth finitely presented ascending HNN extensions of finitely generated groups have semistable fundamental group at $\infty$. Semistability is equivalent to two weaker asymptotic conditions on the group holding simultaneously. We show one of these conditions holds for all ascending HNN extensions, regardless of depth. We give a technique for constructing ascending HNN extensions with unbounded depth. This work focuses attention on a class of groups that may contain a group with non-semistable fundamental group at $\infty$.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Non-cocompact Group Actions and $π_1$-Semistability at Infinity
Authors:
Ross Geoghegan,
Craig Guilbault,
Michael Mihalik
Abstract:
A finitely presented 1-ended group $G$ has {\it semistable fundamental group at infinity} if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than "1-ended", and is in fact a feature of $G$, being independent of choices. It…
▽ More
A finitely presented 1-ended group $G$ has {\it semistable fundamental group at infinity} if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than "1-ended", and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper {\it but non-cocompact} action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a "perpendicular to $J$" part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Relatively Hyperbolic Groups have Semistabile Fundamental Group at Infinity
Authors:
Michael L. Mihalik,
Eric Swenson
Abstract:
Suppose $G$ is a 1-ended finitely generated group that is hyperbolic relative to P a finite collection of 1-ended finitely generated subgroups. Our main theorem states that if the boundary $\partial (G, P)$ has no cut point, then $G$ has semistable fundamental group at $\infty$. Under mild conditions on $G$ and the members of P the 1-ended hypotheses and the no cut point condition can be eliminate…
▽ More
Suppose $G$ is a 1-ended finitely generated group that is hyperbolic relative to P a finite collection of 1-ended finitely generated subgroups. Our main theorem states that if the boundary $\partial (G, P)$ has no cut point, then $G$ has semistable fundamental group at $\infty$. Under mild conditions on $G$ and the members of P the 1-ended hypotheses and the no cut point condition can be eliminated to obtain the same semistability conclusion. We give an example that shows our main result is somewhat optimal. Finally, we improve a "double dagge" result of F. Dahmani and D. Groves.
△ Less
Submitted 10 November, 2017; v1 submitted 7 September, 2017;
originally announced September 2017.
-
Measurements of $B \rightarrow J/ψ$ at forward rapidity in $p$$+$$p$ collisions at $\sqrt{s}=510$ GeV
Authors:
C. Aidala,
N. N. Ajitanand,
Y. Akiba,
R. Akimoto,
J. Alexander,
M. Alfred,
K. Aoki,
N. Apadula,
H. Asano,
E. T. Atomssa,
A. Attila,
T. C. Awes,
C. Ayuso,
B. Azmoun,
V. Babintsev,
M. Bai,
X. Bai,
B. Bannier,
K. N. Barish,
S. Bathe,
V. Baublis,
C. Baumann,
S. Baumgart,
A. Bazilevsky,
M. Beaumier
, et al. (406 additional authors not shown)
Abstract:
We report the first measurement of the fraction of $J/ψ$ mesons coming from $B$-meson decay ($F_{B{\rightarrow}J/ψ}$) in $p$+$p$ collisions at $\sqrt{s}=$ 510 GeV. The measurement is performed using the forward silicon vertex detector and central vertex detector at PHENIX, which provide precise tracking and distance-of-closest-approach determinations, enabling the statistical separation of $J/ψ$ d…
▽ More
We report the first measurement of the fraction of $J/ψ$ mesons coming from $B$-meson decay ($F_{B{\rightarrow}J/ψ}$) in $p$+$p$ collisions at $\sqrt{s}=$ 510 GeV. The measurement is performed using the forward silicon vertex detector and central vertex detector at PHENIX, which provide precise tracking and distance-of-closest-approach determinations, enabling the statistical separation of $J/ψ$ due to $B$-meson decays from prompt $J/ψ$. The measured value of $F_{B{\rightarrow}J/ψ}$ is 8.1\%$\pm$2.3\% (stat)$\pm$1.9\% (syst) for $J/ψ$ with transverse momenta $0<p_T<5$ GeV/$c$ and rapidity $1.2<|y|<2.2$. The measured fraction $F_{B{\rightarrow}J/ψ}$ at PHENIX is compared to values measured by other experiments at higher center of mass energies and to fixed-order-next-to-leading-logarithm and color-evaporation-model predictions. The $b\bar{b}$ cross section per unit rapidity ($dσ/dy(pp{\rightarrow}b\bar{b})$) extracted from the obtained $F_{B{\rightarrow}J/ψ}$ and the PHENIX inclusive $J/ψ$ cross section measured at 200 GeV scaled with color-evaporation-model calculations, at the mean $B$ hadron rapidity $y={\pm}1.7$ in 510 GeV $p$$+$$p$ collisions, is $3.63^{+1.92}_{-1.70}μ$b, and it is consistent with the fixed-order-next-to-leading-logarithm calculations.
△ Less
Submitted 4 April, 2017; v1 submitted 5 January, 2017;
originally announced January 2017.
-
Angular decay coefficients of $J/ψ$ mesons at forward rapidity from $p+p$ collisions at $\sqrt{s}=510$ GeV
Authors:
A. Adare,
C. Aidala,
N. N. Ajitanand,
Y. Akiba,
R. Akimoto,
M. Alfred,
V. Andrieux,
K. Aoki,
N. Apadula,
Y. Aramaki,
H. Asano,
E. T. Atomssa,
T. C. Awes,
C. Ayuso,
B. Azmoun,
V. Babintsev,
M. Bai,
N. S. Bandara,
B. Bannier,
K. N. Barish,
S. Bathe,
A. Bazilevsky,
M. Beaumier,
S. Beckman,
R. Belmont
, et al. (365 additional authors not shown)
Abstract:
We report the first measurement of the full angular distribution for inclusive $J/ψ\rightarrowμ^{+}μ^{-}$ decays in $p$$+$$p$ collisions at $\sqrt{s}=510$ GeV. The measurements are made for $J/ψ$ transverse momentum $2<p_{T}<10$ GeV/$c$ and rapidity $1.2<y<2.2$ in the Helicity, Collins-Soper, and Gottfried-Jackson reference frames. In all frames the polar coefficient $λ_θ$ is strongly negative at…
▽ More
We report the first measurement of the full angular distribution for inclusive $J/ψ\rightarrowμ^{+}μ^{-}$ decays in $p$$+$$p$ collisions at $\sqrt{s}=510$ GeV. The measurements are made for $J/ψ$ transverse momentum $2<p_{T}<10$ GeV/$c$ and rapidity $1.2<y<2.2$ in the Helicity, Collins-Soper, and Gottfried-Jackson reference frames. In all frames the polar coefficient $λ_θ$ is strongly negative at low $p_{T}$ and becomes close to zero at high $p_{T}$, while the azimuthal coefficient $λ_φ$ is close to zero at low $p_{T}$, and becomes slightly negative at higher $p_{T}$. The frame-independent coefficient $\tildeλ$ is strongly negative at all $p_{T}$ in all frames. The data are compared to the theoretical predictions provided by nonrelativistic quantum chromodynamics models.
△ Less
Submitted 12 April, 2017; v1 submitted 20 December, 2016;
originally announced December 2016.
-
Topological properties of spaces admitting a coaxial homeomorphism
Authors:
Ross Geoghegan,
Craig Guilbault,
Michael Mihalik
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 November, 2018; v1 submitted 6 November, 2016;
originally announced November 2016.
-
Measurement of the relative yields of $ψ(2S)$ to $ψ(1S)$ mesons produced at forward and backward rapidity in $p$$+$$p$, $p$$+$Al, $p$$+$Au, and $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV
Authors:
A. Adare,
C. Aidala,
N. N. Ajitanand,
Y. Akiba,
M. Alfred,
V. Andrieux,
K. Aoki,
N. Apadula,
H. Asano,
C. Ayuso,
B. Azmoun,
V. Babintsev,
M. Bai,
N. S. Bandara,
B. Bannier,
K. N. Barish,
S. Bathe,
A. Bazilevsky,
M. Beaumier,
S. Beckman,
R. Belmont,
A. Berdnikov,
Y. Berdnikov,
D. S. Blau,
M. Boer
, et al. (336 additional authors not shown)
Abstract:
The PHENIX Collaboration has measured the ratio of the yields of $ψ(2S)$ to $ψ(1S)$ mesons produced in $p$$+$$p$, $p$$+$Al, $p$$+$Au, and $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV over the forward and backward rapidity intervals $1.2<|y|<2.2$. We find that the ratio in $p$$+$$p$ collisions is consistent with measurements at other collision energies. In collisions with nuclei, we find…
▽ More
The PHENIX Collaboration has measured the ratio of the yields of $ψ(2S)$ to $ψ(1S)$ mesons produced in $p$$+$$p$, $p$$+$Al, $p$$+$Au, and $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV over the forward and backward rapidity intervals $1.2<|y|<2.2$. We find that the ratio in $p$$+$$p$ collisions is consistent with measurements at other collision energies. In collisions with nuclei, we find that in the forward ($p$-going or $^{3}$He-going) direction, the relative yield of $ψ(2S)$ mesons to $ψ(1S)$ mesons is consistent with the value measured in \pp collisions. However, in the backward (nucleus-going) direction, the $ψ(2S)$ is preferentially suppressed by a factor of $\sim$2. This suppression is attributed in some models to breakup of the weakly-bound $ψ(2S)$ through final state interactions with comoving particles, which have a higher density in the nucleus-going direction. These breakup effects may compete with color screening in a deconfined quark-gluon plasma to produce sequential suppression of excited quarkonia states.
△ Less
Submitted 31 January, 2017; v1 submitted 21 September, 2016;
originally announced September 2016.
-
Structural and magnetic study of PrMn$_{1-x}$Fe$_x$O$_3$ $(0 \leq x \leq 1)$ compounds
Authors:
M. Mihalik jr.,
Z. Jaglicic,
M. Fitta,
V. Kavecansky,
K. Csach,
A. Budziak,
J. Brianccin,
M. Zentkova,
M. Mihalik
Abstract:
The structural and magnetic study of PrMn1-xFexO3(0 <= x <= 1) substitutional orthorhombical system, was performed on polycrystalline (x <= 0.5) as well as on the single crystalline (0.5 <= x <= 1) samples.
The structural and magnetic study of PrMn1-xFexO3(0 <= x <= 1) substitutional orthorhombical system, was performed on polycrystalline (x <= 0.5) as well as on the single crystalline (0.5 <= x <= 1) samples.
△ Less
Submitted 17 June, 2016; v1 submitted 17 May, 2016;
originally announced May 2016.
-
Magnetic phase diagram of TbMn$_{1-x}$Fe$_x$O$_3$ $(0 \leq x \leq 1)$ substitutional solid solution
Authors:
M. Mihalik,
Z. Jaglicic,
R. Vilarinho,
J. Agostinho Moreira,
E. Queiros,
P. B. Tavares,
A. Almeida,
M. Zentkova
Abstract:
We present the magnetic phase diagram of TbMn1-xFexO3 substitutional solid solution in the whole concentration range 0 <= x <= 1 as determined from magnetization and specific heat measurements. We have found that the dominant magnetic ion in the concentration range 0 <= x < 0.3 is manganese, while iron ions do not create independent magnetic structure, but strongly affect magnetic properties of th…
▽ More
We present the magnetic phase diagram of TbMn1-xFexO3 substitutional solid solution in the whole concentration range 0 <= x <= 1 as determined from magnetization and specific heat measurements. We have found that the dominant magnetic ion in the concentration range 0 <= x < 0.3 is manganese, while iron ions do not create independent magnetic structure, but strongly affect magnetic properties of the parent compound by reducing transition to magnetically ordered state and transition into a cycloidal phase. The magnetism in the concentration range 0.3 < x <= 1 is driven by the Fe sublattice. The manganese ions again do not order in long range magnetic ordered state, but stabilize four different magnetic structures of Fe sublattice above 2 K. The magnetic ordering of Tb sublattice was observed only on parent compounds TbMnO3 and TbFeO3 and for doping level below 0.1, or over 0.9.
△ Less
Submitted 17 May, 2016; v1 submitted 9 May, 2016;
originally announced May 2016.
-
On the ferroelectric and magnetoelectric mechanisms in low Fe$^{3+}$ doped TbMnO$_3$
Authors:
R. Vilarinho,
E. Queiros,
D. J. Passos,
D. A. Mota,
P. B. Tavares,
M. Mihalik jr.,
M. Zentkova,
M. Mihalik,
A. Almeida,
J. Agostinho Moreira
Abstract:
This work addresses the effect of substituting Mn$^{3+}$ by Fe$^{3+}$ at the octahedral site of TbMnO$_3$ on the magnetic phase sequence, ferroelectric and magnetoelectric properties, keeping the Fe$^{3+}$ concentration below 5%. The temperature dependence of the specific heat, dielectric permittivity and electric polarization was studied as a function of Fe$^{3+}$ concentration and applied magnet…
▽ More
This work addresses the effect of substituting Mn$^{3+}$ by Fe$^{3+}$ at the octahedral site of TbMnO$_3$ on the magnetic phase sequence, ferroelectric and magnetoelectric properties, keeping the Fe$^{3+}$ concentration below 5%. The temperature dependence of the specific heat, dielectric permittivity and electric polarization was studied as a function of Fe$^{3+}$ concentration and applied magnetic field. From the experimental results a strong decrease of the electric polarization with increasing Fe$^{3+}$ substitution is observed, vanishing above a concentration of 4%. However, within this range, a significant increase of the magnetic sensitivity of the electric polarization is obtained by increasing Fe$^{3+}$ concentration. Above that value, a non-polar, weak ferromagnetic phase emerges, in good agreement with the predictions of the Dzyalowshinskii-Moriya model. This behavior reveals the crucial effect of Fe$^{3+}$ substitution in octahedral sites on the magnetic phase sequence, polar and magnetoelectric behavior of the TbMn$_{1-x}$Fe$_x$O$_3$ system. From the results obtained in this work, it is understood that this behavior is not associated with the eg electronic configuration, but instead to the competition between ferromagnetic and antiferromagnetic interactions, which is very sensitive to both local fields and distortions.
△ Less
Submitted 26 May, 2017; v1 submitted 4 February, 2016;
originally announced February 2016.
-
Semistability and Simple Connectivity at Infinity of Finitely Generated Groups with a Finite Series of Commensurated Subgroups
Authors:
Michael Mihalik
Abstract:
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…
▽ More
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}.
△ Less
Submitted 3 November, 2014;
originally announced November 2014.
-
Magnetic structure of NdMn$_{0.8}$Fe$_{0.2}$O$_{3+δ}$; neutron powder diffraction experiment
Authors:
Matúš Mihalik,
Marián Mihalik,
Andreas Hoser,
Daniel M. Pajerowski,
Dominik Kriegner,
Dominik Legut,
Kristof M. Lebecki,
Martin Vavra,
Magdalena Fitta,
Mark W. Meisel
Abstract:
The magnetic structure of the mixed antiferromagnet NdMn$_{0.8}$Fe$_{0.2}$O$_3$ was resolved. Neutron powder diffraction data definitively resolve the Mn-sublattice with a magnetic propagation vector ${\bf k} = (000)$ and with the magnetic structure (A$_x$, F$_y$, G$_z$) for 1.6~K~$< T < T_N (\approx 59$~K). The Nd-sublattice has a (0, f$_y$, 0) contribution in the same temperature interval. The M…
▽ More
The magnetic structure of the mixed antiferromagnet NdMn$_{0.8}$Fe$_{0.2}$O$_3$ was resolved. Neutron powder diffraction data definitively resolve the Mn-sublattice with a magnetic propagation vector ${\bf k} = (000)$ and with the magnetic structure (A$_x$, F$_y$, G$_z$) for 1.6~K~$< T < T_N (\approx 59$~K). The Nd-sublattice has a (0, f$_y$, 0) contribution in the same temperature interval. The Mn sublattice undergoes spin-reorientation transition at $T_1 \approx 13$~K while the Nd magnetic moment keep ordered abruptly increases at this temperature. Powder X-ray diffraction shows a strong magnetoelastic effect at $T_N$ but no additional structural phase transitions from 2~K to 300~K. Density functional theory calculations confirm the magnetic structure of the undoped NdMnO$_3$ as part of our analysis. Taken together, these results show the magnetic structure of Mn-sublattice in NdMn$_{0.8}$Fe$_{0.2}$O$_3$ is a combination of the Mn and Fe parent compounds, but the magnetic ordering of Nd sublattice spans over broader temperature interval than in case of NdMnO$_3$ and NdFeO$_3$. This result is a consequence of the fact that the Nd ions do not order independently, but via polarization from Mn/Fe sublattice.
△ Less
Submitted 24 August, 2017; v1 submitted 14 October, 2013;
originally announced October 2013.
-
A classification of right-angled Coxeter groups with no 3-flats and locally connected boundary
Authors:
Wes Camp,
Michael Mihalik
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 22 June, 2012;
originally announced June 2012.
-
Commensurated subgroups, semistability and simple connectivity at infinity
Authors:
G. Conner,
M. Mihalik
Abstract:
A subgroup Q is commensurated in a group G if each G conjugate of Q intersects Q in a group that has finite index in both Q and the conjugate. So commensurated subgroups are similar to normal subgroups. Semistability and simple connectivity at infinity are geometric asymptotic properties of finitely presented groups. In this paper we generalize several of the classic semistability and simple conne…
▽ More
A subgroup Q is commensurated in a group G if each G conjugate of Q intersects Q in a group that has finite index in both Q and the conjugate. So commensurated subgroups are similar to normal subgroups. Semistability and simple connectivity at infinity are geometric asymptotic properties of finitely presented groups. In this paper we generalize several of the classic semistability and simple connectivity at infinity results for finitely presented groups. In particular, we show that if a finitely generated group G contains an infinite finitely generated commensurated subgroup Q of infinite index in G, then G is semistable at infinity. If additionally G and Q are finitely presented and either Q is 1-ended or the pair (G,Q) has one filtered end, then G is simply connected at infinity. This result leads to a relatively short proof of V. M. Lew's theorem that finitely presented groups with infinite finitely generated subnormal subgroups of infinite index are semistable at infinity.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
Geodesically Tracking Quasi-geodesic Paths for Coxeter Groups
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order…
▽ More
The main theorem of this paper classifies the quasi-geodesics in a Coxeter group that are tracked by geodesics. As corollaries, we show that if a Coxeter group acts geometrically on a CAT(0) space X then CAT(0) rays (and lines) are tracked by Cayley graph geodesics, all special subgroups of the Coxeter group are quasi-convex in X, and in Cayley graphs for Coxeter groups, elements of infinite order are tracked by geodesics.
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
Strong accessibility of Coxeter groups over minimal splittings
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, rep…
▽ More
Given a class of groups C, a group G is strongly accessible over C if there is a bound on the number of terms in a sequence L(1), L(2), ..., L(n) of graph of groups decompositions of G with edge groups in C such that L(1) is the trivial decomposition (with 1-vertex) and for i>1, L(i) is obtained from L(i-1) by non-trivially and compatibly splitting a vertex group of L(i-1) over a group in C, replacing this vertex group by the splitting and then reducing. If H and K are subgroups of a group G then H is smaller than K if H intersect K has finite index in H and infinite index in K. The minimal splitting subgroups of G, are the subgroups H of G, such that G splits non-trivially (as an amalgamated product or HNN-extension) over H and for any other splitting subgroup K of W, K is not smaller than H. When G is a finitely generated Coxeter group, minimal splitting subgroups are always finitely generated. Minimal splittings are explicitly or implicitly important aspects of Dunwoody's work on accessibility and the JSJ results of Rips-Sela, Dunwoody-Sageev and Mihalik. Our main results are that Coxeter groups are strongly accessible over minimal splittings and if L is an irreducible graph of groups decomposition of a Coxeter group with minimal splitting edge groups, then the vertex and edge groups of L are Coxeter.
△ Less
Submitted 26 February, 2010;
originally announced March 2010.
-
Commensurators and Quasi-Normal Subgroups
Authors:
Gregory R. Conner,
Michael L. Mihalik
Abstract:
We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite.
We show that a quasi-normal subgroup of a group is the kernel of a certain map, and a subgroup of a finite…
▽ More
We say A is a quasi-normal subgroup of the group G if the commensurator of A in G is all of G. We develop geometric versions of commensurators in finitely generated groups. In particular, g is an element of the commensurator of A in G iff the Hausdorff distance between A and gA is finite.
We show that a quasi-normal subgroup of a group is the kernel of a certain map, and a subgroup of a finitely generated group is quasi-normal iff the natural coset graph is locally finite. This last equivalence is particularly useful for deriving asymptotic results for finitely generated groups. Our primary goal in this paper is to develop the basic theory of quasi-normal subgroups, comparing analogous results for normal subgroups and isolating differences between quasi-normal and normal subgroups.
△ Less
Submitted 29 December, 2009;
originally announced December 2009.
-
JSJ Decompositions of Coxeter Groups
Authors:
Michael Mihalik
Abstract:
The idea of "JSJ-decompositions" for 3-manifolds began with work of Waldhausen and was developed later through work of Jaco, Shalen and Johansen. It was shown that there is a finite collection of 2-sided, incompressible tori that separate a given closed irreducible 3-manifold into pieces with strong topological structure. Sela introduced the idea of JSJ-decompositions for groups, an idea that ha…
▽ More
The idea of "JSJ-decompositions" for 3-manifolds began with work of Waldhausen and was developed later through work of Jaco, Shalen and Johansen. It was shown that there is a finite collection of 2-sided, incompressible tori that separate a given closed irreducible 3-manifold into pieces with strong topological structure. Sela introduced the idea of JSJ-decompositions for groups, an idea that has flourished in a variety of directions. The general idea is to consider a certain class X of groups and splittings of groups in X by groups in another class Y. E.g. Rips and Sela considered splittings of finitely presented groups by infinite cyclic groups. For an arbitrary group G in X the goal is to produce a unique graph of groups decomposition T of G with edge groups in Y so that T reveals all graph of groups decompositions of G with edge groups in Y. More specifically, if V is a vertex group of T then either there is no Y-group that splits both G and V, or V has a special "surface group-like" structure. It is standard to call vertex groups of the second type "orbifold groups". For a finitely generated Coxeter system (W,S) we produce a reduced JSJ-decomposition T for splittings of W over virtually abelian subgroups. We show T is unique with each vertex and edge group generated by a subset of S (and so T is "visual"). The construction of T is algorithmic. If V, a subset of S, generates an orbifold vertex group of T then V is the disjoint union of K and M, where < M > is virtually abelian, < K > is virtually a closed surface group or virtually free and < V > is the direct product of < M > and < K >.
△ Less
Submitted 16 December, 2009; v1 submitted 24 April, 2008;
originally announced April 2008.
-
On the rank of a Coxeter group
Authors:
Michael L. Mihalik,
John G. Ratcliffe
Abstract:
Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined…
▽ More
Let W be a Coxeter group with Coxeter generators S. The rank of the Coxeter system (W,S) is the cardinality |S| of S. The Coxeter system (W,S) has finite rank if and only if W is finitely generated. If (W,S) has infinite rank, then |S| = |W|, since every element of W is represented by a finite product of elements of S. Thus if W is not finitely generated, the rank of (W,S) is uniquely determined by W. If W is finitely generated, then W may have sets of Coxeter generators S and S' of different ranks. In this paper, we determine the set of all possible ranks for an arbitrary finitely generated Coxeter group W.
△ Less
Submitted 26 June, 2007;
originally announced June 2007.
-
Visual Decompositions of Coxeter Groups
Authors:
Michael L. Mihalik,
Steven Tschantz
Abstract:
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter grou…
▽ More
A Coxeter system is an ordered pair (W,S) where S is the generating set in a particular type of presentation for the Coxeter group W. A subgroup of W is called special if it is generated by a subset of S. Amalgamated product decompositions of a Coxeter group having special factors and special amalgamated subgroup are easily recognized from the presentation of the Coxeter group. If a Coxeter group is a subgroup of the fundamental group of a given graph of groups, then the Coxeter group is also the fundamental group of a graph of special subgroups, where each vertex and edge group is a subgroup of a conjugate of a vertex or edge group of the given graph of groups. A vertex group of an arbitrary graph of groups decomposition of a Coxeter group is shown to split into parts conjugate to special groups and parts that are subgroups of edge groups of the given decomposition. Several applications of the main theorem are produced, including the classification of maximal FA-subgroups of a finitely generated Coxeter group as all conjugates of certain special subgroups.
△ Less
Submitted 14 March, 2007;
originally announced March 2007.
-
Quotient isomorphism invariants of a finitely generated Coxeter group
Authors:
Michael Mihalik,
John Ratcliffe,
Steven Tschantz
Abstract:
In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that ca…
▽ More
In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that can be effectively used to distinguish isomorphism types of finitely generated Coxeter groups.
△ Less
Submitted 18 July, 2006;
originally announced July 2006.
-
Matching theorems for systems of a finitely generated Coxeter group
Authors:
Michael Mihalik,
John Ratcliffe,
Steven Tschantz
Abstract:
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.
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.
△ Less
Submitted 16 May, 2006; v1 submitted 6 January, 2005;
originally announced January 2005.
-
The Even Isomorphism Theorem for Coxeter Groups
Authors:
Michael L. Mihalik
Abstract:
We prove the even isomorphism theorem for Coxeter groups
We prove the even isomorphism theorem for Coxeter groups
△ Less
Submitted 13 February, 2004;
originally announced February 2004.
-
Evidence for weak itinerant long-range magnetic correlations in UGe2
Authors:
A. Yaouanc,
P. Dalmas de Reotier,
P. C. M. Gubbens,
C. T. Kaiser,
A. A. Menovsky,
M. Mihalik,
S. P. Cottrell
Abstract:
Positive muon spin relaxation measurements performed on the ferromagnet UGe2 reveal, in addition to the well known localized 5f-electron density responsible for the bulk magnetic properties, the existence of itinerant quasi-static magnetic correlations. Their critical dynamics is well described by the conventional dipolar Heisenberg model. These correlations involve small magnetic moments.
Positive muon spin relaxation measurements performed on the ferromagnet UGe2 reveal, in addition to the well known localized 5f-electron density responsible for the bulk magnetic properties, the existence of itinerant quasi-static magnetic correlations. Their critical dynamics is well described by the conventional dipolar Heisenberg model. These correlations involve small magnetic moments.
△ Less
Submitted 3 September, 2002;
originally announced September 2002.
-
Semistability of amalgamated products, HNN-extensions, and all one-relator groups
Authors:
Michael L. Mihalik,
Steven T. Tschantz
Abstract:
The authors announce the following theorem.
Theorem 1. If $G=A*_H B$ is an amalgamated product where $A$ and $B$ are finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity. If $G=A*_H$ is an HNN-extension where $A$ is finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity.
The authors announce the following theorem.
Theorem 1. If $G=A*_H B$ is an amalgamated product where $A$ and $B$ are finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity. If $G=A*_H$ is an HNN-extension where $A$ is finitely presented and semistable at infinity, and $H$ is finitely generated, then $G$ is semistable at infinity.
△ Less
Submitted 31 December, 1991;
originally announced January 1992.
