Почему нет? Пелагея по Святцам, но длинно....вот и сокращали. До Революции никаких Полин в России и не было (в смысле полного имени). Меня еще в детстве всегда занимало почему моя прабабушка Поля (для внуков)/Пелагея (для подруг/соседей), но никак не Полина, а соседка исключительно Полина? Теперь думаю что дело в возрасте - соседка была лет на 20 моложе и по святцам уже не называли, не крестили и т.д.