 vanishing Euler characteristic too and it is noncyclic since the only virtually cyclic torsion-free group is $\mathbb Z$, yet $H$ is not cyclic.

\[nongeomcomm\]Suppose $\phi: F \to F$ and $\psi:F' \to F'$ are minimal injective endomorphisms such that $F *_\phi$ and $F' *_\psi$ are commensurable. Then $\phi$ is irreducible and atoroidal if and only if $\psi$ is irreducible and atoroidal.

Finally, we combine this theorem with Corollary \[irredtorgrp\] to get:

\[irredgrp\]Suppose $\phi: F \to F$ and $\psi:F' \to F'$ are minimal injective endomorphisms such that $F *_\phi \cong F' *_\psi$. Then $\phi$ is irreducible if and only if $\psi$ is irreducible.

Q.I.-Invariance Conjecture {#qi}
==========================

Very little is known about the geometry of mapping tori whose monodromies are irreducible and atoroidal. Brinkmann proved that atoroidal automorphisms of free groups have word-hyperbolic mapping tori [@Bri00] and gave an explicit description for when such mapping tori have non-trivial splittings over cyclic subgroups [@Bri02]: an atoroidal automorphism of $F$ has a mapping torus that splits over $\mathbb Z$ if and only if the (outer) automorphism fixes a [*free splitting*]{} of $F$; in particular, mapping tori of irreducible and atoroidal automorphisms never split over $\mathbb Z$.

By work of Kapovich-Kleiner [@KK00], word-hyperbolic free-by-cyclic groups that do not split over $\mathbb Z$ have Gromov boundary homeomorphic to a menger curve. Unfortunately, the topology of the boundary is not sufficient to detect irreducible and atoroidal monodromies as there are reducible and atoroidal automorphisms that do not fix a free splitting.

The Gromov boundary of a word-hyperbolic group can be given a [*visual metric*]{} that is unique up to [*quasi-symmetry*]{} and its quasi-symmetry class is a complete geometric invariant of the group, i.e., word-hyperbolic groups are quasi-isometric if and only their visual boundaries are quasi-symmetric [@P
vanishing Euler characteristic too and it is noncyclic since the only virtually cyclic tortuosity - spare group is $ \mathbb Z$, yet $ H$ is not cyclic. 

 \[nongeomcomm\]Suppose $ \phi: F \to F$ and $ \psi: F' \to F'$ are minimal injective endomorphisms such that $ F * _ \phi$ and $ F' * _ \psi$ are commensurable. Then $ \phi$ is irreducible and atoroidal if and merely if $ \psi$ is irreducible and atoroidal. 

 last, we combine this theorem with Corollary   \[irredtorgrp\ ] to get: 

 \[irredgrp\]Suppose $ \phi: F \to F$ and $ \psi: F' \to F'$ are minimal injective endomorphisms such that $ F * _ \phi \cong F' * _ \psi$. Then $ \phi$ is irreducible if and entirely if $ \psi$ is irreducible. 

 Q.I.-Invariance guess { # qi } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Very little is know about the geometry of mapping tori whose monodromies are irreducible and atoroidal. Brinkmann testify that atoroidal automorphisms of free groups have word - hyperbolic mapping tori [ @Bri00 ] and contribute an explicit description for when such mapping tori have non - superficial splittings over cyclic subgroups [ @Bri02 ]: an atoroidal automorphism of $ F$ has a mapping torus that splits over $ \mathbb Z$ if and merely if the (outer) automorphism fixes a [ * free splitting * ] { } of $ F$; in particular, mapping torus of irreducible and atoroidal automorphisms never split over   $ \mathbb Z$. 

 By work of Kapovich - Kleiner [ @KK00 ], word - hyperbolic free - by - cyclic groups that do not split over   $ \mathbb Z$ have Gromov boundary homeomorphic to a menger curve. Unfortunately, the topology of the boundary is not sufficient to detect irreducible and atoroidal monodromies as there are reducible and atoroidal automorphisms that do not fix a free splitting. 

 The Gromov boundary of a news - hyperbolic group can be given a [ * visual measured * ] { } that is alone up to [ * quasi - isotropy * ] { } and its quasi - symmetry class is a complete geometric invariant of the group, i.e., word - hyperbolic groups are quasi - isometric if and only their visual boundaries are quasi - symmetrical [ @P
 vajishing Euler characterirtic too and it is nonryclic aince thd only virtually cyclic torsmon-feee geoup is $\mathbb Z$, yet $H$ is not cjclic.

\[nongwomcinm\]Suppose $\'gi: F \to F$ and $\isi:F' \co F'$ are minimal injective endomorphisms sjck that $F *_\phi$ and $F' *_\psi$ are commensurwble. Thrn $\phi$ is irredusiblt agd aforoidal if and only if $\psi$ is irrsduciblt and atoroidal.

Finslly, we combine this theorfm wlth Corollary \[irredhorgrp\] to ggf:

\[irwwdgrp\]Suppose $\phi: F \to F$ and $\psi:F' \tk F'$ are minimal injective endomurphixms such tyar $F *_\khi \cong F' *_\pwi$. Thvn $\phi$ is irrccucibla if anc only if $\psi$ ls irceduxible.

Q.I.-Invariance Conoecture {#qi}
==========================

Very littlg is known ayout the geometry of napping torh whuwe oonkdcomjes arf icreducible znd atoroidql. Brinkmann proved trqt atoroidal zutomowprisms of free groups have word-hyperbolib malping tori [@Bri00] and gave an explicit descriptlon for wren such mapping tori have non-trivial splittings mver ryzlie subgfiuos [@Bri02]: an atoroidal automorphism of $F$ has a mwlponn torus that spllts over $\mathbb Z$ of amq only if the (outer) aufomorphism fixes a [*free sklittibg*]{} of $F$; ig patticular, mapping tori of ireeducible anb aroroidal automorphnsms never s'lit ofer $\mayhbb Z$.

By work of Kapovieh-Kleiher [@KK00], word-jyperbolid free-by-cyclic gruupx dhat do not split over $\mathfb Z$ have Grokov bouvdari homeoiorphic to a mekcer curve. Unfortunwtely, tve topologj of the boundary is not sufficmxnt to detect isregucible cnd atproidal monodwomies as therg are redbcible and atoropdal autokorphisms trat do not fif a free splivting.

The Dromiv biundary uf a word-hypernolic grolp can be given a [*visual mejrjc*]{} that is uniqbt uk ro [*quasi-symmetty*]{} xnd ins auwvi-symmetry cnass is s comolete gtjmctrkc imvariant of the grou[, i.e., word-hyperbolic grpuis are quqsi-isomeeric if and omly their visual blundacies ace quaxi-simmetric [@P
vanishing Euler characteristic too and it is the virtually cyclic group is $\mathbb cyclic. $\phi: F \to and $\psi:F' \to are minimal injective endomorphisms such that *_\phi$ and $F' *_\psi$ are commensurable. Then $\phi$ is irreducible and atoroidal if only if $\psi$ is irreducible and atoroidal. Finally, we combine this theorem with \[irredtorgrp\] get: $\phi: \to F$ and $\psi:F' \to F'$ are minimal injective endomorphisms such that $F *_\phi \cong F' Then $\phi$ is irreducible if and only if is irreducible. Q.I.-Invariance Conjecture ========================== Very little is known the of mapping whose are and atoroidal. Brinkmann that atoroidal automorphisms of free groups have word-hyperbolic mapping tori [@Bri00] and gave an explicit description for such mapping non-trivial splittings cyclic [@Bri02]: atoroidal automorphism of a mapping torus that splits over and only if the (outer) automorphism fixes a splitting*]{} of in particular, mapping tori of irreducible atoroidal automorphisms never split over $\mathbb Z$. By of Kapovich-Kleiner [@KK00], word-hyperbolic free-by-cyclic groups that do not split over $\mathbb Z$ have Gromov to a menger curve. the topology of boundary not to irreducible and monodromies as there are reducible and atoroidal automorphisms that do not a free splitting. The Gromov boundary of a word-hyperbolic group given [*visual metric*]{} that unique up to [*quasi-symmetry*]{} its class is a complete of group, are if only their visual boundaries quasi-symmetric [@P
 vanishing Euler characterisTic too and iT is noNcyCliC sInce The oNly virtually cyCLic tOrsion-free group is $\mathbB Z$, yet $h$ iS Not cYClIc.

\[nonGeomcomM\]suPPOse $\PhI: F \To F$ AnD $\PsI:F' \to F'$ Are Minimal Injective eNdoMoRphisms such tHAt $f *_\phi$ and $F' *_\psI$ arE commensurabLe. THen $\phi$ Is IrrEDucibLe aNd atoRoidal IF and onLy if $\psi$ is IrREducibLE and atoROIdAl.

FiNally, we combine thiS ThEOrem with CorollAry \[irrEdTOrGRP\] to Get:

\[Irredgrp\]SuPpOse $\phI: f \to F$ and $\PSi:f' \TO f'$ arE Minimal injectIve endomorpHIsmS such tHaT $F *_\pHI \cong F' *_\Psi$. ThEn $\PHi$ iS irreduciblE if aNd only if $\pSi$ is irREduciblE.

q.I.-InvarIance COnjEctUre {#qI}
==========================

veRy LitTlE Is kNOwN abOUt tHe geometRy Of MappiNg toRI WHOse mOnoDromIes arE irreducible aNd aToroIDal. brinkMann pRoveD tHat atOroidaL autoMoRphisms of free grOups Have word-hYpeRbOliC mAppinG Tori [@BrI00] anD gaVe an expLicit deSCriPtION FoR when such mapping toRi HAVe Non-triviAl spliTTiNgS Over cyclIc SubGrouPS [@bri02]: an AtorOIdAl automoRphism OF $F$ HaS a mappiNg Torus tHaT spLitS over $\MAthbB Z$ if anD only if tHe (outER) automorphism fIXes a [*free splitTInG*]{} OF $F$; IN parTicUlar, mapping Tori OF irrEducIBlE anD AtoroIdal aUtOMoRPhisms never split oveR $\mAthbb Z$.

by worK of Kapovich-KlEiner [@KK00], worD-HYPerbolic Free-BY-cYClic groups that Do not Split over $\mAThbb Z$ havE GromOv boundaRy homeomoRPHic to a meNgeR cuRve. unfORTuNately, the topoLOGy of ThE boundaRy iS not sufFicIenT to DetEcT irreduciBle and atOrOiDaL mOnoDromiES as there ArE reDuCibLe and AToroidAl autOmorPhIsMS thAt do not FIx A FRee sPlItTing.

the grOmov bOundARy oF a word-hYperbolic GroUP can Be GiVen a [*visUal metric*]{} that Is Unique up to [*QuAsi-SymmetRY*]{} And its quAsi-symmetry class is a compLEte geomEtrIc invAriaNt of the grOup, I.e., word-HypERbolic Groups Are quAsI-isOMEtric IF AnD onLy Their visuaL BOunDarieS aRe quAsi-symmEtric [@P
 vanishing Euler character istic tooand i t i s n on cycl ic s ince the onlyv irtu ally cyclic torsion-fr ee gr ou p  is$ \m athbb  Z$, ye t  $ H $  is  n ot  cy cl i c. 

\[n ong eomcomm \]Suppose$\p hi : F \to F$ a n d$\psi:F' \ toF'$ are mini mal  injec ti vee ndomo rph ismssuch t h at $F*_\phi$ a nd $F' *_ \ psi$ ar e co mmen surable. Then $\p h i$ is irreducible  and a to r oi d a l i f a nd only if  $ \psi$ is irre d uc i b l e a n d atoroidal.
Finally, w e  co mbineth ist heorem  with  C o rol lary \[irre dtor grp\] toget:
\ [irredg r p\]Supp ose $\ phi : F  \to F$  a nd$\ p si: F '\to F'$  are min im al  inje ctiv e e n domo rph isms  such  that $F *_\p hi\con g  F'  *_\p si$.Then  $ \phi$  is ir reduc ib le if and onlyif $ \psi$ isirr ed uci bl e.

Q . I.-Inv ari anc e Conje cture { # qi} 
= = = = == ================== == Ve ry littl e is k n ow na bout the  g eom etry o f map ping to ri whose  monod r om ie s are i rr educib le  an d a toroi d al.Brinkm ann prov ed th a t atoroidal au t omorphisms of fr e e  g r oups  ha ve word-hyp erbo l ic m appi n gtor i  [@Br i00]an d  g a ve an explicit desc ri ptionfor w hen such mapp ing tori h a v e  non-tri vial sp l ittings over c yclic  subgroups [@Bri02] : anatoroida l automor p h ism of $ F$has  amap p i ng  torus that s p l itsov er $\ma thb b Z$ if  an d o nly  if  t he (outer ) automo rp hi sm  f ixe s a [ * free spl it tin g* ]{}  of $ F $; inparti cula r,  m a ppi ng tori of i rred uc ib le a ndat oroid al a u tom orphism s never s pli t  ove r$\ mathbbZ$.

By workof  Kapovich- Kl ein er [@K K 0 0], word -hyperbolic free-by-cyc l ic grou psthatdo n ot splitove r $\ma thb b  Z$ ha ve Gro mov b ou nda r y  home o m or phi cto a menge r cur ve. U nf ortu nately,  the topology of t h e b oundary is no t s uffi c i en t t o  d e tec ti rre d u cible and atoro idal monod ro m ie s as there are  r educibl e and a toroi d al auto morphisms  that dono t fi x a f ree splitt ing.

Th e Gromovb ounda r yof awor d-hype rb oli c gro up can begiven  a [*v is ual me tric* ]{ } that i s unique up to [*quasi- symmet ry*]{ } a nd its qu asi - sym metry cla ss i s a comple tegeo metri c i n varia nt o f  t heg roup,  i.e . , word-hy p er bol i c  g roups are q u a s i-i somet ric if and  onl y their visual bo u ndaries are qu asi- s y mme tri c  [@P 
 vanishing_Euler characteristic_too and it is_noncyclic since_the_only virtually_cyclic_torsion-free group is_$\mathbb Z$, yet_$H$ is not cyclic.

\[nongeomcomm\]Suppose_$\phi: F \to_F$_and $\psi:F' \to F'$ are minimal injective endomorphisms such that $F *_\phi$ and $F'_*_\psi$_are commensurable._Then_$\phi$_is irreducible and atoroidal if_and only if $\psi$ is_irreducible and_atoroidal.

Finally, we combine this theorem with Corollary \[irredtorgrp\] to_get:

\[irredgrp\]Suppose_$\phi: F \to_F$ and $\psi:F' \to F'$ are minimal injective endomorphisms_such that $F *_\phi \cong F'_*_\psi$. Then $\phi$_is_irreducible_if and only if_$\psi$ is irreducible.

Q.I.-Invariance Conjecture {#qi}
==========================

Very little_is known about the geometry of_mapping tori whose monodromies are irreducible and_atoroidal. Brinkmann proved that atoroidal automorphisms_of free groups have word-hyperbolic_mapping tori_[@Bri00] and gave an explicit_description for when_such mapping_tori have non-trivial_splittings over cyclic subgroups [@Bri02]: an_atoroidal automorphism of_$F$ has a mapping torus that_splits_over $\mathbb Z$_if_and_only if_the (outer) automorphism_fixes_a [*free_splitting*]{}_of $F$; in particular, mapping tori_of_irreducible and atoroidal automorphisms never split over $\mathbb_Z$.

By work of Kapovich-Kleiner_[@KK00],_word-hyperbolic free-by-cyclic groups that_do not split over $\mathbb Z$_have Gromov boundary homeomorphic to a_menger curve._Unfortunately, the_topology of the boundary is not sufficient to detect irreducible and_atoroidal monodromies as there are reducible_and atoroidal automorphisms that_do not_fix_a free splitting.

The_Gromov_boundary of_a word-hyperbolic group can be given a_[*visual metric*]{}_that is unique up to [*quasi-symmetry*]{}_and its quasi-symmetry class_is_a complete geometric invariant of the_group, i.e., word-hyperbolic groups are quasi-isometric_if and only their visual_boundaries_are_quasi-symmetric [@P