Searcharxiv⌕ Search

arXiv subjects

Chiara Rigoni

Publications and source records attributed to Chiara Rigoni.

13 recordsLinked to original sources
arXiv2025

Hausdorff dimension and failure of synthetic curvature bounds in the sub-Lorentzian Heisenberg group

We study the geodesics, Hausdorff dimension, and curvature bounds of the sub-Lorentzian Heisenberg group. Through an elementary variational approach, we provide a new proof of the structure of its maximizing geodesics, showing that they are lifts of hyperbolae coming from a Lorentzian isoperimetric problem in the Minkowski plane. We prove that the Lorentzian Hausdorff dimension of the space is $4$ and that the corresponding measure coincides with the Haar measure. We further establish a novel result in the spirit of the Ball-Box theorem, giving a uniform estimate of causal diamonds by anisotropic boxes. Finally, we show that the Heisenberg group satisfies neither the timelike curvature-dimension condition $\mathsf{TCD}(K,N)$ nor the timelike measure contraction property $\mathsf{TMCP}(K,N)$ for any values of the parameters $K$ and $N$, in sharp contrast with its sub-Riemannian counterpart.

math.DG↗
arXiv2024

Gradient flows of $(K,N)$-convex functions with negative $N$

We discuss $(K,N)$-convexity and gradient flows for $(K,N)$-convex functionals on metric spaces, in the case of real $K$ and negative $N$. In this generality, it is necessary to consider functionals unbounded from below and/or above, possibly attaining as values both the positive and the negative infinity. We prove several properties of gradient flows of $(K,N)$-convex functionals characterized by Evolution Variational Inequalities, including contractivity, regularity, and uniqueness.

math.FA↗
arXiv2024

Gromov-Hausdorff stability of tori under Ricci and integral scalar curvature bounds

We establish a nonlinear analogue of a splitting map into a Euclidean space, as a harmonic map into a flat torus. We prove that the existence of such a map implies Gromov-Hausdorff closeness to a flat torus in any dimension. Furthermore, Gromov-Hausdorff closeness to a flat torus and an integral bound {on $r_M(x)$, the smallest eigenvalue of the Ricci tensor $\text{ric}_x$ in $x$}, imply the existence of a harmonic splitting map. Combining these results with Stern's inequality, we provide a new Gromov-Hausdorff stability theorem for flat $3$-tori. The main tools we employ include the harmonic map heat flow, Ricci flow, and both Ricci limits and RCD theories.

math.DG↗
arXiv2024

A description based on optimal transport for a class of stochastic McKean-Vlasov control problems

We study the convergence of an $N$-particle Markovian controlled system to the solution of a family of stochastic McKean-Vlasov control problems, either with a finite horizon or Schrödinger type cost functional. Specifically, under suitable assumptions, we prove the convergence of the value functions, the fixed-time probability distributions, and the relative entropy of their path-space probability laws. These proofs are based on a Benamou-Brenier type reformulation of the problem and a superposition principle, both of which are tools from the theory of optimal transport.

math.PR↗
arXiv2022

A canonical infinitesimally Hilbertian structure on locally Minkowski spaces

The aim of this paper is to show the existence of a canonical distance $\mathsf d'$ defined on a locally Minkowski metric measure space $(\mathsf X,\mathsf d,\mathfrak m)$ such that: i) $\mathsf d'$ is equivalent to $\mathsf d$, ii) $(\mathsf X, \mathsf d', \mathfrak m)$ is infinitesimally Hilbertian. This new regularity assumption on $(\mathsf X, \mathsf d,\mathfrak m)$ essentially forces the structure to be locally similar to a Minkowski space and defines a class of metric measure structures which includes all the Finsler manifolds, and it is actually strictly larger. The required distance $\mathsf d'$ will be the intrinsic distance $\mathsf d_\mathsf{KS}$ associated to the so-called Korevaar-Schoen energy, which is proven to be a quadratic form. In particular, we show that the Cheeger energy associated to the metric measure space $(\mathsf X, \mathsf d_\mathsf{KS}, \mathfrak m)$ is in fact the Korevaar-Schoen energy.

math.MG↗
arXiv2021

Heat kernel bounds and Ricci curvature for Lipschitz manifolds

Given any $d$-dimensional Lipschitz Riemannian manifold $(M,g)$ with heat kernel $\mathsf{p}$, we establish uniform upper bounds on $\mathsf{p}$ which can always be decoupled in space and time. More precisely, we prove the existence of a constant $C>0$ and a bounded Lipschitz function $R\colon M \to (0,\infty)$ such that for every $x\in M$ and every $t>0$, \begin{align*} \sup_{y\in M} \mathsf{p}(t,x,y) \leq C\min\{t, R^2(x)\}^{-d/2}. \end{align*} This allows us to identify suitable weighted Lebesgue spaces w.r.t. the given volume measure as subsets of the Kato class induced by $(M,g)$. In the case $\partial M \neq \emptyset$, we also provide an analogous inclusion for Lebesgue spaces w.r.t. the surface measure on $\partial M$. We use these insights to give sufficient conditions for a possibly noncomplete Lipschitz Riemannian manifold to be tamed, i.e. to admit a measure-valued lower bound on the Ricci curvature, formulated in a synthetic sense.

math.DG↗
arXiv2021

Convergence of metric measure spaces satisfying the CD condition for negative values of the dimension parameter

We study the problem of whether the curvature-dimension condition with negative values of the generalized dimension parameter is stable under a suitable notion of convergence. To this purpose, first of all we introduce an appropriate setting to introduce the CD(K, N)-condition for $N < 0$, allowing metric measure structures in which the reference measure is quasi-Radon. Then in this class of spaces we introduce the distance $d_{\mathsf{iKRW}}$, which extends the already existing notions of distance between metric measure spaces. Finally, we prove that if a sequence of metric measure spaces satisfying the CD(K, N)-condition with $N < 0$ is converging with respect to the distance $d_{\mathsf{iKRW}}$ to some metric measure space, then this limit structure is still a CD(K, N) space.

math.MG↗
arXiv2020

Partial derivatives in the nonsmooth setting

We study partial derivatives on the product of two metric measure structures, in particular in connection with calculus via modules as proposed by the first named author. Our main results are 1) The extension to this non-smooth framework of Schwarz's theorem about symmetry of mixed second derivatives, 2) a quite complete set of results relating the property $f\in W^{2,2}(\X\times\Y)$ on one side with that of $f(\cdot,y)\in W^{2,2}(\X)$ and $f(x,\cdot)\in W^{2,2}(\Y)$ for a.e.\ $y,x$ respectively on the other. Here $\X,\Y$ are $\RCD$ spaces so that second order Sobolev spaces are well defined. \end{itemize} These results are in turn based upon the study of Sobolev regularity, and of the underlying notion of differential, for a map with values in a Hilbert module: we mainly apply this notion to the map $x\mapsto\d_\sy f(x,\cdot)$ in order to build, under the appropriate regularity requirements, its differential $\d_\sx\d_\sy f$.

math.FA↗
arXiv2020

Lie brackets of nonsmooth vector fields and commutation of their flows

It is well-known that the flows generated by two smooth vector fields commute, if the Lie bracket of these vector fields vanishes. This assertion is known to extend to Lipschitz continuous vector fields, up to interpreting the vanishing of their Lie bracket in the sense of almost everywhere equality. We show that this cannot be extended to general a.e. differentiable vector fields admitting a.e. unique flows. We show however that the extension holds when one field is Lipschitz continuous and the other one is merely Sobolev regular (but admitting a regular Lagrangian flow).

math.FA↗
arXiv2020

Tamed spaces -- Dirichlet spaces with distribution-valued Ricci bounds

We develop the theory of tamed spaces which are Dirichlet spaces with distribution-valued lower bounds on the Ricci curvature and investigate these from an Eulerian point of view. To this end we analyze in detail singular perturbations of Dirichlet form by a broad class of distributions. The distributional Ricci bound is then formulated in terms of an integrated version of the Bochner inequality using the perturbed energy form and generalizing the well-known Bakry-Émery curvature-dimension condition. Among other things we show the equivalence of distributional Ricci bounds to gradient estimates for the heat semigroup in terms of the Feynman-Kac semigroup induced by the taming distribution as well as consequences in terms of functional inequalities. We give many examples of tamed spaces including in particular Riemannian manifolds with either interior singularities or singular boundary behavior.

math.FA↗