Encyclopedia

Morphism of algebraic stacks

Type of functor

Wikipedia contributorsAdapted for Fathomly · View authors

1 min read
Source updated February 19, 2026

In algebraic geometry, given algebraic stacks $p:X\to C,\,q:Y\to C$ over a base category C, a morphism $f:X\to Y$ of algebraic stacks is a functor such that $q\circ f=p$ .

More generally, one can also consider a morphism between prestacks (a stackification would be an example).

01Types

One particular important example is a presentation of a stack, which is widely used in the study of stacks.

An algebraic stack X is said to be smooth of dimension n - j if there is a smooth presentation $U\to X$ of relative dimension j for some smooth scheme U of dimension n. For example, if $\operatorname {Vect} _{n}$ denotes the moduli stack of rank-n vector bundles, then there is a presentation $\operatorname {Spec} (k)\to \operatorname {Vect} _{n}$ given by the trivial bundle $\mathbb {A} _{k}^{n}$ over $\operatorname {Spec} (k)$ .

A quasi-affine morphism between algebraic stacks is a morphism that factorizes as a quasi-compact open immersion followed by an affine morphism.

Watch videos about Morphism of algebraic stacksExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Morphism of algebraic stacks”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.