The Stacks project

Definition 67.22.2. Let $S$ be a scheme. Let $\mathcal{P}$ be a property of morphisms of schemes which is ├ętale local on the source-and-target. We say a morphism $f : X \to Y$ of algebraic spaces over $S$ has property $\mathcal{P}$ if the equivalent conditions of Lemma 67.22.1 hold.

Comments (2)

Comment #464 by Kestutis Cesnavicius on

When applied to the property P = 'surjective', this creates a new definition of surjective for non-representable morphisms, which a priori is different than the definition 'surjective on topological spaces' (albeit 03MF shows that the definitions are the same afterall). Is it possible that similar ambiguities arise for other types of morphisms? A similar remark applies to the corresponding place discussing morphisms of algebraic stacks.

I don't have a good suggestion though how to modify the statement of the preceding lemma to ensure such compatibilities for non-representable morphisms (without being super-formal about it, e.g., listing all such properties one-by-one and pointing to relevant lemmas that show the equivalence of the new definition; albeit even with this approach there is no guarantee that the reader won't come up with some new crazy property P, check that it's etale-local on the source and base, and then apply this definition to create a duplicate a priori differing version of what P is). If one were formal about this, one solution would be to restrict the scope of this definition to some explicit list of P's.

Comment #482 by on

So, I think your comment is incorrect, just because "surjective" is not local on the source-and-target. See my comment #481. When writing these definitions I tried to be very careful that this kind of issue would never come up.

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 04RD. Beware of the difference between the letter 'O' and the digit '0'.