Symplectic mapping class groups of K3 surfaces and Seiberg-Witten invariants (Q2127882): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Obstructions to smooth group actions on 4-manifolds from families Seiberg-Witten theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A gluing formula for families Seiberg-Witten invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Torelli problem for kählerian $K-3$ surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Periods of Integrals on Algebraic Manifolds, II: (Local Study of the Period Mapping) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lectures on K3 Surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: On deformations of complex analytic structures. III: Stability theorems for complex structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: The genus of embedded surfaces in the projective plane / rank
 
Normal rank
Property / cites work
 
Property / cites work: Family Seiberg-Witten invariants and wall crossing formulas. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3932927 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4548110 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4043127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4865492 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Seiberg-Witten equations for families and diffeomorphisms of 4-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4510390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An obstruction to smooth isotopy in dimension \(4\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positive scalar curvature, diffeomorphisms and the Seiberg-Witten invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graded lagrangian submanifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3510254 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symplectic topology of $K3$ surfaces via mirror symmetry / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple proof of the surjectivity of the period map of K3 surfaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Every K 3 surface is Kähler / rank
 
Normal rank
Property / cites work
 
Property / cites work: More constraints on symplectic forms from Seiberg-Witten invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Commuting symplectomorphisms and Dehn twists in divisors / rank
 
Normal rank

Revision as of 17:15, 28 July 2024

scientific article
Language Label Description Also known as
English
Symplectic mapping class groups of K3 surfaces and Seiberg-Witten invariants
scientific article

    Statements

    Symplectic mapping class groups of K3 surfaces and Seiberg-Witten invariants (English)
    0 references
    0 references
    21 April 2022
    0 references
    Given a symplectic manifold \((X,\omega)\), the symplectic mapping class group of \(X\) is the \(\pi_0\) of the symplectomorphism group \(Symp(X)\). Let \(K(X,\omega)\) be the subgroup of the symplectic mapping class group consisting of elements that are smoothly isotopic to the identity. There are many symplectic manifolds with infinite \(K(X,\omega)\), but the only class of examples that we know to be infinitely generated is symplectic K3 surfaces. The proof of this, by \textit{N. Sheridan} and \textit{I. Smith} [J. Am. Math. Soc. 33, No. 3, 875--915 (2020; Zbl 1482.53111)], combines homological mirror symmetry, Bridgeland stability and makes essential use of the algebraic geometry of K3 surfaces. It is a beautiful and indirect proof. The paper under review gives a more direct proof, which covers more K3 surfaces including non-algebraic ones. The idea of the proof goes as follows. Let \((X,\omega)\) be a symplectic K3 surface. Let \(S_{[\omega]}\) be the space of symplectic forms on \(X\) that are isotopic to \(\omega\) via cohomologous symplectic forms. By the Moser argument and symplectic parallel transport, it defines a monodromy representation \(\pi_1(S_{[\omega]}) \to \pi_0(Symp(X,\omega))\). There are various methods to prove that certain non-trivial elements in \(\pi_1(S_{[\omega]})\) would map to non-trivial elements in the subgroup \(K(X,\omega)\) of \(\pi_0(Symp(X,\omega))\), but the difficult part is to show that there are no unwanted relations in \(\pi_0(Symp(X,\omega))\). For that, the author considers the fine moduli space \(B\) of \([\omega]\)-polarized K3 surfaces, and shows that the composition of the monodromy representation with the (modified) Kronheimer's homomorphism \(\pi_1(B) \to K(X,\omega) \to H_1(B,\mathbb{Z}_2)\) agrees with the natural map \(\pi_1(B) \to \pi_1(B)/[\pi_1(B),\pi_1(B)] \to H_1(B,\mathbb{Z}_2)\). After establishing this, it is not hard to see that \(K(X,\omega)\) is infinitely generated when \(H_1(B,\mathbb{Z}_2)\) has infinite rank. To prove that the two maps agree, the author analyzes the solutions of the family Seiberg-Witten equations associated to the (modified) Kronheimer's homomorphism. The argument turns out to be nice and short.
    0 references
    0 references
    symplectic mapping class group
    0 references
    K3 surfaces
    0 references
    family Seiberg-Witten invariants
    0 references
    infinitely generated group
    0 references
    monodromy of moduli space
    0 references

    Identifiers

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