35103dae8ee4a075.tex
1: \begin{definition}
2: We say that a divisor $D=\sum_{r=2}^{\nhalf} a_r \Delta_r$ on $\M_{0,n}$
3: is \emph{democratic} if for some symmetric function $f\co \ZZ_n \to \QQ_{\geq 0}$ 
4: such that $D=\DD(\ZZ_n, f; (1)_n)$ and for all $k$-tuples of positive integers $\vec{d}=(d_1,\dots,d_k)$
5: satisfying $d_1+\cdots+d_k=n$, the democratic weighting proves that $f$ is effective 
6: with respect to $\vec{d}$. Note that by Theorem \ref{P:weakly-semiample}, a democratic divisor is stratally effective boundary, hence nef. 
7: \end{definition}
8: