Representability of Hom implies flatness

DOI10.1007/BF02829667MaRDI QIDQ1431068zbMATH OpenFDO

Authors Nitin Nitsure

Publication date 27 May 2004

Published in Proceedings of the Indian Academy of Sciences. Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0308036

zbMATH Keywords

base changegroup-schemeflattening stratificationQ-sheaf

Mathematics Subject Classification ID

Algebraic moduli problems, moduli of vector bundles (14D20) (Equivariant) Chow groups and rings; motives (14C15) Relevant commutative algebra (14A05) Geometric invariant theory (14L24) Local deformation theory, Artin approximation, etc. (14B12) Infinitesimal methods in algebraic geometry (14B10)

Abstract: Let $X$ be a projective scheme over a noetherian base scheme $S$, and let $F$ be a coherent sheaf on $X$. For any coherent sheaf $E$ on $X$, consider the set-valued contravariant functor $Ho{m}_{E,F}$ on $S$-schemes, defined by $Ho{m}_{E,F}(T)=Hom(E_T,F_T)$ where $E_T$ and $F_T$ are the pull-backs of $E$ and $F$ to $X_T=Xime{s}_{S}T$. A basic result of Grothendieck ([EGA] III 7.7.8, 7.7.9) says that if $F$ is flat over $S$ then $Ho{m}_{E,F}$ is representable for all $E$. We prove the converse of the above, in fact, we show that if $L$ is a relatively ample line bundle on $X$ over $S$ such that the functor $Ho{m}_{L^{-n},F}$ is representable for infinitely many positive integers $n$, then $F$ is flat over $S$. As a corollary, taking $X=S$, it follows that if $F$ is a coherent sheaf on $S$ then the functor $Tmapsto{H}^0(T,F_T)$ on the category of $S$-schemes is representable if and only if $F$ is locally free on $S$. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author's earlier result (see arXiv.org/abs/math.AG/0204047) that the automorphism group functor of a coherent sheaf on $S$ is representable if and only if the sheaf is locally free.

Recommendations

• REPRESENTABILITY OF Aut _F AND End _F
• Homogeneous Hilbert scheme
• Representability of \(GL_E\).
• Hom stacks
• The \textit{quot} functor of a quasi-coherent sheaf

Cites work

• Lectures on Curves on an Algebraic Surface. (AM-59)

Cited in

(4)

• Flat morphisms of finite presentation are very flat
• Homogeneous Hilbert scheme
• REPRESENTABILITY OF Aut _F AND End _F
• scientific article; zbMATH DE number 3924958 (Why is no real title available?)

This page was built for publication: Representability of Hom implies flatness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1431068)