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 isomorphismMultiplying 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!