Some sourced from http://www.mat.uniroma2.it/~ricerca/geomet/workshops/Zaidenbergnotes.pdf
Results
- What is the Nullstellensatz? How is it proved?
- What is the adjunction formula?
-
What is the Riemann-Roch theorem?
- What is Riemann-Roch for curves?
- What is Riemann-Roch for surfaces?
- What is the Noether formula?
- What is Serre duality?
- What is Kodaira vanishing?
- What is the Hilbert basis theorem?
- What is Noether normalization?
- What is Zariski’s main theorem?
- What is the Stein factorization theorem?
- What is the Lefschetz hyperplane section theorem?
- What is the moving lemma?
- What is the Néron-Severi theorem?
- What is Bertini’s theorem?
- What is the Cartan-Serre theorem?
- What is the Nakai-Moishezon criterion?
- What is the minimal model theorem for curves?
- What is the minimal model program for surfaces?
- What is the going down theorem?
- What is Hurwitz’s theorem?
Problems
- Show that any affine variety has a unique decomposition into irreducible components.
- Show that the only irreducible subvarities of A2/k for k an infinite field are ∅,A2/k, and irreducible plane curves V(f) for f an irreducible polynomial where V(f) has infinite cardinality.
- Show that a projective variety X is irreducible iff I(V) is a (homogeneous) prime ideal
- Let X⊆An, show that I(X) is radical in OAn and maximal iff X is a point.
- Show that OAn is Noetherian.
- Show that any Zariski open is dense.
- Show that the Zariski topology on X is never separated unless X is a point.
- Show that Speck[x] with the Zariski topology coincides with the cofinite topology.
- Show that if X,Y are affine varieties, then X×Y is an affine variety with OX×Y≅OX⊗kOY.
- Show that any morphism A1→A1 or A1∖{0}→A1∖{0} is finite.
- Show that any morphism A1→A1∖{0} is constant.
- Show that if f:X→Y is quasi-finite, then dimX≤dimY.
- Show that if f:X→Y is finite and dimX=dimY, then f is closed and surjective.
- Can a non-surjective finite morphism exist?
- Let f:X→Y be a dominant morphism of affine varieties. Show that for any y∈f(X), any irreducible component of the fiber f−1(y) is an affine variety of dimension d≥dimX−dimY. Show that equality holds for a Zariski-dense open subset of Y.
- Show that if f∈OX be nonconstant, then any irreducible component of the fiber f−1(0) has dimension d=dimX−1.
- Let X be an affine variety with dimX=d. Show that if p is a smooth point, dimTpX=d, and otherwise dimTpX>d.
- Show that a point p∈X is smooth iff X↪An is locally a smooth submanifold.
- Show that TpX≅(mp/m2p)∨.
- Show that the singular points of X form a proper Zariski closed subset, so smooth points form a (dense) Zariski open subset.
- Show that any normal affine curve is smooth.
- Show that any Zariski closed subset of Pn is compact in the Hausdorff topology.
- Show that any projective variety is irreducible.
- Show that the singular locus Xsing of a projective variety is a proper Zariski closed subset, and that if X is normal, every irreducible component of Xsing has codimension d′≥2.
- Show that a normal projective curve is smooth.
- Show that if X is projective and Y is affine over k=C, then the projection π2:X×Y→Y is proper and closed in the Zariski topology.
-
Let f:X→Y with X,Y projective varieties over k=C.
- Show that f is proper and closed.
- Show that f(X) is a projective subvariety.
- Show that if f is dominant or birational, then f is surjective and any regular function on X is constant.
- Show that if U⊆X, then ffOU=C(X).
- f is birational iff f∗:OY→OX is an isomorphism.
- X×Y is projective, using the Segre embedding.
-
For X=V(f)⊆P3 with f irreducible homogeneous, show that X is singular at p iff gradf(p)=0.
- If p is smooth, show that the tangent line has the equation gradf(p)⋅[x,y,z]=0.
- Do isomorphic varieties have isomorphic affine cones?
- Show that AutPn/k=PGLn+1/k=GLn/k/Gm.
- Show that a proper morphism between smooth projective curves is an isomorphism.
- Let ˜X be the projective closure of X and show ˜X=X∪∂X, where ∂X={x0=0}∩X.
- What is H∗Pn/k?
- Show that any smooth cubic in P2 is an elliptic curve.
- Is every smooth projective curve of genus 0 defined over the field of complex numbers isomorphic to a conic in the projective plane?
- What is the maximum number of ramification points that a mapping of finite degree from one smooth projective curve over C of genus 1 to another (smooth projective curve of genus 1) can have?
- Find an everywhere regular differential n-form on An.
- Prove that the canonical bundle of Pn is O(n−1)
- Show that if X is a connected complete variety, then OX(X)=k, i.e. every global regular function is constant.
Examples
-
Show that V(x2+y2+z2,xyz) is a union of 6 lines.
-
Show that GLn(C) is an affine variety.
-
Show that A2/C∖{0} is not an affine variety.
-
Show that the Zariski topology on A2/k is not the product topology on A1/k×A1/k.
-
Show that the affine cubic X=V(x(xy−1)) is reducible and has two irreducible components.
-
Show that A1 is not isomorphic to X=V(xy−1)
- Show that X has two connected components in the Hausdorff topology but is irreducible in the Zariski topology.
-
Consider the morphism f:A2→A2(x,y)↦(x,xy). Is this finite? Dominant? Open? Closed? What are the fibers?
-
Cusps: show that the cuspidal cubic X=V(x3−y2) has a unique singular point.
- Show that the normalization of X is A1, using the birational map t↦(t2,t3).
- Show that the defining polynomial is irreducible in C[x,y]. What does this mean in terms of branching?
-
Double points: show that the nodal cubic X=V(x2−y2(y−1)) has a unique singular point.
- Show that X locally has two smooth branches at zero meeting transversally.
- Consider the projectivization ˜X=V(x2z−y2(y−z)). Show that the normalization morphism ν:P1→˜X is birational, and that ν−1(0:0:1) is two points. Compare this to Zariski’s main theorem.
-
Write μn={(x,y)↦(ζnx,ζny)} and define X=mSpecOμnA2 be the subalgebra of μd invariants, equivalently X=A2/μn. Show that X is a normal affine variety with a unique singular point.
-
Show that the image of the Segre embedding P1×P1→P3 is the smooth quadric V(x0x3−x1x2).
-
Define the Weierstrass cubic as X:=V(y2z−(x3+g2xz2+g3z3)) for g2,g3∈C. Show that X is nonsingular iff p(x):=x3+g2x+g3 has no multiple roots.
-
Let X=V(xy−z2) and compute the class group of X.
-
Let X=V(y2−x(x2−1)) and compute the class group of X.
-
Compute PicPn/k.