Showing 1–20 of 20 results for author: Dall'Ara, G M

On generalized Dirichlet integrals in the smooth and in the o-minimal setting

Authors: Gian Maria Dall'Ara

Abstract: Given a compact manifold $M$ equipped with smooth vector fields $X_1,\ldots, X_r$, we consider the generalized Dirichlet energy \[\mathbf{E}(f)= \sum_{j=1}^r\int_M |X_jf|^2\, dm,\] where $dm$ is a volume form, and ask if the set \[ \mathcal{B}=\{f\in L^2(M)\colon\,\mathbf{E}(f)+\lVert f\rVert_{L^2(M)}^2\leq 1 \} \] is precompact in $L^2(M)$. We find a geometric sufficient condition in terms of "it… ▽ More Given a compact manifold $M$ equipped with smooth vector fields $X_1,\ldots, X_r$, we consider the generalized Dirichlet energy \[\mathbf{E}(f)= \sum_{j=1}^r\int_M |X_jf|^2\, dm,\] where $dm$ is a volume form, and ask if the set \[ \mathcal{B}=\{f\in L^2(M)\colon\,\mathbf{E}(f)+\lVert f\rVert_{L^2(M)}^2\leq 1 \} \] is precompact in $L^2(M)$. We find a geometric sufficient condition in terms of "iterated characteristic sets" and use it to show that, if the vector fields are tame (in the sense of o-minimality) and satisfy the Hörmander condition of some order $s$ on a dense set of points, then the only obstruction to precompactness is the existence of a characteristic submanifold (i.e. a nonempty submanifold of positive codimension to which each $X_j$ is tangent). Implications for global regularity of sum-of-squares operators not necessarily satisfying Hörmander condition are discussed in an appendix. △ Less

Submitted 29 November, 2024; originally announced November 2024.

Comments: 19 pages

Higher dimensional worm domains

Authors: Simone Calamai, Gian Maria Dall'Ara

Abstract: We show how to construct a class of smooth bounded pseudoconvex domains whose boundary contains a given Stein manifold with strongly pseudoconvex boundary, having a prescribed codimension and D'Angelo class (a cohomological invariant measuring the "winding" of the boundary of the domain around the submanifold). Some open questions in the regularity theory of the $\overline\partial$-Neumann problem… ▽ More We show how to construct a class of smooth bounded pseudoconvex domains whose boundary contains a given Stein manifold with strongly pseudoconvex boundary, having a prescribed codimension and D'Angelo class (a cohomological invariant measuring the "winding" of the boundary of the domain around the submanifold). Some open questions in the regularity theory of the $\overline\partial$-Neumann problem are discussed in the setting of these domains. △ Less

Submitted 14 October, 2024; v1 submitted 11 October, 2024; originally announced October 2024.

Comments: 12 pages. Minor corrections/clarifications: higher regularity of the submanifold needed for Sard theorem to work; domains are smooth in Section 5

MSC Class: 32T20; 32W05

Sharp subelliptic estimates in the $\bar\partial$-Neumann problem via an uncertainty principle

Authors: Gian Maria Dall'Ara, Samuele Mongodi

Abstract: The problem of giving a (CR-)geometric description of the best possible order of a subelliptic estimate at a boundary point in the $\bar\partial$-Neumann problem is largely open. In this paper, we introduce a novel technique based on a "$\bar\partial$-uncertainty principle" and, as an application, we determine the sharp order of subellipticity at the origin for a large class of Kohn's special doma… ▽ More The problem of giving a (CR-)geometric description of the best possible order of a subelliptic estimate at a boundary point in the $\bar\partial$-Neumann problem is largely open. In this paper, we introduce a novel technique based on a "$\bar\partial$-uncertainty principle" and, as an application, we determine the sharp order of subellipticity at the origin for a large class of Kohn's special domains in ambient dimension $\leq 5$. △ Less

Submitted 5 February, 2024; v1 submitted 27 October, 2023; originally announced October 2023.

Comments: 37 pages

MSC Class: 32w05; 35h20; 32T27

Remarks on the Levi core

Authors: Gian Maria Dall'Ara, Samuele Mongodi

Abstract: We investigate a few aspects of the notion of Levi core, introduced by the authors in a previous work: a basic finiteness question, the connections with Kohn's algorithm and with Catlin's property (P). We investigate a few aspects of the notion of Levi core, introduced by the authors in a previous work: a basic finiteness question, the connections with Kohn's algorithm and with Catlin's property (P). △ Less

Submitted 27 May, 2023; originally announced May 2023.

An extremality property of Szegő projections on Heisenberg groups

Authors: Gian Maria Dall'Ara, Bernhard Lamel

Abstract: We prove that Heisenberg groups, a.k.a. the boundaries of Siegel domains, minimize the $L^p$ operator norm of the Szegő projection in a large class of weighted CR manifolds of hypersurface type. We prove that Heisenberg groups, a.k.a. the boundaries of Siegel domains, minimize the $L^p$ operator norm of the Szegő projection in a large class of weighted CR manifolds of hypersurface type. △ Less

Submitted 9 September, 2022; originally announced September 2022.

Comments: 10 pages

Worm domains are not Gromov hyperbolic

Authors: Leandro Arosio, Gian Maria Dall'Ara, Matteo Fiacchi

Abstract: We show that Worm domains are not Gromov hyperbolic with respect to the Kobayashi distance. We show that Worm domains are not Gromov hyperbolic with respect to the Kobayashi distance. △ Less

Submitted 18 May, 2023; v1 submitted 3 August, 2022; originally announced August 2022.

MSC Class: 32T20; 32Q45;

Journal ref: Journal of Geometric Analysis, 2023, 33(8), 257

Nonabelian ramified coverings and $L^p$-boundedness of Bergman projections in $\mathbb C^2$

Authors: Gian Maria Dall'Ara, Alessandro Monguzzi

Abstract: In this work we explore the theme of $L^p$-boundedness of Bergman projections of domains that can be covered, in the sense of ramified coverings, by "nice" domains (e.g. strictly pseudoconvex domains with real analytic boundary). In particular, we focus on two-dimensional normal ramified coverings whose covering group is a finite unitary reflection group. In an infinite family of examples we are a… ▽ More In this work we explore the theme of $L^p$-boundedness of Bergman projections of domains that can be covered, in the sense of ramified coverings, by "nice" domains (e.g. strictly pseudoconvex domains with real analytic boundary). In particular, we focus on two-dimensional normal ramified coverings whose covering group is a finite unitary reflection group. In an infinite family of examples we are able to prove $L^p$-boundedness of the Bergman projection for every $p\in(1,\infty)$. △ Less

Submitted 23 May, 2022; originally announced May 2022.

Comments: 24 pages

MSC Class: 32A36

Journal ref: J. Geom. Anal. 33.52 (2023)

An upper bound for the first positive eigenvalue of the Kohn Laplacian on Reinhardt real hypersurfaces

Authors: Gian Maria Dall'Ara, Duong Ngoc Son

Abstract: A real hypersurface in $\mathbb{C}^2$ is said to be Reinhardt if it is invariant under the standard $\mathbb{T}^2$-action on $\mathbb{C}^2$. Its CR geometry can be described in terms of the curvature function of its ``generating curve'', i.e., the logarithmic image of the hypersurface in the plane $\mathbb{R}^2$. We give a sharp upper bound for the first positive eigenvalue of the Kohn Laplacian a… ▽ More A real hypersurface in $\mathbb{C}^2$ is said to be Reinhardt if it is invariant under the standard $\mathbb{T}^2$-action on $\mathbb{C}^2$. Its CR geometry can be described in terms of the curvature function of its ``generating curve'', i.e., the logarithmic image of the hypersurface in the plane $\mathbb{R}^2$. We give a sharp upper bound for the first positive eigenvalue of the Kohn Laplacian associated to a natural pseudohermitian structure on a compact and strictly pseudoconvex Reinhardt real hypersurface having closed generating curve (which amounts to the $\mathbb{T}^2$-action being free). Our bound is expressed in terms of the $L^2$-norm of the curvature function of the generating curve and is attained if and only if the curve is a circle. △ Less

Submitted 13 October, 2021; originally announced October 2021.

Comments: 11 pages

MSC Class: 32V20; 32W10

Journal ref: Proceedings of the American Mathematical Society. Volume 151, Number 1, January 2023, Pages 123 - 133

An optimal multiplier theorem for Grushin operators in the plane, II

Authors: Gian Maria Dall'Ara, Alessio Martini

Abstract: In a previous work we proved a spectral multiplier theorem of Mihlin--Hörmander type for two-dimensional Grushin operators $-\partial_x^2 - V(x) \partial_y^2$, where $V$ is a doubling single-well potential, yielding the surprising result that the optimal smoothness requirement on the multiplier is independent of $V$. Here we refine this result, by replacing the $L^\infty$ Sobolev condition on the… ▽ More In a previous work we proved a spectral multiplier theorem of Mihlin--Hörmander type for two-dimensional Grushin operators $-\partial_x^2 - V(x) \partial_y^2$, where $V$ is a doubling single-well potential, yielding the surprising result that the optimal smoothness requirement on the multiplier is independent of $V$. Here we refine this result, by replacing the $L^\infty$ Sobolev condition on the multiplier with a sharper $L^2$ condition. As a consequence, we obtain the sharp range of $L^1$ boundedness for the associated Bochner--Riesz means. The key new ingredient of the proof is a precise pointwise estimate in the transition region for eigenfunctions of one-dimensional Schrödinger operators with doubling single-well potentials. △ Less

Submitted 11 October, 2021; originally announced October 2021.

Comments: 21 pages. This work refines the multiplier theorem proved in arXiv:2107.12015

MSC Class: 34L20; 35J70; 35H20; 42B15

Journal ref: Journal of Fourier Analysis and Applications, 28 n. 2 (2022), article number: 32

The core of the Levi distribution

Authors: Gian Maria Dall'Ara, Samuele Mongodi

Abstract: We introduce a new geometrical invariant of CR manifolds of hypersurface type, which we dub the "Levi core" of the manifold. When the manifold is the boundary of a smooth bounded pseudoconvex domain, we show how the Levi core is related to two other important global invariants in several complex variables: the Diederich--Fornæss index and the D'Angelo class (namely the set of D'Angelo forms of the… ▽ More We introduce a new geometrical invariant of CR manifolds of hypersurface type, which we dub the "Levi core" of the manifold. When the manifold is the boundary of a smooth bounded pseudoconvex domain, we show how the Levi core is related to two other important global invariants in several complex variables: the Diederich--Fornæss index and the D'Angelo class (namely the set of D'Angelo forms of the boundary). We also show that the Levi core is trivial whenever the domain is of finite-type in the sense of D'Angelo, or the set of weakly pseudoconvex points is contained in a totally real submanifold, while it is nontrivial if the boundary contains a local maximum set. As corollaries to the theory developed here, we prove that for any smooth bounded pseudoconvex domain with trivial Levi core the Diederich--Fornæss index is one and the $\overline{\partial}$-Neumann problem is exactly regular (via a result of Kohn and its generalization by Harrington). Our work builds on and expands recent results of Liu and Adachi--Yum. △ Less

Submitted 10 September, 2021; originally announced September 2021.

Comments: 40 pages

An optimal multiplier theorem for Grushin operators in the plane, I

Authors: Gian Maria Dall'Ara, Alessio Martini

Abstract: Let $\mathcal{L} = -\partial_x^2 - V(x) \partial_y^2$ be the Grushin operator on $\mathbb{R}^2$ with coefficient $V : \mathbb{R} \to [0,\infty)$. Under the sole assumptions that $V(-x) \simeq V(x) \simeq xV'(x)$ and $x^2 |V''(x)| \lesssim V(x)$, we prove a spectral multiplier theorem of Mihlin--Hörmander type for $\mathcal{L}$, whose smoothness requirement is optimal and independent of $V$. The as… ▽ More Let $\mathcal{L} = -\partial_x^2 - V(x) \partial_y^2$ be the Grushin operator on $\mathbb{R}^2$ with coefficient $V : \mathbb{R} \to [0,\infty)$. Under the sole assumptions that $V(-x) \simeq V(x) \simeq xV'(x)$ and $x^2 |V''(x)| \lesssim V(x)$, we prove a spectral multiplier theorem of Mihlin--Hörmander type for $\mathcal{L}$, whose smoothness requirement is optimal and independent of $V$. The assumption on the second derivative $V''$ can actually be weakened to a Hölder-type condition on $V'$. The proof hinges on the spectral analysis of one-dimensional Schrödinger operators, including universal estimates of eigenvalue gaps and matrix coefficients of the potential. △ Less

Submitted 26 July, 2021; originally announced July 2021.

Comments: 64 pages

MSC Class: 34L20; 35J70; 35H20; 42B15

Journal ref: Revista Matemática Iberoamericana, 39 no. 3 (2023), p. 897-974

Around $L^1$ (un)boundedness of Bergman and Szegö projections

Authors: Gian Maria Dall'Ara

Abstract: We consider the problem of $L^1$ (un)boundedness for a wide class of orthogonal projections, including Bergman projections on domains in complex manifolds and Szegö projections on abstract CR manifolds. We consider the problem of $L^1$ (un)boundedness for a wide class of orthogonal projections, including Bergman projections on domains in complex manifolds and Szegö projections on abstract CR manifolds. △ Less

Submitted 8 April, 2021; originally announced April 2021.

Comments: 23 pages

Exponential decay of Bergman kernels on complete Hermitian manifolds with Ricci curvature bounded from below

Authors: Franz Berger, Gian Maria Dall'Ara, Duong Ngoc Son

Abstract: Given a smooth positive measure $μ$ on a complete Hermitian manifold with Ricci curvature bounded from below, we prove a pointwise Agmon-type bound for the corresponding Bergman kernel, under rather general conditions involving the coercivity of an associated complex Laplacian on $(0,1)$-forms. Thanks to an appropriate version of the Bochner--Kodaira--Nakano basic identity, we can give explicit ge… ▽ More Given a smooth positive measure $μ$ on a complete Hermitian manifold with Ricci curvature bounded from below, we prove a pointwise Agmon-type bound for the corresponding Bergman kernel, under rather general conditions involving the coercivity of an associated complex Laplacian on $(0,1)$-forms. Thanks to an appropriate version of the Bochner--Kodaira--Nakano basic identity, we can give explicit geometric sufficient conditions for such coercivity to hold. Our results extend several known bounds in the literature to the case in which the manifold is neither assumed to be Kähler nor of "bounded geometry". The key ingredients of our proof are a localization formula for the complex Laplacian (of the kind used in the theory of Schrödinger operators) and a mean value inequality for subsolutions of the heat equation on Riemannian manifolds due to Li, Schoen, and Tam. We also show in an appendix that the so-called "twisted basic identities" are standard basic identities with respect to conformally Kähler metrics. △ Less

Submitted 13 February, 2019; v1 submitted 20 April, 2018; originally announced April 2018.

Comments: Appendix with discussion of "twisted basic identity" added

Journal ref: Complex Variables and Elliptic Equations, Volume 65, Issue 12 (2020), 2086-2111

A robust approach to sharp multiplier theorems for Grushin operators

Authors: Gian Maria Dall'Ara, Alessio Martini

Abstract: We prove a multiplier theorem of Mihlin-Hörmander type for operators of the form $-Δ_x - V(x) Δ_y$ on $\mathbb{R}^{d_1}_x \times \mathbb{R}^{d_2}_y$, where $V(x) = \sum_{j=1}^{d_1} V_j(x_j)$, the $V_j$ are perturbations of the power law $t \mapsto |t|^{2σ}$, and $σ\in (1/2,\infty)$. The result is sharp whenever $d_1 \geq σd_2$. The main novelty of the result resides in its robustness: this appears… ▽ More We prove a multiplier theorem of Mihlin-Hörmander type for operators of the form $-Δ_x - V(x) Δ_y$ on $\mathbb{R}^{d_1}_x \times \mathbb{R}^{d_2}_y$, where $V(x) = \sum_{j=1}^{d_1} V_j(x_j)$, the $V_j$ are perturbations of the power law $t \mapsto |t|^{2σ}$, and $σ\in (1/2,\infty)$. The result is sharp whenever $d_1 \geq σd_2$. The main novelty of the result resides in its robustness: this appears to be the first sharp multiplier theorem for nonelliptic subelliptic operators allowing for step higher than two and perturbation of the coefficients. The proof hinges on precise estimates for eigenvalues and eigenfunctions of one-dimensional Schrödinger operators, which are stable under perturbations of the potential. △ Less

Submitted 23 August, 2019; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 38 pages, accepted for publication in Transactions of the American Mathematical Society

MSC Class: 34L20; 35J70; 35H20; 42B15

Journal ref: Transactions of the American Mathematical Society, 373 n. 11 (2020), p. 7533-7574

On noncompactness of the $\overline\partial$-Neumann problem on pseudoconvex domains in $\mathbb{C}^3$

Authors: Gian Maria Dall'Ara

Abstract: In this paper we deal with the following question: is it true that any bounded smooth pseudoconvex domain in $\mathbb{C}^n$ whose boundary contains a $q$-dimensional complex manifold $M$ necessarily has a noncompact $\overline\partial$-Neumann operator $N_q$ ($1\leq q\leq n-1$)? We prove that a smooth bounded pseudoconvex domain $Ω\subseteq\mathbb{C}^3$ with a one-dimensional complex manifold… ▽ More In this paper we deal with the following question: is it true that any bounded smooth pseudoconvex domain in $\mathbb{C}^n$ whose boundary contains a $q$-dimensional complex manifold $M$ necessarily has a noncompact $\overline\partial$-Neumann operator $N_q$ ($1\leq q\leq n-1$)? We prove that a smooth bounded pseudoconvex domain $Ω\subseteq\mathbb{C}^3$ with a one-dimensional complex manifold $M$ in its boundary has a noncompact Neumann operator on $(0,1)$-forms, under the additional assumption that $bΩ$ has finite regular D'Angelo $2$-type at a point of $M$, improving previous results of Fu, Şahutoğlu, and Straube. △ Less

Submitted 4 May, 2017; v1 submitted 3 May, 2017; originally announced May 2017.

Coercivity of weighted Kohn Laplacians: the case of model monomial weights in $\mathbb{C}^2$

Authors: Gian Maria Dall'Ara

Abstract: The weighted Kohn Laplacian $\Box_\varphi$ is a natural second order elliptic operator associated to a weight $\varphi:\mathbb{C}^n\rightarrow\mathbb{R}$ and acting on $(0,1)$-forms, which plays a key role in several questions of complex analysis. We consider here the case of model monomial weights in $\mathbb{C}^2$, i.e., $ \varphi(z,w):=\sum_{(α,β)\inΓ}|z^αw^β|^2, $ where… ▽ More The weighted Kohn Laplacian $\Box_\varphi$ is a natural second order elliptic operator associated to a weight $\varphi:\mathbb{C}^n\rightarrow\mathbb{R}$ and acting on $(0,1)$-forms, which plays a key role in several questions of complex analysis. We consider here the case of model monomial weights in $\mathbb{C}^2$, i.e., $ \varphi(z,w):=\sum_{(α,β)\inΓ}|z^αw^β|^2, $ where $Γ\subseteq \mathbb{N}^2$ is finite. Our goal is to prove coercivity estimates of the form $\Box_\varphi\geq μ^2$, where $μ:\mathbb{C}^n\rightarrow\mathbb{R}$ acts by pointwise multiplication on $(0,1)$-forms, and the inequality is in the sense of self-adjoint operators. We recently proved (arxiv.org:1502.00865) how to derive from $μ$-coercivity estimates for $\Box_\varphi$ pointwise bounds for the weighted Bergman kernel associated to $\varphi$. Here we introduce a technique to establish $μ$-coercivity with $ μ(z,w)=c(1+|z|^a+|w|^b) \qquad(a,b\geq0),$ where $a,b\geq0$ depend (and are easily computable from) $Γ$. As a corollary we also prove that, for a wide class of model monomial weights, the spectrum of $\Box_\varphi$ is discrete if and only if the weight is not decoupled, i.e. $Γ$ contains at least a point $(α,β)$ with $α\neq0\neqβ$. Our methods comprise a new holomorphic uncertainty principle and linear optimization arguments. △ Less

Submitted 10 February, 2015; v1 submitted 9 February, 2015; originally announced February 2015.

Comments: 22 pages. arXiv admin note: text overlap with arXiv:1501.06311

Pointwise estimates of weighted Bergman kernels in several complex variables

Authors: Gian Maria Dall'Ara

Abstract: We prove new pointwise bounds for weighted Bergman kernels in $\mathbb{C}^n$, whenever a coercivity condition is satisfied by the associated weighted Kohn Laplacian on $(0,1)$-forms. Our results extend the ones obtained in $\mathbb{C}$ by Christ. Our main idea is to develop a version of Agmon theory (originally introduced to deal with Schrödinger operators) for weighted Kohn Laplacians on… ▽ More We prove new pointwise bounds for weighted Bergman kernels in $\mathbb{C}^n$, whenever a coercivity condition is satisfied by the associated weighted Kohn Laplacian on $(0,1)$-forms. Our results extend the ones obtained in $\mathbb{C}$ by Christ. Our main idea is to develop a version of Agmon theory (originally introduced to deal with Schrödinger operators) for weighted Kohn Laplacians on $(0,1)$-forms, inspired by the fact that these are unitarily equivalent to certain generalized Schrödinger operators. △ Less

Submitted 3 February, 2015; originally announced February 2015.

Comments: 26 pages

Matrix Schrödinger Operators and Weighted Bergman Kernels

Authors: Gian Maria Dall'Ara

Abstract: The aim of the present thesis is twofold: to study the problem of discreteness of the spectrum of Schrödinger operators with matrix-valued potentials in ${\mathbb R}^d$ (Chapter 1), and to prove new pointwise bounds for weighted Bergman kernels in ${\mathbb C}^n$ (chapters 2 and 3). These two themes are connected by the observation that the weighted Bergman kernel may be effectively studied by me… ▽ More The aim of the present thesis is twofold: to study the problem of discreteness of the spectrum of Schrödinger operators with matrix-valued potentials in ${\mathbb R}^d$ (Chapter 1), and to prove new pointwise bounds for weighted Bergman kernels in ${\mathbb C}^n$ (chapters 2 and 3). These two themes are connected by the observation that the weighted Bergman kernel may be effectively studied by means of the analysis of the weighted Kohn Laplacian, which in turn is unitarily equivalent to a Schödinger operator with matrix-valued potential. △ Less

Submitted 26 January, 2015; originally announced January 2015.

Comments: 104 pages. PhD thesis defended on December 22nd 2015 at Scuola Normale Superiore in Pisa. Supervisor: Fulvio Ricci.

Discreteness of the spectrum of Schrödinger operators with non-negative matrix-valued potentials

Authors: Gian Maria Dall'Ara

Abstract: We prove three results giving sufficient and/or necessary conditions for discreteness of the spectrum of Schrödinger operators with non-negative matrix-valued potentials, i.e., operators acting on $ψ\in L^2(\mathbb{R}^n,\mathbb{C}^d)$ by the formula $H_Vψ:=-Δψ+Vψ$, where the potential $V$ takes values in the set of non-negative Hermitian $d\times d$ matrices. The first theorem provides a character… ▽ More We prove three results giving sufficient and/or necessary conditions for discreteness of the spectrum of Schrödinger operators with non-negative matrix-valued potentials, i.e., operators acting on $ψ\in L^2(\mathbb{R}^n,\mathbb{C}^d)$ by the formula $H_Vψ:=-Δψ+Vψ$, where the potential $V$ takes values in the set of non-negative Hermitian $d\times d$ matrices. The first theorem provides a characterization of discreteness of the spectrum when the potential $V$ is in a matrix-valued $A_\infty$ class, thus extending a known result in the scalar case ($d=1$). We also discuss a subtlety in the definition of the appropriate matrix-valued $A_\infty$ class. The second result is a sufficient condition for discreteness of the spectrum, which allows certain degenerate potentials, i.e., such that $\det(V)\equiv0$. To formulate the condition, we introduce a notion of oscillation for subspace-valued mappings. Our third and last result shows that if $V$ is a $2\times2$ real polynomial potential, then $-Δ+V$ has discrete spectrum if and only if the scalar operator $-Δ+λ$ has discrete spectrum, where $λ(x)$ is the minimal eigenvalue of $V(x)$. △ Less

Submitted 12 February, 2015; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 23 pages, to appear in Journal of Functional Analysis

Uncertainty inequalities on groups and homogeneous spaces via isoperimetric inequalities

Authors: Gian Maria Dall'Ara, Dario Trevisan

Abstract: We prove a family of $L^p$ uncertainty inequalities on fairly general groups and homogeneous spaces, both in the smooth and in the discrete setting. The crucial point is the proof of the $L^1$ endpoint, which is derived from a general weak isoperimetric inequality. We prove a family of $L^p$ uncertainty inequalities on fairly general groups and homogeneous spaces, both in the smooth and in the discrete setting. The crucial point is the proof of the $L^1$ endpoint, which is derived from a general weak isoperimetric inequality. △ Less

Submitted 14 April, 2014; v1 submitted 5 August, 2013; originally announced August 2013.

Comments: 17 pages