Skip to main content
Article thumbnail
Location of Repository

OX /Jα.

By Brian Conrad


Our aim is to explain how to use Olsson’s theorem on proper hypercoverings of Artin stacks (the main result in [4]) to prove the formal GAGA theorem and the Grothendieck existence theorem for proper Artin stacks over an adic noetherian ring. In [4] a proof of this result is given from a different point of view. Everything in the first two sections below is definitions and “general nonsense”. 1. Completion of coherent sheaves and stacks Let X be a locally noetherian stack and X0 ⊆ |X | a closed subset. Definition 1.1. For F ∈ Coh(X), the completion of F along X0 is the sheaf ̂F = lim F /JαF ←−α on Xlis-ét, where {Jα} is the inverse system of coherent ideals on X with zero locus X0. Define the sheaf of rings O cX def = ÔX = li

Topics: this site. By [3, 12.7.4, the category of cartesian OcX-modules on Xlis-ét is equivalent to the category of OcXét-modules on X, 1.1) ModXlis-ét, cart(O cX) ≃ ModXét (O c Xét
Year: 2011
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.