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

DOI10.5802/AIF.3559arXiv2004.07238OpenAlexW3016391137MaRDI QIDQ6073540FDOQ6073540

Authors: Jan Dobrowolski 

Publication date: 11 October 2023

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

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.

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)

Cites Work

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

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)