\(\underline{\Hom}\)-stacks and restriction of scalars
type: Item
instance of: scholarly article
title: \(\underline{\Hom}\)-stacks and restriction of scalars
zbMATH Open document ID: 1114.14002
DOI: 10.1215/S0012-7094-06-13414-2
published in: Duke Mathematical Journal
publication date: 2006-08-24T00:00:00Z
review text: The author proves that the stack of morphisms between suitable algebraic stacks is again algebraic. Olsson interprets such \(\underline{\Hom}\) stacks as Weil restrictions, and proves more generally that, under certain assumptions, the Weil restriction of an algebraic stack is algebraic as well. The latter is proved by a careful application of \textit{M. Artin}'s criterion [Invent. Math. 27, 165--189 (1974; Zbl 0317.14001)]. Similar statements hold true for Deligne-Mumford stacks and algebraic spaces. The precise statement about \(\underline{\Hom}\) stacks is as follows: Let \(S\) be an algebraic space, and \(\mathcal{X}\) and \(\mathcal{Y}\) be two separated, finitely presented algebraic \(S\)-stacks whose diagonal is finite. Suppose that \(\mathcal{X}\) is flat, proper, and admits fppf-locally a finite, flat, finitely presented surjection \(Z\to\mathcal{Y}\) from an algebraic space \(Z\). Then the fibered \(S\)-groupoid \(\underline{\Hom}_S(\mathcal{X},\mathcal{Y})\) is an algebraic stack, which is locally of finite presentation. The result about Weil restrictions is: Let \(f:S\to T\) be a flat, proper, finitely presented morphism of algebraic spaces, and \(\mathcal{X}\) be a a separated, finitely presented algebraic \(S\)-stack. Then the fibered \(T\)-groupoid \(f_*(\mathcal{X})\) is an algebraic \(T\)-stack. The latter has as fibers over \(T'\) the groupoid \(\mathcal{X}(T'\times_T S)\). Related results about Hom stacks were obtained by \textit{M. Aoki} [Manuscr. Math. 119, No. 1, 37--56 (2006; Zbl 1094.14001)]. He made weaker assumptions on \(\mathcal{X}\) and \(\mathcal{Y}\); then the diagonal of the resulting \(\underline{\Hom}\) stack, however, is only locally of finite type. In Olsson's paper, the diagonal is actually separated and quasicompact, so the \(\underline{\Hom}\) stack is a true algebraic stack in the sense of \textit{G. Laumon} and \textit{L. Moret-Bailly} [``Algebraic spaces'', Ergebn. Math. Grenzgeb. 3, 39 (2000; Zbl 0945.14005)].
reviewed by: Stefan Schröer
Mathematics Subject Classification ID: 14A20
Mathematics Subject Classification ID: 14D20
zbMATH DE Number: 5049029
zbMATH Keywords: Hom-stacks
zbMATH Keywords: Weil restriction
zbMATH Keywords: algebraic stacks
author: Martin Olsson
MaRDI profile type: Publication
cites work: Compactifying the space of stable maps
cites work: Hom stacks
cites work: Q5605673
cites work: Versal deformations and algebraic stacks
cites work: ARITHMETIC MODULI OF GENERALIZED ELLIPTIC CURVES
cites work: Smoothness, semi-stability and alterations
cites work: Sur quelques points d'algèbre homologique
cites work: Q5645518
cites work: Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
cites work: Quotients by groupoids
cites work: Algebraic spaces
cites work: ON COVERINGS OF DELIGNE–MUMFORD STACKS AND SURJECTIVITY OF THE BRAUER MAP
cites work: On proper coverings of Artin stacks
cites work: Deformation theory of representable morphisms of algebraic stacks
cites work: Quot Functors for Deligne-Mumford Stacks
Recommended article: Openness of versality via coherent functors
Recommended article: Q3639498
Recommended article: Artin's criteria for algebraicity revisited
Recommended article: Characterizing algebraic stacks
Recommended article: Finiteness theorems for the Picard objects of an algebraic stack
Recommended article: A boundedness theorem for Hom-stacks
Recommended article: Q3979720
Recommended article: Hom stacks
Recommended article: Q5742025
Recommended article: Q4408043
description: scientific article