Model theory and the Tannakian formalism

DOI10.1090/S0002-9947-2014-06062-5zbMATH Open1375.03033arXiv0908.0604OpenAlexW2963032690MaRDI QIDQ5496624FDOQ5496624

Authors: Moshe Kamensky 

Publication date: 2 February 2015

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

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 also formulate the notion of a differential tensor category, and a version of the Tannakian formalism for differential linear groups, and show how the same techniques can be used to deduce the analogous results in that context.

Full work available at URL: https://arxiv.org/abs/0908.0604

zbMATH Keywords

representationslinear algebraic groupGalois groupTannakian formalismbinding groupinternalitylinear differential group

Mathematics Subject Classification ID

Affine algebraic groups, hyperalgebra constructions (14L17) Representation theory for linear algebraic groups (20G05) Interpolation, preservation, definability (03C40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic \(D\)-groups and differential Galois theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model Theory
• Differential Algebraic Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hodge cycles, motives, and Shimura varieties
• Stable groups. Transl. from the French by Moses Gabriel Klein
• Catégories tannakiennes
• Some foundational questions concerning differential algebraic groups
• Tannakian categories, linear differential algebraic groups, and parametrized linear differential equations
• The differential rational representation algebra on a linear differential algebraic group
• Tannakian approach to linear differential algebraic groups.
• Groupoids, imaginaries and internal covers
• Computing the Galois group of a linear differential equation
• Lax Monoidal Fibrations
• Title not available (Why is that?)
• Une théorie de Galois imaginaire
• Unidimensional theories are superstable
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tannakian formalism over fields with operators
• On the type-definability of the binding group in simple theories

Cited In (17)

• Calculating differential Galois groups of parametrized differential equations, with applications to hypertranscendence
• Representing model theory in a type-theoretical logical framework
• Frege, hilbert, and the conceptual structure of model theory
• Jewels of Institution-Independent Model Theory
• Intrinsic approach to Galois theory of \(q\)-difference equations
• Title not available (Why is that?)
• Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model.
• On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
• Isomonodromic differential equations and differential categories
• Model theory of proalgebraic groups
• Title not available (Why is that?)
• Calculating Galois groups of third-order linear differential equations with parameters
• Models of intuitionistic TT and NF
• Title not available (Why is that?)
• A.D. Taimanov and model theory in Kazakhstan
• Structuralism, model theory and reduction
• Title not available (Why is that?)

This page was built for publication: Model theory and the Tannakian formalism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5496624)