A -convex
body in Euclidean space
, for
, is a compact convex
body with nonempty interior representable as an
intersection of closed balls of radius
. This is a curvature constraint stronger than
ordinary convexity. A
-convex lens is the intersection of two such balls
(Borisenko and Drach 2014, Drach and Tatarko 2023).
The Borisenko conjecture states that these lenses minimize volume at prescribed surface
area. Drach and Tatarko (2026) proved the assertion in every dimension . For constant-curvature spaces, the analogous
definition uses regions bounded by hypersurfaces of constant normal curvature
. In hyperbolic space these are not always ordinary
geodesic balls.