Function theory and Sobolev inequalities have been the target of investigation for decades. Sharp constants in these inequalities constitute a critical tool in geometric analysis. The $AB$ program is concerned with sharp Sobolev inequalities on compact Riemannian manifolds. This book describes various results.