Los magmas que originan rocas como la nefelinita, la carbonatita y la kimberlita, puede que se generen por el influjo de dióxido de carbono en el manto a profundidades mayores de 70 kilómetros.