Matthias Kreck
In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.
We compute the oriented cobordism group of fold maps of 4-manifolds into the space with all the possible restrictions (and also with no restriction) to the singular fibers. We also give geometric invariants which describe completely the cobordism group of fold maps.
Cobordism of nested manifolds
研究嵌套流形的配边，通过推广Pontryagin-Thom构造，建立嵌套配边与链环配边之间的联系，并给出Wall定理的替代证明。
In this paper, we introduce a category of graded commutative rings with certain algebraic morphisms, to investigate the cobordism category of plumbed 3-manifolds. In particular, we define a non-associative distributive algebra that gives necessary conditions for an abstract morphism between the homologies of two plumbed 3-manifolds to be realized geometrically by a cobordism. Here we also consider the homology cobordism monoid, and give a necessary condition using w-invariants for the homology 3-spheres to belong to the inertia group associated to some homology 3-spheres.
The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of homotopy self-equivalences of $4$-manifolds. Using this braid together with the modified surgery theory of Kreck, we give an $s$-cobordism classification for certain $4$-manifolds with fundamental group $π$, such that cd $π\leq 2$.
We prove that the stable moduli space of $(n-1)$-connected, $n$-parallelizable, $(2n+1)$-dimensional manifolds is homology equivalent to an infinite loopspace for $n \geq 4, n \neq 7$. The main novel ingredient is a version of the cobordism category incorporating surgery data in the form of Lagrangian subspaces.
Some remarks on $h$-cobordisms between smooth 4-manifolds
本文探讨了光滑4维流形间h-cobordism定理的实现实质，提出新的条件以解答相关问题，并分析标准方法在特定torsion下的失效条件。
PL cobordism and classification of PL manifolds
本文研究 PL 配边理论，给出相关结论并计算弦 PL 配边群，进而分类维数 10 和 13 的 PL 流形。
Galatius, Madsen, Tillmann and Weiss have identified the homotopy type of the classifying space of the cobordism category with objects (d-1)-dimensional manifolds embedded in R^\infty. In this paper we apply the techniques of spaces of manifolds, as developed by the author and Galatius, to identify the homotopy type of the cobordism category with objects (d-1)-dimensional submanifolds of a fixed background manifold M. There is a description in terms of a space of sections of a bundle over M associated to its tangent bundle. This can be interpreted as a form of Poincare duality, relating a spac…
Cobordism Obstructions to Complex Sections
本文将向量场配边推广到近复流形，定义并计算了复截面配边群，用 Chern 类刻画了流形可配备 r 个线性无关复截面的阻碍，并证明该阻碍在复配边环的某些乘法生成元上消失。
We consider the topological category of $h$-cobordisms between manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.
This paper deals with the question of J.Morava on existence of canonical complex cobordism class of singular submanifold. We present several solutions of this question for $X_r(ξ)$ -- the set of points where $\dimξ-r+1$ generic sections of a complex vector bundle $ξ$ are linearly dependent. The corresponding complex cobordism classes $Q_r(ξ)$ and $P_r(ξ)$ tend to have many nice properties, such as deformed sum formula, but they don't coincide with Chern classes $c_r^U(ξ)$. They also have relation to the theory of $IH$-small resolutions.
Secondary Stiefel-Whitney numbers and corresponding cobordism groups
本文研究了二次Stiefel-Whitney数与相应cobordism群的关系，提出了新的不变量并证明其在cobordism分类中的重要性。
For a given list of closed manifolds $Σ_k=(P_1,...,P_k)$, we construct a cobordism category $\mathbf{Cob}_{d}^{Σ_{k}}$ of embedded manifolds with Baas-Sullivan singularities of type $Σ_k$. Our main results identify the homotopy type of the classifying spaces $B\mathbf{Cob}_{d}^{Σ_{k}}$ of these cobordism categories with that of the infinite loop-space of a certain spectrum, $\mathsf{MT}_{Σ_{k}}(d)$. Our results generalize of the work of Galatius, Madsen, Tillmann, and Weiss from arXiv:math/0605249. It also generalizes the work of Genauer on the cobordism categories of manifolds with corners fr…
For a fixed closed manifold $P$, we construct a cobordism category of embedded manifolds with a single Baas-Sullivan singularity of type $P$. Our main theorem identifies the homotopy type of the classifying space of this cobordism category with that of the infinite loop-space of a certain spectrum related to the spectrum $\text{MT}(d)$ introduced in [arXiv:math/0605249]. We obtain an analogue of the Bockstein-Sullivan exact couple that arises between the classical bordism theories $MO$ and $MO_{P}$ on the level of cobordism categories.
Some properties of non-orientable 3-manifolds are shown. The semi-group of cobordism of immersions of surfaces in such manifolds is computed and proven actually to be a group. Explicit invariants are provided.
This is primarily an exposition, combining work of several authors (Curtis, Hsiang, Freedman, Stong, Matveyev, and Bizaca), of the proof that a smooth 5-dimensional h-cobordism between simply connected 4-manifolds is a product off of a contractible piece which itself is diffeomorphic to the 5-ball.
We consider compact homogeneous spaces G/H of positive Euler characteristic endowed with an invariant almost complex structure J and the canonical action θof the maximal torus T ^{k} on G/H. We obtain explicit formula for the cobordism class of such manifold through the weights of the action θat the identity fixed point eH by an action of the quotient group W_G/W_H of the Weyl groups for G and H. In this way we show that the cobordism class for such manifolds can be computed explicitly without information on their cohomology. We also show that formula for cobordism class provides an explicit w…
Let $\mathcal{A}_{g,d}$ be the (topological) cobordism category of orientable surfaces whose connected components are homeomorphic to either $S^1 \times I$ with one incoming and one outgoing boundary component or the surface $Σ_{g,d}$ of genus $g$ and $d$ boundary components that are all incoming. In this paper, we study the homotopy type of the classifying space of the cobordism categories $\mathcal{A}_{g,d}$ and the associated (ordinary) cobordism categories of their connected components $\mathbb{A}_d$. $\mathcal{A}_{0,2}$ is the cobordism category of complex annuli that was considered by Co…
We prove that an embedded cobordism between manifolds with boundary can be split into a sequence of right product and left product cobordisms, if the codimension of the embedding is at least two. This is a topological counterpart of the algebraic splitting theorem for embedded cobordisms of the first author, A. Nemethi and A. Ranicki. In the codimension one case, we provide a slightly weaker statement. We also give proofs of rearrangement and cancellation theorems for handles of embedded submanifolds with boundary.
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manifold N is a sum of q/2 cobordism groups of framed immersions to N and a group related to diffeomorphism groups of manifolds of dimension q+1. Similarly, in the case of odd q, the cobordism group of fol…
Homology cobordism for some Sol manifolds
该研究证明，具有特定同调群性质的Sol流形在整数同调cobordism下等价于它们的同胚性。
Cobordism of Haken $n$-manifolds is defined by a Haken $(n+1)$-manifold $W$ whose boundary has two components, each of which is a closed Haken $n$-manifold. In addition, the inclusion map of the fundamental group of each boundary component to $π_1(W)$ is injective. In this paper we prove that there are 4-dimensional Haken cobordisms whose boundary consists of any two closed Haken 3-manifolds. In particular, each closed Haken 3-manifold is the $π_1$-injective boundary of some Haken 4-manifold.
$h$-cobordisms between $1$-connected manifolds with boundary
该研究在光滑与拓扑范畴中分类带边界的1-连通4维流形间的h-配边，推广了Kreck的闭流形相关结果，还应用得到Orson-Powell映射类群计算的单射部分。
We develop Morse theory for manifolds with boundary. Besides standard and expected facts like the handle cancellation theorem and the Morse lemma for manifolds with boundary, we prove that, under a topological assumption, a critical point in the interior of a Morse function can be moved to the boundary, where it splits into a pair of boundary critical points. As an application, we prove that every cobordism of manifolds with boundary splits as a union of left product cobordisms and right product cobordisms.
The main result is that an s-cobordism (topological or smooth) of 4-manifolds has a product structure outside a ``core'' sub s-cobordism. These cores are arranged to have quite a bit of structure, for example they are smooth and abstractly (forgetting boundary structure) diffeomorphic to a standard neighborhood of a 1-complex. The decomposition is highly nonunique so cannot be used to define an invariant, but it shows the topological s-cobordism question reduces to the core case. The simply-connected version of the decomposition (with 1-complex a point) is due to Curtis, Freedman, Hsiang and S…
For any oriented cusped hyperbolic $3$-manifold $M$, we study its $(R,ε)$-panted cobordism group, which is the abelian group generated by $(R,ε)$-good curves in $M$ modulo the oriented boundaries of $(R,ε)$-good pants. In particular, we prove that for sufficiently small $ε>0$ and sufficiently large $R>0$, some modified version of the $(R,ε)$-panted cobordism group of $M$ is isomorphic to $H_1(\text{SO}(M);\mathbb{Z})$.
It is known that every closed oriented 3-manifold is homology cobordant to a hyperbolic 3-manifold. By contrast we show that many homology cobordism classes contain no Seifert fibered 3-manifold. This is accomplished by determining the isomorphism type of the rational cohomology ring of all Seifert fibered 3-manifolds with no 2-torsion in their first homology. Then we exhibit families of examples of 3-manifolds (obtained by surgery on links), with fixed linking form and cohomology ring, that are not homology cobordant to any Seifert fibered space (as shown by their rational cohomology ring). T…
We fix a null-homologous, homotopically essential knot $J$ in a 3-manifold with PTFA fundamental group and study concordance of knots that are homotopic to $J$. We construct an infinite family of knots that are characteristic to $J$, and then use $L^2$-methods to show that they are not concordant to $J$.
Given a set of simplifying moves on 3-manifolds, we apply them to a given 3-manifold M as long as possible. What we get is a root of M. For us, it makes sense to consider three types of moves: compressions along 2-spheres, proper discs and proper annuli having boundary circles in different components of the boundary of M. Our main result is that for the above moves the root of any 3-manifold exists and is unique. The same result remains true if instead of manifolds we apply the moves to 3-cobordisms.
Continuing our previous work, we effectively compute connected Heegaard Floer homologies of two families of Brieskorn spheres realized as the boundaries of almost simple linear graphs. Using Floer theoretic invariants of Dai, Hom, Stoffregen, and Truong, we show that these Brieskorn spheres also generate infinite rank summands in the homology cobordism group. Our computations also have applications to the concordance of classical knots and $0$-concordance of $2$-knots.
We give a sufficient and necessary condition of the fundamental group homomorphism of a map between manifolds to induce homology equivalences. Moreover, a classification of one-sided h-cobordism of manifolds up to diffeomorphisms is obtained, based on Quillen's plus construction with Whitehead torsions.
It has been a central open problem in Heegaard Floer theory whether cobordisms of links induce homomorphisms on the associated link Floer homology groups. We provide an affirmative answer by introducing a natural notion of cobordism between sutured manifolds, and showing that such a cobordism induces a map on sutured Floer homology. This map is a common generalization of the hat version of the closed 3-manifold cobordism map in Heegaard Floer theory, and the contact gluing map defined by Honda, Kazez, and Matić. We show that sutured Floer homology, together with the above cobordism maps, forms…
We introduce a notion of symmetric Whitney tower cobordism between bordered 3-manifolds, aiming at the study of homology cobordism and link concordance. It is motivated by the symmetric Whitney tower approach to slicing knots and links initiated by Cochran, Orr, and Teichner. We give amenable Cheeger-Gromov rho-invariant obstructions to bordered 3-manifolds being Whitney tower cobordant. Our obstruction is related to and generalizes several prior known results, and also gives new interesting cases. As an application, our method applied to link exteriors reveals new structures on (Whitney tower…
We establish a structural understanding of the involutive Heegaard Floer homology for all linear combinations of almost-rational (AR) plumbed three-manifolds. We use this to show that the Neumann-Siebenmann invariant is a homology cobordism invariant for all linear combinations of AR plumbed homology spheres. As a corollary, we prove that if $Y$ is a linear combination of AR plumbed homology spheres with $μ(Y) = 1$, then $Y$ is not torsion in the homology cobordism group. A general computation of the involutive Heegaard Floer correction terms for these spaces is also included.
This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We construct infinitely many hyperbolic 3-manifolds which have local hidden torsion in the transfinite lower central subgroup. By realizing Cheeger-Gromov invariants over amenable groups, we show that our hyperbolic 3-manifolds are not pairwise homology cobordant, yet remain indistingui…
A major challenge in the study of the structure of the three-dimensional homology cobordism group is to understand the interaction between hyperbolic geometry and homology cobordism. In this paper, for a hyperbolic homology sphere $Y$ we derive explicit bounds on the relative grading between irreducible solutions to the Seiberg-Witten equations and the reducible one in terms of the spectral and Riemannian geometry of $Y$. Using this, we provide explicit bounds on some numerical invariants arising in monopole Floer homology (and its $\mathrm{Pin}(2)$-equivariant refinement). We apply this to st…
We investigate rational homology cobordisms of 3-manifolds with non-zero first Betti number. This is motivated by the natural generalization of the slice-ribbon conjecture to multicomponent links. In particular we consider the problem of which rational homology $S^1\times S^2$'s bound rational homology $S^1\times D^3$'s. We give a simple procedure to construct rational homology cobordisms between plumbed 3-manifold. We introduce a family F of plumbed 3-manifolds with first Betti number equal to 1. By adapting an obstruction based on Donaldson's diagonalization theorem we characterize all manif…
We construct a map from the suspension $G$-spectrum $Σ_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism spectra. This map is constructed as a map of spectral Mackey functors, which is compatible with tom Dieck style splitting formulas on fixed points. In order to synthesize different definitions of the suspension $G$-spectrum as a spectral Mackey functor, we present a new perspective on spectral Mackey functors, viewing them as multifunctors on indexing categories for "r…
The study of triangulations on manifolds is closely related to understanding the three-dimensional homology cobordism group. We review here what is known about this group, with an emphasis on the local equivalence methods coming from Pin(2)- equivariant Seiberg-Witten Floer spectra and involutive Heegaard Floer homology.
Cobordism and Concordance of Surfaces in 4-Manifolds
本文研究了4-流形中表面的cobordism与concordance，通过扩展Sunukjian的方法，利用Pin^-结构，得出了闭合非定向表面在单连通4-流形中在concordance下的分类结果。
We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected manifold. These two results allow us to define a category $\textrm{Tri}$ whose objects are smooth, closed, oriented $3$-manifolds equipped with open book decompositions, and morphisms are relatively tr…
For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its simplicial nerve) as the fixed points of the infinite loop space of an equivariant spectrum.
A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($Σ^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of only fold singularities ($Σ^{1,0}$-singularities). Two fold maps are fold bordant if there are cobordisms between their source- and target manifolds with a fold map extending the two maps between the boundaries, if the two targets agree and the target cobordism can be taken as a product with a unit interval then the maps are fold cobordant. We compute the cobordism …
We give complete geometric invariants of cobordisms of framed fold maps. These invariants consist of two types. We take the immersion of the fold singular set into the target manifold together with information about non-triviality of the normal bundle of the singular set in the source manifold. These invariants were introduced in the author's earlier works. Secondly we take the induced stable partial framing on the source manifold whose cobordisms were studied in general by Koschorke. We show that these invariants describe completely the cobordism groups of framed fold maps into R^n. Then we a…
The purpose of this note is to show that classical cobordism arguments, which go back to the pioneering works of Mandelbaum and Moishezon, provide quick and unified proofs of any knot surgered compact simply-connected 4-manifold X_K becoming diffeomorphic to X after a single stabilization by connected summing with S^2 x S^2 or CP^2 # -CP^2, and almost complete decomposability of X_K for many almost completely decomposable X, such as the elliptic surfaces.
The main result of this paper states that a symplectic s-cobordism of elliptic 3-manifolds is diffeomorphic to a product (assuming a canonical contact structure on the boundary). Based on this theorem, we conjecture that a smooth s-cobordism of elliptic 3-manifolds is smoothly a product if its universal cover is smoothly a product. We explain how the conjecture fits naturally into the program of Taubes of constructing symplectic structures on an oriented smooth 4-manifold from generic self-dual harmonic forms. The paper also contains an auxiliary result of independent interest, which generaliz…
In this note we make several observations concerning symplectic cobordisms. Among other things we show that every contact 3-manifold has infinitely many concave symplectic fillings and that all overtwisted contact 3-manifolds are ``symplectic cobordism equivalent.''
A K-theory spectrum for cobordism cut and paste groups
本文构造了一个谱，其在$\pi_0$上恢复带边流形的余边切割粘贴群$\overline{\mathrm{SK}}^{\partial}_n$，并给出提升典范商映射的谱映射。
We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the sense of Freedman and Quinn. On a separate note, we observe that the Borel Conjecture is true in dimension 4 up to s-cobordism, assuming that the fundamental group satisfies the Farrell--Jones Conjecture.
We construct four-dimensional symplectic cobordisms between contact three-manifolds generalizing an example of Eliashberg. One key feature is that any handlebody decomposition of one of these cobordisms must involve three-handles. The other key feature is that these cobordisms contain chains of symplectically embedded two-spheres of square zero. This, together with standard gauge theory, is used to show that any contact three-manifold of non-zero torsion (in the sense of Giroux) cannot be strongly symplectically fillable. John Etnyre pointed out to the author that the same argument together wi…
In this paper we show that for a large class C of 4-manifolds each member of C has only finitely many simple homotopy type upto s-cobordism. This result generalizes a similar result of Hillman for certain complex surfaces. We also present a correction in the proof of Hillman's result.
The smooth rational homology cobordism group of rational homology three spheres, T, contains subgroups T_p generated by 3-manifolds with first homology p-torsion, where p is a prime. Rochlin's theorem and gauge theoretic methods show that the inclusion of the direct sum of the T_p into T has infinitely generated kernel. We use Heegaard-Floer methods to show that the cokernel is infinitely generated. On the level of Witt groups of linking forms and conjecturally in the topological category, the inclusion is an isomorphism. One application is the demonstration of the failure in dimension three o…
We determine when there exists a ribbon rational homology cobordism between two connected sums of lens spaces, i.e. one without $3$-handles. In particular, we show that if a lens space $L$ admits a ribbon rational homology cobordism to a different lens space, then $L$ must be homeomorphic to $L(n,1)$, up to orientation-reversal. As an application, we classify ribbon $χ$-concordances between connected sums of $2$-bridge links. Our work builds on Lisca's work on embeddings of linear lattices.
A Heegaard-Floer TQFT for link cobordisms
该研究提出一种不依赖装饰的Heegaard-Floer同调函子，建立了从有向链环与配边范畴到二元域上多项式模范畴的对应，补充了该函子的基础性质，完善了链环配边的拓扑量子场论构造。
We show that the pre-order defined on the category of contact manifolds by arbitrary symplectic cobordisms is considerably less rigid than its counterparts for exact or Stein cobordisms: in particular, we exhibit large new classes of contact 3-manifolds which are symplectically cobordant to something overtwisted, or to the tight 3-sphere, or which admit symplectic caps containing symplectically embedded spheres with vanishing self-intersection. These constructions imply new and simplified proofs of several recent results involving fillability, planarity and non-separating contact type embeddin…
Let P be a connected smooth p-manifold. We describe the group of all cobordism classes of smooth maps of n-manifolds to P with singularities of a given $cal K$-invariant class in terms of certain stable homotopy groups by applying the relative homotopy principle on the existence level. We also deal with the oriented version and construct a classifying space to which this oriented cobordism group is represented as the set of homotopy classes of P in the codimension n<p and n\geqq p\geqq 2.
A homology cylinder over a compact manifold is a homology cobordism between two copies of the manifold together with a boundary parametrization. We study abelian quotients of the homology cobordism group of homology cylinders. For homology cylinders over general surfaces, it was shown by Cha, Friedl and Kim that their homology cobordism groups have infinitely generated abelian quotient groups by using Reidemeister torsion invariants. In this paper, we first investigate their abelian quotients again by using another invariant called the Magnus representation. After that, we apply the machinery …
Using methods inspired from algebraic $K$-theory, we give a new proof of the Genauer fibration sequence, relating the cobordism categories of closed manifolds with cobordism categories of manifolds with boundaries, and of the Bökstedt-Madsen delooping of the cobordism category. Unlike the existing proofs, this approach generalizes to other cobordism-like categories of interest. Indeed we argue that the Genauer fibration sequence is an analogue, in the setting of cobordism categories, of Waldhausen's Additivity theorem in algebraic $K$-theory.
We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from X to X. As an application, we give results restricting the minimal number of double points of immersed spheres in manifolds homeomorphic to rational surfaces.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。