Generic Stability of Linear Algebraic Groups over ℂ[[t]]

Chen Ling,Ningyuan Yao

DOI: https://doi.org/10.48550/arxiv.2307.05546

2023-01-01

Abstract:Let K be a henselian valued field with O_K its valuation ring, Γ its value group, and k its residue field. We study the definable subsets of O_K and algebraic groups definable over O_K in the case where k is algebraically closed and Γ is a ℤ-group. We first describe the definable subsets of O_K, showing that every definable subset of O_K is either res-finite or res-cofinite (see Definition ). Applying this result, we show that GL(n, O_K) (the invertible n by n matrices over O_K) are generically stable for each n, generalizing Y. Halevi's result, where K is an algebraically closed valued field .