We prove certain optimal systolic inequalities for a closed Riemannian manifold (X,g), depending on a pair of parameters, n and b. Here n is the dimension of X, while b is its first Betti number. The proof of the inequalities involves constructing Abel-Jacobi maps from X to its Jacobi torus T^b, which are area-decreasing (on b-dimensional areas), with respect to suitable norms. These norms are the stable norm of g, the conformally invariant norm, as well as other L^p-norms. The case of equality is characterized in terms of the criticality of the lattice of deck transformations of T^b, while the Abel-Jacobi map is a harmonic Riemannian submersion. That the resulting inequalities are actually nonvacuous follows from an isoperimetric inequality of Federer and Fleming, in the assumption of the nonvanishing of the homology class of the lift of the typical fiber of the Abel-Jacobi map to the maximal free abelian cover.
We generalize optimal inequalities of C. Loewner and M. Gromov, by proving lower bounds for the total volume in terms of the homotopy systole and the stable systole. Our main tool is the construction of an area-decreasing map to the Jacobi torus, streamlining and generalizing the construction of the first author in collaboration with D. Burago. It turns out that one can successfully combine this construction with the coarea formula, to yield new optimal inequalities.
We present a new optimal systolic inequality for a closed Riemannian manifold X, which generalizes a number of earlier inequalities, including that of C. Loewner. We characterize the boundary case of equality in terms of the geometry of the Abel-Jacobi map, A_X, of X. For an extremal metric, the map A_X turns out to be a Riemannian submersion with minimal fibers, onto a flat torus. We characterize the base of J_X in terms of an extremal problem for Euclidean lattices, studied by A.-M. Bergé and J. Martinet. Given a closed manifold X that admits a submersion F to its Jacobi torus T^{b_1(X)}, we…
In recent papers Wu-Yau, Tosatti-Yang and Diverio-Trapani, used some natural differential inequalities for compact Kähler manifolds with quasi negative holomorphic sectional curvature to derive positivity of the canonical bundle. In this note we study the equality case of these inequalities.
We prove that the sharp Buser's inequality obtained in the framework of $\mathsf{RCD}(1,\infty)$ spaces by the first two authors is rigid, i.e. equality is obtained if and only if the space splits isomorphically a Gaussian. The result is new even in the smooth setting. We also show that the equality in Cheeger's inequality is never attained in the setting of $\mathsf{RCD}(K,\infty)$ spaces with finite diameter or positive curvature, and we provide several examples of spaces with Ricci curvature bounded below where these assumptions are not satisfied and the equality is attained.
In this paper we shall show that the boundary $\partial I_{p,q}$ of the hyperbolic building $I_{p,q}$ considered in M. Bourdon, \emph{Immeubles hyperboliques, dimension conforme et rigidité de Mostow} (Geometric And Functional Analysis, Vol 7 (1997), p 245-268) admits Poincaré type inequalities. Then by using Heinonen-Koskela's work, we shall prove Loewner capacity estimates for some families of curves of $\partial I_{p,q}$ and the fact that every quasiconformal homeomorphism $f : \partial I_{p,q} \longrightarrow \partial I_{p,q}$ is quasisymetric. Therefore by these results, the answers to ce…
We show that the geometry of a Riemannian manifold (M,g) is sensitive to the apparently purely homotopy-theoretic invariant of M known as the Lusternik-Schnirelmann category, denoted cat_{LS}(M). Here we introduce a Riemannian analogue of cat_{LS}(M), called the systolic category of M. It is denoted cat_{sys}(M), and defined in terms of the existence of systolic inequalities satisfied by every metric g, as initiated by C. Loewner and later developed by M. Gromov. We compare the two categories. In all our examples, the inequality cat_{sys}(M) \le cat_{LS}(M) is satisfied, which typically turns …
We study optimal curvature-free inequalities of the type discovered by C. Loewner and M. Gromov, using a generalisation of the Wirtinger inequality for the comass. Using a model for the classifying space BS^3 built inductively out of BS^1, we prove that the symmetric metrics of certain two-point homogeneous manifolds turn out not to be the systolically optimal metrics on those manifolds. We point out the unexpected role played by the exceptional Lie algebra E_7 in systolic geometry, via the calculation of Wirtinger constants. Using a technique of pullback with controlled systolic ratio, we cal…
We prove optimal systolic inequalities on Finsler Mobius bands relating the systole and the height of the Mobius band to its Holmes-Thompson volume. We also establish an optimal systolic in- equality for Finsler Klein bottles of revolution, which we conjecture to hold true for arbitrary Finsler metrics. Extremal metric families both on the Mobius band and the Klein bottle are also presented.
We prove some sharp systolic inequalities for compact $3$-manifolds with boundary. They relate the (relative) homological systoles of the manifold to its scalar curvature and mean curvature of the boundary. In the equality case, the universal cover of the manifold is isometric to a cylinder over a disk of nonnegative constant curvature.
In this paper we prove a mass-capacity inequality and a volumetric Penrose inequality for conformally flat manifolds, in arbitrary dimensions. As a by-product of the proofs, Pólya-Szegö and Aleksandrov-Fenchel inequalities for mean-convex Euclidean domains are obtained. For each inequality, the case of equality is characterized.
In this paper, we deals with isoperimetric-type inequalities for closed convex curves in the Euclidean plane R^2. We derive a family of parametric inequalities involving the following geometric functionals associated to a given convex curve with a simple Fourier series proof: length, area of the region included by the curve, area of the domain enclosed by the locus of curvature centers and integral of the radius of curvature. By using our isoperimetric-type inequalities, we also obtain some new geometric Bonnesen-type inequalities. Furthermore we investigate stability properties of such inequa…
The CR $δ$-invariant for CR-submanifolds was introduced in a recent article [B. Y. Chen, An optimal inequality for CR-warped products in complex space forms involving CR $δ$-invariant, Internat. J. Math. 23} (2012), no. 3, 1250045 (17 pages)]. In this paper, we prove two new optimal inequalities for anti-holomorphic submanifolds in complex space forms involving the CR $δ$-invariant. Moreover, we obtain some classification results for certain anti-holomorphic submanifolds in complex space forms which satisfy the equality case of either inequality.
In this paper we first prove some linear isoperimetric inequalities for submanifolds in the de Sitter-Schwarzschild and Reissner-Nordstrom manifolds. Moreover, the equality is attained. Next, we prove some monotonicity formulas for submanifolds with bounded mean curvature vector in warped product manifolds and, as consequences, we give lower bound estimates for the volume of these submanifolds in terms of the warping function. We conclude the paper with an isoperimetric inequality for minimal surfaces.
In the present paper, we discuss the non-trivial warped product pseudo slant submanifolds of type $M_{\bot }\times _{f}M_{θ}$ and $M_θ\times _{f}M_{\bot }$ of nearly Kenmotsu $f$-manifold $\overline{M}$. Firstly, we get some basic properties of these type warped product submanifolds. Then, we establish the general sharp inequalities for squared norm of second fundamental form for mixed totally geodesic warped product pseudo slant submanifolds of both cases, in terms of the warping function and the slant angle. Also the equality cases are verified. We show that some previous results are trivial…
Heintze--Karcher-Type Inequalities for the $p$-Laplacian and Serrin-Type Rigidity
Escola Politécnica de Pernambuco, Universidade de Pernambuco（伯南布哥联邦大学理学院）；Departamento de Matemática, Universidade Federal de Campina Grande（坎皮纳格兰德联邦大学数学系）
In this paper we prove the following geometric inequality in the hyperbolic space $\H^n$ ($n\ge 5)$, which is a hyperbolic Alexandrov-Fenchel inequality, \[\begin{array}{rcl} \ds \int_Σ\s_4 d μ\ge \ds\vs C_{n-1}^4ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} \right)^\frac 12 + \left(\frac{|Σ|}{ω_{n-1}} \right)^{\frac 12\frac {n-5}{n-1}} \right\}^2, \end{array}\] provided that $Σ$ is a horospherical convex hypersurface. Equality holds if and only if $Σ$ is a geodesic sphere in $\H^n$.
In this paper, we study warped product submanifolds of nearly trans-Sasakian manifolds. The non-existence of the warped product semi-slant submanifolds of the type $N_θ\times{_{f}N_T}$ is shown, whereas some characterization and new geometric obstructions are obtained for the warped products of the type $N_T\times{_{f}N_θ}$. We establish two general inequalities for the squared norm of the second fundamental form. The first inequality generalizes derived inequalities for some contact metric manifolds [16, 18, 19, 24], while by a new technique, the second inequality is constructed to express th…
We prove that the isoperimetric inequality due to Hersch-Payne-Schiffer for the n-th nonzero Steklov eigenvalue of a bounded simply-connected planar domain is sharp for all n=1,2,... The equality is attained in the limit by a sequence of simply-connected domains degenerating to the disjoint union of n identical disks. We give a new proof of this inequality for n=2 and show that it is strict in this case. Related results are also obtained for the product of two consecutive Steklov eigenvalues.
In this paper we first establish an optimal Sobolev type inequality for hypersurfaces in $\H^n$(see Theorem \ref{mainthm1}). As an application we obtain hyperbolic Alexandrov-Fenchel inequalities for curvature integrals and quermassintegrals. Precisely, we prove a following geometric inequality in the hyperbolic space $\H^n$, which is a hyperbolic Alexandrov-Fenchel inequality, \begin{equation*} \begin{array}{rcl} \ds \int_Σ\s_{2k}\ge \ds\vs C_{n-1}^{2k}ω_{n-1}\left\{\left(\frac{|Σ|}{ω_{n-1}} \right)^\frac 1k + \left(\frac{|Σ|}{ω_{n-1}} \right)^{\frac 1k\frac {n-1-2k}{n-1}} \right\}^k, \end{ar…
We study Bott-Chern and Aeppli cohomologies of a vector space endowed with two anti-commuting endomorphisms whose square is zero. In particular, we prove an inequality à la Frölicher relating the dimensions of the Bott-Chern and Aeppli cohomologies to the dimensions of the Dolbeault cohomologies. We prove that the equality in such an inequality à la Frölicher characterizes the validity of the so-called cohomological property of satisfying the $\partial\overline{\partial}$-Lemma. As an application, we study cohomological properties of compact either complex, or symplectic, or, more in general, …
We prove that an integral Cauchy-Riemann inequality holds for any pair of smooth functions $(f,h)$ on the 2-sphere $\mathbb{S}^2$, and equality holds iff $f$ and $h$ are related $λ_1$-eigenfunctions. We extend such inequality to 4-tuples of functions, only valid on the $L^2$-orthogonal complement of a suitable nonzero finite dimensional space of functions. As a consequence we prove that 2-spheres are not $Ω$-stable surfaces with parallel mean curvature in $\mathbb{R}^7$ for the associative calibration $Ω$.
By using optimal mass transport theory we prove a sharp isoperimetric inequality in ${\sf CD} (0,N)$ metric measure spaces assuming an asymptotic volume growth at infinity. Our result extends recently proven isoperimetric inequalities for normed spaces and Riemannian manifolds to a nonsmooth framework. In the case of $n$-dimensional Riemannian manifolds with nonnegative Ricci curvature, we outline an alternative proof of the rigidity result of S. Brendle (2021). As applications of the isoperimetric inequality, we establish Sobolev and Rayleigh-Faber-Krahn inequalities with explicit sharp const…
