BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Michal Doucha

Michal Doucha contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.FAmath.COmath.MGmath.GNmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

10 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Universal and ultrahomogeneous abelian Polish metric group

We use Fra\&#34; iss\&#39; 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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Universal and ultrahomogeneous Polish metric structures

We use Fra\&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access