Sea XX una variedad riemanniana completa, simplemente conexa que satisface una desigualdad isoperimétrica cuadrática (gruesa). (Es decir, existe una constante C0C0 tal que cada lazo de longitud ℓℓ tiene un disco de relleno de área ≤C0ℓ2+C0≤C0ℓ2+C0.)
Para puntos a,b,c∈Xa,b,c∈X, define AreaX(a,b,c)AreaX(a,b,c) como el área mínima de cualquier triángulo geodésico en XX con vértices a,b,ca,b,c. Define Areacomp(a,b,c)Areacomp(a,b,c) como el área de un triángulo euclidiano con longitudes de lado d(a,b)d(a,b), d(b,c)d(b,c) y d(c,a)d(c,a).
¿Existe una constante CC tal que para todo a,b,c∈Xa,b,c∈X tengamos:
AreaX(a,b,c)≤CAreacomp(a,b,c)+CAreaX(a,b,c)≤CAreacomp(a,b,c)+C?
Si la respuesta es no, ¿existen contraejemplos cuando XX es homogéneo?