Witten's conjecture for many four-manifolds of simple type
Paul M. N. Feehan, Thomas G. Leness
备注:
27 pages. To appear in the Journal of the European Mathematical Society. Incorporates final galley proof corrections corresponding to published version
发表信息:
Journal of the European Mathematical Society 17 (2015), Issue 4, pp. 899-923
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.
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.
In this paper, we give a simple formula for the generating function of genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology, and use this formula to prove the genus-2 Virasoro conjecture for such manifolds.
This paper gives a detailed construction of Seiberg-Witten-Floer homology for a closed oriented 3-manifold with a non-torsion $\spinc$ structure. Gluing formulae for certain 4-dimensional manifolds splitting along an embedded 3-manifold are obtained.
The Virasoro conjecture proposed by Eguchi-Hori-Xiong and S. Katz predicts that the generating function of Gromov-Witten invariants is annihilated by infinitely many differential operators which form a half branch of the Virasoro algebra. In this paper, we study the genus-1 case of the conjecture. In particular, we will give some necessary and sufficient conditions for the genus-1 Virasoro conjecture.
We study the problem of counting instantons with coassociative boundary condition in (almost) G_(2)-manifolds. This is analog to the open Gromov-Witten theory for counting holomorphic curves with Lagrangian boundary condition in Calabi-Yau manifolds. We explain its relationship with the Seiberg-Witten invariants for coassociative submanifolds.
We establish the family rigidity and vanishing theorems on the equivariant $K$-theory level for the Witten type operators on String$^c$ manifolds introduced by Chen-Han-Zhang.
New estimates are derived concerning the behavior of self-dual hamonic 2-forms on a compact Riemannian 4-manifold with non-trivial Seiberg-Witten invariants. Applications include a vanishing theorem for certain Seiberg-Witten invariants on compact 4-manifolds of constant negative sectional curvature.
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 give a surgery formula for the torsions and Seiberg-Witten invariants associated with $Spin^c$-structures on 3-manifolds. We use the technique of Reidemeister-type torsions and their refinements.
For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C.
A formula is given for the Seiberg-Witten invariants of a 4-manifold that is cut along certain kinds of 3-dimensional tori. The formula involves a Seiberg-Witten invariant for each of the resulting pieces.
We generalize Witten's conjectured formula relating Donaldson and Seiberg-Witten invariants to manifolds of non-simple type, via equivariant localization techniques. This approach does not use the theory of non-abelian monopoles, but works directly on the Donaldson-Witten and Seiberg-Witten moduli spaces. We give a formal derivation of Witten's conjecture and its generalization, making use of an infinite dimensional version of the abelian localization theorem.
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…
Motivated by the Landau-Ginzburg model, we study the Witten deformation on a noncompact manifold with bounded geometry, together with some tameness condition on the growth of the Morse function $f$ near infinity. We prove that the cohomology of the Witten deformation $d_{Tf}$ acting on the complex of smooth $L^2$ forms is isomorphic to the cohomology of Thom-Smale complex of $f$ as well as the relative cohomology of a certain pair $(M, U)$ for sufficiently large $T$. We establish an Agmon estimate for eigenforms of the Witten Laplacian which plays an essential role in identifying these cohomol…
The main results of this paper describes a formula for the Seiberg-Witten invariant of a 4-manifold which admits a nontrivial free S^1-action. We use this theorem to produce a nonsymplectic 4-manifold with a free circle action whose orbit space fibers over S^1. We also describe a 3-manifold which is not the orbit space of any symplectic 4-manifold with a free circle action. A corollary of the main theorem is a formula for the 3-dimensional Seiberg-Witten invariants of the total space of a circle bundle over a surface.
We derive a weighted $L^2$-estimate of the Witten spinor in a complete Riemannian spin manifold $(M^n,g)$ of non-negative scalar curvature which is asymptotically Schwarzschild. The interior geometry of $M$ enters this estimate only via the lowest eigenvalue of the square of the Dirac operator on a conformal compactification of $M$.
The goal of this article is to generalise the Witten deformation to even dimensional conic manifolds and a class of functions called admissible Morse functions.
We construct infinitely many examples of finite volume 4-manifolds with $T^3$ ends that do not admit any cusped asymptotically hyperbolic Einstein metrics yet satisfy a strict logarithmic version of the Hitchin-Thorpe inequality due to Dai-Wei. This is done by using estimates from Seiberg-Witten theory due to LeBrun as well as a method for constructing solutions to the Seiberg-Witten equations on noncompact manifolds due to Biquard. We also use constructions coming from the $Pin^-(2)$ monopole equations to obtain a larger class of manifolds where these techniques apply.
We extend the vanishing theorem for the Seiberg-Witten invariants of a manifold with positive scalar curvature to the case when the curvature is allowed to be negative on a set of small volume. (The precise curvature bounds are described in the paper.) The idea is to combine the method of `semigroup domination' with the Weitzenbock formula. The same curvature hypothesis implies the vanishing of the Seiberg-Witten invariant of any finite covering space. We also show that, in high dimensions, a spin manifold with mostly positive scalar curvature in fact admits a metric of positive scalar curvatu…
Notes for a short lecture series, covering exploded manifolds, the moduli stack of curves in exploded manifolds, and a tropical gluing formula for Gromov-Witten invariants: a gluing formula providing a degeneration formula for Gromov-Witten invariants in normal-crossing degenerations. I gave the original lecture series in April 2016 at the Simons Center for Geometry and Physics at Stonybrook. Video of the lectures is available on the SCGP website, http://scgp.stonybrook.edu/video_portal/video.php?id=2595
We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the families Seiberg-Witten invariants leading to a series of mod $2$ relations between these invariants and the Chern classes of the spin$^c$ index bundle of the family. As a result we discover a new aspect of the ordinary Seiberg-Witten invariants of a $4$-manifold $X$: they obstruct t…
We define Seiberg-Witten equations on closed manifolds endowed with a Riemannian foliation of codimension 4. When the foliation is taut, we show compactness of the moduli space under some hypothesis satisfied for instance by closed K-contact manifolds. Furthermore, we prove some vanishing and non-vanishing results and we highlight that the invariants may be used to distinguish different foliations on diffeomorphic manifolds.
In this paper, we obtain two Lichnerowicz type formulas for the Dirac-Witten operators. And we give the proof of Kastler-Kalau-Walze type theorems for the Dirac-Witten operators on 4-dimensional and 6- dimensional compact manifolds with (resp.without) boundary
Motivated by Witten's spinor proof of the positive mass theorem, we analyze asymptotically constant harmonic spinors on complete asymptotically flat nonspin manifolds with nonnegative scalar curvature.
In this article, we consider the Kapustin-Witten equations on a closed $4$-manifold. We study certain analytic properties of solutions to the equations on a closed manifold. The main result is that there exists an $L^{2}$-lower bound on the extra fields over a closed four-manifold satisfying certain conditions if the connections are not ASD connections. Furthermore, we also obtain a similar result about the Vafa-Witten equations.
Let $M$ be a closed oriented $4$-manifold admitting a rank-$2$ oriented foliation with a metric of leafwise positive scalar curvature. If $b^+>1$, then we will show that the Seiberg-Witten invariant vanishes for all \spinc structures.
We present a project of classification of a certain class of bihamiltonian 1+1 PDEs depending on a small parameter. Our aim is to embed the theory of Gromov - Witten invariants of all genera into the theory of integrable systems. The project is focused at describing normal forms of the PDEs and their local bihamiltonian structures satisfying certain simple axioms. A Frobenius manifold or its degeneration is associated to every bihamiltonian structure of our type. The main result is a universal loop equation on the jet space of a semisimple Frobenius manifold that can be used for perturbative r…
In this paper, we study some vanishing identities for Gromov-Witten invariants conjectured by K. Liu and H. Xu. We will prove these conjectures in the case that the summation range is large compare to genus. In fact, in such cases, we can obtain a vanishing identity which is stronger than their conjectures. Moreover we will also prove their conjectures in low genus cases.
In this paper we describe the Seiberg-Witten invariants, which have been introduced by Witten, for manifolds with $b_+=1$. In this case the invariants depend on a chamber structure, and there exists a universal wall crossing formula. We take into account the contribution of the 1-homology of the base-manifold. For every Kähler surface with $p_g=0$ and $q$=0, these invariants are non-trivial for all $Spin^c(4)$-structures of non-negative index.
In this paper we consider the Vafa-Witten equations on closed, oriented and smooth 4-manifolds, and construct a set of perturbation terms to establish the transversality of the perturbed Vafa-Witten equations at the general part of the solutions. Then we show that for a generic choice of the perturbation terms, this part of the moduli space for the structure group $SU(2)$ or $SO(3)$ on a closed 4-manifold is a smooth manifold of dimension zero.
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.
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of 4-manifolds $M$ for which the inclusion maps $\operatorname{Diff}(M) \hookrightarrow \operatorname{Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series…
We discuss Witten's formulas for the symplectic volumes of moduli spaces of flat connections on 2-manifolds from the viewpoint of Hamiltonian cobordism as introduced by Ginzburg-Guillemin-Karshon.
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 use rudiments of the Seiberg-Witten gluing theory for trivial circle bundles over a Riemann surface to relate de Seiberg-Witten basic classes of two $4$-manifolds containing Riemann surfaces of the same genus and self-intersection zero with those of the $4$-manifold resulting as a connected sum along the surface. We study examples in which this is enough to describe completely the basic classes.
In this paper we describe the Seiberg-Witten invariants, which have been introduced by Witten, for manifolds with $b_+=1$. In this case the invariants depend on a chamber structure, and there exists a universal wall crossing formula. For every Kähler surface with $p_g=0$ and $q$=0, these invariants are non-trivial for all $Spin^c(4)$-structures of non-negative index.
Using Furuta's idea of finite dimensional approximation in Seiberg-Witten theory, we refine Seiberg-Witten Floer homology to obtain an invariant of homology 3-spheres which lives in the S^1-equivariant graded suspension category. In particular, this gives a construction of Seiberg-Witten Floer homology that avoids the delicate transversality problems in the standard approach. We also define a relative invariant of four-manifolds with boundary which generalizes the Bauer-Furuta stable homotopy invariant of closed four-manifolds.
We establish several Witten type rigidity and vanishing theorems for twisted Toeplitz operators on odd dimensional manifolds. We obtain our results by combining the modular method, modular transgression and some careful analysis of odd Chern classes for cocycles in odd $K$-theory. Moreover we discover that in odd dimensions, the fundamental group of manifolds plays an important role in the rigidity.
For a compact spinc manifold $X$ with boundary $b_1(\partial X)=0$, we consider moduli spaces of solutions to the Seiberg-Witten equations in a generalized double Coulomb slice in $L^2_1$ (i.e., $W^{1,2}$) Sobolev regularity. We prove they are Hilbert manifolds, prove denseness and "semi-infinite-dimensionality" properties of the restriction to $\partial X$, and establish a gluing theorem. To achieve these, we prove a general regularity theorem and a strong unique continuation principle for Dirac operators, and smoothness of a restriction map to configurations of higher regularity on the inter…
In this paper, we write down Seiberg-Witten equations on contact metric manifolds of dimension 5. Any contact metric manifold has a spin^c structure. For Dirac equation we use Dirac type operators associated to the generalized Tanaka-Webster connection on spin^c spinor bundle of a contact metric manifold. For curvature equation we need to self-duality concept. Self-duality concept is significant on odd dimensional manifolds, particularly, on 5-dimensional contact manifolds. Finally, we give a global solution to these equations on strictly pseudoconvex CR manifolds.
In this paper, we give a brute-force proof of the Kastler-Kalau-Walze type theorem for $7$-dimensional manifolds with boundary about Witten deformation, and give a theoritic explaination of the gravitational action for $7$ dimensional manifolds with boundary.
Previously we finish the establishment of the transversality of the general part of the Vafa-Witten moduli spaces, in this paper, we deal with the rest, i.e., the reduced part. We consider Vafa-Witten equation on closed, oriented and smooth Riemann 4-manifolds with $C\equiv0$, and construct perturbation to establish the transversality of the perturbed equation. Then we show that for a generic choice of the perturbation terms, the moduli space of solutions to the perturbed reduced Vafa-Witten equation for the structure group $SU(2)$ or $SO(3)$ on a closed 4-manifold is a smooth manifold of dime…
We prove a Freed-Uhlenbeck style generic smoothness theorem for the moduli space of solutions to the Vafa--Witten equations on a closed symplectic four-manifold by using a method developed by Feehan for the study of the $PU(2)$-monopole equations on smooth closed four-manifolds. We introduce a set of perturbation terms to the Vafa--Witten equations, and prove that the moduli space of solutions to the perturbed Vafa-Witten equations on a closed symplectic four-manifold for the structure group $SU(2)$ or $SO(3)$ is a smooth manifold of dimension zero for a generic choice of the perturbation para…
We prove $R$-bisectoriality and boundedness of the $H^\infty$-functional calculus in $L^p$ for all $1<p<\infty$ for the Hodge-Dirac operator associated with Witten Laplacians on complete Riemannian manifolds with non-negative Bakry-Emery Ricci curvature on $k$-forms.
We construct the Seiberg-Witten theory on 3-manifolds with Euclidean ends (connected sums of $\R^3$ and a compact manifold) with perturbations which approximate $*dx_3$ at infinity, and describe the structure of the moduli spaces. The setup is inspired by Taubes's program of relating the 4-dimensional Seiberg-Witten invariant with `singular Gromov invariants' and has related applications.
In this article we complete the proof---for a broad class of four-manifolds---of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear combination of the Euler characteristic and signature of the four-manifold. This article is a revision of sections 4--7 of an earlier version, while a revision of sections 1--3 of that earlier version now appear in a separate companion article (math.DG/0007190). Here, we use our computations of Chern classes for the virtual normal bundles for the Seiberg-Witten …
Given a smooth compact manifold with boundary, we show that the subcomplex of the deformed de Rham complex consisting of eigenspaces of small eigenvalues of the Witten Laplacian is canonically isomorphic to the Thom-Smale complex constructed by Laudenbach. Our proof is based on Bismut-Lebeau's analytic localization techniques. As a by-product, we obtain Morse inequalities for manifolds with boundary.
In this paper, we derive from the supersymmetry of the Witten Laplacian Brascamp-Lieb's type inequalities for general differential forms on compact Riemannian manifolds with boundary. In addition to the supersymmetry, our results essentially follow from suitable decompositions of the quadratic forms associated with the Neumann and Dirichlet self-adjoint realizations of the Witten Laplacian. They moreover imply the usual Brascamp-Lieb's inequality and its generalization to compact Riemannian manifolds without boundary.
We construct an invariant of closed ${\rm spin}^c$ 4-manifolds using families of Seiberg-Witten equations. This invariant is formulated as a cohomology class on a certain abstract simplicial complex consisting of embedded surfaces of a 4-manifold. We also give examples of 4-manifolds which admit positive scalar curvature metrics and for which this invariant does not vanish. This non-vanishing result of our invariant provides a new class of adjunction-type genus constraints on configurations of embedded surfaces in a 4-manifold whose Seiberg-Witten invariant vanishes.
In this paper, we focus on the moduli space of Seiberg-Witten equation on non-compact manifold with periodic end. Suppose that the scalar curvature on the periodic end is identically zero and the topological conditions: the first de-Rham cohomology and the self-dual cohomology restricting on the periodic end vanish. Then, we will show that the moduli space of the perturbed Seiberg-Witten equation is compact.
We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of Seiberg-Witten equations. Our invariant yields an application to the homotopy groups of the space of positive scalar curvature metrics on a 4-manifold. We also study the extension problem for families of 4-manifolds using our invariant.
Using Morse-Bott techniques adapted to the gauge-theoretic setting, we show that the limiting boundary values of the space of finite energy monopoles on a connected 3-manifold with at least two cylindrical ends provides an immersed Lagrangian submanifold of the vortex moduli space at infinity. By studying the signed intersections of such Lagrangians, we supply the analytic details of Donaldson's TQFT construction of the Seiberg-Witten invariants of a closed 3-manifold.
We explain a new phenomenon on non compact complete Riemannian four manifolds, where d^+ image of one forms can not exhaust densely on L^2 self dual forms on each compact subset, if a certain L^2 self dual harmonic form exists. This leads to construct a new functional analytic framework on the Seiberg-Witten map.
We construct a generalized Witten genus for spin$^c$ manifolds, which takes values in level 1 modular forms with integral Fourier expansion on a class of spin$^c$ manifolds called string$^c$ manifolds. We also construct a mod 2 analogue of the Witten genus for $8k+2$ dimensional spin manifolds. The Landweber-Stong type vanishing theorems are proven for the generalized Witten genus and the mod 2 Witten genus on string$^c$ and string (generalized) complete intersections in (product of) complex projective spaces respectively.
In this paper we consider a variation of the Vafa-Witten equations on compact, oriented and smooth 4-manifolds, and construct a set of perturbation terms to establish the transversality of that equations. The new perturbed equations provide us a priori estimates of the solutions, while the original reduced Vafa-Witten equations does not. By applying the a priori estimates we show that the singular of the solutions can be removed, and then construct the Ulhenbeck closure of the moduli spaces.