Geometric Inequalities and Generalized Ricci Bounds in the Heisenberg Group | Synapse