Stable map

<h2 id="smooth-pseudoholomorphic-curves">Smooth pseudoholomorphic curves</h2>
Fix a <a href="/facts/Closed_manifold/jMG6G6Bl">closed</a> symplectic manifold 
 
 
 
 X
 
 
 {\displaystyle X}
 
 with <a href="/facts/Symplectic_form/o95tWKBc">symplectic form</a> 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
. Let 
 
 
 
 g
 
 
 {\displaystyle g}
 
 and 
 
 
 
 n
 
 
 {\displaystyle n}
 
 be <a href="/facts/Natural_number/u65og8JE">natural numbers</a> (including zero) and 
 
 
 
 A
 
 
 {\displaystyle A}
 
 a two-dimensional <a href="/facts/Homology_(mathematics)/VFJmryEW">homology</a> class in 
 
 
 
 X
 
 
 {\displaystyle X}
 
. Then one may consider the set of <a href="/facts/Pseudoholomorphic_curve/hCDzFUKh">pseudoholomorphic curves</a>

(
        (
        C
        ,
        j
        )
        ,
        f
        ,
        (
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        )
        )
        
      
    
    {\displaystyle ((C,j),f,(x_{1},\ldots ,x_{n}))\,}

where 
 
 
 
 (
 C
 ,
 j
 )
 
 
 {\displaystyle (C,j)}
 
 is a smooth, closed <a href="/facts/Riemann_surface/qoj8ogv8">Riemann surface</a> of genus 
 
 
 
 g
 
 
 {\displaystyle g}
 
 with 
 
 
 
 n
 
 
 {\displaystyle n}
 
 marked points 
 
 
 
 
 x
 
 1
 
 
 ,
 …
 ,
 
 x
 
 n
 
 
 
 
 {\displaystyle x_{1},\ldots ,x_{n}}
 
, and

f
        :
        C
        →
        X
        
      
    
    {\displaystyle f:C\to X\,}

is a function satisfying, for some choice of 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
-tame <a href="/facts/Almost_complex_manifold/wsXTsuC6">almost complex structure</a> 
 
 
 
 J
 
 
 {\displaystyle J}
 
 and inhomogeneous term 
 
 
 
 ν
 
 
 {\displaystyle \nu }
 
, the perturbed <a href="/facts/Cauchy%25E2%2580%2593Riemann_equations/SWkIHflU">Cauchy–Riemann equation</a>

∂
                ¯
              
            
          
          
            j
            ,
            J
          
        
        f
        :=
        
          
            1
            2
          
        
        (
        d
        f
        +
        J
        ∘
        d
        f
        ∘
        j
        )
        =
        ν
        .
      
    
    {\displaystyle {\bar {\partial }}_{j,J}f:={\frac {1}{2}}(df+J\circ df\circ j)=\nu .}

Typically one admits only those 
 
 
 
 g
 
 
 {\displaystyle g}
 
 and 
 
 
 
 n
 
 
 {\displaystyle n}
 
 that make the punctured <a href="/facts/Euler_characteristic/JCjzWUr2">Euler characteristic</a> 
 
 
 
 2
 −
 2
 g
 −
 n
 
 
 {\displaystyle 2-2g-n}
 
 of 
 
 
 
 C
 
 
 {\displaystyle C}
 
 negative. Then the domain is stable, meaning that there are only finitely many holomorphic automorphisms of 
 
 
 
 C
 
 
 {\displaystyle C}
 
 that preserve the marked points.
The operator 
 
 
 
 
 
 
 
 ∂
 ¯
 
 
 
 
 j
 ,
 J
 
 
 
 
 {\displaystyle {\bar {\partial }}_{j,J}}
 
 is <a href="/facts/Elliptic_operator/3lLoapry">elliptic</a> and thus <a href="/facts/Fredholm_operator/FEa1xvxn">Fredholm</a>. After significant analytical argument (completing in a suitable <a href="/facts/Sobolev_space/34qxWCyr">Sobolev norm</a>, applying the <a href="/facts/Implicit_function_theorem/r4h0RpWw">implicit function theorem</a> and <a href="/facts/Sard%2527s_theorem/5h5ghooY">Sard's theorem</a> for <a href="/facts/Banach_manifold/EySHBrBz">Banach manifolds</a>, and using <a href="/facts/Elliptic_regularity/9dRwYmTe">elliptic regularity</a> to recover smoothness) one can show that, for a generic choice of 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
-tame 
 
 
 
 J
 
 
 {\displaystyle J}
 
 and perturbation 
 
 
 
 ν
 
 
 {\displaystyle \nu }
 
, the set of 
 
 
 
 (
 j
 ,
 J
 ,
 ν
 )
 
 
 {\displaystyle (j,J,\nu )}
 
-holomorphic curves of genus 
 
 
 
 g
 
 
 {\displaystyle g}
 
 with 
 
 
 
 n
 
 
 {\displaystyle n}
 
 marked points that represent the class 
 
 
 
 A
 
 
 {\displaystyle A}
 
 forms a smooth, oriented <a href="/facts/Orbifold/KR6dQNzH">orbifold</a>

M
          
            g
            ,
            n
          
          
            J
            ,
            ν
          
        
        (
        X
        ,
        A
        )
      
    
    {\displaystyle M_{g,n}^{J,\nu }(X,A)}

of dimension given by the <a href="/facts/Atiyah-Singer_index_theorem/qwcSxamI">Atiyah-Singer index theorem</a>,

d
        :=
        
          dim
          
            
              R
            
          
        
        ⁡
        
          M
          
            g
            ,
            n
          
        
        (
        X
        ,
        A
        )
        =
        2
        
          c
          
            1
          
          
            X
          
        
        (
        A
        )
        +
        (
        
          dim
          
            
              R
            
          
        
        ⁡
        X
        −
        6
        )
        (
        1
        −
        g
        )
        +
        2
        n
        .
      
    
    {\displaystyle d:=\dim _{\mathbb {R} }M_{g,n}(X,A)=2c_{1}^{X}(A)+(\dim _{\mathbb {R} }X-6)(1-g)+2n.}

<h2 id="motivation">Motivation</h2>
The <a href="/facts/Moduli_space/9sqrdpwR">moduli space</a> 
 
 
 
 
 M
 
 g
 ,
 n
 
 
 J
 ,
 ν
 
 
 (
 X
 ,
 A
 )
 
 
 {\displaystyle M_{g,n}^{J,\nu }(X,A)}
 
 is not <a href="/facts/Compact_space/d0cgXJH7">compact</a>, because a sequence of curves can degenerate to a singular curve, which is not in the moduli space as defined above. This happens, for example, when the energy of 
 
 
 
 f
 
 
 {\displaystyle f}
 
 (meaning the <a href="/facts/Lp_space/gbad0Rv1">L2 norm</a> of the derivative) concentrates at some point on the domain.
One can capture the energy by rescaling the map around the concentration point. The effect is to attach a sphere, called a bubble, to the original domain at the concentration point and to extend the map across the sphere. The rescaled map may still have energy concentrating at one or more points, so one must rescale iteratively, eventually attaching an entire bubble tree onto the original domain, with the map well-behaved on each smooth component of the new domain.

<h2 id="definition">Definition</h2>
Define a stable map to be a pseudoholomorphic map from a Riemann surface with at worst nodal singularities, such that there are only finitely many automorphisms of the map.
Concretely, this means the following. A smooth component of a nodal Riemann surface is said to be stable if there are at most finitely many automorphisms preserving its marked and nodal points. Then a stable map is a pseudoholomorphic map with at least one stable domain component, such that for each of the other domain components

<ul><li>the map is nonconstant on that component, or</li>
<li>that component is stable.</li></ul>
It is significant that the domain of a stable map need not be a stable curve. However, one can contract its unstable components (iteratively) to produce a stable curve, called the stabilization 
 
 
 
 
 s
 t
 
 (
 C
 )
 
 
 {\displaystyle \mathrm {st} (C)}
 
 of the domain 
 
 
 
 C
 
 
 {\displaystyle C}
 
.

<h2 id="stable-map-compactification">Stable map compactification</h2>
The set of all stable maps from Riemann surfaces of genus 
 
 
 
 g
 
 
 {\displaystyle g}
 
 with 
 
 
 
 n
 
 
 {\displaystyle n}
 
 marked points forms a moduli space

M
              ¯
            
          
          
            g
            ,
            n
          
          
            J
            ,
            ν
          
        
        (
        X
        ,
        A
        )
        .
      
    
    {\displaystyle {\overline {M}}_{g,n}^{J,\nu }(X,A).}

The topology is defined by declaring that a sequence of stable maps converges if and only if

<ul><li>their (stabilized) domains converge in the <a href="/facts/Deligne%25E2%2580%2593Mumford_moduli_space_of_curves/u4mAMEfJ">Deligne–Mumford moduli space of curves</a> 
 
 
 
 
 
 
 M
 ¯
 
 
 
 g
 ,
 n
 
 
 
 
 {\displaystyle {\overline {M}}_{g,n}}
 
,</li>
<li>they converge uniformly in all derivatives on compact subsets away from the nodes, and</li>
<li>the energy concentrating at any point equals the energy in the bubble tree attached at that point in the limit map.</li></ul>
The moduli space of stable maps is compact; that is, any sequence of stable maps converges to a stable map. To show this, one iteratively rescales the sequence of maps. At each iteration there is a new limit domain, possibly singular, with less energy concentration than in the previous iteration. At this step the symplectic form 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
 enters in a crucial way. The energy of any smooth map representing the homology class 
 
 
 
 B
 
 
 {\displaystyle B}
 
 is bounded below by the symplectic area 
 
 
 
 ω
 (
 B
 )
 
 
 {\displaystyle \omega (B)}
 
,

ω
        (
        B
        )
        ≤
        
          
            1
            2
          
        
        ∫
        
          |
        
        d
        f
        
          
            |
          
          
            2
          
        
        ,
      
    
    {\displaystyle \omega (B)\leq {\frac {1}{2}}\int |df|^{2},}

with equality if and only if the map is pseudoholomorphic. This bounds the energy captured in each iteration of the rescaling and thus implies that only finitely many rescalings are needed to capture all of the energy. In the end, the limit map on the new limit domain is stable.
The compactified space is again a smooth, oriented orbifold. Maps with nontrivial automorphisms correspond to points with isotropy in the orbifold.

<h2 id="gromovwitten-pseudocycle">Gromov–Witten pseudocycle</h2>
To construct Gromov–Witten invariants, one pushes the moduli space of stable maps forward under the evaluation map

M
          
            g
            ,
            n
          
          
            J
            ,
            ν
          
        
        (
        X
        ,
        A
        )
        →
        
          
            
              M
              ¯
            
          
          
            g
            ,
            n
          
        
        ×
        
          X
          
            n
          
        
        ,
      
    
    {\displaystyle M_{g,n}^{J,\nu }(X,A)\to {\overline {M}}_{g,n}\times X^{n},}

(
        (
        C
        ,
        j
        )
        ,
        f
        ,
        (
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            n
          
        
        )
        )
        ↦
        (
        
          s
          t
        
        (
        C
        ,
        j
        )
        ,
        f
        (
        
          x
          
            1
          
        
        )
        ,
        …
        ,
        f
        (
        
          x
          
            n
          
        
        )
        )
      
    
    {\displaystyle ((C,j),f,(x_{1},\ldots ,x_{n}))\mapsto (\mathrm {st} (C,j),f(x_{1}),\ldots ,f(x_{n}))}

to obtain, under suitable conditions, a <a href="/facts/Rational_number/VJQmyY05">rational</a> homology class

G
        
          W
          
            g
            ,
            n
          
          
            X
            ,
            A
          
        
        ∈
        
          H
          
            d
          
        
        (
        
          
            
              M
              ¯
            
          
          
            g
            ,
            n
          
        
        ×
        
          X
          
            n
          
        
        ,
        
          Q
        
        )
        .
      
    
    {\displaystyle GW_{g,n}^{X,A}\in H_{d}({\overline {M}}_{g,n}\times X^{n},\mathbb {Q} ).}

Rational coefficients are necessary because the moduli space is an orbifold. The homology class defined by the evaluation map is independent of the choice of generic 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
-tame 
 
 
 
 J
 
 
 {\displaystyle J}
 
 and perturbation 
 
 
 
 ν
 
 
 {\displaystyle \nu }
 
. It is called the Gromov–Witten (GW) invariant of 
 
 
 
 X
 
 
 {\displaystyle X}
 
 for the given data 
 
 
 
 g
 
 
 {\displaystyle g}
 
, 
 
 
 
 n
 
 
 {\displaystyle n}
 
, and 
 
 
 
 A
 
 
 {\displaystyle A}
 
. A cobordism argument can be used to show that this homology class is independent of the choice of 
 
 
 
 ω
 
 
 {\displaystyle \omega }
 
, up to isotopy. Thus Gromov–Witten invariants are invariants of symplectic isotopy classes of symplectic manifolds.
The "suitable conditions" are rather subtle, primarily because multiply covered maps (maps that factor through a <a href="/facts/Branched_covering/tCP8sjL3">branched covering</a> of the domain) can form moduli spaces of larger dimension than expected.
The simplest way to handle this is to assume that the target manifold 
 
 
 
 X
 
 
 {\displaystyle X}
 
 is semipositive or <a href="/facts/Fano_variety/or8RszIv">Fano</a> in a certain sense. This assumption is chosen exactly so that the moduli space of multiply covered maps has codimension at least two in the space of non-multiply-covered maps. Then the image of the evaluation map forms a pseudocycle, which induces a well-defined homology class of the expected dimension.
Defining Gromov–Witten invariants without assuming some kind of semipositivity requires a difficult, technical construction known as the virtual moduli cycle.

<ul><li>Dusa McDuff and Dietmar Salamon, J-Holomorphic Curves and Symplectic Topology, American Mathematical Society colloquium publications, 2004. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 0-8218-3485-1.</li>
<li>Kontsevich, Maxim (1995). "Enumeration of rational curves via torus actions". Progr. Math. 129: 335–368. <a href="/facts/MR_(identifier)/uP137L11">MR</a> <a href="https://mathscinet.ams.org/mathscinet-getitem?mr=1363062">1363062</a>.</li></ul>

Stable map open-in-new

Stable map