2
$\begingroup$

How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation? Is there any reference for such staff?

My example of functors underlying this question is functors of the form $$\mathcal{E}xt^1_S(A,\mathbb{G}_m)$$ for $A$ some group scheme or even some fppf-sheaf of geometric meaning over some base scheme $S$, and $\mathcal{E}xt^1_S(,)$ denotes the 1st fppf extension sheaf in the category of abelian fppf-sheaves over $S$.

Improve this question
$\endgroup$
5
  • 2
    $\begingroup$ What precisely do you mean by that Ext functor? Are you considering functors in the category of sheaves for some Grothendieck topology (fppf, etale, etc.), and if so, which one? Do you mean "extensions of group schemes"? Do you really want to look at some relative Picard functor of $A$ over $S$? At any rate, many such results follow directly from Sections 8 and 11 of EGA IV. $\endgroup$
    – Jason Starr
    Jan 2, 2015 at 14:38
  • $\begingroup$ @JasonStarr: I mean the first fppf-sheaf extension functor in the category of abelian fppf-sheaves. In my case, $A$ is a log abelian variety over $S$ in Kato's sense, usually not a group scheme (although closely related to some abelian scheme). Thanks for the reference, I will try to find something useful. $\endgroup$
    – Heer
    Jan 2, 2015 at 14:52
  • $\begingroup$ @JasonStarr: thanks for pointing out the ambiguity, I have reedited the question. $\endgroup$
    – Heer
    Jan 2, 2015 at 14:56
  • $\begingroup$ @JasonStarr: In SGA 7-1 Exp. VII, 1.3.4, under the condition of 1.3.5, we could realize the category $EXT(A,G)$ as a full subcategory of $BITORSRIG(A,\mathrm{G}_m)$. So if the second category is locally of finite presentation, would it follows that the second is so too? $\endgroup$
    – Heer
    Jan 2, 2015 at 15:03
  • $\begingroup$ The above question is stupid. What I meant should be: if some functor (relative Picard over $A$?) associated to $BITORSRIG(A,\mathrm{G}_m)$ is locally of finite presentation, would it follows that the functor $\mathcal{E}xt^1_S(A,\mathbb{G}_m)$ is so too? $\endgroup$
    – Heer
    Jan 2, 2015 at 15:22

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.