SMART U(1)X: standard model with axion, right handed neutrinos, two Higgs doublets and U(1)X gauge symmetry

To address five fundamental shortcomings of the Standard Model (SM) of particle physics and cosmology, we propose a phenomenologically viable framework based on a U(1)XxU(1)PQ extension of the SM, that we call "SMART U(1)X". The U(1)X gauge symmetry is a well-known generalization of the U(1)B-L symmetry and U(1)PQ is the global Peccei-Quinn (PQ) symmetry. Three right handed neutrinos are added to cancel U(1)X related anomalies, and they play a crucial role in understanding the observed neutrino oscillations and explaining the observed baryon asymmetry in the universe via leptogenesis. Implementation of PQ symmetry helps resolve the strong CP problem and also provides axion as a compelling dark matter (DM) candidate. The U(1)X gauge symmetry enables us to implement the inflection-point inflation scenario with Hinf less than or similar to 2x107 GeV, where Hinf is the value of Hubble parameter during inflation. This is crucial to overcome a potential axion domain wall problem as well as the axion isocurvature problem. The SMART U(1)X framework can be successfully implemented in the presence of SU(5) grand unification, as we briefly show.