Sea $X$ una variedad riemanniana completa, simplemente conexa que satisface una desigualdad isoperimétrica cuadrática (gruesa). (Es decir, existe una constante $C_{0}$ tal que cada lazo de longitud $\ell$ tiene un disco de relleno de área $\leq C_{0}\ell^{2} + C_{0}$.)
Para puntos $a, b, c\in X$, define $Area_{X}(a,b,c)$ como el área mínima de cualquier triángulo geodésico en $X$ con vértices $a, b, c$. Define $Area_{comp}(a,b,c)$ como el área de un triángulo euclidiano con longitudes de lado $d(a,b)$, $d(b,c)$ y $d(c,a)$.
¿Existe una constante $C$ tal que para todo $a, b, c\in X$ tengamos:
$Area_{X}(a,b,c)\leq C Area_{comp}(a,b,c)+C$?
Si la respuesta es no, ¿existen contraejemplos cuando $X$ es homogéneo?