Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 0705.0088

Link concordance, homology cobordism, and Hirzebruch-type defects from iterated p-covers

Jae Choon Cha
View original source ↗Read source document ↗Export metadata ↓

Abstract

We obtain new invariants of topological link concordance and homology cobordism of 3-manifolds from Hirzebruch-type intersection form defects of towers of iterated p-covers. Our invariants can extract geometric information from an arbitrary depth of the derived series of the fundamental group, and can detect torsion which is invisible via signature invariants. Applications illustrating these features include the following: (1) There are infinitely many homology equivalent rational 3-spheres which are indistinguishable via multisignatures, eta-invariants, and L2-signatures but have distinct homology cobordism types. (2) There is an infinite family of 2-torsion (amphichiral) knots, including the figure eight knot, with non-slice iterated Bing doubles; as a special case, we give the first proof of the conjecture that the Bing double of the figure eight knot is not slice. (3) There exist infinitely many torsion elements at any depth of the Cochran-Orr-Teichner filtration of link concordance.

Explore related subjects

math.GT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jae Choon Cha. 2008-06-16. Link concordance, homology cobordism, and Hirzebruch-type defects from iterated p-covers. https://arxiv.org/abs/0705.0088

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

KEEP EXPLORING

Related papers

arXiv2026

A new formulation of the Teichmüller TQFT

Using the Weil--Gel'fand--Zak transform of Faddeev's quantum dilogarithm, we construct a compact state integral for positively shaped triangulations of oriented pseudo three-manifolds. The integral is labelled by a circle-valued first cohomology class of the vertex complement (a ``sector'') and takes boundary values in a line bundle over compatible boundary cocycles. We prove absolute convergence, smoothness, invariance under shape gauge transformations and under compatible shaped $2$--$3$ moves, branching independence, and a single-valued global meromorphic continuation in all shape and boundary parameters for each fixed quantum parameter. Gluing is expressed by a conditional Haar integral which retains the final cohomology class; the ordinary trace of integrated cut amplitudes computes an average of the sectors over a torus of classes determined by the cut, and is a sewing formula for every cut of a closed oriented three-manifold, but not for arbitrary pseudo-manifolds. For closed admissible triangulations, the original Teichmüller partition function is the normalized average of the sectors; this yields its global meromorphic continuation. A translation law relates sectors differing by twice an extending class, with phases given by linking pairings; for closed three-manifolds the sectors are supported in a distinguished coset of twice the torsion group and are determined by a single amplitude, which a nonvanishing twisted quadratic Gauss sum recovers from the original partition function.

math.GT↗
arXiv2026

The symplectic isotopy problem for rational cuspidal curves

We define a suitably tame class of singular symplectic curves in 4-manifolds, namely those whose singularities are modeled on complex curve singularities. We study the corresponding symplectic isotopy problem, with a focus on rational curves with irreducible singularities (rational cuspidal curves) in the complex projective plane. We prove that every such curve is isotopic to a complex curve in degrees up to 5, and for curves with one singularity whose link is a torus knot. Classification results of symplectic isotopy classes rely on pseudo-holomorphic curves together with a symplectic version of birational geometry of log pairs and techniques from 4-dimensional topology.

math.GT↗
arXiv2026

An infinity-categorical TQFT from instantons

In this paper, we lift the instanton TQFT from ordinary categories to the $\infty$-categorical setting by constructing a functor $CI:\mathrm{BI}^{\partial}\longrightarrow\mathsf{D}$ from an $\infty$-cobordism category $\mathrm{BI}^{\partial}$ for instantons to an $\infty$-derived category $\mathsf{D}$ of $2$-periodic chain complexes. The construction of $\mathrm{BI}^{\partial}$ is a modification of the $\infty$-cobordism category $\mathrm{Bord}_4$ introduced by Lurie and by Calaque--Scheimbauer using complete Segal spaces. The target $\infty$-category $\mathsf{D}$ is obtained via the dg nerve of the dg category of $2$-periodic chain complexes of finitely presented projective $\mathbb{Z}$-modules. The information encoded by the functor $CI$ was already developed by Kronheimer--Mrowka using families of metrics on cobordisms. Our reinterpretation in terms of $\infty$-categories conceptually simplifies the construction of the hypercube complexes underlying the link spectral sequence. This viewpoint also clarifies hyperbox complexes and compression in Manolescu--Ozsváth's work, and possible $A_\infty$-structures, especially their signs and higher coherence. In addition, we lift the generalized cap product $μ$-operators in instanton Floer homology to the chain level and construct explicit homotopies and higher homotopies establishing the commutativity of multiple $μ$-operators in even degrees.

math.GT↗