Lemma 75.26.2. Let $Y$ be a scheme and let $X$ be an algebraic space over $Y$ such that the structure morphism $f : X \to Y$ is flat, proper, and of finite presentation. Let $\mathcal{F}$ be an $\mathcal{O}_ X$-module of finite presentation, flat over $Y$. For fixed $i \in \mathbf{Z}$ consider the function
Then we have
formation of $\beta _ i$ commutes with arbitrary base change,
the functions $\beta _ i$ are upper semi-continuous, and
the level sets of $\beta _ i$ are locally constructible in $Y$.
Comments (0)
There are also: