Как именно звучит тема?
Так и звучит "Каким образом понятие дифференцируемого многообразия позволяет сравнивать равномощные множества?"
Очень странная тема для реферата, честно говоря. Может, имеется в виду следующее: на множествах мощности до континуума включительно можно фиксировать структуры дифференцируемых многообразий. Таким образом можно получать из равномощных множеств (то есть эквивалентных в одном смысле, теоретико-множественном) принципиально различные дифференцируемые многообразия (то есть, как множества со структурами они уже не эквивалентны в другом смысле, геометрическом).
Если имелось в виду это, то это вопрос из области: "каким образом понятие равных треугольников в школьной геометрии позволяет сравнивать треугольники, которые не совпадают как множества?" То есть, речь о том, что вы задаёте какое-то новое отношение эквивалентности не на самих множествах, а на множествах с хорошими структурами. Как именно это делается в Вашем случае, можно найти в любом учебнике по дифференциальной геометрии, неподалёку от слова "диффеоморфизм".