# Stable map

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Stable_map
> Markdown URL: https://mediated.wiki/source/Stable_map.md
> Source: https://en.wikipedia.org/wiki/Stable_map
> Source revision: 1354949952
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (December 2015) (Learn how and when to remove this message)

In [mathematics](/source/Mathematics), specifically in [symplectic geometry](/source/Symplectic_geometry) and [algebraic geometry](/source/Algebraic_geometry), the **moduli spaces of stable maps** generalise the [moduli spaces of curves](/source/Moduli_of_algebraic_curves), allowing the study of the geometry of curves with respect to their position in some larger space X {\displaystyle X} . This is done by considering ways of embedding curves into X {\displaystyle X} , via a special kind of function called a **stable map**. The word "stable", like in the case of [stable curves](/source/Stable_curve), means that these maps have only a finite number of [automorphisms](/source/Automorphism), which is important for the construction of a "space of all curves (of a certain type) in X {\displaystyle X} " - that is, a [moduli space](/source/Moduli_space).

By "marking" a certain number of points on the embedded curves, and considering where these are positioned in the ambient space X {\displaystyle X} , we can calculate the [Gromov–Witten invariants](/source/Gromov%E2%80%93Witten_invariant), which find application in [enumerative geometry](/source/Enumerative_geometry) and [type IIA string theory](/source/Type_IIA_string_theory). The idea of stable maps was proposed by [Maxim Kontsevich](/source/Maxim_Kontsevich) around 1992 and published in [Kontsevich (1995)](#CITEREFKontsevich1995).

There are two competing points of view: those of algebraic and symplectic geometry. This article aims to treat both; the word "curve" refers both to (complex) [algebraic curves](/source/Algebraic_curve) and to [Riemann surfaces](/source/Riemann_surface), and the ambient space X {\displaystyle X} can be taken either as a [smooth](/source/Singular_point_of_an_algebraic_variety) [projective variety](/source/Projective_variety) or as a closed [symplectic manifold](/source/Symplectic_manifold) (equipped with a [symplectic form](/source/Symplectic_manifold) ω {\displaystyle \omega } and an [almost complex structure](/source/Almost_complex_manifold) J {\displaystyle J} satisfying a certain "compatibility condition" known as ω {\displaystyle \omega } -tameness, defined below).

Throughout this article X {\displaystyle X} denotes a fixed ambient space as above, and g , n {\displaystyle g,n} are nonnegative integers.

## Algebraic definition

Consider a [nodal](/source/Singular_point_of_a_curve#Further_classification) curve C {\displaystyle C} of genus g {\displaystyle g} and with n {\displaystyle n} distinct marked smooth points p 1 , … , p n ∈ C {\displaystyle p_{1},\ldots ,p_{n}\in C} . The curve C {\displaystyle C} is required to be connected, but may be made up of several [irreducible components](/source/Irreducible_component) joined to one another at the nodes. We say a point is a **special point** if it is either a marked point or a node.

A [morphism](/source/Morphism_of_algebraic_varieties) f : C → X {\displaystyle f:C\to X} is a **stable map** if every irreducible component of C {\displaystyle C} which is contracted by f {\displaystyle f} (that is, every component on which f {\displaystyle f} is constant) is itself a stable curve. This is equivalent to saying that contracted genus 0 components must have 3 or more special points, and contracted genus 1 components must have at least 1 special point. We typically write ( C , p 1 , … , p n , f ) {\displaystyle (C,p_{1},\ldots ,p_{n},f)} for such a map.[1]

We say that two stable maps ( C , p 1 , … , p n , f ) {\displaystyle (C,p_{1},\ldots ,p_{n},f)} and ( C ~ , q 1 , … , q n , f ~ ) {\displaystyle ({\tilde {C}},q_{1},\ldots ,q_{n},{\tilde {f}})} are isomorphic if there is an [isomorphism](/source/Morphism_of_algebraic_varieties) of curves τ : C → C ~ {\displaystyle \tau :C\to {\tilde {C}}} such that τ ( p i ) = q i {\displaystyle \tau (p_{i})=q_{i}} for all indices i {\displaystyle i} , and such that f ~ ∘ τ = f {\displaystyle {\tilde {f}}\circ \tau =f} . The above stability condition is then equivalent to saying that the group of automorphisms of f {\displaystyle f} is finite.

With this in mind, we may construct moduli spaces of stable maps. Let β ∈ H 2 ( X , Z ) {\displaystyle \beta \in H_{2}(X,\mathbb {Z} )} be the homology class of a curve. The corresponding (compact) moduli space M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} consists of (isomorphism classes of) stable maps ( C , p 1 … , p n , f ) {\displaystyle (C,p_{1}\ldots ,p_{n},f)} such that f ∗ [ C ] = β {\displaystyle f_{*}[C]=\beta } . The (possibly empty) [open subset](/source/Open_set) M g , n ( X , β ) = { ( C , p 1 , … , p n , f ) ∈ M ¯ g , n ( X , β ) ∣ C is a smooth curve } / ≅ {\displaystyle M_{g,n}(X,\beta )=\{(C,p_{1},\ldots ,p_{n},f)\in {\overline {M}}_{g,n}(X,\beta )\mid C{\text{ is a smooth curve}}\}/{\cong }} also has a moduli space structure, but is not [compact](/source/Compact_space).

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.

## In symplectic geometry

The symplectic case is more subtle, and requires some setup that was not needed for the algebraic case. We introduce the concepts of ω {\displaystyle \omega } -tameness and (perturbed) J {\displaystyle J} -holomorphic curves:

We say that the almost complex structure J {\displaystyle J} on X {\displaystyle X} is **ω {\displaystyle \omega } -tame** if, for every nonzero v ∈ T X {\displaystyle v\in TX} , we have ω ( v , J v ) > 0 {\displaystyle \omega (v,Jv)>0} . We assume from now on that J {\displaystyle J} has this property.

Let C {\displaystyle C} be a Riemann surface with complex structure j {\displaystyle j} . Let p r C , p r X {\displaystyle pr_{C},pr_{X}} be the projection maps from C × X {\displaystyle C\times X} onto each of its factors. A smooth map f : C → X {\displaystyle f:C\to X} is called a **perturbed J {\displaystyle J} -holomorphic** **curve** if it satisfies 1 2 ( d f + J ∘ d f ∘ j ) = ν , {\displaystyle {\frac {1}{2}}(df+J\circ df\circ j)=\nu ,} for some [conjugate-linear](/source/Antilinear_map) map ν : p r C ∗ T C → p r X ∗ T X {\displaystyle \nu :pr_{C}^{*}TC\to pr_{X}^{*}TX} . This is often written as ∂ ¯ J ( f ) = ν {\displaystyle {\bar {\partial }}_{J}(f)=\nu } for short. This is a perturbed form of the Cauchy-Riemann equations; setting ν = 0 {\displaystyle \nu =0} gives the usual Cauchy-Riemann equations, and the definition of a J {\displaystyle J} -holomorphic curve.[2]

Let β ∈ H 2 ( X , Z ) {\displaystyle \beta \in H_{2}(X,\mathbb {Z} )} . We want to define a space of maps from Riemann surfaces into X {\displaystyle X} , such that the [fundamental class](/source/Fundamental_class) of the surface is [pushed forward](/source/Pushforward_(homology)) to β {\displaystyle \beta } . One way to do this is by considering the space[note 1] M g , n ( J , ν , β ) = { f : ( C , p 1 , … , p n ) → X ∣ ∂ ¯ J ( f ) = ν , f ∗ [ C ] = β } / ≅ {\displaystyle M_{g,n}(J,\nu ,\beta )=\{f:(C,p_{1},\ldots ,p_{n})\to X\mid {\bar {\partial }}_{J}(f)=\nu ,f_{*}[C]=\beta \}/{\cong }} where ( C , p 1 , … , p n ) {\displaystyle (C,p_{1},\ldots ,p_{n})} is a (smooth) stable genus g {\displaystyle g} Riemann surface with n {\displaystyle n} marked points. This may be considered the symplectic analogue of the (noncompact) algebraic moduli space M g , n ( X , β ) {\displaystyle M_{g,n}(X,\beta )} . However, since the domain is required to be stable, we must have 2 g − 2 + n > 0 {\displaystyle 2g-2+n>0} (no stable curves exist otherwise).

We say that X {\displaystyle X} is **semipositive** if, for every homology class β ∈ H 2 ( X , Z ) {\displaystyle \beta \in H_{2}(X,\mathbb {Z} )} which can arise as the pushforward of the fundamental class of the sphere S 2 {\displaystyle S^{2}} under a map S 2 → X {\displaystyle S^{2}\to X} , we never have ∫ β ω > 0 and 3 − 1 2 dim R ⁡ X ≤ ∫ β c 1 ( T X ) < 0. {\displaystyle \int _{\beta }\omega >0\,{\text{ and }}\,3-{\frac {1}{2}}\dim _{\mathbb {R} }X\leq \int _{\beta }c_{1}(TX)<0.} When X {\displaystyle X} is semipositive, M g , n ( J , ν , β ) {\displaystyle M_{g,n}(J,\nu ,\beta )} has a natural compactification, called the Gromov-Uhlenbeck compactification.[3] A **stable map** in the sense of symplectic geometry can then be considered an element of this compactified space.

## Examples

- For any [positive integer](/source/Natural_number) m {\displaystyle m} , the space M ¯ 0 , 0 ( P m , 1 ) {\displaystyle {\overline {M}}_{0,0}(\mathbb {P} ^{m},1)} consists of degree 1 maps P 1 → P m {\displaystyle \mathbb {P} ^{1}\to \mathbb {P} ^{m}} , where the domain has no marked points. Such a map contracts no components of the domain (of which there is only one), and so is stable. This space is the [Grassmannian](/source/Grassmannian) G r ( P 1 , P m ) {\displaystyle \mathbf {Gr} (\mathbb {P} ^{1},\mathbb {P} ^{m})} parametrizing all lines in P m {\displaystyle \mathbb {P} ^{m}} .

- For any nonnegative integer d {\displaystyle d} , the space M ¯ 0 , 0 ( P 2 , d ) {\displaystyle {\overline {M}}_{0,0}(\mathbb {P} ^{2},d)} is the space of degree d {\displaystyle d} plane curves, and is of dimension 3 d − 1 {\displaystyle 3d-1} . Spaces like this can be used to answer questions in enumerative geometry such as: how many degree d {\displaystyle d} plane curves pass through 3 d − 1 {\displaystyle 3d-1} general points?

## Properties

- The space M g , n ( J , ν , β ) {\displaystyle M_{g,n}(J,\nu ,\beta )} is a manifold of (real) dimension 2 ∫ β c 1 ( T X ) + 2 ( 1 2 dim R ⁡ X − 3 ) ( 1 − g ) + 2 n . {\displaystyle 2\int _{\beta }c_{1}(TX)+2({\frac {1}{2}}\dim _{\mathbb {R} }X-3)(1-g)+2n.}

- The space M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} may be considered as the coarse moduli space of a Deligne-Mumford stack; this coarse moduli space is a projective scheme over C {\displaystyle \mathbb {C} } .

- In general, M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} may be reducible, non-reduced, and of impure dimension. However, when X {\displaystyle X} is [convex](/source/Convexity_(algebraic_geometry)) - that is, when h 1 ( C , f ∗ T X ) = 0 {\displaystyle h^{1}(C,f^{*}TX)=0} for every genus 0 stable map ( C , p 1 , … , p n , f ) {\displaystyle (C,p_{1},\ldots ,p_{n},f)} - the space M ¯ 0 , n ( X , β ) {\displaystyle {\overline {M}}_{0,n}(X,\beta )} is well-behaved, and has (complex) dimension ∫ β c 1 ( T X ) + dim C ⁡ X − 3 + n . {\displaystyle \int _{\beta }c_{1}(TX)+\dim _{\mathbb {C} }X-3+n.}

- Even when M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} does not have a well-defined dimension, we may define its **virtual dimension** as vdim ⁡ M ¯ g , n ( X , β ) = ∫ β c 1 ( T X ) + ( dim C ⁡ X − 3 ) ( 1 − g ) + n . {\displaystyle \operatorname {vdim} {\overline {M}}_{g,n}(X,\beta )=\int _{\beta }c_{1}(TX)+(\dim _{\mathbb {C} }X-3)(1-g)+n.} This coincides with the real dimension of M g , n ( J , ν , β ) {\displaystyle M_{g,n}(J,\nu ,\beta )} and, in the convex case, the dimension of M ¯ 0 , n ( X , β ) {\displaystyle {\overline {M}}_{0,n}(X,\beta )} . The [virtual fundamental class](/source/Virtual_fundamental_class) of M ¯ := M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}:={\overline {M}}_{g,n}(X,\beta )} , which is important for the definition of algebraic Gromov-Witten invariants, lives in the homology [vector space](/source/Vector_space) H vdim ⁡ M ¯ ( M ¯ , Q ) {\displaystyle H_{\operatorname {vdim} {\overline {M}}}({\overline {M}},\mathbb {Q} )} .

- When β = 0 {\displaystyle \beta =0} , the image of a stable map is just a point in X {\displaystyle X} , so we have M ¯ g , n ( X , 0 ) ≅ M ¯ g , n × X {\displaystyle {\overline {M}}_{g,n}(X,0)\cong {\overline {M}}_{g,n}\times X} via the map ( C , p 1 , … , p n , f ) → ( C , f ( C ) ) {\displaystyle (C,p_{1},\ldots ,p_{n},f)\to (C,f(C))} . In particular, this space is nonempty only if M ¯ g , n {\displaystyle {\overline {M}}_{g,n}} exists, i.e. if 2 g − 2 + n > 0 {\displaystyle 2g-2+n>0} .

- There are n {\displaystyle n} "evaluation maps" ev i : M ¯ g , n ( X , β ) → X {\displaystyle \operatorname {ev} _{i}:{\overline {M}}_{g,n}(X,\beta )\to X} sending ( C , p 1 , … , p n , f ) {\displaystyle (C,p_{1},\ldots ,p_{n},f)} to f ( p i ) {\displaystyle f(p_{i})} . These are also used in the definition of Gromov-Witten invariants, as they allow the [pulling back](/source/Pullback_(cohomology)) of cohomology classes from X {\displaystyle X} to M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} .

## Stabilisation and bubbling

It is not immediately clear that the moduli space M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} is compact, as there are several problems that can occur when taking the limit of a family in this space. Possible issues are:

- Two marked points converge to the same point

- A marked point converges to a node

- Two nodes converge to the same point, creating a triple point

- The map becomes constant on an unstable component of the domain

These can all be dealt with through a two-step process. The first step is known as **bubbling** and solves problems caused by misplaced markings or triple points: we attach a copy of P 1 {\displaystyle \mathbb {P} ^{1}} (a sphere), called a bubble, to the domain curve at the problematic point. If the problem involves a node, this bubble separates the two components that were joined by that node. Any markings that were present at the problem point are moved onto the bubble - this ensures that it is stable, so we may extend the original map to this new curve by defining it to be constant on the bubble. The second step consists of contracting any unstable-but-contracted components of the domain curve.

The result may still not be stable, but the process can be applied iteratively, eventually giving a new stable map which may be taken as the "limit" of the family in M ¯ g , n ( X , β ) {\displaystyle {\overline {M}}_{g,n}(X,\beta )} .

## Notes

1. **[^](#cite_ref-3)** For technical reasons, it is actually necessary to work with a multiple cover of the space of stable marked curves, and to restrict to the subset of this multiple cover consisting of those curves with only trivial automorphisms.

## References

- Kontsevich, Maxim (1995). "Enumeration of rational curves via torus actions". *Progr. Math*. **129**: 335–368. [MR](/source/MR_(identifier)) [1363062](https://mathscinet.ams.org/mathscinet-getitem?mr=1363062).

1. **[^](#cite_ref-1)** Hori, Kentaro, ed. (2003). *Mirror symmetry*. Clay mathematics monographs. Providence, RI : Cambridge, MA: American Mathematical Society; Clay Mathematics Institute. [ISBN](/source/ISBN_(identifier)) [978-0-8218-2955-4](https://en.wikipedia.org/wiki/Special:BookSources/978-0-8218-2955-4).

1. **[^](#cite_ref-2)** McDuff, Dusa; Salamon, Dietmar (2004). *J-Holomorphic Curves and Symplectic Topology*. Colloquium Publications (Online-Ausg ed.). Providence, R.I: American Mathematical Society. [ISBN](/source/ISBN_(identifier)) [978-0-8218-9096-7](https://en.wikipedia.org/wiki/Special:BookSources/978-0-8218-9096-7).

1. **[^](#cite_ref-4)** [Cox, David A.](/source/David_A._Cox); [Katz, Sheldon](/source/Sheldon_Katz) (2014). *Mirror Symmetry and Algebraic Geometry*. Mathematical Surveys and Monographs. Providence: American Mathematical Society. [ISBN](/source/ISBN_(identifier)) [978-0-8218-2127-5](https://en.wikipedia.org/wiki/Special:BookSources/978-0-8218-2127-5).

---
Adapted from the Wikipedia article [Stable map](https://en.wikipedia.org/wiki/Stable_map) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Stable_map?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.