Source author record

Michal Doucha

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 math.GR math.CO math.MG

Catalog footprint

Research overview

12works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Polish spaces of Banach spaces

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.

preprint2022arXiv

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

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.

preprint2021arXiv

Approximation properties in Lipschitz-free spaces over groups

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.

preprint2021arXiv

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

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.

preprint2020arXiv

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$

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$ .

preprint2016arXiv

Embeddings into monothetic groups

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.

preprint2015arXiv

An example of a non-commutative uniform Banach group

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.

preprint2013arXiv

Base Tree Property

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.

preprint2013arXiv

Canonization of analytic equivalences on the Carlson-Simpson forcing

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.

preprint2013arXiv

Universal and ultrahomogeneous abelian Polish metric group

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.

preprint2013arXiv

Universal and ultrahomogeneous Polish metric structures

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.

preprint2012arXiv

$F_σ$ equivalence relations and Laver forcing

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.

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.

Michal Doucha

Research overview

Is this your work?

12 publications

Polish spaces of Banach spaces

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

Approximation properties in Lipschitz-free spaces over groups

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

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$

Embeddings into monothetic groups

An example of a non-commutative uniform Banach group

Base Tree Property

Canonization of analytic equivalences on the Carlson-Simpson forcing

Universal and ultrahomogeneous abelian Polish metric group

Universal and ultrahomogeneous Polish metric structures

$F_σ$ equivalence relations and Laver forcing

See the researcher in context

Building this map preview

Michal Doucha

Research overview

Is this your work?

12 publications

Polish spaces of Banach spaces

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

Approximation properties in Lipschitz-free spaces over groups

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

Structure of the Lipschitz free ppp-spaces Fp(Zd)\mathcal{F}_p(\mathbb{Z}^d)Fp​(Zd) and Fp(Rd)\mathcal{F}_p(\mathbb{R}^d)Fp​(Rd) for 0<p≤10<p\le 10<p≤1

Embeddings into monothetic groups

An example of a non-commutative uniform Banach group

Base Tree Property

Canonization of analytic equivalences on the Carlson-Simpson forcing

Universal and ultrahomogeneous abelian Polish metric group

Universal and ultrahomogeneous Polish metric structures

FσF_σFσ​ equivalence relations and Laver forcing

See the researcher in context

Building this map preview

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$

$F_σ$ equivalence relations and Laver forcing