Source author record

Longyun Ding

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.FA math.GN

Catalog footprint

Research overview

7works

3topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

On equivalence relations induced by Polish groups

The motivation of this article is to introduce a kind of orbit equivalence relations which can well describe structures and properties of Polish groups from the perspective of Borel reducibility. Given a Polish group $G$ , let $E(G)$ be the right coset equivalence relation $G^ω/c(G)$ , where $c(G)$ is the group of all convergent sequences in $G$ . Let $G$ be a Polish group. (1) $G$ is a discrete countable group containing at least two elements iff $E(G)\sim_BE_0$ ; (2) if $G$ is TSI uncountable non-archimedean, then $E(G)\sim_BE_0^ω$ ; (3) $G$ is non-archimedean iff $E(G)\le_B=^+$ ; (4) if $H$ is a CLI Polish group but $G$ is not, then $E(G)\not\le_BE(H)$ ; (5) if $H$ is a non-archimedean Polish group but $G$ is not, then $E(G)\not\le_BE(H)$ . The notion of $α$ -l.m.-unbalanced Polish group for $α<ω_1$ is introduced. Let $G,H$ be Polish groups, $0<α<ω_1$ . If $G$ is $α$ -l.m.-unbalanced but $H$ is not, then $E(G)\not\le_B E(H)$ . For TSI Polish groups, the existence of Borel reduction is transformed into the existence of a well-behaved continuous mapping between topological groups. As its applications, for any Polish group $G$ , let $G_0$ be the connected component of the identity element $1_G$ . Let $G$ and $H$ be two separable TSI Lie groups. If $E(G)\le_BE(H)$ , then there exists a continuous locally injective map $S:G_0\to H_0$ . Moreover, if $G_0,H_0$ are abelian, $S$ is a group homomorphism. In particular, for $c_0,e_0,c_1,e_1\in{\mathbb N}$ , $E({\mathbb R}^{c_0}\times{\mathbb T}^{e_0})\le_BE({\mathbb R}^{c_1}\times{\mathbb T}^{e_1})$ iff $e_0\le e_1$ and $c_0+e_0\le c_1+e_1$ .

preprint2015arXiv

On equivalence relations generated by Schauder bases

In this paper, a notion of Schauder equivalence relation $\mathbb R^\mathbb N/L$ is introduced, where $L$ is a linear subspace of $\mathbb R^\mathbb N$ and the unit vectors form a Schauder basis of $L$ . The main theorem is to show that the following conditions are equivalent: (1) the unit vector basis is boundedly complete; (2) $L$ is $F_σ$ in $\mathbb R^\mathbb N$ ; (3) $\mathbb R^\mathbb N/L$ is Borel reducible to $\mathbb R^\mathbb N/\ell_\infty$ . We show that any Schauder equivalence relation generalized by basis of $\ell_2$ is Borel bireducible to $\mathbb R^\mathbb N/\ell_2$ itself, but it is not true for bases of $c_0$ or $\ell_1$ . Furthermore, among all Schauder equivalence relations generated by sequences in $c_0$ , we find the minimum and the maximum elements with respect to Borel reducibility. We also show that $\mathbb R^\mathbb N/\ell_p$ is Borel reducible to $\mathbb R^\mathbb N/J$ iff $p\le 2$ , where $J$ is James' space.

preprint2011arXiv

Borel equivalence relations between \ell_1 and \ell_p

In this paper, we show that, for each $p>1$ , there are continuum many Borel equivalence relations between $\Bbb R^ω/\ell_1$ and $\Bbb R^ω/\ell_p$ ordered by $\le_B$ which are pairwise Borel incomparable.

preprint2011arXiv

On surjectively universal Polish groups

A Polish group is surjectively universal if it can be continuously homomorphically mapped onto every Polish group. Making use of a type of new metrics on free groups \cite{DG}, we prove the existence of surjectively universal Polish groups, answering in the positive a question of Kechris. In fact, we give several examples of surjectively universal Polish groups. We find a sufficient condition to guarantee that the new metrics on free groups can be computed directly. We also compare this condition with CLI groups.

preprint2010arXiv

A trichotomy for a class of equivalence relations

Let $X_n, n\in\Bbb N$ be a sequence of non-empty sets, $ψ_n:X_n^2\to\Bbb R^+$ . We consider the relation $E((X_n,ψ_n)_{n\in\Bbb N})$ on $\prod_{n\in\Bbb N}X_n$ by $(x,y)\in E((X_n,ψ_n)_{n\in\Bbb N})\Leftrightarrow\sum_{n\in\Bbb N}ψ_n(x(n),y(n))<+\infty$ . If $E((X_n,ψ_n)_{n\in\Bbb N})$ is a Borel equivalence relation, we show a trichotomy that either $\Bbb R^\Bbb N/\ell_1\le_B E$ , $E_1\le_B E$ , or $E\le_B E_0$ . We also prove that, for a rather general case, $E((X_n,ψ_n)_{n\in\Bbb N})$ is an equivalence relation iff it is an $\ell_p$ -like equivalence relation.

preprint2010arXiv

Borel reducibility and finitely Holder(α) embeddability

Let $(X_n,d_n),\,n\in\Bbb N$ be a sequence of pseudo-metric spaces, $p\ge 1$ . For $x,y\in\prod_{n\in\Bbb N}X_n$ , let $(x,y)\in E((X_n)_{n\in\Bbb N};p)\Leftrightarrow\sum_{n\in\Bbb N}d_n(x(n),y(n))^p<+\infty$ . For Borel reducibility between equivalence relations $E((X_n)_{n\in\Bbb N};p)$ , we show it is closely related to finitely Hölder( $α$ ) embeddability between pseudo-metric spaces.

preprint2010arXiv

Characterization of $\ell_p$ -like and $c_0$ -like equivalence relations

Let $X$ be a Polish space, $d$ a pseudo-metric on $X$ . If $\{(u,v):d(u,v)<δ\}$ is ${\bfΠ}^1_1$ for each $δ>0$ , we show that either $(X,d)$ is separable or there are $δ>0$ and a perfect set $C\subseteq X$ such that $d(u,v)\geδ$ for distinct $u,v\in C$ . Granting this dichotomy, we characterize the positions of $\ell_p$ -like and $c_0$ -like equivalence relations in the Borel reducibility hierarchy.

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.

Longyun Ding

Research overview

Is this your work?

7 publications

On equivalence relations induced by Polish groups

On equivalence relations generated by Schauder bases

Borel equivalence relations between \ell_1 and \ell_p

On surjectively universal Polish groups

A trichotomy for a class of equivalence relations

Borel reducibility and finitely Holder(α) embeddability

Characterization of $\ell_p$ -like and $c_0$ -like equivalence relations

See the researcher in context

Building this map preview

Longyun Ding

Research overview

Is this your work?

7 publications

On equivalence relations induced by Polish groups

On equivalence relations generated by Schauder bases

Borel equivalence relations between \ell_1 and \ell_p

On surjectively universal Polish groups

A trichotomy for a class of equivalence relations

Borel reducibility and finitely Holder(α) embeddability

Characterization of ℓp\ell_pℓp​-like and c0c_0c0​-like equivalence relations

See the researcher in context

Building this map preview

Characterization of $\ell_p$ -like and $c_0$ -like equivalence relations