Source author record

Ningyuan Yao

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.DS math.GR

Catalog footprint

Research overview

4works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Abelian groups definable in $p$ -adically closed fields

Recall that a group $G$ has finitely satisfiable generics ( $fsg$ ) or definable $f$ -generics ( $dfg$ ) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or definable over $M_0$ , respectively. We show that any abelian group definable in a $p$ -adically closed field is an extension of a definably compact $fsg$ definable group by a $dfg$ definable group. We discuss an approach which might prove a similar statement for interpretable abelian groups. In the case where $G$ is an abelian group definable in the standard model $\mathbb{Q}_p$ , we show that $G^0 = G^{00}$ , and that $G$ is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in $\mathbb{Q}_p$ .

preprint2022arXiv

On non-compact $p$ -adic definable groups

Peterzil and Steinhorn proved that if a group $G$ definable in an $o$ -minimal structure is not definably compact, then $G$ contains a definable torsion-free subgroup of dimension one. We prove here a $p$ -adic analogue of the Peterzil-Steinhorn theorem, in the special case of abelian groups. Let $G$ be an abelian group definable in a $p$ -adically closed field $M$ . If $G$ is not definably compact then there is a definable subgroup $H$ of dimension one which is not definably compact. In a future paper we will generalize this to non-abelian $G$ .

preprint2020arXiv

On Dimensions, Standard Part Maps, and $p$ -Adically Closed Fields

The aim of this paper is to study the dimensions and standard part maps between the field of $p$ -adic numbers ${{\mathbb Q}_p}$ and its elementary extension $K$ in the language of rings $L_r$ . We show that for any $K$ -definable set $X\subseteq K^m$ , $\text{dim}_K(X)\geq \text{dim}_{{\mathbb Q}_p}(X\cap {{\mathbb Q}_p}^m)$ . Let $V\subseteq K$ be convex hull of $K$ over ${{\mathbb Q}_p}$ , and $\text{\st}: V\rightarrow {{\mathbb Q}_p}$ be the standard part map. We show that for any $K$ -definable function $f:K^m\rightarrow K$ , there is definable subset $D\subseteq{{\mathbb Q}_p}^m$ such that ${{\mathbb Q}_p}^m\backslash D$ has no interior, and for all $x\in D$ , either $f(x)\in V$ and $\text{st}(f(\text{st}^{-1}(x)))$ is constant, or $f(\text{st}^{-1}(x))\cap V=\emptyset$ . We also prove that $\text{dim}_K(X)\geq \text{dim}_{{\mathbb Q}_p}(\text{st}(X\cap V^m))$ for every definable $X\subseteq K^m$ .

preprint2015arXiv

On minimal flows. definably amenable groups, and o-minimality

We study definably amenable groups in NIP theories, and answer a question of Newelski (and also of Chernikov-Simon), by giving an example in the o-minimal context where weak generic types do not coincide with almost periodic types, equivalently where the union of the minimal subflows of suitable type spaces is not closed. We give other positive results in this o-minimal context.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ningyuan Yao

Research overview

Is this your work?

4 publications

Abelian groups definable in $p$ -adically closed fields

On non-compact $p$ -adic definable groups

On Dimensions, Standard Part Maps, and $p$ -Adically Closed Fields

On minimal flows. definably amenable groups, and o-minimality

See the researcher in context

Building this map preview

Ningyuan Yao

Research overview

Is this your work?

4 publications

Abelian groups definable in ppp-adically closed fields

On non-compact ppp-adic definable groups

On Dimensions, Standard Part Maps, and ppp-Adically Closed Fields

On minimal flows. definably amenable groups, and o-minimality

See the researcher in context

Building this map preview

Abelian groups definable in $p$ -adically closed fields

On non-compact $p$ -adic definable groups

On Dimensions, Standard Part Maps, and $p$ -Adically Closed Fields