Groups admitting Wirtinger presentations and Gromov hyperbolic groups

Toshiyuki Akita

REVIEW 2 major objections 2 minor 14 references

Groups admitting Wirtinger presentations and Gromov hyperbolic groups

T0 review · 2 major / 2 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read A group with a twisted Wirtinger presentation that is Gromov hyperbolic must have trivial second rational homology, and if torsion-free, trivial second integral homology.

desk verdict The main obstruction is clean and likely correct, but Theorem 2 overstates Kuz'min (Z^4 is a counterexample); the proof needs the generation form to go through. read the letter →

arxiv 2506.07143 v3 pith:ZBSOUFIO submitted 2025-06-08 math.GR math.GT

Toshiyuki Akita This is my paper

classification math.GRmath.GT MSC 20F0520F6720J0620F65

keywords twistedWirtingerpresentationGromovhyperbolicgrouphomologysecondPontryaginproductCoxetergroups

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

Twisted Wirtinger presentations generalize the classical Wirtinger presentations of knot and link groups: each relation rewrites a conjugate of one generator as another generator or its inverse. The paper proves that a finitely generated group admitting such a presentation cannot be Gromov hyperbolic unless its second rational homology $H_2(G;\mathbb{Q})$ is zero, and the second integral homology $H_2(G;\mathbb{Z})$ is also zero when the group is torsion-free. The real engine is a stronger statement: any twisted Wirtinger group with no subgroup isomorphic to $\mathbb{Z}\times\mathbb{Z}$ already has $H_2(G;\mathbb{Q})=0$. Because hyperbolic groups never contain $\mathbb{Z}\times\mathbb{Z}$, the hyperbolic corollary drops out in one line. The proof is short and purely homological, quoting a characterization of twisted Wirtinger groups in terms of Pontryagin products.

What carries the argument

The Pontryagin product $g\wedge h=[g\mid h]-[h\mid g]\in H_2(G)$ of commuting elements $g,h$ is the central object; it is the image of the generator of $H_2(\mathbb{Z}\times\mathbb{Z})$ under the homomorphism $(1,0)\mapsto g$, $(0,1)\mapsto h$. A theorem quoted from [11] says that in every twisted Wirtinger group, every element of $H_2(G)$ equals one of these products. The proof then factors any such map through its image $A$, an abelian group generated by two elements; the no-$\mathbb{Z}\times\mathbb{Z}$ hypothesis forces $A$ to have rank at most one, so $H_2(A;\mathbb{Q})=0$ (and $H_2(A;\mathbb{Z})=0$ when $G$ is torsion-free). Naturality of the Pontryagin product pushes this vanishing back to $G$.

What would settle it

Exhibit a group $G$ admitting a twisted Wirtinger presentation that contains no subgroup isomorphic to $\mathbb{Z}\times\mathbb{Z}$ but has $H_2(G;\mathbb{Q})\neq 0$, or equivalently a twisted Wirtinger group with a class in $H_2(G;\mathbb{Z})$ that is not of the form $g\wedge h$ for commuting $g,h$. Computing $H_2(G;\mathbb{Q})$ for a hyperbolic Coxeter group, which admits such presentations, is one concrete place to look.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: if a group $G$ admits a twisted Wirtinger presentation and contains no subgroup isomorphic to $\mathbb{Z}\times\mathbb{Z}$, then $H_2(G;\mathbb{Q})=0$, and if $G$ is also torsion-free then $H_2(G;\mathbb{Z})=0$. The corollary for Gromov hyperbolic groups follows from the standard fact—cited to [2] and [5]—that hyperbolic groups contain no $\mathbb{Z}\times\mathbb{Z}$. The proof works by taking any second homology class, writing it as a Pontryagin product $g\wedge h$ of commuting elements (possible by [11] for twisted Wirtinger groups), and then observing that the homomorphism $\mathbb{Z}\times\mathbb{Z}\to G$ sending $(1,0)$ to $g$ and $(0,1)$ to $h$ factors through an abelian group of rank at most one, whose second homology vanishes over $\mathbb{Q}$ (and over $\mathbb{Z}$ in the torsion-free case).

Load-bearing premise

The proof rests on the quoted theorem of [11] that in every group with a twisted Wirtinger presentation, every second homology class is a Pontryagin product $g\wedge h$ of commuting elements; if that theorem is not exactly true for all such groups, the vanishing conclusion has no basis.

Editorial extensions

If this is right

Any finitely generated Gromov hyperbolic group admitting a twisted Wirtinger presentation has $H_2(G;\mathbb{Q})=0$.
If such a hyperbolic group is torsion-free, $H_2(G;\mathbb{Z})=0$ as well.
Every twisted Wirtinger group with no $\mathbb{Z}\times\mathbb{Z}$ subgroup is rationally 2-acyclic, regardless of hyperbolicity.
A hyperbolic group with nonzero second rational Betti number—for example many surface groups—cannot admit a twisted Wirtinger presentation.

Reading between the lines

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

The no-$\mathbb{Z}\times\mathbb{Z}$ assumption is much weaker than hyperbolicity, so a plausible broader reading is that twisted Wirtinger groups are rationally 2-acyclic whenever their abelian subgroups are all of rank at most one; the paper does not state this generalization.
A direct consistency check: since Coxeter groups admit twisted Wirtinger presentations, the corollary predicts $H_2(G;\mathbb{Q})=0$ for every hyperbolic Coxeter group; comparing with known computations of Coxeter group homology would test the quoted theorem from [11].
If the theorem is right, then for torsion-free twisted Wirtinger groups $H_2(G;\mathbb{Z})=0$ forces $H_2(G;k)=0$ for every field $k$ by the universal coefficient theorem, so the torsion-free case kills all characteristic homology at once.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Quick read for you on Akita's note. The main result is likely right and worth having: a twisted Wirtinger group with no Z×Z subgroup has vanishing rational H_2, and with torsion-freeness the integral H_2 vanishes. That is a clean hyperbolic obstruction, and the corollary follows immediately from the standard no-Z×Z fact. The idea is the right one, and I doubt this exact statement is in the earlier literature; it is a legitimate new application of Kuz'min's characterization, not a deep new theorem.

The soft spot is the way Kuz'min's theorem is quoted. Theorem 2 says every class in H_2(G) is a single Pontryagin product g∧h of commuting elements. That is false. Z^4 admits a Wirtinger presentation and H_2(Z^4) ≅ Λ^2 Z^4; the class e1∧e2 + e3∧e4 is indecomposable, so no pair g,h produces it. The proof only needs the weaker generation statement—H_2(G) is generated by such products—and that is presumably what Kuz'min actually proved. With generation, the argument is sound: under the no-Z×Z hypothesis each generator vanishes rationally, and torsion-freeness kills the generators integrally. The phrase 'rational multiple' should be 'rational linear combination'; this is the exact spot where the over-statement enters. Also worth a fix: give a precise proposition number from Kuz'min's 1996 paper, since as written the claim is unverifiable without digging through the source. The self-citation to [1] is benign—standard Pontryagin product properties only.

So: the paper needs a revision, not a rejection. The changes are small but necessary, and the central claim almost certainly survives. This is a short note for geometric group theorists and people working on Wirtinger and C-groups; useful, not a landmark. I would not cite it in its present form, but I would cite the corrected version.

Recommendation: send it to a serious referee; accept after minor revision.

Referee Report

2 major / 2 minor

Summary. The paper proves a homological obstruction to Gromov hyperbolicity for groups admitting twisted Wirtinger presentations. The main result, Theorem 1, states that if such a group G contains no subgroup isomorphic to Z×Z, then H_2(G;Q)=0, and if G is additionally torsion-free, then H_2(G;Z)=0. The proof combines the fact that every Pontryagin product g∧h vanishes under the no-Z×Z hypothesis with a quoted theorem of Kuz'min asserting that all second homology classes of twisted Wirtinger groups arise as Pontryagin products. The corollary then follows from the standard fact that hyperbolic groups contain no Z×Z subgroups.

Significance. If the argument is made fully rigorous, the result gives a clean and broadly applicable obstruction: many classes of groups, including Coxeter groups, twisted Artin groups, and cactus groups, become subject to a simple second-homology vanishing test for hyperbolicity. The paper is short, reads well, and correctly identifies the key external ingredient, Kuz'min's characterization of non-orientable C-groups. The main proof is elementary once the external theorem is granted, and the paper gives useful context by contrasting with constructions of Wirtinger groups with arbitrary finitely generated abelian second homology.

major comments (2)

[Section 2, Theorem 2] Theorem 2 is false as stated. The group Z^4 admits a Wirtinger presentation <x1,x2,x3,x4 | x_j^{-1} x_i x_j = x_i (i<j)>, and under the standard identification H_2(Z^4;Z) ≅ Λ^2 Z^4, the Pontryagin product g∧h corresponds to the wedge g_ab ∧ h_ab. The class e1∧e2+e3∧e4 is a nonzero element of Λ^2 Z^4 but is indecomposable, so it cannot equal g∧h for any commuting pair g,h. Thus the assertion that every integral homology class is a single Pontryagin product is not a consequence of Kuz'min's theorem. The proof of Theorem 1 uses exactly this false statement when it claims that every element of H_2(G;Q) is a rational multiple of one class g∧h.
[Section 2, proof of Theorem 1] The proof is repairable, because the vanishing argument only needs the generation form of Kuz'min's theorem, namely that H_2(G) is generated by Pontryagin products g∧h with g,h commuting. With generation, the conclusion follows immediately: each generator g∧h vanishes under the no-Z×Z hypothesis, hence the whole group H_2(G;Q) is zero, and in the torsion-free case the integral version follows as well. The manuscript should therefore replace Theorem 2 with the accurate generation statement and quote the precise proposition number from [11] rather than merely saying it is 'a consequence' of Kuz'min's result.

minor comments (2)

[Section 2, proof of Theorem 1] The phrase 'rational multiple' in the sentence 'every element of H_2(G;Q) = H_2(G)⊗Q is a rational multiple of an element of the form g∧h' should read 'finite rational linear combination'; the stated singular form is incorrect even under the corrected generation formulation.
[Introduction, examples] It may help the reader to state explicitly that the presence of a Z×Z subgroup is not only sufficient but also necessary for the failure of the obstruction, as demonstrated by Z^2 itself, which admits a Wirtinger presentation and has H_2(Z^2) ≅ Z.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is derived from an external result of Kuz'min, not from the paper's own assumptions or prior work.

full rationale

The derivation chain of Theorem 1 is self-contained relative to its cited sources, and the only author-cited item is not load-bearing. The proof has two ingredients: (i) the hypothesis that G has no Z×Z subgroup forces the image A of every homomorphism Z×Z→G to have H2(A;Q)=0 (or H2(A)=0 in the torsion-free case), so by naturality of the Pontryagin product every class g∧h vanishes; and (ii) Theorem 2, quoted from Kuz'min [11], asserts that every class in H2(G) is a Pontryagin product g∧h of commuting elements. The latter is an external mathematical result, not a result derived earlier by the author, so the central vanishing conclusion is not an input disguised as a prediction. The author's own reference [1] is cited only for standard properties of the Pontryagin product, and the specific naturality identity (⋆) used in the proof is proved directly in the paper, not imported as a black box. No fitted parameter is renamed as a prediction, no uniqueness theorem from the author's prior work is invoked to force a choice, and no ansatz is smuggled in through self-citation. A separate concern—that Theorem 2 as stated may be too strong, since H2(Z^4) contains an indecomposable class—is a correctness or accuracy issue about the quoted external theorem, not a circularity issue: the paper's claimed derivation is from that theorem rather than equivalent to its own inputs by construction. Accordingly, the circularity score is 0.

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

No free parameters or invented entities are introduced. The central claim rests on Kuz'min's external characterization plus standard group homology facts. The ledger is therefore short and contains no fitted constants or postulated objects.

assumptions (4)

domain assumption Kuz'min's theorem: for any group G with a twisted Wirtinger presentation and any u in H_2(G), there are commuting g,h with u = g∧h.
Quoted as Theorem 2 from reference [11] without proof; all subsequent vanishing arguments use this fact.
standard math Universal coefficients: H_2(G;Q) is isomorphic to H_2(G) tensor Q.
Used to pass from integral Pontryagin products to rational homology classes.
standard math For abelian groups of rank at most one, H_2(A;Q)=0; for the trivial group and Z, H_2(A;Z)=0.
Used to kill the image of the map from H_2(Z×Z) when factoring through the abelian image A.
domain assumption Gromov hyperbolic groups contain no subgroup isomorphic to Z×Z.
Standard theorem in hyperbolic group theory, cited to references [2,5]; bridges Theorem 1 to the corollary.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Groups admitting Wirtinger presentations and Gromov hyperbolic groups." pith.science (2026). https://pith.science/paper/ZBSOUFIO

@misc{pith2026250607143,
  author       = {Pith},
  title        = {Pith review of: Groups admitting Wirtinger presentations and Gromov hyperbolic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZBSOUFIO}},
  note         = {Machine review of arXiv:2506.07143}
}

read the original abstract

Twisted Wirtinger presentations are generalizations of the classical Wirtinger presentations of knot and link groups. In this paper, we prove that if a finitely generated group admitting a twisted Wirtinger presentation is Gromov hyperbolic, then its second rational homology group vanishes. Moreover, if the group is torsion-free, then its second integral homology group also vanishes.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 10 canonical work pages

[1]

The second integral homology of even Artin groups

Toshiyuki Akita,The second integral homology of even Artin groups(2025), to appear in Kyushu J. Math., available athttps://arxiv.org/abs/2507.04577

work page Pith review arXiv 2025
[11]

Yu. V . Kuz′min,Groups of knotted compact surfaces, and central extensions, Mat. Sb.187 (1996), no. 2, 81–102, DOI 10.1070/SM1996v187n02ABEH000110 (Russian, with Russian summary); English transl., Sb. Math.187(1996), no. 2, 237–257. MR1392843

work page doi:10.1070/sm1996v187n02abeh000110 1996
[2]

Bridson and Andr ´e Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and Andr ´e Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR1744486

work page 1999
[3]

Brown,Cohomology of groups, Graduate Texts in Mathematics, vol

Kenneth S. Brown,Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer- Verlag, New York-Berlin, 1982. MR672956

1982
[4]

Davis,The geometry and topology of Coxeter groups, London Mathematical Soci- ety Monographs Series, vol

Michael W. Davis,The geometry and topology of Coxeter groups, London Mathematical Soci- ety Monographs Series, vol. 32, Princeton University Press, Princeton, NJ, 2008. MR2360474

work page 2008
[5]

Ghys and P

´E. Ghys and P. de la Harpe (eds.),Sur les groupes hyperboliques d’apr `es Mikhael Gromov, Progress in Mathematics, vol. 83, Birkh¨auser Boston, Inc., Boston, MA, 1990 (French). Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988; Edited by ´E. Ghys and P. de la Harpe. MR1086648

work page 1990
[6]

Gromov,Hyperbolic groups, Essays in group theory, Math

M. Gromov,Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263, DOI 10.1007/978-1-4613-9586-7 3. MR0919829

doi:10.1007/978-1-4613-9586-7 1987
[7]

James Howie,On the asphericity of ribbon disc complements, Trans. Amer. Math. Soc.289 (1985), no. 1, 281–302, DOI 10.2307/1999700. MR0779064

doi:10.2307/1999700 1985

Show all 14 references

[8]

V . S. Kulikov,Alexander polynomials of plane algebraic curves, Izv. Ross. Akad. Nauk Ser. Mat.57(1993), no. 1, 76–101, DOI 10.1070/IM1994v042n01ABEH001534 (Russian, with Russian summary); English transl., Russian Acad. Sci. Izv. Math.42(1994), no. 1, 67–89. MR1220582

1993 doi
[9]

,Geometric realization of C-groups, Izv. Ross. Akad. Nauk Ser. Mat.58(1994), no. 4, 194–203, DOI 10.1070/IM1995v045n01ABEH001627 (Russian, with Russian summary); Eng- lish transl., Russian Acad. Sci. Izv. Math.45(1995), no. 1, 197–206. MR1307063

1994 doi
[10]

,Fundamental groups of the complements to submanifolds of a sphere of codimension 2, Tr. Mat. Inst. Steklova231(2000), 284–293 (Russian, with Russian summary); English transl., Proc. Steklov Inst. Math.4(231)(2000), 271–280. MR1841759

2000
[12]

R. A. Litherland,The second homology of the group of a knotted surface, Quart. J. Math. Oxford Ser. (2)32(1981), no. 128, 425–434, DOI 10.1093/qmath/32.4.425. MR0635591

1981 doi
[13]

Thesis (Ph.D.)–The Ohio State University

Gabor Moussong,Hyperbolic Coxeter groups, ProQuest LLC, Ann Arbor, MI, 1988. Thesis (Ph.D.)–The Ohio State University. MR2636665

1988
[14]

Japan Acad.46(1970), no

Takeshi Yajima,Wirtinger presentations of knot groups, Proc. Japan Acad.46(1970), no. 10, suppl. to 46 (1970), no. 9, 997–1000. MR0281781 DEPARTMENT OFMATHEMATICS, FACULTY OFSCIENCE, HOKKAIDOUNIVERSITY, SAP- PORO, 060-0810 JAPAN Email address:akita@math.sci.hokudai.ac.jp

1970

Pith tools

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

[1] [1]

The second integral homology of even Artin groups

Toshiyuki Akita,The second integral homology of even Artin groups(2025), to appear in Kyushu J. Math., available athttps://arxiv.org/abs/2507.04577

work page Pith review arXiv 2025

[2] [11]

Yu. V . Kuz′min,Groups of knotted compact surfaces, and central extensions, Mat. Sb.187 (1996), no. 2, 81–102, DOI 10.1070/SM1996v187n02ABEH000110 (Russian, with Russian summary); English transl., Sb. Math.187(1996), no. 2, 237–257. MR1392843

work page doi:10.1070/sm1996v187n02abeh000110 1996

[3] [2]

Bridson and Andr ´e Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

Martin R. Bridson and Andr ´e Haefliger,Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. MR1744486

work page 1999

[4] [3]

Brown,Cohomology of groups, Graduate Texts in Mathematics, vol

Kenneth S. Brown,Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer- Verlag, New York-Berlin, 1982. MR672956

1982

[5] [4]

Davis,The geometry and topology of Coxeter groups, London Mathematical Soci- ety Monographs Series, vol

Michael W. Davis,The geometry and topology of Coxeter groups, London Mathematical Soci- ety Monographs Series, vol. 32, Princeton University Press, Princeton, NJ, 2008. MR2360474

work page 2008

[6] [5]

Ghys and P

´E. Ghys and P. de la Harpe (eds.),Sur les groupes hyperboliques d’apr `es Mikhael Gromov, Progress in Mathematics, vol. 83, Birkh¨auser Boston, Inc., Boston, MA, 1990 (French). Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988; Edited by ´E. Ghys and P. de la Harpe. MR1086648

work page 1990

[7] [6]

Gromov,Hyperbolic groups, Essays in group theory, Math

M. Gromov,Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75–263, DOI 10.1007/978-1-4613-9586-7 3. MR0919829

doi:10.1007/978-1-4613-9586-7 1987

[8] [7]

James Howie,On the asphericity of ribbon disc complements, Trans. Amer. Math. Soc.289 (1985), no. 1, 281–302, DOI 10.2307/1999700. MR0779064

doi:10.2307/1999700 1985