"[...]Недаром же я дочь Элронда. Когда он отправится в Гавань, я не пойду с ним: как и Лучиэнь, я выбрала смертную долю, и выбор мой столь же горек и столь же отраден.[...]" (c) ВК.
Разве это не означает, что Арвен стала смертной и проживёт жизнь смертной и уйдёт, как уходят все смертные, а не попадёт в Мандос, как бессмертные эльфы?
Иначе к чему вот это:
"осталась и Арвен, распростившись с братьями. Как прощалась она с отцом, никто не видел: они ушли в горы и долго-долго беседовали, горько было их расставанье на веки вечные." (с) ВК
Какие вечные веки, если бы они могли встретиться, пусть бы даже и в Мандосе?