diff --git a/figures/schmidt-arg-diag.pdf b/figures/schmidt-arg-diag.pdf
index caf83eb02cf156f96cbeb8a044b03b318ef6900d..bc33ced3f77b5eb80beacc01db2c9bad727c0f8b 100644
Binary files a/figures/schmidt-arg-diag.pdf and b/figures/schmidt-arg-diag.pdf differ
diff --git a/figures/schmidt-arg-diag.pdf_tex b/figures/schmidt-arg-diag.pdf_tex
index 8b6f58b99e5af10d5e81496caa3e68bbd46cda65..7f3ed3cea47e7f09dca2f99a92b621bf0a7a0822 100644
--- a/figures/schmidt-arg-diag.pdf_tex
+++ b/figures/schmidt-arg-diag.pdf_tex
@@ -54,8 +54,11 @@
\lineheight{1}%
\setlength\tabcolsep{0pt}%
\put(0,0){\includegraphics[width=\unitlength,page=1]{schmidt-arg-diag.pdf}}%
- \put(0.97823426,0.19192551){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_0(u)$}\end{tabular}}}}%
- \put(0.23162655,0.90858453){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_2^\beta(u)$}\end{tabular}}}}%
+ \put(0.72051844,0.18401749){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_0(u)$}\end{tabular}}}}%
+ \put(-0.00341324,0.92240317){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_2^{\beta_{-}}(u)$}\end{tabular}}}}%
\put(0,0){\includegraphics[width=\unitlength,page=2]{schmidt-arg-diag.pdf}}%
+ \put(0.09550205,0.78995793){\color[rgb]{0,0,0.70980392}\rotatebox{-90.02923919}{\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_0(u) \leq 0$}\end{tabular}}}}}%
+ \put(0.29555381,0.06939285){\color[rgb]{0.49411765,0,0.49803922}\rotatebox{0.12466608}{\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$\chern_2^{\beta_{-}}(u) \leq 0$}\end{tabular}}}}}%
+ \put(0.35268151,0.97647054){\color[rgb]{0.6627451,0.11372549,0}\rotatebox{-44.62594593}{\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}\textbf{$2\chern_0(u)\chern_2^{\beta_{-}}(u) \geq \chern_1^{\beta_{-}}(v)^2$}\end{tabular}}}}}%
\end{picture}%
\endgroup%
diff --git a/figures/schmidt-arg-diag.svg b/figures/schmidt-arg-diag.svg
index cffb0b29d95b0a2e56ca92d097566840fd9dfb2b..4ad411a5b396f5f135315a4d64339f4f2bc7db63 100644
--- a/figures/schmidt-arg-diag.svg
+++ b/figures/schmidt-arg-diag.svg
@@ -9,6 +9,9 @@
id="svg1"
inkscape:version="1.3.2 (091e20ef0f, 2023-11-25)"
sodipodi:docname="schmidt-arg-diag.svg"
+ inkscape:export-filename="schmidt-arg-diag.pdf"
+ inkscape:export-xdpi="96"
+ inkscape:export-ydpi="96"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:xlink="http://www.w3.org/1999/xlink"
@@ -25,16 +28,28 @@
inkscape:deskcolor="#d1d1d1"
inkscape:document-units="mm"
inkscape:zoom="1.0141844"
- inkscape:cx="211.007"
+ inkscape:cx="364.82519"
inkscape:cy="260.80071"
inkscape:window-width="1920"
inkscape:window-height="1011"
inkscape:window-x="0"
inkscape:window-y="0"
inkscape:window-maximized="1"
- inkscape:current-layer="layer2" />
+ inkscape:current-layer="svg1" />
<defs
id="defs1">
+ <rect
+ x="186.24495"
+ y="45.233393"
+ width="618.11138"
+ height="55.47869"
+ id="rect8" />
+ <rect
+ x="16.546548"
+ y="116.43054"
+ width="343.98409"
+ height="75.607247"
+ id="rect7" />
<inkscape:path-effect
effect="bspline"
id="path-effect7"
@@ -168,6 +183,12 @@
apply_with_weight="true"
only_selected="false"
uniform="false" />
+ <rect
+ x="16.546549"
+ y="116.43054"
+ width="529.31095"
+ height="42.824875"
+ id="rect7-9" />
</defs>
<g
inkscape:groupmode="layer"
@@ -197,7 +218,7 @@
transform="matrix(1.0483406,0,0,1.2374786,1.0656894,-19.578673)" />
</g>
<rect
- style="fill:#ffffff;fill-opacity:0.75617868;stroke:none;stroke-width:1.247;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:1.247, 3.741;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"
+ style="fill:#ffffff;fill-opacity:0.85782635;stroke:none;stroke-width:1.247;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:1.247, 3.741;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"
id="rect6"
width="137.09497"
height="131.68063"
@@ -224,26 +245,28 @@
transform="rotate(-90.000534)" />
<text
xml:space="preserve"
- style="font-weight:500;font-size:3.52778px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';fill:#000000;fill-opacity:1;stroke-width:0.264999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;paint-order:stroke fill markers"
+ style="font-weight:500;font-size:3.52778px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';text-align:start;text-anchor:start;white-space:pre;inline-size:29.7483;display:inline;fill:#000000;fill-opacity:1;stroke-width:0.264999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;paint-order:stroke fill markers"
x="97.823425"
y="80.807449"
- id="text1"><tspan
- sodipodi:role="line"
- id="tspan1"
- style="font-size:3.52778px;text-align:end;text-anchor:end;stroke-width:0.265"
+ id="text1"
+ transform="translate(-25.772375,0.79080121)"><tspan
x="97.823425"
- y="80.807449">$\chern_0(u)$</tspan></text>
+ y="80.807449"
+ id="tspan3"><tspan
+ style="stroke-width:0.265"
+ id="tspan2">$\chern_0(u)$</tspan></tspan></text>
<text
xml:space="preserve"
- style="font-weight:500;font-size:3.52778px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';fill:#000000;fill-opacity:1;stroke-width:0.264999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;paint-order:stroke fill markers"
+ style="font-weight:500;font-size:3.52778px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';text-align:start;text-anchor:start;white-space:pre;inline-size:54.6996;display:inline;fill:#000000;fill-opacity:1;stroke-width:0.264999;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;paint-order:stroke fill markers"
x="23.162653"
y="9.1415472"
- id="text1-2"><tspan
- sodipodi:role="line"
- id="tspan1-9"
- style="font-size:3.52778px;text-align:end;text-anchor:end;stroke-width:0.265"
- x="23.162657"
- y="9.1415472">$\chern_2^\beta(u)$</tspan></text>
+ id="text1-2"
+ transform="translate(-23.503433,-1.381864)"><tspan
+ x="23.162653"
+ y="9.1415472"
+ id="tspan5"><tspan
+ style="stroke-width:0.265"
+ id="tspan4">$\chern_2^{\beta_{-}}(u)$</tspan></tspan></text>
<path
style="fill:#000000;fill-opacity:1;stroke:none;stroke-width:1.247;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:1.247, 3.741;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"
d="m 69.701584,149.9995 c 0,0 17.012417,0.0285 17.012417,0.0285 0,0 -8.644801,-8.62642 -8.644801,-8.62642"
@@ -259,4 +282,30 @@
inkscape:original-d="M 69.701584,149.9995 86.714001,150.028 78.0692,141.40158"
transform="matrix(0.27283471,-0.01499662,0.02190901,0.99982058,0.91572976,-138.8483)" />
</g>
+ <text
+ xml:space="preserve"
+ transform="matrix(-1.3502221e-4,0.2645833,-0.2645833,-1.3502221e-4,46.737196,16.645156)"
+ id="text7"
+ style="font-weight:500;font-size:26.6667px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';text-align:start;white-space:pre;shape-inside:url(#rect7);display:inline;fill:#0000b5;fill-opacity:1;stroke:none;stroke-width:4.71307;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:4.71307, 14.1392;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"><tspan
+ x="16.546875"
+ y="140.54083"
+ id="tspan6">$\chern_0(u) \leq 0$</tspan></text>
+ <text
+ xml:space="preserve"
+ transform="matrix(0.26458271,-5.7568887e-4,5.7568887e-4,0.26458271,25.096456,55.885567)"
+ id="text7-0"
+ style="font-weight:500;font-size:26.6667px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';text-align:start;white-space:pre;shape-inside:url(#rect7-9);display:inline;fill:#7e007f;fill-opacity:1;stroke:none;stroke-width:4.71307;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:4.71307, 14.1392;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"><tspan
+ x="16.546875"
+ y="140.54083"
+ id="tspan7">$\chern_2^{\beta_{-}}(u) \leq 0$</tspan></text>
+ <text
+ xml:space="preserve"
+ transform="matrix(0.18830607,0.18586328,-0.18586328,0.18830607,10.844975,-43.050669)"
+ id="text8"
+ style="font-weight:500;font-size:13.3333px;font-family:'FiraMono Nerd Font Mono';-inkscape-font-specification:'FiraMono Nerd Font Mono Medium';text-align:start;white-space:pre;shape-inside:url(#rect8);display:inline;fill:#a91d00;fill-opacity:1;stroke:none;stroke-width:4.71307;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:3.2;stroke-dasharray:4.71307, 14.1392;stroke-dashoffset:0;stroke-opacity:1;paint-order:stroke fill markers"
+ inkscape:transform-center-x="0.90799469"
+ inkscape:transform-center-y="-24.712538"><tspan
+ x="186.24414"
+ y="57.287947"
+ id="tspan9">$2\chern_0(u)\chern_2^{\beta_{-}}(u) \geq \chern_1^{\beta_{-}}(v)^2$</tspan></text>
</svg>
diff --git a/tex/bounds-on-semistabilisers.tex b/tex/bounds-on-semistabilisers.tex
index 854915c55a6edb9733e2345c2514b15ad51d5eba..13a6ce2c53a05a5f5a51065640492a0f1e25f01f 100644
--- a/tex/bounds-on-semistabilisers.tex
+++ b/tex/bounds-on-semistabilisers.tex
@@ -67,11 +67,12 @@ untwisted one.
%\label{prop:proof:fig:pseudowall-pos}
\begin{center}
\def\svgwidth{\linewidth}
+ {\small
\subimport{../figures/}{schmidt-arg-diag.pdf_tex}
+ }
\end{center}
\end{minipage}
-
This is where the rationality of $\beta_{-}$ comes in. If
$\beta_{-} = \frac{a_v}{n}$ for some $a_v,n \in \ZZ$.
Then $\chern^{\beta_-}_2(E) \in \frac{1}{\lcm(m,2n^2)}\ZZ$.