Model theory of proalgebraic groups

DOI10.1090/TRAN/8304MaRDI QIDQ4963643zbMATH OpenOpenAlexFDO

Authors Michael Wibmer, Anand Pillay

Publication date 19 February 2021

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

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

zbMATH Keywords

representation theoryaffine group schemesTannakian categoriesproalgebraic groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Affine algebraic groups, hyperalgebra constructions (14L17) Representation theory for linear algebraic groups (20G05) Group schemes (14L15)

Abstract: We lay the foundations for a model theoretic study of proalgebraic groups. Our axiomatization is based on the tannakian philosophy. Through a tensor analog of skeletal categories we are able to consider neutral tannakian categories with a fibre functor as many-sorted first order structures. The class of diagonalizable proalgebraic groups is analyzed in detail. We show that the theory of a diagonalizable proalgebraic group $G$ is determined by the theory of the base field and the theory of the character group of $G$. Some initial steps towards a comprehensive study of types are also made.

Recommendations

• Some model theory of simple algebraic groups over algebraically closed fields
• Model theory of absolute Galois groups.
• Free proalgebraic groups
• scientific article; zbMATH DE number 4064970
• scientific article; zbMATH DE number 1789948

Cites work

• scientific article; zbMATH DE number 4200368 (Why is no real title available?)
• scientific article; zbMATH DE number 4064970 (Why is no real title available?)
• scientific article; zbMATH DE number 3689557 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1860838 (Why is no real title available?)
• scientific article; zbMATH DE number 5066367 (Why is no real title available?)
• scientific article; zbMATH DE number 3322752 (Why is no real title available?)
• Algebraic Groups
• Decidability and undecidability theorems for PAC-fields
• Differential embedding problems over complex function fields
• Free proalgebraic groups
• Hodge cycles, motives, and Shimura varieties
• Ideal membership in polynomial rings over the integers
• Linear algebraic groups.
• Model theory and the Tannakian formalism
• Model theory of profinite groups having the Iwasawa property
• Tensor categories
• The elementary theory of abelian groups

Cited in

(4)

• scientific article; zbMATH DE number 1819880 (Why is no real title available?)
• scientific article; zbMATH DE number 4064970 (Why is no real title available?)
• Segal-type algebraic models of \(n\)-types
• scientific article; zbMATH DE number 6302944 (Why is no real title available?)

This page was built for publication: Model theory of proalgebraic groups

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