Curvature-dimension conjecture for the α-Grushin plane
Curvature-dimension conjecture. For b1geqslant1b1 geqslant 1b1geqslant1, the b1b1b1-Grushin plane satisfies MCP(K,N)\mathrm{MCP}(K,N)MCP(K,N) if and only if K⩽0K\leqslant 0K⩽0 and