No Arabic abstract
We prove the Lefschetz hyperplane section theorem using a simpler machinery by making the observation that we can compose the Lefschetz Pencil with a Real Morse function to get a map from the variety to $mathbb{R}$ which is close to being a Real Morse function. The proof uses a new method unlike the conventional one which uses vanishing cycles, thimbles and monodromy. We prove the genus formula for plane curves using Morse theory, Lefschetz pencil and Bezouts theorem. And then we prove the Riemann Hurwitz formula for ramified maps between curves by employing techniques from deformation theory. Lastly, we prove the Lefschetz Hyperplane Section Theorem solely using Real Morse Theory and exact sequences.
We develop the idea of self-indexing and the technology of gradient-like vector fields in the setting of Morse theory on a complex algebraic stratification. Our main result is the local existence, near a Morse critical point, of gradient-like vector fields satisfying certain ``stratified dimension bounds up to fuzz for the ascending and descending sets. As a global consequence of this, we derive the existence of self-indexing Morse functions.
Noether-Lefschetz divisors in the moduli of K3 surfaces are the loci corresponding to Picard rank at least 2. We relate the degrees of the Noether-Lefschetz divisors in 1-parameter families of K3 surfaces to the Gromov-Witten theory of the 3-fold total space. The reduced K3 theory and the Yau-Zaslow formula play an important role. We use results of Borcherds and Kudla-Millson for O(2,19) lattices to determine the Noether-Lefschetz degrees in classical families of K3 surfaces of degrees 2, 4, 6 and 8. For the quartic K3 surfaces, the Noether-Lefschetz degrees are proven to be the Fourier coefficients of an explicitly computed modular form of weight 21/2 and level 8. The interplay with mirror symmetry is discussed. We close with a conjecture on the Picard ranks of moduli spaces of K3 surfaces.
Let $Z$ be a closed subscheme of a smooth complex projective variety $Ysubseteq Ps^N$, with $dim,Y=2r+1geq 3$. We describe the intermediate Neron-Severi group (i.e. the image of the cycle map $A_r(X)to H_{2r}(X;mathbb{Z})$) of a general smooth hypersurface $Xsubset Y$ of sufficiently large degree containing $Z$.
Let $Z$ be a closed subscheme of a smooth complex projective complete intersection variety $Ysubseteq Ps^N$, with $dim Y=2r+1geq 3$. We describe the Neron-Severi group $NS_r(X)$ of a general smooth hypersurface $Xsubset Y$ of sufficiently large degree containing $Z$.
The Yau-Zaslow conjecture determines the reduced genus 0 Gromov-Witten invariants of K3 surfaces in terms of the Dedekind eta function. Classical intersections of curves in the moduli of K3 surfaces with Noether-Lefschetz divisors are related to 3-fold Gromov-Witten theory via the K3 invariants. Results by Borcherds and Kudla-Millson determine the classical intersections in terms of vector-valued modular forms. Proven mirror transformations can often be used to calculate the 3-fold invariants which arise. Via a detailed study of the STU model (determining special curves in the moduli of K3 surfaces), we prove the Yau-Zaslow conjecture for all curve classes on K3 surfaces. Two modular form identities are required. The first, the Klemm-Lerche-Mayr identity relating hypergeometric series to modular forms after mirror transformation, is proven here. The second, the Harvey-Moore identity, is proven by D. Zagier and presented in the paper.