  The purpose of this paper is to initiate a new attack on Arveson's resistant
conjecture, that all graded submodules of the $d$-shift Hilbert module $H^2$
are essentially normal. We introduce the stable division property for modules
(and ideals): a normed module $M$ over the ring of polynomials in $d$ variables
has the stable division property if it has a generating set $\{f_1, ..., f_k\}$
such that every $h \in M$ can be written as $h = \sum_i a_i f_i$ for some
polynomials $a_i$ such that $\sum \|a_i f_i\| \leq C\|h\|$. We show that
certain classes of modules have this property, and that the stable
decomposition $h = \sum a_i f_i$ may be obtained by carefully applying
techniques from computational algebra. We show that when the algebra of
polynomials in $d$ variables is given the natural $\ell^1$ norm, then every
ideal is linearly equivalent to an ideal that has the stable division property.
We then show that a module $M$ that has the stable division property (with
respect to the appropriate norm) is $p$-essentially normal for $p > \dim(M)$,
as conjectured by Douglas. This result is used to give a new, unified proof
that certain classes of graded submodules are essentially normal. Finally, we
reduce the problem of determining whether all graded submodules of the
$d$-shift Hilbert module are essentially normal, to the problem of determining
whether all ideals generated by quadratic scalar valued polynomials are
essentially normal.
