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

Ramón J. Aliaga

Ramón J. Aliaga contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.FAmath.MG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
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

9 published item(s)

preprint2026arXiv

Lipschitz extension and Lipschitz-free spaces over nets in normed spaces

We consider subsets $S$ of a metric space $M$ such that Lipschitz mappings defined on $S$ can be extended to Lipschitz mappings on $M$, and we show that the union of such subsets has the same property under appropriate geometric conditions. We then derive several consequences to the isomorphic structure and classification of Lipschitz and Lipschitz-free spaces. Our main result is that the Lipschitz-free space $\mathcal{F}(M)$ is isomorphic to its countable $\ell_1$-sum when $M$ is either a net $N_X$ in any Banach space $X$ or the integer grid $\mathbb{Z}_{\ell_1}$ in $\ell_1$. We also prove that the Lipschitz space $\mathrm{Lip}_0(\mathbb{Z}_{\ell_1})$ is isomorphic to $\mathrm{Lip}_0(\ell_1)$ and that $\mathrm{Lip}_0(N_X)$ contains a complemented copy of $\mathrm{Lip}_0(X)$, among other results. This answers questions raised by Albiac, Ansorena, Cúth and Doucha and Candido, Cúth and Doucha, respectively, and extends previous results by the same authors as well as Hájek and Novotný.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Extreme points in Lipschitz-free spaces over compact metric spaces

We prove that all extreme points of the unit ball of a Lipschitz-free space over a compact metric space have finite support. Combined with previous results, this completely characterizes extreme points and implies that all of them are also extreme points in the bidual ball. For the proof, we develop some properties of an integral representation of functionals on Lipschitz spaces originally due to K. de Leeuw.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Integral representation and supports of functionals on Lipschitz spaces

We analyze the relationship between Borel measures and continuous linear functionals on the space $\mathrm{Lip}_0(M)$ of Lipschitz functions on a complete metric space $M$. In particular, we describe continuous functionals arising from measures and vice versa. In the case of weak$^\ast$ continuous functionals, i.e. members of the Lipschitz-free space $\mathcal{F}(M)$, measures on $M$ are considered. For the general case, we show that the appropriate setting is rather the uniform (or Samuel) compactification of $M$ and that it is consistent with the treatment of $\mathcal{F}(M)$. This setting also allows us to give a definition of support for all elements of $\mathrm{Lip}_0(M)^\ast$ with similar properties to those in $\mathcal{F}(M)$, and we show that it coincides with the support of the representing measure when such a measure exists. We deduce that the members of $\mathrm{Lip}_0(M)^\ast$ that can be expressed as the difference of two positive functionals admit a Jordan-like decomposition into a positive and a negative part.

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

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Points of differentiability of the norm in Lipschitz-free spaces

We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show that Gâteaux and Fréchet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with Gâteaux (resp. Fréchet) differentiable elements of a Banach space are Gâteaux (resp. Fréchet) differentiable in the corresponding projective tensor product.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Supports and extreme points in Lipschitz-free spaces

For a complete metric space $M$, we prove that the finitely supported extreme points of the unit ball of the Lipschitz-free space $\mathcal{F}(M)$ are precisely the elementary molecules $(δ(p)-δ(q))/d(p,q)$ defined by pairs of points $p,q$ in $M$ such that the triangle inequality $d(p,q)<d(p,r)+d(q,r)$ is strict for any $r\in M$ different from $p$ and $q$. To this end, we show that the class of Lipschitz-free spaces over closed subsets of $M$ is closed under arbitrary intersections when $M$ has finite diameter, and that this allows a natural definition of the support of elements of $\mathcal{F}(M)$.

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

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

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

On the preserved extremal structure of Lipschitz-free spaces

We characterize preserved extreme points of Lipschitz-free spaces $\mathcal{F}(X)$ in terms of simple geometric conditions on the underlying metric space $(X,d)$. Namely, each preserved extreme point corresponds to a pair of points $p,q$ in $X$ such that the triangle inequality $d(p,q)\leq d(p,r)+d(q,r)$ is uniformly strict for $r$ away from $p,q$. For compact $X$, this condition reduces to the triangle inequality being strict. This result gives an affirmative answer to a conjecture of N. Weaver that compact spaces are concave if and only if they have no triple of metrically aligned points.

0 citations0 reviewsNo code linkedOpen access