Showing 1–44 of 44 results for author: Rizzi, L

Failure of the measure contraction property via quotients in higher-step sub-Riemannian structures

Authors: Samuël Borza, Luca Rizzi

Abstract: We investigate the validity of the synthetic Ricci curvature lower bound known as the measure contraction property (MCP) for sub-Riemannian structures beyond step two. We show that whenever the distance function is not Lipschitz in charts, the MCP may fail. This occurs already in fundamental examples such as the Martinet and Engel structures. Central to our analysis are new results on the stabil… ▽ More We investigate the validity of the synthetic Ricci curvature lower bound known as the measure contraction property (MCP) for sub-Riemannian structures beyond step two. We show that whenever the distance function is not Lipschitz in charts, the MCP may fail. This occurs already in fundamental examples such as the Martinet and Engel structures. Central to our analysis are new results on the stability of the local MCP under quotients by isometric group actions for general metric measure spaces, developed under a weaker variant of the essential non-branching condition which, in contrast with the classical one, is implied by the minimizing Sard property in sub-Riemannian geometry. Since the MCP is preserved under blow-ups, we focus on Carnot homogeneous spaces, proving that MCP descends to suitable quotients. As a byproduct, any structure whose tangent at some point admits a quotient to Martinet fails the MCP. We also obtain a computation-free proof that the Grushin plane shares the Heisenberg group's MCP. Applications include a detailed analysis of validity and failure of the MCP for Carnot groups of low dimension. Our results suggest a conjecture on the failure of the MCP in presence of Goh abnormal geodesics satisfying the strong generalized Legendre condition. △ Less

Submitted 14 May, 2025; originally announced May 2025.

Comments: 50 pages

MSC Class: 53C17; 53C21; 49Q22

Curvature and relative volume forms

Authors: Luca Rizzi, Francesco Zucconi

Abstract: Using metric techniques introduced by Berndtsson, we show a result on constancy of families dominated by a constant variety and, on the opposite side, a result on the strong non isotriviality of certain families of surfaces with positive index. We also give metric interpretations of liftability of relative volume forms and of strong non isotriviality in terms of the complex conjugate of a suitable… ▽ More Using metric techniques introduced by Berndtsson, we show a result on constancy of families dominated by a constant variety and, on the opposite side, a result on the strong non isotriviality of certain families of surfaces with positive index. We also give metric interpretations of liftability of relative volume forms and of strong non isotriviality in terms of the complex conjugate of a suitable representative of the Kodaira-Spencer class. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Quantitative approximate definable choices

Authors: Antonio Lerario, Luca Rizzi, Daniele Tiberio

Abstract: In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we improve on this result. In particular, we constr… ▽ More In semialgebraic geometry, projections play a prominent role. A definable choice is a semialgebraic selection of one point in every fiber of a projection. Definable choices exist by semialgebraic triviality, but their complexity depends exponentially on the number of variables. By allowing the selection to be approximate (in the Hausdorff sense), we improve on this result. In particular, we construct an approximate selection whose degree is linear in the complexity of the projection and does not depend on the number of variables. This work is motivated by infinite-dimensional applications, in particular to the Sard conjecture in sub-Riemannian geometry. To prove these results, we develop a general quantitative theory for Hausdorff approximations in semialgebraic geometry, which has independent interest. △ Less

Submitted 5 March, 2025; v1 submitted 23 September, 2024; originally announced September 2024.

Comments: accepted version, to appear on Mathematische Annalen

MSC Class: 14P10; 53C17

Tubes in sub-Riemannian geometry and a Weyl's invariance result for curves in the Heisenberg groups

Authors: Tania Bossio, Luca Rizzi, Tommaso Rossi

Abstract: The purpose of the paper is threefold: first, we prove optimal regularity results for the distance from $C^k$ submanifolds of general rank-varying sub-Riemannian structures. Then, we study the asymptotics of the volume of tubular neighbourhoods around such submanifolds. Finally, for the case of curves in the Heisenberg groups, we prove a Weyl's invariance result: the volume of small tubes around a… ▽ More The purpose of the paper is threefold: first, we prove optimal regularity results for the distance from $C^k$ submanifolds of general rank-varying sub-Riemannian structures. Then, we study the asymptotics of the volume of tubular neighbourhoods around such submanifolds. Finally, for the case of curves in the Heisenberg groups, we prove a Weyl's invariance result: the volume of small tubes around a curve does not depend on the way the curve is isometrically embedded, but only on its Reeb angle. The proof does not need the computation of the actual volume of the tube, and it is new even for the three-dimensional Heisenberg group. △ Less

Submitted 24 October, 2024; v1 submitted 29 August, 2024; originally announced August 2024.

Comments: 25 pages, 1 figure

Sard properties for polynomial maps in infinite dimension

Authors: Antonio Lerario, Luca Rizzi, Daniele Tiberio

Abstract: Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. It is well-known, however, that when the domain is infinite dimensional and the range is finite dimensional, the result is not true -- even under t… ▽ More Sard's theorem asserts that the set of critical values of a smooth map from one Euclidean space to another one has measure zero. A version of this result for infinite-dimensional Banach manifolds was proven by Smale for maps with Fredholm differential. It is well-known, however, that when the domain is infinite dimensional and the range is finite dimensional, the result is not true -- even under the assumption that the map is ``polynomial'' -- and a general theory is still lacking. Addressing this issue, in this paper, we provide sharp quantitative criteria for the validity of Sard's theorem in this setting. Our motivation comes from sub-Riemannian geometry and, as an application of our results, we prove the sub-Riemannian Sard conjecture for the restriction of the Endpoint map of Carnot groups to the set of piece-wise real-analytic controls with large enough radius of convergence, and the strong Sard conjecture for the restriction to the set of piece-wise entire controls. △ Less

Submitted 12 November, 2024; v1 submitted 2 July, 2024; originally announced July 2024.

Comments: 39 pages. V2: improved presentation, some of the main results have been tweaked

MSC Class: 53C17; 14P10

Quantitative tightness for three-dimensional contact manifolds: a sub-Riemannian approach

Authors: Andrei A. Agrachev, Stefano Baranzini, Eugenio Bellini, Luca Rizzi

Abstract: Through the use of sub-Riemannian metrics we provide quantitative estimates for the maximal tight neighbourhood of a Reeb orbit on a three-dimensional contact manifold. Under appropriate geometric conditions we show how to construct closed curves which are boundaries of overtwisted disks. We introduce the concept of contact Jacobi curve, and prove lower bounds of the so-called tightness radius (fr… ▽ More Through the use of sub-Riemannian metrics we provide quantitative estimates for the maximal tight neighbourhood of a Reeb orbit on a three-dimensional contact manifold. Under appropriate geometric conditions we show how to construct closed curves which are boundaries of overtwisted disks. We introduce the concept of contact Jacobi curve, and prove lower bounds of the so-called tightness radius (from a Reeb orbit) in terms of Schwarzian derivative bounds. We compare these results with the corresponding ones from [Etnyre, Komendarczyk, Massot - Invent. Math. 2012 and Trans. Amer. Math. Soc. 2016], and we show that our estimates are sharp for classical model structures. We also prove similar, but non-sharp, estimates in terms of sub-Riemannian canonical curvature bounds. We apply our results to K-contact sub-Riemannian manifolds. In this setting, we prove a contact analogue of the celebrated Cartan-Hadamard theorem. △ Less

Submitted 12 November, 2024; v1 submitted 30 June, 2024; originally announced July 2024.

MSC Class: 53C17; 57K33

Failure of curvature-dimension conditions on sub-Riemannian manifolds via tangent isometries

Authors: Luca Rizzi, Giorgio Stefani

Abstract: We prove that, on any sub-Riemannian manifold endowed with a positive smooth measure, the Bakry-Émery inequality for the corresponding sub-Laplacian implies the existence of enough Killing vector fields on the tangent cone to force the latter to be Euclidean at each point, yielding the failure of the curvature-dimension condition in full generality. Our approach does not apply to non-strictly-posi… ▽ More We prove that, on any sub-Riemannian manifold endowed with a positive smooth measure, the Bakry-Émery inequality for the corresponding sub-Laplacian implies the existence of enough Killing vector fields on the tangent cone to force the latter to be Euclidean at each point, yielding the failure of the curvature-dimension condition in full generality. Our approach does not apply to non-strictly-positive measures. In fact, we prove that the weighted Grushin plane does not satisfy any curvature-dimension condition, but, nevertheless, does admit an a.e. pointwise version of the Bakry-Émery inequality. As recently observed by Pan and Montgomery, one half of the weighted Grushin plane satisfies the RCD(0,N) condition, yielding a counterexample to gluing theorems in the RCD setting. △ Less

Submitted 7 August, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 25 pages

MSC Class: 53C17; 54E45; 28A75

Journal ref: Journal of Functional Analysis Volume 285, Issue 9, 1 November 2023, 110099

Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures

Authors: Davide Barilari, Andrea Mondino, Luca Rizzi

Abstract: Recent advances in the theory of metric measures spaces on the one hand, and of sub-Riemannian ones on the other hand, suggest the possibility of a "great unification" of Riemannian and sub-Riemannian geometries in a comprehensive framework of synthetic Ricci curvature lower bounds. With the aim of achieving such a unification program, in this paper we initiate the study of gauge metric measure sp… ▽ More Recent advances in the theory of metric measures spaces on the one hand, and of sub-Riemannian ones on the other hand, suggest the possibility of a "great unification" of Riemannian and sub-Riemannian geometries in a comprehensive framework of synthetic Ricci curvature lower bounds. With the aim of achieving such a unification program, in this paper we initiate the study of gauge metric measure spaces. △ Less

Submitted 8 April, 2024; v1 submitted 14 November, 2022; originally announced November 2022.

Comments: 153 pages. v2: new Section 10.2 on the Grushin plane. v3: minor cosmetic changes. Accepted version, to appear on Memoirs of the AMS

MSC Class: 53C17; 53C21; 49Q22

Global Kodaira Spencer class and Massey products

Authors: Luca Rizzi, Francesco Zucconi

Abstract: We define a new notion of supported global deformation class for a semistable family of complex varieties over a curve $f\colon X\to B$. We use this notion to study when $X$, possibly up to a finite covering, has a generically finite morphism onto a product $B\times Y$ with $Y$ of general type. We define a new notion of supported global deformation class for a semistable family of complex varieties over a curve $f\colon X\to B$. We use this notion to study when $X$, possibly up to a finite covering, has a generically finite morphism onto a product $B\times Y$ with $Y$ of general type. △ Less

Submitted 20 October, 2022; originally announced October 2022.

Comments: 26 pages

MSC Class: 14D06; 14D05; 14E20; 14J40

Massey products and Fujita decomposition over higher dimensional base

Authors: Luca Rizzi

Abstract: Let $f\colon X\to Y$ be a semistable fibration between smooth complex varieties of dimension $n$ and $m$. This paper contains an analysis of the local systems of de Rham closed relative one forms and top forms on the fibers. In particular the latter recovers the local system of the second Fujita decomposition of $f_*ω_{X/Y}$ over higher dimensional base. The so called theory of Massey products all… ▽ More Let $f\colon X\to Y$ be a semistable fibration between smooth complex varieties of dimension $n$ and $m$. This paper contains an analysis of the local systems of de Rham closed relative one forms and top forms on the fibers. In particular the latter recovers the local system of the second Fujita decomposition of $f_*ω_{X/Y}$ over higher dimensional base. The so called theory of Massey products allows, under natural Castelnuovo-type hypothesis, to study the finiteness of the associated monodromy representations. Motivated by this result, we also make precise the close relation between Massey products and Castelnuovo-de Franchis type theorems. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 23 pages. arXiv admin note: text overlap with arXiv:2007.01473

MSC Class: 14D06; 14C30; 14J40; 32G20

Local Systems, Algebraic Foliations and Fibrations

Authors: Luca Rizzi, Francesco Zucconi

Abstract: Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under… ▽ More Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under some natural conditions, a line subbundle of the sheaf of $p$-forms induces the Iitaka fibration. △ Less

Submitted 30 May, 2022; originally announced May 2022.

Comments: 30 pages

MSC Class: 14D06; 14E05; 14M22; 32M25

Relative heat content asymptotics for sub-Riemannian manifolds

Authors: Andrei Agrachev, Luca Rizzi, Tommaso Rossi

Abstract: The relative heat content associated with a subset $Ω\subset M$ of a sub-Riemannian manifold, is defined as the total amount of heat contained in $Ω$ at time $t$, with uniform initial condition on $Ω$, allowing the heat to flow outside the domain. In this work, we obtain a fourth-order asymptotic expansion in square root of $t$ of the relative heat content associated with relatively compact non-ch… ▽ More The relative heat content associated with a subset $Ω\subset M$ of a sub-Riemannian manifold, is defined as the total amount of heat contained in $Ω$ at time $t$, with uniform initial condition on $Ω$, allowing the heat to flow outside the domain. In this work, we obtain a fourth-order asymptotic expansion in square root of $t$ of the relative heat content associated with relatively compact non-characteristic domains. Compared to the classical heat content that we studied in [Rizzi, Rossi - J. Math. Pur. Appl., 2021], several difficulties emerge due to the absence of Dirichlet conditions at the boundary of the domain. To overcome this lack of information, we combine a rough asymptotic for the temperature function at the boundary, coupled with stochastic completeness of the heat semi-group. Our technique applies to any (possibly rank-varying) sub-Riemannian manifold that is globally doubling and satisfies a global weak Poincaré inequality, including in particular sub-Riemannian structures on compact manifolds and Carnot groups. △ Less

Submitted 6 September, 2023; v1 submitted 8 October, 2021; originally announced October 2021.

Comments: 44 pages, v2: final version to appear in Anal. PDE

MSC Class: 35R01; 53C17; 58J60

Journal ref: Analysis & PDE 17 (2024) 2997-3037

On Massey products and Rational homogeneous varieties

Authors: Luca Rizzi

Abstract: We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface… ▽ More We study the equivalence between infinitesimal Torelli theorem for smooth hypersurfaces in rational homogeneous varieties with Picard number one and the theory of generalized Massey products. This equivalence shows that the differential of the period map vanishes on an infinitesimal deformation if and only if certain twisted differential forms are elements of the Jacobian ideal of the hypersurface. We also prove an infinitesimal Torelli theorem result for smooth hypersurfaces in log parallelizable varieties. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Comments: 28 pages

MSC Class: 14C34; 14D07; 14J10; 14J40; 14M17

Fujita decomposition and Massey product for fibered varieties

Authors: Luca Rizzi, Francesco Zucconi

Abstract: Let $f\colon X\to B$ be a semistable fibration where $X$ is a smooth variety of dimension $n\geq 2$ and $B$ is a smooth curve. We give the structure theorem for the local system of the relative $1$-forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*ω_{X/B}$. We apply our interpretation to show the existence, up to base change, of higher… ▽ More Let $f\colon X\to B$ be a semistable fibration where $X$ is a smooth variety of dimension $n\geq 2$ and $B$ is a smooth curve. We give the structure theorem for the local system of the relative $1$-forms and of the relative top forms. This gives a neat interpretation of the second Fujita decomposition of $f_*ω_{X/B}$. We apply our interpretation to show the existence, up to base change, of higher irrational pencils and on the finiteness of the associated monodromy representations under natural Castelnuovo-type hypothesis on local subsystems. Finally we give a criterion to have that $X$ is not of Albanese general type if $B=\mathbb{P}^1$. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Comments: 29 pages

MSC Class: 14D06; 14C30; 32G20

Heat content asymptotics for sub-Riemannian manifolds

Authors: Luca Rizzi, Tommaso Rossi

Abstract: We study the small-time asymptotics of the heat content of smooth non-characteristic domains of a general rank-varying sub-Riemannian structure, equipped with an arbitrary smooth measure. By adapting to the sub-Riemannian case a technique due to Savo, we establish the existence of the full asymptotic series: \begin{equation} Q_Ω(t) = \sum_{k=0}^{\infty} a_k t^{k/2}, \qquad \text{as } t\to 0. \end{… ▽ More We study the small-time asymptotics of the heat content of smooth non-characteristic domains of a general rank-varying sub-Riemannian structure, equipped with an arbitrary smooth measure. By adapting to the sub-Riemannian case a technique due to Savo, we establish the existence of the full asymptotic series: \begin{equation} Q_Ω(t) = \sum_{k=0}^{\infty} a_k t^{k/2}, \qquad \text{as } t\to 0. \end{equation} We compute explicitly the coefficients up to order $k=5$, in terms of sub-Riemannian invariants of the domain and its boundary. Furthermore, we prove that every coefficient can be obtained as the limit of the corresponding one for a suitable Riemannian extension. As a particular case we recover, using non-probabilistic techniques, the order $2$ formula due to Tyson and Wang in the first Heisenberg group [J. Tyson, J. Wang, Comm. PDE, 2018]. An intriguing byproduct of our fifth-order analysis is the evidence for new phenomena in presence of characteristic points. In particular, we prove that the higher order coefficients in the expansion can blow-up in their presence. A key tool for this last result is an exact formula for the sub-Riemannian distance from a specific surface with an isolated characteristic point in the first Heisenberg group, which is of independent interest. △ Less

Submitted 9 October, 2020; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 45 pages, 4 figures. (v2) Simplified proof of Thm. 3.1, removed appendix A; (v3) several minor improvements and clarifications. Final version to appear on J. Math. Pures Appl

MSC Class: 35R01; 53C17; 58J60

Journal ref: Journal de Mathématiques Pures et Appliquées Volume 148, April 2021, Pages 267-307

Branching geodesics in sub-Riemannian geometry

Authors: Thomas Mietton, Luca Rizzi

Abstract: In this note, we show that sub-Riemannian manifolds can contain branching normal minimizing geodesics. This phenomenon occurs if and only if a normal geodesic has a discontinuity in its rank at a non-zero time, which in particular for a strictly normal geodesic means that it contains a non-trivial abnormal subsegment. The simplest example is obtained by gluing the three-dimensional Martinet flat s… ▽ More In this note, we show that sub-Riemannian manifolds can contain branching normal minimizing geodesics. This phenomenon occurs if and only if a normal geodesic has a discontinuity in its rank at a non-zero time, which in particular for a strictly normal geodesic means that it contains a non-trivial abnormal subsegment. The simplest example is obtained by gluing the three-dimensional Martinet flat structure with the Heisenberg group in a suitable way. We then use this example to construct more general types of branching. △ Less

Submitted 7 June, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: 11 pages, 1 figure. Final version, to appear on Geometric And Functional Analysis (GAFA)

MSC Class: 53C17; 49J15

Journal ref: Geometric and Functional Analysis volume 30, 1139-1151 (2020)

Comparison theorems on H-type sub-Riemannian manifolds

Authors: Fabrice Baudoin, Erlend Grong, Luca Rizzi, Sylvie Vega-Molino

Abstract: On H-type sub-Riemannian manifolds we establish sub-Hessian and sub-Laplacian comparison theorems which are uniform for a family of approximating Riemannian metrics converging to the sub-Riemannian one. We also prove a sharp sub-Riemannian Bonnet-Myers theorem that extends to this general setting results previously proved on contact and quaternionic contact manifolds. On H-type sub-Riemannian manifolds we establish sub-Hessian and sub-Laplacian comparison theorems which are uniform for a family of approximating Riemannian metrics converging to the sub-Riemannian one. We also prove a sharp sub-Riemannian Bonnet-Myers theorem that extends to this general setting results previously proved on contact and quaternionic contact manifolds. △ Less

Submitted 18 March, 2025; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: Final version, to appear on Calc. Var. Partial Differential Equations

MSC Class: 53C17

Journal ref: Calc. Var. Partial Differential Equations vol 64, 143 (2025)

Bakry-Émery curvature and model spaces in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove comparison theorems for the sub-Riemannian distortion coefficients appearing in interpolation inequalities. These results, which are equivalent to a sub-Laplacian comparison theorem for the sub-Riemannian distance, are obtained by introducing a suitable notion of sub-Riemannian Bakry-Émery curvature. The model spaces for comparison are variational problems coming from optimal control theo… ▽ More We prove comparison theorems for the sub-Riemannian distortion coefficients appearing in interpolation inequalities. These results, which are equivalent to a sub-Laplacian comparison theorem for the sub-Riemannian distance, are obtained by introducing a suitable notion of sub-Riemannian Bakry-Émery curvature. The model spaces for comparison are variational problems coming from optimal control theory. As an application we establish the sharp measure contraction property for 3-Sasakian manifolds satisfying a suitable curvature bound. △ Less

Submitted 17 March, 2020; v1 submitted 19 June, 2019; originally announced June 2019.

Comments: 37 pages; v2: added section 6.2 on the weighted Heisenberg group, fixed typos. Final version to appear on Mathematische Annalen

MSC Class: 53C17; 49J15

On birational trivial families and Adjoint quadrics

Authors: Luca Cesarano, Luca Rizzi, Francesco Zucconi

Abstract: Let $π\colon \mathcal{X}\to B$ be a family whose general fiber $X_b$ gives a $(d_1,...,d_a)$ polarisation of a general Abelian variety where $1\leq d_i\leq 2$, $i=1,...,a$ and $a\geq 4$. We show that the fibers are in the same birational class if all the $(m,0)$ forms on $X_b$ are liftable to $(m,0)$ forms on $\mathcal{X}$ where $m=1$ and $m=a-1$. Actually we show general criteria to find families… ▽ More Let $π\colon \mathcal{X}\to B$ be a family whose general fiber $X_b$ gives a $(d_1,...,d_a)$ polarisation of a general Abelian variety where $1\leq d_i\leq 2$, $i=1,...,a$ and $a\geq 4$. We show that the fibers are in the same birational class if all the $(m,0)$ forms on $X_b$ are liftable to $(m,0)$ forms on $\mathcal{X}$ where $m=1$ and $m=a-1$. Actually we show general criteria to find families with fibers in the same birational class, which leads together with a famous theorem of Nori to some interesting applications. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Comments: 18 pages

MSC Class: 14C34; 14D07; 14E99; 14J10; 14J40

Weyl's law for singular Riemannian manifolds

Authors: Yacine Chitour, Dario Prandi, Luca Rizzi

Abstract: We study the asymptotic growth of the eigenvalues of the Laplace-Beltrami operator on singular Riemannian manifolds, where all geometrical invariants appearing in classical spectral asymptotics are unbounded, and the total volume can be infinite. Under suitable assumptions on the curvature blow-up, we show how the singularity influences the Weyl's asymptotics. Our main motivation comes from the co… ▽ More We study the asymptotic growth of the eigenvalues of the Laplace-Beltrami operator on singular Riemannian manifolds, where all geometrical invariants appearing in classical spectral asymptotics are unbounded, and the total volume can be infinite. Under suitable assumptions on the curvature blow-up, we show how the singularity influences the Weyl's asymptotics. Our main motivation comes from the construction of singular Riemannian metrics with prescribed non-classical Weyl's law. Namely, for any non-decreasing slowly varying function $\upsilon$ we construct a singular Riemannian structure whose spectrum is discrete and satisfies \[ N(λ) \sim \frac{ω_n}{(2π)^n} λ^{n/2} \upsilon(λ). \] Examples of slowly varying functions are $\logλ$, its iterations $\log_k λ= \log_{k-1}\logλ$, any rational function with positive coefficients of $\log_k λ$, and functions with non-lo\-ga\-rithmic growth such as $\exp\left((\log λ)^{α_1} \dots (\log_k λ)^{α_k} \right)$ for $α_i \in (0,1)$. A key tool in our arguments is a new quantitative estimate for the remainder of the heat trace and the Weyl's function on Riemannian manifolds, which is of independent interest. △ Less

Submitted 18 August, 2023; v1 submitted 13 March, 2019; originally announced March 2019.

Comments: 39 pages. v2: added references and examples. v3: streamlined exponsition, additional comments and remarks. Final version accepted on Journal de Mathématiques Pures et Appliquées

MSC Class: 47B25; 35J10; 53C21; 58J99; 35Q40; 81Q10

Journal ref: Journal de Mathématiques Pures et Appliquées Volume 181, January 2024, Pages 113-151

H-type foliations

Authors: Fabrice Baudoin, Erlend Grong, Gianmarco Vega-Molino, Luca Rizzi

Abstract: With a view toward sub-Riemannian geometry, we introduce and study H-type foliations. These structures are natural generalizations of K-contact geometries which encompass as special cases K-contact manifolds, twistor spaces, 3K contact manifolds and H-type groups. Under an horizontal Ricci curvature lower bound, we prove on those structures sub-Riemannian diameter upper bounds and first eigenvalue… ▽ More With a view toward sub-Riemannian geometry, we introduce and study H-type foliations. These structures are natural generalizations of K-contact geometries which encompass as special cases K-contact manifolds, twistor spaces, 3K contact manifolds and H-type groups. Under an horizontal Ricci curvature lower bound, we prove on those structures sub-Riemannian diameter upper bounds and first eigenvalue estimates for the sub-Laplacian. Then, using a result by Moroianu-Semmelmann, we classify the H-type foliations that carry a parallel horizontal Clifford structure. Finally, we prove an horizontal Einstein property and compute the horizontal Ricci curvature of those spaces in codimension more than 2. △ Less

Submitted 7 October, 2022; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: accepted version

Journal ref: Differential Geometry and its Applications Volume 85, December 2022

A counterexample to gluing theorems for MCP metric measure spaces

Authors: Luca Rizzi

Abstract: Perelman's doubling theorem asserts that the metric space obtained by gluing along their boundaries two copies of an Alexandrov space with curvature $\geq κ$ is an Alexandrov space with the same dimension and satisfying the same curvature lower bound. We show that this result cannot be extended to metric measure spaces satisfying synthetic Ricci curvature bounds in the $\mathrm{MCP}$ sense. The co… ▽ More Perelman's doubling theorem asserts that the metric space obtained by gluing along their boundaries two copies of an Alexandrov space with curvature $\geq κ$ is an Alexandrov space with the same dimension and satisfying the same curvature lower bound. We show that this result cannot be extended to metric measure spaces satisfying synthetic Ricci curvature bounds in the $\mathrm{MCP}$ sense. The counterexample is given by the Grushin half-plane, which satisfies the $\mathrm{MCP}(0,N)$ if and only if $N\geq 4$, while its double satisfies the $\mathrm{MCP}(0,N)$ if and only if $N\geq 5$. △ Less

Submitted 14 June, 2018; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: 10 pages, 2 figures. Accepted version, to appear on the Bulletin of the London Mathematical Society

MSC Class: 53C17; 54E45; 54E50

On the essential self-adjointness of singular sub-Laplacians

Authors: Valentina Franceschi, Dario Prandi, Luca Rizzi

Abstract: We prove a general essential self-adjointness criterion for sub-Laplacians on complete sub-Riemannian manifolds, defined with respect to singular measures. As a consequence, we show that the intrinsic sub-Laplacian (i.e. defined w.r.t. Popp's measure) is essentially self-adjoint on the equiregular connected components of a sub-Riemannian manifold. This result holds under mild regularity assumption… ▽ More We prove a general essential self-adjointness criterion for sub-Laplacians on complete sub-Riemannian manifolds, defined with respect to singular measures. As a consequence, we show that the intrinsic sub-Laplacian (i.e. defined w.r.t. Popp's measure) is essentially self-adjoint on the equiregular connected components of a sub-Riemannian manifold. This result holds under mild regularity assumptions on the singular region, and when the latter does not contain characteristic points. △ Less

Submitted 8 January, 2019; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 21 pages, 1 figure

MSC Class: 47B25; 35J10; 53C21; 58J99; 35Q40; 81Q10

Journal ref: Potential Anal 53, 89-112 (2020)

Sub-Riemannian interpolation inequalities

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the square… ▽ More We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the squared sub-Riemannian distance fails to be semiconvex, answering to a question raised by Figalli and Rifford in [Geom. Funct. Anal. (2010) 20: 124]. As an application, we deduce sharp and intrinsic Borell-Brascamp-Lieb and geodesic Brunn-Minkowski inequalities in the aforementioned setting. For the case of the Heisenberg group, we recover in an intrinsic way the results recently obtained by Balogh, Kristály and Sipos in [Calc. Var. PDE (2018) 57: 61], and we extend them to the class of generalized H-type Carnot groups. Our results do not require the distribution to have constant rank, yielding for the particular case of the Grushin plane a sharp measure contraction property and a sharp Brunn-Minkowski inequality. △ Less

Submitted 29 November, 2018; v1 submitted 15 May, 2017; originally announced May 2017.

Comments: 43 pages. v2: typo corrected in the statement of Theorem 10. v3: updated references, added Corollary 11, typos corrected. v4: major revision, improved exposition and updated references, added section 7.4 on Sasakian examples. v5, v6 minor corrections. To appear on Inventiones Mathematicae

MSC Class: 53C17 (Primary) 49J15; 49Q20 (Secondary)

On Green's proof of infinitesimal Torelli theorem for hypersurfaces

Authors: Luca Rizzi, Francesco Zucconi

Abstract: We prove an equivalence between the infinitesimal Torelli theorem for top forms on a hypersurface contained inside a Grassmannian $\mathbb G$ and the theory of adjoint volume forms presented in L. Rizzi, F. Zucconi, "Generalized adjoint forms on algebraic varieties", Ann. Mat. Pura e Applicata, in press. More precisely, via this theory and a suitable generalization of Macaulay's theorem we show th… ▽ More We prove an equivalence between the infinitesimal Torelli theorem for top forms on a hypersurface contained inside a Grassmannian $\mathbb G$ and the theory of adjoint volume forms presented in L. Rizzi, F. Zucconi, "Generalized adjoint forms on algebraic varieties", Ann. Mat. Pura e Applicata, in press. More precisely, via this theory and a suitable generalization of Macaulay's theorem we show that the differential of the period map vanishes on an infinitesimal deformation if and only if certain explicitly given twisted volume forms go in the generalized Jacobi ideal of $X$ via the cup product homomorphism. △ Less

Submitted 6 May, 2017; v1 submitted 30 March, 2017; originally announced March 2017.

Comments: 18 pages, exposition improved, added a reference

MSC Class: 14C34; 14D07; 14J10; 14J40; 14J70; 14M15

Sharp measure contraction property for generalized H-type Carnot groups

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\leq 0$ and $N \geq k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in this paper, and for which we compute explicitly the optimal synthesis. This con… ▽ More We prove that H-type Carnot groups of rank $k$ and dimension $n$ satisfy the $\mathrm{MCP}(K,N)$ if and only if $K\leq 0$ and $N \geq k+3(n-k)$. The latter integer coincides with the geodesic dimension of the Carnot group. The same result holds true for the larger class of generalized H-type Carnot groups introduced in this paper, and for which we compute explicitly the optimal synthesis. This constitutes the largest class of Carnot groups for which the curvature exponent coincides with the geodesic dimension. We stress that generalized H-type Carnot groups have step 2, include all corank 1 groups and, in general, admit abnormal minimizing curves. As a corollary, we prove the absolute continuity of the Wasserstein geodesics for the quadratic cost on all generalized H-type Carnot groups. △ Less

Submitted 6 November, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 18 pages. This article extends the results of arXiv:1510.05960. v2: revised and improved version. v3: final version, to appear in Commun. Contemp. Math

MSC Class: 53C17; 53C22; 35R03; 54E35; 53C21

Journal ref: Communications in Contemporary Mathematics, Vol. 20, No. 6 (2018) 1750081 (24 pages)

Weighted Fano varieties and infinitesimal Torelli problem

Authors: Enrico Fatighenti, Luca Rizzi, Francesco Zucconi

Abstract: We solve the infinitesimal Torelli problem for $3$-dimensional quasi-smooth ${\mathbb{Q}}$-Fano hypersurfaces with at worst terminal singularities. We also find infinite chains of double coverings of increasing dimension which alternatively distribute themselves in examples and counterexamples for the infinitesimal Torelli claim and which share the analogue, and in some cases the same, Hodge-diagr… ▽ More We solve the infinitesimal Torelli problem for $3$-dimensional quasi-smooth ${\mathbb{Q}}$-Fano hypersurfaces with at worst terminal singularities. We also find infinite chains of double coverings of increasing dimension which alternatively distribute themselves in examples and counterexamples for the infinitesimal Torelli claim and which share the analogue, and in some cases the same, Hodge-diagram properties as the length $3$ Gushel-Mukai chain of prime smooth Fanos of coindex $3$ and degree $10$. △ Less

Submitted 14 February, 2019; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: Final version, to appear in Journal of Geometry and Physics

Journal ref: Journal of Geometry and Physics, Volume 139, May 2019, Pages 1-16

On the cut locus of free, step two Carnot groups

Authors: Luca Rizzi, Ulysse Serres

Abstract: In this note, we study the cut locus of the free, step two Carnot groups $\mathbb{G}_k$ with $k$ generators, equipped with their left-invariant Carnot-Carathéodory metric. In particular, we disprove the conjectures on the shape of the cut loci proposed in [Myasnichenko - 2002] and [Montanari, Morbidelli - 2016], by exhibiting sets of cut points $C_k \subset \mathbb{G}_k$ which, for $k \geq 4$, are… ▽ More In this note, we study the cut locus of the free, step two Carnot groups $\mathbb{G}_k$ with $k$ generators, equipped with their left-invariant Carnot-Carathéodory metric. In particular, we disprove the conjectures on the shape of the cut loci proposed in [Myasnichenko - 2002] and [Montanari, Morbidelli - 2016], by exhibiting sets of cut points $C_k \subset \mathbb{G}_k$ which, for $k \geq 4$, are strictly larger than conjectured ones. While the latter were, respectively, smooth semi-algebraic sets of codimension $Θ(k^2)$ and semi-algebraic sets of codimension $Θ(k)$, the sets $C_k$ are semi-algebraic and have codimension $2$, yielding the best possible lower bound valid for all $k$ on the size of the cut locus of $\mathbb{G}_k$. Furthermore, we study the relation of the cut locus with the so-called abnormal set. In the low dimensional cases, it is known that \[ \mathrm{Abn}_0(\mathbb{G}_k) = \overline{\mathrm{Cut}_0(\mathbb{G}_k)} \setminus \mathrm{Cut}_0(\mathbb{G}_k), \qquad k=2,3. \] For each $k \geq 4$, instead, we show that the cut locus always intersects the abnormal set, and there are plenty of abnormal geodesics with finite cut time. Finally, and as a straightforward consequence of our results, we derive an explicit lower bound for the small time heat kernel asymptotics at the points of $C_k$. The question whether $C_k$ coincides with the cut locus for $k\geq 4$ remains open. △ Less

Submitted 10 January, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: 13 pages. To appear on Proceedings of the AMS

MSC Class: 53C17; 49J15

Journal ref: Proc. Amer. Math. Soc. 145 (2017), 5341-5357

Quantum confinement on non-complete Riemannian manifolds

Authors: Dario Prandi, Luca Rizzi, Marcello Seri

Abstract: We consider the quantum completeness problem, i.e. the problem of confining quantum particles, on a non-complete Riemannian manifold $M$ equipped with a smooth measure $ω$, possibly degenerate or singular near the metric boundary of $M$, and in presence of a real-valued potential $V\in L^2_{\mathrm{loc}}(M)$. The main merit of this paper is the identification of an intrinsic quantity, the effectiv… ▽ More We consider the quantum completeness problem, i.e. the problem of confining quantum particles, on a non-complete Riemannian manifold $M$ equipped with a smooth measure $ω$, possibly degenerate or singular near the metric boundary of $M$, and in presence of a real-valued potential $V\in L^2_{\mathrm{loc}}(M)$. The main merit of this paper is the identification of an intrinsic quantity, the effective potential $V_{\mathrm{eff}}$, which allows to formulate simple criteria for quantum confinement. Let $δ$ be the distance from the possibly non-compact metric boundary of $M$. A simplified version of the main result guarantees quantum completeness if $V\ge -cδ^2$ far from the metric boundary and \[ V_{\mathrm{eff}}+V\ge \frac3{4δ^2}-\fracκδ, \qquad \text{close to the metric boundary}. \] These criteria allow us to: (i) obtain quantum confinement results for measures with degeneracies or singularities near the metric boundary of $M$; (ii) generalize the Kalf-Walter-Schmincke-Simon Theorem for strongly singular potentials to the Riemannian setting for any dimension of the singularity; (iii) give the first, to our knowledge, curvature-based criteria for self-adjointness of the Laplace-Beltrami operator; (iv) prove, under mild regularity assumptions, that the Laplace-Beltrami operator in almost-Riemannian geometry is essentially self-adjoint, partially settling a conjecture formulated in [Boscain, Laurent - Ann. Inst. Fourier, 2013] . △ Less

Submitted 28 August, 2017; v1 submitted 6 September, 2016; originally announced September 2016.

Comments: 40 pages, 7 figures. (V2) corrected typos and updated references. (V3) corrected typos and updated references. Final version to appear on Journal of Spectral Theory

MSC Class: 47B25; 35J10; 53C21; 58J99; 35Q40; 81Q10

Journal ref: J. Spectr. Theory 8 (2018), no. 4, 1221--1280

A note on Torelli-type theorems for Gorenstein curves

Authors: Luca Rizzi, Francesco Zucconi

Abstract: Using the notion of generalized divisors introduced by Hartshorne, we adapt the theory of adjoint forms to the case of Gorenstein curves. We show an infinitesimal Torelli-type theorem for vector bundles on Gorenstein curves. We also construct explicit counterexamples to the infinitesimal Torelli claim in the case of a reduced reducible Gorenstein curve. Using the notion of generalized divisors introduced by Hartshorne, we adapt the theory of adjoint forms to the case of Gorenstein curves. We show an infinitesimal Torelli-type theorem for vector bundles on Gorenstein curves. We also construct explicit counterexamples to the infinitesimal Torelli claim in the case of a reduced reducible Gorenstein curve. △ Less

Submitted 30 March, 2016; originally announced March 2016.

Comments: 17 pages

MSC Class: 14C34; 14M05

Generalized adjoint forms on algebraic varieties

Authors: Luca Rizzi, Francesco Zucconi

Abstract: We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1 in G. P. Pirola, F. Zucconi, Variations of the Albanese morphisms, J. Algebraic Geom. 12 (2003), no. 3, 535-572. Moreover we find a new formulation of the Griff… ▽ More We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1 in G. P. Pirola, F. Zucconi, Variations of the Albanese morphisms, J. Algebraic Geom. 12 (2003), no. 3, 535-572. Moreover we find a new formulation of the Griffiths's infinitesimal Torelli Theorem for smooth projective hypersurfaces using meromorphic $1$-forms. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Comments: 18 pages

MSC Class: 14C34; 14D07; 14J10; 14J40; 14J70

Intrinsic random walks in Riemannian and sub-Riemannian geometry via volume sampling

Authors: Andrei Agrachev, Ugo Boscain, Robert Neel, Luca Rizzi

Abstract: We relate some basic constructions of stochastic analysis to differential geometry, via random walk approximations. We consider walks on both Riemannian and sub-Riemannian manifolds in which the steps consist of travel along either geodesics or integral curves associated to orthonormal frames, and we give particular attention to walks where the choice of step is influenced by a volume on the manif… ▽ More We relate some basic constructions of stochastic analysis to differential geometry, via random walk approximations. We consider walks on both Riemannian and sub-Riemannian manifolds in which the steps consist of travel along either geodesics or integral curves associated to orthonormal frames, and we give particular attention to walks where the choice of step is influenced by a volume on the manifold. A primary motivation is to explore how one can pass, in the parabolic scaling limit, from geodesics, orthonormal frames, and/or volumes to diffusions, and hence their infinitesimal generators, on sub-Riemannian manifolds, which is interesting in light of the fact that there is no completely canonical notion of sub-Laplacian on a general sub-Riemannian manifold. However, even in the Riemannian case, this random walk approach illuminates the geometric significance of Ito and Stratonovich stochastic differential equations as well as the role played by the volume. △ Less

Submitted 2 May, 2017; v1 submitted 13 January, 2016; originally announced January 2016.

Comments: 32 pages, 3 figures. v2: typos corrected and minor revisions. v3: final version, to appear on ESAIM: COCV

MSC Class: 53C17 (Primary) 58J65; 60G50; 35J05; 35H10 (Secondary)

Measure contraction properties of Carnot groups

Authors: Luca Rizzi

Abstract: We prove that any corank 1 Carnot group of dimension $k+1$ equipped with a left-invariant measure satisfies the $\mathrm{MCP}(K,N)$ if and only if $K \leq 0$ and $N \geq k+3$. This generalizes the well known result by Juillet for the Heisenberg group $\mathbb{H}_{k+1}$ to a larger class of structures, which admit non-trivial abnormal minimizing curves. The number $k+3$ coincides with the geodesi… ▽ More We prove that any corank 1 Carnot group of dimension $k+1$ equipped with a left-invariant measure satisfies the $\mathrm{MCP}(K,N)$ if and only if $K \leq 0$ and $N \geq k+3$. This generalizes the well known result by Juillet for the Heisenberg group $\mathbb{H}_{k+1}$ to a larger class of structures, which admit non-trivial abnormal minimizing curves. The number $k+3$ coincides with the geodesic dimension of the Carnot group, which we define here for a general metric space. We discuss some of its properties, and its relation with the curvature exponent (the least $N$ such that the $\mathrm{MCP}(0,N)$ is satisfied). We prove that, on a metric measure space, the curvature exponent is always larger than the geodesic dimension which, in turn, is larger than the Hausdorff one. When applied to Carnot groups, our results improve a previous lower bound due to Rifford. As a byproduct, we prove that a Carnot group is ideal if and only if it is fat. △ Less

Submitted 20 May, 2016; v1 submitted 20 October, 2015; originally announced October 2015.

Comments: 17 pages, final version, to appear on "Calculus of Variations and PDEs"

MSC Class: 53C17; 53C22; 35R03; 54E35; 53C21

Journal ref: Calc. Var. Partial Differential Equations 55 (2016), no. 3, Paper No. 60

A sub-Riemannian Santaló formula with applications to isoperimetric inequalities and first Dirichlet eigenvalue of hypoelliptic operators

Authors: Dario Prandi, Luca Rizzi, Marcello Seri

Abstract: In this paper we prove a sub-Riemannian version of the classical Santaló formula: a result in integral geometry that describes the intrinsic Liouville measure on the unit cotangent bundle in terms of the geodesic flow. Our construction works under quite general assumptions, satisfied by any sub-Riemannian structure associated with a Riemannian foliation with totally geodesic leaves (e.g. CR and QC… ▽ More In this paper we prove a sub-Riemannian version of the classical Santaló formula: a result in integral geometry that describes the intrinsic Liouville measure on the unit cotangent bundle in terms of the geodesic flow. Our construction works under quite general assumptions, satisfied by any sub-Riemannian structure associated with a Riemannian foliation with totally geodesic leaves (e.g. CR and QC manifolds with symmetries), any Carnot group, and some non-equiregular structures such as the Martinet one. A key ingredient is a "reduction procedure" that allows to consider only a simple subset of sub-Riemannian geodesics. As an application, we derive isoperimetric-type and (p-)Hardy-type inequalities for a compact domain $M$ with piecewise $C^{1,1}$ boundary, and a universal lower bound for the first Dirichlet eigenvalue $λ_1(M)$ of the sub-Laplacian, \[ λ_1(M) \geq \frac{k π^2}{L^2}, \] in terms of the rank $k$ of the distribution and the length $L$ of the longest reduced sub-Riemannian geodesic contained in $M$. All our results are sharp for the sub-Riemannian structures on the hemispheres of the complex and quaternionic Hopf fibrations: \[ \mathbb{S}^1\hookrightarrow \mathbb{S}^{2d+1} \xrightarrow{p} \mathbb{CP}^d, \qquad \mathbb{S}^3\hookrightarrow \mathbb{S}^{4d+3} \xrightarrow{p} \mathbb{HP}^d, \qquad d \geq 1, \] where the sub-Laplacian is the standard hypoelliptic operator of CR and QC geometries, $L = π$ and $k=2d$ or $4d$, respectively. △ Less

Submitted 28 March, 2017; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: 29 pages, 3 figures. Final version to appear on Journal of Differential Geometry

MSC Class: 53C17; 53C65; 35P15; 57R30; 35R03; 53C65

Journal ref: J. Differential Geom. Volume 111, Number 2 (2019), 339-379

Sub-Riemannian Ricci curvatures and universal diameter bounds for 3-Sasakian manifolds

Authors: Luca Rizzi, Pavel Silveira

Abstract: For a fat sub-Riemannian structure, we introduce three canonical Ricci curvatures in the sense of Agrachev-Zelenko-Li. Under appropriate bounds we prove comparison theorems for conjugate lengths, Bonnet-Myers type results and Laplacian comparison theorems for the intrinsic sub-Laplacian. As an application, we consider the sub-Riemannian structure of $3$-Sasakian manifolds, for which we provide e… ▽ More For a fat sub-Riemannian structure, we introduce three canonical Ricci curvatures in the sense of Agrachev-Zelenko-Li. Under appropriate bounds we prove comparison theorems for conjugate lengths, Bonnet-Myers type results and Laplacian comparison theorems for the intrinsic sub-Laplacian. As an application, we consider the sub-Riemannian structure of $3$-Sasakian manifolds, for which we provide explicit curvature formulas. We prove that any complete $3$-Sasakian structure of dimension $4d+3$, with $d>1$, has sub-Riemannian diameter bounded by $π$. When $d=1$, a similar statement holds under additional Ricci bounds. These results are sharp for the natural sub-Riemannian structure on $\mathbb{S}^{4d+3}$ of the quaternionic Hopf fibrations: \begin{equation*} \mathbb{S}^3 \hookrightarrow \mathbb{S}^{4d+3} \to \mathbb{HP}^d, \end{equation*} whose exact sub-Riemannian diameter is $π$, for all $d \geq 1$. △ Less

Submitted 12 May, 2017; v1 submitted 17 September, 2015; originally announced September 2015.

Comments: 34 pages, v2: fixed and clarified the proof of Theorem 7 and some typos, v3: final version, to appear on Journal of the Institute of Mathematics of Jussieu

MSC Class: 53C17; 53C21; 53C22; 53C25; 53C26

On Jacobi fields and canonical connection in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: In sub-Riemannian geometry the coefficients of the Jacobi equation define curvature-like invariants. We show that these coefficients can be interpreted as the curvature of a canonical Ehresmann connection associated to the metric, first introduced in [Zelenko-Li]. We show why this connection is naturally nonlinear, and we discuss some of its properties. In sub-Riemannian geometry the coefficients of the Jacobi equation define curvature-like invariants. We show that these coefficients can be interpreted as the curvature of a canonical Ehresmann connection associated to the metric, first introduced in [Zelenko-Li]. We show why this connection is naturally nonlinear, and we discuss some of its properties. △ Less

Submitted 28 March, 2017; v1 submitted 5 June, 2015; originally announced June 2015.

Comments: 13 pages, (v2) minor corrections. Final version to appear on Archivum Mathematicum

MSC Class: 53C17; 53B21; 53B15

Journal ref: Archivum mathematicum, 53 (2017), no. 2, 77-92

Sub-Riemannian curvature in contact geometry

Authors: Andrei Agrachev, Davide Barilari, Luca Rizzi

Abstract: We compare different notions of curvature on contact sub-Riemannian manifolds. In particular we introduce canonical curvatures as the coefficients of the sub-Riemannian Jacobi equation. The main result is that all these coefficients are encoded in the asymptotic expansion of the horizontal derivatives of the sub-Riemannian distance. We explicitly compute their expressions in terms of the standard… ▽ More We compare different notions of curvature on contact sub-Riemannian manifolds. In particular we introduce canonical curvatures as the coefficients of the sub-Riemannian Jacobi equation. The main result is that all these coefficients are encoded in the asymptotic expansion of the horizontal derivatives of the sub-Riemannian distance. We explicitly compute their expressions in terms of the standard tensors of contact geometry. As an application of these results, we obtain a sub-Riemannian version of the Bonnet-Myers theorem that applies to any contact manifold. △ Less

Submitted 21 February, 2016; v1 submitted 17 May, 2015; originally announced May 2015.

Comments: 31 pages, 2 figures; v2: the Bonnet-Myers theorem 1.7 now holds for any contact structure; v3: final version (with expanded introduction) to appear on Journal of Geometric Analysis; v4: fixed typos

MSC Class: 53C17; 53C21; 53C22; 49N10

Intrinsic random walks and sub-Laplacians in sub-Riemannian geometry

Authors: Ugo Boscain, Robert Neel, Luca Rizzi

Abstract: On a sub-Riemannian manifold we define two type of Laplacians. The \emph{macroscopic Laplacian} $Δ_ω$, as the divergence of the horizontal gradient, once a volume $ω$ is fixed, and the \emph{microscopic Laplacian}, as the operator associated with a sequence of geodesic random walks. We consider a general class of random walks, where \emph{all} sub-Riemannian geodesics are taken in account. This op… ▽ More On a sub-Riemannian manifold we define two type of Laplacians. The \emph{macroscopic Laplacian} $Δ_ω$, as the divergence of the horizontal gradient, once a volume $ω$ is fixed, and the \emph{microscopic Laplacian}, as the operator associated with a sequence of geodesic random walks. We consider a general class of random walks, where \emph{all} sub-Riemannian geodesics are taken in account. This operator depends only on the choice of a complement $\mathbf{c}$ to the sub-Riemannian distribution, and is denoted $L^c$. We address the problem of equivalence of the two operators. This problem is interesting since, on equiregular sub-Riemannian manifolds, there is always an intrinsic volume (e.g. Popp's one $P$) but not a canonical choice of complement. The result depends heavily on the type of structure under investigation. On contact structures, for every volume $ω$, there exists a unique complement $c$ such that $Δ_ω=L^c$. On Carnot groups, if $H$ is the Haar volume, then there always exists a complement $c$ such that $Δ_H=L^c$. However this complement is not unique in general. For quasi-contact structures, in general, $Δ_P \neq L^c$ for any choice of $c$. In particular, $L^c$ is not symmetric w.r.t. Popp's measure. This is surprising especially in dimension 4 where, in a suitable sense, $Δ_P$ is the unique intrinsic macroscopic Laplacian. A crucial notion that we introduce here is the N-intrinsic volume, i.e. a volume that depends only on the set of parameters of the nilpotent approximation. When the nilpotent approximation does not depend on the point, a N-intrinsic volume is unique up to a scaling by a constant and the corresponding N-intrinsic sub-Laplacian is unique. This is what happens for dimension smaller or equal than 4, and in particular in the 4-dimensional quasi-contact structure mentioned above. △ Less

Submitted 2 May, 2017; v1 submitted 2 March, 2015; originally announced March 2015.

Comments: 42 pages, 1 figure. v2: minor revisions; v3: minor typos corrected; v4: final version, to appear on Advances in Mathematics

MSC Class: 60G50; 53C17; 35J05; 58J65; 35K05; 35H10

Journal ref: Advances in Mathematics, 314 (2017), 124-184

Differential forms and quadrics of the canonical image

Authors: Luca Rizzi, Francesco Zucconi

Abstract: Let $π\colon\mathcal{X}\to B$ be a family over a smooth connected analytic variety $B$, not necessarily compact, whose general fiber $X$ is smooth of dimension $n$, with irregularity $\geq n+1$ and such that the image of the canonical map of $X$ is not contained in any quadric of rank $\leq 2n+3$. We prove that if the Albanese map of $X$ is of degree $1$ onto its image then the fibers of… ▽ More Let $π\colon\mathcal{X}\to B$ be a family over a smooth connected analytic variety $B$, not necessarily compact, whose general fiber $X$ is smooth of dimension $n$, with irregularity $\geq n+1$ and such that the image of the canonical map of $X$ is not contained in any quadric of rank $\leq 2n+3$. We prove that if the Albanese map of $X$ is of degree $1$ onto its image then the fibers of $π\colon\mathcal{X}\to B$ are birational under the assumption that all the $1$-forms and all the $n$-forms of a fiber are holomorphically liftable to $\mathcal{X}$. Moreover we show that generic Torelli holds for such a family $π\colon \mathcal{X}\to B$ if, in addition to the above hypothesis, we assume that the fibers are minimal and their minimal model is unique. There are counterexamples to the above statements if the canonical image is contained inside quadrics of rank $\leq 2n+3$. We also solve the infinitesimal Torelli problem for an $n$-dimensional variety $X$ of general type with irregularity $\geq n+1$ and such that its cotangent sheaf is generated and the canonical map is a rational map whose image is not contained in a quadric of rank less or equal to $2n+3$. △ Less

Submitted 11 February, 2016; v1 submitted 5 September, 2014; originally announced September 2014.

Comments: 23 pages, revised version incorporating referees' comments, exposition improved

MSC Class: 14C34; 14D07; 14E99; 14J10; 14J40

How many geodesics join two points on a contact sub-Riemannian manifold?

Authors: Antonio Lerario, Luca Rizzi

Abstract: We investigate the number of geodesics between two points $p$ and $q$ on a contact sub-Riemannian manifold M. We show that the count of geodesics on $M$ is controlled by the count on its nilpotent approximation at $p$ (a contact Carnot group). For contact Carnot groups we make the count explicit in exponential coordinates $(x,z) \in \mathbb{R}^{2n} \times \mathbb{R}$ centered at $p$. In this case… ▽ More We investigate the number of geodesics between two points $p$ and $q$ on a contact sub-Riemannian manifold M. We show that the count of geodesics on $M$ is controlled by the count on its nilpotent approximation at $p$ (a contact Carnot group). For contact Carnot groups we make the count explicit in exponential coordinates $(x,z) \in \mathbb{R}^{2n} \times \mathbb{R}$ centered at $p$. In this case we prove that for the generic $q$ the number of geodesics $ν(q)$ between $p$ and $q=(x,z)$ satisfies: \[ C_1\frac{|z|}{\|x\|^2} + R_1 \leq ν(q) \leq C_2\frac{|z|}{\|x\|^2} + R_2\] for some constants $C_1,C_2$ and $R_1,R_2$. We recover exact values for Heisenberg groups, where $C_1=C_2 = \frac{8}π$. Removing the genericity condition for $q$, geodesics might appear in families and we prove a similar statement for their topology. We study these families, and in particular we focus on the unexpected appearance of isometrically non-equivalent geodesics: families on which the action of isometries is not transitive. We apply the previous study to contact sub-Riemannian manifolds: we prove that for any given point $p \in M$ there is a sequence of points $p_n$ such that $p_n \to p$ and that the number of geodesics between $p$ and $p_n$ grows unbounded (moreover these geodesics have the property of being contained in a small neighborhood of $p$). △ Less

Submitted 25 April, 2017; v1 submitted 16 May, 2014; originally announced May 2014.

Comments: 37 pages, 10 figures, final version to appear on "Journal of Symplectic Geometry". Minor corrections prior to publication

MSC Class: 53D10; 53C17

Journal ref: Journal of Symplectic Geometry, Volume 15 (2017) Number 1

Comparison theorems for conjugate points in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting, we identify a class of models, namely linear quadratic optimal control systems, that play the role of the constant curvature spaces. As an application, we prov… ▽ More We prove sectional and Ricci-type comparison theorems for the existence of conjugate points along sub-Riemannian geodesics. In order to do that, we regard sub-Riemannian structures as a special kind of variational problems. In this setting, we identify a class of models, namely linear quadratic optimal control systems, that play the role of the constant curvature spaces. As an application, we prove a version of sub-Riemannian Bonnet-Myers theorem and we obtain some new results on conjugate points for three dimensional left-invariant sub-Riemannian structures. △ Less

Submitted 13 May, 2016; v1 submitted 14 January, 2014; originally announced January 2014.

Comments: 33 pages, 5 figures, v2: minor revision, v3: minor revision, v4: minor revisions after publication

MSC Class: 53C17; 53C21; 53C22; 49N10

Journal ref: ESAIM: COCV Volume 22, Number 2, 439 - 472, 2016

On conjugate times of LQ optimal control problems

Authors: Andrei Agrachev, Luca Rizzi, Pavel Silveira

Abstract: Motivated by the study of linear quadratic optimal control problems, we consider a dynamical system with a constant, quadratic Hamiltonian, and we characterize the number of conjugate times in terms of the spectrum of the Hamiltonian vector field $\vec{H}$. We prove the following dichotomy: the number of conjugate times is identically zero or grows to infinity. The latter case occurs if and only i… ▽ More Motivated by the study of linear quadratic optimal control problems, we consider a dynamical system with a constant, quadratic Hamiltonian, and we characterize the number of conjugate times in terms of the spectrum of the Hamiltonian vector field $\vec{H}$. We prove the following dichotomy: the number of conjugate times is identically zero or grows to infinity. The latter case occurs if and only if $\vec{H}$ has at least one Jordan block of odd dimension corresponding to a purely imaginary eigenvalue. As a byproduct, we obtain bounds from below on the number of conjugate times contained in an interval in terms of the spectrum of $\vec{H}$. △ Less

Submitted 6 October, 2014; v1 submitted 8 November, 2013; originally announced November 2013.

Comments: 14 pages, 1 figure. Final version, to appear on JDCS

MSC Class: 49N10; 53D12

Journal ref: Journal of Dynamical and Control Systems October 2015, Volume 21, Issue 4, pp 625-641

Curvature: a variational approach

Authors: Andrei Agrachev, Davide Barilari, Luca Rizzi

Abstract: The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our constructi… ▽ More The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as Riemannian, sub-Riemannian, Finsler and sub-Finsler structures; a special attention is paid to the sub-Riemannian (or Carnot-Caratheodory) metric spaces. Our construction of the curvature is direct and naive, and it is similar to the original approach of Riemann. Surprisingly, it works in a very general setting and, in particular, for all sub-Riemannian spaces. △ Less

Submitted 5 June, 2015; v1 submitted 22 June, 2013; originally announced June 2013.

Comments: 120 pages, 12 figures, (v2) minor revision; (v3) new sections on Finsler manifolds, slow growth distributions, Heisenberg group; (v4) major revision, new extended section on 3D contact structures, constant curvature, improved results about existence of ample geodesics on SR structures, 2 new appendices, many minor revisions; (v5) 1 new appendix, minor revisions

MSC Class: 49-02; 53C17; 49J15; 58B20

Journal ref: Mem. Amer. Math. Soc. 256 (2018), no. 1225, v+142 pp

A formula for Popp's volume in sub-Riemannian geometry

Authors: Davide Barilari, Luca Rizzi

Abstract: For an equiregular sub-Riemannian manifold M, Popp's volume is a smooth volume which is canonically associated with the sub-Riemannian structure, and it is a natural generalization of the Riemannian one. In this paper we prove a general formula for Popp's volume, written in terms of a frame adapted to the sub-Riemannian distribution. As a first application of this result, we prove an explicit form… ▽ More For an equiregular sub-Riemannian manifold M, Popp's volume is a smooth volume which is canonically associated with the sub-Riemannian structure, and it is a natural generalization of the Riemannian one. In this paper we prove a general formula for Popp's volume, written in terms of a frame adapted to the sub-Riemannian distribution. As a first application of this result, we prove an explicit formula for the canonical sub-Laplacian, namely the one associated with Popp's volume. Finally, we discuss sub-Riemannian isometries, and we prove that they preserve Popp's volume. We also show that, under some hypotheses on the action of the isometry group of M, Popp's volume is essentially the unique volume with such a property. △ Less

Submitted 15 January, 2013; v1 submitted 10 November, 2012; originally announced November 2012.

Comments: 16 pages, minor revisions

MSC Class: 53C17; 28D05

Journal ref: Analysis and Geometry in Metric Spaces, 1 (2012), 42-57