Magma oceans are a common result of the high degree of heating that occurs during planet formation. It is thought that almost all of the large rocky bodies in the Solar System went through at least one magma ocean phase. In this paper, we review some of the ways in which magma ocean models for the Earth, Moon, and Mars match present day observations of mantle reservoirs, internal structure, and primordial crusts, and then we present new calculations for the oxidation state of the mantle produced during the magma ocean phase.The crystallization of magma oceans likely leads to a massive mantle overturn that may set up a stably stratified mantle. This may lead to significant delays or total prevention of plate tectonics on some planets. We review recent models that may help partly alleviate the mantle stability issue and lead to earlier onset of plate tectonics.
Magma oceans are commonMagma oceans appear to be a common outcome of formation processes for large rocky bodies [1,2]. Small planetesimals and embryos can form on very short timescales in the protoplanetary disk, so that they incorporate significant amounts of short-lived radionuclides such as 26 Al and 60 Fe that can produce enough heat to at least partially melt many of these objects [3,4]. Models suggest that the asteroid 4 Vesta, which is the source of the howardite-eucrite-diogenite (HED) meteorites, went through a magma ocean stage due to such short-lived heating [5][6][7]. Many iron meteorites, which are likely the remnants of differentiated planetesimals, have ages of only ~1 Myr after Solar System formation, indicating very early, short-lived magma oceans [8,9].Larger objects like the Earth take long enough to assemble that short-lived radionuclides cannot provide sufficient heating to melt them. For these larger, later-assembling bodies, substantial heating can come from accretionary impacts [e.g. 10,11] and gravitational segregation of metallic iron into the centre of the planet.Giant impacts also appear to be common in N-body simulations of rocky planet formation [12], and are likely to cause wide-spread melting that can lead to differentiation in both silicates and metals [13].In this paper we will discuss several ways in which forward magma ocean models do a good job of matching real-world observations of the Earth, Moon, and Mars. Magma ocean models can produce large, low-shear velocity provinces (LLSVPs) at the base of Earth's mantle through cumulate overturn and predict that these structures are stable over billions of years. Lunar magma ocean models can produce the internal differentiation of the Moon, including the anorthositic crust, the source regions for the picritic glasses and mare basalts, and the KREEP component, rich in incompatible elements. Models of the magma ocean on Mars can produce early crust, some of which may be preserved to the present day, and which could be hydrated by the earliest atmosphere to produce primordial clays. We also introduce new calculations that show that magma ocean models can produce the present-day man...