A surface with discontinuous isoperimetric profile and expander manifolds (Q2181571)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A surface with discontinuous isoperimetric profile and expander manifolds
scientific article

    Statements

    A surface with discontinuous isoperimetric profile and expander manifolds (English)
    0 references
    0 references
    0 references
    19 May 2020
    0 references
    In the introduction, the authors define expander sequences of manifolds as follows. ``Let \(M_n^k\) be a sequence of closed \(k\)-dimensional Riemannian manifolds all of which have volume \(1\). We say that it is an expander sequence (or an expander manifold) if for any \(n\) any smooth hypersurface \(S_n^{k-1}\) separating \(M_n^k\) in two open sets both of which have volume at least \(1/n\), has \((k-1)\)-volume at least equal to \(n\).'' They also define the isoperimetric profile function of a manifold as follows. ``If \((M^n,\,g)\) is a Riemannian manifold the isoperimetric profile function of \(M^n\) is a function \(I_M : (0,\,\operatorname{vol}(M))\rightarrow\mathbb{R}^+\) defined by: \[ I_M(t)=\inf_\Omega \{\operatorname{vol}_{n-1}(\partial \Omega):\Omega\subset M^n,\,\operatorname{vol}_n(\Omega)=t\} \] where \(\Omega\) ranges over all open sets of \(M^n\) with smooth boundary. We note that we don't require \(\Omega\) to be connected.'' It turns out that \(I_M(t)\) is an upper semi-continuous but not necessarily continuous function. In Section 2, the authors use the concept of expander manifolds to show that there exists a complete connected 2-dimensional Riemannian manifold with discontinuous isoperimetric profile. This answers a question of \textit{S. Nardulli} and \textit{P. Pansu} [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 18, No. 2, 537--549 (2018; Zbl 1396.53058)]. In Section 3, the authors show that, for every \(\epsilon,\,M>0\) there is a Riemannian sphere \(S\) of volume \(1\), such that every (not necessarily connected) surface separating \(S\) in two regions of volume greater than \(\epsilon\) has area greater than \(M\), again with the help of expander manifolds. The article ends with a discussion and open questions (Section 4).
    0 references
    isoperimetric inequality
    0 references
    isoperimetric profile
    0 references
    expander sequence
    0 references
    expander manifold
    0 references

    Identifiers