Model theory and the tannakian formalism

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by associating to a Tannakian category a first order theory, and applying the results on internality there. We then formulate the notion of a differential tensor category, which axiomatises the category of differential representations of differential linear groups, and show how the model theoretic techniques can be used to deduce the analogous results in that context.

Original languageEnglish
Pages (from-to)1095-1120
Number of pages26
JournalTransactions of the American Mathematical Society
Volume367
Issue number2
DOIs
StatePublished - 1 Jan 2015

Keywords

  • Binding group
  • Galois group
  • Internality
  • Linear algebraic group
  • Linear differential group
  • Representations
  • Tannakian formalism

Fingerprint

Dive into the research topics of 'Model theory and the tannakian formalism'. Together they form a unique fingerprint.

Cite this