EGA II

The items of EGA II that a declaration of an article carries, numbered as printed, each with the articles it is in and the attribute's comments where there are any.

§1

(1.1.1): 6.24 Continuous maps and sheaves of modules (“more general”), 18.21 Localization of ringed topoi (“more general”)
(1.1.2): 6.24 Continuous maps and sheaves of modules (“partial”), 18.21 Localization of ringed topoi (“partial”)
(1.2.1): 29.11 Affine morphisms
(1.2.2): 30.2 Čech cohomology of quasi-coherent sheaves, 29.2 Closed immersions, 29.11 Affine morphisms, 67.20 Affine morphisms
(1.2.3): 29.11 Affine morphisms (“affine target”)
(1.2.4): 29.11 Affine morphisms, 29.13 Quasi-affine morphisms (“more general”), 26.21 Separation axioms (“special case”)
(1.2.7): 66.33 Morphisms towards schemes (“absolute case S=Spec ℤ”)
(1.3.1): 27.3 Relative spectrum via glueing (“existence”), 29.11 Affine morphisms (“partial”)
(1.3.2): 29.11 Affine morphisms
(1.3.4): 29.11 Affine morphisms (“sufficiency”)
(1.3.5): 29.11 Affine morphisms, 65.4 Lists of useful properties of morphisms of schemes
(1.3.6): 29.11 Affine morphisms (“partial”; “special case”), 65.4 Lists of useful properties of morphisms of schemes (“partial”)
(1.3.8): 28.3 Integral, irreducible, and reduced schemes (“special case”), 26.12 Reduced schemes (“special case”)
(1.4.3): 29.11 Affine morphisms (“special case”), 26.7 Quasi-coherent sheaves on affines (“special case”)
(1.4.4): 26.5 Affine schemes (“partial”)
(1.4.5): 28.17 Characterizing modules of finite type and finite presentation (“affine base, B = O_Y”)
(1.4.6): 26.17 Fibre products of schemes (“special case”)
(1.5.1): 65.4 Lists of useful properties of morphisms of schemes
(1.5.2): 29.11 Affine morphisms
(1.5.3): 26.18 Base change in algebraic geometry (“partial”)
(1.5.4): 26.17 Fibre products of schemes (“special case”)
(1.5.5): 26.17 Fibre products of schemes (“special case”), 65.4 Lists of useful properties of morphisms of schemes (“more general”)
(1.5.6): 27.4 Relative spectrum as a functor
(1.6.1): 29.11 Affine morphisms
(1.6.2): 30.2 Čech cohomology of quasi-coherent sheaves, 29.2 Closed immersions, 29.11 Affine morphisms (“(v), special case”), 29.45 Integral and finite morphisms (“more general”), 26.17 Fibre products of schemes (“(iii), special case”), 65.4 Lists of useful properties of morphisms of schemes
(1.6.3): 29.11 Affine morphisms (“affine target”), 67.20 Affine morphisms
(1.7.4): 17.21 Symmetric and exterior powers (“(S(E))_s = S(E_s)”; “partial”)
(1.7.5): 17.21 Symmetric and exterior powers (“partial”)
(1.7.7): 17.21 Symmetric and exterior powers (“more general”; “special case”)
(1.7.8): 27.6 Vector bundles
(1.7.10): 26.13 Points of schemes (“Opening clause”)

§2

(2.1.3): 10.58 Noetherian graded rings
(2.1.4): 10.58 Noetherian graded rings (“partial”)
(2.1.5): 10.31 Noetherian rings (“sufficiency”), 10.58 Noetherian graded rings (“necessity”)
(2.1.6): 10.56 Graded rings, 10.58 Noetherian graded rings (“(i)”)
(2.3.1): 10.57 Proj of a graded ring (“set of graded primes”)
(2.3.2): 10.57 Proj of a graded ring (“V₊(S₊)=∅”)
(2.3.5): 27.8 Proj of a graded ring
(2.3.6): 27.8 Proj of a graded ring (“more general”)
(2.3.13): 10.57 Proj of a graded ring (“more general”)
(2.3.14): 27.8 Proj of a graded ring (“special case”)
(2.3.16): 10.57 Proj of a graded ring
(2.4.1): 27.8 Proj of a graded ring (“(f)”)
(2.4.2): 27.16 Relative Proj as a functor
(2.5.5): 27.8 Proj of a graded ring (“special case”)
(2.5.6): 30.14 Coherent sheaves on Proj, I (“sufficiency clause”)
(2.5.11): 27.9 Quasi-coherent sheaves on Proj (“(2.5.11.2)”; “λ_f on D_+(f)”)
(2.5.14): 27.10 Invertible sheaves on Proj (“(2.5.14.2)”)
(2.5.15): 27.10 Invertible sheaves on Proj
(2.6.1): 27.12 Morphisms into Proj, 17.25 Invertible modules (“graded ring Γ_•(O_X)”; “Γ_•(O_X) definition”)
(2.6.4): 27.10 Invertible sheaves on Proj (“more general”)
(2.7.1): 30.15 Coherent sheaves on Proj, II (“(i)”), 31.31 Relative Proj (“(ii)”)
(2.7.2): 30.14 Coherent sheaves on Proj, I (“If M satisfies (TN)”)
(2.7.3): 30.14 Coherent sheaves on Proj, I (“(ii)”)
(2.7.7): 30.15 Coherent sheaves on Proj, II (“Coherent noetherian case”)
(2.7.9): 28.27 Ample invertible sheaves
(2.7.10): 28.27 Ample invertible sheaves (“(d') ⇒ (a), ideals”; “(d'), ideals”; “(d) ⇒ (d')”; “exists n,k quotient”; “ideals”)
(2.8.1): 27.11 Functoriality of Proj
(2.8.4): 27.11 Functoriality of Proj
(2.8.6): 22.33 Derived tensor product (“more general”), 24.17 Sheaves of differential graded bimodules and tensor-hom adjunction (“more general”)
(2.8.10): 27.16 Relative Proj as a functor (“partial”)
(2.8.11): 27.16 Relative Proj as a functor (“more general”)
(2.9.2): 27.13 Projective space (“(ii), special case”), 27.18 Functoriality of relative Proj (“more general”), 31.32 Closed subschemes of relative proj (“more general”)
(2.9.5): 27.11 Functoriality of Proj (“special case”)

§3

(3.1.1): 27.8 Proj of a graded ring, 12.16 Graded objects (“partial”)
(3.1.2): 27.15 Relative Proj via glueing (“existence”)
(3.1.3): 27.8 Proj of a graded ring (“special case”), 27.16 Relative Proj as a functor (“separated over Y”), 31.31 Relative Proj (“locally of finite type”; “partial”; “quasi-compact”)
(3.1.4): 27.8 Proj of a graded ring (“affineness of X_f over Y”; “special case”)
(3.1.7): 10.57 Proj of a graded ring (“partial”)
(3.1.10): 10.56 Graded rings (“affine case”)
(3.2.1): 27.8 Proj of a graded ring (“affine base”)
(3.2.2): 27.8 Proj of a graded ring (“affine base Y”)
(3.2.5): 27.10 Invertible sheaves on Proj (“Second assertion”), 27.12 Morphisms into Proj (“special case”)
(3.2.6): 27.9 Quasi-coherent sheaves on Proj (“λ (3.2.6.1)”)
(3.2.8): 27.10 Invertible sheaves on Proj
(3.3.2): 27.9 Quasi-coherent sheaves on Proj (“partial, special case”), 27.17 Quasi-coherent sheaves on relative Proj (“Map (3.3.2.4) for n = 0”)
(3.4.1): 31.31 Relative Proj (“locally of finite type”; “quasi-compactness”; “special case”)
(3.4.2): 30.14 Coherent sheaves on Proj, I (“special case”)
(3.5.1): 27.18 Functoriality of relative Proj (“partial”; “special case”)
(3.5.5): 10.14 Base change (“special case”), 42.15 Push and pull (“partial”), 63.5 Weightings and trace maps for locally quasi-finite morphisms (“partial”), 29.15 Morphisms of finite type (“partial”), 29.21 Quasi-finite morphisms (“partial”), 65.4 Lists of useful properties of morphisms of schemes (“partial”)
(3.5.6): 27.11 Functoriality of Proj (“partial”)
(3.6.1): 27.18 Functoriality of relative Proj (“TN-bijective clause”)
(3.6.2): 31.32 Closed subschemes of relative proj (“more general”)
(3.8.1): 29.3 Immersions (“more general”), 26.17 Fibre products of schemes (“Immersion clause”), 26.18 Base change in algebraic geometry (“Immersion clause”), 65.4 Lists of useful properties of morphisms of schemes (“Immersion clause”; “more general”)

§4

(4.1.1): 27.21 Projective bundles (“P(E) itself”; “projection to Y”)
(4.1.3): 27.16 Relative Proj as a functor (“more general”)
(4.2.3): 31.32 Closed subschemes of relative proj (“Case Y = X”)
(4.2.10): 31.32 Closed subschemes of relative proj (“special case”)
(4.3.3): 27.13 Projective space (“over Spec ℤ”)
(4.4.2): 29.39 Very ample sheaves
(4.4.3): 29.39 Very ample sheaves (“Case X = Proj_Y(S)”)
(4.4.5): 29.39 Very ample sheaves
(4.4.10): 29.39 Very ample sheaves
(4.5.1): 17.25 Invertible modules (“S = ⊕Γ(X,L^⊗n)”; “partial”)
(4.5.2): 28.27 Ample invertible sheaves (“(a') => (a)”; “(a) ⇐ (a'')”; “(a) ⇐ (a')”; “(a) ⇒ (a'')”; “(a) ⇒ (a')”; “partial”)
(4.5.3): 28.27 Ample invertible sheaves
(4.5.4): 28.30 Finding suitable affine opens
(4.5.5): 28.27 Ample invertible sheaves (“(a) ⇒ (b)”; “(a) ⇒ (b), ideals”; “(a) ⇒ (d')”; “(a) ⇒ (d'), ideals”; “(a) ⇒ (d)”; “(b) ⇒ (a)”; “(b) ⇒ (a), ideals”; “(d') ⇒ (a)”; “(d') ⇒ (a), ideals”; “(d') ⇒ (b), ideals”; “(d) ⇒ (a)”)
(4.5.6): 28.27 Ample invertible sheaves (“(i)”; “(ii)”)
(4.5.10): 29.40 Ample and very ample sheaves relative to finite type morphisms (“(ii): ample implies e)”; “(ii): e) implies ample”; “(ii): e) implies e')”; “more general”)
(4.5.11): 29.40 Ample and very ample sheaves relative to finite type morphisms (“The case L' = O_X”; “more general”)
(4.5.13): 28.27 Ample invertible sheaves (“necessity”)
(4.5.14): 28.27 Ample invertible sheaves (“necessity”)
(4.6.1): 29.38 Relatively ample sheaves
(4.6.2): 29.40 Ample and very ample sheaves relative to finite type morphisms (“more general”)
(4.6.3): 29.38 Relatively ample sheaves, 29.41 Quasi-projective morphisms (“special case”), 71.14 Relatively ample sheaves (“more general”)
(4.6.4): 29.38 Relatively ample sheaves (“Necessity”; “Sufficiency”)
(4.6.6): 29.38 Relatively ample sheaves
(4.6.8): 28.27 Ample invertible sheaves (“absolute case of (c)”)
(4.6.9): 29.38 Relatively ample sheaves
(4.6.11): 29.40 Ample and very ample sheaves relative to finite type morphisms (“partial”)
(4.6.12): 29.40 Ample and very ample sheaves relative to finite type morphisms
(4.6.13): 28.27 Ample invertible sheaves (“(i bis), absolute case”)
(4.6.13.1): 17.25 Invertible modules (“more general”)
(4.6.15): 26.10 Immersions of schemes (“more general”)
(4.6.18): 31.31 Relative Proj (“f of finite type”; “f quasi-compact”; “partial”), 31.33 Blowing up (“special case”)

§5

(5.1.1): 29.13 Quasi-affine morphisms
(5.1.2): 29.13 Quasi-affine morphisms (“more general”), 28.27 Ample invertible sheaves (“d) ⇒ c')”), 28.28 Affine and quasi-affine schemes (“more general”)
(5.1.6): 29.13 Quasi-affine morphisms (“(a)<=>(b), affine base”; “partial”), 29.38 Relatively ample sheaves (“(a) <=> (c')”), 71.14 Relatively ample sheaves (“more general”)
(5.1.8): 29.13 Quasi-affine morphisms (“X q-affine ⇒ f q-affine”)
(5.1.9): 32.5 Absolute Noetherian Approximation (“base Spec ℤ, affine”)
(5.1.10): 30.17 Ample invertible sheaves and cohomology (“(vi), special case”), 37.49 Quasi-projective schemes (“(ii), special case”), 29.13 Quasi-affine morphisms
(5.1.12): 29.38 Relatively ample sheaves (“absolute case”)
(5.2.1): 30.3 Vanishing of cohomology (“(d')⇒(a)”; “(d')⇒(a), quasi-sep”)
(5.2.2): 30.3 Vanishing of cohomology (“c ⇒ a, c' ⇒ a”)
(5.2.3): 30.2 Čech cohomology of quasi-coherent sheaves
(5.2.4): 30.2 Čech cohomology of quasi-coherent sheaves
(5.3.1): 29.41 Quasi-projective morphisms
(5.3.3): 29.40 Ample and very ample sheaves relative to finite type morphisms (“special case”), 29.44 Projective morphisms (“more general”)
(5.3.4): 37.49 Quasi-projective schemes (“(iv)”), 29.41 Quasi-projective morphisms (“(i)”)
(5.3.6): 37.49 Quasi-projective schemes (“special case”)
(5.4.1): 29.42 Proper morphisms, 26.20 Valuative criterion for universal closedness
(5.4.2): 42.15 Push and pull (“more general”), 53.8 The genus of a curve (“more general”), 29.42 Proper morphisms (“more general”), 65.4 Lists of useful properties of morphisms of schemes (“more general”)
(5.4.3): 29.42 Proper morphisms (“more general”), 101.37 Proper morphisms (“(ii)”)
(5.4.9): 29.42 Proper morphisms (“5.4.2(i)”; “5.4.2(ii)”; “5.4.2(iii)”; “5.4.3(ii), special case”; “more general”), 26.19 Quasi-compact morphisms (“5.4.2(i)”), 26.20 Valuative criterion for universal closedness, 65.4 Lists of useful properties of morphisms of schemes (“5.4.2(ii)”; “5.4.2(iii)”), 67.40 Proper morphisms (“5.4.3 univ. closed”), 101.37 Proper morphisms (“5.4.3 univ. closed”)
(5.4.10): 30.26 Being proper over a base (“indep. of subscheme”; “more general”), 75.7 Being proper over a base (“indep. of subscheme”)
(5.5.2): 29.44 Projective morphisms
(5.5.3): 29.44 Projective morphisms (“(i)+(ii) in H-form”; “more general”)
(5.5.5): 29.45 Integral and finite morphisms (“more general”)
(5.5.6): 37.50 Projective schemes (“special case”)
(5.5.7): 27.8 Proj of a graded ring (“special case”)
(5.5.8): 29.11 Affine morphisms, 28.27 Ample invertible sheaves
(5.6.1): 30.18 Chow's Lemma (“(a); (i),(ii)”), 32.12 Variants of Chow's Lemma (“(b); (i),(ii)”)
(5.6.2): 30.18 Chow's Lemma (“f⁻¹(U) dense in X'”; “reduced X' clause”)
(5.6.3): 70.20 Universally closed morphisms (“more general”)

§6

(6.1.1): 29.45 Integral and finite morphisms (“Finite morphism”; “Integral morphism”; “partial”)
(6.1.2): 10.36 Finite and integral ring extensions (“more general”; “special case”), 29.45 Integral and finite morphisms (“finite branch”; “forward implication”; “integral branch”)
(6.1.4): 29.45 Integral and finite morphisms
(6.1.5): 10.7 Finite ring maps (“(ii), special case”), 10.36 Finite and integral ring extensions (“(ii), integral, affine”; “(iii), finite, affine”; “(iii), integral, affine”; “(v), special case”), 29.45 Integral and finite morphisms (“(i), finite clause”; “(ii), finite branch”; “(ii), integral branch”; “(iii), finite branch”; “(iii), integral branch”; “(iii), special case”; “(v), finite branch”; “(v), integral branch”), 65.4 Lists of useful properties of morphisms of schemes (“(ii), finite branch”; “(ii), integral branch”; “(iii), finite branch”; “(iii), integral branch”), 67.45 Integral and finite morphisms (“(i) finite”; “(i) integral”; “(ii) finite”; “(ii) integral”; “(v) finite”; “(v) integral”)
(6.1.6): 29.45 Integral and finite morphisms (“finite clause”; “integral clause”)
(6.1.7): 26.18 Base change in algebraic geometry, 76.35 Applications of Zariski's Main Theorem, I (“discrete fibres”)
(6.1.8): 29.52 Generically finite morphisms (“more general”)
(6.1.10): 29.42 Proper morphisms (“closed immersions”), 29.45 Integral and finite morphisms (“more general”), 26.19 Quasi-compact morphisms (“closed immersions”), 67.45 Integral and finite morphisms
(6.1.11): 29.45 Integral and finite morphisms
(6.1.15): 29.55 Normalization
(6.2.1): 10.122 Quasi-finite maps (“affine case”), 29.21 Quasi-finite morphisms
(6.2.2): 10.122 Quasi-finite maps (“affine case, b)⇔c)”; “affine case, one prime”; “affine, base a field”; “affine, one fibre a)⇔b)”), 29.21 Quasi-finite morphisms (“a) <=> c)”)
(6.2.4): 63.5 Weightings and trace maps for locally quasi-finite morphisms (“(iii)”), 29.21 Quasi-finite morphisms (“(i)”; “(iii)”; “(v)”), 29.45 Integral and finite morphisms (“(i)”), 65.4 Lists of useful properties of morphisms of schemes (“(iii)”)
(6.2.7): 37.43 Zariski's Main Theorem (“more general”)
(6.3.1): 10.5 Finite modules and finitely presented modules, 10.36 Finite and integral ring extensions (“special case”), 11.2 Noncommutative algebras, 9.7 Finite extensions
(6.3.2): 29.54 Relative normalization (“special case”)
(6.3.4): 29.54 Relative normalization (“affine sections”; “quasi-coherence”)
(6.3.6): 29.54 Relative normalization (“more general”), 29.55 Normalization (“special case”)
(6.3.7): 10.37 Normal rings (“special case”)
(6.3.8): 10.37 Normal rings (“special case”), 33.41 Normalization of one dimensional schemes (“special case”)
(6.3.9): 10.37 Normal rings (“special case”), 29.55 Normalization (“special case”)
(6.3.10): 10.36 Finite and integral ring extensions (“special case”), 10.161 Japanese rings (“special case”), 10.162 Nagata rings (“special case”), 35.23 Properties of morphisms local in the fpqc topology on the target (“Locality on X”), 29.45 Integral and finite morphisms (“partial”)
(6.4.1): 10.14 Base change, 10.16 Cayley-Hamilton
(6.4.2): 10.14 Base change, 11.2 Noncommutative algebras, 9.7 Finite extensions
(6.4.5.1): 10.36 Finite and integral ring extensions (“special case”)
(6.4.7): 10.14 Base change, 10.25 Zerodivisors and total rings of fractions (“partial”), 29.55 Normalization (“integral closure product”)
(6.4.8): 10.16 Cayley-Hamilton (“special case”), 17.14 Locally free sheaves (“partial”), 18.18 Intrinsic properties of modules (“more general”), 18.23 Local types of modules (“more general”)
(6.5.1): 10.78 Finite projective modules (“(I)”; “(I), special case”), 31.18 Norms (“special case”), 29.55 Normalization (“partial”)
(6.5.3): 17.4 Sections of sheaves of modules (“more general”)
(6.5.8): 26.17 Fibre products of schemes
(6.6.1): 31.18 Norms (“absolute, Y normal”; “absolute, loc free case”)
(6.6.2): 31.18 Norms (“Y integral normal”; “locally free case”)
(6.6.5): 33.15 Change of fields and ample invertible sheaves (“quasi-proj. descent”)
(6.6.13): 28.28 Affine and quasi-affine schemes

§7

(7.1.1): 10.50 Valuation rings (“definition”; “partial”)
(7.1.2): 10.119 Around Krull-Akizuki (“special case”)
(7.1.4): 28.5 Noetherian schemes (“special case”)
(7.1.5): 10.9 Localization, 10.18 Local rings, 10.60 Dimension, 9.3 Examples of fields
(7.1.6): 10.50 Valuation rings (“valuation ring ⇒ DVR”), 10.119 Around Krull-Akizuki (“more general”), 10.157 Serre's criterion for normality (“more general”), 33.43 Curves (“curve stalk case”)
(7.1.7): 10.119 Around Krull-Akizuki
(7.1.9): 28.5 Noetherian schemes (“more general”)
(7.2.1): 5.17 Characterizing proper maps, 5.19 Specialization (“a ⇒ b”)
(7.2.2): 5.19 Specialization (“Necessity”)
(7.2.3): 32.15 Noetherian valuative criterion (“Noetherian/DVR case”)
(7.2.4): 26.21 Separation axioms (“absolute case”)
(7.3.2): 67.43 Valuative criterion of separatedness (“more general”)
(7.3.3): 32.15 Noetherian valuative criterion (“Noetherian, finite type”)
(7.3.7): 28.7 Normal schemes (“partial”), 28.12 Serre's conditions (“partial”)
(7.3.8): 32.15 Noetherian valuative criterion (“(b)⇒(a)”; “fin. type, Noeth. base”; “proper/DVR case”), 32.16 Refined Noetherian valuative criteria (“(b)⇒(a)”), 70.21 Noetherian valuative criterion (“(b) ⇒ (a)”)
(7.3.9): 59.9 Presheaves (“more general”), 29.44 Projective morphisms (“special case”)
(7.3.11): 29.45 Integral and finite morphisms (“special case”), 67.48 Relative normalization of algebraic spaces (“Integrality of Γ(X”)
(7.3.12): 10.161 Japanese rings (“special case”), 29.45 Integral and finite morphisms (“more general”), 36.11 Derived category of coherent modules (“special case”)
(7.4.1): 29.15 Morphisms of finite type (“partial”)
(7.4.2): 59.67 Galois cohomology (“special case”), 33.43 Curves (“special case”)
(7.4.5): 33.43 Curves
(7.4.6): 31.26 Meromorphic functions and sections; reduced case (“special case”), 29.55 Normalization (“special case”), 33.39 The delta invariant (“affine case, 𝒜=R(X)”)
(7.4.7): 29.42 Proper morphisms
(7.4.9): 53.2 Curves and function fields
(7.4.14): 27.8 Proj of a graded ring (“more general”; “partial”), 26.14 Glueing schemes

§8

(8.1.3): 31.33 Blowing up (“qcoh ideal case”)
(8.1.4): 31.33 Blowing up (“(i) integrality, blowup”)
(8.1.8): 71.17 Blowing up (“partial”)
(8.2.10): 37.51 Proj and Spec (“(iii), special case”)
(8.3.1): 27.7 Cones (“affine cone C=Spec(S)”), 27.8 Proj of a graded ring (“special case”), 27.15 Relative Proj via glueing (“more general”; “partial”), 27.16 Relative Proj as a functor, 26.18 Base change in algebraic geometry (“partial”)
(8.3.4): 10.57 Proj of a graded ring (“partial”)
(8.3.7): 10.57 Proj of a graded ring (“graded prime q exists”)
(8.3.9): 39.5 Examples of group schemes (“partial, special case”), 39.12 Equivariant quasi-coherent sheaves (“partial”; “special case”)
(8.6.1): 27.7 Cones (“partial”)
(8.6.2): 37.51 Proj and Spec (“special case”)
(8.6.3): 37.51 Proj and Spec (“special case”)
(8.7.3): 37.51 Proj and Spec (“partial”)
(8.7.4): 37.51 Proj and Spec (“(ii), special case”)
(8.8.3): 37.51 Proj and Spec (“special case”)
(8.8.6.1): 28.7 Normal schemes, 72.4 Integral algebraic spaces
(8.9.4): 31.14 Effective Cartier divisors (“Setup hypothesis”), 31.15 Effective Cartier divisors and invertible sheaves (“partial”)
(8.10.1): 76.12 Infinitesimal neighbourhoods (“more general”)
(8.10.2): 29.2 Closed immersions (“j′ is a closed immersion”), 26.17 Fibre products of schemes (“j′ is a closed immersion”), 26.18 Base change in algebraic geometry (“j′ is a closed immersion”), 65.4 Lists of useful properties of morphisms of schemes (“j′ is a closed immersion”)
(8.10.3): 10.60 Dimension
(8.10.6): 29.38 Relatively ample sheaves (“partial”)
(8.11.1): 5.6 Submersive maps (“partial”)
(8.11.2): 29.55 Normalization (“special case”)
(8.11.8): 10.37 Normal rings (“partial”), 37.53 Stein factorization (“(ii), special case”)
(8.12.4): 27.18 Functoriality of relative Proj (“special case”)
(8.12.5): 37.51 Proj and Spec (“special case”)
(8.13.4): 29.2 Closed immersions (“partial”), 26.10 Immersions of schemes
(8.14.1): 27.16 Relative Proj as a functor (“more general”), 27.17 Quasi-coherent sheaves on relative Proj (“partial”), 71.11 Relative Proj (“more general”)
(8.14.4): 28.27 Ample invertible sheaves (“invertible for some d”)
(8.14.6): 29.3 Immersions (“more general”), 26.21 Separation axioms (“more general”)
(8.14.8): 28.29 Quasi-coherent sheaves and ample invertible sheaves (“special case”)
(8.14.11): 30.8 Cohomology of projective space (“Case Y = Spec k”)
(8.14.13): 27.11 Functoriality of Proj (“partial”)

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.