Invariance of Proj under an eventual graded isomorphism

ID: invariance-of-proj-under-an-eventual-graded-isomorphism

If a graded homomorphism is an isomorphism in every sufficiently large degree, then it induces an isomorphism
Multiplying degree-zero localized fractions by a sufficiently large power of the chart denominator reduces the claim to the assumed high-degree isomorphisms.

New to topics? Read the docs here!