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.
This note provides a counterexample to a conjecture by Marché about the structure of the Kauffman bracket skein module for closed compact oriented 3-manifolds over the ring of Laurent polynomials.
We prove an additivity property for the normalized Seiberg-Witten invariants with respect to the universal abelian cover of those 3-manifolds, which are obtained via negative rational Dehn surgeries along connected sum of algebraic knots. Although the statement is purely topological, we use the theory of complex singularities in several steps of the proof. This topological covering additivity property can be compared with certain analytic properties of normal surface singularities, especially with functorial behaviour of the (equivariant) geometric genus of singularities. We present several ex…
Let M denote a compact, oriented 3-manifold and let a denote a contact 1-form on M. This article proves that the vector field that generates the kernel of the 2-form da has at least one closed, integral curve.
We prove that, under a simple condition on the cohomology ring, every closed 4-manifold has mod 2 Seiberg-Witten simple type. This result shows that there exists a large class of topological 4-manifolds such that all smooth structures have mod 2 simple type, and yet some have non-vanishing (mod 2) Seiberg-Witten invariants. As corollaries, we obtain adjunction inequalities and show that, under a mild topological condition, every geometrically simply connected closed 4-manifold has the vanishing mod 2 Seiberg-Witten invariant for at least one orientation.
Let M denote a compact, orientable, 3-dimensional manifold and let a denote a contact 1-form on M; thus the wedge product of a with da is nowhere zero. This article explains how the Seiberg-Witten Floer homology groups as defined for any given Spin-C structure on M give closed, integral curves of the vector field that generates the kernel of da.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants.
We define Pin(2)-equivariant Seiberg-Witten Floer homology for rational homology 3-spheres equipped with a spin structure. The analogue of Froyshov's correction term in this setting is an integer-valued invariant of homology cobordism whose mod 2 reduction is the Rokhlin invariant. As an application, we show that there are no homology 3-spheres Y of Rokhlin invariant one such that Y # Y bounds an acyclic smooth 4-manifold. By previous work of Galewski-Stern and Matumoto, this implies the existence of non-triangulable high-dimensional manifolds.
We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our $\mathrm{SO}(3)$-monopole cobordism formula [arXiv:math/0203047] when the four-manifold has $c_1^2\geq χ_h-3$ or is abundant.
We give a new proof of Witten asymptotic conjecture for Seifert manifolds with non vanishing Euler class and one exceptional fiber. Our method is based on semiclassical analysis on a two dimensional phase space torus. We prove that the Witten-Reshetikhin-Turaev invariant of a Seifert manifold is the scalar product of two Lagrangian states, and we estimate this scalar product in the large level limit. The leading order terms of the expansion are naturally given in terms of character varieties, the Chern-Simons invariants and some symplectic volumes. For the analytic part, we establish some sing…
We prove Witten's formula relating the Donaldson and Seiberg-Witten series modulo powers of degree $c+2$, with $c=-{1/4}(7χ+11σ)$, for four-manifolds obeying some mild conditions, where $χ$ and $σ$ are their Euler characteristic and signature. We use the moduli space of SO(3) monopoles as a cobordism between a link of the Donaldson moduli space of anti-self-dual SO(3) connections and links of the moduli spaces of Seiberg-Witten monopoles. Gluing techniques allow us to compute contributions from Seiberg-Witten moduli spaces lying in the first (or `one-bubble') level of the Uhlenbeck compactific…
We use the theory of Berezin-Toeplitz operators of Ma and Marinescu to study the spaces of holomorphic sections of a prequantizing line bundle over compact Kähler manifolds under deformations of the complex structure. We show that the parallel transport in the induced vector bundle over the deformation space behaves like a Toeplitz operator, and compute its first coefficient. We then use this result to establish a semi-classical trace formula for the induced quantization of symplectic maps, and give an application to Witten's asymptotic expansion conjecture for the quantum representations of t…
A famous conjecture in gauge theory mathematics, attributed to Witten, suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. Mathematicians have sought a proof of the conjecture by means of a `cobordism program' involving $PU(2)$ monopoles. A higher rank version of the Donaldson invariants was recently introduced by Kronheimer. Before being defined, the physicists Mariño and Moore had already suggested that there should be a generalisation of Witten's conjecture to this type of invariant…
This article pursues the study of the knot state asymptotics in the large level limit initiated in "Knot sate Asymptotics I". As a main result, we prove the Witten asymptotic expansion conjecture for the Dehn fillings of the figure eight knot. The state of a knot is defined in the realm of Chern-Simons topological quantum field theory as a holomorphic section on the SU(2)-character manifold of the peripheral torus. In the previous paper, we conjectured that the knot state concentrates on the character variety of the knot with a given asymptotic behavior on the neighborhood of the abelian repre…
Witten's conjecture suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. A higher rank version of the Donaldson invariants was introduced by Kronheimer. Before even having been defined, the physicists Mariño and Moore had already suggested that there should be a generalisation of Witten's conjecture to this type of invariants. We study a generalisation of the classical cobordism program to the higher rank situation and obtain vanishing results which gives evidence that the generalisatio…
We prove a conjecture of Hutchings and Lee relating the Seiberg-Witten invariants of a closed 3-manifold X with b_1 > 0 to an invariant that `counts' gradient flow lines--including closed orbits--of a circle-valued Morse function on the manifold. The proof is based on a method described by Donaldson for computing the Seiberg-Witten invariants of 3-manifolds by making use of a `topological quantum field theory,' which makes the calculation completely explicit. We also realize a version of the Seiberg-Witten invariant of X as the intersection number of a pair of totally real submanifolds of a pr…
We state Asymptotic Expansion and Growth Rate conjectures for the Witten-Reshetikhin-Turaev invariants of arbitrary framed links in 3-manifolds, and we prove these conjectures for the natural links in mapping tori of finite-order automorphisms of marked surfaces. Our approach is based upon geometric quantisation of the moduli space of parabolic bundles on the surface, which we show coincides with the construction of the Witten-Reshetikhin-Turaev invariants using conformal field theory, as was recently completed by Andersen and Ueno.
We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Donaldson invariants has been to compute intersection pairings on links of strata of reducible SO(3) monopoles, namely the moduli spaces of Seiberg-Witten monopoles lying in lower-level strata of the Uhlenbeck compactification of the moduli space of SO(3) monopoles [arXiv:dg-ga/9710…
For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological invariants. We establish exact sequences relating them, we show that they satisfy a duality under orientation reversal, and we explain their relation to ou previous construction of equivariant Seiberg-Witten Floer (co)homologies. We conjecture the equivalence of these versions of equivariant Seiberg-Witten Floer homology with the Heegaard Floer invariants introduce…
Gukov-Pei-Putrov-Vafa constructed $q$-series invariants called homological blocks in a physical way in order to categorify Witten-Reshetikhin-Turaev (WRT) invariants and conjectured that radial limits of homological blocks are WRT invariants. In this paper, we prove their conjecture for unimodular H-graphs. As a consequence, it turns out that the WRT invariants of H-graphs yield quantum modular forms of depth two and of weight one with the quantum set $\mathbb{Q}$. In the course of the proof of our main theorem, we first write the invariants as finite sums of rational functions. We second carr…
We derive a cut-and-paste surgery formula of Seiberg--Witten invariants for negative definite plumbed rational homology 3-spheres. It is similar to (and motivated by) Okuma's recursion formula [arXiv:math.AG/0610464, 4.5] targeting analytic invariants of splice quotient singularities. The two formulas combined provide automatically a proof of the equivariant version [arXiv:math.AG/0310084, 5.2(b)] of the `Seiberg--Witten invariant conjecture' [arXiv:math.AG/0111298] for these singularities.
Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$ associated with the ``canonical'' $spin^c$ structure of $M$. Since the Seiberg-Witten theory of the link $M$ provides a rational number for any $spin^c$ structure it was a natural challenge to search for a complete set of conjecturally valid identities, which involve all the Seiberg-Witten invariants (giving an analytic -- i.e. singularity theoretical -- interpreta…