Showing 1–26 of 26 results for author: Mrowka, T

Relations in singular instanton homology

Authors: Peter B. Kronheimer, Tomasz S. Mrowka

Abstract: We calculate the singular instanton homology with local coefficients for the simplest n-strand braids in $S^1 \times S^2$ for all odd n, describing these homology groups and their module structures in terms of the coordinate rings of explicit algebraic curves. The calculation is expected to be equivalent to computing the quantum cohomology ring of a certain Fano variety, namely a moduli space of s… ▽ More We calculate the singular instanton homology with local coefficients for the simplest n-strand braids in $S^1 \times S^2$ for all odd n, describing these homology groups and their module structures in terms of the coordinate rings of explicit algebraic curves. The calculation is expected to be equivalent to computing the quantum cohomology ring of a certain Fano variety, namely a moduli space of stable parabolic bundles on a sphere with n marked points. △ Less

Submitted 13 October, 2022; originally announced October 2022.

Comments: 88 pages, 5 figures

MSC Class: 57R58 (Primary) 14H60 (Secondary)

The Dehn twist on a sum of two K3 surfaces

Authors: Peter Kronheimer, Tomasz Mrowka

Abstract: Ruberman gave the first examples of self-diffeomorphisms of four-manifolds that are isotopic to the identity in the topological category but not smoothly so. We give another example of this phenomenon, using the Dehn twist along a 3-sphere in the connected sum of two K3 surfaces. Ruberman gave the first examples of self-diffeomorphisms of four-manifolds that are isotopic to the identity in the topological category but not smoothly so. We give another example of this phenomenon, using the Dehn twist along a 3-sphere in the connected sum of two K3 surfaces. △ Less

Submitted 29 January, 2020; v1 submitted 23 January, 2020; originally announced January 2020.

Comments: 15 pages. Corrected with additional remarks about prior work in the higher-dimensional case

MSC Class: 57R57; 57R50; 57R52

Instantons and some concordance invariants of knots

Authors: Peter B. Kronheimer, Tomasz S. Mrowka

Abstract: Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1-parameter family of homomorphisms $f_{r}$, from the knot concordance group to the reals. Prima facie, these concordance invariants have the potential to provide independent bounds on the genus and number of do… ▽ More Concordance invariants of knots are derived from the instanton homology groups with local coefficients, as introduced in earlier work of the authors. These concordance invariants include a 1-parameter family of homomorphisms $f_{r}$, from the knot concordance group to the reals. Prima facie, these concordance invariants have the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot. △ Less

Submitted 19 October, 2019; originally announced October 2019.

Comments: This paper, together with a companion paper "Instantons and Bar-Natan homology", supersedes the authors' earlier preprint, "Instantons, Bar-Natan homology and some concordance invariants of knots"

MSC Class: 57R58 (primary) 05C15 (secondary)

Instantons and Bar-Natan homology

Authors: Peter B. Kronheimer, Tomasz S. Mrowka

Abstract: A spectral sequence is established, whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology, in Khovanov's classification. A spectral sequence is established, whose $E_{2}$ page is Bar-Natan's variant of Khovanov homology and which abuts to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence whose $E_{2}$ page is a characteristic-2 version of $F_{5}$ homology, in Khovanov's classification. △ Less

Submitted 18 October, 2019; originally announced October 2019.

Comments: 60 pages. This paper, together with a companion, supersedes the authors' earlier preprint "Instantons, Bar-Natan homology and some concordance invariants of knots" (arXiv:1905.00828)

MSC Class: 57R58 (primary) 05C15 (secondary)

Instantons, Bar-Natan homology, and some concordance invariants of knots

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of knots are derived from the corresponding instanton homology groups, including a… ▽ More A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of knots are derived from the corresponding instanton homology groups, including a 1-parameter family of homomorphisms $f_r$ from the concordance group to the reals, having the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot. △ Less

Submitted 28 October, 2019; v1 submitted 2 May, 2019; originally announced May 2019.

Comments: This paper has been withdrawn as its content is superseded by two more recent papers. The newer papers are arXiv:1910.11128 and arXiv:1910.11129, which separately treat the previous material relating instanton homology to Bar-Natan homology, and concordance invariants respectively

MSC Class: 57R58 (primary) 05C15 (secondary)

A deformation of instanton homology for webs

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: A deformation of the authors' instanton homology for webs is constructed by introducing a local system of coefficients. In the case that the web is planar, the rank of the deformed instanton homology is equal to the number of Tait colorings of the web. A deformation of the authors' instanton homology for webs is constructed by introducing a local system of coefficients. In the case that the web is planar, the rank of the deformed instanton homology is equal to the number of Tait colorings of the web. △ Less

Submitted 8 December, 2017; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: 48 pages, 6 figures

MSC Class: 57R58 (primary); 05C15 (secondary)

Journal ref: Geom. Topol. 23 (2019) 1491-1547

Exact triangles for SO(3) instanton homology of webs

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. From the octahedral diagram, one can derive equivalent reformulations of the autho… ▽ More The SO(3) instanton homology recently introduced by the authors associates a finite-dimensional vector space over the field of two elements to every embedded trivalent graph (or "web"). The present paper establishes a skein exact triangle for this instanton homology, as well as a realization of the octahedral axiom. From the octahedral diagram, one can derive equivalent reformulations of the authors' conjecture that, for planar webs, the rank of the instanton homology is equal to the number of Tait colorings. △ Less

Submitted 28 August, 2015; originally announced August 2015.

MSC Class: 57R58 (primary); 05C15 (secondary)

Tait colorings, and an instanton homology for webs and foams

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theo… ▽ More We use SO(3) gauge theory to define a functor from a category of unoriented webs and foams to the category of finite-dimensional vector spaces over the field of two elements. We prove a non-vanishing theorem for this SO(3) instanton homology of webs, using Gabai's sutured manifold theory. It is hoped that the non-vanishing theorem may support a program to provide a new proof of the four-color theorem. △ Less

Submitted 28 August, 2015; originally announced August 2015.

MSC Class: 57R58 (primary); 05C15 (secondary)

Index theory of the de Rham complex on manifolds with periodic ends

Authors: Tomasz Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away… ▽ More We study the de Rham complex on a smooth manifold with a periodic end modeled on an infinite cyclic cover X' \to X. The completion of this complex in exponentially weighted L^2-norms is Fredholm for all but finitely many exceptional weights determined by the eigenvalues of the covering translation map H_*(X') \to H_*(X'). We calculate the index of this weighted de Rham complex for all weights away from the exceptional ones. △ Less

Submitted 15 October, 2013; originally announced October 2013.

MSC Class: 58J20; 58J28; 58J35; 57Q45

Journal ref: Algebr. Geom. Topol. 14 (2014) 3689-3700

Gauge theory and Rasmussen's invariant

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: A previous paper of the authors' contained an error in the proof of a key claim, that Rasmussen's knot-invariant s(K) is equal to its gauge-theory counterpart. The original paper is included here together with a corrigendum, indicating which parts still stand and which do not. In particular, the gauge-theory counterpart of s(K) is not additive for connected sums. A previous paper of the authors' contained an error in the proof of a key claim, that Rasmussen's knot-invariant s(K) is equal to its gauge-theory counterpart. The original paper is included here together with a corrigendum, indicating which parts still stand and which do not. In particular, the gauge-theory counterpart of s(K) is not additive for connected sums. △ Less

Submitted 19 July, 2019; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: This version bundles the original submission with a 1-page corrigendum, indicating the error. The new version of the corrigendum points out that the invariant is not additive for connected sums. 23 pages, 3 figures

MSC Class: 57R58; 57R60

Filtrations on instanton homology

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: In earlier work of the authors, the Khovanov complex of a knot or link appeared as the first page in a spectral sequence abutting to the instanton homology. The quantum and (co)homological gradings on Khovanov homology do not survive as gradings, but we show that they survive as filtrations. In earlier work of the authors, the Khovanov complex of a knot or link appeared as the first page in a spectral sequence abutting to the instanton homology. The quantum and (co)homological gradings on Khovanov homology do not survive as gradings, but we show that they survive as filtrations. △ Less

Submitted 18 October, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 40 pages, 4 figures. Revised version, with corrected typos and extended introduction

MSC Class: 57M27

An index theorem for end-periodic operators

Authors: Tomasz Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We extend the Atiyah, Patodi, and Singer index theorem for first order differential operators from the context of manifolds with cylindrical ends to manifolds with periodic ends. This theorem provides a natural complement to Taubes' Fredholm theory for general end-periodic operators. Our index theorem is expressed in terms of a new periodic eta-invariant that equals the Atiyah-Patodi-Singer eta-in… ▽ More We extend the Atiyah, Patodi, and Singer index theorem for first order differential operators from the context of manifolds with cylindrical ends to manifolds with periodic ends. This theorem provides a natural complement to Taubes' Fredholm theory for general end-periodic operators. Our index theorem is expressed in terms of a new periodic eta-invariant that equals the Atiyah-Patodi-Singer eta-invariant in the cylindrical setting. We apply this periodic eta-invariant to the study of moduli spaces of Riemannian metrics of positive scalar curvature. △ Less

Submitted 24 July, 2014; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: 72 pages; extended and expanded from earlier versions. Introduction of twisted eta invariants with applications to moduli of metrics of positive scalar curvature

MSC Class: 58J20; 58J28; 58J35; 35K05

Journal ref: Compositio Math. 152 (2016) 399-444

Mutation and instanton knot homology

Authors: P. B. Kronheimer, T. S. Mrowka, Daniel Ruberman

Abstract: We show that instanton knot homology is mutation-invariant, as a consequence of earlier work of the third author. We show that instanton knot homology is mutation-invariant, as a consequence of earlier work of the third author. △ Less

Submitted 10 October, 2011; v1 submitted 6 December, 2010; originally announced December 2010.

Comments: This paper has been withdrawn

MSC Class: 57R58; 57M25

Khovanov homology is an unknot-detector

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an… ▽ More We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: 124 pages, 13 figures

MSC Class: 57R58; 57M25

$L^2$-topology and Lagrangians in the space of connections over a Riemann surface

Authors: Tomasz S. Mrowka, Katrin Wehrheim

Abstract: We examine the $L^2$-topology of the gauge orbits over a closed Riemann surface. We prove a subtle local slice theorem based on the div-curl Lemma of harmonic analysis, and deduce local pathwise connectedness and local uniform quasiconvexity of the gauge orbits. Using these, we generalize compactness results for anti-self-dual instantons with Lagrangian boundary counditions to general gauge invari… ▽ More We examine the $L^2$-topology of the gauge orbits over a closed Riemann surface. We prove a subtle local slice theorem based on the div-curl Lemma of harmonic analysis, and deduce local pathwise connectedness and local uniform quasiconvexity of the gauge orbits. Using these, we generalize compactness results for anti-self-dual instantons with Lagrangian boundary counditions to general gauge invariant Lagrangian submanifolds. This provides the foundation for the construction of instanton Floer homology for pairs of a $3$-manifold with boundary and a Lagrangian in the configuration space over the boundary. △ Less

Submitted 5 May, 2010; originally announced May 2010.

Instanton Floer homology and the Alexander polynomial

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: The instanton Floer homology of a knot in the three-sphere is a vector space with a canonical mod 2 grading. It carries a distinguished endomorphism of even degree,arising from the 2-dimensional homology class represented by a Seifert surface. The Floer homology decomposes as a direct sum of the generalized eigenspaces of this endomorphism. We show that the Euler characteristics of these generaliz… ▽ More The instanton Floer homology of a knot in the three-sphere is a vector space with a canonical mod 2 grading. It carries a distinguished endomorphism of even degree,arising from the 2-dimensional homology class represented by a Seifert surface. The Floer homology decomposes as a direct sum of the generalized eigenspaces of this endomorphism. We show that the Euler characteristics of these generalized eigenspaces are the coefficients of the Alexander polynomial of the knot. Among other applications, we deduce that instanton homology detects fibered knots. △ Less

Submitted 3 June, 2010; v1 submitted 27 July, 2009; originally announced July 2009.

Comments: 25 pages, 6 figures. Revised version, correcting errors concerning mod 2 gradings in the skein sequence

MSC Class: 57R58; 57M25

Journal ref: Algebr. Geom. Topol. 10 (2010) 1715-1738

Seiberg-Witten equations, end-periodic Dirac operators, and a lift of Rohlin's invariant

Authors: Tomasz S. Mrowka, Daniel Ruberman, Nikolai Saveliev

Abstract: We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbat… ▽ More We introduce a gauge-theoretic integer lift of the Rohlin invariant of a smooth 4-manifold X with the homology of $S^1 \times S^3$. The invariant has two terms; one is a count of solutions to the Seiberg-Witten equations on X, and the other is essentially the index of the Dirac operator on a non-compact manifold with end modeled on the infinite cyclic cover of X. Each term is metric (and perturbation) dependent, and we show that these dependencies cancel as the metric and perturbation vary in a 1-parameter family. △ Less

Submitted 4 April, 2011; v1 submitted 27 May, 2009; originally announced May 2009.

Comments: Revision after referee report; section on negative definite manifolds revised. To appear in JDG

Knots, sutures and excision

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: We develop monopole and instanton Floer homology groups for balanced sutured manifolds. Applications include a new proof of Property P for knots. We develop monopole and instanton Floer homology groups for balanced sutured manifolds. Applications include a new proof of Property P for knots. △ Less

Submitted 31 July, 2008; v1 submitted 30 July, 2008; originally announced July 2008.

Comments: 71 pages, 9 figures

MSC Class: 57R58; 57M25

Knot homology groups from instantons

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: For each partial flag manifold of SU(N), we define a Floer homology theory for knots in 3-manifolds, using instantons with codimension-2 singularities. For each partial flag manifold of SU(N), we define a Floer homology theory for knots in 3-manifolds, using instantons with codimension-2 singularities. △ Less

Submitted 1 August, 2008; v1 submitted 5 June, 2008; originally announced June 2008.

Comments: 118 pages, 1 figure. v2: Further acknowledgements

MSC Class: 57R58; 57M25

Legendrian knots and monopoles

Authors: Tomasz S Mrowka, Yann Rollin

Abstract: We prove a generalization of Bennequin's inequality for Legendrian knots in a 3-dimensional contact manifold (Y,xi), under the assumption that Y is the boundary of a 4-dimensional manifold M and the version of Seiberg-Witten invariants introduced by Kronheimer and Mrowka [Invent. Math. 130 (1997) 209-255] is nonvanishing. The proof requires an excision result for Seiberg-Witten moduli spaces; th… ▽ More We prove a generalization of Bennequin's inequality for Legendrian knots in a 3-dimensional contact manifold (Y,xi), under the assumption that Y is the boundary of a 4-dimensional manifold M and the version of Seiberg-Witten invariants introduced by Kronheimer and Mrowka [Invent. Math. 130 (1997) 209-255] is nonvanishing. The proof requires an excision result for Seiberg-Witten moduli spaces; then the Bennequin inequality becomes a special case of the adjunction inequality for surfaces lying inside M. △ Less

Submitted 20 February, 2009; v1 submitted 26 October, 2004; originally announced October 2004.

Comments: This is the version published by Algebraic & Geometric Topology on 24 February 2006

MSC Class: 57M25; 57M27; 57R17; 57R57

Journal ref: Algebr. Geom. Topol. 6 (2006) 1-69

Dehn surgery, the fundamental group and SU(2)

Authors: P. B. Kronheimer, T. S. Mrowka

Abstract: Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with non-cyclic image if r is less than or equal to 2. Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with non-cyclic image if r is less than or equal to 2. △ Less

Submitted 16 December, 2003; originally announced December 2003.

Comments: 15 pages

MSC Class: 57M25; 57R57 (Primary) 57R58 (Secondary)

Witten's conjecture and Property P

Authors: P B Kronheimer, T S Mrowka

Abstract: Let K be a non-trivial knot in the 3-sphere and let Y be the 3-manifold obtained by surgery on K with surgery-coefficient 1. Using tools from gauge theory and symplectic topology, it is shown that the fundamental group of Y admits a non-trivial homomorphism to the group SO(3). In particular, Y cannot be a homotopy-sphere. Let K be a non-trivial knot in the 3-sphere and let Y be the 3-manifold obtained by surgery on K with surgery-coefficient 1. Using tools from gauge theory and symplectic topology, it is shown that the fundamental group of Y admits a non-trivial homomorphism to the group SO(3). In particular, Y cannot be a homotopy-sphere. △ Less

Submitted 22 February, 2004; v1 submitted 27 November, 2003; originally announced November 2003.

Comments: Published by Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol8/paper7.abs.html Version 5: links corrected

MSC Class: 57M25; 57R57; 57R17

Journal ref: Geom. Topol. 8 (2004) 295-310

Monopoles and lens space surgeries

Authors: Peter Kronheimer, Tomasz Mrowka, Peter Ozsvath, Zoltan Szabo

Abstract: Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give informat… ▽ More Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations. △ Less

Submitted 3 February, 2004; v1 submitted 12 October, 2003; originally announced October 2003.

Comments: Corrected typeos and references

MSC Class: 57R58; 57M25

PU(2) monopoles and a conjecture of Marino, Moore, and Peradze

Authors: Paul M. N. Feehan, Peter B. Kronheimer, Thomas G. Leness, Tomasz S. Mrowka

Abstract: In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathematical argument via the PU(2)-monopole cobordism of Pidstrigach and Tyurin (dg-… ▽ More In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathematical argument via the PU(2)-monopole cobordism of Pidstrigach and Tyurin (dg-ga/9507004) and results of the first and third authors (dg-ga/9712005, dg-ga/9709022). △ Less

Submitted 21 April, 1999; v1 submitted 21 December, 1998; originally announced December 1998.

Comments: 13 pages, 1 figure. Improved exposition, typographical slips corrected, figure and references added. Minor correction on page 2. To appear in Mathematical Research Letters

Journal ref: Mathematical Research Letters 6 (1999), 169-182

Seiberg--Witten Monopoles on Seifert Fibered Spaces

Authors: Tomasz S. Mrowka, Peter S. Ozsváth, Baozhen Yu

Abstract: In this paper, we investigate the Seiberg-Witten gauge theory for Seifert fibered spaces. The monopoles over these three-manifolds, for a particular choice of metric and perturbation, are completely described. Gradient flow lines between monopoles are identified with holomorphic data on an associated ruled surface, and a dimension formula for such flows is calculated. In this paper, we investigate the Seiberg-Witten gauge theory for Seifert fibered spaces. The monopoles over these three-manifolds, for a particular choice of metric and perturbation, are completely described. Gradient flow lines between monopoles are identified with holomorphic data on an associated ruled surface, and a dimension formula for such flows is calculated. △ Less

Submitted 22 December, 1996; originally announced December 1996.

Report number: MSRI 1996-093

Recurrence relations and asymptotics for four-manifold invariants

Authors: Peter B. Kronheimer, Tomasz S. Mrowka

Abstract: The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the polynomials. As an application, one can read off a lower bound for the genera of embedded surfaces from the asymptotics of $q_d$ for large $d$. The relations are p… ▽ More The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the polynomials. As an application, one can read off a lower bound for the genera of embedded surfaces from the asymptotics of $q_d$ for large $d$. The relations are proved using moduli spaces of singular instantons. △ Less

Submitted 31 March, 1994; originally announced April 1994.

Comments: 7 pages

Report number: Bulletin migration 11/99

Journal ref: Bull. Amer. Math. Soc. (N.S.) 30 (1994) 215-221