Showing 1–19 of 19 results for author: Mendes, R A E

Diameter and focal radius of submanifolds

Authors: Ricardo A. E. Mendes

Abstract: 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… ▽ More 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. △ Less

Submitted 17 April, 2025; originally announced April 2025.

Comments: 6 pages

MSC Class: 53A07 (Primary) 53C35; 53C40 (Secondary)

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

Authors: Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Abstract: 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… ▽ More 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. △ Less

Submitted 6 August, 2024; originally announced August 2024.

Comments: LaTeX2e, 17 pages

MSC Class: 15A39; 14P10; 22E46; 52A05; 90C22

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

Authors: Samuel Lin, Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 mul… ▽ More 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})$. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 27 pages, 1 figure

MSC Class: 53C12 (Primary) 53C20; 53C21; 57S15; 58J50; 35P20; 13A50 (Secondary)

A geometric take on Kostant's Convexity Theorem

Authors: Ricardo A. E. Mendes

Abstract: 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, repre… ▽ More 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. △ Less

Submitted 19 December, 2024; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: 12 pages. Following suggestions by anonymous referees, Theorem A has been rephrased and its proof shortened, and the exposition has been improved in sections 1--3. To appear in Transformation Groups

MSC Class: 57S15; 51F99

Geography of pinched four-manifolds

Authors: Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Abstract: 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$. 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$. △ Less

Submitted 3 June, 2021; originally announced June 2021.

Comments: LaTeX2e, 37 pages, 2 figures

MSC Class: 53C20; 53C21; 53C25; 57K40; 57R20; 52B55; 90C20

Maximality of Laplacian Algebras, with Applications to Invariant Theory

Authors: Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 re… ▽ More 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. △ Less

Submitted 19 December, 2023; v1 submitted 14 December, 2020; originally announced December 2020.

Comments: 19 pages; Title, abstract, and order of results in the Introduction changed in order to emphasize the main result (maximality of Laplacian algebras); other small changes in exposition in various places; no changes in the actual results. Version accepted for publication by AMPA

MSC Class: 13A50; 53C12

Journal ref: Ann. Mat. Pura Appl. (4), 202(2):1011-1031, 2023

Lifting isometries of orbit spaces

Authors: Ricardo A. E. Mendes

Abstract: 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. 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. △ Less

Submitted 3 May, 2021; v1 submitted 31 March, 2020; originally announced April 2020.

Comments: 9 pages. Final version, to appear in the Bulletin of the London Mathematical Society. Compared to the previous version, one of the corollaries to the main result has been reformulated as an easy-to-use formula (Proposition 5(b)). Moreover, many improvements to the presentation have been made, including the addition of a new section (Section 2)

MSC Class: 57S15; 51F99

Laplacian algebras, manifold submetries and the Inverse Invariant Theory Problem

Authors: Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 partit… ▽ More 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. △ Less

Submitted 6 February, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: 33 pages. Final version. To appear in GAFA

MSC Class: 53C12; 13A50

Convex Algebraic Geometry of Curvature Operators

Authors: Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Abstract: 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. Moreo… ▽ More 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. △ Less

Submitted 8 February, 2021; v1 submitted 10 August, 2019; originally announced August 2019.

Comments: LaTeX2e, 28 pages, final (revised) version. To appear in SIAM J. Appl. Algebra Geom

MSC Class: 14P10; 53B20; 53C21; 90C22

Journal ref: SIAM J. Appl. Algebra Geom. 5 (2021), no. 2, 200-228

A diameter gap for quotients of the unit sphere

Authors: Claudio Gorodski, Christian Lange, Alexander Lytchak, Ricardo A. E. Mendes

Abstract: 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. 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. △ Less

Submitted 3 June, 2021; v1 submitted 29 March, 2019; originally announced March 2019.

Comments: 24 pages. The presentation has been improved following suggestions by an anonymous referee. Version accepted for publication by the Journal of the European Mathematical Society (JEMS)

MSC Class: 57S15; 53B21; 20D05; 22E46; 51F99

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

Authors: Claudio Gorodski, Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 mani… ▽ More 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. △ Less

Submitted 23 March, 2018; originally announced March 2018.

Comments: 22 pages

MSC Class: 49Q05 (Primary); 53A10; 53C35; 53C40 (Secondary)

Virtual immersions, and a characterization of symmetric spaces

Authors: Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 essentia… ▽ More 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. △ Less

Submitted 28 November, 2017; originally announced November 2017.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1708.05881

Sectional curvature and Weitzenböck formulae

Authors: Renato G. Bettiol, Ricardo A. E. Mendes

Abstract: 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 indefini… ▽ More 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. △ Less

Submitted 19 August, 2020; v1 submitted 29 August, 2017; originally announced August 2017.

Comments: LaTeX2e, 25 pages, final version. To appear in Indiana Univ. Math. J

MSC Class: 20G05; 53B20; 53C20; 53C21; 58A14

Journal ref: Indiana Univ. Math. J. 71 (2022), no. 3, 1209-1242

Virtual immersions and minimal hypersurfaces in compact symmetric spaces

Authors: Ricardo A. E. Mendes, Marco Radeschi

Abstract: 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 f… ▽ More 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. △ Less

Submitted 21 May, 2021; v1 submitted 19 August, 2017; originally announced August 2017.

Comments: Version accepted for publication in Calc. Var. Partial Differential Equations

MSC Class: 49Q05; 53A10; 53C35

Strongly nonnegative curvature

Authors: Renato G. Bettiol, Ricardo A. E. Mendes

Abstract: 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. 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. △ Less

Submitted 29 July, 2016; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: LaTeX2e, 14 pages, revised version (some details given in previous versions are now omitted, following referee's request). To appear in Math. Ann

MSC Class: 53B20; 53C20; 53C21; 53C30; 53C35

Journal ref: Math. Ann. 368 (2017), no. 3-4, 971-986

Flag manifolds with strongly positive curvature

Authors: Renato G. Bettiol, Ricardo A. E. Mendes

Abstract: 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 homo… ▽ More 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. △ Less

Submitted 30 May, 2015; v1 submitted 28 November, 2014; originally announced December 2014.

Comments: LaTeX2e, 15 pages, 1 figure, final version. To appear in Math. Z

MSC Class: 53B20; 53C20; 53C21; 53C30; 53C35; 14M15

Journal ref: Math. Z. 280 (2015), no. 3-4, 1031-1046

Strongly positive curvature

Authors: Renato G. Bettiol, Ricardo A. E. Mendes

Abstract: 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… ▽ More 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. △ Less

Submitted 9 March, 2014; originally announced March 2014.

Comments: LaTeX2e, 26 pages

MSC Class: 53B20; 53C20; 53C21; 53C30; 53C35

Journal ref: Ann. Global Anal. Geom. 53 (2018), no. 3, 287-309

Extending tensors on polar manifolds

Authors: Ricardo A. E. Mendes

Abstract: Let $M$ be a Riemannian manifold with a polar action by the Lie group $G$, with section $Σ\subset M$ and generalized Weyl group $W$. We show that restriction to $Σ$ is a surjective map from the set of smooth $G$-invariant tensors on $M$ onto the set of smooth $W$-invariant tensors on $Σ$. Moreover, we show that every smooth $W$-invariant Riemannian metric on $Σ$ can be extended to a smooth $G$-inv… ▽ More Let $M$ be a Riemannian manifold with a polar action by the Lie group $G$, with section $Σ\subset M$ and generalized Weyl group $W$. We show that restriction to $Σ$ is a surjective map from the set of smooth $G$-invariant tensors on $M$ onto the set of smooth $W$-invariant tensors on $Σ$. Moreover, we show that every smooth $W$-invariant Riemannian metric on $Σ$ can be extended to a smooth $G$-invariant Riemannian metric on $M$ with respect to which the $G$-action remains polar with the same section $Σ$. △ Less

Submitted 11 August, 2013; originally announced August 2013.

Comments: arXiv admin note: text overlap with arXiv:1205.4765

Lifting tensors from orbifold quotients

Authors: Ricardo A. E. Mendes

Abstract: We deal with a Lie group G acting by isometries on a Riemannian manifold M, such that the quotient M/G is an orbifold, or, equivalently, all slice representations are polar. We show that any smooth orbifold symmetric 2-tensor on M/G lifts to a smooth G-invariant symmetric 2-tensor on M. The proof relies on a fact about the Invariant Theory of finite reflection groups which may be of independent in… ▽ More We deal with a Lie group G acting by isometries on a Riemannian manifold M, such that the quotient M/G is an orbifold, or, equivalently, all slice representations are polar. We show that any smooth orbifold symmetric 2-tensor on M/G lifts to a smooth G-invariant symmetric 2-tensor on M. The proof relies on a fact about the Invariant Theory of finite reflection groups which may be of independent interest. △ Less

Submitted 21 May, 2012; originally announced May 2012.

Comments: 24 pages