23/04/17 13:18:45.58 Pi/h2IHq.net
>>207
つづき
Prior to this construction, non-diffeomorphic smooth structures on spheres ? exotic spheres ? were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2023). For any positive integer n other than 4, there are no exotic smooth structures on
R^n; in other words, if n ≠ 4 then any smooth manifold homeomorphic to
R^n is diffeomorphic to R^n.[4]
URLﾘﾝｸ(en.wikipedia.org)
Clifford Henry Taubes (born February 21, 1954)[1] is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taubes.
Early career
Taubes received his PhD in physics in 1980 under the direction of Arthur Jaffe, having proven results collected in (Jaffe & Taubes 1980) about the existence of solutions to the Landau?Ginzburg vortex equations and the Bogomol'nyi monopole equations.
Soon, he began applying his gauge-theoretic expertise to pure mathematics. His work on the boundary of the moduli space of solutions to the Yang-Mills equations was used by Simon Donaldson in his proof of Donaldson's theorem. He proved in (Taubes 1987) that R4 has an uncountable number of smooth structures (see also exotic R4), and (with Raoul Bott in Bott & Taubes 1989) proved Witten's rigidity theorem on the elliptic genus.
Work based on Seiberg?Witten theory
In a series of four long papers in the 1990s (collected in Taubes 2000), Taubes proved that, on a closed symplectic four-manifold, the (gauge-theoretic) Seiberg?Witten invariant is equal to an invariant which enumerates certain pseudoholomorphic curves and is now known as Taubes's Gromov invariant. This fact improved mathematicians' understanding of the topology of symplectic four-manifolds.
(引用終り)
以上