Prefer a chat interface with context about you and your work?
Extensions and biextensions of locally constant group schemes, tori and abelian schemes