A discrete anomaly-free $\mathbb{Z}_9$ that survives to the IR and forbids proton decay exactly, obtained by Higgsing a lepton-flavour non-universal $U(1)_X$ that also delivers neutrino masses through a high-scale seesaw. The leftover Goldstone becomes the QCD axion, and the same selection rules push PQ-violating operators to $d\gtrsim10$. Proton stability, seesaw flavour structure and axion quality from one symmetry, with thermal leptogenesis surviving in restricted regions.
hep-phastro-ph.COhep-thAbstract
A discrete, anomaly-free $\mathbb Z_9$ gauge symmetry may persist to the deep infrared, exactly forbidding proton decay. This $\mathbb Z_9$ can emerge from Higgsing a lepton-flavour non-universal $U(1)_X$ that generates realistic neutrino masses and mixings through a high-scale seesaw and predicts an additional light Goldstone. Adding an anomaly-free chiral heavy-quark sector turns this mode into the QCD axion. The same selection rules that ban proton decay also forbid PQ-violating operators below a suitably high dimension, $d_{\rm PQ}\gtrsim10$, including operators involving the heavy quarks that radiatively match onto the scalar potential. We construct explicit models viable when PQ breaking occurs before or after inflation; in the latter case, avoiding stable heavy relics and eliminating the string-wall network tightly constrain the heavy-quark spectrum. We identify restricted regions of parameter space where thermal leptogenesis remains viable and, for $d_{\rm PQ}\geq13$, can coexist with a high-quality axion constituting all of the dark matter.