Gelfand-Kirillov conjecture as a first-order formula
Abstract
Let $\Sigma$ be a (reduced) root system. Let $\mathsf{k}$ be an algebraically closed field of zero characteristic, and consider the corresponding semisimple Lie algebra $\mathfrak{g}_{\mathsf{k}, \Sigma}$. Then there is a first-order sentence $\phi_\Sigma$ in the language $\mathcal{L}=(1,0,+,*,-)$ of rings such that, for any algebraically closed field $\mathsf{k}$ of characteristic 0, the validity of the Gelfand-Kirillov Conjecture for $\mathfrak{g}_{\mathsf{k}, \Sigma}$ is equivalent to $ACF_0 \vdash \phi_\Sigma$.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2020
- DOI:
- 10.48550/arXiv.2009.03387
- arXiv:
- arXiv:2009.03387
- Bibcode:
- 2020arXiv200903387M
- Keywords:
-
- Mathematics - Rings and Algebras;
- Mathematics - Logic;
- 2020 Primary: 03C60;
- Secundary: 16S85;
- 16W22;
- 17B35
- E-Print:
- 9 pages