diff --git a/main.tex b/main.tex index 3749d16bcc371d60f21c615e65a15bf4e4723c3e..855086292377a16ab31ed42b5251fa9ece859315 100644 --- a/main.tex +++ b/main.tex @@ -505,7 +505,7 @@ semistabilizing sequence. \begin{lemma}[Numerical tests for left-wall pseudo-semistabilizers] \label{lem:pseudo_wall_numerical_tests} Let $v$ and $u$ be Chern characters with $\Delta(v), -\Delta(u)\geq 0$, and $v$ has positive rank. Let $P$ be a point on $\Theta_v^-$. +\Delta(u)\geq 0$, and $v$ has non-negative rank. Let $P$ be a point on $\Theta_v^-$. \noindent The following conditions: @@ -613,6 +613,8 @@ Therefore, it's also a pseudo-semistabilizer further along the circle at $Q$ Finally, consequence 4 along with $P$ being to the left of $V_u$ implies $\nu_P(u) > 0$ giving supposition b. +The case with rank 0 can be handled the same way. + \end{proof} \section{The Problem: Finding Pseudo-walls}