arXiv subjects

Elefterios Soultanis

Publications and source records attributed to Elefterios Soultanis.

At least 19 recordsLinked to original sources

arXiv2026

Embeddability and rectifiability of Lipschitz differentiability spaces

We prove that Lipschitz differentiability spaces which bi-Lipschitz embed into an RNP-space are countably rectifiable. In contrast to earlier methods of Cheeger and Kleiner, our approach does not rely on differentiating RNP-targets, and uses instead decomposability bundles and a careful blow-up analysis. We also present decomposability bundles in a way which avoids the mention of Alberti representations and generalizes the approach of Alberti--Marchese to measures in RNP-spaces. We moreover study fragment-wise differentiability into RNP-targets, give a new ${\rm Lip}-{\rm lip}$-type characterization of RNP-differentiability spaces, and address a question of Le Donne asking for a characterization of spaces $(X,μ)\subset\ell^2$ whose Gromov--Hausdorff tangents are Hausdorff limits of $r^{-1} (X-x)$ in $\ell^2$ as $r\to 0$.

math.MG↗

arXiv2026

Limits of mapping packages and Preiss's phenomenon

We show the existence of ultralimits of sequences of Hajlasz-Sobolev maps $f_i:X_i\to Y_i$ when $X_i$ converges to a limit space in the pointed measured Gromov (pmG) sense, partially extending recent results in [T. Ikonen and S. Wenger, (2026), arXiv:2603.05246]. We moreover demonstrate that the graphs $G(f_i)$ of the mappings pmG-converge to the graph of the ultralimit in a suitable sense. The latter fact stems from a suitable Arzela-Ascoli theorem in the context of pmG-convergence. As an application, we establish a version of Preiss's phenomenon for mapping packages $f:(X,μ)\to V$ into arbitrary Banach spaces. Besides extending it to maps into infinite dimensional targets, our result generalizes existing versions of Preiss's phenomenon [G. C. David, Geom. Funct. Anal., 25 (2015)], [N. Gigli, A. Mondino, and T. Rajala, J. Reine Angew. Math., 705 (2015)] by establishing it for pointed measured Gromov-Hausdorff tangents without a doubling assumption.

math.MG↗

arXiv2026

Pull-back of differential forms by multi-valued Sobolev maps, and the quasiregularity of the multi-valued inverse of a quasiregular map

We use Almgren's framework of multi-valued maps to construct a multi-valued inverse $F:f(Ω)\to \mathcal A_d(\mathbb R^n)$ of a quasiregular map $f:Ω\to \mathbb R^n$ of finite degree $d$. We then develop a pull-back theory of differential forms on $\mathcal A_d(\mathbb R^n)$ by Sobolev maps, and use it to show that the multi-valued inverse is a quasiregular $ω$-curve (in the sense of Pankka) with respect to a natural $n$-form $ω$ (suitably interpreted). The pull-back theory is of independent interest, and allows us to conclude e.g. higher Sobolev integrability and quasiminimality of the multi-valued inverse.

math.DG↗

arXiv2025

Characterization of metric spaces with a metric fundamental class

We consider three conditions on metric manifolds with finite volume: (1) the existence of a metric fundamental class, (2) local index bounds for Lipschitz maps, and (3) Gromov--Hausdorff approximation with volume control by bi-Lipschitz manifolds. Condition (1) is known for metric manifolds satisfying the LLC condition by work of Basso--Marti--Wenger, while (3) is known for metric surfaces by work of Ntalampekos--Romney. We prove that for metric manifolds with finite Nagata dimension, all three conditions are equivalent and that without assuming finite Nagata dimension, (1) implies (2) and (3) implies (1). As a corollary we obtain a generalization of the approximation result of Ntalampekos--Romney to metric manifolds of dimension $n\ge 2$, which have the LLC property and finite Nagata dimension.

math.MG↗

arXiv2025

Spaces with Riemannian curvature bounds are universally infinitesimally Hilbertian

We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,μ)$ is a Hilbert space for every measure $μ$). This connects the infinitesimal geometry of $X$ to its analytic properties and is, to our knowledge, the first general criterion guaranteeing universal infinitesimal Hilbertianity. Using it we establish universal infinitesimal Hilbertianity of finite dimensional RCD-spaces. We moreover show that (possibly infinite dimensional) Alexandrov spaces are universally infinitesimally Hilbertian and construct an isometric embedding of tangent modules.

math.MG↗

arXiv2025

Hilbert space factor of metric spaces

We prove that any complete metric space has a unique decomposition as a direct product of a possibly finite or zero-dimensional Hilbert space and a space that does not split off lines.

math.DG↗

arXiv2024

Connections between metric differentiability and rectifiability

We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some element in $\mathcal C$, and if every Lipschitz map $X\to Y\in \mathcal C$ is differentiable, then $X$ is rectifiable. This gives a simple proof of the rectifiability of Lipschitz differentiability spaces that are bi-Lipschitz embeddable in Euclidean space, due to Kell--Mondino. Our principle also implies a converse to Kirchheim's theorem: if all Lipschitz maps from a domain space to arbitrary targets are metrically differentiable, the domain is rectifiable. We moreover establish the compatibility of metric and w$^*$-differentials of maps from metric spaces in the spirit of Ambrosio--Kirchheim.

math.MG↗

arXiv2024

A non-compact convex hull in generalized non-positive curvature

In this article, we are interested in metric spaces that satisfy a weak non-positive curvature condition in the sense that they admit a conical geodesic bicombing. We show that the analog of a question of Gromov about compactness properties of convex hulls has a negative answer in this setting. Specifically, we prove that there exists a complete metric space $X$ that admits a conical bicombing $σ$ such that $X$ has a finite subset whose closed $σ$-convex hull is not compact.

math.MG↗

arXiv2024

Fragment-wise differentiable structures

The $p$-modulus of curves, test plans, upper gradients, charts, differentials, approximations in energy and density of directions are all concepts associated to the theory of Sobolev functions in metric measure spaces. The purpose of this paper is to give an analogous geometric and ``fragment-wise'' theory for Lipschitz functions and Weaver derivations, where $\infty$-modulus of curve fragments, $\ast$-upper gradients and Alberti representations play a central role. We give a new definition of fragment-wise charts and prove that they exists for spaces with finite Hausdorff dimension. We give a replacement for $p$-duality in terms of Alberti representations and $\infty$-modulus and present the theory of $\ast$-upper gradients. Further, we give new and sharper results for approximations of Lipschitz functions, which yields the density of directions. Our results are applicable to all complete and separable metric measure spaces. In the process, we show that there are strong parallels between the Sobolev and Lipschitz worlds.

math.CA↗

arXiv2023

Generalized products and Lorentzian length spaces

We construct a Lorentzian length space with an orthogonal splitting on a product $I\times X$ of an interval and a metric space, and use this framework to consider the relationship between metric and causal geometry, as well as synthetic time-like Ricci curvature bounds. The generalized Lorentzian product naturally has a Lorentzian length structure but can fail the push-up condition in general. We recover the push-up property under a log-Lipschitz condition on the time variable and establish sufficient conditions for global hyperbolicity. Moreover we formulate time-like Ricci curvature bounds without push-up and regularity assumptions, and obtain a partial rigidity of the splitting under a strong energy condition.

math.DG↗

arXiv2023

Asymptotically mean value harmonic functions in doubling metric measure spaces

We consider functions with an asymptotic mean value property, known to characterize harmonicity in Riemannian manifolds, in doubling metric measure spaces. We show that the strongly amv-harmonic functions are Hölder continuous for any exponent below one. More generally, we define the class of functions with finite amv-norm and show that functions in this class belong to a fractional Hajlasz-Sobolev space and their blow-ups satisfy the mean-value property. Furthermore, in the weighted Euclidean setting we find an elliptic PDE satisfied by amv-harmonic functions.

math.AP↗

arXiv2023

Asymptotically mean value harmonic functions in sub-Riemannian and RCD settings

We consider weakly and strongly asymptotically mean value harmonic (amv-harmonic) functions on subriemannian and RCD settings. We demonstrate that, in non-collapsed RCD-spaces with vanishing metric measure boundary, Cheeger harmonic functions are weakly amv-harmonic and that, in Carnot groups, weak amv-harmonicity equivalently characterizes harmonicity in the sense of the sub-Laplacian. In homogeneous Carnot groups of step $2$, we prove a Blaschke-Privaloff-Zaremba type theorem. Similar results are discussed in the settings of Riemannian manifolds and for Alexandrov surfaces.

math.DG↗

arXiv2022

Filling minimality and Lipschitz-volume rigidity of convex bodies among integral current spaces

In this paper we consider metric fillings of convex bodies. We show that convex bodies $C\subset \mathbb{R}^n$ are the unique minimal fillings of their boundary metrics among all integral current spaces. To this end, we also prove that convex bodies enjoy the Lipschitz-volume rigidity property within the category of integral current spaces, which is well known in the smooth category. As a further application of this result, we answer a question of Perales concerning the intrinsic flat convergence of minimizing sequences for the Plateau problem.

math.DG↗

arXiv2022

Tensorization of quasi-Hilbertian Sobolev spaces

The tensorization problem for Sobolev spaces asks for a characterization of how the Sobolev space on a product metric measure space $X\times Y$ can be determined from its factors. We show that two natural descriptions of the Sobolev space from the literature coincide, $W^{1,2}(X\times Y)=J^{1,2}(X,Y)$, thus settling the tensorization problem for Sobolev spaces in the case $p=2$, when $X$ and $Y$ are infinitesimally quasi-Hilbertian, i.e. the Sobolev space $W^{1,2}$ admits an equivalent renorming by a Dirichlet form. This class includes in particular metric measure spaces $X,Y$ of finite Hausdorff dimension as well as infinitesimally Hilbertian spaces. More generally for $p\in (1,\infty)$ we obtain the norm-one inclusion $\|f\|_{J^{1,p}(X,Y)}\le \|f\|_{W^{1,p}(X\times Y)}$ and show that the norms agree on the algebraic tensor product $W^{1,p}(X)\otimes W^{1,p}(Y)\subset W^{1,p}(X\times Y)$. When $p=2$ and $X$ and $Y$ are infinitesimally quasi-Hilbertian, standard Dirichlet form theory yields the density of $W^{1,2}(X)\otimes W^{1,2}(Y)$ in $J^{1,2}(X,Y)$ thus implying the equality of the spaces. Our approach raises the question of the density of $W^{1,p}(X)\otimes W^{1,p}(Y)$ in $J^{1,p}(X,Y)$ in the general case.

math.FA↗

arXiv2022

Causal bubbles in globally hyperbolic spacetimes

We give an example of a spacetime with a continuous metric which is globally hyperbolic and exhibits causal bubbling. The metric moreover splits orthogonally into a timelike and a spacelike part. We discuss our example in the context of energy conditions and the recently introduced synthetic timelike curvature-dimension (TCD) condition. In particular we observe that the TCD-condition does not, by itself, prevent causal bubbling.

gr-qc↗

arXiv2022

Tensorization of $p$-weak differentiable structures

We consider $p$-weak differentiable structures that were recently introduced by the first and last named authors, and prove that the product of $p$-weak charts is a $p$-weak chart. This implies that the product of two spaces with a $p$-weak differentiable structure also admits a $p$-weak differentiable structure. We make partial progress on the tensorization problem of Sobolev spaces by showing an isometric embedding result. Further, we establish tensorization when one of the factors is PI.

math.DG↗

arXiv2021

Abstract and concrete tangent modules on Lipschitz differentiability spaces

We construct an isometric embedding from Gigli's abstract tangent module into the concrete tangent module of a space admitting a (weak) Lipschitz differentiable structure, and give two equivalent conditions which characterize when the embedding is an isomorphism. Together with arguments from a recent article by Bate--Kangasniemi--Orponen, this equivalence is used to show that the ${\rm Lip}-{\rm lip}$ -type condition ${\rm lip} f\le C|Df|$ implies the existence of a Lipschitz differentiable structure, and moreover self-improves to ${\rm lip} f =|Df|$. We also provide a direct proof of a result by Gigli and the second author that, for a space with a strongly rectifiable decomposition, Gigli's tangent module admits an isometric embedding into the so-called Gromov--Hausdorff tangent module, without any a priori reflexivity assumptions.

math.MG↗

arXiv2021

Curvewise characterizations of minimal upper gradients and the construction of a Sobolev differential

We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As an application we introduce the notion of $p$-weak charts and prove that every Newtonian function admits a differential with respect to such charts, yielding a linear approximation along $p$-almost every curve. The differential can be computed curvewise, is linear, and satisfies the usual Leibniz and chain rules. The arising $p$-weak differentiable structure exists for spaces with finite Hausdorff dimension and agrees with Cheeger's structure in the presence of a Poincaré inequality. It is moreover compatible with, and gives a geometric interpretation of, Gigli's abstract differentiable structure, whenever it exists. The $p$-weak charts give rise to a finite dimensional $p$-weak cotangent bundle and pointwise norm, which recovers the minimal upper gradient of Newtonian functions and can be computed by a maximization process over generic curves. As a result we obtain new proofs of reflexivity and density of Lipschitz functions in Newtonian spaces, as well as a characterization of infinitesimal Hilbertianity in terms of the pointwise norm.

math.MG↗