The Iyengar-Ma-Walker Dutta multiplicity conjecture for complete local domains of positive characteristic

Corollary of the uniform complex estimate: for a complete Noetherian local domain $R$ of characteristic $p>0$ and every short complex $F$ over $R$, the Dutta multiplicity exists and $\chi_\infty(F)\ge e(R)$. This is the complete-domain, positive-characteristic case of IMW Conjecture 8.1; the general conjecture for all complete local rings (and mixed characteristic) is not claimed. The paper notes it is a consequence of, not an input to, its proof of Lech's conjecture.

Corollary of the uniform complex estimate: for a complete Noetherian local domain $R$ of characteristic $p>0$ and every short complex $F$ over $R$, the Dutta multiplicity exists and $\chi_\infty(F)\ge e(R)$. This is the complete-domain, positive-characteristic case of IMW Conjecture 8.1; the general conjecture for all complete local rings (and mixed characteristic) is not claimed. The paper notes it is a consequence of, not an input to, its proof of Lech's conjecture.