Pith. sign in

REVIEW 3 major objections 4 minor 41 references

Some questions related to free-by-cyclic groups and tubular groups

T0 review · 3 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For free-by-cyclic groups with a one-vertex tubular presentation, the paper proves that being CAT(0) and being virtually special are the same property, and that cocompact cubulation is strictly stronger.

desk verdict Solid paper with a real but repairable flaw in the CAT(0) detection lemma; the main theorem survives a sign-error check. read the letter →

arxiv 2504.14192 v1 pith:CH6KPKCH submitted 2025-04-19 math.GR math.MG

Xiaolei Wu , Shengkui Ye This is my paper · ORCID
classification math.GRmath.MG MSC 20E2620E0620F65
keywords free-by-cyclicgroupstubularvirtuallyspecialCAT(0)cocompactcubulationproperty(VRC)cyclicsubgroupseparabilityRFRS
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Free-by-cyclic groups that are tubular — built by gluing one flat $\mathbb{Z}^2$ vertex to itself along cyclic subgroups — sit at the intersection of several open questions about CAT(0) geometry and cube complexes. The paper's central theorem states that for the one-vertex family $G(\{p_i,q_i\}) = F_n \rtimes_\varphi \mathbb{Z}$ with $a_i \mapsto a^{p_i} a_i a^{q_i}$, being CAT(0) is exactly the same as being virtually special, and both are decided by an integer condition: either every $p_i = -q_i$, or one index $s$ forces $q_i(q_i+p_s-q_s) = p_i(p_i-p_s+q_s)$ for all $i$. From there the paper shows that many of these CAT(0) groups still cannot virtually act freely and cocompactly on a CAT(0) cube complex, answering one of [33]'s questions negatively; that amalgams of free-by-cyclic groups along cyclic subgroups need not be virtually free-by-cyclic, answering a question of [23, Remark 3.6]; and that a classical rank-three free-by-cyclic example is cyclic-subgroup-separable but fails property (VRC), answering [34, Question 11.6]. If correct, these results draw a sharp line: CAT(0) geometry and virtual specialness coincide here, while cocompact cubulation asks for more.

What carries the argument

The load-bearing object is the one-vertex tubular group $G = \langle \mathbb{Z}^2, s_i \mid s_i v_i s_i^{-1} = w_i\rangle$, a multiple HNN extension with $\mathbb{Z}^2$ vertex stabilizer and cyclic edge groups. Two detectors drive the argument. For CAT(0): by the flat torus theorem and the gluing theorem of [10, Theorem II.11.18] (Lemma 2.3), $G$ is CAT(0) exactly when some $A \in \mathrm{GL}_2(\mathbb{R})$ equalizes the translation lengths $\lVert A v_i\rVert = \lVert A w_i\rVert$; writing coordinates in the basis $\{v_1,w_1\}$ reduces this to a common-angle cosine equation. For virtual specialness: choose the equitable set $S = \{w_1-v_1,\ w_1+v_1\}$; the determinant identities $\det[w_1\mp v_1, v_i] = \pm\det[w_1\mp v_1, w_i]$ make every immersed wall non-dilated, so the criterion of [41, Theorem 1.1] upgrades a free finite-dimensional cubulation to virtual specialness. A third component, the criterion of [12, Theorem 2.1], characterizes free-by-cyclic tubular groups by the condition that all differences $v_i-w_i$ lie on one line avoiding the $v_i$; this links the CAT(0) angle equations to the integer quadratic relation in Theorem 1.5.

What would settle it

Construct $G = \langle \mathbb{Z}^2, s_1, s_2 \mid s_1(1,0)s_1^{-1} = (0,1),\ s_2(2,1)s_2^{-1} = (1,-1)\rangle$. Taking $B_1 = (1,0)$ and $B_2 = (-1/2,\sqrt{3}/2)$ gives an invertible $A = [B_1\ B_2]$ with $\lVert A v_1\rVert = \lVert A w_1\rVert = 1$ and $\lVert A v_2\rVert = \lVert A w_2\rVert = \sqrt{3}$, so Lemma 2.3 makes $G$ CAT(0); yet Theorem 2.6's equation for $i=2$ reads $5 - 4\cos\varphi = 2 - 2\cos\varphi$, which has no solution in $(0,\pi)$. This contradicts Theorem 2.6 as stated, and checking the free-by-cyclic instances of Theorems 4.5 and 4.9 would show whether the sign issue can actually arise there.

Watch

Extended reading notes

Core claim

In the paper's own terms, the central discovery is an equivalence (Theorem 1.5). For $G = G(\{p_i,q_i\}) = F_n \rtimes_\varphi \mathbb{Z}$, the following are equivalent: $G$ is virtually special, $G$ is CAT(0), and the parameters satisfy either $p_i = -q_i$ for every $i$ or, for some $s$ with $p_s \neq -q_s$, the relation $q_i(q_i+p_s-q_s) = p_i(p_i-p_s+q_s)$ holds for every $i$. This is obtained from a broader result (Theorem 4.5): every free-by-cyclic tubular group with a single $\mathbb{Z}^2$ vertex that is CAT(0) is virtually special. The paper also establishes that the rank-3 examples $F_3 \rtimes_\Psi \mathbb{Z}$ with $b \mapsto a^m b a^m$ and $c \mapsto a^n c a^n$ are virtually special for all integers $m,n$, but virtually act freely and cocompactly on a CAT(0) cube complex only when $|m| = |n|$; that the classical rank-three example amalgamated with $\mathbb{Z}^2$ along a cyclic subgroup is a tubular group that is not virtually free-by-cyclic; and that this same classical example is cyclic-subgroup-separable but has no virtual retraction onto the cyclic subgroup $\langle a\rangle$.

Load-bearing premise

The load-bearing premise is that a single common angle $\varphi$ in Theorem 2.6's cosine equation really detects the existence of the norm-equalizing matrix $A$; as written, the identity it rests on only holds when every coordinate product is non-positive, and no argument in the paper removes that sign restriction.

Editorial extensions

If this is right

  • In the one-vertex tubular family, the answer to [8, Section 9: Question 1] is positive: every CAT(0) group in the family is virtually special, hence virtually embeds in a right-angled Artin group.
  • [33, Question 1] is answered negatively: virtual specialness of these CAT(0) free-by-cyclic groups does not imply a cocompact free action on a CAT(0) cube complex, with |m| ≠ |n| giving explicit counterexamples.
  • The class of virtually free-by-cyclic groups is not closed under amalgamation along cyclic subgroups: the classical rank-three example amalgamated with Z² (or with F₂ × Z) along ⟨a⟩ yields a non-virtually-free-by-cyclic tubular group.
  • Cyclic subgroup separability does not imply property (VRC): the classical rank-three example is cyclic subgroup separable but has no virtual retraction onto ⟨a⟩.
  • For tubular groups, 'free-by-cyclic' automatically means F_n-by-Z (Theorem 3.2), so the infinite-rank/finite-rank distinction collapses in this class.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The sign gap in Theorem 2.6 suggests that the CAT(0) criterion should be re-derived as the actual condition $(x_i^2 + y_i^2 - x_i'^2 - y_i'^2) + 2\cos\theta\,(x_i y_i - x_i' y_i') = 0$ with one angle $\theta$; redoing Lemma 4.4 and Theorem 4.9 under that correct equation would test whether the quadratic parameter relation survives unchanged.
  • Lemma 2.3's norm-equalization matrix is not special to $\mathbb{Z}^2$: the same flat-torus argument gives a CAT(0) criterion for one-vertex tubular groups over $\mathbb{Z}^n$, and one could ask whether Theorem 4.5's 'CAT(0) ⇒ virtually special' extends to that higher-rank setting.
  • The non-virtually-free-by-cyclic amalgam in Example 5.20 has vanishing $\ell^2$-Betti numbers and is locally indicable, so it is a natural test case for whether the 'virtually free-by-cyclic' fibring criteria can be relaxed at all.
  • The equivalence of CAT(0) and virtual specialness for one-vertex tubular groups, if it survives the sign fix, is a test bed for Question 7.3: one could check whether all finitely generated subgroups of these groups are again CAT(0), which would close the loop on virtual RFRS.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies tubular groups that are free-by-cyclic, with three main threads. First, it gives algebraic criteria for when a one-vertex tubular group is CAT(0), free-by-cyclic, and virtually special, and uses them to prove that a CAT(0) free-by-cyclic tubular group with one vertex is virtually special (Theorem 1.7). For the family G({p_i,q_i}) = F_n ⋊_φ Z it obtains a precise trichotomy: CAT(0), virtual specialness, and two explicit integer conditions are equivalent, while cocompact cubulation is strictly rarer (Theorems 1.4 and 1.5). Second, it constructs amalgams of free-by-cyclic groups along cyclic subgroups that are not virtually free-by-cyclic, answering a question of Hagen--Wise negatively. Third, it shows that the Gersten group is cyclic-subgroup-separable but fails property (VRC), answering a question of Minasyan. The main technical engine is a criterion, Theorem 2.6, for CAT(0)-ness of multiple HNN extensions of Z^2.

Significance. If the main theorems hold, the paper is valuable: it supplies explicit, checkable algebraic conditions for a natural family of one-vertex tubular groups, proves a clean dichotomy between virtual specialness and cocompact cubulation, and gives negative answers to three published questions. The proofs are largely concrete and use established external criteria (Button, Wise, Woodhouse, Bridson--Haefliger, Minasyan) rather than opaque or circular arguments. The family G({p_i,q_i}) is a useful testing ground for the relationship among CAT(0), RFRS, virtual specialness, and cocompact cubulation. The paper also contains several instructive counterexamples, including the non-(VRC) cyclic-subgroup-separable example.

major comments (3)
  1. [Theorem 2.6 / Theorem 2.1(1)] The stated iff in Theorem 2.6 is false as written because the law of cosines is absolutized incorrectly. For vectors B1, B2 of equal length with angle φ, the exact identity is ∥xB1 + yB2∥^2 = L^2(x^2 + y^2 + 2xy cos φ), not L^2(|x|^2 + |y|^2 - 2|xy| cos φ); the latter holds only when xy ≤ 0, and one common φ cannot absorb mixed signs across different i. A concrete counterexample is v1=(1,0), w1=(0,1), v2=(2,5), w2=(3,-3). With B1=(1,0) and B2=(-11/38, √(1-(11/38)^2)), one has ∥B1∥=∥B2∥=1 and ∥2B1+5B2∥^2 = ∥3B1-3B2∥^2 = 441/19, so Lemma 2.3 gives a CAT(0) group, but the paper's equation for i=2 becomes 29-20cos φ = 18-18cos φ, forcing cos φ = 11/2, impossible. The correct equation is 29+20cos φ = 18-18cos φ, solved by cos φ = -11/38. Since Lemma 4.4 and Theorem 4.9 invoke Theorem 2.6 directly, the proof chain for Theorems 1.5 and 1.7 is not valid as written. The applications appear repairable: in the G({p_i,q_i}) coordinates the exact equation reduces to a nonzero factor times (1-cos φ)=0, so the stated integer conditions survive. The authors should replace Theorem 2.6 by a correct sign-aware statement, e.g. an existential condition over B1,B2 using the exact quadratic form, and rerun the affected arguments.
  2. [Lemma 4.4 and Theorem 4.9] The proof of Lemma 4.4 as printed mixes the exact left-hand side with the absolutized right-hand side supplied by Theorem 2.6. With the correct law of cosines, after using Eq1, the equality becomes approximately Δ(1-cos φ)=0 (up to the sign of k1k2), which still forces a_i b_i = c_i d_i because φ∈(0,π). Thus the conclusion is correct, but the current proof is not a proof as written. Theorem 4.9 has the same dependency: its displayed equivalence uses the absolutized formula, and although the final integer condition is correct in this family, the derivation must be redone with the exact quadratic form. I consider this a repairable gap rather than a fatal one, but it is load-bearing for the main equivalence and must be fixed before publication.
  3. [Example 5.6] Example 5.6 is not a valid demonstration that condition (2) of Theorem 5.1 is insufficient. The group G1 = ⟨a,s | s a s^{-1} = a^{-1}⟩ is not free-by-cyclic: in any homomorphism to Z, the relation forces 2φ(a)=0, hence φ(a)=0, so no homomorphism is nonzero on the edge group ⟨a⟩. Thus Theorem 5.1, which assumes free-by-cyclic factors, does not apply. Moreover, the text says that a commutes with every element of ⟨s^2,t⟩ and then claims that a and [s^2,t] generate a free subgroup; if a commutes with both s^2 and t, it commutes with their commutator, so a and [s^2,t] generate an abelian group, not a free group. The subsequent sentence about φ(a)=1 and φ([s^2,t])=1 also cannot establish that the kernel is non-free in the way stated. This example should be removed or replaced with a correct one; it is not used in the proof of the main negative answer in Example 5.19/5.20.
minor comments (4)
  1. [Theorem 5.1 proof] In the first case of the proof, 'after passing to a finite index subgroup of Z' is imprecise; the argument should explicitly pass to the preimage of mZ in G1 or replace the stable letter by a suitable power.
  2. [Corollary 4.8] The phrase 'virtually non-cocompact special group' is awkward and potentially confusing; it should be rephrased as 'virtually special but not virtually cocompactly cubulated' or similar.
  3. [Section 7] The first sentence contains a typo: 'RFRF' should be 'RFRS'.
  4. [Example 5.6] If G1 is intended to be the infinite dihedral group, the presentation is missing the relation s^2=1; as written s has infinite order.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the derivation chain is self-contained and relies on external criteria with explicit computations.

full rationale

Walked the claimed derivation chain. The main equivalences (Theorem 1.5, Theorem 1.7) are derived from Lemma 2.3 and Theorem 2.6 as CAT(0) criteria, from Button's criterion for free-by-cyclic groups (Theorem 3.1), and from Woodhouse's virtual-specialness criterion ([41, Theorem 1.1]) via explicit determinant and intersection-number computations (Theorem 4.2, Lemma 4.4, Theorem 4.5). No equation is equivalent to its input by construction: the CAT(0) norm equalities are not defined in terms of virtual specialness, and the arithmetic conditions in Theorem 4.9 are derived, not fitted parameters. There are no self-citations, and no uniqueness theorem is imported from the authors' own prior work. The possibly flawed use of absolute values in the law of cosines in Theorem 2.6 is a mathematical-correctness gap, not a circularity: it does not rename an input as a prediction or reduce a derived claim to its own assumption.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters are fitted and no entities are invented: the integer parameters p_i, q_i, m, n are the inputs of the families under study, not constants chosen to make the theorems work. The central claims rest entirely on cited external theorems (Button 12, Wise 38, Woodhouse 40/41, Minasyan 34, Bridson-Haefliger 10) plus the paper's own finite computations, which is the normal evidentiary standard for this field.

assumptions (7)
  • standard math Bridson-Haefliger flat torus theorem and CAT(0) combination theorem [10, Thm II.7.1, II.11.18], used in Lemma 2.3 and Lemma 5.18.
    Underlies Lemma 2.3's claim that CAT(0)-ness of the multiple HNN extension is equivalent to existence of A ∈ GL_n(R) with ∥Av_i∥ = ∥Aw_i∥, and Lemma 5.17/5.18's Euclidean-space action for virtual retractions; this is the geometric premise that converts conjugation relations into equal-length conditions.
  • standard math Button's criterion [12, Theorem 2.1]: a tubular group is free-by-cyclic iff some homomorphism to Z is nonzero on every edge group.
    Used in Theorem 3.1 to turn free-by-cyclicity into the linear algebra condition that v_i - w_i lie in a common line avoiding all v_i, and again in Example 5.20.
  • standard math Wise's tubular-group criteria [38, Lemma 4.4, Corollaries 5.9 and 5.10, Remark 3.6].
    Provides virtually special implies CAT(0), the one-or-two parallelism class criterion for free cocompact cubulation, and compact cubulation implies virtually compact special; used in Corollaries 4.6, 4.10, Lemma 4.7, and Example 4.11.
  • standard math Woodhouse's theorems [40, Theorem 1.2] and [41, Theorem 1.1]: tubular groups are virtually special iff they act freely on a finite-dimensional CAT(0) cube complex, with finite-dimensionality equivalent to non-dilated immersed walls.
    The bridge from the equitable-set computations in Section 4 to virtual specialness; the entire proof of Theorem 4.2 and Theorem 4.5 rests on it.
  • standard math Minasyan [34, Theorem 1.4, Lemma 2.3, Lemma 3.4] and Hsu-Wise [26, Lemma 3.9] on virtual retracts and separability.
    Converts a retractor in a finite-index subgroup into a virtual retractor (Examples 5.19, 5.20) and supports Lemma 5.13 and Theorem 6.1.
  • standard math Lück [32], Linnell [30], Gardam-Kielak-Logan [18, Proposition 2.3], Chatterji-Hughes-Kropholler [15, Theorem 1.5] for L²-Betti numbers of mapping tori and graphs of groups.
    Justifies Theorem 3.2 (tubular free-by-cyclic groups are F_n-by-Z) and Corollary 5.7's Betti-number splitting.
  • standard math Cyclic subgroup separability facts for free groups (Burillo-Martino [11], Hughes-Kudlinska [27, Proposition 2.7]) used in Theorem 6.1 and Corollary 6.2.
    Example 6.3's conclusion that the Gersten group is cyclic subgroup separable depends on this external background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Some questions related to free-by-cyclic groups and tubular groups." pith.science (2026). https://pith.science/paper/CH6KPKCH

@misc{pith2026250414192,
  author       = {Pith},
  title        = {Pith review of: Some questions related to free-by-cyclic groups and tubular groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CH6KPKCH}},
  note         = {Machine review of arXiv:2504.14192}
}
read the original abstract

We prove that a CAT(0) free-by-cyclic tubular group with one vertex is virtually special, but many of them cannot virtually act freely and cocompactly on CAT(0) cube complexes. This partially confirms a question of Brady--Soroko \cite[Section 9: Question 1]{BS} and answers a question of Lyman \cite[Question 1]{Ly} in the negative. Furthermore, we provide examples of free-by-cyclic groups amalgamated along cyclic subgroups that are not virtually free-by-cyclic. This answers negatively a question of Hagen--Wise \cite[Remark 3.6]{hw}. Lastly, we exhibit an example of a cyclic-subgroup-separable tubular group that does not have the property (VRC) (i.e. every cyclic subgroup is a virtual retract). This answers a question of Minasyan \cite[Question 11.6]{min} in the negative.

Figures

Figures reproduced from arXiv: 2504.14192 by the authors.

Figure 1
Figure 1. Immersed walls the two elements. For each stable letter si , denote by s − i , s+ i the two curves in the vertex space represented by vi , wi . The intersection numbers are (assuming i ≥ 2) #[z1, s− 1 ] = | det[w1 − v1, v1]| = | det[w1, v1]| = | det[w1 − v1, w1] = #[z1, s+ 1 ], #[z2, s− 1 ] = | det[w1 + v1, v1]| = | det[w1, v1]| = | det[w1 + v1, w1] = #[z2, s+ 1 ], #[z1, s− i ] = | det[w1 − v1, vi ]| = | det[w1 − v1… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 38 canonical work pages

  1. [1]

    AimPL: Rigidity properties of free-by-cyclic groups, available athttp://aimpl.org/freebycyclic

    work page

  2. [2]

    Agol, The virtual Haken conjecture, Doc

    I. Agol, The virtual Haken conjecture, Doc. Math. 18 (2013), 1045–1087

    work page 2013

  3. [3]

    Agol, Criteria for virtual fibering, J

    I. Agol, Criteria for virtual fibering, J. Topol. 1 (2008), no. 2, 269–284

    work page 2008

  4. [4]

    Agol, Virtual properties of 3-manifolds

    I. Agol, Virtual properties of 3-manifolds. Proceedings of the International Congress of Mathemati- cians—Seoul 2014. Vol. 1, 141–170, Kyung Moon Sa, Seoul, 2014

    work page 2014

  5. [5]

    Baumslag

    G. Baumslag. A non-cyclic, locally free, free-by-cyclic group all of whose finite factor groups are cyclic. Bull. Austral. Math. Soc. 6:313–314, 1972

    work page 1972

  6. [6]

    Baumslag, B

    G. Baumslag, B. Fine, C. F. Miller, III, and D. Troeger, Virtual properties of cyclically pinched one-relator groups. Internat. J. Algebra Comput. 19 (2009), 213-227

    work page 2009

  7. [7]

    Baumslag, B

    G. Baumslag, B. Fine, and G. Rosenberger, One-relator groups: an overview, Groups St Andrews 2017 in Birmingham, London Math. Soc. Lecture Note Ser., vol. 455, Cambridge Univ. Press, Cambridge, 2019, pp. 119–157

    work page 2017

  8. [8]

    Brady and I

    N. Brady and I. Soroko. Dehn functions of subgroups of right-angled Artin groups. Geom. Dedicata, 200:197–239, 2019

    work page 2019

Show all 41 references
  1. [9]

    M. R. Bridson. Problems concerning hyperbolic and CAT(0) groups. Available at https://docs. google.com/file/d/0B-tup63120-GVVZqNFlTcEJmMmc/edit

  2. [10]

    M. R. Bridson and A. Haefliger, Metric spaces of nonpositive curvature, Grundlehren der Math. Wiss. 319, Springer-Verlag, Berlin, 1999

    1999

  3. [11]

    Burillo, A

    J. Burillo, A. Martino, Quasi-potency and cyclic subgroup separability. J. Algebra 298 (2006), no. 1, 188–207. SOME QUESTIONS RELATED TO FREE-BY-CYCLIC GROUPS AND TUBULAR GROUPS 23

    2006

  4. [12]

    J. O. Button, Tubular Free by Cyclic Groups Act Freely on CAT(0) Cube Complexes, Canad. Math. Bull. Vol. 60 (1), 2017 pp. 54–62

    2017

  5. [13]

    J. O. Button, Tubular groups, 1-relator groups and nonpositive curvature, Internat. J. Algebra Comput. 29 (2019), no. 8, 1367–1381

    2019

  6. [14]

    J. O. Button and R. P. Kropholler. Nonhyperbolic free-by-cyclic and one-relator groups. New York J. Math., 22: 755–774, 2016

    2016

  7. [15]

    Chatterji, S

    I. Chatterji, S. Hughes, P. Kropholler. The first ℓ2-Betti number and groups acting on trees, Proc. Edinb. Math. Soc. (2) 64 (2021), no. 4, 916-923

    2021

  8. [16]

    H. K. Chong, D. T. Wise, Embedding Partial HNN Extensions In Ascending HNN Extensions, preprint 2024, arXiv:2408.00453

    2024 arXiv

  9. [17]

    Drutu and M

    C. Drutu and M. Sapir. Non-linear residually finite groups, Journal of Algebra 284 (2005), no. 1, 174–178

    2005

  10. [18]

    Gardam, D

    G. Gardam, D. Kielak, and A. D. Logan. The surface group conjectures for groups with two gener- ators. Math. Res. Lett., 30(1):109–123, 2023

    2023

  11. [19]

    S. M. Gersten. The automorphism group of a free group is not a CAT(0) group. Proc. Amer. Math. Soc., 121(4):999–1002, 1994

    1994

  12. [20]

    E. A. Gorin and V. Ja. Lin. Algebraic equations with continuous coefficients and some problems of the algebraic theory of braids. Mat. Sbornik., 78 (120)(4):569–596, 1969

    1969

  13. [21]

    Fisher, Improved algebraic fibrings

    S. Fisher, Improved algebraic fibrings. Compos. Math. 160, no. 9 (2021) 2203 - 2227

    2021

  14. [22]

    Fisher, On the cohomological dimension of kernels of maps to Z, preprint 2024 arXiv:2403.18758

    S. Fisher, On the cohomological dimension of kernels of maps to Z, preprint 2024 arXiv:2403.18758

    2024

  15. [23]

    Hagen and D

    M. Hagen and D. T. Wise, Special groups with an elementary hierarchy are virtually free-by- Z, Groups Geom. Dyn. 4 (2010), no. 3, 597–603

    2010

  16. [24]

    Hagen and D

    M. Hagen and D. T. Wise. Cubulating hyperbolic free-by-cyclic groups: the general case. Geom. Funct. Anal., 25(1):134–179, 2015

    2015

  17. [25]

    Hagen and D

    M. Hagen and D. T. Wise. Cubulating hyperbolic free-by-cyclic groups: the irreducible case. Duke Math. J., 165(9):1753–1813, 2016

    2016

  18. [26]

    Hsu, D.T

    T. Hsu, D.T. Wise, On linear and residual properties of graph products. Michigan Math. J. 46 (1999), no. 2, 251-259

    1999

  19. [27]

    Hughes and M

    S. Hughes and M. Kudlinska, On profinite rigidity amongst free-by-cyclic groups I: the generic case, arXiv:2303.16834

  20. [28]

    Kielak, M

    D. Kielak, M. Linton, Virtually free-by-cyclic groups. Geom. Funct. Anal. 34 (2024), no. 5, 1580–1608

    2024

  21. [29]

    Liu, Virtual cubulation of nonpositively curved graph manifolds, J

    Y. Liu, Virtual cubulation of nonpositively curved graph manifolds, J. Topol. 6 (2013), no. 4, 793–822

    2013

  22. [30]

    P. A. Linnell, Division rings and group von Neumann algebras, Forum Math. 5 (1993), no. 6, 561–576

    1993

  23. [31]

    D. D. Long, A.W. Reid, Subgroup separability and virtual retractions of groups. Topology 47 (2008), no. 3, 137–159

    2008

  24. [32]

    L¨ uck, L2-Betti numbers of mapping tori and groups

    W. L¨ uck, L2-Betti numbers of mapping tori and groups. Topology 33, 203-214 (1994)

    1994

  25. [33]

    R. A. Lyman, Some New CAT(0) Free-by-Cyclic Groups, Michigan Mathematical Journal, 73 (2023)

    2023

  26. [34]

    Minasyan, Virtual retraction properties in groups, Int

    A. Minasyan, Virtual retraction properties in groups, Int. Math. Res. Not. IMRN 2021 (2021), 13434–13477

    2021

  27. [35]

    Munro and H

    Z. Munro and H. Petyt, Coarse obstructions to cocompact cubulation, arXiv:2407.09275

    arXiv

  28. [36]

    Samuelson, On CAT(0) structures for free-by-cyclic groups

    P. Samuelson, On CAT(0) structures for free-by-cyclic groups. Topology Appl., 153(15):2823–2833, 2006

    2006

  29. [37]

    D. T. Wise, From Riches to Raags: 3-Manifolds, Right-Angled Artin Groups, and Cubical Geom- etry, CBMS Regional Conference Series in Mathematics No. 117, American Mathematical Society, Providence, RI, 2012

    2012

  30. [38]

    D. T. Wise, Cubular tubular groups. Transactions of the American Mathematical Society, 366(10):5503–5521, 2014

    2014

  31. [39]

    Wise, An invitation to coherent groups

    D.T. Wise, An invitation to coherent groups. What’s next?—the mathematical legacy of William P. Thurston, 326–414. Ann. of Math. Stud., 205 Princeton University Press, Princeton, NJ, 2020

    2020

  32. [40]

    Woodhouse, Classifying finite dimensional cubulations of tubular groups

    D. Woodhouse, Classifying finite dimensional cubulations of tubular groups. Michigan Math. J. 65 (2016), no. 3, 511–532

    2016

  33. [41]

    D. J. Woodhouse. Classifying virtually special tubular groups. Groups Geom. Dyn., 12(2):679–702, 2018. 24 XIAOLEI WU AND SHENGKUI YE Shanghai Center for Mathematical Sciences, Jiangwan Campus, Fudan University, No.2005 Songhu Road, Shanghai, 200438, P.R. China Email address : ...

    2018

Pith tools

Reviewed August 16, 2026 · model on record in the stance chip above.