A note on \(\mu\)-stabilizers in ACVF (Q2111111)

Peterzil and Starchenko proposed the notion of \(\mu\)-stabilizers of definable groups \(G\) in [\textit{Y. Peterzil} and \textit{S. Starchenko}, J. Eur. Math. Soc. 19, 2965--2995 (2017; Zbl 1423.03134)]. Here, \(\mu\) is the infinitesimal type consisting of all formulas with parameters defining an open neighborhood of the identity element of \(G\). For a \(G\)-type \(p\), \(\operatorname{Stab}^\mu(p)\) is defined as the stabilizer of \(\mu \cdot p\). This paper studies \(\mu\)-stabilizers for groups definable in algebraically closed valued fields in the valued field sort. The main contributions of the paper are the following two assertions: \begin{itemize} \item \(\operatorname{Stab}^\mu(p)\) is an infinite unbounded definable subgroup of \(G\) when \(p\) is unbounded and a condition called standard on the realization of \(p\). \item \(\operatorname{Stab}^\mu(p)\) is a solvable algebraic subgroup of \(G\) of dimension \(=\dim p\) when \(G\) is a linear algebraic group, \(p\) is standard and of minimal dimension among the types \(q\) satisfying \(\mu \cdot p = \mu \cdot q\). \end{itemize} A result on \(\mu\)-stabilizers in the theory of algebraically closed fields [\textit{M. Kamensky} et al., J. Inst. Math. Jussieu 22, 1003--1022 (2023; Zbl 07674907)] is used in the proof of the second assertion.