Polynomially effective equidistribution for certain unipotent subgroups in quotients of perfect Lie groups

We prove an effective equidistribution theorem for orbits of certain unipotent subgroups in arithmetic quotients of perfect Lie groups with a polynomial error term. Even for semisimple quotients, our result provides the first infinite family of examples where effective equidistribution with polynomial error rate is obtained for non-horospherical unipotent subgroups. The proof is based on the spectral gap of the ambient space, an effective closing lemma, Bourgain’s discretized projection theorem, and a sub-modularity inequality in irreducible representation. The sub-modularity inequality is crucial to our proof and is of independent interest. As applications, we obtain effective estimates on distribution of lattice orbits on homogeneous spaces, as well as an effective version of the Oppenheim conjecture for indefinite quadratic forms with a polynomial error rate in all dimension $d\ge 3$.