Non-effective deformations of Grothendieck's Hilbert functor

DOI10.1007/S00209-007-0183-7MaRDI QIDQ2471024zbMATH OpenOpenAlexFDO

Authors Christian Lundkvist, Roy Mikael Skjelnes

Publication date 18 February 2008

Published in Mathematische Zeitschrift (Search for Journal in Brave)

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

zbMATH Keywords

algebraic spaceHilbert functorrepresentabilityseparated scheme

Mathematics Subject Classification ID

Generalizations (algebraic spaces, stacks) (14A20) Local deformation theory, Artin approximation, etc. (14B12) Parametrization (Chow and Hilbert schemes) (14C05)

Abstract: Let X be a scheme that does not satisfy the valuative criterion of separatedness. We show that the Hilbert functor parametrizing closed families of X that are flat, finite and of rank one is not represented by a scheme or an algebraic space.

Review text

Let \(X\) be a scheme, locally of finite type over a locally noetherian scheme \(S\), and let \({ F}:={Hilb}_{X/S}\) be Grothendieck's Hilbert functor, i.e. the set \({\mathcal F}(T)\) consists of closed schemes of \( Z \subseteq X \times_S T\) which are flat and of proper support over \(T\). If \(X\) is quasiprojective (resp. separable) over \(S\), then the Hilbert funcor \(\text{Hilb}_{X/S}\) is representable by a quasiprojective scheme (resp. an algebraic space) due to fundamental theorems of \textit{A. Grothendieck} [Sem. Bourbaki 13(1960/61), No. 221 (1961; Zbl 0236.14003)] and \textit{A. Artin} [in: Global Analysis, Papers in Honor of K. Kodaira, 21--71 (1969; Zbl 0205.50402)]. One of Artin's necessary conditions for e.g. \({\mathcal F}\) to be representable, is that formal deformations are effective, i.e. that the map \({\mathcal F}(A) \to {\displaystyle\lim_{\longleftarrow}}{\mathcal F}(A/m^n)\) is surjective for any complete local ring \((A,m)\). The authors of this paper show that if \(X\) is not separated over \(S\), then the Hilbert functor \(\text{Hilb}_{X/S}^1\) of one point has non-effective formal deformations. Thus \(\text{Hilb}_{X/S}^1\) is not representable by a scheme or an algebraic space. Indeed \(\text{Hilb}_{X/S}^1 \simeq {\Hom}_S(-,X)\) if and only if \(X\to S\) is separated.

Recommendations

• scientific article; zbMATH DE number 6283442
• Some properties of extension and deformation in noncommutative homotopy
• Generalized deformations and Hochschild cohomology
• scientific article; zbMATH DE number 4127448
• Deformations of Homotopy Algebras
• Cohomology of noncommutative Hilbert schemes
• Non-commutative deformations of simple objects in a category of perverse coherent sheaves
• Grothendieck topologies and deformation theory II
• Operads and nonassociative deformations

Cites work

• Algebraic spaces
• scientific article; zbMATH DE number 20442 (Why is no real title available?)
• scientific article; zbMATH DE number 3327021 (Why is no real title available?)
• Quot Functors for Deligne-Mumford Stacks
• Versal deformations and algebraic stacks
• Éléments de géométrie algébrique. I: Le langage des schémas. II: Étude globale élémentaire de quelques classe de morphismes. III: Étude cohomologique des faisceaux cohérents (première partie)

Cited in

(7)

• Addendum to: ``Étale dévissage, descent and pushouts of stacks
• The Hilbert stack
• Representability of Hilbert schemes and Hilbert stacks of points
• On the Representability of Hilb ⁿ k [x ]_{(x )}
• Cohomology and base change for algebraic stacks
• Openness of versality via coherent functors
• Hom stacks

This page was built for publication: Non-effective deformations of Grothendieck's Hilbert functor

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