Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0GRL

Go back to the tag's page.

type time link
assigned tag 0GRL 2022-01-11 6f3b836
Tags: Added new tags
changed the proof 2022-01-11 6394e76
A bit more detail in tensor section

It clearly works but the writeup isn't great. Adding more details isn't
necessarily going to make it any better however...
changed the statement and the proof 2022-01-10 1cd03f0
Fix the last bits in tensor functors stuff
created statement with label lemma-universally-injective in stacks-more-morphisms.tex 2021-12-24 2b2eb71
Tensor functor gives morphisms

Thanks to Jarod Alper and Max Lieblich

We prove that a right exact tensor functor Coh(X) ---> Coh(Y) comes
from a morphism Y ---> X if X, Y are Noetherian and X is an algebraic
stack with affine diagonal. The proof is short because we use a trick to
show that a certain ring map is universally injective and then we use
descent for universally injective ring maps.