Thom conjecture

From Wikipedia, the free encyclopedia

In mathematics, a smooth algebraic curve in the complex projective plane, of degree , has genus given by the formula

.

The Thom conjecture, named after French mathematician René Thom, states that if is any smoothly embedded connected curve representing the same class in homology as , then the genus of satisfies

.

In particular, C is known as a genus minimizing representative of its homology class. It was first proved by KronheimerMrowka in October 1994, using the then-new Seiberg–Witten invariants.

Assuming that has nonnegative self intersection number this was generalized to Kähler manifolds (an example being the complex projective plane) by MorganSzabóTaubes, also using the then-new Seiberg–Witten invariants.

There is at least one generalization of this conjecture, known as the symplectic Thom conjecture (which is now a theorem, as proved for example by Ozsváth and Szabó in 2000[1]). It states that a symplectic surface of a symplectic 4-manifold is genus minimizing within its homology class. This would imply the previous result because algebraic curves (complex dimension 1, real dimension 2) are symplectic surfaces within the complex projective plane, which is a symplectic 4-manifold.

See also

References

  1. ^ Ozsváth, Peter; Szabó, Zoltán (2000). "The symplectic Thom conjecture". Ann. of Math. 151 (1): 93–124. arXiv:math.DG/9811087Freely accessible. doi:10.2307/121113. 
Retrieved from "https://en.wikipedia.org/w/index.php?title=Thom_conjecture&oldid=669133429"
This content was retrieved from Wikipedia : http://en.wikipedia.org/wiki/Thom_conjecture
This page is based on the copyrighted Wikipedia article "Thom conjecture"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA