REVIEW 3 major objections 3 minor 54 references
Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For pseudo-coherent finite maps, the paper proves that the concretely defined functor f^♭ is a pseudofunctorial right adjoint to derived direct image and agrees with the abstract twisted inverse image.
desk verdict A careful, mostly convincing infrastructure paper that makes the finite pseudo-coherent case of the concrete f^♭ = abstract f^! dictionary precise, with one load-bearing pseudofunctoriality assertion that needs to be written out. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the concrete functor f^♭ defined through the factorization f = φ\bar f, with \bar f flat and φ a restriction of scalars. The key equivalence identifies D_qc(X) with D_qc(Y,f_*O_X) by way of R\bar f_*, so a right adjoint for Rf_* is produced from the classical derived-Hom adjunction for modules: the right adjoint of restriction of scalars is RHom_{O_Y}(f_*O_X,-), equipped with its natural f_*O_X-module structure. A second load-bearing fact, Lemma 2.3.8, guarantees that this derived Hom stays in the bounded-below quasi-coherent derived category when fed a pseudo-coherent complex and a bounded-below quasi-coherent complex. The whole paper then runs on the resulting explicit adjunction and the bifunctorial duality map derived from it.
What would settle it
Find a pseudo-coherent finite map f: X → Y and a complex G in D^+_qc(Y) for which RHom_{O_Y}(f_*O_X,G) fails to be bounded below or fails to have quasi-coherent cohomology. Lemma 2.3.8 forbids exactly this, so such an example would destroy the D^+_qc-valued adjunction and the sheafified duality isomorphism built on it.
Extended reading notes
Core claim
The central claim, on the paper's own terms, is that the pseudo-coherent finite map case of Grothendieck duality has an explicit canonical form. For such an f, let \bar f: X → (Y, f_*O_X) be the natural flat map and let φ be restriction of scalars along O_Y → f_*O_X. The paper sets f^♭G to be \bar f^* of the module-theoretic right adjoint of φ_*, an object whose underlying O_Y-complex is RHom_{O_Y}(f_*O_X,G). The main sheafified theorem is the bifunctorial isomorphism Rf_*RHom_X(F,f^♭G) ≅ RHom_Y(Rf_*F,G) for all F in D_qc(X) and G in D^+_qc(Y), with D_qc in place of D^+_qc when f is perfect. From this it derives an adjunction Rf_* ⊣ f^♭, proves the adjunction is pseudofunctorial, and identifies f^♭ with the abstract f^× by a canonical isomorphism of pseudofunctors. The remainder of the paper gives concrete descriptions of the induced base-change, tensor, Hom, trace, and fundamental-class maps, including the Koszul-regular immersion formula ω_f = Hom_X(⋀^d f^*(I/$I^{2}$),O_X)[-d].
Load-bearing premise
The construction rests on the cited lemma that the derived sheaf-Hom of a pseudo-coherent complex with a bounded-below quasi-coherent complex is again bounded-below and quasi-coherent; if that lemma were false, f^♭ would not take values in the category where the main duality isomorphism is stated.
Editorial extensions
If this is right
- The abstract right adjoint f^× for a pseudo-coherent finite map is canonically f^♭, so the duality functor is no longer an existence statement but a formula.
- The sheafified isomorphism Rf_*RHom_X(F,f^♭G) ≅ RHom_Y(Rf_*F,G) remains valid without noetherian hypotheses and with only bounded-below quasi-coherent complexes, extending the classical finite-map duality.
- Tor-independent and flat base change for the concrete functor take an explicit form: the base-change map β_σ(G): v^*f^♭G → g^♭u^*G is an isomorphism in the independent-square situation, and it is realized concretely from resolutions.
- For Koszul-regular closed immersions f, the functor f^♭G is canonically ω_f ⊗^L_X Lf^*G with ω_f = Hom_X(⋀^d f^*(I/I^2),O_X)[-d], so duality for such immersions is governed by the normal-bundle determinant.
- For perfect affine maps, the standard trace map for perfect complexes supplies a fundamental class Lf^*G → f^♭G that is an isomorphism for finite étale maps, linking concrete duality to residues and traces.
Reading between the lines
- Extending beyond the paper, the same factorization-through-structure-sheaf strategy should produce explicit formulas for the smooth case in the announced continuation, with the smooth dualizing complex Ω^d_f[d] ⊗ f^*(·) playing the role that derived Hom plays here.
- A testable extension is to drop quasi-compactness or separatedness whenever Lemma 2.3.8 still gives values in D^+_qc; nothing else in the construction appears to require them once the right adjoint is known to exist.
- The proof that Koszul-regular pseudofunctoriality reduces to a check on one generator suggests that other intricate compatibility diagrams of duality may admit equally short commutative-algebra proofs.
- Because f^♭ is built from derived Hom, the theory is immediately computable in affine examples, so one could test the advertised compatibility diagrams with concrete Koszul and matrix-factorization computations.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This first part of a planned two-part exposition compares the abstract twisted-inverse-image pseudofunctor f^! with a concrete construction f^♭ for pseudo-coherent finite scheme maps. For such f, the paper defines f^♭ := \bar f^* RHom_{f_* O_X}(f_* O_X, -), proves a sheafified finite duality isomorphism RHom(Rf_* F, G) ≅ Rf_* RHom(F, f^♭ G) (Cor. 2.3.9), derives the resulting adjunction Rf_* ⊣ f^♭ (Cor. 2.3.10), and then develops tor-independent base change, tensor/Hom compatibility, a trace and fundamental-class formalism, and a Koszul-regular realization (Propositions 2.6.4, 2.7.7, 2.8.2, 2.9.7, 2.10.12, Theorem 2.10.22). The announced central claim is that f^♭ is a pseudofunctor and is isomorphic as a pseudofunctor to the abstract f^× over pseudo-coherent finite maps of qcqs schemes (Proposition 2.5.2). The final section translates the Koszul-regular case into commutative algebra and completes it via a computation over Koszul complexes (§3.5).
Significance. If the missing coherence verifications are supplied, this will be a valuable and highly detailed bridge between the concrete duality theory of Hartshorne's Residues and Duality and the abstract f^! theory, under weaker hypotheses than are usual in the literature. The paper's strengths include explicit diagram chases, clean reductions from global schemes to affine commutative algebra, a serious treatment of base-change and tensor/Hom compatibilities, and a nontrivial Koszul-regular computation in §3.5. I also agree with the external assessment that Lemma 2.3.8 is a standard, properly cited boundedness result (Stacks tag 0A6H) and is not the weak point of the paper. The weak point is instead that several load-bearing pseudofunctoriality and coherence claims are asserted rather than proved, so the central comparison theorem is not fully established as written.
major comments (3)
- [§2.5, especially (2.5.1) and Proposition 2.5.2] The pseudofunctoriality of f^♭ is the hinge of the paper's central claim, but it is not proved. The text says 'One verifies formally' that the isomorphisms (2.5.1) make (-)^♭ a contravariant pseudofunctor, and Proposition 2.5.2 is then a one-line 'Consequently' identifying (-)^♭ with (-)^×. No associativity or unitality coherence diagrams for (2.5.1) are displayed, and no proof is given that the objectwise isomorphism ξ_f of Corollary 2.3.6 is compatible with composition of finite maps. If the coherence constraints for (2.5.1) were to fail, Corollary 2.3.9 would only give objectwise adjunctions and would not upgrade to an isomorphism of pseudofunctors. The later local discussion in §3.1.20–3.1.23 constructs π_{ξ,φ} and states that 'one checks' pseudofunctoriality, but again no cocycle condition for triple composites is verified. This is a load-bearing gap: please supply a complete proof of the pseudofunctor laws for (2.5.1), or give a precise reference that contains the full coherence proof.
- [§2.10, Theorem 2.10.22 and Lemma 2.10.24; §3.5, Proposition 3.5.1] The concrete Koszul-regular realization is claimed to be pseudofunctorial in Theorem 2.10.22, but the proof is not complete as written. Lemma 2.10.24 reduces the theorem to commutativity of subdiagrams A©–D©, but the proofs for B© and D© are deferred with phrases such as 'shown by arguments like those used above' and 'can be shown in the same way as the last diagram in [L09, 4.6.8]'. The final commutative-algebra proof of Proposition 3.5.1 also leaves many subdiagrams of (3.5.2) to 'obvious or straightforward' verification, and Lemma 3.5.3 says 'Details are left to the reader'. Since Theorem 2.10.22 is needed to identify the concrete ω_f ⊗ Lf^*(-) with f^♭ as a pseudofunctor, not merely objectwise, this is another load-bearing point. Please either complete the missing diagram verifications or state explicitly which parts are being imported from [NkS19a, Appendix C.6] with theorem/proposition numbers.
- [§2.8.3, §2.3.12, §2.11] The paper repeatedly leaves substantial compatibility statements to the reader. Proposition 2.8.3 (transitivity of ζ) has a one-line 'Proof. Left to the reader.' The assertion in §2.3.12 is explicitly marked 'will not be used, so the proof is omitted.' Section 2.11 says 'Some details follow; the rest are left to the reader.' Some of these are indeed peripheral, but Proposition 2.8.3 concerns the pseudofunctoriality of a map that is advertised as a concrete interpretation of an abstract duality map, and the pattern of deferred verifications makes it impossible for a reader to check the central claims without reconstructing a substantial portion of the proof. At minimum, each deferred statement should be labeled as an exercise or a conjecture, and all statements used in the proof of Proposition 2.5.2 or Theorem 2.10.22 should be proved or explicitly referenced.
minor comments (3)
- [§2.5, first paragraph] The sentence 'for any map f ∈ F, Theorem 2.3.10 holds' refers to a nonexistent 'Theorem 2.3.10'; the intended reference appears to be Corollary 2.3.10.
- [§2.9.11(iii)] The hypothesis 'RHom_X(Lf^*F, f^♭G) ∈ D_qc(Y)' appears to be a typo: the complex lives on X, so the intended condition should presumably be membership in D_qc(X).
- [General presentation] The paper uses a large number of 'unlabeled subdiagrams are clear/obvious/straightforward' reductions. Given the length and technical density of the diagram chases, it would greatly help the reader if each such reduction were accompanied by a one-line indication of which adjunction or naturality property is being used, or if the fully expanded diagrams were collected in an appendix.
Circularity Check
No circular derivation: f^♭ is constructed independently from RHom(f_*O_X,–) and compared with f^× by representability; the main gaps are asserted pseudofunctoriality and deferred Koszul checks, not input–output equivalences.
full rationale
I find no circular step in the sense of the review protocol. The finite-map duality functor f^♭ is explicitly defined in (2.3.2) as f^♭ := \bar f^* φ^♭, with φ^♭ := RHom_{O_Y}(f_*O_X,–), and the central adjunction and sheafified duality are then proved by composing standard adjoint-associativity and derived-direct/inverse-image facts (Proposition 2.2.1, Corollary 2.2.6, Proposition 2.1.6). Corollary 2.3.9 is a composite of these proved or independently cited isomorphisms; it does not assume the target comparison f^♭ = f^×. The identification of f^♭ with the abstract f^× in Corollary 2.3.6 uses the fact that both represent the same contravariant functor Hom_{D(Y)}(Rf_*–, G), which is a genuine Yoneda argument, not a renaming. Pseudofunctoriality in §2.5 is asserted with the phrase 'One verifies formally' and Proposition 2.5.2 is a one-line 'Consequently'; this is an omitted proof and a correctness risk, but it is not a circular reduction of the theorem to its inputs. Likewise, Theorem 2.10.22 is reduced to [NkS19a, Appendix C.6] and to computations left to the reader in §3.5, and Lemma 2.3.8 is cited to [H66], [L09], and the Stacks Project; these are deferred proofs or standard external facts, not self-referential assumptions of the desired isomorphism. The frequent citations to [L09] are from the same author, but they support general derived-category formalism, not the specific equivalence being established; the paper's own note says the references to [L09] are 'due much more to its approach and convenience than to any originality' (§1.1). I therefore report no significant circularity, with the low nonzero score reflecting only the heavy reliance on the author's prior notes and the unproved pseudofunctoriality assertion, neither of which makes the central claim circular.
Assumptions & free parameters
assumptions (4)
- standard math Derived category machine: existence and functoriality of derived tensor product, RHom, K-injective and K-flat resolutions, and derived adjunction (Section 2.2 and throughout).
- standard math For an affine scheme map f: Spec S to Spec R, sheafification and derived global sections identify D(S-modules) with D_qc(Spec S), and \bar f^* is a quasi-inverse equivalence (Prop 2.1.6, beginning of Section 3.1).
- domain assumption For pseudo-coherent F, RHom_Y(F, G) lies in D^+_qc(Y) for G in D^+_qc(Y) (Lemma 2.3.8); equivalently the hypotheses defining the category Φ of pseudo-coherent finite maps guarantee the concrete adjoint lands in the desired quasi-coherent derived category.
- standard math For qcqs schemes, Rf_* restricted to D_qc(X) has a right adjoint f^× with counit τ_f (Section 1.1, cited to [L09, Corollary 4.1.2]).
Cite this review
Pith. "Pith review of Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps." pith.science (2026). https://pith.science/paper/5VMAVAQH
@misc{pith2026190809372,
author = {Pith},
title = {Pith review of: Grothendieck Duality theories -- abstract and concrete, I: pseudo-coherent finite maps},
year = {2026},
howpublished = {\url{https://pith.science/paper/5VMAVAQH}},
note = {Machine review of arXiv:1908.09372}
}
read the original abstract
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on category-theoretic considerations. It is not obvious that the two resulting theories are essentially the same. This is a semi-expository account of the connection between these approaches, a nontrivial matter involving some alluring relations, for instance among differential forms, residues and duality. In particular, it emerges that the culminating Ideal Theorem in Hartshorne's "Residues and Duality" holds for arbitrary essentially-finite-type maps of noetherian schemes and bounded-below complexes with quasi-coherent cohomology. What appears in this first part mostly concerns pseudo-coherent finite maps. The rest is being prepared.
Reference graph
Works this paper leans on
-
[1]
Avramov, L.; Iyengar, S; Lipman, J.:
-
[2]
Alonso Tarr \' o, L.; Jerem \' as
-
[3]
Alonso Tarr\'io, L; Jerem\'ias L\'opez, A; Lipman, J: Duality and flat base change on formal schemes. Contemporary Math. 244 (1999), 3--90
work page 1999
-
[4]
: Bivariance, Grothendieck duality and Hochschild homology I: construction of a bivariant theory. Asian J.\ Math. 15 (2011), 451--498
work page 2011
-
[5]
Advances in Mathematics 257 (2014), 365--461
: Bivariance, Grothendieck duality\- and Hochschild homology, II: The fundamental class of a flat scheme -map. Advances in Mathematics 257 (2014), 365--461
work page 2014
-
[6]
Lejeune -Jalabert, M.:
-
[7]
B\"okstedt, M.; Neeman, A.: Homotopy limits in triangulated categories. Compo\-sitio Math. 86 (1993), no. 2, 209--234
work page 1993
-
[8]
Bourbaki, N.: Alg\`ebre, Chapitres 1 \`a 3. Hermann, Paris, 1970
work page 1970
Show all 54 references
-
[9]
Alg\`ebre homologique
: Alg\`ebre, Chapitre 10. Alg\`ebre homologique. Springer-Verlag, Berlin-New York, 2007
2007
-
[10]
Brenner, H.; Schr\"oer, S.:
-
[11]
Buchweitz, R.; Flenner, H.:
-
[12]
Chatzistamatiou, A.; R\"ulling, K.: Higher direct images of the structure sheaf in
-
[13]
arXiv:0912.2110v4
Cisinski, D-C.; D\'eglise, F.: Triangulated categories of mixed motives. arXiv:0912.2110v4
-
[14]
Lecture Notes in Math., 1750
Conrad, B.: Grothendieck Duality and Base Change. Lecture Notes in Math., 1750. Springer-Verlag, Berlin-New York, 2000
2000
-
[15]
Springer-Verlag, Berlin-New York, 1973
Deligne, P.: La formule de dualit\'e globaleTh\'eorie des topos et cohomologie \'etale des schemas ( SGA 4 ) Tome 3, 481--587, Lecture Notes in Math., 305. Springer-Verlag, Berlin-New York, 1973
1973
-
[16]
El Zein, F.: Complexe dualisant et applications \'a la classe fondamentale d'un cycle. Bull. Soc. Math. France M\'em. 58 (1978)
1978
-
[17]
Fulton, W.; MacPherson, R.: Categorical framework for the study of singular spaces. Mem. Amer. Math. Soc. 31 (1981), no. 243
1981
-
[18]
Moscow Math
Gaitsgory, D.: Ind-coherent sheaves. Moscow Math. J. 13 (2013), 399--528
2013
-
[19]
Geller, S.; Weibel, C.:
-
[20]
A.: El\' e ments de G\' e om\' e trie Alg\' e brique II, \' E tude global \'elementaire de quelques classes de morphismes
Grothendieck, A.; Dieudonn\' e , J. A.: El\' e ments de G\' e om\' e trie Alg\' e brique II, \' E tude global \'elementaire de quelques classes de morphismes. Publications Math\' e matiques, 8 , Institut\- des Hautes \' E tudes Scientifiques, Paris, 1961
1961
-
[21]
Publications Math\' e matiques, 11 , Institut\- des Hautes \' E tudes Scientifiques, Paris, 1961
: El\' e ments de G\' e om\' e trie Alg\' e brique III, \' E tude cohomologique des faisceaux coh\'erents. Publications Math\' e matiques, 11 , Institut\- des Hautes \' E tudes Scientifiques, Paris, 1961
1961
-
[22]
Grundlehren der Mathematischen Wissenschaften 166
: El\' e ments de G\' e om\' e trie Alg\' e brique I . Grundlehren der Mathematischen Wissenschaften 166 . Sprin\-ger-Verlag, Berlin-New York, 1971
1971
-
[23]
Lecture Notes in Math., 20
Hartshorne, R.: Residues and Duality. Lecture Notes in Math., 20. Springer-Verlag, Berlin-New York, 1966
1966
-
[24]
Foundations of Grothendieck duality for diagrams of schemes, 261--475, Lecture Notes in Math., 1960 , Springer-Verlag, Berlin-New York, 2009
Hashimoto, M.: Equivariant twisted Inverses. Foundations of Grothendieck duality for diagrams of schemes, 261--475, Lecture Notes in Math., 1960 , Springer-Verlag, Berlin-New York, 2009
1960
-
[25]
H\"ubl, R.; Kunz, E.: Regular differential forms and duality for projective morphisms. J. reine Angel. Math. 410 (1990), 84--108
1990
-
[26]
arXiv:1902.03625
H\"ormann, F.: Derivator six-functor-formalisms--construction II. arXiv:1902.03625
1902 arXiv
-
[27]
H\"ubl, R.; Sastry, P.: Regular differential forms and relative duality. Amer. J. Math. 115 (1993), no.\ 4, 749--787
1993
-
[28]
Th\'eorie des Intersections et Th\'eor\`eme de Riemann-Roch (SGA\;6)
Illusie, L.: G\'en\'eralit\'es sur les conditions de finitude dans les cat\'egories d\'eriv\'ees, etc. Th\'eorie des Intersections et Th\'eor\`eme de Riemann-Roch (SGA\;6). Lecture Notes in Math.\ 225, Springer- -.5pt Verlag, New York, 1971, 78--296
1971
-
[29]
Iyengar, S.\,B., Lipman, J; Neeman, A.:
-
[30]
Kelly, G.\,M.; Mac\,Lane, S.: Coherence in closed categories. J. Pure Appl. Algebra 1 (1971), no. 1, 97--140
1971
-
[31]
Ast\'erisque 345 (2012)
Kashiwara, M.; Schapira, P.: Deformation quantization modules. Ast\'erisque 345 (2012)
2012
-
[32]
Contemporary Math., 79
Kunz, E.; Waldi, R.: Regular differential forms. Contemporary Math., 79 . American Math. Soc., Providence, RI, 1988
1988
-
[33]
Ast\'erisque 117 (1984)
Lipman, J.: Dualizing sheaves, differentials and residues on algebraic varieties. Ast\'erisque 117 (1984)
1984
-
[34]
: Residues and traces of differential forms via Hochschild homology
-
[35]
(YMIS 09, Sedano, Spain, 2009.) www.math.purdue.edu/\ lipman
Lipman, J.: Introduction to Grothendieck Duality. (YMIS 09, Sedano, Spain, 2009.) www.math.purdue.edu/\ lipman
2009
-
[36]
Foundations of Grothendieck duality for diagrams of schemes, 1--259, Lecture Notes in Math., 1960 , Springer-Verlag, Berlin-New York, 2009
: Notes on derived categories and Grothendieck Duality. Foundations of Grothendieck duality for diagrams of schemes, 1--259, Lecture Notes in Math., 1960 , Springer-Verlag, Berlin-New York, 2009
1960
-
[37]
Illinois J
Neeman, A.: Quasi-perfect scheme -maps and boundedness of the twisted inverse image functor. Illinois J. Math. 51 (2007), no.\ 1, 209--236
2007
-
[38]
Algebraic Geometry 5 (2018), 131--159
Neeman, A.: On the fundamental class of an essentially smooth scheme -map. Algebraic Geometry 5 (2018), 131--159
2018
-
[39]
Sastry, P.: Regular differentials and equidimensional scheme -maps. J. Algebraic Geom. 1 (1992), no.\ 1, 101--130
1992
-
[40]
Coherence in categories, 148--195, Lecture Notes in Math., 281 , Springer-Verlag, Berlin-New York, 1972
Lewis, G.: Coherence for a closed functor. Coherence in categories, 148--195, Lecture Notes in Math., 281 , Springer-Verlag, Berlin-New York, 1972
1972
-
[41]
arXiv:1211.5948
Liu, Y.; Zheng, W.: Enhanced six operations and base change theorem for higher artin stacks. arXiv:1211.5948
-
[42]
Springer-Verlag, Berlin-New York, 1998
Mac\,Lane, S.: Categories for the Working Mathematician, Second Edition. Springer-Verlag, Berlin-New York, 1998
1998
-
[43]
Variance and duality for Cousin complexes on formal schemes, 195--271, Contemp
Nayak, S.: Pasting pseudofunctors. Variance and duality for Cousin complexes on formal schemes, 195--271, Contemp. Math., 375, Amer. Math. Soc., Providence, RI, 2005
2005
-
[44]
: Compactification for essentially finite type maps. Adv. Math. 222 (2009), 527--546
2009
-
[45]
arXiv:1903.01779
Sastry, P.: Grothendieck duality and transitivity I: formal schemes. arXiv:1903.01779
1903 arXiv
-
[46]
arXiv:1903.01783
Sastry, P.: Grothendieck duality and transitivity II: traces and residues via Verdier's isomorphism. arXiv:1903.01783
1903 arXiv
-
[47]
J.\ Amer.\ Math.\ Soc
Neeman, A.: The Grothendieck duality theorem via Bousfield's techniques and Brown representability. J.\ Amer.\ Math.\ Soc. 9 (1996), 205--236
1996
-
[48]
arXiv:1406.7599
: An improvement on the base -change theorem and the functor f^! . arXiv:1406.7599
-
[49]
Ponto, K.; Shulman, M: Traces in symmetric monoidal categories. Expo. Math. 32 (2014), 248--273
2014
-
[50]
arXiv:1507.08697
Schn\"urer, O.\,M.: Six operations on DG enhancements of derived categories of sheaves. arXiv:1507.08697
-
[51]
spaces and Grothendieck duality arXiv:1904.06935
Sancho de Salas, F.; Torres Sancho, J.\,M.: Derived category of finite. spaces and Grothendieck duality arXiv:1904.06935
1904 arXiv
-
[52]
Stacks Project, http://stacks.math.columbia.edu
-
[53]
Math., no.\,88, Birkh\"auser, Boston, 1990, pp
Thomason, R.\,W.\, Trobaugh, T.: Higher algebraic K-theory of schemes and of derived categories, in The Grothendieck Festschrift Vol.\,III, Progr. Math., no.\,88, Birkh\"auser, Boston, 1990, pp. 247--435
1990
-
[54]
Algebraic Geometry (Bombay, 1968)
Verdier, J.-L.: Base change for twisted inverse image of coherent sheaves. Algebraic Geometry (Bombay, 1968). Oxford Univ. Press, London, 1969; 393--408
1968
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.