Skip to content
Preprint

Counterexamples to Escobar's conjecture

Aug 2026 · 2 citations · 16 references
Mathematics

Abstract

Escobar (J Funct Anal 165(1):101-116, 1999) conjectured that for every $n\ge 3$, an $n$-dimensional compact Riemannian manifold with nonnegative Ricci curvature and all boundary principal curvatures bounded below by $\kappa>0$ must satisfy $\sigma_1\geq \kappa$. We disprove this conjecture for every $n\geq 3$ by constructing conformal deformations of the Euclidean unit ball. We first establish a perturbative criterion, then construct explicit polynomial conformal factors satisfying this criterion. For every sufficiently small $t>0$, the resulting metrics $g_t=e^{2t\Phi}g_{\mathbb{R}^n}$ have positive Ricci curvature, every boundary principal curvature is strictly larger than $1$, and $\sigma_1(\mathbb{B}^n,g_t)<1$. The proof requires several computations, some of which were carried out in Mathematica. The Mathematica code is attached to this submission.

View source

Similar papers

Preprint Aug 2026

Conformal Boundary Deformations under Ricci Lower Bounds: Eigenvalue Counterexamples

Let $(M^{n+1},g)$ be a compact Riemannian manifold with boundary. Under the assumptions $\Ric_g\geq ng$ and $\II_g\geq0$, Wang proposed a sharp strengthening of the Choi--Wang--Reilly estimate, asserting that the first nonzero Laplace eigenvalue of the boundary is at least $n$; see [J. Geom. Anal. 31 (2021)]. We dispro...

Fa-Gui Li, Yu-Hang Zhao · 0 citations
Preprint Aug 2026

Counterexamples to Schiffer's Conjecture

The Schiffer conjecture states that if a smooth domain $\Omega \subset \mathbb{R}^n$ admits a Neumann eigenfunction of the Laplacian which is constant at the boundary, then the domain is a ball. It is intimately related to Pompeiu's problem, stating that if a nonzero function integrates zero over any rigid motion of $\...

G. Cao-Labora, Jaume de Dios Pont · 3 citations
Preprint Sep 2026

An explicit counterexample to the Hinrichs--Vybiral conjecture

Conjecture~2 of Hinrichs and Vyb\'iral asserts that every continuous, nonnegative, positive definite function $f$ on $\R^d$, normalized by $f(0)=1$, satisfies $[f(x_j-x_k)]_{j,k=1}^n\succeq \one\one^T/n$. We give an explicit trigonometric polynomial on $\R^7$ and eight points for which this inequality fails. All hypoth...

Jan Vybíral · 0 citations
Preprint Aug 2026

A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

For $m\geq 2$, let $c_p(m)$ be the all-dimensional best constant in $$ \left\|\sum_{k=1}^m A_k\right\|_p \leq c_p(m)\left\|\sum_{k=1}^m |A_k|\right\|_p. $$ Tang and Zhang conjectured an explicit formula for every finite $p>1$. We disprove the conjecture with two explicit real $2\times 2$ rank-one matrices at $p=3/2$. T...

Zi-Jian Zeng, Hou-De Liu, Kurunathan Ratnavelu · 2 citations
Preprint Sep 2026

The Zygmund conjecture and Rey's exponential integrability conjecture

We prove the Zygmund conjecture in all parameters: the maximal operator associated with products of cubes with side lengths $(s_1,\ldots,s_{m-1},\phi(s_1,\ldots,s_{m-1}))$, where $\phi$ is any positive coordinatewise nondecreasing function, satisfies the weak $L(\log L)^{m-2}$ estimate for every $m\geq3$. The estimate...

Henri Martikainen · 0 citations
Preprint Aug 2026

The weak Markus--Yamabe conjecture fails in dimension 14

We show that the weak Markus--Yamabe conjecture fails in every dimension $n\geq14$. We first prove a chain realization theorem: every polynomial Keller map $F=\I+H$ of $\R^n$ with component degrees $d_1,\ldots,d_n$ yields an explicit polynomial vector field on $\R^N$, with $N=\sum_i\max(d_i,2)-n$, whose Jacobian matrix...

Álvaro Castañeda, Gerardo Honorato, Francisco Valenzuela-Henríquez · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.