The Theorem of Kronheimer-Mrowka
英文摘要：
This note is an exposition of the proof of Thom's conjecture by Kronheimer and Mrowka, using the new Seiberg-Witten invariants.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
A Bauer-Furuta type refinement of Kronheimer-Mrowka's invariant for 4-manifolds with contact boundary
Kronheimer and Mrowka constructed a variant of Seiberg-Witten invariants for a 4-manifold $X$ with contact boundary in 1997. Using Furuta's finite dimensional approximation, we refine this invariant in the case $H^1(X, \partial X; \mathbb{R})=0$.
math.DGmath.GT
Lattice points, Dedekind-Rademacher sums and a conjecture of Kronheimer and Mrowka
We express the number of lattice points inside certain simplices via Dedekind-Rademacher sums. As an application, we prove a conjecture of Kronheimer and Mrowka in the special case of Brieskorn spheres (with at most 4 singular fibers). This conjecture relates the Euler characteristic of the Seiberg-Witten-Floer homology to the Casson invariant.
math.DGmath.NT
Seiberg-Witten Floer homotopy contact invariant
We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer-Mrowka-Ozváth-Szabó. Moreover, we prove a gluing formula relating our invariant with the first author's Bauer-Furuta type invariant, which refines Kronheimer-Mrowka's invariant for 4-manifolds with contact boundary. As an application, we give a constraint for a certain class of symplectic fillings using equivariant KO-cohomology.
math.DGmath.GT
A splitting theorem for the Seiberg-Witten invariant of a homology $S^1 \times S^3$
We study the Seiberg-Witten invariant $λ_{\rm{SW}} (X)$ of smooth spin $4$-manifolds $X$ with integral homology of $S^1\times S^3$ defined by Mrowka, Ruberman, and Saveliev as a signed count of irreducible monopoles amended by an index-theoretic correction term. We prove a splitting formula for this invariant in terms of the Frøyshov invariant $h(X)$ and a certain Lefschetz number in the reduced monopole Floer homology of Kronheimer and Mrowka. We apply this formula to obstruct existence of metrics of positive scalar curvature on certain 4-manifolds, and to exhibit new classes of integral homo…
math.APmath.DGmath.GT
