Function theory and Sobolev inequalities have been the target of investigation for many years. Sharp constants in these inequalities constitute a critical tool in geometric analysis. The $AB$ programme is concerned with sharp Sobolev inequalities on compact Riemannian manifolds. This text summarizes the results of contemporary research and gives an up-to-date report on the field.