arXiv subjects

Ricardo A. E. Mendes

Publications and source records attributed to Ricardo A. E. Mendes.

At least 19 recordsLinked to original sources

arXiv2025

Manifold submetries from compact homogeneous spaces

We show that singular Riemannian foliations, or, more generally, manifold submetries, defined on a compact normal homogeneous space, have algebraic nature. Moreover, in this case there exists a one-to-one correspondence between algebras of algebraic functions preserved by the Laplace--Beltrami operator, and manifold submetries. A key intermediate result is that, for any manifold submetry on a compact normal homogeneous space, the vector field given by the mean curvature of the fibers is basic, in the sense that it is related to a vector field in the base.

math.DG↗

arXiv2025

Two results on the Convex Algebraic Geometry of sets with continuous symmetries

We prove two results on convex subsets of Euclidean spaces invariant under an orthogonal group action. First, we show that invariant spectrahedra admit an equivariant spectrahedral description, i.e., can be described by an equivariant linear matrix inequality. Second, we show that the bijection induced by Kostant's Convexity Theorem between convex subsets invariant under a polar representation and convex subsets of a section invariant under the Weyl group preserves the classes of convex semi-algebraic sets, spectrahedral shadows, and rigidly convex sets.

math.AG↗

arXiv2025

Geography of pinched four-manifolds

We prove several new restrictions on the Euler characteristic and signature of oriented 4-manifolds with (positively or negatively) pinched sectional curvature. In particular, we show that simply connected 4-manifolds with $δ\leq \sec\leq 1$, where $δ=\frac{1}{1+3\sqrt3}\cong 0.161$, are homeomorphic to $S^4$ or $\mathbb C P^2$.

math.DG↗

arXiv2025

Diameter and focal radius of submanifolds

In this note, we give a characterization of immersed submanifolds of simply-connected space forms for which the quotient of the extrinsic diameter by the focal radius achieves the minimum possible value of $2$. They are essentially round spheres, or the ``Veronese'' embeddings of projective spaces. The proof combines the classification of submanifolds with planar geodesics due to K. Sakamoto with a version of A. Schur's Bow Lemma for space curves. Open problems and the relation to recent work by M. Gromov and A. Petrunin are discussed.

math.DG↗

arXiv2024

A geometric take on Kostant's Convexity Theorem

Given a compact Lie group $G$ and an orthogonal $G$-representation $V$, we give a purely metric criterion for a closed subset of the orbit space $V/G$ to have convex pre-image in $V$. In fact, this also holds with the natural quotient map $V\to V/G$ replaced with an arbitrary submetry $V\to X$. In this context, we introduce a notion of "fat section" which generalizes polar representations, representations of non-trivial copolarity, and isoparametric foliations. We show that Kostant's Convexity Theorem partially generalizes from polar representations to submetries with a fat section, and give examples illustrating that it does not fully generalize to this situation.

math.MG↗

arXiv2023

Maximality of Laplacian Algebras, with Applications to Invariant Theory

We show Laplacian algebras are maximal, and give applications to the Classical Invariant Theory of real orthogonal representations of compact groups, including: The solution of the Inverse Invariant Theory problem for finite groups. An if-and-only-if criterion for when a separating set is a generating set. And the introduction of a class of generalized polarizations which, in a certain class of representations (including all representations of finite groups), always generates the algebra of invariants of their diagonal representations.

math.RT↗

arXiv2023

A Weyl's Law for Singular Riemannian Foliations with Applications to Invariant Theory

We prove a version of Weyl's Law for the basic spectrum of a closed singular Riemannian foliation $(M,\mathcal{F})$ with basic mean curvature. In the special case of $M=\mathbb{S}^n$, this gives an explicit formula for the volume of the leaf space $\mathbb{S}^n/\mathcal{F}$ in terms of the algebra of basic polynomials. In particular, $\operatorname{Vol}(\mathbb{S}^n/\mathcal{F})$ is a rational multiple of $\operatorname{Vol}(\mathbb{S}^m)$, where $m=\dim (\mathbb{S}^n/\mathcal{F})$.

math.DG↗

arXiv2021

A diameter gap for quotients of the unit sphere

We prove that for any isometric action of a group on a unit sphere of dimension larger than one, the quotient space has diameter zero or larger than a universal dimension-independent positive constant.

math.MG↗

arXiv2021

Virtual immersions and minimal hypersurfaces in compact symmetric spaces

We show that closed, immersed, minimal hypersurfaces in a compact symmetric space satisfy a lower bound on the index plus nullity, which depends linearly on their first Betti number. Moreover, if either the minimal hypersurface satisfies a certain genericity condition, or if the ambient space is a product of two CROSSes, we improve this to a lower bound on the index alone, which is affine in the first Betti number. To prove these, we introduce a generalization of isometric immersions in Euclidean space. Compact symmetric spaces admit (and in fact are characterized by) such a structure with skew-symmetric second fundamental form.

math.DG↗

arXiv2021

Lifting isometries of orbit spaces

Given an orthogonal representation of a compact group, we show that any element of the connected component of the isometry group of the orbit space lifts to an equivariant isometry of the original Euclidean space. Corollaries include a simple formula for this connected component, which applies to ``most'' representations.

math.MG↗

arXiv2021

Convex Algebraic Geometry of Curvature Operators

We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $n\geq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreover, efficient algorithms are provided if $n=4$ to test membership in such a set. For $n\geq5$, algorithms using semidefinite programming are obtained from hierarchies of inner approximations by spectrahedral shadows and outer relaxations by spectrahedra.

math.DG↗

arXiv2020

Sectional curvature and Weitzenböck formulae

We establish a new algebraic characterization of sectional curvature bounds $\sec\geq k$ and $\sec\leq k$ using only curvature terms in the Weitzenböck formulae for symmetric $p$-tensors. By introducing a symmetric analogue of the Kulkarni-Nomizu product, we provide a simple formula for such curvature terms. We also give an application of the Bochner technique to closed $4$-manifolds with indefinite intersection form and $\sec>0$ or $\sec\geq0$, obtaining new insights into the Hopf Conjecture, without any symmetry assumptions.

math.DG↗

arXiv2020

Laplacian algebras, manifold submetries and the Inverse Invariant Theory Problem

Manifold submetries of the round sphere are a class of partitions of the round sphere that generalizes both singular Riemannian foliations, and the orbit decompositions by the orthogonal representations of compact groups. We exhibit a one-to-one correspondence between such manifold submetries and maximal Laplacian algebras, thus solving the Inverse Invariant Theory problem for this class of partitions. Moreover, a solution to the analogous problem is provided for two smaller classes, namely orthogonal representations of finite groups, and transnormal systems with closed leaves.

math.DG↗

arXiv2018

Robust index bounds for minimal hypersurfaces of isoparametric submanifolds and symmetric spaces

We find many examples of compact Riemannian manifolds $(M,g)$ whose closed minimal hypersurfaces satisfy a lower bound on their index that is linear in their first Betti number. Moreover, we show that these bounds remain valid when the metric $g$ is replaced with $g'$ in a neighbourhood of $g$. Our examples $(M,g)$ consist of certain minimal isoparametric hypersurfaces of spheres; their focal manifolds; the Lie groups $SU(n)$ for $n\leq 17$, and $Sp(n)$ for all $n$; and all quaternionic Grassmannians.

math.DG↗

arXiv2017

Virtual immersions, and a characterization of symmetric spaces

We define virtual immersions, as a generalization of isometric immersions in a pseudo-Riemannian vector space. We show that virtual immersions possess a second fundamental form, which is in general not symmetric. We prove that a manifold admits a virtual immersion with skew symmetric second fundamental form, if and only if it is a symmetric space, and in this case the virtual immersion is essentially unique.

math.DG↗

arXiv2016

Strongly nonnegative curvature

We prove that all currently known examples of manifolds with nonnegative sectional curvature satisfy a stronger condition: their curvature operator can be modified with a 4-form to become positive-semidefinite.

math.DG↗

arXiv2015

Flag manifolds with strongly positive curvature

We obtain a complete description of the moduli spaces of homogeneous metrics with strongly positive curvature on the Wallach flag manifolds $W^6$, $W^{12}$ and $W^{24}$, which are respectively the manifolds of complete flags in $\mathbb C^3$, $\mathbb H^3$ and $\mathbb{Ca}^3$. Together with our earlier work, this concludes the classification of simply-connected homogeneous spaces that admit a homogeneous metric with strongly positive curvature.

math.DG↗

arXiv2014

Strongly positive curvature

We begin a systematic study of a curvature condition (strongly positive curvature) which lies strictly between positive curvature operator and positive sectional curvature, and stems from the work of Thorpe in the 1970s. We prove that this condition is preserved under Riemannian submersions and Cheeger deformations, and that most compact homogeneous spaces with positive sectional curvature satisfy it.

math.DG↗