Lefschetz pencils and the canonical class for symplectic four-manifolds (Q1868038): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q101235046, #quickstatements; #temporary_batch_1708298810402
Set OpenAlex properties.
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Simon K. Donaldson / rank
Normal rank
 
Property / author
 
Property / author: Simon K. Donaldson / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: math/0012067 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2021613246 / rank
 
Normal rank

Latest revision as of 09:24, 30 July 2024

scientific article
Language Label Description Also known as
English
Lefschetz pencils and the canonical class for symplectic four-manifolds
scientific article

    Statements

    Lefschetz pencils and the canonical class for symplectic four-manifolds (English)
    0 references
    0 references
    0 references
    0 references
    27 April 2003
    0 references
    This paper gives a new proof of a result due to Taubes [\textit{C. H. Taubes}, Math. Res. Lett. 2, No. 2, 221-238 (1995; Zbl 0894.57020)]. The main theorem proved here is the following: if \((X,\omega)\) is a closed symplectic four-manifold with \(b_{+}>1+b_{1}\) and \([\omega]\) is a multiple of a rational cohomology class, then the Poincaré dual of the canonical class \(K_{X}\) may be represented by an embedded symplectic submanifold. This new proof is simpler and more geometric than the original one since it does not use the deep results of Taubes that relate Gromov-Witten and Seiberg-Witten invariants of a symplectic four-manifold. The outline of the proof is as follows: for the symplectic manifold \(X\) there exists a symplectic Lefschetz pencil [\textit{S. K. Donaldson}, J. Differ. Geom. 53, No. 2, 205-236 (1999; Zbl 1040.53094)]. Then \(X\) is blown up to get a symplectic Lefschetz fibration \(f:\widetilde{X}\rightarrow \mathbb{C} P^{1}\). This is endowed with an almost complex structure that makes the fibers and the projection holomorphic. Then one searches for symplectic submanifolds representing \(K_{X}\) by looking for pseudo-holomorphic surfaces intersecting in \(r=2g-2\) positive points the generic fiber. For this the authors construct the fibration \({X_r}\rightarrow \mathbb{C} P^{1}\) of \(r\)-symmetric products of the fibers of \(f\), and look for sections of this fibration which intersect transversely the big diagonal. The crux of the argument is that a Gromov invariant counting pseudo-holomorphic sections of this fibration is non-zero. For proving this it is necessary to deform the almost-complex structure.
    0 references
    symplectic manifolds
    0 references
    Lefschetz pencils
    0 references
    pseudo-holomorphic curves
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references