diff --git a/tex/bounds-on-semistabilisers.tex b/tex/bounds-on-semistabilisers.tex index cca04787d910fba6cba7c7a3e610ca9a38a08b3e..5998a9d888809c47cdd3b957355b61cf8bc849ae 100644 --- a/tex/bounds-on-semistabilisers.tex +++ b/tex/bounds-on-semistabilisers.tex @@ -1147,6 +1147,7 @@ lot when $m$ is small. \begin{corollary}[Third bound on $r$ on $\PP^2$ and principally polarised abelian surfaces] \label{cor:rmax_with_eps1} Suppose we are working over $\PP^2$ or a principally polarised abelian surface + with $\mathrm{Pic}(\ppas) = \ZZ\ell$ (or any other surfaces with $m=\ell^2=1$ or $2$). Let $v$ be a fixed Chern character, with $\beta_{-}\coloneqq\beta_{-}(v)=\frac{a_v}{n}$ rational and expressed in lowest terms. diff --git a/tex/computing-solutions.tex b/tex/computing-solutions.tex index f6e2aa7b6e823d51759020fdeb289eb2f5c90d2b..64a1c71b0509364d21e3367b9e6e66b4f9e33a68 100644 --- a/tex/computing-solutions.tex +++ b/tex/computing-solutions.tex @@ -261,7 +261,9 @@ the latter having already been discussed in that same section. In order to see a difference between the different patches, we use the Chern character $v=(45,54\ell,-41\frac{\ell^2}{2})$ for a smooth projective surface $X$ with a generator $\ell$ for $NS(X)$ such that $\ell^2=1$ or 2 (such as a -principally polarised surface or $\mathbb{P}^2$). +principally polarised surface +with $\mathrm{Pic}(\ppas) = \ZZ\ell$ +or $\mathbb{P}^2$). This example was chosen for the large rank $\chern_0(v)=45$, but also the large Bogomolov discriminant $\Delta(v)=4761\ell^2$, which are both indicators of the size of the bounds on the pseudo-semistabiliser ranks. diff --git a/tex/setting-and-problems.tex b/tex/setting-and-problems.tex index 284483292a573768bb8bbb9ce3aa9481379b2ff0..b24d44ef7f63af57da9bfa2758cfd0039a30e705 100644 --- a/tex/setting-and-problems.tex +++ b/tex/setting-and-problems.tex @@ -33,7 +33,8 @@ affect the results. We could introduce a slightly stronger definition including an extra condition on $e$ in terms of $r$ and $c$ to ensure that $u$ could arise from integral Chern classes. However, this will not affect finiteness questions considered later and this also - condition turns out to be vacuous for principally polarised abelian surfaces. + condition turns out to be vacuous for principally polarised abelian surfaces + with $\mathrm{Pic}(\ppas) = \ZZ\ell$. \end{remark} \begin{remark} Note $u$ does not need to be a Chern character of an actual sub-object of some