Suppose $k$ is an algebraically closed field, and $A$ and $B$ are finitely generated, commutative, graded $k$-algebras. Suppose $\varphi:A\to B$ is a map of $k$-algebras. Notice if $B$ is a domain, then $\ker \varphi$ is prime, and if $\varphi$ is graded, then $\ker\varphi$ is homogeneous, so that certain properties of the map $\varphi:A\to B$ imply ideal-theoretic properties of $\ker\varphi$. Consider the following definition:
A map $\varphi:A\to B$ is called power surjective if for each $b\in B$ there is some $n\in\mathbb{N}$ such that $b^n\in\mathrm{im}\;\varphi$.
I'm interested in describing kernels of power surjective maps. What properties of $\ker\varphi$ are implied by the condition that $\varphi$ is power surjective? That is, what is a non-trivial ideal-theoretic condition $(\star)$ such that the statement
If $\varphi:A\to B$ is power surjective, then $\ker\varphi$ satisfies $(\star)$
is true?
There won't be any condition, since $\phi : A \to B$ and $A/\mathrm{ker}(\phi) \to B$ have the same image.