Searcharxiv⌕ Search

arXiv · 2609.38675

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 $\widehat{G}$ determines the cohomology jump loci $\mathcal{V}^q_s(X,\mathbb{C})$, under two hypotheses treated separately: that the loci are finite unions of torsion-translated subtori, which holds for smooth quasi-projective varieties, and that $\widehat{G}$ determines the Betti numbers of the finite cyclic covers of $X$ in degrees $\le q$, which holds unconditionally for $q=1$ and in all degrees when $X$ is aspherical and $G$ is good in the sense of Serre. We show also that $\widehat G$ determines the graded abelian groups $\mathrm{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 $\mathcal{A}$, it follows that no arithmetic Zariski pair is distinguished by any of these invariants, while two known lattice-isomorphic pairs show that the profinite completion of the arrangement group $G(\mathcal{A})$ is not combinatorially determined, and does not determine $G(\mathcal{A})$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander I. Suciu. 2026-09-29. Profinite completions and cohomology jump loci. https://arxiv.org/abs/2609.38675

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the structure of abelian Hopf algebras

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a similar classification of not necessarily $p$-torsion objects that are either free as commutative algebras or cofree as cocommutative coalgebras. We also completely classify those objects that are indecomposable modulo $p$.

math.AT↗

Galois and separable extensions of Tambara functors

For a map of Tambara functors $R \rightarrow T$ we define when $T$ is separable over $R$ and if $T$ carries an action by some finite group $H$ that fixes $R$ we also define when $R \rightarrow T$ is an $H$-Galois extension of Tambara functors. We show that flat and separable extensions are (formally) étale in the sense of Hill and that Galois extensions are separable. We prove that the Burnside Tambara functor is separably closed and we express Nullstellensatzian Tambara functors as filtered colimits of Galois extensions.

math.AT↗

From configuration spaces to graph complexes via FA-modules

Work of Gadish and Hainaut (after Petersen) models the compactly supported cohomology of a wedge of circles as a polynomial functor. We identify the coefficients of this functor, $Φ[n,m]$, via a cobar construction of $\mathbf{FA}$-modules. This identification formally implies that these coefficients will arise in computations of graph homology, and we use this result to give examples of graph complexes whose homology may be embedded in $H_c^\ast(F(S^1\vee S^1,n))$. This includes the Payne-Willwacher marked graph complex in genus 2, for which we give a new, explicit decomposition in terms of $\mathbf{FA}$-modules. This allows us to describe $\mathsf{gr}_{11}H_c^{\ast}(\mathcal{M}_{2,n})$ as the cohomology of a complex of decorated trees and to show, for example, $\mathsf{gr}_{11}H_c^{n+1}(\mathcal{M}_{2,n})=0$.

math.AT↗