Double plane of general type
ID: double-plane-of-general-type
Let be a smooth curve of degree , and let be the double cover branched along . ThenFor this canonical divisor is ample, so is a surface of general type. A smooth octic branch curve gives the first such example.
New to topics? Read the docs here!