Search arXiv⌕ Search

arXiv · math/0608729

Surgery spectral sequence and stratified manifolds

Abstract

Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(π_1(X))$ for surgery obstruction groups of a manifold $X$ and the second $\Bbb LP_*(F)$ is a spectrum for surgery on a Browder-Livesay manifold pair $Y\subset X$. The geometric sense of the third term of filtration was explained by Muranov, Repovš, and Spaggiari in 2002. In the present paper we give a geometric interpretation of all spectra of filtration in construction of Hambleton and Kharshiladze. We introduce groups of obstructions to surgery on a system of embeddedd manifolds and prove that spectra which realize these groups coincide with spectra in the filtration of Hambleton and Kharshiladze. We describe algebraic and geometric properties of introduced obstruction groups and their relations to the classical surgery theory. We prove isomorphism between introduced groups and Browder-Quinn $L$-groups of stratified manifolds. We give an application of our results to closed manifold surgery problem and iterated Browder-Livesay invariant.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

R. Jimenez, Yu. V. Muranov, D. Repovš. 2006-08-29. Surgery spectral sequence and stratified manifolds. https://arxiv.org/abs/math/0608729

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

KEEP EXPLORING

Related papers

Embeddings of $k$-complexes in $2k$-manifolds and minimum rank of partial symmetric matrices

Let $K$ be a $k$-dimensional simplicial complex having $n$ faces of dimension $k$, and $M$ a closed $(k-1)$-connected PL $2k$-dimensional manifold. We prove that for $k\ge3$ odd $K$ embeds into $M$ if and only if there are $\bullet$ a skew-symmetric $n\times n$-matrix $A$ with integer entries, whose rank over $\mathbb Q$ does not exceed $rk H_k(M;\mathbb Z)$, $\bullet$ a general position PL map $f:K\to\mathbb R^{2k}$, and $\bullet$ orientations on $k$-faces of $K$ \newline such that for any nonadjacent $k$-faces $σ,τ$ of $K$ the entry $A_{σ,τ}$ equals to the algebraic intersection of $fσ$ and $fτ$. We prove some analogues of this result (for any parity of $k$), including those for $\mathbb Z_2$- and $\mathbb Z$-embeddability. Our results generalize the Bikeev-Fulek-Kyn\v cl criteria for the $\mathbb Z_2$- and $\mathbb Z$-embeddability of graphs to surfaces, and are related to the Harris-Krushkal-Johnson-Paták-Tancer criteria for the embeddability of $k$-complexes into $2k$-manifolds. The main novelty of this paper is passing from the cohomology condition of Paták-Tancer to the simpler extendability of some intersection function to a low-rank matrix (defined in the paper using the idea of Fulek-Kyn\v cl).

math.GT↗

Ropelength-Filtered Reidemeister Graphs

We prove relative smoothing with uniform reach control for one-parameter families of positive-reach $C^{1,1}$ knots and combine it with relative multijet transversality to obtain projection-generic regularization inside strict ropelength sublevels. Passing to a lifted Reidemeister multigraph reconstructs the admissible $π_0$ of every strict projection-framed ropelength sublevel, and the right-relaxed diagrammatic merge scale equals the geometric one. The normalised projection-framed sublevels are compact, so connected merge levels are attained. These degree-zero results are organized by a fibre cosheaf: a filtered relational cellular cosheaf of sets on the planar Reidemeister multigraph, whose stalks are strict fibre components and whose costalks are the relations realized by Reidemeister movies. The lifted multigraph is its Grothendieck construction, reconstruction is a descent statement, and the diagram image is its support. The diagram image computes merges exactly when no stalk is persistently separated, and a canonical flat coarsening is the coarsest diagram-indexed model that computes components. For amphichiral knots the spherical diagram image cannot detect mirror barriers, whereas the planar image can; no planar type of the standard diagrams of $4_1$ and $6_3$ is fixed by crossing switch. Symmetric hubs and finite certificates give upper bounds for mirror merges, and sign separators give lower bounds. For finite recognition we distinguish full rooted-ball occurrence, visibility in the monotone diagram-image filtration, and saturation. Every finite Reidemeister submultigraph becomes visible at a finite ropelength level, a visible saturated Barbensi-Celoria characteristic certificate determines the knot type up to mirroring, and a universal computable crossing-complexity bound controls visibility.

math.GT↗

The residual map as a stratified fibration over the resonance arrangement

Given a stratum $\mathcal{H}(μ)$ of meromorphic one-forms on a Riemann surface with prescribed orders of zeros and poles, the residual map assigns to each differential the collection of its residues at the poles. In this paper, we prove that the residual map is a locally trivial topological fibration over each open flat of the stratification induced by the resonance arrangement. To give an algebro-geometric proof of this result, we introduce a refined compactification of the projectivized stratum $\mathbb{P}\mathcal{H}(μ)$, namely the moduli space of residue-aligned multi-scale differentials $\operatorname{RAMS}(μ)$. We prove that the projectivized residual map extends to $\operatorname{RAMS}(μ)$ as a stratified fibration over the projectivized resonance arrangement, thereby yielding a resolution of the projectivized residual map. This approach naturally extends to the analogue of the residual map for strata of $k$-differentials. Complementing the algebro-geometric approach, we also develop a flat-geometric point of view. In genus zero, each isoresidual fiber carries a canonical higher-dimensional analogue of a translation structure. These fibers admit a metric completion whose boundary has a modular interpretation in terms of the WYSIWYG compactification, for which we provide explicit local models. Isoresidual fibers admit a polyhedral cell decomposition whose geometry varies linearly with the underlying configuration of residues in period coordinates. Degenerations of these cells occur precisely when resonance conditions are satisfied, providing a geometric proof that the residual map is a stratified fibration. Finally, certain isoresidual fibers admit natural interpretations as Hurwitz spaces of branched covers, yielding unexpected homeomorphisms between moduli spaces of covers with prescribed ramification profiles.

math.GT↗