Pré-Publication, Document De Travail Année : 2019

PSEUDO-LINEAR ALGEBRA OVER A DIVISION RING

Cédric Milliet

Résumé

We consider an analogue of the Zariski topology over a division ring $(D,\sigma,\delta)$ equipped with a ring morphism $\sigma$, a $\sigma$-derivation $\delta$, and a pseudo-linear transformation $\theta$ as introduced by Ore and Jacobson. A basic closed subset of $D^n$, which we call $\theta$-affine, is the zero set of a (finite) family of linear combinations of $\left\{\theta^{i_1}(x_1),\dots,\theta^{i_n}(x_n), 1\colon(i_1,\dots,i_n)\in\mathbf N^n\right\}$ having left coefficients in $D$. This enables to define elementary notions of algebraic geometry: $\theta$-affine sets, $\theta$-morphisms, a Zariski dimension, and a notion of comorphism that witnesses a duality between the category of $\theta$-affine sets and the category of $D[t;\sigma,\delta]$-modules. Using results of P. Cohn, we show that when $\sigma$ and $\delta$ commute, $(D,\sigma,\delta)$ has an extension in which each nonzero polynomial $a_0x+a_1{\theta}(x)+\dots+a_n{\theta}^n(x)$ is surjective. In such an extension, using Baur-Monk's quantifier elimination, we show that Chevalley's projection Theorem holds, as well as a Nullstellensatz that provides an equivalence between the category of $\theta$-affine sets having no proper $\theta$-affine subset of the same Zariski dimension, and the category of torsion-free finitely generated $D[t;\sigma,\delta]$-modules. These results are applied in a further paper to division rings that do not have Shelah's independence property.

Fichier principal
Vignette du fichier
PseudoLinearAlgebraOver(submission) (1).pdf (512.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01283071 , version 1 (04-03-2016)
hal-01283071 , version 2 (09-03-2016)
hal-01283071 , version 3 (22-03-2016)
hal-01283071 , version 4 (14-08-2016)
hal-01283071 , version 5 (09-05-2018)
hal-01283071 , version 6 (17-04-2019)
hal-01283071 , version 7 (02-06-2020)

Licence

Identifiants

  • HAL Id : hal-01283071 , version 6

Citer

Cédric Milliet. PSEUDO-LINEAR ALGEBRA OVER A DIVISION RING. 2019. ⟨hal-01283071v6⟩
730 Consultations
1955 Téléchargements

Partager

  • More