That's an awful lot of technology.I wouldn't fault anybody for his lack of enthusiasm towards going to Mars where the average surface temperature is now a frigid minus sixty degrees Celsius.
However,, the human colonization of Mars, increasing living space, is the ultimate solution for getting rid of over-crowded places here on Earth.
There should be no worries about high levels of atmospheric CH4 and C02 due to industrialization or overpopulation, because these greenhouse gases could be sent away to Mars where they'd transform Mars into a warmer planet; this methane and carbon dioxide would help transform Mars into a way more comfortable place for sustaining life from Earth. Any excessive levels of these green house gases could simply be transported via the Space X interplanetary transport system from Earth to Mars.
The first step towards forming a man-made biosphere that is an appreciable fraction in size comparable to Earth's biosphere around Mars as well as on the surface of Mars ( terraforrming ) is the deployment of a magnetic shield that protects Mars against the solar wind stripping of its atmosphere. This magnetic shielding would subsequently allow the planet's atmosphere to reacquire its former density that'd be high enough to allow for sustainable surface liquid water.
Reference: https://phys.org/news/2017-03-nasa-magne...phere.html
An effective artificial magnetosphere placed at Langrangian point 1 from Mars is very achievable with foreseeable technology. This magnetic shielding apparatus could weigh less than a few hundred tonnes which is within the load capacity of a big Falcon 9 rocket. I'm guessing the cost of protecting the Martian atmosphere with an artificial magnetosphere would probably be similar to the cost of a small nuclear reactor.
In addition to CH4 (methane) and C02 (carbon dioxide), some few billion tonnes of sulfur hexafluoride gas (SF6) could increase Martian atmospheric surface temperatures by over 20 degrees Celsius. Sulfur hexafluoride - Simple English Wikipedia, the free encyclopedia
The SpaceX interplanetary transport system could deliver this super greenhouse gas to Mars at a cost of less than $2,000/kg.
https://en.wikipedia.org/wiki/SpaceX_Mar...astructure
A few hundred thousand tonnes of SF6 delivered annually to Mars would cost just approximately $500 billion yearly. This is less than a fraction of a percent of the global economic output value. An accumulation of a few billion tonnes of SF6 at an annual rate of a few hundred thousand tonnes would take less than ten thousand years. The annual cost of less than $100 per person per year on Earth would be totally worth transforming Mars into a world with triple its current atmospheric pressure and a warmer Mars with average surface temperatures greater than typical summer Antarctic temperatures.
The forming a man-made biosphere that is an appreciable fraction in size comparable to Earth's biosphere around Mars as well as on the surface of Mars ( terraforrming ) would create many high tech jobs, and save planet Earth by way of transferring away its harmful global warming green house gases to Mars where these gases would be beneficial as they'd contribute to forming a man-made biosphere that is an appreciable fraction in size comparble to Earth's biosphere. This project ( terraforming ) to make Mars a better place for human colonization there should be dubbed the "Green New Deal for Earth and Mars". I'd favor the "Green New Deal for Earth and Mars" instead of the Green New Deal that'd only be focused on Earth
I oppose treating Mars colonization as a solution to Earthly problems.
It's much cheaper, faster, & safer to address things here.