Researcher profile

Colin Petitjean

Colin Petitjean contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
2topics
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

5 published item(s)

preprint2021arXiv

On Kalton's interlaced graphs and nonlinear embeddings into dual Banach spaces

We study the nonlinear embeddability of Banach spaces and the equi-embeddability of the family of Kalton's interlaced graphs $([\mathbb N]^k,d_{\mathbb K})_k$ into dual spaces. Notably, we define and study a modification of Kalton's property $\mathcal Q$ that we call property $\mathcal{Q}_p$ (with $p \in (1,+\infty]$). We show that if $([\mathbb N]^k,d_{\mathbb K})_k$ equi-coarse Lipschitzly embeds into $X^*$, then the Szlenk index of $X$ is greater than $ω$, and that this is optimal, i.e., there exists a separable dual space $Y^*$ that contains $([\mathbb N]^k,d_{\mathbb K})_k$ equi-Lipschitzly and so that $Y$ has Szlenk index $ω^2$. We prove that $c_0$ does not coarse Lipschitzly embed into a separable dual space by a map with distortion strictly smaller than $\frac{3}{2}$. We also show that neither $c_0$ nor $L_1$ coarsely embeds into a separable dual by a weak-to-weak$^*$ sequentially continuous map.

preprint2021arXiv

Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions

We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to answer several questions in Lipschitz analysis. Notably, it follows that the Lipschitz-free space $\mathcal{F}(M)$ over a compact metric space $M$ is a dual space if and only if $M$ is purely 1-unrectifiable. Furthermore, we establish a compact determinacy principle for the Radon-Nikodým property (RNP) and deduce that, for any complete metric space $M$, pure 1-unrectifiability is actually equivalent to some well-known Banach space properties of $\mathcal{F}(M)$ such as the RNP and the Schur property. A direct consequence is that any complete, purely 1-unrectifiable metric space isometrically embeds into a Banach space with the RNP. Finally, we provide a possible solution to a problem of Whitney by finding a rectifiability-based description of 1-critical compact metric spaces, and we use this description to prove the following: a bounded turning tree fails to be 1-critical if and only if each of its subarcs has $σ$-finite Hausdorff 1-measure.

preprint2020arXiv

Supports in Lipschitz-free spaces and applications to extremal structure

We show that the class of Lipschitz-free spaces over closed subsets of any complete metric space $M$ is closed under arbitrary intersections, improving upon the previously known finite-diameter case. This allows us to formulate a general and natural definition of supports for elements in a Lipschitz-free space $\mathcal F(M)$. We then use this concept to study the extremal structure of $\mathcal F(M)$. We prove in particular that $(δ(x) - δ(y))/d(x,y)$ is an exposed point of the unit ball of $\mathcal F(M)$ whenever the metric segment $[x,y]$ is trivial, and that any extreme point which can be expressed as a finitely supported perturbation of a positive element must be finitely supported itself. We also characterise the extreme points of the positive unit ball: they are precisely the normalized evaluation functionals on points of $M$.

preprint2019arXiv

Embeddings of Lipschitz-free spaces into $\ell_1$

We show that, for a separable and complete metric space $M$, the Lipschitz-free space $\mathcal F(M)$ embeds linearly and almost-isometrically into $\ell_1$ if and only if $M$ is a subset of an $\mathbb R$-tree with length measure 0. Moreover, it embeds isometrically if and only if the length measure of the closure of the set of branching points of $M$ (taken in any minimal $\mathbb R$-tree that contains $M$) is negligible. We also prove that, for any subset $M$ of an $\mathbb R$-tree, every extreme point of the unit ball of $\mathcal F(M)$ is an element of the form $(δ(x)-δ(y))/d(x,y)$ for $x\neq y\in M$.

preprint2018arXiv

On the coarse geometry of James spaces

In this note we prove that the Kalton interlaced graphs do not equi-coarsely embed into the James space $\mathcal J$ nor into its dual $\mathcal J^*$. It is a particular case of a more general result on the non equi-coarse embeddability of the Kalton graphs into quasi-reflexive spaces with a special asymptotic stucture. This allows us to exhibit a coarse invariant for Banach spaces, namely the non equi-coarse embeddability of this family of graphs, which is very close to but different from the celebrated property $\mathcal Q$ of Kalton. We conclude with a remark on the coarse geometry of the James tree space $\mathcal J \mathcal T$ and of its predual.