Algebra
Abstract algebra
Geometry
Algebraic geometry
Morphism of schemes
Torsor
Projective variety
Sheaf
Divisor
Proper morphism
Flat morphism
Smooth morphism