Eventual equality of the Thurston and higher-order Alexander norms

About 20 years old · traced to

Let MM be a 33-manifold, let π1(M)r(n)\pi_1(M)_{r}^{(n)} denote the nnth term of its rational derived series, and define

π1(M)r(ω)=⋂n∈Nπ1(M)r(n).\pi_1(M)_{r}^{(\omega)}=\bigcap_{n\in\mathbb{N}}\pi_1(M)_{r}^{(n)}.

For each n∈Nn\in\mathbb{N}, let ∣∣,⋅,∣∣n||\\,\cdot\\,||_n be the corresponding higher-order Alexander seminorm, and let ∣∣,⋅,∣∣T||\\,\cdot\\,||_T be the Thurston seminorm. Eventual equality conjecture. If

π1(M)r(ω)=1,\pi_1(M)_{r}^{(\omega)}=\\{1\\},

then there exists n∈Nn\in\mathbb{N} such that

∣∣,⋅,∣∣T=∣∣,⋅,∣∣n.||\\,\cdot\\,||_T=||\\,\cdot\\,||_n.

The conjecture asks when the sequence of higher-order Alexander seminorms eventually agrees with the Thurston seminorm. The preceding discussion gives examples where eventual agreement is known, while the general question remains open.

References

Primary source

Stefan Friedl and Shelly Harvey, “Non-commutative Multivariable Reidemeister Torsion and the Thurston Norm”, arXiv:math/0608409 (2006).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.