Surfaces #
Geometric surface theory: varieties of pure dimension two, distinguished by conditions on their canonical sheaf and cohomology.
This is the geometric surface lane. IntersectionTheory/Surface/ and
RiemannRoch/Surface/ are numerical, and Numerical/Examples/Surface/
exhibits models of the numerical axioms; none of them mentions a scheme.