Skip to content
Snippets Groups Projects
Commit d80344cb authored by Luke Naylor's avatar Luke Naylor
Browse files

Separate terms out for bgmlv2 and link to previous subsection

parent 5bb70172
No related branches found
No related tags found
No related merge requests found
......@@ -186,6 +186,7 @@ and we shall be varying $\chern_0(E) = r$ to see when certain inequalities fail.
\subsection{$\Delta(E) + \Delta(G) \leq \Delta(F)$}
\label{subsect-d-bound-bgmlv1}
This condition expressed in terms of $R,C,D,r,c,d$ looks as follows:
......@@ -318,6 +319,7 @@ This can be rearranged to express a bound on $d$ as follows:
\end{sagesilent}
\begin{equation}
\label{eqn-bgmlv2_d_lowerbound}
\sage{bgmlv2_d_ineq}
\end{equation}
......@@ -328,17 +330,16 @@ This can be rearranged to express a bound on $d$ as follows:
bgmlv2_d_lowerbound_linear_term = bgmlv2_d_lowerbound.subs(1/r == 0).subs(r==1)*r
\end{sagesilent}
\begin{equation}
\sage{bgmlv2_d_lowerbound_exp_term}
\end{equation}
\begin{equation}
\sage{bgmlv2_d_lowerbound_const_term}
\end{equation}
\begin{equation}
\sage{bgmlv2_d_lowerbound_linear_term}
\end{equation}
Viewing equation \ref{eqn-bgmlv2_d_lowerbound} as a lower bound for $d$ in term
of $r$ again, there's a constant term
$\sage{bgmlv2_d_lowerbound_const_term}$,
a linear term
$\sage{bgmlv2_d_lowerbound_linear_term}$,
and a hyperbolic term
$\sage{bgmlv2_d_lowerbound_exp_term}$.
Notice that for $\beta = \beta_{-}$ (or $\beta_{+}$), that is when
$\chern^{\beta}_2(F)=0$, the constant and linear terms match up with the ones
for the bound found for $d$ in subsection \ref{subsect-d-bound-bgmlv1}.
\section{Conclusion}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment