Sets, groups, and fields definable in vector spaces with a bilinear form

DOI10.5802/AIF.3559MaRDI QIDQ6073540zbMATH OpenOpenAlexFDO

Authors Jan Dobrowolski

Publication date 11 October 2023

Published in Annales de l’institut Fourier (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NoDerivs 4.0 International

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

zbMATH Keywords

bilinear formdefinable groupdefinable field

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60)

Abstract: We study definable sets, groups, and fields in the theory $T_{i}nfty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an ($mathbbNimesmathbbZ,le{q}_{lex}$)-valued dimension on definable sets in $T_{i}nfty$ enjoying many properties of Morley rank in strongly minimal theories. Then, using this dimension notion as the main tool, we prove that all groups definable in $T_{i}nfty$ are (algebraic-by-abelian)-by-algebraic, which, in particular, answers a question of Granger. We conclude that every infinite field definable in $T_{i}nfty$ is definably isomorphic to the field of scalars of the vector space. We derive some other consequences of good behaviour of the dimension in $T_{i}nfty$, e.g. every generic type in any definable set is a definable type; every set is an extension base; every definable group has a definable connected component. We also consider the theory $T_i^{RCF}nfty$ of vector spaces over a real closed field equipped with a nondegenerate alternating bilinear form or a nondegenerate symmetric positive-definite bilinear form. Using the same construction as in the case of $T_{i}nfty$, we define a dimension on sets definable in $T_i^{RCF}nfty$, and using it we prove analogous results about definable groups and fields: every group definable in $T_{infty}^{RCF}$ is (semialgebraic-by-abelian)-by-semialgebraic (in particular, it is (Lie-by-abelian)-by-Lie), and every field definable in $T_{infty}^{RCF}$ is definable in the field of scalars, hence it is either real closed or algebraically closed.

Cites work

• scientific article; zbMATH DE number 493070 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• A course in model theory
• Definability and definable groups in simple theories
• Fields definable in the free group
• Groups and Fields Interpretable in Separably Closed Fields
• Groups definable in ordered vector spaces over ordered division rings
• Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
• On $ω_1$-categorical theories of fields
• On Algebraic Groups of Transformations
• On Kim-independence
• On groups and fields definable in o-minimal structures
• Onn-dependent groups and fields II
• Quadratic forms in infinite dimensional vector spaces
• Some model theory of Polish structures
• Stable groups. Transl. from the French by Moses Gabriel Klein
• Strongly minimal expansions of algebraically closed fields
• Superrosy dependent groups having finitely satisfiable generics
• Weil's group chunk theorem: A topological setting

Cited in

(2)

• A new Kim's lemma
• Definable invariants of bilinear mappings

This page was built for publication: Sets, groups, and fields definable in vector spaces with a bilinear form

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