Showing 1–20 of 20 results for author: Brena, C

Instability of the fundamental group for non-collapsed Ricci-limits

Authors: Camillo Brena

Abstract: We construct two sequences of closed $4$-dimensional manifolds with non-negative Ricci curvature, diameter bounded from above by $1$, and volume bounded from below by $v>0$, with different fundamental groups but with the same Gromov-Hausdorff limit. This provides a negative answer to the question posed in [J. Pan. Ricci Curvature and Fundamental Groups of Effective Regular Sets. Journal of Mathema… ▽ More We construct two sequences of closed $4$-dimensional manifolds with non-negative Ricci curvature, diameter bounded from above by $1$, and volume bounded from below by $v>0$, with different fundamental groups but with the same Gromov-Hausdorff limit. This provides a negative answer to the question posed in [J. Pan. Ricci Curvature and Fundamental Groups of Effective Regular Sets. Journal of Mathematical Study, 58(1):3--21, 2025]. △ Less

Submitted 22 May, 2025; originally announced May 2025.

Perelman's entropy and heat kernel bounds on RCD spaces

Authors: Camillo Brena

Abstract: We study Perelman's W-entropy functional on finite-dimensional RCD spaces, a synthetic generalization of spaces with Bakry-Émery Ricci curvature bounded from below. We rigorously justify the formula for the time derivative of the W-entropy and derive its monotonicity and rigidity properties. Additionally, we establish bounds for solutions of the heat equation, which are of independent interest. We study Perelman's W-entropy functional on finite-dimensional RCD spaces, a synthetic generalization of spaces with Bakry-Émery Ricci curvature bounded from below. We rigorously justify the formula for the time derivative of the W-entropy and derive its monotonicity and rigidity properties. Additionally, we establish bounds for solutions of the heat equation, which are of independent interest. △ Less

Submitted 4 March, 2025; originally announced March 2025.

Remarks and Conjectures on Stationary Varifolds

Authors: Camillo Brena, Stefano Decio, Camillo De Lellis

Abstract: In this paper, we revisit some known results about stationary varifolds using simpler arguments. In particular, we obtain the height bound and the Lipschitz approximation along with its estimates, and as a consequence, the excess decay In this paper, we revisit some known results about stationary varifolds using simpler arguments. In particular, we obtain the height bound and the Lipschitz approximation along with its estimates, and as a consequence, the excess decay △ Less

Submitted 1 March, 2025; originally announced March 2025.

$C^\infty$ rectifiability of stationary varifolds

Authors: Camillo Brena, Camillo De Lellis, Federico Franceschini

Abstract: In this paper we prove that, for every integers $m\geq 2$ and $n\geq 1$, the support of any stationary $m$-dimensional integer rectifiable varifold $V$ in an open set $U\subset \mathbb R^{m+n}$ is $C^\infty$ rectifiable, namely it can be covered, up to an $H^m$-null set, with countably many $C^\infty$ $m$-dimensional graphs. In this paper we prove that, for every integers $m\geq 2$ and $n\geq 1$, the support of any stationary $m$-dimensional integer rectifiable varifold $V$ in an open set $U\subset \mathbb R^{m+n}$ is $C^\infty$ rectifiable, namely it can be covered, up to an $H^m$-null set, with countably many $C^\infty$ $m$-dimensional graphs. △ Less

Submitted 1 March, 2025; originally announced March 2025.

Lower Ricci Curvature Bounds and the Orientability of Spaces

Authors: Camillo Brena, Elia Bruè, Alessandro Pigati

Abstract: We study orientability in spaces with Ricci curvature bounded below. Building on the theory developed by Honda, we establish equivalent characterizations of orientability for Ricci limit and RCD spaces in terms of the orientability of their manifold part. We prove a new stability theorem and, as a corollary, we deduce that four-manifolds with Ricci curvature bounded below and volume non-collapsing… ▽ More We study orientability in spaces with Ricci curvature bounded below. Building on the theory developed by Honda, we establish equivalent characterizations of orientability for Ricci limit and RCD spaces in terms of the orientability of their manifold part. We prove a new stability theorem and, as a corollary, we deduce that four-manifolds with Ricci curvature bounded below and volume non-collapsing are uniformly locally orientable. As a global counterpart of the latter, we show that four-manifolds with nonnegative Ricci curvature and Euclidean volume growth are orientable. △ Less

Submitted 26 December, 2024; originally announced December 2024.

Unique continuation for area minimizing currents

Authors: Camillo Brena, Stefano Decio

Abstract: The main goal of this work is to prove an instance of the unique continuation principle for area minimizing integral currents. More precisely, consider an $m$-dimensional area minimizing integral current and an $m$-dimensional minimal surface, both contained in $\mathbb{R}^{n+m}$ with $n\geq 1$. We show that if, in an integral sense, the current has infinite order of contact with the minimal surfa… ▽ More The main goal of this work is to prove an instance of the unique continuation principle for area minimizing integral currents. More precisely, consider an $m$-dimensional area minimizing integral current and an $m$-dimensional minimal surface, both contained in $\mathbb{R}^{n+m}$ with $n\geq 1$. We show that if, in an integral sense, the current has infinite order of contact with the minimal surface at a point, then the current and the minimal surface coincide in a neighborhood of that point. △ Less

Submitted 11 June, 2024; originally announced June 2024.

Comments: 33 pages. arXiv admin note: text overlap with arXiv:1511.07705 by other authors

Fine representation of Hessian of convex functions and Ricci tensor on RCD spaces

Authors: Camillo Brena, Nicola Gigli

Abstract: It is known that on $\mathrm{RCD}$ spaces one can define a distributional Ricci tensor ${\bf Ric}$. Here we give a fine description of this object by showing that it admits the polar decomposition $${\bf Ric}=ω\,|{\bf Ric}|$$ for a suitable non-negative measure $|{\bf Ric}|$ and unitary tensor field $ω$. The regularity of both the mass measure and of the polar vector are also described. The repres… ▽ More It is known that on $\mathrm{RCD}$ spaces one can define a distributional Ricci tensor ${\bf Ric}$. Here we give a fine description of this object by showing that it admits the polar decomposition $${\bf Ric}=ω\,|{\bf Ric}|$$ for a suitable non-negative measure $|{\bf Ric}|$ and unitary tensor field $ω$. The regularity of both the mass measure and of the polar vector are also described. The representation provided here allows to answer some open problems about the structure of the Ricci tensor in such singular setting. Our discussion also covers the case of Hessians of convex functions and, under suitable assumptions on the base space, of the Sectional curvature operator. △ Less

Submitted 11 October, 2023; originally announced October 2023.

About the general chain rule for functions of bounded variation

Authors: Camillo Brena, Nicola Gigli

Abstract: We give an alternative proof of the general chain rule for functions of bounded variation ([ADM90]), which allows to compute the distributional differential of $\varphi\circ F$, where $\varphi\in \mathrm{LIP}(\mathbb{R}^m)$ and $F\in\mathrm{BV}(\mathbb{R}^n,\mathbb{R}^m)$. In our argument we build on top of recently established links between `closability of certain differentiation operators' and `… ▽ More We give an alternative proof of the general chain rule for functions of bounded variation ([ADM90]), which allows to compute the distributional differential of $\varphi\circ F$, where $\varphi\in \mathrm{LIP}(\mathbb{R}^m)$ and $F\in\mathrm{BV}(\mathbb{R}^n,\mathbb{R}^m)$. In our argument we build on top of recently established links between `closability of certain differentiation operators' and `differentiability of Lipschitz functions in related directions' ([ABM23]): we couple this with the observation that `the map that takes $\varphi$ and returns the distributional differential of $\varphi\circ F$ is closable' to conclude. Unlike previous results in this direction, our proof can directly be adapted to the non-smooth setting of finite dimensional RCD spaces. △ Less

Submitted 12 July, 2023; originally announced July 2023.

Maps of bounded variation from PI spaces to metric spaces

Authors: Camillo Brena, Francesco Nobili, Enrico Pasqualetto

Abstract: We study maps of bounded variation defined on a metric measure space and valued into a metric space. Assuming the source space to satisfy a doubling and Poincaré property, we produce a well-behaved relaxation theory via approximation by simple maps. Moreover, several equivalent characterizations are given, including a notion in weak duality with test plans. We study maps of bounded variation defined on a metric measure space and valued into a metric space. Assuming the source space to satisfy a doubling and Poincaré property, we produce a well-behaved relaxation theory via approximation by simple maps. Moreover, several equivalent characterizations are given, including a notion in weak duality with test plans. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: 38 pages

MSC Class: 53C23; 26A45; 26B30; 49J52; 30L99

Nguyen's approach to Sobolev spaces in metric measure spaces with unique tangents

Authors: Camillo Brena, Andrea Pinamonti

Abstract: We extend Nguyen's characterization of Sobolev spaces $W^{1,p}$ to the setting of PI-metric measure spaces such that at a.e. point the tangent space (in the Gromov-Hausdorff sense) is unique and Euclidean with a fixed dimension. We also generalize [CLL14] to PI-metric measure spaces such that at a.e. point the tangent space is unique and equal to the Heisenberg group with a fixed homogeneous dimen… ▽ More We extend Nguyen's characterization of Sobolev spaces $W^{1,p}$ to the setting of PI-metric measure spaces such that at a.e. point the tangent space (in the Gromov-Hausdorff sense) is unique and Euclidean with a fixed dimension. We also generalize [CLL14] to PI-metric measure spaces such that at a.e. point the tangent space is unique and equal to the Heisenberg group with a fixed homogeneous dimension. The approach is easier and completely different from the one in [Ngu06, Ngu08]. △ Less

Submitted 13 April, 2023; originally announced April 2023.

Functions with bounded Hessian-Schatten variation: density, variational and extremality properties

Authors: Luigi Ambrosio, Camillo Brena, Sergio Conti

Abstract: In this paper we analyze in detail a few questions related to the theory of functions with bounded $p$-Hessian-Schatten total variation, which are relevant in connection with the theory of inverse problems and machine learning. We prove an optimal density result, relative to the $p$-Hessian-Schatten total variation, of continuous piecewise linear (CPWL) functions in any space dimension $d$, using… ▽ More In this paper we analyze in detail a few questions related to the theory of functions with bounded $p$-Hessian-Schatten total variation, which are relevant in connection with the theory of inverse problems and machine learning. We prove an optimal density result, relative to the $p$-Hessian-Schatten total variation, of continuous piecewise linear (CPWL) functions in any space dimension $d$, using a construction based on a mesh whose local orientation is adapted to the function to be approximated. We show that not all extremal functions with respect to the $p$-Hessian-Schatten total variation are CPWL. Finally, we prove existence of minimizers of certain relevant functionals involving the $p$-Hessian-Schatten total variation in the critical dimension $d=2$. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Sobolev and BV functions on $\mathrm{RCD}$ spaces via the short-time behaviour of the heat kernel

Authors: Camillo Brena, Enrico Pasqualetto, Andrea Pinamonti

Abstract: In the setting of finite-dimensional $\mathrm{RCD}(K,N)$ spaces, we characterize the $p$-Sobolev spaces for $p\in(1,\infty)$ and the space of functions of bounded variation in terms of the short-time behaviour of the heat flow. Moreover, we prove that Cheeger $p$-energies and total variations can be computed as limits of nonlocal functionals involving the heat kernel. In the setting of finite-dimensional $\mathrm{RCD}(K,N)$ spaces, we characterize the $p$-Sobolev spaces for $p\in(1,\infty)$ and the space of functions of bounded variation in terms of the short-time behaviour of the heat flow. Moreover, we prove that Cheeger $p$-energies and total variations can be computed as limits of nonlocal functionals involving the heat kernel. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Comments: 28 pages

MSC Class: 53C23; 49J52; 46E35; 26A45; 35K08

Linear Inverse Problems with Hessian-Schatten Total Variation

Authors: Luigi Ambrosio, Shayan Aziznejad, Camillo Brena, Michael Unser

Abstract: In this paper, we characterize the class of extremal points of the unit ball of the Hessian-Schatten total variation (HTV) functional. The underlying motivation for our work stems from a general representer theorem that characterizes the solution set of regularized linear inverse problems in terms of the extremal points of the regularization ball. Our analysis is mainly based on studying the class… ▽ More In this paper, we characterize the class of extremal points of the unit ball of the Hessian-Schatten total variation (HTV) functional. The underlying motivation for our work stems from a general representer theorem that characterizes the solution set of regularized linear inverse problems in terms of the extremal points of the regularization ball. Our analysis is mainly based on studying the class of continuous and piecewise linear (CPWL) functions. In particular, we show that in dimension $d=2$, CPWL functions are dense in the unit ball of the HTV functional. Moreover, we prove that a CPWL function is extremal if and only if its Hessian is minimally supported. For the converse, we prove that the density result (which we have only proven for dimension $d = 2$) implies that the closure of the CPWL extreme points contains all extremal points. △ Less

Submitted 8 October, 2022; originally announced October 2022.

Subgraphs of $\rm BV$ functions on $\rm RCD$ spaces

Authors: Gioacchino Antonelli, Camillo Brena, Enrico Pasqualetto

Abstract: In this work we extend classical results for subgraphs of functions of bounded variation in $\mathbb{R}^n\times\mathbb{R}$ to the setting of $\mathsf{X}\times\mathbb{R}$, where $\mathsf{X}$ is an ${\rm RCD}(K,N)$ metric measure space. In particular, we give the precise expression of the push-forward onto $\mathsf{X}$ of the perimeter measure of the subgraph in $\mathsf{X}\times\mathbb{R}$ of a… ▽ More In this work we extend classical results for subgraphs of functions of bounded variation in $\mathbb{R}^n\times\mathbb{R}$ to the setting of $\mathsf{X}\times\mathbb{R}$, where $\mathsf{X}$ is an ${\rm RCD}(K,N)$ metric measure space. In particular, we give the precise expression of the push-forward onto $\mathsf{X}$ of the perimeter measure of the subgraph in $\mathsf{X}\times\mathbb{R}$ of a $\rm BV$ function on $\mathsf{X}$. Moreover, in properly chosen good coordinates, we write the precise expression of the normal to the boundary of the subgraph of a $\rm BV$ function $f$ with respect to the polar vector of $f$, and we prove change-of-variable formulas. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Comments: 20 pages. arXiv admin note: text overlap with arXiv:2204.04921

MSC Class: 53C23; 26A45; 49Q15; 28A75

Local vector measures

Authors: Camillo Brena, Nicola Gigli

Abstract: Consider a BV function on a Riemannian manifold. What is its differential? And what about the Hessian of a convex function? These questions have clear answers in terms of (co)vector/matrix valued measures if the manifold is the Euclidean space. In more general curved contexts, the same objects can be perfectly understood via charts. However, charts are often unavailable in the less regular setting… ▽ More Consider a BV function on a Riemannian manifold. What is its differential? And what about the Hessian of a convex function? These questions have clear answers in terms of (co)vector/matrix valued measures if the manifold is the Euclidean space. In more general curved contexts, the same objects can be perfectly understood via charts. However, charts are often unavailable in the less regular setting of metric geometry, where still the questions make sense. In this paper we propose a way to deal with this sort of problems and, more generally, to give a meaning to a concept of `measure acting in duality with sections of a given bundle', loosely speaking. Despite the generality, several classical results in measure theory like Riesz's and Alexandrov's theorems have a natural counterpart in this setting. Moreover, as we are going to discuss, the notions introduced here provide a unified framework for several key concepts in nonsmooth analysis that have been introduced more than two decades ago, such as: Ambrosio-Kirchheim's metric currents, Cheeger's Sobolev functions and Miranda's BV functions. Not surprisingly, the understanding of the structure of these objects improves with the regularity of the underlying space. We are particularly interested in the case of $\RCD$ spaces where, as we will argue, the regularity of several key measures of the type we study nicely matches the known regularity theory for vector fields, resulting in a very effective theory. We expect that the notions developed here will help creating stronger links between differential calculus in Alexandrov spaces (based on Perelman's DC charts) and in $\RCD$ ones (based on intrinsic tensor calculus). △ Less

Submitted 29 June, 2022; originally announced June 2022.

The Rank-One Theorem on $\mathrm{RCD}$ spaces

Authors: Gioacchino Antonelli, Camillo Brena, Enrico Pasqualetto

Abstract: We extend Alberti's Rank-One Theorem to $\mathrm{RCD}(K,N)$ metric measure spaces. We extend Alberti's Rank-One Theorem to $\mathrm{RCD}(K,N)$ metric measure spaces. △ Less

Submitted 18 October, 2023; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: 42 pages. Final version to appear in Analysis & PDE

MSC Class: 53C23; 26A45; 49Q15; 28A75

Journal ref: Analysis & PDE 17 (2024) 2797-2840

Calculus and fine properties of functions of bounded variation on RCD spaces

Authors: Camillo Brena, Nicola Gigli

Abstract: We generalize the classical calculus rules satisfied by functions of bounded variation to the framework of RCD spaces. In the infinite dimensional setting we are able to define an analogue of the distributional differential and on finite dimensional spaces we prove fine properties and suitable calculus rules, such as the Vol'pert chain rule for vector valued functions. We generalize the classical calculus rules satisfied by functions of bounded variation to the framework of RCD spaces. In the infinite dimensional setting we are able to define an analogue of the distributional differential and on finite dimensional spaces we prove fine properties and suitable calculus rules, such as the Vol'pert chain rule for vector valued functions. △ Less

Submitted 8 April, 2022; originally announced April 2022.

Weakly non-collapsed RCD spaces are strongly non-collapsed

Authors: Camillo Brena, Nicola Gigli, Shouhei Honda, Xingyu Zhu

Abstract: We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality. One of the auxiliary results of independent interest that we obtain is about the link between the properties $\quad$- $\mathrm{tr}(\mathrm{Hess}f)=Δf$ on $U\subset\mathsf{X}$ for eve… ▽ More We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality. One of the auxiliary results of independent interest that we obtain is about the link between the properties $\quad$- $\mathrm{tr}(\mathrm{Hess}f)=Δf$ on $U\subset\mathsf{X}$ for every $f$ sufficiently regular, $\quad$- $\mathfrak{m}=c\mathscr{H}^n$ on $U\subset\mathsf{X}$ for some $c>0$, where $U\subset \mathsf{X}$ is open and $\mathsf{X}$ is a - possibly collapsed - RCD space of essential dimension $n$. △ Less

Submitted 10 October, 2022; v1 submitted 5 October, 2021; originally announced October 2021.

Comments: 31 pages

Stability of a class of action functionals depending on convex functions

Authors: Luigi Ambrosio, Camillo Brena

Abstract: We study the stability of a class of action functionals induced by gradients of convex functions with respect to Mosco convergence, under mild assumptions on the underlying space. We study the stability of a class of action functionals induced by gradients of convex functions with respect to Mosco convergence, under mild assumptions on the underlying space. △ Less

Submitted 21 June, 2021; originally announced June 2021.

BV and Sobolev homeomorphisms between metric measure spaces and the plane

Authors: Camillo Brena, Daniel Campbell

Abstract: We show that given a homeomorphism $f:G\rightarrowΩ$ where $G$ is a open subset of $\mathbb{R}^2$ and $Ω$ is a open subset of a $2$-Ahlfors regular metric measure space supporting a weak $(1,1)$-Poincaré inequality, it holds $f\in BV_{\operatorname{loc}}(G,Ω)$ if and only $f^{-1}\in BV_{\operatorname{loc}}(Ω,G)$. Further if $f$ satisfies the Luzin N and N$^{-1}$ conditions then… ▽ More We show that given a homeomorphism $f:G\rightarrowΩ$ where $G$ is a open subset of $\mathbb{R}^2$ and $Ω$ is a open subset of a $2$-Ahlfors regular metric measure space supporting a weak $(1,1)$-Poincaré inequality, it holds $f\in BV_{\operatorname{loc}}(G,Ω)$ if and only $f^{-1}\in BV_{\operatorname{loc}}(Ω,G)$. Further if $f$ satisfies the Luzin N and N$^{-1}$ conditions then $f\in W^{1,1}_{\operatorname{loc}}(G,Ω)$ if and only if $f^{-1}\in W^{1,1}_{\operatorname{loc}}(Ω,G)$. △ Less

Submitted 14 April, 2021; originally announced April 2021.

MSC Class: 26B30; 30L99