dorsal/arxiv
View SchemaOn simple groups definable in some valued fields
| Authors | Jakub Gismatullin, Immanuel Halupczok, Dugald Macpherson |
|---|---|
| Categories | |
| ArXiv ID | 2601.08423vv1 |
| URL | https://arxiv.org/abs/2601.08423 |
| License | http://creativecommons.org/licenses/by/4.0/ |
Abstract
We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure algebraically closed valued fields of positive characteristic, under the additional assumption that the definable group is a subgroup of a linear algebraic group.
{
"annotation_id": "b6b57bdf-39da-4be4-8808-1a8335dcbb32",
"date_created": "2026-02-17T05:53:16.241000Z",
"date_modified": "2026-02-17T05:53:16.241000Z",
"file_hash": "2e688d11a6ed3d72a055723fb2109ca8c23e2a875d6fff12422445b20381a601",
"private": false,
"record": {
"abstract": "We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure algebraically closed valued fields of positive characteristic, under the additional assumption that the definable group is a subgroup of a linear algebraic group.",
"arxiv_id": "2601.08423",
"authors": [
"Jakub Gismatullin",
"Immanuel Halupczok",
"Dugald Macpherson"
],
"categories": [
"math.LO",
"math.AC",
"math.AG",
"math.GR"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"title": "On simple groups definable in some valued fields",
"url": "https://arxiv.org/abs/2601.08423",
"version": "v1"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "e839ed8d-5dde-45fa-9092-dd6637280564",
"id": "arXiv Dataset",
"type": "Model",
"variant": "snapshot-2026-01-17",
"version": "0.1.0"
},
"user_id": 1000002
}