Newer
Older
\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{graphicx}
\usepackage{hyperref}
\usepackage{color}
\usepackage{subcaption}
\usepackage{cancel}
\usepackage[
backend=biber,
style=alphabetic,
sorting=ynt
]{biblatex}
\addbibresource{references.bib}
\newcommand{\NN}{\mathbb{N}}
\newcommand{\coh}{\operatorname{coh}}
\newcommand{\homol}{\mathcal{H}}
\newcommand{\firsttilt}[1]{\mathcal{B}^{#1}}
\newcommand{\bddderived}{\mathcal{D}^{b}}
\newcommand{\centralcharge}{\mathcal{Z}}
\newcommand{\minorheading}[1]{{\noindent\normalfont\normalsize\bfseries #1}}
\newtheorem{theorem}{Theorem}[section]
Luke Naylor
committed
\newtheorem{corrolary}{Corrolary}[section]
Luke Naylor
committed
\newtheorem{lemma}{Lemma}[section]
\newtheorem{fact}{Fact}[section]
\newtheorem{example}{Example}[section]
\newtheorem{lemmadfn}{Lemma/Definition}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{problem}{Problem Statement}
\begin{sagesilent}
# Requires extra package:
#! sage -pip install "pseudowalls==0.0.3" --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
from pseudowalls import *
Δ = lambda v: v.Q_tilt()
mu = stability.Mumford().slope
def beta_minus(v):
beta = stability.Tilt().beta
solutions = solve(
stability.Tilt(alpha=0).degree(v)==0,
beta)
return min(map(lambda s: s.rhs(), solutions))
class Object(object):
pass
\title{Tighter Bounds for Ranks of Tilt Semistabilizers on Picard Rank 1 Surfaces
\\[1em] \large
Practical Methods for Narrowing Down Possible Walls}
\begin{abstract}
abstract content
\end{abstract}
\newpage
The theory of Bridgeland stability conditions \cite{BridgelandTom2007SCoT} on
complexes of sheaves was developed as a generalisation of stability for vector
bundles. The definition is most analoguous to Mumford stability, but is more
aware of the features that sheaves can have on spaces of dimension greater
than 1. Whilst also asymptotically matching up with Gieseker stability.
For K3 surfaces, explicit stability conditions were defined in
\cite{Bridgeland_StabK3}, and later shown to also be valid on other surfaces.
The moduli spaces of stable objects of some fixed Chern character $v$ is
studied, as well as how they change as we vary the Bridgeland stability
condition. They in fact do not change over whole regions of the stability
space (called chambers), but do undergo changes as we cross `walls' in the
stability space. These are where there is some stable object $F$ of $v$ which
has a subobject who's slope overtakes the slope of $v$, making $F$ unstable
after crossing the wall.
% (come back to these when adjusting to general Picard rank 1)
In this document we concentrate on two surfaces: Principally polarized abelian
surfaces and the projective surface $\PP^2$. Although this can be generalised
for Picard rank 1 surfaces, the formulae will need adjusting.
The Bridgeland stability conditions (defined in \cite{Bridgeland_StabK3}) are
given by two parameters $\alpha \in \RR_{>0}$, $\beta \in \RR$, which will be
illustrated throughout this article with diagrams of the upper half plane.
It is well known that for any rational $\beta_0$,
the vertical line $\{\sigma_{\alpha,\beta_0} \colon \alpha \in \RR_{>0}\}$ only
intersects finitely many walls
\cite[Thm 1.1]{LoJason2014Mfbs}
\cite[Prop 4.2]{alma9924569879402466}
\cite[Lemma 5.20]{MinaHiroYana_SomeModSp}.
A consequence of this is that if
$\beta_{-}$ is rational, then there can only be finitely many circular walls to the
On the other hand, when $\beta_{-}$ is not rational, \cite{yanagida2014bridgeland}
showed that there are infinitely many walls.
This dichotomy does not only hold for real walls, realised by actual objects in
$\bddderived(X)$, but also for pseudowalls. Here pseudowalls are defined as
`potential' walls, induced by hypothetical Chern characters of semistabilizers
which satisfy certain numerical conditions which would be satisfied by any real
destabilizer, regardless of whether they are realised by actual semistabilizers
in $\bddderived(X)$ (dfn \ref{dfn:pseudo-semistabilizer}).
Since real walls are a subset of pseudowalls, the irrational $\beta_{-}$ case
follows immediately from the corresponding case for real walls.
However, the rational $\beta_{-}$ case involves showing that the following
conditions only admit finitely many solutions (despite the fact that the same
conditions admit infinitely many solutions when $\beta_{-}$ is irrational).
For a semistabilizing sequence
$E \hookrightarrow F \twoheadrightarrow G$ in $\mathcal{B}^\beta$
we have the following conditions.
There are some Bogomolov-Gieseker inequalities:
$0 \leq \Delta(E), \Delta(G)$.
We also have a condition relating to the tilt category $\firsttilt\beta$:
$0 \leq \chern^\beta_1(E) \leq \chern^\beta_1(F)$.
Finally, there is a condition ensuring that the radius of the circular wall is
strictly positive: $\chern^{\beta_{-}}_2(E) > 0$.
For any fixed $\chern_0(E)$, the inequality
$0 \leq \chern^{\beta}_1(E) \leq \chern^{\beta}_1(F)$,
allows us to bound $\chern_1(E)$. Then, the other inequalities allow us to
bound $\chern_2(E)$. The final part to showing the finiteness of pseudowalls
would be bounding $\chern_0(E)$. This has been hinted at in
\cite{SchmidtBenjamin2020Bsot} and done explicitly by Benjamin Schmidt within a
SageMath \cite{sagemath} library which computes pseudowalls
\cite{SchmidtGithub2020}.
Here we discuss these bounds in more detail, along with the methods used,
followed by refinements on them which give explicit formulae for tighter bounds
on $\chern_0(E)$ of potential destabilizers $E$ of $F$.
\section{Setting and Definitions: Clarifying `pseudo'}
Throughout this article, as noted in the introduction, we will be exclusively
working over one of the following two surfaces: principally polarized abelian
surfaces and $\PP^2$.
\begin{definition}[Pseudo-semistabilizers]
\label{dfn:pseudo-semistabilizer}
% NOTE: SURFACE SPECIALIZATION
Given a Chern Character $v$, and a given stability
condition $\sigma_{\alpha,\beta}$,
a \textit{pseudo-semistabilizing} $u$ is a `potential' Chern character:
\[
u = \left(r, c\ell, d \frac{1}{2} \ell^2\right)
\]
which has the same tilt slope as $v$: $\nu_{\alpha,\beta}(u) = \nu_{\alpha,\beta}(v)$.
\noindent
Furthermore the following inequalities are satisfied:
\begin{itemize}
\item $\Delta(u) \geq 0$
\item $\Delta(v-u) \geq 0$
\item $0 \leq \chern_1^{\beta}(u) \leq \chern_1^{\beta}(v)$
Note $u$ does not need to be a Chern character of an actual sub-object of some
object in the stability condition's heart with Chern character $v$.
At this point, and in this document, we do not care about whether
pseudo-semistabilizers are even Chern characters of actual elements of
$\bddderived(X)$, some other sources may have this extra restriction too.
\begin{definition}[Pseudo-walls]
\label{dfn:pseudo-wall}
Let $u$ be a pseudo-semistabilizer of $v$, for some stability condition.
Then the \textit{pseudo-wall} associated to $u$ is the set of all stablity
conditions where $u$ is a pseudo-semistabilizer of $v$.
\end{definition}
% TODO possibly reference forwards to Bertram's nested wall theorem section to
% cover that being a pseudo-semistabilizer somewhere implies also on whole circle
\begin{lemma}[Sanity check for Pseudo-semistabilizers]
% NOTE: SURFACE SPECIALIZATION
Given a stability
condition $\sigma_{\alpha,\beta}$,
if $E\hookrightarrow F\twoheadrightarrow G$ is a semistabilizing sequence in
$\firsttilt\beta$ for $F$.
Then $\chern(E)$ is a pseudo-semistabilizer of $\chern(F)$
\end{lemma}
Suppose $E\hookrightarrow F\twoheadrightarrow G$ is a semistabilizing
sequence with respect to a stability condition $\sigma_{\alpha,\beta}$.
\begin{equation*}
\chern(E) = -\chern(\homol^{-1}_{\coh}(E)) + \chern(\homol^{0}_{\coh}(E))
\end{equation*}
Therefore, $\chern(E)$ is of the form $(r,c\ell,d\frac{1}{2}\ell^2)$
provided that this is true for any coherent sheaf.
For any coherent sheaf $H$, we have the following:
\begin{equation*}
\chern(H) = \left(c_0(H), c_1(H), - c_2(H) + \frac{1}{2} {c_1(H)}^2\right)
\end{equation*}
Given that $\ell$ generates the Neron-Severi group, $c_1(H)$ can then be
written as a multiple of $\ell$.
Furthermore, for $\PP^2$ and principally polarized abelian surfaces,
$\ell^2=1$ or $2$.
This fact along with $c_2$ being an integer on surfaces implies that
$\chern(H)$ (and hence $\chern(E)$ too) is of the required form
$(r,c\ell,d\frac{1}{2}\ell^2)$ for some $r,c,d \in \ZZ$.
Since all the objects in the sequence are in $\firsttilt\beta$, we have
$\chern_1^{\beta} \geq 0$ for each of them. Due to additivity
($\chern(F) = \chern(E) + \chern(G)$), we can deduce
$0 \leq \chern_1^{\beta}(E) \leq \chern_1^{\beta}(F)$.
$E \hookrightarrow F \twoheadrightarrow G$ being a semistabilizing sequence
means $\nu_{\alpha,\beta}(E) = \nu_{\alpha,\beta}(F) = \nu_{\alpha,\beta}(F)$.
% MAYBE: justify this harder
But also, that this is an instance of $F$ being semistable, so $E$ must also
be semistable
(otherwise the destabilizing subobject would also destabilize $F$).
Similarly $G$ must also be semistable too.
$E$ and $G$ being semistable implies they also satisfy the Bogomolov
inequalities:
% TODO ref Bogomolov inequalities for tilt stability
$\Delta(E), \Delta(G) \geq 0$.
Expressing this in terms of Chern characters for $E$ and $F$ gives:
$\Delta(\chern(E)) \geq 0$ and $\Delta(\chern(F)-\chern(E)) \geq 0$.
\end{proof}
\section{Characteristic Curves of Stability Conditions Associated to Chern
Characters}
Considering the stability conditions with two parameters $\alpha, \beta$ on
Picard rank 1 surfaces.
We can draw 2 characteristic curves for any given Chern character $v$ with
$\Delta(v) \geq 0$ and positive rank.
These are given by the equations $\chern_i^{\alpha,\beta}(v)=0$ for $i=1,2$, and
are illustrated in Fig \ref{fig:charact_curves_vis}
(dotted line for $i=1$, solid for $i=2$).
\begin{definition}[Characteristic Curves $V_v$ and $\Theta_v$]
Given a Chern character $v$, with positive rank and $\Delta(v) \geq 0$, we
define two characteristic curves on the $(\alpha, \beta)$-plane:
\begin{align*}
V_v &\colon \chern_1^{\alpha, \beta}(v) = 0 \\
\Theta_v &\colon \chern_2^{\alpha, \beta}(v) = 0
\end{align*}
\begin{fact}[Geometry of Characteristic Curves]
The following facts can be deduced from the formulae for $\chern_i^{\alpha, \beta}(v)$
as well as the restrictions on $v$:
\begin{itemize}
\item $V_v$ is a vertical line at $\beta=\mu(v)$
\item $\Theta_v$ is a hyperbola with assymptotes angled at $\pm 45^\circ$
crossing where $V_v$ meets the $\beta$-axis: $(\mu(v),0)$
\item $\Theta_v$ is oriented with left-right branches (as opposed to up-down).
The left branch shall be labelled $\Theta_v^-$ and the right $\Theta_v^+$.
\item The gap along the $\beta$-axis between either branch of $\Theta_v$
and $V_v$ is $\sqrt{\Delta(v)}/\chern_0(v)$.
\item When $\Delta(v)=0$, $\Theta_v$ degenerates into a pair of lines, but the
labels $\Theta_v^\pm$ will still be used for convenience.
\end{itemize}
\end{fact}
\minorheading{Relevance of the vertical line $V_v$}
By definition of the first tilt $\firsttilt\beta$, objects of Chern character
$v$ can only be in $\firsttilt\beta$ on the left of $V_v$, where
$\chern_1^{\alpha,\beta}(v)>0$, and objects of Chern character $-v$ can only be
in $\firsttilt\beta$ on the right, where $\chern_1^{\alpha,\beta}(-v)>0$. In
fact, if there is a Gieseker semistable coherent sheaf $E$ of Chern character
$v$, then $E \in \firsttilt\beta$ if and only if $\beta<\mu(E)$ (left of the
$V_v$), and $E[1] \in \firsttilt\beta$ if and only if $\beta\geq\mu(E)$.
Because of this, when using these characteristic curves, only positive ranks are
considered, as negative rank objects are implicitly considered on the right hand
side of $V_v$.
Loading
Loading full blame...