(С вечера забыли закрыть окно в одном из туалетов, а на улице +8.)
1. Во сне я рассматриваю вклад Михаила Ломоносова в науку, и проецирую его на пеший путь М.Ломоносова из Архангельска в Москву. Требуется доказать что это конечный морфизм. Первая реакция "Ну очевидно же, а как может быть иначе?". Но кто-то внутри нудит "А где чёткое доказательство?" Пытаюсь понять, как это вообще доказывать. Почему-то решаю, что это (разветвлённое) накрытие. А значит конечно.
Тут я полу-проснулся от холода, изо-всех сил вжимаюсь в одеяло. Перевернулся на другой бок, поджал одеяло (со сна), пытаюсь ещё раз проговорить док-во.
2. Значит это накрытие, вот так, а вот ramification locus. Он сингулярен в коразмерности 1, но это ведь никак не мешает конечности. Тут я вижу, что рядом с локусом стоят две девки, смотрят друг на друга. Обе дауны. Сразу понимаю, что они лесбиянки. Ну и что? Как это может нарушить конечность? Девки начинают вяло тянуться друг к другу, при этом закручиваются вокруг ramification locus (приближаясь к началу координат). Т.е. это мондромия, очень интересно. Подожди, а как вообще девки могут оказаться рядом с ramification locus? (Бред какой-то.) В любом случае, это конечный морфизм. Вот и всё доказательство.
Вдруг скорость закручивания девок неограниченно растёт (при их приближении к началу координат). Бред какой-то, так не бывает. Девки яростно вертятся вокруг ramification locus. Ой, а может это вообще не subanalytic germ? (В России всё бывает.) Блин, а как-же тогда вообще что-то доказывать?
Снова проснулся от холода (на этот раз полностью).