theory, and algebraic geometry.