English

Hyperplanes in abelian groups and twisted signatures

Geometric Topology 2023-09-20 v2 Group Theory

Abstract

We investigate the following question: if AA and AA' are products of finite cyclic groups, when does there exist an isomorphism f:AAf: A \to A' which preserves the union of coordinate hyperplanes (equivalently, so that f(x)f(x) has some coordinate zero if and only if xx has some coordinate zero)? We show that if such an isomorphism exists, then AA and AA' have the same cyclic factors; if all cyclic factors have order larger than 22, the map ff is diagonal up to permutation, hence sends coordinate hyperplanes to coordinate hyperplanes. Thus one can recover the coordinate hyperplanes from knowledge of their union. This result is well-adapted for application to invariants with a certain multiplicativity property. As a model application, we show using twisted signatures that there exists a family of compact 4-manifolds X(n)X(n) with H1X(n)=Z/nH_1 X(n) = \mathbb Z/n with the property that X(ni)X(nj)\prod X(n_i) \cong \prod X(n'_j) if and only if the factors may be identified (up to permutation), and that the induced map on first homology is (up to permutation) represented by a diagonal matrix.

Keywords

Cite

@article{arxiv.2209.06965,
  title  = {Hyperplanes in abelian groups and twisted signatures},
  author = {Mike Miller Eismeier and Aiden Sagerman},
  journal= {arXiv preprint arXiv:2209.06965},
  year   = {2023}
}

Comments

Accepted version, to appear in Topology & its Applications

R2 v1 2026-06-28T01:19:33.770Z