Model theory of proalgebraic groups

DOI10.1090/TRAN/8304zbMATH Open1498.03086arXiv1908.10064OpenAlexW3098636188MaRDI QIDQ4963643FDOQ4963643

Anand Pillay, Michael Wibmer

Publication date: 19 February 2021

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

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.

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

Recommendations

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tensor Categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear algebraic groups.
• Hodge cycles, motives, and Shimura varieties
• The elementary theory of abelian groups
• Title not available (Why is that?)
• Ideal membership in polynomial rings over the integers
• Differential embedding problems over complex function fields
• Algebraic Groups
• Decidability and undecidability theorems for PAC-fields
• Model theory and the Tannakian formalism
• Model theory of profinite groups having the Iwasawa property
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Segal-type algebraic models of \(n\)-types
• Title not available (Why is that?)
• Title not available (Why is that?)

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)