Showing 1–50 of 56 results for author: Hillman, J

Homotopy types of 4-manifolds with 3-manifold fundamental groups

Authors: Jonathan A. Hillman

Abstract: We show that the homotopy type of a 4-manifold $M$ whose fundamental group is a finitely presentable $PD_3$-group $π$ and with $w_1(M)=w_1(π)$ is determined by $π$, $π_2(M)$, $k_1(M)$ and the equivariant intersection pairing $λ_M$. We show that the homotopy type of a 4-manifold $M$ whose fundamental group is a finitely presentable $PD_3$-group $π$ and with $w_1(M)=w_1(π)$ is determined by $π$, $π_2(M)$, $k_1(M)$ and the equivariant intersection pairing $λ_M$. △ Less

Submitted 12 November, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: v2: material on surgery deleted. New \S6

MSC Class: 57K41; 57P10

The groups of branched twist-spun knots

Authors: Jonathan A. Hillman

Abstract: We characterize the groups of branched twist spins of classical knots in terms of 3-manifold groups, and also give a purely algebraic, conjectural characterization in terms of $PD_3$-groups. We show also that each group is the group of at most finitely many branched twist spins. We characterize the groups of branched twist spins of classical knots in terms of 3-manifold groups, and also give a purely algebraic, conjectural characterization in terms of $PD_3$-groups. We show also that each group is the group of at most finitely many branched twist spins. △ Less

Submitted 18 May, 2023; v1 submitted 30 April, 2023; originally announced May 2023.

Comments: v2: Introduction rewritten, new Theorem 8 and Corollary inserted. v3: New Theorem 10 and Corollary inserted

MSC Class: 57M45

Non-solvable torsion-free virtually solvable groups

Authors: Jonathan A. Hillman

Abstract: We show that a non-solvable, torsion-free, virtually solvable group $S$ must have Hirsch length $h(S)\geq10$. If $h(S)<14$ then $A_5$ is the only simple factor. If $S$ is virtually nilpotent and $h(S)\leq14$ then its Fitting subgroup has nilpotency class $\leq3$. (There are virtually abelian examples with $h(S)=15$, and this is known to be best possible for such groups.) We show that a non-solvable, torsion-free, virtually solvable group $S$ must have Hirsch length $h(S)\geq10$. If $h(S)<14$ then $A_5$ is the only simple factor. If $S$ is virtually nilpotent and $h(S)\leq14$ then its Fitting subgroup has nilpotency class $\leq3$. (There are virtually abelian examples with $h(S)=15$, and this is known to be best possible for such groups.) △ Less

Submitted 16 October, 2023; v1 submitted 19 February, 2023; originally announced February 2023.

Comments: v2: Results in \S5 and \S7 sharpened, and SL(2,8) excluded. Reference [5] updated. v3: New \S8, using torsion in crystallographic quotients to reduce unsettled cases. v4:Theorem 20 corrected, \S8 expanded. v5: Lemmas 4 and 7, and Sections 5 and 8 rewritten

MSC Class: 20F19

Pro-$p$ completions of $PD_n$-groups

Authors: Jonathan Hillman, Dessislava H. Kochloukova

Abstract: We sharpen earlier work on the pro-$p$ completions of orientable $PD_3$-groups. There are four cases, and we give examples of aspherical 3-manifolds representing each case. In three of the four cases the new results are best possible. We also consider the pro-$p$ completion of some orientable $PD_n$ groups for $n \leq 5$, including surface-by-surface groups. We sharpen earlier work on the pro-$p$ completions of orientable $PD_3$-groups. There are four cases, and we give examples of aspherical 3-manifolds representing each case. In three of the four cases the new results are best possible. We also consider the pro-$p$ completion of some orientable $PD_n$ groups for $n \leq 5$, including surface-by-surface groups. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: Some of the results of the final section are based on arXiv 1305.3953 [math.GT]

Centralizers of torsion in 3-manifold groups

Authors: Jonathan A. Hillman

Abstract: We show that if $P$ is a $PD_3$-complex and $g\inπ_1(P)$ has finite order $>1$ and infinite centraliser then $π_1(P)$ retracts onto $Z/2Z\oplus\mathbb{Z}$. If $P$ is an irreducible closed 3-manifold then it follows from the Projective Plane Theorem that $P\cong{RP^2}\times{S^1}$. We show that if $P$ is a $PD_3$-complex and $g\inπ_1(P)$ has finite order $>1$ and infinite centraliser then $π_1(P)$ retracts onto $Z/2Z\oplus\mathbb{Z}$. If $P$ is an irreducible closed 3-manifold then it follows from the Projective Plane Theorem that $P\cong{RP^2}\times{S^1}$. △ Less

Submitted 17 November, 2021; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: v2: added three questions relating to possible analogues of the Projective Plane Theorem, and a new section giving alternative arguments due (separately) to J.S. Crisp and G.A. Swarup

MSC Class: 57K30; 57P10

$PD_3$-complexes bound

Authors: Jonathan A. Hillman

Abstract: We show that every $PD_3$-complex $P$ bounds a $PD_4$-pair $(Z,P)$. If $P$ is orientable we may assume that $π_1(Z)=1$. We show also that if $P$ has a manifold 1-skeleton then it is homotopy equivalent to a closed 3-manifold, and that if the inclusion of $Z$ into $P$ induces an isomorphism on fundamental groups then $π_1(Z)$ is a free group. We show that every $PD_3$-complex $P$ bounds a $PD_4$-pair $(Z,P)$. If $P$ is orientable we may assume that $π_1(Z)=1$. We show also that if $P$ has a manifold 1-skeleton then it is homotopy equivalent to a closed 3-manifold, and that if the inclusion of $Z$ into $P$ induces an isomorphism on fundamental groups then $π_1(Z)$ is a free group. △ Less

Submitted 17 January, 2023; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: v2: Proof of Theorem 1 elaborated. New Theorem 2, on $PD_3$-complexes with manifold 1-skeleta; the original \S3 now an appendix. v3: new section, extending a theorem of Daverman to the $PD_4$-context. v4: appendix deleted, \S4 moved to follow \S1. Other minor changes. v5: exposition of Theorem 1, Lemma 3 and Theorem 4 tightened

MSC Class: 57M45; 57P10

Nilpotent groups with balanced presentations. II

Authors: J. A. Hillman

Abstract: If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $β_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then $G$ is torsion-free and has Hirsch length $h(G)\leq4$. On the other hand, if $β_1(G;\mathbb{Q})=1$ and $G$ has an abelian normal subgroup $A$ such that… ▽ More If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $β_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then $G$ is torsion-free and has Hirsch length $h(G)\leq4$. On the other hand, if $β_1(G;\mathbb{Q})=1$ and $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}$ then $G\cong\mathbb{Z}/m\mathbb{Z}\rtimes_n\mathbb{Z}$, for some $m,n\not=0$ such that $m$ divides a power of $n-1$. △ Less

Submitted 29 February, 2024; v1 submitted 21 July, 2021; originally announced July 2021.

Comments: v3: completely recast, following blunder in use of Wang sequence. v4 New title, reflecting a shift in emphasis; substantially rewritten and enlarged. v5: further reorganisation, sharper final result, final section deleted. v6: reorganised to emphasise algebra over topology (new abstract), v7 final section deleted for use elsewhere, minor changes to Theorem 11

MSC Class: 20F18; 20J05; 57N13

Optimizing ROC Curves with a Sort-Based Surrogate Loss Function for Binary Classification and Changepoint Detection

Authors: Jonathan Hillman, Toby Dylan Hocking

Abstract: Receiver Operating Characteristic (ROC) curves are plots of true positive rate versus false positive rate which are useful for evaluating binary classification models, but difficult to use for learning since the Area Under the Curve (AUC) is non-convex. ROC curves can also be used in other problems that have false positive and true positive rates such as changepoint detection. We show that in this… ▽ More Receiver Operating Characteristic (ROC) curves are plots of true positive rate versus false positive rate which are useful for evaluating binary classification models, but difficult to use for learning since the Area Under the Curve (AUC) is non-convex. ROC curves can also be used in other problems that have false positive and true positive rates such as changepoint detection. We show that in this more general context, the ROC curve can have loops, points with highly sub-optimal error rates, and AUC greater than one. This observation motivates a new optimization objective: rather than maximizing the AUC, we would like a monotonic ROC curve with AUC=1 that avoids points with large values for Min(FP,FN). We propose a convex relaxation of this objective that results in a new surrogate loss function called the AUM, short for Area Under Min(FP, FN). Whereas previous loss functions are based on summing over all labeled examples or pairs, the AUM requires a sort and a sum over the sequence of points on the ROC curve. We show that AUM directional derivatives can be efficiently computed and used in a gradient descent learning algorithm. In our empirical study of supervised binary classification and changepoint detection problems, we show that our new AUM minimization learning algorithm results in improved AUC and comparable speed relative to previous baselines. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Subnormality in $PD_3$-groups and $L^2$-Betti numbers

Authors: J. A. Hillman

Abstract: We reconsider work of Elkalla on subnormal subgroups of 3-manifold groups, giving essentially algebraic arguments that extend to the case of $PD_3$-groups and group pairs. However the argument relies on an $L^2$-Betti number hypothesis which has not yet been shown to hold in general. We reconsider work of Elkalla on subnormal subgroups of 3-manifold groups, giving essentially algebraic arguments that extend to the case of $PD_3$-groups and group pairs. However the argument relies on an $L^2$-Betti number hypothesis which has not yet been shown to hold in general. △ Less

Submitted 19 July, 2023; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: v2. New Corollary 9 and \S6, based on recent work by P.SŚanchez-Peralta (arXiv: 2307.07031 [math.GR])

MSC Class: 57M05; 57P10

Domination by geometric 4-manifolds

Authors: Jonathan A. Hillman

Abstract: We consider aspects of the question "when is an orientable closed 4-manifold $Y$ dominated by another such manifold $X$", focusing on the cases when $X$ is geometric or fibres non-trivially over an orientable surface. We consider aspects of the question "when is an orientable closed 4-manifold $Y$ dominated by another such manifold $X$", focusing on the cases when $X$ is geometric or fibres non-trivially over an orientable surface. △ Less

Submitted 23 January, 2022; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: v2: \S7 has been rewritten and split into two parts, to correct a blunder in the original Lemma 8. v3: \S4--\S6 have been rewritten and expanded. v4: \S2--\S4 have been expanded

MSC Class: 57M50

Elementary amenable groups of cohomological dimension 3

Authors: Jonathan A. Hillman

Abstract: We show that torsion-free elementary amenable groups of Hirsch length $\leq3$ are solvable, of derived length $\leq3$. This class includes all solvable groups of cohomological dimension 3. We show also that groups in the latter subclass are either polycyclic, semidirect products $BS(1,n)\rtimes\mathbb{Z}$ or properly ascending HNN extensions with base $\mathbb{Z}^2$ or $π_1(Kb)$. We show that torsion-free elementary amenable groups of Hirsch length $\leq3$ are solvable, of derived length $\leq3$. This class includes all solvable groups of cohomological dimension 3. We show also that groups in the latter subclass are either polycyclic, semidirect products $BS(1,n)\rtimes\mathbb{Z}$ or properly ascending HNN extensions with base $\mathbb{Z}^2$ or $π_1(Kb)$. △ Less

Submitted 29 January, 2022; v1 submitted 4 February, 2021; originally announced February 2021.

Comments: v2: Corollary 7 moved to become new Theorem 5, in \S3. v3: two paragraphs added at end, on realisation by aspherical manifolds

MSC Class: 20F16; 20J06

Nilpotent groups with balanced presentations

Authors: J. A. Hillman

Abstract: We show that if a torsion free nilpotent group $G$ has a balanced presentations and Hirsch length $h(G)>3$ then $β_1(G;\mathbb{Q})=2$. There is just one such group which is torsion-free and of Hirsch length $h=4$, and none with $h=5$. We also construct a torsion-free nilpotent group $G$ with $h=6$ and such that $β_2(G;F)=β_1(G;F)$ for all fields $F$. We show that if a torsion free nilpotent group $G$ has a balanced presentations and Hirsch length $h(G)>3$ then $β_1(G;\mathbb{Q})=2$. There is just one such group which is torsion-free and of Hirsch length $h=4$, and none with $h=5$. We also construct a torsion-free nilpotent group $G$ with $h=6$ and such that $β_2(G;F)=β_1(G;F)$ for all fields $F$. △ Less

Submitted 15 August, 2021; v1 submitted 27 September, 2020; originally announced September 2020.

Comments: v2: New final section giving examples with $h=6$. v3: New Theorem 5. v4: Introduction and \S3 rewritten. Simpler proof of main theorem, with stronger result. v5: The discussion of Lie analogues has been moved from the introduction to a new \S6, while \S5 has been rewritten to clarify the exposition

MSC Class: 20F18; 20J05

$PD_3$-pairs with compressible boundary

Authors: Jonathan A. Hillman

Abstract: We extend work of Turaev and Bleile to relax the $π_1$-injectivity hypothesis in the characterization of the fundamental triples of $PD_3$-pairs with aspherical boundary components. This is further extended to pairs $(P,\partial{P})$ which also have spherical boundary components and with $c.d.π_1(P)\leq2$. We extend work of Turaev and Bleile to relax the $π_1$-injectivity hypothesis in the characterization of the fundamental triples of $PD_3$-pairs with aspherical boundary components. This is further extended to pairs $(P,\partial{P})$ which also have spherical boundary components and with $c.d.π_1(P)\leq2$. △ Less

Submitted 23 October, 2022; v1 submitted 14 June, 2020; originally announced June 2020.

Comments: v2:"geometric" homomorphisms identified, Theorem 7 rewritten. v3: estimates for free group factor. v4: rewritten. v5: \S5 rewritten, to bring forward the difference between the Algebraic and Topological Loop Theorems v6:new \s4 split off \S3 and new Corollary 11 split off Theorem 9. v7. \S4-\S6 rewritten, and examples illustrating independence of key hypotheses added

MSC Class: 57P10

$PD_3$-groups and HNN Extensions

Authors: Jonathan A. Hillman

Abstract: We show that if a $PD_3$-group $G$ splits as an HNN extension $A*_C\varphi$ where $C$ is a $PD_3$-group then the Poincaré dual in $H^1(G;\mathbb{Z})=Hom(G,\mathbb{Z})$ of the homology class $[C]$ is the epimorphism $f:G\to\mathbb{Z}$ with kernel the normal closure of $A$. We also make several other observations about $PD_3$-groups which split over $PD_2$-groups. We show that if a $PD_3$-group $G$ splits as an HNN extension $A*_C\varphi$ where $C$ is a $PD_3$-group then the Poincaré dual in $H^1(G;\mathbb{Z})=Hom(G,\mathbb{Z})$ of the homology class $[C]$ is the epimorphism $f:G\to\mathbb{Z}$ with kernel the normal closure of $A$. We also make several other observations about $PD_3$-groups which split over $PD_2$-groups. △ Less

Submitted 8 April, 2020; originally announced April 2020.

MSC Class: 57N13

Seifert fibred 2-knot manifolds. II

Authors: Jonathan A. Hillman

Abstract: We show that if $B$ is an aspherical 2-orbifold in one of the families known to have orbifold fundamental groups of weight 1 then $B$ is the base of a Seifert fibration of a 2-knot manifold $M(K)$. We show that if $B$ is an aspherical 2-orbifold in one of the families known to have orbifold fundamental groups of weight 1 then $B$ is the base of a Seifert fibration of a 2-knot manifold $M(K)$. △ Less

Submitted 9 February, 2020; originally announced February 2020.

MSC Class: 57K45

3-Manifolds with nilpotent embeddings in $S^4$

Authors: J. A. Hillman

Abstract: We consider embeddings of 3-manifolds $M$ in $S^4$ such that the two complementary regions $X$ and $Y$ each have nilpotent fundamental group. If $β=β_1(M)$ is odd then these groups are abelian and $β\leq3$. In general, $π_1(X)$ and $π_1(Y)$ have 3-generator presentations, and $β\leq6$. We determine all such nilpotent groups which are torsion-free and have Hirsch length $\leq5$. We consider embeddings of 3-manifolds $M$ in $S^4$ such that the two complementary regions $X$ and $Y$ each have nilpotent fundamental group. If $β=β_1(M)$ is odd then these groups are abelian and $β\leq3$. In general, $π_1(X)$ and $π_1(Y)$ have 3-generator presentations, and $β\leq6$. We determine all such nilpotent groups which are torsion-free and have Hirsch length $\leq5$. △ Less

Submitted 27 September, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: v2: new paragraph in \S2. v3: Lemma 4 and Theorem 5 have been excised, to become part of a group-theoretic paper "Nilpotent groups with balanced presentation"

Journal ref: Journal of Knot Theory and its Ramifications 29 (2020), 2050094

Width of codimension two knots

Authors: Michael Freedman, Jonathan Hillman

Abstract: We extend the classical definition of {\it width} to higher dimensional, smooth codimension 2 knots and show in each dimension there are knots of arbitrarily large width. We extend the classical definition of {\it width} to higher dimensional, smooth codimension 2 knots and show in each dimension there are knots of arbitrarily large width. △ Less

Submitted 22 July, 2019; v1 submitted 19 February, 2019; originally announced February 2019.

MSC Class: 57Q45

Journal ref: Journal of Knot Theory and its Ramifications 29 (2020), 1950094

Rank 1 abelian normal subgroups of 2-knot groups

Authors: Jonathan A. Hillman

Abstract: If a 2-knot group other than $\mathrm{Z}[\frac12]\rtimes\mathbb{Z}$ is almost coherent and has a torsion-free abelian normal subgroup $A$ of rank 1 which is not finitely generated then $A$ meets nontrivially every subgroup which is not locally free, and $A/A\capπ''$ is finite cyclic, of odd order. If a 2-knot group other than $\mathrm{Z}[\frac12]\rtimes\mathbb{Z}$ is almost coherent and has a torsion-free abelian normal subgroup $A$ of rank 1 which is not finitely generated then $A$ meets nontrivially every subgroup which is not locally free, and $A/A\capπ''$ is finite cyclic, of odd order. △ Less

Submitted 8 April, 2020; v1 submitted 1 July, 2018; originally announced July 2018.

Comments: v2: Scrutiny of the use of inverse limits in v1 revealed a need for a coherence condition in the present argument. v3: Lemmas 3 and 4 have been replaced by one short lemma, based on a reference. v4: a new \S3 and theorem have been added

MSC Class: 57Q45

Knot modules and ribbon 2-knots

Authors: Jonathan A. Hillman

Abstract: We show that every $\mathbb{Z}$-torsion free knot module is realized by a ribbon 2-knot with group of geometric dimension at most 2, and give some partial results on the characterization of the knot modules of fibred ribbon 2-knots. We show that every $\mathbb{Z}$-torsion free knot module is realized by a ribbon 2-knot with group of geometric dimension at most 2, and give some partial results on the characterization of the knot modules of fibred ribbon 2-knots. △ Less

Submitted 19 July, 2018; v1 submitted 13 June, 2018; originally announced June 2018.

Comments: Since submitting v1 we have learnt that our Theorem 1 is part of a more substantial result of Kawauchi (Theorem 3.2 in math.GT 0904.1853)

MSC Class: 57Q45

Quotients of $S^2\times{S^2}$

Authors: Ian Hambleton, Jonathan A. Hillman

Abstract: We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $χ(M) = 1$. All such manifolds with $π=π_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that there are four homeomorphism types, and propose a candidate for a smooth example which is not homeomorphic to the geometric quotient. If… ▽ More We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $χ(M) = 1$. All such manifolds with $π=π_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that there are four homeomorphism types, and propose a candidate for a smooth example which is not homeomorphic to the geometric quotient. If $π\cong {\mathbb Z}/2 \times {\mathbb Z}/2$, we show that there are three homotopy types (and between 6 and 24 homeomorphism types). △ Less

Submitted 22 May, 2023; v1 submitted 12 December, 2017; originally announced December 2017.

Comments: 24 pages:improvements to exposition following a referee's report; final version,accepted for publication in the Journal of the London Mathematical Society

MSC Class: 57M60; 57N70

3-Manifolds with abelian embeddings in $S^4$

Authors: J. A. Hillman

Abstract: We consider embeddings of 3-manifolds in $S^4$ such that each of the two complementary regions has an abelian fundamental group. In particular, we show that an homology handle $M$ has such an embedding if and only if $π_1(M)'$ is perfect, and that the embedding is then essentially unique. We consider embeddings of 3-manifolds in $S^4$ such that each of the two complementary regions has an abelian fundamental group. In particular, we show that an homology handle $M$ has such an embedding if and only if $π_1(M)'$ is perfect, and that the embedding is then essentially unique. △ Less

Submitted 30 May, 2018; v1 submitted 2 July, 2017; originally announced July 2017.

Comments: v2 has new theorem on embeddings of map** tori. Section headings changed, and some reorganization. v3 has two new theorems on the higher rank cases $β=4$ and 6, in \S6. v4: Lemma 7 corrected and \S3 rewritten. v5: \S7 rewritten

Journal ref: Journal of Knot Theory and its Ramifications 29 (2020), 2050001

An explicit formula for a branched covering from $\mathbb{CP}^2$ to $S^4$

Authors: J. A. Hillman

Abstract: We give an explicit formula for a 2-fold branched covering from $\mathbb{CP}^2$ to $S^4$, and relate it to other maps between quotients of $S^2\times{S^2}$. We give an explicit formula for a 2-fold branched covering from $\mathbb{CP}^2$ to $S^4$, and relate it to other maps between quotients of $S^2\times{S^2}$. △ Less

Submitted 14 May, 2017; originally announced May 2017.

MSC Class: 57M12; 57N13

Solvable normal subgroups of 2-knot groups

Authors: J. A. Hillman

Abstract: If $X$ is an orientable, strongly minimal $PD_4$-complex and $π_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $π$ is a 2-knot group then (a) if $π$ is virtually solvable then either $π$ has two ends or $π\congΦ$, with presentation $\langle{a,t}|ta=a^2t\rangle$, or $π$ is torsion-free and polycyclic of Hirsch length 4; (b) either $π$ has two ends, or $π$ has o… ▽ More If $X$ is an orientable, strongly minimal $PD_4$-complex and $π_1(X)$ has one end then it has no nontrivial locally-finite normal subgroup. Hence if $π$ is a 2-knot group then (a) if $π$ is virtually solvable then either $π$ has two ends or $π\congΦ$, with presentation $\langle{a,t}|ta=a^2t\rangle$, or $π$ is torsion-free and polycyclic of Hirsch length 4; (b) either $π$ has two ends, or $π$ has one end and the centre $ζπ$ is torsion-free, or $π$ has infinitely many ends and $ζπ$ is finite; and (c) the Hirsch-Plotkin radical $\sqrtπ$ is nilpotent. △ Less

Submitted 1 February, 2017; v1 submitted 20 October, 2016; originally announced October 2016.

Comments: The introduction has been extended and there is a new section (partly speculative) on 2-knot groups of geometric dimension 2

MSC Class: 57Q45

Journal ref: J. Knot Theory and its Ramifications 2610 (2017), 1750066

Some questions on subgroups of 3-dimensional Poincaré duality groups

Authors: J. A. Hillman

Abstract: We state a number of open questions on 3-dimensional Poincaré duality groups and their subgroups, motivated by considerations from 3-manifold topology. We state a number of open questions on 3-dimensional Poincaré duality groups and their subgroups, motivated by considerations from 3-manifold topology. △ Less

Submitted 12 March, 2018; v1 submitted 3 August, 2016; originally announced August 2016.

Comments: This paper had a low-key existence on my University of Sydney web page. As I am now retired, I decided to make it more accessible through the arXiv. In v2, we have updated this material, and added the content of a 2018 Luminy conference {]\it Structure of 3-Manifold Groups}. In v3, the title has been corrected, and other minor improvements made

Poincaré duality complexes with highly connected universal cover

Authors: Beatrice Bleile, Imre Bokor, Jonathan A. Hillman

Abstract: Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy equivalence, by the triple consisting of their fundamental group, orientation clas… ▽ More Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy equivalence, by the triple consisting of their fundamental group, orientation class and the image of their fundamental class in the homology of the fundamental group, verifying Turaev's conjecture on classification. We prove Turaev's conjectures on realization and splitting. We show that a triple $(G, ω, μ)$, comprising a group, $G$, a cohomology class $ω\in H^{1}\left(G, \mathbb{Z}/2\mathbb{Z}\right)$ and a homology class $μ\in H_{n}(G, \mathbb{Z}^ω)$, can be realized by a PD$_{n}$-complex with $(n-2)$-connected universal cover if and only if the Turaev map applied to $μ$ yields is an equivalence. We show that such a PD$_{n}$-complex is a connected sum of two such complexes if and only if its fundamental group is a free product of groups. We then consider the indecomposable $PD_n$-complexes of this type. When $n$ is odd the results are similar to those for the case $n=3$. The indecomposables are either aspherical or have virtually free fundamental group. When $n$ is even the indecomposables include manifolds which are neither aspherical nor have virtually free fundamental group, but if the group is virtually free and has no dihedral subgroup of order $>2$ then it has two ends. △ Less

Submitted 20 March, 2017; v1 submitted 30 April, 2016; originally announced May 2016.

Comments: This paper incorporates and supersedes arXiv:1509.01928

MSC Class: 57N65; 57P10

Journal ref: Algebraic and Geometric Topology 18 (2018), 3749--3788

Deficiency, commensurators and 4-dimensional infrasolvmanifolds

Authors: J. A. Hillman

Abstract: We show that if $π$ is the fundamental group of a 4-dimensional infrasolvmanifold then $-2\leq{def(π)}\leq0$, and give examples realizing each of these values. We also determine the abstract commensurators of such groups. Finally we show that if $G$ is a finitely generated group the kernel of the natural homomorphism from $G$ to its abstract commensurator $Comm(G)$ is locally nilpotent by locally… ▽ More We show that if $π$ is the fundamental group of a 4-dimensional infrasolvmanifold then $-2\leq{def(π)}\leq0$, and give examples realizing each of these values. We also determine the abstract commensurators of such groups. Finally we show that if $G$ is a finitely generated group the kernel of the natural homomorphism from $G$ to its abstract commensurator $Comm(G)$ is locally nilpotent by locally finite, and is finite if $\mathrm{def}(G)>1$. △ Less

Submitted 4 June, 2017; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: Introduction and \S3.6 expanded; minor corrections. Estimates for torsion-free nilpotent groups (\S3.6) added in v3, and improved in v4

MSC Class: 20F99

Journal ref: J. Group Theory 21 (2018), 511--530

Flat 2-orbifolds and Seifert fibred 4-manifolds

Authors: J. A. Hillman

Abstract: This is a summary of some of the basic facts about flat 2-orbifold groups, otherwise known as 2-dimensional crystallographic groups. We relate the geometric and topological presentations of these groups, and consider structures corresponding to decompositions of the orbifolds as fibrations or as unions. We also consider covering relations, and record the bases of Seifert fibrations of 4-manifolds… ▽ More This is a summary of some of the basic facts about flat 2-orbifold groups, otherwise known as 2-dimensional crystallographic groups. We relate the geometric and topological presentations of these groups, and consider structures corresponding to decompositions of the orbifolds as fibrations or as unions. We also consider covering relations, and record the bases of Seifert fibrations of 4-manifolds with geometries of solvable Lie type. △ Less

Submitted 11 August, 2017; v1 submitted 13 May, 2015; originally announced May 2015.

Comments: v2: titled changed; treatment of Seifert bases of $\mathbb{N}il^3\times\mathbb{E}^1$-manifolds expanded. v3: final two paragraphs of section on coverings corrected

MSC Class: 20F05; 57M05

Complements of connected hypersurfaces in $S^4$

Authors: Jonathan A. Hillman

Abstract: We consider the possible Euler characteristics and fundamental groups of the complementary components $X$ and $Y$ of an embedding of a connected closed 3-manifold $M$ in $S^4$. We use a 2-knot satellite construction to change the fundamental groups, and Massey products to limit the values of $χ(X)$ and $χ(Y)$ when $M$ is the total space of an $S^1$-bundle with orientable base and Euler number 1. We consider the possible Euler characteristics and fundamental groups of the complementary components $X$ and $Y$ of an embedding of a connected closed 3-manifold $M$ in $S^4$. We use a 2-knot satellite construction to change the fundamental groups, and Massey products to limit the values of $χ(X)$ and $χ(Y)$ when $M$ is the total space of an $S^1$-bundle with orientable base and Euler number 1. △ Less

Submitted 18 January, 2016; v1 submitted 15 February, 2015; originally announced February 2015.

Comments: v2: abstract rewritten and dedication added. More details given for Massey product and surgery arguments. Theorem 7 deleted. v3: reorganised, new results and examples. v4: Section 4 split: new theorem and figure in the new Section 5

MSC Class: 57N13

Journal ref: Journal of Knot Theory and Its Ramifications 26 (2017), 1740014

A small, infinitely-ended 2-knot group

Authors: Ryan Budney, Jonathan Hillman

Abstract: We show that a 2-knot group discovered in the course of a census of 4-manifolds with small triangulations is an HNN extension with finite base and proper associated subgroups, and has the smallest base among such knot groups. We show that a 2-knot group discovered in the course of a census of 4-manifolds with small triangulations is an HNN extension with finite base and proper associated subgroups, and has the smallest base among such knot groups. △ Less

Submitted 17 March, 2014; originally announced March 2014.

Comments: 10 pages

MSC Class: 57Q45

Journal ref: Journal of Knot Theory and Its Ramifications 26 (2017), 1750008

Indecomposable non-orientable $PD_3$-complexes

Authors: J. A. Hillman

Abstract: We show that the orientable double covering space of an indecomposable non-orientable $PD_3$-complex has torsion free fundamental group. We show that the orientable double covering space of an indecomposable non-orientable $PD_3$-complex has torsion free fundamental group. △ Less

Submitted 3 August, 2016; v1 submitted 26 January, 2014; originally announced January 2014.

Comments: Treatment of Jacobian matrix in Lemma 3 corrected. v3 has been expanded to be more self-contained. New Lemma 5 in v4, to clarify argument of main result

MSC Class: 57N13

Journal ref: Algebr. Geom. Topol. 17 (2017) 645-656

Sections of surface bundles

Authors: Jonathan A. Hillman

Abstract: A bundle with base $B$ and fibre $F$ aspherical closed surfaces has a section if and only if the action $:π_1(B)\to{Out}(π_1(F))$ factors through $Aut(π_1(F))$ and a cohomology class is 0. We simplify and make more explicit the latter condition. We also show that the transgression $d^2_{2,0}$ in the homology LHS spectral sequence of a central extension is evaluation of the extension class. Example… ▽ More A bundle with base $B$ and fibre $F$ aspherical closed surfaces has a section if and only if the action $:π_1(B)\to{Out}(π_1(F))$ factors through $Aut(π_1(F))$ and a cohomology class is 0. We simplify and make more explicit the latter condition. We also show that the transgression $d^2_{2,0}$ in the homology LHS spectral sequence of a central extension is evaluation of the extension class. Examples with hyperbolic fibre and no section (based on ideas of Endo) added. △ Less

Submitted 18 September, 2014; v1 submitted 15 September, 2013; originally announced September 2013.

Comments: Some new background material. Section on flat fibred case rewritten. In v3, details of Endo's example corrected and commentary added to final section on questions

MSC Class: 20K35; 57N13

Journal ref: Interactions between low-dimensional topology and ..., GT Monograph 19 (2015), 1--19

An aspherical 5-manifold with perfect fundamental group

Authors: J. A. Hillman

Abstract: We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study (with D.H.Kochloukova and I.Lima) of $PD_n$-groups with pro-$p$ completion a pro-$p$ Poincaré duality group of dimension $\leq{n-2}$. We also consider the question of whether there are any examples with "dimension drop" 1. We construct aspherical closed orientable 5-manifolds with perfect fundamental group. This completes part of our study (with D.H.Kochloukova and I.Lima) of $PD_n$-groups with pro-$p$ completion a pro-$p$ Poincaré duality group of dimension $\leq{n-2}$. We also consider the question of whether there are any examples with "dimension drop" 1. △ Less

Submitted 15 September, 2013; v1 submitted 16 May, 2013; originally announced May 2013.

Comments: First theorem split into two, and question raised as to alternative sources of examples. Result on dimension drop 1 strengthened, to exclude Demushkin groups as pro-$p$ completions of $PD_3$-groups

$\mathbb{S}ol^3\times\mathbb{E}^1$-manifolds

Authors: J. A. Hillman

Abstract: We show that $\mathbb{S}ol^3\times\mathbb{E}^1$-manifolds are Seifert fibred, with general fibre the torus, and base one of the seven flat 2-orbifolds $T, Kb, \mathbb{A}, \mathbb{M}b, S(2,2,2,2), P(2,2)$ or $\mathbb{D}(2,2)$, and outline a classification of such 4-manifolds. We show that $\mathbb{S}ol^3\times\mathbb{E}^1$-manifolds are Seifert fibred, with general fibre the torus, and base one of the seven flat 2-orbifolds $T, Kb, \mathbb{A}, \mathbb{M}b, S(2,2,2,2), P(2,2)$ or $\mathbb{D}(2,2)$, and outline a classification of such 4-manifolds. △ Less

Submitted 12 April, 2015; v1 submitted 8 April, 2013; originally announced April 2013.

Comments: The earlier version (2013) was fatally flawed. The present version retains only the focus on Seifert fibration as a basis for classification

MSC Class: 57M50

Journal ref: J. Aust. Math. Soc. 105 (2018), 46-56

$PD_4$-complexes and 2-dimensional duality groups

Authors: Jonathan A. Hillman

Abstract: This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $π$ such that $c.d.π=2$ and $π$ has one end. Our goal is to show that the homotopy types of such complexes are determined by $π$, the Stiefel-Whitney classes and the equivariant intersection pairing on $π_2(X)$. We achieve this under further conditions on $π$. This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $π$ such that $c.d.π=2$ and $π$ has one end. Our goal is to show that the homotopy types of such complexes are determined by $π$, the Stiefel-Whitney classes and the equivariant intersection pairing on $π_2(X)$. We achieve this under further conditions on $π$. △ Less

Submitted 4 June, 2017; v1 submitted 21 March, 2013; originally announced March 2013.

Comments: arXiv admin note: substantial text overlap with arXiv:0712.1069. In v7 it is shown that strongly minimal $PD_4$-complexes are $χ$-minimal, while strongly minimal is equivalent to order minimal if and only if $c.d.π\leq2$. In v.8 orientation condition removed in final theorem

MSC Class: 57P10

On Farber's invariants for simple $2q$-knots

Authors: Jonathan A. Hillman

Abstract: Let $K$ be a simple $2q$-knot with exterior $X$. We show directly how the Farber quintuple $(A,Π,α,\ell,ψ)$ determines the homotopy type of $X$ if the torsion subgroup of $A=π_q(X)$ has odd order. We comment briefly on the possible role of the EHP sequence in recovering the boundary inclusion from the duality pairings $\ell $ and $ψ$. Finally we reformulate the Farber quintuple as an hermitian sel… ▽ More Let $K$ be a simple $2q$-knot with exterior $X$. We show directly how the Farber quintuple $(A,Π,α,\ell,ψ)$ determines the homotopy type of $X$ if the torsion subgroup of $A=π_q(X)$ has odd order. We comment briefly on the possible role of the EHP sequence in recovering the boundary inclusion from the duality pairings $\ell $ and $ψ$. Finally we reformulate the Farber quintuple as an hermitian self-duality of an object in an additive category with involution. △ Less

Submitted 7 July, 2015; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: v2. Minor reorganization and corrections to final section

Journal ref: Rev. Roumaine Math. Pures Appl. 60 (2015), 405--422

Finiteness conditions in covers of Poincaré duality spaces

Authors: Jonathan A. Hillman

Abstract: A closed 4-manifold (or, more generally, a finite $PD_4$-space) has a finitely dominated infinite regular covering space if and only if either its universal covering space is finitely dominated or it is finitely covered by the map** torus of a self homotopy equivalence of a $PD_3$-complex. A closed 4-manifold (or, more generally, a finite $PD_4$-space) has a finitely dominated infinite regular covering space if and only if either its universal covering space is finitely dominated or it is finitely covered by the map** torus of a self homotopy equivalence of a $PD_3$-complex. △ Less

Submitted 26 April, 2015; v1 submitted 16 January, 2013; originally announced January 2013.

Comments: v2: Theorem 7 added at end

MSC Class: 57P10

Seifert fibred knot manifolds

Authors: J. A. Hillman, J. Howie

Abstract: We consider the question of when is the closed manifold obtained by elementary surgery on an $n$-knot Seifert fibred over a 2-orbifold. After some observations on the classical case, we concentrate on the cases n=2 and 3. We have found a new family of 2-knots with torsion-free, solvable group, overlooked in earlier work. We know of no higher dimensional examples. We consider the question of when is the closed manifold obtained by elementary surgery on an $n$-knot Seifert fibred over a 2-orbifold. After some observations on the classical case, we concentrate on the cases n=2 and 3. We have found a new family of 2-knots with torsion-free, solvable group, overlooked in earlier work. We know of no higher dimensional examples. △ Less

Submitted 4 August, 2013; v1 submitted 8 January, 2013; originally announced January 2013.

Comments: New co-author, stronger restrictions on possible Seifert bases. Final section on 3-knots reduced to a paragraph, as a lemma was misused in the original version. Version 3; minor improvements to first paragraph and notation

MSC Class: 57Q45; 57M25

Journal ref: Journal of Knot Theory and its Ramifications 22 (2013), 1350082

The F2 Cohomology of Sol^3-Manifolds

Authors: Jonathan A. Hillman

Abstract: We compute the rings $H^*(N;\mathbb{F}_2)$ for $N$ a closed $\mathbb{S}ol^3$-manifold and then determine the Borsuk-Ulam indices $BU(N,φ)$ with $φ\not=0$ in $H^1(N;\mathbb{F}_2)$. We compute the rings $H^*(N;\mathbb{F}_2)$ for $N$ a closed $\mathbb{S}ol^3$-manifold and then determine the Borsuk-Ulam indices $BU(N,φ)$ with $φ\not=0$ in $H^1(N;\mathbb{F}_2)$. △ Less

Submitted 6 January, 2013; originally announced January 2013.

Journal ref: Bull. Austral. Math. Soc. 89 (2014), 191--201

Triangulating a Cappell-Shaneson knot complement

Authors: Ryan Budney, Benjamin A. Burton, Jonathan Hillman

Abstract: We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. We show that one of the Cappell-Shaneson knot complements admits an extraordinarily small triangulation, containing only two 4-dimensional simplices. △ Less

Submitted 16 April, 2012; v1 submitted 18 September, 2011; originally announced September 2011.

Comments: 9 pages, 5 figures. V2->V3: Primary figures now display a symmetry of order two. Attaching maps made "order-preserving". A new figure describing the dual 2-cells is included. Previous arguments simplified a little, due to the symmetry

MSC Class: 57R60

Journal ref: Mathematical Research Letters 19 (2012), no. 5, 1117-1126

An infrasolvmanifold which does not bound

Authors: J. A. Hillman

Abstract: Every 4-dimensional infrasolvmanifold $M$ with $β_1(M;\mathbb{Q})>0$ or which is flat or has one of the geometries $\mathbb{N}il^4$, $\mathbb{S}ol_{m,n}^4$, or $\mathbb{S}ol_0^4$ bounds. However there are non-orientable $\mathbb{S}ol_1^4$-manifolds which do not bound. The question remains open for $\mathbb{N}il^3\times\mathbb{E}^1$-manifolds. We also give simple cobounding 5-manifolds for all but… ▽ More Every 4-dimensional infrasolvmanifold $M$ with $β_1(M;\mathbb{Q})>0$ or which is flat or has one of the geometries $\mathbb{N}il^4$, $\mathbb{S}ol_{m,n}^4$, or $\mathbb{S}ol_0^4$ bounds. However there are non-orientable $\mathbb{S}ol_1^4$-manifolds which do not bound. The question remains open for $\mathbb{N}il^3\times\mathbb{E}^1$-manifolds. We also give simple cobounding 5-manifolds for all but five of the 74 flat 4-manifolds, and investigate which orientable flat 4-manifolds embed in $\mathbb{R}^5$. △ Less

Submitted 16 May, 2013; v1 submitted 20 June, 2011; originally announced June 2011.

Comments: This paper has been withdrawn by the author, as Lee and Thuong have shown that every $Sol_1^4$-manifold bounds, contradicting one of the claimed results. The error appears to flow from the earlier paper arXiv:1105.1839

MSC Class: 57R75

Parallelizability of 4-dimensional infrasolvmanifolds

Authors: J. A. Hillman

Abstract: We show that if $M$ is an orientable 4-dimensional infrasolvmanifold and either $β=β_1(M;\mathbb{Q})\geq2$ or $M$ is a $\mathbb{S}ol_0^4$- or a $\mathbb{S}ol_{m,n}^4$-manifold (with $m\not=n$) then $M$ is parallelizable. There are non-parallelizable examples with $β=1$ for each of the other solvable Lie geometries $\mathbb{E}^4$, $\mathbb{N}il^4$, $\mathbb{N}il^3\times\mathbb{E}^1$ and… ▽ More We show that if $M$ is an orientable 4-dimensional infrasolvmanifold and either $β=β_1(M;\mathbb{Q})\geq2$ or $M$ is a $\mathbb{S}ol_0^4$- or a $\mathbb{S}ol_{m,n}^4$-manifold (with $m\not=n$) then $M$ is parallelizable. There are non-parallelizable examples with $β=1$ for each of the other solvable Lie geometries $\mathbb{E}^4$, $\mathbb{N}il^4$, $\mathbb{N}il^3\times\mathbb{E}^1$ and $\mathbb{S}ol^3\times\mathbb{E}^1$. We also determine which non-orientable flat 4-manifolds have a $Pin^+$- or $Pin^-$-structure, and consider briefly this question for the other cases. △ Less

Submitted 16 May, 2013; v1 submitted 9 May, 2011; originally announced May 2011.

Comments: This paper has been withdrawn by the author, as Lee and Thoung have shown that one of the claimed consequences is false

MSC Class: 57M50

Cofinitely Hopfian groups, open map**s and knot complements

Authors: Martin R. Bridson, Daniel Groves, Jonathan A. Hillman, Gaven J. Martin

Abstract: A group $Γ$ is defined to be cofinitely Hopfian if every homomorphism $Γ\toΓ$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic groups and many lattices. A knot group is cofinitely Hopfian if and only if the knot is not a torus knot. A free-by-cyclic group is cofinitely Hopfian if and only if it has triv… ▽ More A group $Γ$ is defined to be cofinitely Hopfian if every homomorphism $Γ\toΓ$ whose image is of finite index is an automorphism. Geometrically significant groups enjoying this property include certain relatively hyperbolic groups and many lattices. A knot group is cofinitely Hopfian if and only if the knot is not a torus knot. A free-by-cyclic group is cofinitely Hopfian if and only if it has trivial centre. Applications to the theory of open map**s between manifolds are presented. △ Less

Submitted 8 December, 2010; originally announced December 2010.

Comments: 14 pages

Journal ref: Groups, Geometry and Dynamics, 4, no.4, 2010, 693-707

$S^2$-bundles over 2-orbifolds

Authors: Jonathan A. Hillman

Abstract: Let $M$ be a closed 4-manifold with $π_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over an aspherical surface. If $π=π_1(M)\not=1$ there are at most two such bundle spaces with given action $u:π\to{Aut}(π_2(M))$. The bundle space has the geometry… ▽ More Let $M$ be a closed 4-manifold with $π_2(M)\cong{Z}$. Then $M$ is homotopy equivalent to either $CP^2$, or the total space of an orbifold bundle with general fibre $S^2$ over a 2-orbifold $B$, or the total space of an $RP^2$-bundle over an aspherical surface. If $π=π_1(M)\not=1$ there are at most two such bundle spaces with given action $u:π\to{Aut}(π_2(M))$. The bundle space has the geometry $\mathbb{S}^2\times\mathbb{E}^2$ (if $χ(M)=0$) or $\mathbb{S}^2\times\mathbb{H}^2$ (if $χ(M)<0$), except when $B$ is orientable and $π$ is generated by involutions, in which case the action is unique and there is one non-geometric orbifold bundle. △ Less

Submitted 24 November, 2010; v1 submitted 24 August, 2010; originally announced August 2010.

Comments: We have completed the determination of which $S^2$-orbifold bundles are geometric, and also computed the second Wu class for each such manifold. Further minor changes have been made (principally to the section on surgery) in the second revision

MSC Class: 57N13

Journal ref: J. London Math. Soc. 87 (2013), 69--86

The groups of fibred 2-knots

Authors: Jonathan A. Hillman

Abstract: We explore algebraic characterizations of 2-knots whose associated knot manifolds fibre over lower-dimensional orbifolds, and consider also some issues related to the groups of higher-dimensional fibred knots. We explore algebraic characterizations of 2-knots whose associated knot manifolds fibre over lower-dimensional orbifolds, and consider also some issues related to the groups of higher-dimensional fibred knots. △ Less

Submitted 21 April, 2010; originally announced April 2010.

MSC Class: 57Q45

Journal ref: Contemporary Mathematics 597 (2013), 281--294

The linking pairings of orientable Seifert manifolds

Authors: Jonathan A. Hillman

Abstract: We compute the $p$-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free $S^1$-action. Using this, we show that any non-singular linking pairing on a finite abelian group with homogeneous 2-primary summand is realized by such a manifold. However, some pairings on inhomogeneous 2-groups are not realizable by any Seifert fibred 3-manifold. We compute the $p$-primary components of the linking pairings of orientable 3-manifolds admitting a fixed-point free $S^1$-action. Using this, we show that any non-singular linking pairing on a finite abelian group with homogeneous 2-primary summand is realized by such a manifold. However, some pairings on inhomogeneous 2-groups are not realizable by any Seifert fibred 3-manifold. △ Less

Submitted 14 October, 2010; v1 submitted 31 March, 2010; originally announced April 2010.

Comments: The paper has been rewritten to display the results more clearly, and errors flowing from an inconsistent choice of signs have been corrected. The formulation of the final result on 2-torsion has also been improved

MSC Class: 57M25; 57N10

Journal ref: Topology and its Applications 158 (2011), 468--478

2-knots with solvable group

Authors: Jonathan A. Hillman

Abstract: We complete the TOP classification of 2-knots with torsion-free, solvable knot group by showing that fibred 2-knots with closed fibre the Hantzsche-Wendt flat 3-manifold $HW$ are not reflexive, while every fibred 2-knot with closed fibre a $\mathbb{N}il^3$-manifold with base orbifold $S^2(3,3,3)$ is reflexive, and by giving explicit normal forms for the strict weight orbits of normal generators fo… ▽ More We complete the TOP classification of 2-knots with torsion-free, solvable knot group by showing that fibred 2-knots with closed fibre the Hantzsche-Wendt flat 3-manifold $HW$ are not reflexive, while every fibred 2-knot with closed fibre a $\mathbb{N}il^3$-manifold with base orbifold $S^2(3,3,3)$ is reflexive, and by giving explicit normal forms for the strict weight orbits of normal generators for the groups of all knots in either class. We also determine when the knots are amphicheiral or invertible, and show that the only non-trivial doubly null-concordant knots with such groups are those with group $πτ_29_{46}$. △ Less

Submitted 28 March, 2010; originally announced March 2010.

MSC Class: 57Q45

Journal ref: Journal of Knot Theory and Its Ramifications 20 (2011), 977--994

On reciprocality of twisted Alexander invariants

Authors: Jonathan A. Hillman, Daniel S. Silver, Susan G. Williams

Abstract: Given a knot and an SL(n,C) representation of its group that is conjugate to its dual, the representation that replaces each matrix with its inverse-transpose, the associated twisted Reidemeister torsion is reciprocal. An example is given of a knot group and SL(3,Z) representation that is not conjugate to its dual for which the twisted Reidemeister torsion is not reciprocal. Given a knot and an SL(n,C) representation of its group that is conjugate to its dual, the representation that replaces each matrix with its inverse-transpose, the associated twisted Reidemeister torsion is reciprocal. An example is given of a knot group and SL(3,Z) representation that is not conjugate to its dual for which the twisted Reidemeister torsion is not reciprocal. △ Less

Submitted 15 May, 2009; originally announced May 2009.

Comments: 10 pages, no figures

MSC Class: 57M25

Journal ref: Algebr. Geom. Topol. 10 (2010) 1017-1026

Indecomposable $PD_3$-complexes

Authors: J. A. Hillman

Abstract: We show that if $X$ is an indecomposable $PD_3$-complex and $π_1(X) is the fundamental group of a reduced finite graph of finite groups but is not virtually cyclic then $X$ is orientable, the underlying graph is a tree, all the edge groups are $Z/2Z$ and all but at most one of the vertex groups is dihedral of order $2m$ with $m$ odd. Every such group is realized by some $PD_3… ▽ More We show that if $X$ is an indecomposable $PD_3$-complex and $π_1(X) is the fundamental group of a reduced finite graph of finite groups but is not virtually cyclic then $X$ is orientable, the underlying graph is a tree, all the edge groups are $Z/2Z$ and all but at most one of the vertex groups is dihedral of order $2m$ with $m$ odd. Every such group is realized by some $PD_3$-complex. We also propose a strategy for tackling the question of whether every $PD_3$-complex has a finite covering space which is homotopy equivalent to a closed orientable 3-manifold. △ Less

Submitted 18 October, 2011; v1 submitted 12 August, 2008; originally announced August 2008.

Comments: 22 pages. The determination of the possible fundamental groups has been completed. A lemma has been added to Section 2, and the main theorem (5.2) has been strengthened

MSC Class: 57M25

Journal ref: Algebraic Geometry and Topology 12 (2012), 131--153

Pro-p groups of positive deficiency

Authors: Jonathan A. Hillman, Alexander Schmidt

Abstract: Let Γbe a finitely presentable pro-p group with a nontrivial finitely generated closed normal subgroup N of infinite index. Then def(Γ)\leq 1, and if def(Γ)=1 then Γis a pro-p duality group of dimension 2, N is a free pro-p group and Γ/N is virtually free. In particular, if the centre of Γis nontrivial and def(Γ)\geq 1, then def(Γ)=1, cd G \leq 2 and Γis virtually a direct product F \times Z_p,… ▽ More Let Γbe a finitely presentable pro-p group with a nontrivial finitely generated closed normal subgroup N of infinite index. Then def(Γ)\leq 1, and if def(Γ)=1 then Γis a pro-p duality group of dimension 2, N is a free pro-p group and Γ/N is virtually free. In particular, if the centre of Γis nontrivial and def(Γ)\geq 1, then def(Γ)=1, cd G \leq 2 and Γis virtually a direct product F \times Z_p, with F a finitely generated free pro-p group. △ Less

Submitted 29 September, 2008; v1 submitted 26 February, 2008; originally announced February 2008.

Comments: final version, to appear in Bull. LMS

MSC Class: 20E18

Journal ref: Bull. London Math. Soc. 40 (2008), 1065--1069

Strongly minimal PD4-complexes

Authors: Jonathan A. Hillman

Abstract: We consider the homotopy types of $PD_4$-complexes $X$ with fundamental group $π$ such that $c.d.π=2$ and $π$ has one end. Let $β=β_2(π;F_2)$ and $w=w_1(X)$. Our main result is that (modulo two technical conditions on $(π,w)$) there are at most $2^β$ orbits of $k$-invariants determining "strongly minimal" complexes (i.e., those with homotopy intersection pairing $λ_X$ trivial). The homotopy type… ▽ More We consider the homotopy types of $PD_4$-complexes $X$ with fundamental group $π$ such that $c.d.π=2$ and $π$ has one end. Let $β=β_2(π;F_2)$ and $w=w_1(X)$. Our main result is that (modulo two technical conditions on $(π,w)$) there are at most $2^β$ orbits of $k$-invariants determining "strongly minimal" complexes (i.e., those with homotopy intersection pairing $λ_X$ trivial). The homotopy type of a $PD_4$-complex $X$ with $π$ a $PD_2$-group is determined by $π$, $w$, $λ_X$ and the $v_2$-type of $X$. Our result also implies that Fox's 2-knot with metabelian group is determined up to TOP isotopy and reflection by its group. △ Less

Submitted 6 December, 2007; originally announced December 2007.

Comments: 17 pages

MSC Class: 57P10

Journal ref: Topology and its Applications 156 (2009), 1565--1577