Documentation

DerivedAlgGeo.AlgebraicGeometry.Surface

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.