Pseudoholomorphic curve

Pseudoholomorphic curve

In mathematics, specifically in topology and geometry, a pseudoholomorphic curve (or "J"-holomorphic curve) is a smooth map from a Riemann surface into an almost complex manifold that satisfies the Cauchy-Riemann equation. Introduced in 1985 by Mikhail Gromov, pseudoholomorphic curves have since revolutionized the study of symplectic manifolds. In particular, they lead to the Gromov-Witten invariants and Floer homology, and play a prominent role in string theory.

Definition

Let X be an almost complex manifold with almost complex structure J. Let C be a smooth Riemann surface (also called a complex curve) with complex structure j. A pseudoholomorphic curve in X is a map f : C o X that satisfies the Cauchy-Riemann equation:ar partial_{j, J} f := frac{1}{2}(df + J circ df circ j) = 0.Since J^2 = -1, this condition is equivalent to:J circ df = df circ j,which simply means that the differential df is complex-linear, that is, J maps each tangent space:T_xf(C)subseteq T_xXto itself. For technical reasons, it is often preferable to introduce some sort of inhomogeneous term u and to study maps satisfying the perturbed Cauchy-Riemann equation:ar partial_{j, J} f = u.A pseudoholomorphic curve satisfying this equation can be called, more specifically, a (j, J, u)-holomorphic curve. The perturbation u is sometimes assumed to be generated by a Hamiltonian (particularly in Floer theory), but in general it need not be.

A pseudoholomorphic curve is, by its definition, always parametrized. In applications one is often truly interested in unparametrized curves, meaning embedded (or immersed) two-submanifolds of X, so one mods out by reparametrizations of the domain that preserve the relevant structure. In the case of Gromov-Witten invariants, for example, we consider only closed domains C of fixed genus g and we introduce n marked points (or punctures) on C. As soon as the punctured Euler characteristic 2 - 2 g - n is negative, there are only finitely many holomorphic reparametrizations of C that preserve the marked points. The domain curve C is an element of the Deligne-Mumford moduli space of curves.

Analogy with the classical Cauchy-Riemann equations

The classical case occurs when X and C are both simply the complex number plane. In real coordinates:j = J = egin{bmatrix} 0 & -1 \ 1 & 0 end{bmatrix},and:df = egin{bmatrix} du/dx & du/dy \ dv/dx & dv/dy end{bmatrix},where f(x, y) = (u(x, y), v(x, y)). After multiplying these matrices in two different orders, one sees immediately that the equation:J circ df = df circ jwritten above is equivalent to the classical Cauchy-Riemann equations:egin{cases} du/dx = dv/dy \ dv/dx = -du/dy. end{cases}

Applications in symplectic topology

Although they can be defined for any almost complex manifold, pseudoholomorphic curves are especially interesting when J interacts with a symplectic form omega. An almost complex structure J is said to be omega-tame if and only if:omega(v, J v) > 0for all nonzero tangent vectors v. Tameness implies that the formula:(v, w) = frac{1}{2}left(omega(v, Jw) + omega(w, Jv) ight)defines a Riemannian metric on X. Gromov showed that, for a given omega, the space of omega-tame J is nonempty and contractible. He used this theory to prove a nonsqueezing theorem concerning symplectic embeddings of spheres into cylinders.

Gromov showed that certain moduli spaces of pseudoholomorphic curves (satisfying additional specified conditions) are compact, and described the way in which pseudoholomorphic curves can degenerate when only finite energy is assumed. (The finite energy condition holds most notably for curves with a fixed homology class in a symplectic manifold where J is omega-tame or omega-compatible). This Gromov compactness theorem, now greatly generalized using stable maps, makes possible the definition of Gromov-Witten invariants, which count pseudoholomorphic curves in symplectic manifolds.

Compact moduli spaces of pseudoholomorphic curves are also used to construct Floer homology, which Andreas Floer (and later authors, in greater generality) used to prove the famous conjecture of Vladimir Arnol'd concerning the number of fixed points of Hamiltonian flows.

Applications in physics

In type II string theory, one considers surfaces traced out by strings as they travel along paths in a Calabi-Yau 3-fold. Following the path integral formulation of quantum mechanics, one wishes to compute certain integrals over the space of all such surfaces. Because such a space is infinite-dimensional, these path integrals are not mathematically well-defined in general. However, under the A-twist one can deduce that the surfaces are parametrized by pseudoholomorphic curves, and so the path integrals reduce to integrals over moduli spaces of pseudoholomorphic curves (or rather stable maps), which are finite-dimensional. In closed type IIA string theory, for example, these integrals are precisely the Gromov-Witten invariants.

References

* Dusa McDuff and Dietmar Salamon, "J-Holomorphic Curves and Symplectic Topology", American Mathematical Society colloquium publications, 2004. ISBN 0-8218-3485-1.
* M. Gromov, Pseudo holomorphic curves in symplectic manifolds. Inventiones Mathematicae vol. 82, 1985, pgs. 307-347.
* cite journal
last = Donaldson
first = Simon K.
authorlink = Simon Donaldson
title = What Is...a Pseudoholomorphic Curve?
journal = Notices of the American Mathematical Society
year = 2005
month = October
volume = 52
issue = 9
pages = pp.1026–1027
url = http://www.ams.org/notices/200509/what-is.pdf
format = PDF
accessdate = 2008-01-17


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Stable map — In mathematics, specifically in symplectic topology and algebraic geometry, one can construct the moduli space of stable maps, satisfying specified conditions, from Riemann surfaces into a given symplectic manifold. This moduli space is the… …   Wikipedia

  • Gromov–Witten invariant — In mathematics, specifically in symplectic topology and algebraic geometry, Gromov–Witten (GW) invariants are rational numbers that, in certain situations, count pseudoholomorphic curves meeting prescribed conditions in a given symplectic… …   Wikipedia

  • Gromov's compactness theorem (topology) — For Gromov s compactness theorem in Riemannian geometry, see that article. In symplectic topology, Gromov s compactness theorem states that a sequence of pseudoholomorphic curves in an almost complex manifold with a uniform energy bound must have …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Taubes's Gromov invariant — In mathematics, the Gromov invariant of Clifford Taubes counts embedded (possibly disconnected) pseudoholomorphic curves in a symplectic 4 manifold. Taubes proved that is equivalent to the Seiberg Witten equations, in a series of four long papers …   Wikipedia

  • Symplectic geometry — is a branch of differential topology/geometry which studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2 form. Symplectic geometry has its origins in the Hamiltonian formulation of classical… …   Wikipedia

  • Symplectic sum — In mathematics, specifically in symplectic geometry, the symplectic sum is a geometric modification on symplectic manifolds, which glues two given manifolds into a single new one. It is a symplectic version of connected summation along a… …   Wikipedia

  • Pseudoholomorphe Kurve — Pseudoholomorphe Kurven (PHK) bezeichnen in der symplektischen Topologie eine glatte Abbildung von einer Riemannfläche in eine fast komplexe Mannigfaltigkeit, die die Cauchy Riemann Differentialgleichungen erfüllt. Sie wurden 1985 durch Mikhail… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”