# Sheaf of elliptic curves up to isogeny

For a scheme $$X$$, denote by $$\mathcal{Ell}_X[\text{isog}^{-1}]$$ the category of elliptic curves on $$X$$ localized at isogenies. Consider the functor $$\mathcal{Ell}^{isog}:Sch/S^{op}\rightarrow \text{Gpd}, \quad X \rightarrow \mathcal{Ell}_X[\text{isog}^{-1}].$$ It was asked in this M.SE question if this was an algebraic stack. It is not, because

"forget isomorphism class and remember only isogeny class" map from the usual moduli space ought to be algebraic, but an algebraic map of curves has finite fibers but (over C, say) isogeny classes of non-isomorphic curves are infinite. (https://math.stackexchange.com/q/675207)

I'm wondering if the functor $$\mathcal{Ell}^{isog}$$ if not represented by an algebraic stack is a $$2$$-sheaf. I don't have any intuition about that, so I'd be glad for any hint.

• You say the target is groupoids but you specified a set (isogeny classes); do you mean to specify the groupoid whose objects are elliptic curves and whose morphisms are... isogenies-up-to-scale or something like that? (I'm not sure what exactly you need to do to get a groupoid whose $\pi_0$ is isogeny classes.) – Qiaochu Yuan Sep 28 '20 at 2:10
• Then specify a groupoid! "Isogeny classes of elliptic curves" is a set. – Qiaochu Yuan Sep 28 '20 at 2:40
• Fair enough, apologies... :-( – curious math guy Sep 28 '20 at 2:41
• Sorry - I don't mean to sound aggressive but there's an important point here about the difference between sheaves and stacks. – Qiaochu Yuan Sep 28 '20 at 2:58
• Do you want the groupoid $Ell_X[isog^{-1}]$, where $Ell_X$ is the category of elliptic curves over $X$ and isogenies between them? That is, the universal way to get a groupoid from the category of elliptic curves and isogenies? – David Roberts Sep 28 '20 at 4:26

Consider a curve that is the union of two $$\mathbb P^1$$s, glued at $$0$$ and $$\infty$$. We can form an open cover consisting of the complement of $$0$$ and the complement of $$\infty$$, each two $$\mathbb A^1$$s glued at a point. The intersection of the cover is two disjoint $$\mathbb G_m$$s.
If you take two constant elliptic curves over the two open sets, and glue them by an isogeny which is two different isogenies of different degrees on the two copies of $$\mathbb G_m$$, there won't be a descent to the base curve.