Skip to main content
2 of 3
Links to articles
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?

Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\mathbb{G}_m)=\widehat{\mathbb{G}}_a$ and so, by Cartier duality, $\underline{\operatorname{Hom}}(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=\mathbb{G}_a$. (Here we see all the groups as abelian sheaves on $(\mathsf{Sch}/k)_\text{fppf}$.)

Is it true that the Ext sheaves $\underline{\operatorname{Ext}}^i(\mathbb{G}_a,\mathbb{G}_m)$ and $\underline{\operatorname{Ext}}^i(\widehat{\mathbb{G}}_a,\mathbb{G}_m)$ vanish for $i>0$?

I know that [Br] shows that the Ext groups $\operatorname{Ext}^i(\mathbb{G}_a,\mathbb{G}_m)$ vanish for $i>0$. But I don't know how to deduce what I want from this. (This is very close to the problem in Vanishing of $\text{Ext}^2$ sheaf from abelian variety to multiplicative group.)

Also, I know that [BB, Lemma A.4.6] proves that $\underline{\operatorname{Ext}}^1(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=0$ but I don't know how to deal with higher extensions.

References:

Gabriel
  • 711
  • 19
  • 50