Showing 1–44 of 44 results for author: Doucha, M

Dense and comeager conjugacy classes in zero-dimensional dynamics

Authors: Michal Doucha, Julien Melleray, Todor Tsankov

Abstract: Let $G$ be a countable group. We consider the Polish space of all actions of $G$ on the Cantor space by homeomorphisms and study the existence of a comeager conjugacy class in this space and some natural subspaces. We also develop a general model-theoretic framework to study this and related questions. We prove that for a finitely generated free group, there is a comeager conjugacy class in the… ▽ More Let $G$ be a countable group. We consider the Polish space of all actions of $G$ on the Cantor space by homeomorphisms and study the existence of a comeager conjugacy class in this space and some natural subspaces. We also develop a general model-theoretic framework to study this and related questions. We prove that for a finitely generated free group, there is a comeager conjugacy class in the space of minimal actions, as well as in the space of minimal, probability measure-preserving actions. We also identify the two classes: the first one is the Fraïssé limit of all sofic minimal subshifts and the second, the universal profinite action. In the opposite direction, if $G$ is an amenable group which is not finitely generated, we show that there is no comeager conjugacy class in the space of all actions and if $G$ is locally finite, also in the space of minimal actions. Finally, we study the question of existence of a dense conjugacy class in the space of topologically transitive actions. We show that if $G$ is free or virtually polycyclic, then such a dense conjugacy class exists iff $G$ is virtually cyclic. △ Less

Submitted 7 July, 2025; originally announced July 2025.

Comments: 42 pages, 2 figures

Automorphism groups of measures on the Cantor space. Part I: Good measures and Rokhlin properties

Authors: Michal Doucha, Dominik Kwietniak, Maciej Malicki, Piotr Niemiec

Abstract: We study criteria for the existence of a dense or comeager conjugacy class in the automorphism group of a given measure on the Cantor space. We concentrate on good measures, defined by Akin [\emph{Trans.\ Amer.\ Math.\ Soc.} \textbf{357} (2005), no. 7, 2681--2722], which we characterize as a particular subclass of ultrahomogeneous measures. We determine good measures with rational values on clopen… ▽ More We study criteria for the existence of a dense or comeager conjugacy class in the automorphism group of a given measure on the Cantor space. We concentrate on good measures, defined by Akin [\emph{Trans.\ Amer.\ Math.\ Soc.} \textbf{357} (2005), no. 7, 2681--2722], which we characterize as a particular subclass of ultrahomogeneous measures. We determine good measures with rational values on clopen sets whose automorphism group admits a comeager conjugacy class. Our approach uses the Fraïssé theory. △ Less

Submitted 28 January, 2025; originally announced January 2025.

Guarded Fraïssé Banach spaces

Authors: Marek Cúth, Noé de Rancourt, Michal Doucha

Abstract: We characterize separable Banach spaces having $G_δ$ isometry classes in the Polish codings $\mathcal{P}$, $\mathcal{P}_\infty$ and $\mathcal{B}$ introduced by Cúth-Doležal-Doucha-Kurka [13] as those being guarded Fraïssé, a weakening of the notion of Fraïssé Banach spaces defined by Ferenczi-Lopez-Abad-Mbombo-Todorcevic [18]. We prove a Fraïssé correspondence for those spaces and make links with… ▽ More We characterize separable Banach spaces having $G_δ$ isometry classes in the Polish codings $\mathcal{P}$, $\mathcal{P}_\infty$ and $\mathcal{B}$ introduced by Cúth-Doležal-Doucha-Kurka [13] as those being guarded Fraïssé, a weakening of the notion of Fraïssé Banach spaces defined by Ferenczi-Lopez-Abad-Mbombo-Todorcevic [18]. We prove a Fraïssé correspondence for those spaces and make links with the notion of $ω$-categoricity from continuous logic, showing that $ω$-categorical Banach spaces are a natural source of guarded Fraïssé Banach spaces. Using those results, we prove that for many values of $(p, q)$, the Banach space $L_p(L_q)$ has a $G_δ$ isometry class; we precisely characterize those values. △ Less

Submitted 22 August, 2024; originally announced August 2024.

Comments: 55 pages

MSC Class: 46B04; 46B07; 03E15; 54E52

Shadowing of actions of hyperbolic groups on their boundaries

Authors: Michal Doucha

Abstract: We prove that the canonical action of every hyperbolic group on its Gromov boundary has the shadowing (aka pseudo-orbit tracing) property. In particular, this recovers the results of Mann et al. that such actions are topologically stable. We prove that the canonical action of every hyperbolic group on its Gromov boundary has the shadowing (aka pseudo-orbit tracing) property. In particular, this recovers the results of Mann et al. that such actions are topologically stable. △ Less

Submitted 18 June, 2024; v1 submitted 8 May, 2024; originally announced May 2024.

Comments: v2: Several typos were corrected and the presentation was improved

Isometries of Lipschitz-free Banach spaces

Authors: Marek Cúth, Michal Doucha, Tamás Titkos

Abstract: We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose Lipschitz-free space only admits surjective linear isometries coming from surjective dilations (i.e. rescaled isometries) of the metric space itself. We show this clas… ▽ More We describe surjective linear isometries and linear isometry groups of a large class of Lipschitz-free spaces that includes e.g. Lipschitz-free spaces over any graph. We define the notion of a Lipschitz-free rigid metric space whose Lipschitz-free space only admits surjective linear isometries coming from surjective dilations (i.e. rescaled isometries) of the metric space itself. We show this class of metric spaces is surprisingly rich and contains all $3$-connected graphs as well as geometric examples such as non-abelian Carnot groups with horizontally strictly convex norms. We prove that every metric space isometrically embeds into a Lipschitz-free rigid space that has only three more points. △ Less

Submitted 13 February, 2024; originally announced February 2024.

Journal ref: J. Lond. Math. Soc. (2) 110 (2024), no. 5, Paper No. e70000, 36 pp

Lie theoretic approach to unitary groups of $C^*$-algebras

Authors: Hiroshi Ando, Michal Doucha

Abstract: Following Robert's [26], we study the structure of unitary groups and groups of approximately inner automorphisms of unital $C^*$-algebras, taking advantage of the former being Banach-Lie groups. For a given unital $C^*$-algebra $A$, we provide a description of the closed normal subgroup structure of the connected component of the identity of the unitary group, denoted by $U_A$, resp. of the subgr… ▽ More Following Robert's [26], we study the structure of unitary groups and groups of approximately inner automorphisms of unital $C^*$-algebras, taking advantage of the former being Banach-Lie groups. For a given unital $C^*$-algebra $A$, we provide a description of the closed normal subgroup structure of the connected component of the identity of the unitary group, denoted by $U_A$, resp. of the subgroup of approximately inner automorphisms induced by the connected component of the identity of the unitary group, denoted by $V_A$, in terms of perfect ideals, i.e. ideals admitting no characters. When the unital algebra is locally AF, we show that there is a one-to-one correspondence between closed normal subgroups of $V_A$ and perfect ideals of the algebra, which can be in the separable case conveniently described using Bratteli diagrams; in particular showing that every closed normal subgroup of $V_A$ is perfect. We also characterize unital $C^*$-algebras $A$ such that $U_A$, resp. $V_A$ are topologically simple, generalizing the main results from [26]. In the other way round, under certain conditions, we characterize simplicity of the algebra in terms of the structure of the unitary group. This in particular applies to reduced group $C^*$-algebras of discrete groups and we show that when $A$ is a reduced group $C^*$-algebra of a non-amenable countable discrete group, then $A$ is simple if and only if $U_A/\mathbb{T}$ is topologically simple. △ Less

Submitted 3 January, 2025; v1 submitted 4 December, 2023; originally announced December 2023.

Comments: v2: final version, similar to the published version in the Transactions of the American Mathematical Society; 20 pages

An application of Kirchberg's lemma on central sequence algebras to groups of approximately inner automorphisms

Authors: Hiroshi Ando, Michal Doucha

Abstract: We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner automorphisms of a separable unital ${\rm C}^*$-algebra of stable rank one, which we can partially upgrade also to the non-separable case. We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner automorphisms of a separable unital ${\rm C}^*$-algebra of stable rank one, which we can partially upgrade also to the non-separable case. △ Less

Submitted 9 December, 2023; v1 submitted 18 October, 2023; originally announced October 2023.

Comments: v2 The hypotheses of Theorems 1.2 and 2.4 are modified because of the gap discovered by Leonel Robert. Appendix C and D are added. 18 pages

MSC Class: 46L05; 46M07

Strong topological Rokhlin property, shadowing, and symbolic dynamics of countable groups

Authors: Michal Doucha

Abstract: A countable group $G$ has the strong topological Rokhlin property (STRP) if it admits a continuous action on the Cantor space with a comeager conjugacy class. We show that having the STRP is a symbolic dynamical property. We prove that a countable group $G$ has the STRP if and only if certain sofic subshifts over $G$ are dense in the space of subshifts. A sufficient condition is that isolated shif… ▽ More A countable group $G$ has the strong topological Rokhlin property (STRP) if it admits a continuous action on the Cantor space with a comeager conjugacy class. We show that having the STRP is a symbolic dynamical property. We prove that a countable group $G$ has the STRP if and only if certain sofic subshifts over $G$ are dense in the space of subshifts. A sufficient condition is that isolated shifts over $G$ are dense in the space of all subshifts. We provide numerous applications including the proof that a group that decomposes as a free product of finite or cyclic groups has the STRP. We show that finitely generated nilpotent groups do not have the STRP unless they are virtually cyclic; the same is true for many groups of the form $G_1\times G_2\times G_3$ where each factor is recursively presented. We show that a large class of non-finitely generated groups do not have the STRP, this includes any group with infinitely generated center and the Hall universal locally finite group. We find a very strong connection between the STRP and shadowing, a.k.a. pseudo-orbit tracing property. We show that shadowing is generic for actions of a finitely generated group $G$ if and only if $G$ has the STRP. △ Less

Submitted 8 March, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 46 pages v3: Almost identical with the accepted final version. To appear in JEMS. Some proofs were shortened, some subsections were removed

Polish spaces of Banach spaces. Complexity of isometry and isomorphism classes

Authors: Marek Cúth, Martin Doležal, Michal Doucha, Ondřej Kurka

Abstract: We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most classical separable Banach spaces. We prove that the infinite-dimensional separable Hilbert space is characterized as the unique separable infinite-dimensional Banach… ▽ More We study the complexities of isometry and isomorphism classes of separable Banach spaces in the Polish spaces of Banach spaces recently introduced and investigated by the authors in [14]. We obtain sharp results concerning the most classical separable Banach spaces. We prove that the infinite-dimensional separable Hilbert space is characterized as the unique separable infinite-dimensional Banach space whose isometry class is closed, and also as the unique separable infinite-dimensional Banach space whose isomorphism class is $F_σ$. For $p\in\left[1,2\right)\cup\left(2,\infty\right)$, we show that the isometry classes of $L_p[0,1]$ and $\ell_p$ are $G_δ$-complete sets and $F_{σδ}$-complete sets, respectively. Then we show that the isometry class of $c_0$ is an $F_{σδ}$-complete set. Additionally, we compute the complexities of many other natural classes of separable Banach spaces; for instance, the class of separable $\mathcal{L}_{p,λ+}$-spaces, for $p,λ\geq 1$, is shown to be a $G_δ$-set, the class of superreflexive spaces is shown to be an $F_{σδ}$-set, and the class of spaces with local $Π$-basis structure is shown to be a $\boldsymbolΣ^0_6$-set. The paper is concluded with many open problems and suggestions for a future research. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Comments: This paper is a result of splitting the original arxiv submission arXiv:1912.03994 into two parts and some polishing - based on the comments of the referees. This is the second part. The original submission arXiv:1912.03994 will be replaced by the first part of the split

Garden of Eden and weakly periodic points for certain expansive actions of groups

Authors: Michal Doucha

Abstract: We present several applications of the weak specification property and certain topological Markov properties, recently introduced by S. Barbieri, F. García-Ramos and H. Li, and implied by the pseudo-orbit tracing property, for general expansive group actions on compact spaces. First we show that any expansive action of a countable amenable group on a compact metrizable space satisfying the weak… ▽ More We present several applications of the weak specification property and certain topological Markov properties, recently introduced by S. Barbieri, F. García-Ramos and H. Li, and implied by the pseudo-orbit tracing property, for general expansive group actions on compact spaces. First we show that any expansive action of a countable amenable group on a compact metrizable space satisfying the weak specification and strong topological Markov properties satisfies the Moore property, i.e. every surjective automorphism of such dynamical system is pre-injective. This together with an earlier result of H. Li (where the strong topological Markov property is not needed) of the Myhill property, which we also re-prove here, establishes the Garden of Eden theorem for all expansive actions of countable amenable groups on compact metrizable spaces satisfying the weak specification and strong topological Markov properties. We hint how to easily generalize this result even for uncountable amenable groups and general compact, not necessarily metrizable, spaces. Second, we generalize the recent result of D. B. Cohen that any subshift of finite type of a finitely generated group having at least two ends has weakly periodic points. We show that every expansive action of such a group having a certain Markov topological property, again implied by the pseudo-orbit tracing property, has a weakly periodic point. If it has additionally the weak specification property, the set of such points is dense. △ Less

Submitted 8 October, 2021; originally announced October 2021.

Comments: 21 pages

Projections in Lipschitz-free spaces induced by group actions

Authors: Marek Cúth, Michal Doucha

Abstract: We show that given a compact group $G$ acting continuously on a metric space $M$ by bi-Lipschitz bijections with uniformly bounded norms, the Lipschitz-free space over the space of orbits $M/G$ (endowed with Hausdorff distance) is complemented in the Lipschitz-free space over $M$. We also investigate the more general case when $G$ is amenable, locally compact or SIN and its action has bounded orbi… ▽ More We show that given a compact group $G$ acting continuously on a metric space $M$ by bi-Lipschitz bijections with uniformly bounded norms, the Lipschitz-free space over the space of orbits $M/G$ (endowed with Hausdorff distance) is complemented in the Lipschitz-free space over $M$. We also investigate the more general case when $G$ is amenable, locally compact or SIN and its action has bounded orbits. Then we get that the space of Lipschitz functions $Lip_0(M/G)$ is complemented in $Lip_0(M)$. Moreover, if the Lipschitz-free space over $M$, $F(M)$, is complemented in its bidual, several sufficient conditions on when $F(M/G)$ is complemented in $F(M)$ are given. Some applications are discussed. The paper contains preliminaries on projections induced by actions of amenable groups on general Banach spaces. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Journal ref: Math. Nachr., 296 (8) (2023), 3301-3317

Lipschitz algebras and Lipschitz-free spaces over unbounded metric spaces

Authors: Fernando Albiac, Jose L. Ansorena, Marek Cuth, Michal Doucha

Abstract: We present a way to turn an arbitrary (unbounded) metric space $\mathcal{M}$ into a bounded metric space $\mathcal{B}$ in such a way that the corresponding Lipschitz-free spaces $\mathcal{F}(\mathcal{M})$ and $\mathcal{F}(\mathcal{B})$ are isomorphic. The construction we provide is functorial in a weak sense and has the advantage of being explicit. Apart from its intrinsic theoretical interest, it… ▽ More We present a way to turn an arbitrary (unbounded) metric space $\mathcal{M}$ into a bounded metric space $\mathcal{B}$ in such a way that the corresponding Lipschitz-free spaces $\mathcal{F}(\mathcal{M})$ and $\mathcal{F}(\mathcal{B})$ are isomorphic. The construction we provide is functorial in a weak sense and has the advantage of being explicit. Apart from its intrinsic theoretical interest, it has many applications in that it allows to transfer many arguments valid for Lipschitz-free spaces over bounded spaces to Lipschitz-free spaces over unbounded spaces. Furthermore, we show that with a slightly modified point-wise multiplication, the space $\rm{Lip}_0(\mathcal{M})$ of scalar-valued Lipschitz functions vanishing at zero over any (unbounded) pointed metric space is a Banach algebra with its canonical Lipschitz norm. △ Less

Submitted 5 December, 2020; v1 submitted 25 November, 2020; originally announced November 2020.

MSC Class: 26A16 (Primary) 46A16; 46B20; 46B80; 46B85 (Secondary)

Journal ref: Int. Math. Res. Not. IMRN 2022, no. 20, 16327-16362

Large scale geometry of Banach-Lie groups

Authors: Hiroshi Ando, Michal Doucha, Yasumichi Matsuzawa

Abstract: We initiate the large scale geometric study of Banach-Lie groups, especially of linear Banach-Lie groups. We show that the exponential length, originally introduced by Ringrose for unitary groups of $C^*$-algebras, defines the quasi-isometry type of any connected Banach-Lie group. As an illustrative example, we consider unitary groups of separable abelian unital $C^*$-algebras with spectrum having… ▽ More We initiate the large scale geometric study of Banach-Lie groups, especially of linear Banach-Lie groups. We show that the exponential length, originally introduced by Ringrose for unitary groups of $C^*$-algebras, defines the quasi-isometry type of any connected Banach-Lie group. As an illustrative example, we consider unitary groups of separable abelian unital $C^*$-algebras with spectrum having finitely many components, which we classify up to topological isomorphism and up to quasi-isometry, in order to highlight the difference. The main results then concern the Haagerup property, and Properties (T) and (FH). We present the first non-trivial non-abelian and non-localy compact groups having the Haagerup property, most of them being non-amenable. These are the groups $\mathcal{U}_2(M,τ)$, where $M$ is a semifinite von Neumann algebra with a normal faithful semifinite trace $τ$. Finally, we investigate the groups $\mathrm{E}_n(A)$, which are closed subgroups of $\mathrm{GL}(n,A)$ generated by elementary matrices, where $A$ is a unital Banach algebra. We show that for $n\geq 3$, all these groups have Property (T) and they are unbounded, so they have Property (FH) non-trivially. On the other hand, if $A$ is an infinite-dimensional unital $C^*$-algebra, then $\mathrm{E}_2(A)$ does not have the Haagerup property. If $A$ is moreover abelian and separable, then $\mathrm{SL}(2,A)$ does not have the Haagerup property. △ Less

Submitted 11 December, 2020; v1 submitted 20 November, 2020; originally announced November 2020.

Comments: 45 pages. Comments are welcome. V2 answers a question given to us by Rosendal that the exponential length defines both maximal and minimal metrics on connected Banach-Lie groups

On Dual surjunctivity and applications

Authors: Michal Doucha, Jakub Gismatullin

Abstract: We explore the dual version of Gottschalk's conjecture recently introduced by Capobianco, Kari, and Taati, and the notion of dual surjunctivity in general. We show that dual surjunctive groups satisfy Kaplansky's direct finiteness conjecture for all fields of positive characteristic. By quantifying the notions of injectivity and post-surjectivity for cellular automata, we show that the image of th… ▽ More We explore the dual version of Gottschalk's conjecture recently introduced by Capobianco, Kari, and Taati, and the notion of dual surjunctivity in general. We show that dual surjunctive groups satisfy Kaplansky's direct finiteness conjecture for all fields of positive characteristic. By quantifying the notions of injectivity and post-surjectivity for cellular automata, we show that the image of the full topological shift under an injective cellular automaton is a subshift of finite type in a quantitative way. Moreover we show that dual surjunctive groups are closed under ultraproducts, under elementary equivalence, and under certain semidirect products (using the ideas of Arzhantseva and Gal for the latter); they form a closed subset in the space of marked groups, fully residually dual surjunctive groups are dual surjunctive, etc. We also consider dual surjunctive systems for more general dynamical systems, namely for certain expansive algebraic actions, employing results of Chung and Li. △ Less

Submitted 26 October, 2020; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: v2:Some improvements in Section 5 and in the proof of Theorem 2.3

Structure of the Lipschitz free $p$-spaces $\mathcal{F}_p(\mathbb{Z}^d)$ and $\mathcal{F}_p(\mathbb{R}^d)$ for $0<p\le 1$

Authors: Fernando Albiac, Jose L. Ansorena, Marek Cuth, Michal Doucha

Abstract: Our aim in this article is to contribute to the theory of Lipschitz free $p$-spaces for $0<p\le 1$ over the Euclidean spaces $\mathbb{R}^d$ and $\mathbb{Z}^d$. To that end, on one hand we show that $\mathcal{F}_p(\mathbb{R}^d)$ admits a Schauder basis for every $p\in(0,1]$, thus generalizing the corresponding result for the case $p=1$ achieved in [P. Hájek and E. Pernecká, On Schauder bases in Lip… ▽ More Our aim in this article is to contribute to the theory of Lipschitz free $p$-spaces for $0<p\le 1$ over the Euclidean spaces $\mathbb{R}^d$ and $\mathbb{Z}^d$. To that end, on one hand we show that $\mathcal{F}_p(\mathbb{R}^d)$ admits a Schauder basis for every $p\in(0,1]$, thus generalizing the corresponding result for the case $p=1$ achieved in [P. Hájek and E. Pernecká, On Schauder bases in Lipschitz-free spaces, J. Math. Anal. Appl. 416 (2014), no. 2, 629--646] and answering in the positive a question that was raised in [F. Albiac, J. L. Ansorena, M. Cúth, and M. Doucha, Embeddability of lp and bases in Lipschitz free $p$-spaces for $0 < p \le 1$, J. Funct. Anal. 278 (2020), no. 4, 108354, 33]. Explicit formulas for the bases of both $\mathcal{F}_p(\mathbb{R}^d)$ and its isomorphic space $\mathcal{F}_p([0,1]^d)$ are given. On the other hand we show that the well-known fact that $\mathcal{F}(\mathbb{Z})$ is isomorphic to $\ell_{1}$ does not extend to the case when $p<1$, that is, $\mathcal{F}_{p}(\mathbb{Z})$ is not isomorphic to $\ell_p$ when $0<p<1$. △ Less

Submitted 14 June, 2020; originally announced June 2020.

MSC Class: 46B20 (Primary) 46B03; 46B07; 46A35; 46A16 (Secondary)

Journal ref: Collect. Math. 73 (2022), 337-357

Approximation properties in Lipschitz-free spaces over groups

Authors: Michal Doucha, Pedro Levit Kaufmann

Abstract: We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a compact metrizable group $G$ equipped with an arbitrary compatible left-invariant metric $d$, the Lipschitz-free space over $G$, $\mathcal{F}(G,d)$, satisfies the me… ▽ More We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a compact metrizable group $G$ equipped with an arbitrary compatible left-invariant metric $d$, the Lipschitz-free space over $G$, $\mathcal{F}(G,d)$, satisfies the metric approximation property. We show also that, given a finitely generated group $G$, with its word metric $d$, from a class of groups admitting a certain special type of combing, which includes all hyperbolic groups and Artin groups of large type, $\mathcal{F}(G,d)$ has a Schauder basis. Examples and applications are discussed. In particular, for any net $N$ in a real hyperbolic $n$-space $\mathbb{H}^n$, $\mathcal{F}(N)$ has a Schauder basis. △ Less

Submitted 26 April, 2021; v1 submitted 19 May, 2020; originally announced May 2020.

Comments: With updated references

Lipschitz free spaces isomorphic to their infinite sums and geometric applications

Authors: Fernando Albiac, Jose L. Ansorena, Marek Cuth, Michal Doucha

Abstract: We find general conditions under which Lipschitz-free spaces over metric spaces are isomorphic to their infinite direct $\ell_1$-sum and exhibit several applications. As examples of such applications we have that Lipschitz-free spaces over balls and spheres of the same finite dimensions are isomorphic, that the Lipschitz-free space over $\mathbb{Z}^d$ is isomorphic to its $\ell_1$-sum, or that the… ▽ More We find general conditions under which Lipschitz-free spaces over metric spaces are isomorphic to their infinite direct $\ell_1$-sum and exhibit several applications. As examples of such applications we have that Lipschitz-free spaces over balls and spheres of the same finite dimensions are isomorphic, that the Lipschitz-free space over $\mathbb{Z}^d$ is isomorphic to its $\ell_1$-sum, or that the Lipschitz-free space over any snowflake of a doubling metric space is isomorphic to $\ell_1$. Moreover, following new ideas from [E. Bruè, S. Di Marino and F. Stra, Linear Lipschitz and $C^1$ extension operators through random projection, arXiv:1801.07533] we provide an elementary self-contained proof that Lipschitz-free spaces over doubling metric spaces are complemented in Lipschitz-free spaces over their superspaces and they have BAP. Everything, including the results about doubling metric spaces, is explored in the more comprehensive setting of $p$-Banach spaces, which allows us to appreciate the similarities and differences of the theory between the cases $p<1$ and $p=1$. △ Less

Submitted 16 June, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

MSC Class: 46B03 (Primary) 46B04; 46B20; 46A16 (Secondary)

Journal ref: Trans. Amer. Math. Soc., 374 (10) (2021), 7281-7312

Complexity of distances: Reductions of distances between metric and Banach spaces

Authors: Marek Cúth, Michal Doucha, Ondřej Kurka

Abstract: We show that all the standard distances from metric geometry and functional analysis, such as Gromov-Hausdorff distance, Banach-Mazur distance, Kadets distance, Lipschitz distance, Net distance, and Hausdorff-Lipschitz distance have all the same complexity and are reducible to each other in a precisely defined way. This is done in terms of descriptive set theory and is a part of a larger researc… ▽ More We show that all the standard distances from metric geometry and functional analysis, such as Gromov-Hausdorff distance, Banach-Mazur distance, Kadets distance, Lipschitz distance, Net distance, and Hausdorff-Lipschitz distance have all the same complexity and are reducible to each other in a precisely defined way. This is done in terms of descriptive set theory and is a part of a larger research program initiated by the authors in \emph{Complexity of distances: Theory of generalized analytic equivalence relations}. The paper is however targeted also to specialists in metric geometry and geometry of Banach spaces. △ Less

Submitted 26 January, 2021; v1 submitted 21 April, 2020; originally announced April 2020.

Comments: Accepted in Israel Journal of Mathematics. This paper is a result of splitting the original arxiv submission arXiv:1804.11164 into two parts and some polishing. This is the second part. The original submission arXiv:1804.11164 has been replaced by the first part of the split

Journal ref: Israel J. Math., 248 (1) (2022), 383-439

Polish spaces of Banach spaces

Authors: Marek Cúth, Martin Doležal, Michal Doucha, Ondřej Kurka

Abstract: We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to t… ▽ More We present and thoroughly study natural Polish spaces of separable Banach spaces. These spaces are defined as spaces of norms, resp. pseudonorms, on the countable infinite-dimensional rational vector space. We provide an exhaustive comparison of these spaces with admissible topologies recently introduced by Godefroy and Saint-Raymond and show that Borel complexities differ little with respect to these two different topological approaches. We investigate generic properties in these spaces and compare them with those in admissible topologies, confirming the suspicion of Godefroy and Saint-Raymond that they depend on the choice of the admissible topology. △ Less

Submitted 19 April, 2022; v1 submitted 9 December, 2019; originally announced December 2019.

Comments: Based on the referees' comments, the original submission has been split into two parts. The new version is the first part of the split. The second one is arXiv:2204.06834 [math.FA]

Journal ref: Forum Math. Sigma, 10 (2022), Paper No. e26, 28 pp

Embeddability of $\ell_{p}$ and bases in Lipschitz free $p$-spaces for $0<p\leq 1$

Authors: Fernando Albiac, Jose L. Ansorena, Marek Cuth, Michal Doucha

Abstract: Our goal in this paper is to continue the study initiated by the authors in [Lipschitz free $p$-spaces for $0<p<1$; arXiv:1811.01265 [math.FA]] of the geometry of the Lipschitz free $p$-spaces over quasimetric spaces for $0<p\le1$, denoted $\mathcal F_{p}(\mathcal M)$. Here we develop new techniques to show that, by analogy with the case $p=1$, the space $\ell_{p}$ embeds isomorphically in… ▽ More Our goal in this paper is to continue the study initiated by the authors in [Lipschitz free $p$-spaces for $0<p<1$; arXiv:1811.01265 [math.FA]] of the geometry of the Lipschitz free $p$-spaces over quasimetric spaces for $0<p\le1$, denoted $\mathcal F_{p}(\mathcal M)$. Here we develop new techniques to show that, by analogy with the case $p=1$, the space $\ell_{p}$ embeds isomorphically in $\mathcal F_{p}(\mathcal M)$ for $0<p<1$. Going further we see that despite the fact that, unlike the case $p=1$, this embedding need not be complemented in general, complementability of $\ell_{p}$ in a Lipschitz free $p$-space can still be attained by imposing certain natural restrictions to $\mathcal M$. As a by-product of our discussion on basis in $\mathcal F_{p}([0,1])$, we obtain the first-known examples of $p$-Banach spaces for $p<1$ that possess a basis but fail to have an unconditional basis. △ Less

Submitted 29 October, 2019; v1 submitted 17 May, 2019; originally announced May 2019.

MSC Class: 26A16 (Primary) 46A16; 46B15; 46B20; 46B80; 46B85 (Secondary)

Journal ref: J. Funct. Anal., 278 (4) (2020), pp. 108354, 33

Lipschitz free $p$-spaces for $0<p<1$

Authors: Fernando Albiac, Jose L. Ansorena, Marek Cuth, Michal Doucha

Abstract: This paper initiates the study of the structure of a new class of $p$-Banach spaces, $0<p<1$, namely the Lipschitz free $p$-spaces (alternatively called Arens-Eells $p$-spaces) $\mathcal{F}_{p}(\mathcal{M})$ over $p$-metric spaces. We systematically develop the theory and show that some results hold as in the case of $p=1$, while some new interesting phenomena appear in the case $0<p<1$ which have… ▽ More This paper initiates the study of the structure of a new class of $p$-Banach spaces, $0<p<1$, namely the Lipschitz free $p$-spaces (alternatively called Arens-Eells $p$-spaces) $\mathcal{F}_{p}(\mathcal{M})$ over $p$-metric spaces. We systematically develop the theory and show that some results hold as in the case of $p=1$, while some new interesting phenomena appear in the case $0<p<1$ which have no analogue in the classical setting. For the former, we, e.g., show that the Lipschitz free $p$-space over a separable ultrametric space is isomorphic to $\ell_{p}$ for all $0<p\le 1$, or that $\ell_p$ isomorphically embeds into $\mathcal{F}_p(\mathcal{M})$ for any $p$-metric space $\mathcal{M}$. On the other hand, solving a problem by the first author and N. Kalton, there are metric spaces $\mathcal{N}\subset \mathcal{M}$ such that the natural embedding from $\mathcal{F}_p(\mathcal{N})$ to $\mathcal{F}_p(\mathcal{M})$ is not an isometry. △ Less

Submitted 16 May, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

MSC Class: 26A16 (Primary) 46A16; 46B20; 46B80; 46B85 (Secondary)

Journal ref: Israel J. Math., 240 (1) (2020), 65-98

Isomorphisms between spaces of Lipschitz functions

Authors: Leandro Candido, Marek Cúth, Michal Doucha

Abstract: We develop tools for proving isomorphisms of normed spaces of Lipschitz functions over various doubling metric spaces and Banach spaces. In particular, we show that $\operatorname{Lip}_0(\mathbb{Z}^d)\simeq\operatorname{Lip}_0(\mathbb{R}^d)$, for all $d\in\mathbb{N}$. More generally, we e.g. show that $\operatorname{Lip}_0(Γ)\simeq \operatorname{Lip}_0(G)$, where $Γ$ is from a large class of finit… ▽ More We develop tools for proving isomorphisms of normed spaces of Lipschitz functions over various doubling metric spaces and Banach spaces. In particular, we show that $\operatorname{Lip}_0(\mathbb{Z}^d)\simeq\operatorname{Lip}_0(\mathbb{R}^d)$, for all $d\in\mathbb{N}$. More generally, we e.g. show that $\operatorname{Lip}_0(Γ)\simeq \operatorname{Lip}_0(G)$, where $Γ$ is from a large class of finitely generated nilpotent groups and $G$ is its Mal'cev closure; or that $\operatorname{Lip}_0(\ell_p)\simeq\operatorname{Lip}_0(L_p)$, for all $1\leq p<\infty$. We leave a large area for further possible research. △ Less

Submitted 8 February, 2019; v1 submitted 26 September, 2018; originally announced September 2018.

Comments: 28 pages, no figures. Accepted to Journal of Functional Analysis

Journal ref: J. Funct. Anal., 277 (8) (2019), 2697-2727

Complexity of distances: Theory of generalized analytic equivalence relations

Authors: Marek Cúth, Michal Doucha, Ondřej Kurka

Abstract: We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that… ▽ More We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov-Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, and from both below and above. Then we show that $E_1$ is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben-Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov-Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided. △ Less

Submitted 21 April, 2020; v1 submitted 30 April, 2018; originally announced April 2018.

Comments: Based on the feedback we received, we decided to split the original version into two parts. The new version is now the first part of this split

Journal ref: J. Math. Log., 23 (1) (2023), 2250014 (45 pages)

Property (T), finite-dimensional representations, and generic representations

Authors: Michal Doucha, Maciej Malicki, Alain Valette

Abstract: Let $G$ be a discrete group with property (T). It is a standard fact that, in a unitary representation of $G$ on a Hilbert space $\mathcal{H}$, almost invariant vectors are close to invariant vectors, in a quantitative way. We begin by showing that, if a unitary representation has some vector whose coefficient function is close to a coefficient function of some finite-dimensional unitary represent… ▽ More Let $G$ be a discrete group with property (T). It is a standard fact that, in a unitary representation of $G$ on a Hilbert space $\mathcal{H}$, almost invariant vectors are close to invariant vectors, in a quantitative way. We begin by showing that, if a unitary representation has some vector whose coefficient function is close to a coefficient function of some finite-dimensional unitary representation $σ$, then the vector is close to a sub-representation isomorphic to $σ$: this makes quantitative a result of P.S. Wang [Wa]. We use that to give a new proof of a result by D. Kerr, H. Li and M. Pichot [KLP], that a group $G$ with property (T) and such that $C^*(G)$ is residually finite-dimensional, admits a unitary representation which is generic (i.e. the orbit of this representation in $\mathrm{Rep}(G,\mathcal{H})$ under the unitary group $U(\mathcal{H})$ is comeager). We also show that, under the same assumptions, the set of representations equivalent to a Koopman representation is comeager in $\mathrm{Rep}(G,\mathcal{H})$. △ Less

Submitted 13 November, 2017; originally announced November 2017.

Generic representations of countable groups

Authors: Michal Doucha, Maciej Malicki

Abstract: The paper is devoted to a study of generic representations (homomorphisms) of discrete countable groups $Γ$ in Polish groups $G$, i.e. those elements in the Polish space $\mathrm{Rep}(Γ,G)$ of all representations of $Γ$ in $G$, whose orbit under the conjugation action of $G$ on $\mathrm{Rep}(Γ,G)$ is comeager. We investigate a closely related notion of finite approximability of actions on countabl… ▽ More The paper is devoted to a study of generic representations (homomorphisms) of discrete countable groups $Γ$ in Polish groups $G$, i.e. those elements in the Polish space $\mathrm{Rep}(Γ,G)$ of all representations of $Γ$ in $G$, whose orbit under the conjugation action of $G$ on $\mathrm{Rep}(Γ,G)$ is comeager. We investigate a closely related notion of finite approximability of actions on countable structures such as tournaments or $K_n$-free graphs, and we show its connections with Ribes-Zalesski-like properties of the acting groups. We prove that $\mathbb{N}$ has a generic representation in the automorphism group of the random tournament (i.e., there is a comeager conjugacy class in this group). We formulate a Ribes-Zalesskii-like condition on a group that guarantees finite approximability of its actions on tournaments. We also provide a simpler proof of a result of Glasner, Kitroser and Melleray characterizing groups with a generic permutation representation. We also investigate representations of infinite groups $Γ$ in automorphism groups of metric structures such as the isometry group $\mathrm{Iso}(\mathbb{U})$ of the Urysohn space, isometry group $\mathrm{Iso}(\mathbb{U}_1)$ of the Urysohn sphere, or the linear isometry group $\mbox{LIso}(\mathbb{G})$ of the Gurarii space. We show that the conjugation action of $\mathrm{Iso}(\mathbb{U})$ on $\mathrm{Rep}(Γ,\mathrm{Iso}(\mathbb{U}))$ is generically turbulent answering a question of Kechris and Rosendal. △ Less

Submitted 29 June, 2019; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: The main change is Theorem 1.6 which replaces Theorem 1.1 in the previous version. Referee's comments taken into account. Accepted to Transactions of the American Mathematical Society

Universal actions and representations of locally finite groups on metric spaces

Authors: Michal Doucha

Abstract: We construct a universal action of a countable locally finite group (the Hall's group) on a separable metric space by isometries. This single action contains all actions of all countable locally finite groups on all separable metric spaces as subactions. The main ingredient is the amalgamation of actions by isometries. We show that an equivalence class of this universal action is generic. We sho… ▽ More We construct a universal action of a countable locally finite group (the Hall's group) on a separable metric space by isometries. This single action contains all actions of all countable locally finite groups on all separable metric spaces as subactions. The main ingredient is the amalgamation of actions by isometries. We show that an equivalence class of this universal action is generic. We show that the restriction to locally finite groups in our results is necessary as analogous results do not hold for infinite non-locally finite groups. We discuss the problem also for actions by linear isometries on Banach spaces. △ Less

Submitted 2 August, 2018; v1 submitted 30 December, 2016; originally announced December 2016.

Comments: To appear in Israel Journal of Mathematics

Embeddings into monothetic groups

Authors: Michal Doucha

Abstract: We provide a very short elementary proof that every bounded separable metric group embeds into a monothetic bounded metric group, in such a way that the result of Morris and Pestov that every separable abelian topological group embeds into a monothetic group is an immediate corollary. We show that the boundedness assumption is essential. We provide a very short elementary proof that every bounded separable metric group embeds into a monothetic bounded metric group, in such a way that the result of Morris and Pestov that every separable abelian topological group embeds into a monothetic group is an immediate corollary. We show that the boundedness assumption is essential. △ Less

Submitted 1 December, 2016; originally announced December 2016.

Comments: 2 pages

Generic norms and metrics on countable abelian groups

Authors: Michal Doucha

Abstract: For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense set of invariant metrics on $G$ which make $G$ isometric to the rational Urysohn space, and a comeager set of invariant metrics such that the completion is iso… ▽ More For a countable abelian group $G$ we investigate generic properties of the space of all invariant metrics on $G$. We prove that for every such an unbounded group $G$, i.e. group which has elements of arbitrarily high order, there is a dense set of invariant metrics on $G$ which make $G$ isometric to the rational Urysohn space, and a comeager set of invariant metrics such that the completion is isometric to the Urysohn space. This generalizes results of Cameron and Vershik, Niemiec, and the author. Then we prove that for every $G$ such that $G\cong \bigoplus_\mathbb{N} G$ there is a comeager set of invariant metrics on $G$ such that all of them give rise to the same metric group after completion. If moreover $G$ is unbounded, then using a result of Melleray and Tsankov we get that the completion is extremely amenable. △ Less

Submitted 27 February, 2019; v1 submitted 20 May, 2016; originally announced May 2016.

Comments: Final version, to appear in Monatshefte für Mathematik

Metric topological groups: their metric approximation and metric ultraproducts

Authors: Michal Doucha

Abstract: We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every separable topological group with left-invariant metric. In particular, there is a countable sequence of finite groups with left-invariant metric such that ever… ▽ More We define a metric ultraproduct of topological groups with left-invariant metric, and show that there is a countable sequence of finite groups with left-invariant metric whose metric ultraproduct contains isometrically as a subgroup every separable topological group with left-invariant metric. In particular, there is a countable sequence of finite groups with left-invariant metric such that every finite subset of an arbitrary topological group with left-invariant metric may be approximated by all but finitely many of them. We compare our results with related concepts such as sofic groups, hyperlinear groups and weakly sofic groups. △ Less

Submitted 14 June, 2017; v1 submitted 27 January, 2016; originally announced January 2016.

Comments: To appear in Groups, Geometry, and Dynamics

On the structure of Lipschitz-free spaces

Authors: Marek Cuth, Michal Doucha, Przemyslaw Wojtaszczyk

Abstract: In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $\ell_1$. This result has many consequences for the structure of Lipschitz-free Banach spaces. Moreover, we give an example of a countable compact metric space $K$ such that $F(K)$ is not isomorphic to a subspace of $L_1$… ▽ More In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free Banach space over an infinite metric space contains a complemented copy of $\ell_1$. This result has many consequences for the structure of Lipschitz-free Banach spaces. Moreover, we give an example of a countable compact metric space $K$ such that $F(K)$ is not isomorphic to a subspace of $L_1$ and we show that whenever $M$ is a subset of $R^n$, then $F(M)$ is weakly sequentially complete; in particular, $c_0$ does not embed into $F(M)$. △ Less

Submitted 8 February, 2018; v1 submitted 27 May, 2015; originally announced May 2015.

Comments: The only change in the latest version is the grant information of the second named author. Previous version contained a false proof of Theorem 1. This is corrected now. We have also added some remarks and changed Question 1, because we observed that the answer to the previous question is negative due to a result of P. L. Kaufmann. The paper has been accepted in Proc. Amer. Math. Soc

MSC Class: 46B03; 54E35

Journal ref: Proc. Amer. Math. Soc. 144 (2016) 3833-3846

An example of a non-commutative uniform Banach group

Authors: Michal Doucha

Abstract: Benyamini and Lindenstrauss mention in their monograph \emph{Geometric nonlinear functional analysis Vol. 1., American Mathematical Society Colloquium Publications, 48. American Mathematical Society, Providence, RI, 2000} that there is no known example of a non-commutative uniform Banach group. Prassidis and Weston also asked whether there is a non-commutative example. We answer this problem affir… ▽ More Benyamini and Lindenstrauss mention in their monograph \emph{Geometric nonlinear functional analysis Vol. 1., American Mathematical Society Colloquium Publications, 48. American Mathematical Society, Providence, RI, 2000} that there is no known example of a non-commutative uniform Banach group. Prassidis and Weston also asked whether there is a non-commutative example. We answer this problem affirmatively. We construct a non-commutative uniform Banach group which has the free group of countably many generators as a dense subgroup. Moreover, we show that our example is a free one-generated uniform Banach group whose metric induced by the norm is bi-invariant. △ Less

Submitted 15 August, 2015; v1 submitted 22 April, 2015; originally announced April 2015.

Comments: The second version is extended with few new results

Universal and homogeneous structures on the Urysohn and Gurarij spaces

Authors: Michal Doucha

Abstract: Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space, $L$-Lipschitz map to a fixed Polish metric space. The latter lifts to a universal linear operator of norm $L$ on the Lispchitz-free space of the Urysohn space. Moreove… ▽ More Using Fra\" iss\' e theoretic methods we enrich the Urysohn universal space by universal and homogeneous closed relations, retractions, closed subsets of the product of the Urysohn space itself and some fixed compact metric space, $L$-Lipschitz map to a fixed Polish metric space. The latter lifts to a universal linear operator of norm $L$ on the Lispchitz-free space of the Urysohn space. Moreover, we enrich the Gurarij space by a universal and homogeneous closed subspace and norm one projection onto a $1$-complemented subspace. We construct the Gurarij space by the classical Fra\" iss\' e theoretic approach. △ Less

Submitted 8 February, 2018; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: This paper contains new proofs and extends the results of the earlier draft arXiv:1305.0501. In the version 2, some arguments were improved. The third version contains updated information about the author's grant

Lipschitz-free spaces over ultrametric spaces

Authors: Marek Cuth, Michal Doucha

Abstract: We prove that the Lipschitz-free space over a separable ultrametric space has a monotone Schauder basis and is isomorphic to $\ell_1$. This extends results of A. Dalet using an alternative approach. We prove that the Lipschitz-free space over a separable ultrametric space has a monotone Schauder basis and is isomorphic to $\ell_1$. This extends results of A. Dalet using an alternative approach. △ Less

Submitted 8 February, 2018; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: The only change in the latest version is the second author's grant information. Question 1 from the previous version has been answered - see Remark 15 for the solution. Preprint was accepted in Mediterr. J. Math

MSC Class: 46B03; 46B15; 54E35

Journal ref: Mediterr. J. Math., 13 (2016), 1893-1906

Metrical universality for groups

Authors: Michal Doucha

Abstract: We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an object in the category of separable groups with bi-invariant metric analogous in its properties to the Gurarij space from the category of separable Banach spaces. We… ▽ More We prove that for any constant $K>0$ there exists a separable group equipped with a complete bi-invariant metric bounded by $K$, isometric to the Urysohn sphere of diameter $K$, that is of `almost-universal disposition'. It is thus an object in the category of separable groups with bi-invariant metric analogous in its properties to the Gurarij space from the category of separable Banach spaces. We show that this group contains an isometric copy of any separable group equipped with bi-invariant metric bounded by $K$. As a consequence, we get that it is a universal Polish group admitting compatible bi-invariant metric, resp. universal second countable SIN group. Moreover, the almost-universal disposition shows that the automorphism group of this group is rich and it characterizes the group uniquely up to isometric isomorphism. We also show that this group is in a certain sense generic in the class of separable group with bi-invariant metric (bounded by $K$). On the other hand, we prove there is no metrically universal separable group with bi-invariant metric when there is no restriction on diameter. The same is true for separable locally compact groups with bi-invariant metric. Assuming the generalized continuum hypothesis, we prove that there exists a metrically universal (unbounded) group of density $κ$ with bi-invariant metric for any uncountable cardinal $κ$. We moreover deduce that under GCH there is a universal SIN group of weight $κ$ for any infinite cardinal $κ$. △ Less

Submitted 8 February, 2018; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: The only change in the last version is the author's grant information. New section on homogeneity and genericity of the universal group was added. Also, the question section was updated. Some incorrect arguments were fixed. A construction of universal SIN groups of an arbitrary infinite weight, under GCH, was added. Accepted to Forum Math

Metric Scott analysis

Authors: Itai Ben Yaacov, Michal Doucha, Andre Nies, Todor Tsankov

Abstract: We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also derive some descriptive set theoretic consequences: most notably, that isomorphism on a class of separable structures is a Borel equivalence relation iff their S… ▽ More We develop an analogue of the classical Scott analysis for metric structures and infinitary continuous logic. Among our results are the existence of Scott sentences for metric structures and a version of the Lopez-Escobar theorem. We also derive some descriptive set theoretic consequences: most notably, that isomorphism on a class of separable structures is a Borel equivalence relation iff their Scott rank is uniformly bounded below $ω_1$. Finally, we apply our methods to study the Gromov-Hausdorff distance between metric spaces and the Kadets distance between Banach spaces, showing that the set of spaces with distance $0$ to a fixed space is a Borel set. △ Less

Submitted 2 August, 2017; v1 submitted 26 July, 2014; originally announced July 2014.

Comments: This preprint replaces and greatly expands our previous preprint "A Lopez-Escobar theorem for continuous logic" (without Doucha). Please only cite this current version. The previous material is contained in Section 6 in updated form. The paper is submitted as of July 2016. Key words: continuous logic, infinitary logic, Scott rank, Scott sentence, Lopez-Escobar theorem

MSC Class: 03C75; 03E15

Journal ref: Advances in Mathematics 318, 2017, pages 46 - 87

Non-universality of automorphism groups of uncountable ultrahomogeneous structures

Authors: Michal Doucha

Abstract: In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the generalized Urysohn space of density $κ$, for uncountable $κ$ such that $κ^{<κ}=κ$, is not a universal topological group of weight $κ$. We investigate automorphism groups of other uncountable ultrahomogeneous structures and prove that they are rarely universal topological groups for the corresponding classes. Our list of u… ▽ More In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the generalized Urysohn space of density $κ$, for uncountable $κ$ such that $κ^{<κ}=κ$, is not a universal topological group of weight $κ$. We investigate automorphism groups of other uncountable ultrahomogeneous structures and prove that they are rarely universal topological groups for the corresponding classes. Our list of uncountable ultrahomogeneous structures includes random uncountable graph, tournament, linear order, partial order, group. That is in contrast with similar results obtained for automorphism groups of countable (separable) ultrahomogeneous structures. We also provide a more direct and shorter proof of the Mbombo-Pestov's result. △ Less

Submitted 8 February, 2018; v1 submitted 17 July, 2014; originally announced July 2014.

Comments: The only change in the last version is the author's grant information

Non-abelian group structure on the Urysohn space

Authors: Michal Doucha

Abstract: Following the continuing interest in the Urysohn space and, more specifically, the recent problem area of finding and comparing group structures on the Urysohn space we prove that there exists a non-abelian group structure on the Urysohn universal metric space. More precisely, we introduce a variant of the Graev metric that enables us to construct a free group with countably many generators equipp… ▽ More Following the continuing interest in the Urysohn space and, more specifically, the recent problem area of finding and comparing group structures on the Urysohn space we prove that there exists a non-abelian group structure on the Urysohn universal metric space. More precisely, we introduce a variant of the Graev metric that enables us to construct a free group with countably many generators equipped with a two-sided invariant metric that is isometric to the rational Urysohn space. We provide several open questions and problems related to this subject. △ Less

Submitted 8 February, 2018; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: The only change in the last version is the author's grant information. V2:Substantially different version based on the referee's comments

Scott rank of Polish metric spaces

Authors: Michal Doucha

Abstract: Following the work of Friedman, Koerwien, Nies and Schlicht we positively answer their question whether the Scott rank of Polish metric spaces is countable. Following the work of Friedman, Koerwien, Nies and Schlicht we positively answer their question whether the Scott rank of Polish metric spaces is countable. △ Less

Submitted 8 February, 2018; v1 submitted 5 February, 2014; originally announced February 2014.

Comments: The new version contains the author's grant information. Also, refer to: Erratum to: Scott rank of Polish metric spaces, Volume 168, Issue 7, July 2017, Pages 1490

Metrically universal abelian groups

Authors: Michal Doucha

Abstract: We give a positive answer to the question of Shkarin (\emph{On universal abelian topological groups}, Mat. Sb. 190 (1999), no. 7, 127-144) whether there exists a metrically universal abelian separable group equipped with invariant metric. Our construction also gives an example of a group structure on the Urysohn universal space that is substantially different from the previously known examples.… ▽ More We give a positive answer to the question of Shkarin (\emph{On universal abelian topological groups}, Mat. Sb. 190 (1999), no. 7, 127-144) whether there exists a metrically universal abelian separable group equipped with invariant metric. Our construction also gives an example of a group structure on the Urysohn universal space that is substantially different from the previously known examples. Under some cardinal arithmetic assumptions, our results generalize to higher cardinalities. △ Less

Submitted 8 February, 2018; v1 submitted 30 December, 2013; originally announced December 2013.

Comments: The last version's only change is the author's grant information. The new version contains simplified proofs and other changes based on the referee's comments

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 5981--5998

Universal and ultrahomogeneous abelian Polish metric group

Authors: Michal Doucha

Abstract: We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered by Shkarin. We then construct universal and ultrahomogeneous abelian periodic metric groups with bounded exponents; it follows that these groups are also unive… ▽ More We use Fra\" iss\' e theoretic methods to construct a universal and ultrahomogeneous abelian separable metric group. We show that such a group is a universal abelian Polish group, thus we provide another proof of a result already discovered by Shkarin. We then construct universal and ultrahomogeneous abelian periodic metric groups with bounded exponents; it follows that these groups are also universal objects for the corresponding classes of abelian Polish groups. △ Less

Submitted 16 October, 2013; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: I found out that the results of this paper had been already proved in the paper: P. Niemiec, Universal valued Abelian groups, Adv. Math. 235(2013),398--449. Therefore I decided to withdraw the article

Universal and ultrahomogeneous Polish metric structures

Authors: Michal Doucha

Abstract: We use Fra\" issé theoretic methods to construct several universal and ultrahomogeneous Polish metric structures. Namely, universal and ultrahomogeneous Polish metric space equipped with countably many closed subsets of its powers, universal and ultrahomogeneous Polish metric space equipped with a closed subset of the product of itself and some fixed compact metric space, and universal and ultraho… ▽ More We use Fra\" issé theoretic methods to construct several universal and ultrahomogeneous Polish metric structures. Namely, universal and ultrahomogeneous Polish metric space equipped with countably many closed subsets of its powers, universal and ultrahomogeneous Polish metric space equipped with a closed subset of the product of itself and some fixed compact metric space, and universal and ultrahomogeneous Polish metric space equipped with an L-Lipschitz function, for an arbitrary positive L, to some fixed Polish metric space. These results are direct generalization of the classical result of P. Urysohn. Possible applications are discussed. △ Less

Submitted 2 May, 2013; originally announced May 2013.

Canonization of analytic equivalences on the Carlson-Simpson forcing

Authors: Michal Doucha

Abstract: We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with partitions without free blocks: instead of dealing with finite Borel (resp. Baire-property) colorings we deal with (uncountable) colorings such that the corresponding equivalence relation (two partitions are equivalent if… ▽ More We prove a canonization result for the Carlson-Simpson forcing in the spirit of \cite{KSZ}. We generalize the weak form of the Carlson-Simpson theorem (\cite{CaSi}) dealing with partitions without free blocks: instead of dealing with finite Borel (resp. Baire-property) colorings we deal with (uncountable) colorings such that the corresponding equivalence relation (two partitions are equivalent if they are colored by the same color) is analytic. △ Less

Submitted 10 April, 2013; originally announced April 2013.

$F_σ$ equivalence relations and Laver forcing

Authors: Michal Doucha

Abstract: Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation on $2^ω$ given by some $F_σ$ $P$-ideal on $ω$ can be canonized to the full equivalence relation or to the identity relation. This has several corollaries, e.… ▽ More Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation on $2^ω$ given by some $F_σ$ $P$-ideal on $ω$ can be canonized to the full equivalence relation or to the identity relation. This has several corollaries, e.g. Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by $F_σ$ $P$-ideals. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Base Tree Property

Authors: Bohuslav Balcar, Michal Doucha, Michael Hrušák

Abstract: Building on previous work of [BPS] we investigate $σ$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $σ$-closed partial order of size continuum has a base tree and that (2) $σ$-closed forcing notions of density $\mathfrak c$ correspond exactly to regular suborders of the collapsing algebra… ▽ More Building on previous work of [BPS] we investigate $σ$-closed partial orders of size continuum. We provide both an internal and external characterization of such partial orders by showing that (1) every $σ$-closed partial order of size continuum has a base tree and that (2) $σ$-closed forcing notions of density $\mathfrak c$ correspond exactly to regular suborders of the collapsing algebra $Coll(ω_1, 2^ω)$. We further study some naturally ocurring examples of such partial orders. △ Less

Submitted 3 March, 2013; v1 submitted 14 November, 2012; originally announced November 2012.