Distributive proper forcing axiom and a left-right dichotomy of Cichoń’s diagram

In this paper, we study distributive proper forcing axiom (DPFA) and prove its consistency with a dichotomy of the Cichon’s diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invariants in Cichon’s diagram with the first two uncountable cardinals in the way that the left-hand side has the least possible cardinality while the right-hand side has the largest possible value, and preserve the evaluation along the way of forcing DPFA.