-
arXiv:2401.03355 [pdf, ps, other]
Periodic cohomology
Abstract: We offer a direct proof of an elementary result concerning cohomological periods. As a corollary we show that given a finitely generated stably free resolution of Z over a finite group, two of its modules are free.
Submitted 23 August, 2023; originally announced January 2024.
Comments: Paper published in peer reviewed journal in 2008
MSC Class: 16E05
Journal ref: Homology, Homotopy and Applications Vol. 10 (2008), No. 2, pp. 135-137
-
arXiv:2310.07722 [pdf, ps, other]
Realizing algebraic 2-complexes by cell complexes
Abstract: The realization theorem asserts that for a finitely presented group G, the D(2) property and the realization property are equivalent as long as G satisfies a certain finiteness condition. We show that the two properties are in fact equivalent for all finitely presented groups.
Submitted 24 August, 2023; originally announced October 2023.
Comments: Paper published in peer reviewed journal in 2009
MSC Class: 57M20; 20F05; 16E05; 16E10
Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society Vol. 146 (2009), Issue 03, pp. 671-673
-
arXiv:2308.12930 [pdf, ps, other]
Explicit generators for the relation module in the example of Gruenberg-Linnell
Abstract: Gruenberg and Linnell showed that the standard relation module of a free product of $n$ groups of the form $C_r \times \mathbb{Z}$ could be generated by just $n+1$ generators, raising the possibility of a relation gap. We explicitly give such a set of generators.
Submitted 24 August, 2023; originally announced August 2023.
Comments: Paper published in peer reviewed journal in 2016
MSC Class: 20J05; 20C12; 57M05; 57M20
Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society Vol. 161 (2016), Issue 02, pp. 199-202
-
arXiv:2308.12920 [pdf, ps, other]
Minimal algebraic complexes over $D_{4n}$
Abstract: We show that cancellation of free modules holds in the stable class $Ω_3(\mathbb{Z})$ over dihedral groups of order $4n$. In light of a recent result on realizing $k$-invariants for these groups, this completes the proof that all all dihedral groups satisfy the D(2) property.
Submitted 24 August, 2023; originally announced August 2023.
Comments: Paper published in peer reviewed journal in 2013
MSC Class: 57M20; 16E05; 16E10; 55P15; 55Q20
Journal ref: Algebr. Geom. Topol. 13 (2013), Issue 6, pp. 3287-3304
-
arXiv:2308.12905 [pdf, ps, other]
The third homotopy module of a 2-complex
Abstract: Given a connected 2-complex X with fundamental group G, we show how pi_3(X) may be computed as a module over Z[G]. Further we show that if X is a finite connected 2-complex with G (the fundamental group) finite of odd order, then the stable class of pi_3(X) is determined by G.
Submitted 24 August, 2023; originally announced August 2023.
Comments: Paper published in peer reviewed journal in 2008. arXiv admin note: text overlap with arXiv:2308.11844
MSC Class: 55Q15; 55Q20; 55Q91
Journal ref: Bulletin of the London Mathematical Society 40 (2008), Issue 4, pp. 664-674
-
arXiv:2308.12897 [pdf, ps, other]
The D(2) property for $D_8$
Abstract: Wall's D(2) problem asks if a cohomologically 2-dimensional geometric 3-complex is necessarily homotopy equivalent to a geometric 2-complex. We solve part of the problem when the fundamental group is dihedral of order $2^n$, and offer a complete solution for the case where it is $D_8$ the dihedral group of order 8.
Submitted 24 August, 2023; originally announced August 2023.
Comments: Paper published in peer reviewed journal in 2007
MSC Class: 57M20; 57M05
Journal ref: Algebr. Geom. Topol. 7 (2007), Issue 1, pp. 517-528
-
arXiv:2308.12541 [pdf, ps, other]
Quillen's Plus Construction and the D(2) problem
Abstract: Given a finite connected 3-complex with cohomological dimension 2, we show it may be constructed up to homotopy by applying the Quillen plus construction to the Cayley complex of a finite group presentation. This reduces the D(2) problem to a question about perfect normal subgroups.
Submitted 23 August, 2023; originally announced August 2023.
Comments: Paper published in peer reviewed journal in 2009
MSC Class: 57M20; 19D06; 57M05
Journal ref: Algebr. Geom. Topol. 9 (2009), Issue 3, pp. 1399-1411
-
arXiv:2308.12390 [pdf, ps, other]
Duality in the homology of 5-manifolds
Abstract: We show that the homological properties of a 5-manifold M with fundamental group G are encapsulated in a G-invariant stable form on the dual of the third syzygy of Z. In this notation one may express an even stronger version of Poincare duality for M. However we find an obstruction to this duality.
Submitted 23 August, 2023; originally announced August 2023.
Comments: Paper. Published in peer reviewed journal in 2017
MSC Class: 57P10; 57M60; 55U15; 55N91; 55N45
Journal ref: Homology, Homotopy and Applications Vol. 19 (2017), No. 1, pp. 171-179
-
arXiv:2308.11871 [pdf, ps, other]
Homotopy types of truncated projective resolutions
Abstract: We work over an arbitrary ring R. Given two truncated projective resolutions of equal length for the same module we consider their underlying chain complexes. We show they may be stabilized by projective modules to obtain a pair of complexes of the same homotopy type.
Submitted 21 December, 2023; v1 submitted 22 August, 2023; originally announced August 2023.
Comments: Paper, published in peer-reviewed journal in 2007
MSC Class: 16E05
Journal ref: Homology, Homotopy and Applications Vol. 9 (2007), No. 2, pp. 445-449
-
arXiv:2308.11844 [pdf, ps, other]
Low dimensional algebraic complexes over integral group rings
Abstract: The realization problem asks: When does an algebraic complex arise, up to homotopy, from a geometric complex? In the case of 2- dimensional algebraic complexes, this is equivalent to the D2 problem, which asks when homological methods can distinguish between 2 and 3 dimensional complexes. We approach the realization problem (and hence the D2 problem) by classifying all possible algebraic 2- comp… ▽ More
Submitted 21 December, 2023; v1 submitted 22 August, 2023; originally announced August 2023.
Comments: PhD Thesis (2006). Material corrected and expanded: C1: AG&T 9 (2009), 3, 1399-1411| Math. Proc. Camb. Phil. Soc. Vol. 146 (2009), 3, 671-673| HHA Vol. 10 (2008), 2, 135-137| HHA Vol. 9 (2007), 2, 445-449| C2: AG&T 7 (2007), 1, 517-528| AG&T. 13 (2013), 6, 3287-3304| C3: Bull. LMS 40 (2008), 4, 664-674| C4: HHA Vol. 19 (2017), 1, 171-179
MSC Class: 57M05; 20C05; 16S34; 20C10; 55N25
-
A fake Klein bottle with bubble
Abstract: We resolve the question of the existence of a finite 2-complex with the same fundamental group and Euler characteristic as a Klein bottle with a bubble, but homotopically distinct to it.
Submitted 24 February, 2024; v1 submitted 21 August, 2023; originally announced August 2023.
Comments: 9 pages, 4 figures. Published in Bulletin of the LMS
MSC Class: Primary 57M05; 57M20. Secondary: 20C07; 16S34; 20C10; 55P15; 55N25
Journal ref: Bulletin of the London Mathematical Society, Vol. 56, Issue 5, (2024) pp. 1605-1612
-
A Random Graph Growth Model
Abstract: A growing random graph is constructed by successively sampling without replacement an element from the pool of virtual vertices and edges. At start of the process the pool contains $N$ virtual vertices and no edges. Each time a vertex is sampled and occupied, the edges linking the vertex to previously occupied vertices are added to the pool of virtual elements. We focus on the edge-counting at tim… ▽ More
Submitted 18 January, 2023; originally announced January 2023.
Comments: 21 pages, 1 figure
MSC Class: 05C80; 60B20
Journal ref: Bulletin of the London Mathematical Society 56, Issue 2 (2024) pp. 662-680
-
arXiv:1901.10786 [pdf, ps, other]
An exotic presentation of Q_28
Abstract: We introduce a new family of presentations for the quaternion groups and show that for the quaternion group of order 28, one of these presentations has non-standard second homotopy group.
Submitted 12 October, 2021; v1 submitted 30 January, 2019; originally announced January 2019.
Comments: 22 pages. Appendix added this version contains proofs of number theoretic results, which make article self-contained
MSC Class: 57M05; 57M20; 20C05; 16S34; 20C10; 55P15; 55Q91; 55N25
Journal ref: Algebr. Geom. Topol. 21 (2021) 2065-2084
-
arXiv:1408.6153 [pdf, ps, other]
Koszul-Morita duality
Abstract: We construct a generalization of Koszul duality in the sense of Keller--Lefèvre for not necessarily augmented algebras. This duality is closely related to classical Morita duality and specializes to it in certain cases.
Submitted 26 August, 2014; originally announced August 2014.
Comments: 12 pages
Journal ref: Journal of Noncommutative Geometry Vol. 10 (2016), Issue 4, pp. 1541-1557
-
arXiv:1403.0774 [pdf, ps, other]
Cocommutative coalgebras: homotopy theory and Koszul duality
Abstract: We extend a construction of Hinich to obtain a closed model category structure on all differential graded cocommutative coalgebras over an algebraically closed field of characteristic zero. We further show that the Koszul duality between commutative and Lie algebras extends to a Quillen equivalence between cocommutative coalgebras and formal coproducts of curved Lie algebras.
Submitted 21 December, 2023; v1 submitted 4 March, 2014; originally announced March 2014.
Comments: 38 pages
Journal ref: Homology, Homotopy and Applications Vol. 18 (2016) No. 2, pp. 303-336
-
arXiv:1103.1577 [pdf, ps, other]
A commutative version of the group ring
Abstract: We construct a commutative version of the group ring and show that it allows one to translate questions about the normal generation of groups into questions about the generation of ideals in commutative rings. We demonstrate this with an alternative proof of a result about the normal generation of the free product of two cyclic groups.
Submitted 21 December, 2023; v1 submitted 8 March, 2011; originally announced March 2011.
Comments: 31 pages, preprint. Reason for revision: additions to content; in particular rewritten Section 5 and new Section 6 added
MSC Class: 20F05; 57M05; 20J05; 20C07
Journal ref: Journal of Algebra Vol. 379 (2013), pp. 113-143
-
Computing Borel's Regulator II
Abstract: This paper has been merged with arXiv:0908.3765
Submitted 4 August, 2020; v1 submitted 4 September, 2009; originally announced September 2009.
Comments: This paper has been merged with arXiv:0908.3765
-
arXiv:0908.3765 [pdf, ps, other]
Computing Borel's Regulator
Abstract: We present an infinite series formula based on the Karoubi-Hamida integral, for the universal Borel class evaluated on H_{2n+1}(GL(\mathbb{C})). For a cyclotomic field F we define a canonical set of elements in K_3(F) and present a novel approach (based on a free differential calculus) to constructing them. Indeed, we are able to explicitly construct their images in H_{3}(GL(\mathbb{C})) under the… ▽ More
Submitted 8 May, 2012; v1 submitted 26 August, 2009; originally announced August 2009.
Comments: 29 pages, section on computational aspects changed (now in Appendix A), section 5 moved to Appendix B, introduction changed
MSC Class: 19F27
Journal ref: Choo, Zacky, Wajid Mannan, Rubén J. Sánchez-García, and Victor P. Snaith. "Computing Borel's regulator." In Forum Mathematicum, vol. 27, no. 1, pp. 131-177. De Gruyter, 2015
-
A candidate for a solution to Wall's D(2) problem
Abstract: We show that Wall's D(2) problem, the Realization problem and the Relation Gap problem could all be solved if it could be shown that the deficiency of a certain group is, as intuition would suggest, less than -1. Note the paper has been withdrawn. A presentation of *_p (C_p x C_p)with deficiency -1 is given on p35 of: Cynthia Hog-Angeloni, Beitrage zum (einfachen) homotopietyp zweidimensionale… ▽ More
Submitted 9 January, 2009; v1 submitted 28 November, 2008; originally announced November 2008.
Comments: This paper has been withdrawn by W.H.Mannan as the results are vacuous in light of the following: Def(*_p (C_p x C_p)) = -1, where the free product is taken over distinct primes p
MSC Class: 57M20; 20F05