Definable group

Definable group
Name	Definable group
Field	Model theory
Related	Model theory, Group theory, O-minimality, Stability theory
Notable	Alfred Tarski, Saharon Shelah, Ehud Hrushovski

Definable group is a subgroup of a structure's universe defined by a first-order formula in the language of that structure, equipped with a group operation that is itself definable. These objects sit at the intersection of Model theory, Group theory, Algebraic geometry, Lie group theory and Number theory and provide a framework for translating syntactic definability into algebraic and geometric structure. Research on definable groups has connections to the work of Alfred Tarski, Saharon Shelah, Ehud Hrushovski, Anand Pillay and David Marker.

Definition and basic examples

A definable group is given by a formula φ(x) in a language L interpreted in a structure M, together with formulas ψ(x,y,z) defining the product and χ(x) defining the identity and inverse relations. Basic examples include definable subgroups of GL_n(M) in a structure expanding a field such as Real closed fields or p-adic numbers. Classical instances arise from Algebraic groups over Algebraically closed fields, where Chevalley-style constructions produce definable sets, and from Lie groups realized as definable manifolds in O-minimal structures like expansions of the Real field by restricted analytic functions. Other examples include definable subgroups in Stable theory models such as groups interpretable in models of ACF or groups definable in DCF.

Model-theoretic background

The study relies on notions from Stability theory including stability, superstability, NIP, NTP2 and o-minimality developed by figures like Shelah, Morley, Zilber and Pillay. Tools such as types, imaginaries, definable closure, algebraic closure, and forking independence provide the language to analyze definable groups. Key theorems include Baldwin–Lachlan classification for ω-stable theories, Zilber's trichotomy conjecture influences in Zariski geometry, and Hrushovski's group configuration and group chunk theorems that relate combinatorial geometries to group structure. Definitions often use imaginaries as in the work of Poizat and elimination of imaginaries studied by Haskell, Hrushovski, and Macpherson.

Structural properties and classification

Definable groups inherit structural constraints depending on the ambient theory: in ω-stable contexts they decompose via connected components and definable solvable radical analogues, drawing on results of Baldwin and Lachlan. In o-minimal settings the Peterzil–Steinhorn–Pillay theory gives Lie-like structure and dimension theory paralleling Lie group classification. For NIP theories, recent advances by Shelah, Simon, and Hrushovski establish measures, generic types, and definable amenability guiding structure and classification. Concepts such as definable connected components G^0, G^{00}, and G^{000} arise in work by Newelski and Pillay and reflect model-theoretic stabilizer phenomena, while the notion of definable compactness appears in analyses by Peterzil and Starchenko.

Examples in specific theories

In models of ACF (algebraically closed fields) definable groups correspond to Algebraic groups over algebraically closed fields by classical algebraic geometry results from Chevalley and Weil. In o-minimal expansions of the Real field definable groups are Lie groups definable in the o-minimal structure, elaborated by Pillay, Peterzil, and Steinhorn. Over p-adic numbers Q_p, definable groups interact with p-adic analytic group theory and model theory of valued fields as in work by Macintyre and Haskell. In differentially closed fields (DCF) definable groups include linear differential algebraic groups studied by Kolchin and furthered by Pillay and Cassidy. In stable groups arising from theories like Modular function theory or Compact complex manifolds contexts, the structure theory reflects stability-theoretic invariants.

Definable homomorphisms and quotients

Morphisms between definable groups are maps given by definable functions respecting group operations; kernels and images are definable under mild hypotheses when elimination of imaginaries or definable choice holds, themes explored by Poizat and Hrushovski. Quotients by definable normal subgroups yield definable factor groups, while quotients by invariant or type-definable subgroups produce hyperdefinable or quotient-group-objects studied by Newelski and Hrušák. Universal covers, definable covers, and central extensions have been investigated in o-minimal and stable contexts by Edmundo, Jaligot, and Pillay with applications to classification and cohomology.

Connections to algebraic and Lie groups

Bridges to Algebraic group theory flow through Zariski-closed definability in ACF and through linearization results that embed definable groups into GL_n over definable fields, paralleling classical representation theory as in Chevalley and Borel frameworks. O-minimal results identify definable groups with real Lie groups, connecting to Cartan theory, Iwasawa decomposition, and Hochschild-like structural theorems. Hrushovski's work relates approximate subgroups and combinatorial group theory to definable group approximations, interacting with results of Breuillard, Green, and Tao in additive combinatorics and the Margulis-Zimmer program.

Applications and open problems

Definable groups inform diophantine geometry via model-theoretic proofs of conjectures related to Mordell–Lang and Manin–Mumford, notably in Hrushovski's work, and link to transcendence results studied by Bombieri and Zannier. Open problems include full classification of definable simple groups in various NIP or NTP2 contexts, the relationship between G^{00} and topological connected components for definable groups in non-o-minimal settings, and understanding definable amenability and invariant measures in broader theories—a program advanced by Simon, Hrushovski, and Pillay. Progress on these fronts would impact fields from Arithmetic geometry to Ergodic theory and the model theory of Differential equations.

Category:Model theory