Skip to content
DraconiticResearch
Search Sources API
189,280 studies31 sourcesUpdated 4 min ago
PreprintarXiv licencearXiv

Profinite completions and cohomology jump loci

Abstract

Let X be a connected finite-type CW-complex with fundamental group G. We show that the profinite completion Ĝ determines the cohomology jump loci 𝒱qs(X,ℂ) under two hypotheses: that the loci are finite unions of torsion-translated subtori, as for smooth quasi-projective varieties, and that Ĝ determines the Betti numbers of the finite cyclic covers of X in degrees ≤ q, which holds unconditionally for q=1, and in all degrees when X is aspherical and G is good in the sense of Serre. When the isomorphism of completions is compatible with an identification of the abelianizations, the loci correspond exactly; in general, they correspond up to an isogeny. Applied to finite covers, this shows that the tropical bounds for the Bieri--Neumann--Strebel--Renz invariants are profinite invariants, and recovers the profinite invariance of the BNS invariant of Kähler groups due to Hughes, Llosa Isenrich, Py, Stover, and Vidussi. We also show that Ĝ determines the graded abelian groups grr(G/W(G)), torsion included, for every verbal subgroup W(G); the cases W(G)=1 and W(G)=G'' give the lower central series quotients and the Chen groups. For hyperplane arrangements, it follows that no arithmetic Zariski pair is distinguished by any of these invariants, while two known lattice-isomorphic pairs show, respectively, that the profinite completion of an arrangement group is not combinatorially determined, and that it does not determine the group.

Related

  1. Rank two cohomology jump loci on projective varieties
    Quoc-Anh Tran
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. Total Cohomology of Hilbert schemes of Orbisurfaces I: Reduction to Stacky Loci
    Shuo Gao
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. Regularity of profinite isomorphisms of hyperbolic 3-manifolds
    Liam Hanany
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryGeometry & topologyarXiv
  4. Polycyclic groups and profinite isomorphism
    Dan Segal
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. Grothendieck Pairs, Functors and Profinite Invariants
    Daniel Echtler
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{suciu2026profinite,
  title = {{Profinite completions and cohomology jump loci}},
  author = {Alexander I. Suciu},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2609.38675},
  eprint = {2609.38675},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.38675},
}
RIS
TY  - UNPB
TI  - Profinite completions and cohomology jump loci
AU  - Alexander I. Suciu
PY  - 2026
DA  - 2026/10/06
PB  - arXiv
DO  - 10.48550/arxiv.2609.38675
UR  - https://arxiv.org/abs/2609.38675
AB  - Let X be a connected finite-type CW-complex with fundamental group G. We show that the profinite completion Ĝ determines the cohomology jump loci 𝒱^q_s(X,ℂ) under two hypotheses: that the loci are finite unions of torsion-translated subtori, as for smooth quasi-projective varieties, and that Ĝ determines the Betti numbers of the finite cyclic covers of X in degrees ≤ q, which holds unconditionally for q=1, and in all degrees when X is aspherical and G is good in the sense of Serre. When the isomorphism of completions is compatible with an identification of the abelianizations, the loci correspond exactly; in general, they correspond up to an isogeny. Applied to finite covers, this shows that the tropical bounds for the Bieri--Neumann--Strebel--Renz invariants are profinite invariants, and recovers the profinite invariance of the BNS invariant of Kähler groups due to Hughes, Llosa Isenrich, Py, Stover, and Vidussi. We also show that Ĝ determines the graded abelian groups gr_r(G/W(G)), torsion included, for every verbal subgroup W(G); the cases W(G)=1 and W(G)=G'' give the lower central series quotients and the Chen groups. For hyperplane arrangements, it follows that no arithmetic Zariski pair is distinguished by any of these invariants, while two known lattice-isomorphic pairs show, respectively, that the profinite completion of an arrangement group is not combinatorially determined, and that it does not determine the group.
ER  -