Voir la notice de l'article provenant de la source Numdam
We study definable sets, groups, and fields in the theory of infinite-dimensional vector spaces over an algebraically closed field of any fixed characteristic different from 2 equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define a notion of dimension of a definable set, which enjoys many properties of Morley rank in strongly minimal theories. Then, using this dimension notion as the main tool, we prove that all definable groups are (algebraic-by-abelian)-by-algebraic. We conclude that every definable field is definably isomorphic to the field of scalars of the vector space. We derive some other consequences of good behaviour of the dimension, 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 prove analogous results working over real closed fields.
Nous étudions des ensembles, des groupes et des corps définissables dans la théorie des espaces vectoriels de dimension infinie sur un corps algébriquement clos de caractéristique différente de 2 munis d’une forme bilinéaire symétrique (ou alternée) non dégénérée. Tout d’abord, nous définissons une notion de dimension d’un ensemble définissable, qui possède de nombreuses propriétés de rang de Morley dans les théories fortement minimales. Ensuite, en utilisant cette notion de dimension comme outil principal, nous prouvons que tous les groupes définissables sont (algébriques-par-abéliens)-par-algébriques. Nous concluons que tout corps définissable est définissablement isomorphe au corps des scalaires de l’espace vectoriel. Nous déduisons d’autres conséquences du bon comportement de la dimension, par exemple chaque type générique dans tout ensemble définissable est un type définissable ; chaque ensemble est une base d’extension ; chaque groupe définissable a une composante connexe définissable.
Nous démontrons également des résultats analogues en travaillant sur des corps réels clos.
Dobrowolski, Jan 1, 2
CC-BY-ND 4.0
@article{AIF_2023__73_5_1795_0,
author = {Dobrowolski, Jan},
title = {Sets, groups, and fields definable in vector spaces with a bilinear form},
journal = {Annales de l'Institut Fourier},
pages = {1795--1841},
publisher = {Association des Annales de l{\textquoteright}institut Fourier},
volume = {73},
number = {5},
year = {2023},
doi = {10.5802/aif.3559},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.5802/aif.3559/}
}
TY - JOUR AU - Dobrowolski, Jan TI - Sets, groups, and fields definable in vector spaces with a bilinear form JO - Annales de l'Institut Fourier PY - 2023 SP - 1795 EP - 1841 VL - 73 IS - 5 PB - Association des Annales de l’institut Fourier UR - http://geodesic.mathdoc.fr/articles/10.5802/aif.3559/ DO - 10.5802/aif.3559 LA - en ID - AIF_2023__73_5_1795_0 ER -
%0 Journal Article %A Dobrowolski, Jan %T Sets, groups, and fields definable in vector spaces with a bilinear form %J Annales de l'Institut Fourier %D 2023 %P 1795-1841 %V 73 %N 5 %I Association des Annales de l’institut Fourier %U http://geodesic.mathdoc.fr/articles/10.5802/aif.3559/ %R 10.5802/aif.3559 %G en %F AIF_2023__73_5_1795_0
Dobrowolski, Jan. Sets, groups, and fields definable in vector spaces with a bilinear form. Annales de l'Institut Fourier, Tome 73 (2023) no. 5, pp. 1795-1841. doi: 10.5802/aif.3559
Cité par Sources :