Autoequivalences and stability conditions on a degenerate K3 surface
Extracted source text ยท arXiv 2510.13526
\pdfoutput=1
\documentclass{amsart}
%\usepackage[margin=20truemm]{geometry}
% biblatex configuration
\usepackage[backend=biber, style=alphabetic]{biblatex}
\ExecuteBibliographyOptions{
sorting=nyt,
sortcites=false,
date=year,
urldate=iso,
seconds=true,
maxnames=8,minnames=3,
maxalphanames=4,minalphanames=3,
maxbibnames=99,
giveninits=true,
isbn=false,
url=true,
doi=false,
eprint=true
}
\usepackage[svgnames]{xcolor}
% biblatex configuration ends
\addbibresource{degenerate_k3.bib}
%% packages
\usepackage{tikz}
\usetikzlibrary{arrows.meta}
\usepackage{mathtools}
\usepackage{tikz-cd}
\usepackage{amsmath, amssymb, amsthm}
\usepackage{here}
\usepackage{dynkin-diagrams}
\usetikzlibrary{intersections, patterns, snakes}
\usepackage{enumitem}
\usepackage{caption}
\usepackage{chngcntr}
\counterwithin{table}{section}
\counterwithin{figure}{section}
\numberwithin{equation}{section}
\mathtoolsset{showonlyrefs=true}
\renewcommand{\theenumi}{\arabic{enumi}}
%% Theorems
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{proposition-definition}[theorem]{Proposition-Definition}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{remark}[theorem]{Remark}
%% Some operators
\DeclareMathOperator{\Hom}{\mathrm{Hom}}
\DeclareMathOperator{\Tor}{\mathrm{Tor}}
\DeclareMathOperator{\CHom}{\mathcal{H}\!\mathit{om}}
\DeclareMathOperator{\CExt}{\mathcal{E}\!\mathit{xt}}
\DeclareMathOperator{\CTor}{\mathcal{T}\!\mathit{or}}
\DeclareMathOperator{\Auteq}{\mathrm{Auteq}}
\DeclareMathOperator{\Cone}{\mathrm{Cone}}
\DeclareMathOperator{\ev}{\mathrm{ev}}
\DeclareMathOperator{\id}{\mathrm{id}}
\DeclareMathOperator{\depth}{\mathrm{depth}}
\DeclareMathOperator{\Pic}{\mathrm{Pic}}
\DeclareMathOperator{\bPic}{\mathbf{Pic}}
\DeclareMathOperator{\MCG}{\mathrm{MCG}}
\DeclareMathOperator{\PMCG}{\mathrm{PMCG}}
\DeclareMathOperator{\RHom}{\mathrm{RHom}}
\DeclareMathOperator{\Ker}{\mathrm{Ker}}
\DeclareMathOperator{\Image}{\mathrm{Im}}
\DeclareMathOperator{\Aut}{\mathrm{Aut}}
\DeclareMathOperator{\Inn}{\mathrm{Inn}}
\DeclareMathOperator{\Out}{\mathrm{Out}}
\DeclareMathOperator{\Supp}{\mathrm{Supp}}
\DeclareMathOperator{\SL}{\mathrm{SL}}
\DeclareMathOperator{\Spec}{\mathrm{Spec}}
\DeclareMathOperator{\Perf}{\mathrm{Perf}}
\DeclareMathOperator{\NS}{\mathrm{NS}}
\DeclareMathOperator{\Ext}{\mathrm{Ext}}
\DeclareMathOperator{\Hilb}{\mathrm{Hilb}}
\DeclareMathOperator{\FM}{\mathrm{FM}}
\DeclareMathOperator{\res}{\mathrm{res}}
\DeclareMathOperator{\red}{\mathrm{red}}
\DeclareMathOperator{\sing}{\mathrm{sing}}
\DeclareMathOperator{\sm}{\mathrm{sm}}
\DeclareMathOperator{\QCoh}{\mathrm{QCoh}}
\DeclareMathOperator{\Mod}{\mathrm{Mod}}
\DeclareMathOperator{\Aff}{\mathrm{Aff}}
\DeclareMathOperator{\GL}{\mathrm{GL}}
\DeclareMathOperator{\Frac}{\mathrm{Frac}}
\DeclareMathOperator{\UConf}{\mathrm{UConf}}
\DeclareMathOperator{\Diff}{\mathrm{Diff}}
\DeclareMathOperator{\gr}{\mathrm{gr}}
\DeclareMathOperator{\Ob}{\mathrm{Ob}}
\DeclareMathOperator{\Tot}{\mathrm{Tot}}
\DeclareMathOperator{\Bl}{\mathrm{Bl}}
\DeclareMathOperator{\Coh}{\mathrm{Coh}}
\DeclareMathOperator{\Vect}{\mathrm{Vect}}
\DeclareMathOperator{\op}{\mathrm{op}}
\DeclareMathOperator{\Stab}{\mathrm{Stab}}
\DeclareMathOperator{\Coker}{\mathrm{Coker}}
\DeclareMathOperator{\rk}{\mathrm{rk}}
\DeclareMathOperator{\Sym}{\mathrm{Sym}}
%% Calligraphic letters
\newcommand{\cA}{{\mathcal{A}}}
\newcommand{\cB}{{\mathcal{B}}}
\newcommand{\cD}{{\mathcal{D}}}
\newcommand{\cE}{{\mathcal{E}}}
\newcommand{\cF}{{\mathcal{F}}}
\newcommand{\cG}{{\mathcal{G}}}
\newcommand{\cH}{{\mathcal{H}}}
\newcommand{\cL}{{\mathcal{L}}}
\newcommand{\cO}{{\mathcal{O}}}
\newcommand{\cP}{{\mathcal{P}}}
\newcommand{\cQ}{{\mathcal{Q}}}
\newcommand{\cR}{{\mathcal{R}}}
\newcommand{\cT}{{\mathcal{T}}}
\newcommand{\cU}{{\mathcal{U}}}
\newcommand{\cW}{{\mathcal{W}}}
\newcommand{\cZ}{{\mathcal{Z}}}
%% Blackboard letters
\newcommand{\bA}{{\mathbb{A}}}
\newcommand{\bC}{{\mathbb{C}}}
\newcommand{\bF}{{\mathbb{F}}}
\newcommand{\bG}{{\mathbb{G}}}
\newcommand{\bH}{{\mathbb{H}}}
\newcommand{\bP}{{\mathbb{P}}}
\newcommand{\bQ}{{\mathbb{Q}}}
\newcommand{\bR}{{\mathbb{R}}}
\newcommand{\bT}{{\mathbb{T}}}
\newcommand{\bZ}{{\mathbb{Z}}}
\newcommand{\fm}{{\mathfrak{m}}}
\newcommand{\fX}{{\mathfrak{X}}}
% notations
\newcommand{\fiber}{X}
\newcommand{\totalSpace}{\fX}
\newcommand{\baseSpace}{\bA^1}
\newcommand{\component}{Z}
\newcommand{\cptComponent}{Z_0}
\newcommand{\projectionMap}{\pi}
\newcommand{\closedImmersion}{i}
\newcommand{\cptComponentImmersion}{\iota}
\newcommand{\sectionMap}{s}
\newcommand{\canonicalBundleProjection}{p}
\newcommand{\canonicalBundleBaseSpace}{\bP^2}
\newcommand{\fiberCoh}{\Coh(\fiber)}
\newcommand{\fiberCohSupp}{\Coh_0}
\newcommand{\fiberD}{\cD}
\newcommand{\fiberDc}{\cD_c}
\newcommand{\fiberPerf}{\Perf(\fiber)}
\newcommand{\fiberDsupp}{\cD_0}
\newcommand{\totalCoh}{\Coh(\totalSpace)}
\newcommand{\totalCohSupp}{\Coh_{\cptComponent}(\totalSpace)}
\newcommand{\totalDsupp}{D^b_{\cptComponent}(\totalSpace)}
\newcommand{\simpleTotalDsupp}{\widetilde{\cD_0}}
\newcommand{\fiberTiltingB}{\fiberCohSupp^{\#B}}
\newcommand{\fiberTiltingBTorsion}{\fiberCohSupp^{>B}}
\newcommand{\fiberTiltingBFree}{\fiberCohSupp^{\leq B}}
\newcommand{\dpFunction}{\delta^{DP}_{\infty}}
\newcommand{\stabProjection}{\pi}
\newcommand{\nStabProjection}{\pi_n}
\newcommand{\geometricChamber}{U(\fiber)}
\newcommand{\nGeometricChamber}{V(\fiber)}
\newcommand{\stabDagger}{\Stab^\dagger(\fiberDsupp)}
\newcommand{\nStab}{\Stab_n(\fiberDsupp)}
\newcommand{\vnStab}{\Stab_{vn}(\fiberDsupp)}
\newcommand{\comparisonIso}{\theta}
\newcommand{\totalGeometricChamber}{U(\totalSpace)}
\newcommand{\nTotalGeometricChamber}{V(\totalSpace)}
\newcommand{\totalStabDagger}{\Stab^\dagger(\simpleTotalDsupp)}
\newcommand{\boundaryA}{\partial_a G}
\newcommand{\boundaryE}{\partial_E G}
\newcommand{\boundaryBoundaryE}{\partial'_E G}
\newcommand{\boundaryD}{\partial_{\delta} G}
\newcommand{\fiberTiltingE}{\fiberCohSupp^{E}}
\newcommand{\fiberTiltingETorsion}{\cT^{E}}
\newcommand{\fiberTiltingEFree}{\cF^{E}}
\newcommand{\nPositiveTwistWall}{\cW^{+}_E}
\newcommand{\nNegativeTwistWall}{\cW^{-}_E}
\newcommand{\positiveTwistWall}{W^{+}_E}
\newcommand{\negativeTwistWall}{W^{-}_E}
\newcommand{\slopeOfE}{\mu_E}
\newcommand{\discriminantOfE}{\Delta_E}
\newcommand{\slopeOfF}{\mu_F}
\newcommand{\discriminantOfF}{\Delta_F}
\newcommand{\rankOfE}{r(E)}
\newcommand{\degreeOfE}{d(E)}
\newcommand{\chernOfE}{c(E)}
\newcommand{\sphericalTwistE}{T_E}
\newcommand{\halfTwistE}{H_E}
% roman numbers
\makeatletter
\newcommand*{\rom}[1]{\expandafter\@slowromancap\romannumeral #1@}
\makeatother
% hyperref
\usepackage[
colorlinks=true,
citecolor=MediumBlue,
urlcolor=MediumBlue,
linkcolor=MediumBlue,
breaklinks=true,
]{hyperref}
\title[Autoequivalences and stability conditions on a degenerate K3 surface]{
Autoequivalences and stability conditions on a degenerate K3 surface
}
\author[H.~Arai]{Hayato Arai}
\address{
Graduate School of Mathematical Sciences,
The University of Tokyo,
3-8-1 Komaba,
Meguro-ku,
Tokyo,
153-8914,
Japan.
}
\email{hayato@ms.u-tokyo.ac.jp}
\begin{document}
\begin{abstract}
We study autoequivalences and stability conditions on the derived category of coherent sheaves on a singular surface $X$ which arises as an open subvariety of a type III Kulikov degeneration of K3 surfaces.
The surface $X$ consists of four irreducible components, one of which is $\bP^2$, and the others are non-compact rational surfaces.
Using a comparison with the total space of the degeneration, we show that the connected component $\Stab^\dagger(D^b_{\bP^2}(X))$ of the space of stability conditions on the supported derived category $D^b_{\bP^2}(X)$ containing geometric stability conditions is simply connected, and describe its wall-and-chamber structure via half-spherical twists.
As consequences, we determine the subgroup of the autoequivalence group $\Aut(D^b(X))$ that preserves this component; it is isomorphic to $\mathbb{Z} \times \Gamma_1(3) \times \Aut(X)$, where $\Gamma_1(3) \subset \mathrm{SL}(2,\mathbb{Z})$ is the congruence subgroup of level~3.
\end{abstract}
\maketitle
\section{Introduction}
\subsection{Background and motivation}\label{subsec:background-and-motivation}
Bridgeland \cite{MR2373143} introduced the notion of stability conditions on triangulated categories as a mathematical formulation of Douglas's $\Pi$-stability \cite{MR1957548} in string theory, thereby opening the way to studying autoequivalences through them \cite{MR2376815, MR2388559, MR3592689}.
While they have been widely studied for derived categories of smooth projective varieties, in recent years there has been increasing attention to the case of singular varieties.
In \cite{MR2155085, MR2264663}, Burban and Kreu{\ss}ler gave a complete description of stability conditions and autoequivalence groups of irreducible genus-one curves (namely, type $I_1$ and $II$ Kodaira fibers).
Karube \cite{MR4830066} studied stability conditions on the other types of Kodaira fibers, whose structures turn out to resemble those of K3 surfaces \cite{MR2376815} more closely than to those of elliptic curves.
The autoequivalence groups of such curves have only been determined in the case of type~$I_n$ fibers \cite{opperJEMS}.
Irreducible singular curves are also treated in \cite{liu2025stabilityconditionsirreducibleprojective}.
More recently, \cite{MR4813221, chou2024stabilityconditionsingularsurface} have constructed stability conditions on certain classes of irreducible singular surfaces using Bogomolov--Gieseker type inequalities, and \cite{MR4679958, haraJEMS} studied the space of stability conditions and Fourier--Mukai type autoequivalences for 3-fold flopping contractions with only Gorenstein terminal singularities.
In higher-dimensional cases, applications to the study of autoequivalence groups are still largely open, while \cite{MR2793026} ensures that a Bondal--Orlov type result \cite{MR1818984} still holds for Gorenstein varieties with ample (anti-)canonical bundle.
Motivated by these works, it is natural to turn to degenerations of K3 surfaces.
However, constructing stability conditions on projective varieties is generally difficult, and the presence of multiple compact components makes the analysis of autoequivalences harder.
Instead, in this paper we study an ``open version'' of such a degeneration.
More precisely, we consider a reducible surface $\fiber$ consisting of four components, one of which is $\bP^2$ and the others are $\Bl_0\bA^2$ (the blow-up of $\bA^2$ at the origin), glued along lines.
This surface arises as an open subvariety of a type III degeneration of K3 surfaces in Kulikov's classification \cite{MR506295}.
For the space of stability conditions $\Stab(D^b_{\bP^2}(\fiber))$ on the supported derived category $D^b_{\bP^2}(\fiber)$, we give a complete description of the geometric chamber $\geometricChamber$ and construct generic elements of its walls.
We then show that the group of autoequivalences of the full derived category $D^b(X)$ acts naturally on $\Stab(D^b_{\bP^2}(\fiber))$, and determine the subgroup that preserves the connected component containing $\geometricChamber$.
Our approach adapts the framework of Bayer and Macr\`i \cite{bayer-macri}, where stability conditions and autoequivalences on the total space of a smoothing family $\totalSpace = \Tot(K_{\canonicalBundleBaseSpace})$ of $\fiber$ were extensively studied.
We compare the space of stability conditions on $\fiber$ with that on $\totalSpace$ using the technique developed in \cite{MR2448280}, and then analyze the wall-and-chamber structure with respect to geometric stability conditions and the autoequivalence group.
While many of the underlying ideas are inspired by \cite{bayer-macri}, several aspects behave differently in the smooth threefold case and in our singular surface case (for example, Serre duality and Euler pairing cannot be applied to the entire derived category).
The most significant difference is that the spherical twists used in \cite{bayer-macri} are no longer available in our setting.
Instead, we employ the notion of \emph{half-spherical twists} (see Section \ref{subsec:half-spherical-twist} for the definition), introduced by the author in \cite{arai2024halfspherical}, which allow us to describe the wall-and-chamber structure in the singular surface case.
A related construction was obtained simultaneously and independently in \cite{MR4830066}; it may be viewed as a special case of half-spherical twists.
\subsection{Results}\label{subsec:results}
We work over the field of complex numbers $\bC$.
Let $\totalSpace = \Tot(K_{\bP^2})$ be an open Calabi--Yau threefold with the projection $\canonicalBundleProjection \colon \totalSpace \to \canonicalBundleBaseSpace$, and denote the ample line bundle $\canonicalBundleProjection^*\cO_{\bP^2}(1)$ by $\cO_{\totalSpace}(1)$.
The total space gives a resolution of the quotient singularity $\bA^3/\mu_3 = \Spec H^0(\totalSpace, \cO_{\totalSpace})$ where $\mu_3 = \Spec \bC[\omega]/(1-\omega^3)$ acts by scalar multiplication.
The composite of the map $\bA^3/\mu_3 \to \bA^1, [(x_1,x_2,x_3)] \mapsto x_1x_2x_3$ with the resolution $\totalSpace \to \bA^3/\mu_3$ gives a degenerating family
\begin{equation}
\projectionMap \colon \totalSpace \to \baseSpace
\end{equation}
of $(\bG_m)^2$ whose central fiber $\fiber$ is a singular surface consisting of one $\bP^2$ and three copies of $\Bl_0\bA^2$:
\begin{align}
\fiber & = \cptComponent \cup \component_1 \cup \component_2 \cup \component_3 \\
\cptComponent & = \bP^2, \quad \component_i = \Bl_0\bA^2 \quad(i = 1, 2, 3),
\end{align}
where $\Bl_0\bA^2$ is the blow-up of $\bA^2$ at the origin.
Denote the inclusion $\cptComponent \hookrightarrow \fiber$ by $\cptComponentImmersion$ and
the ample line bundle $\cO_{\totalSpace}(1)\vert_{\fiber}$ by $\cO_{\fiber}(1)$.
Let $\fiberD = D^b(\fiber)$ be the bounded derived category of coherent sheaves on $\fiber$, and $\fiberDsupp = D^b_{\cptComponent}(\fiber) \subset \fiberD$ be the full subcategory of complexes supported on the compact component $\cptComponent$.
The first part of our results is a description of the space $\Stab(\fiberDsupp)$ of Bridgeland stability conditions on $\fiberDsupp$.
We compare it with the space $\Stab(D^b_{\cptComponent}(\totalSpace))$ studied in \cite{bayer-macri}, by constructing a comparison map $\theta \colon \Stab(D^b_{\cptComponent}(\totalSpace)) \to \Stab(\fiberDsupp)$ induced by the inclusion $\closedImmersion \colon \fiber \hookrightarrow \totalSpace$ (Theorem \ref{thm:comparison-isomorphism}).
Let $\geometricChamber \subset \Stab(\fiberDsupp)$ be the subset consisting of stability conditions on $\fiberDsupp$ that are \emph{geometric}
in the sense that skyscraper sheaves $\cO_x$ for all $x \in \cptComponent$ are stable of the same phase.
The forgetful map
\begin{equation}
\cZ \colon \geometricChamber \to \Hom(K(\fiberDsupp), \bC) \cong \bC^3, \quad (Z, \cA) \mapsto Z
\end{equation}
has the image defined by explicit inequalities, and there is an explicit construction of the heart $\cA$ up to shift (Theorem \ref{thm:fiber-geometric-chamber}).
Next, we study the structure of the boundary $\partial \geometricChamber$,
which consists of real codimension one submanifolds of $\Stab(\fiberDsupp)$ called \emph{walls}.
We explicitly construct two types of walls $W_E^{\pm}$ associated with each exceptional bundle $E$ on $\cptComponent$, and show that there are no other walls on the boundary (Theorem \ref{thm:fiber-boundary}):
\begin{equation}
\partial \geometricChamber = \bigcup_{E} (\positiveTwistWall \sqcup \negativeTwistWall).
\end{equation}
The other side of the wall $\positiveTwistWall$ (resp. $\negativeTwistWall$) is obtained by applying the half-spherical twist $H_E$ (see Section \ref{subsec:half-spherical-twist} for the definition) along the sheaf $\cptComponentImmersion_*E$,
and one has
\begin{equation}
\positiveTwistWall = \overline{\geometricChamber} \cap H_E(\overline{\geometricChamber}), \quad \negativeTwistWall = \overline{\geometricChamber} \cap H_E^{-1}(\overline{\geometricChamber}).
\end{equation}
It follows that the connected component $\stabDagger$ of $\Stab(\fiberDsupp)$ containing $\geometricChamber$ is covered by the translates of $\overline{\geometricChamber}$ under compositions of half-spherical twists.
This is essential for studying the autoequivalence group $\Aut(\fiberD)$.
\begin{theorem}[Corollary \ref{cor:stab-dagger-is-covered-by-translates-of-geometric-chamber}]
We have $\stabDagger = \bigcup_{\Phi} \Phi(\overline{\geometricChamber})$, where $\Phi$ runs over the subgroup of $\Aut(\fiberD)$ generated by the $H_{E}$ for all exceptional bundles $E$ on $\cptComponent$.
\end{theorem}
We also have the following topological property of $\stabDagger$:
\begin{theorem}[Corollary \ref{cor:fiber-stab-dagger-simply-connected}]
The space $\stabDagger$ is simply connected.
\end{theorem}
Any autoequivalence of $\fiberD$ preserves the subcategory $\fiberDsupp$ (Proposition \ref{prop:auto-preserves-subcategories}), so that $\Aut(\fiberD)$ acts naturally on $\Stab(\fiberDsupp)$.
Let $\Aut^\dagger(\fiberD) \subset \Aut(\fiberD)$ be the subgroup consisting of autoequivalences preserving the connected component $\stabDagger$.
The main result of this paper is a description of $\Aut^\dagger(\fiberD)$:
\begin{theorem}[Proposition \ref{prop:automorphism-group-of-fiber} and Theorem \ref{thm:autoequivalence-group}]\label{thm:intro-autoequivalence-group}
We have an isomorphism
\begin{equation}
\Aut^\dagger(\fiberD) \cong \bZ \times \Gamma_1(3) \times \Aut(\fiber),
\end{equation}
where
\begin{enumerate}
\item $\bZ$ is generated by the shift functor,
\item $\Gamma_1(3) \subset \SL(2, \bZ)$ is the congruence subgroup of level 3, which is generated by $\alpha = H_{\cO_{\cptComponent}}$ and $\beta = - \otimes \cO_{\fiber}(1)$ with the relation $(\alpha\beta)^3 = 1$, and
\item $\Aut(\fiber) \cong S_3 \ltimes (\bC^*)^3$ is the automorphism group of $\fiber$.
\end{enumerate}
\end{theorem}
As conjectured by Bridgeland for K3 surfaces \cite[Conjecture 1.2]{MR2376815}, the component $\Stab^\dagger(\fiberDsupp)$ is expected to be preserved by the whole autoequivalence group $\Aut(\fiberD)$, and hence $\Aut^\dagger(\fiberD) = \Aut(\fiberD)$.
We make the following stronger conjecture:
\begin{conjecture}
The space $\Stab(\fiberDsupp)$ is connected.
In particular, we have $\Aut^\dagger(\fiberD) = \Aut(\fiberD)$ and Theorem \ref{thm:intro-autoequivalence-group} holds for $\Aut(\fiberD)$.
\end{conjecture}
\subsection{Relation to mirror symmetry}\label{subsec:relation-to-mirror-symmetry}
Another motivation for considering derived categories of singular varieties comes from homological mirror symmetry (HMS).
It predicts a derived equivalence between the Fukaya category $\cF(M)$ of a symplectic manifold $M$ and the category of coherent sheaves on a complex manifold $Y$ \cite{MR1403918}.
Although the original conjecture was stated for smooth Calabi--Yau varieties, Seidel's approach \cite{MR1957046, MR3364859, MR3294958} naturally involves degenerations of Calabi--Yau varieties as follows.
Let $(M, \omega)$ be a K\"ahler manifold and $D \subset M$ be a divisor Poincar\'e dual to $[\omega]$.
Seidel introduced the \emph{relative Fukaya category} $\cF(M, D)$, which gives a deformation of $\cF(M \setminus D)$ to $\cF(M)$.
This should be mirror to a deformation of a singular variety $X$ to a smooth variety $Y$.
The main idea of \cite{MR1957046} is to first prove an equivalence between $\cF(M \setminus D)$ and $D^b(X)$, and then extend it using deformation theory.
In that context, one expects a natural action of the graded symplectic mapping class group $\MCG(M,D)$ on $D^b(X)$, which would provide a powerful tool for studying $\Aut(D^b(X))$ (cf.~\cite{MR1831820}).
In the case of maximal degenerations of elliptic curves (i.e., type~$I_n$ Kodaira fibers), where the mirror equivalence has been established in \cite{lekili2012arithmeticmirrorsymmetry2torus, MR3663596}, such an action has been investigated in \cite{opperJEMS, arai2024halfspherical}.
In this situation, the action of \emph{half-twists} (in the sense of two-dimensional topology) is realized as half-spherical twists on the mirror side \cite[Theorem~1.3]{arai2024halfspherical}.
For K3 surfaces, maximal degenerations are given by type~III degenerations, and the HMS equivalence is studied in \cite{MR4718488, hacking2025homologicalmirrorsymmetryprojective}, where $M$ is a K3 surface and $D$ is a smooth ample divisor.
Our case $\fiber \subset \totalSpace$ can be regarded as an ``open version'' of such a degeneration (see also Remark~\ref{rem:compactification-to-type-III-degeneration}), in which $\cptComponent = \bP^2$ is the only compact component.
The half-spherical twists arising from exceptional bundles on $\cptComponent$ are expected to come from $\MCG(M, D)$, although we do not pursue this direction in the present paper.
\subsection{Future directions}\label{subsec:future-directions}
A natural next step is to treat the case where the central fiber $\fiber$ is itself a type~III degeneration of K3 surfaces (rather than an open subvariety).
In this situation, exceptional bundles on the irreducible components of $\fiber$ still induce half-spherical twists; we expect that, together with standard autoequivalences, these generate $\Aut D^b(\fiber)$.
Moreover, as explained in Section \ref{subsec:relation-to-mirror-symmetry}, they should correspond to certain symplectomorphisms of the pair $(M,D)$ via HMS, and be related to half-twists or their four-dimensional analogue yet to be identified.
We expect that such a correspondence will provide new insights into higher-dimensional symplectic mapping class groups (see also \cite{MR4850449} for this direction).
Our result may contribute to the study of \emph{stability conditions over a base} \cite{MR4292740} by providing an example of what happens on singular fibers.
For a flat family $\totalSpace \to S$, it is defined as a collection of stability conditions on each fiber $\totalSpace_s$, subject to suitable compatibility conditions.
In this framework, smooth fibers are relatively well understood, whereas the behavior on singular fibers remains largely mysterious.
\subsection{Organization of the paper}\label{subsec:organization-of-the-paper}
The paper is organized as follows.
In Section \ref{sec:preliminaries}, we review Bridgeland stability conditions and (half-)spherical twists.
Section \ref{sec:setting} fixes the geometric setup: we describe the family $\totalSpace$ and the central fiber $\fiber$.
In Section \ref{sec:various-derived-categories}, we introduce several subcategories of $\fiberD = D^b(\fiber)$ and study their relationships at the level of Grothendieck groups and autoequivalences.
Section \ref{sec:stability-conditions} is devoted to the study of the space of Bridgeland stability conditions on $\fiberDsupp = D^b_{\cptComponent}(\fiber)$.
In Section \ref{sec:autoequivalence-group}, we consider the structure of the autoequivalence group $\Aut(\cD)$.
Finally, Appendix \ref{sec:lemmas-on-integral-functors} contains some technical lemmas used in the main text.
\subsection{Acknowledgements}\label{subsec:acknowledgements}
The author would like to thank his advisor, Kazushi Ueda, for many helpful discussions and comments.
He is also grateful to Tomohiro Karube, Wahei Hara, and Yukinobu Toda for useful conversations.
This work is supported by JSPS KAKENHI Grant Number JP24KJ0684.
\subsection{Notations and conventions}\label{subsec:notations-and-conventions}
\begin{itemize}
\item We always work over the field of complex numbers $\bC$. Every scheme is assumed to be defined over $\bC$ and every triangulated category is assumed to be $\bC$-linear. An autoequivalence means a $\bC$-linear exact autoequivalence.
\item A \emph{variety} means a separated scheme of finite type over $\bC$, not necessarily irreducible or reduced.
\item Unless otherwise specified, a \emph{point} of a variety means a closed point.
\item The skyscraper sheaf at a point $x$ of a variety is denoted by $\cO_x$.
\item For a variety $X$, we denote by $\Coh(X)$ the abelian category of coherent sheaves on $X$ and by $D^b(X)$ its bounded derived category. Similarly, we denote by $\QCoh(X)$ the abelian category of quasi-coherent sheaves on $X$ and by $D(\QCoh(X))$ its derived category. The full subcategory of $D(\QCoh(X))$ consisting of perfect complexes is denoted by $\Perf(X)$.
\item We drop the symbols $L$ and $R$ from the notation of derived functors, e.g., we write $f_*$ instead of $Rf_*$.
\end{itemize}
\section{Preliminaries}\label{sec:preliminaries}
\subsection{Bridgeland stability conditions}
The main reference for this subsection is \cite{MR2373143}.
\begin{definition}[Slicing on a triangulated category]
A slicing $\cP$ on a triangulated category $\cD$ is a collection of full additive subcategories $\cP(\phi) \subset \cD$ for $\phi \in \bR$ such that
\begin{enumerate}
\item $\cP(\phi + 1) = \cP(\phi)[1]$ for all $\phi \in \bR$.
\item If $E \in \cP(\phi)$ and $F \in \cP(\phi')$ with $\phi > \phi'$, then $\Hom(E, F) = 0$.
\item For any $E \in \cD$, there exists a sequence of morphisms
\begin{equation}
0 = E_0 \to E_1 \to \cdots \to E_n = E
\end{equation}
in $\cD$ such that the cone $E_{i-1} \to E_i \to F_i \to E_{i-1}[1]$ satisfies $F_i \in \cP(\phi_i)$ for some $\phi_i \in \bR$ and $\phi_1 > \phi_2 > \cdots > \phi_n$.
\end{enumerate}
\end{definition}
The sequence in the third condition is called the \emph{Harder--Narasimhan (HN) filtration} of $E$, and the objects $F_i$ are called the \emph{Harder--Narasimhan factors} of $E$.
For an interval $I \subset \bR$, we define the full subcategory $\cP(I) \subset \cD$ as the extension closure
\begin{equation}
\cP(I) = \langle \cP(\phi) \mid \phi \in I \rangle.
\end{equation}
\begin{definition}[Bridgeland stability condition]
Let $\cD$ be a triangulated category and $v \colon K(\cD) \twoheadrightarrow \Lambda$ be a group homomorphism onto a finite lattice $\Lambda$.
A stability condition $\sigma = (Z, \cP)$ on $\cD$ (with respect to $v$) consists of:
\begin{enumerate}
\item a slicing $\cP$ on $\cD$,
\item a group homomorphism $Z \colon K(\cD) \to \bC$ which factors through $v$ and satisfies $Z(\cP(\phi) \setminus \{0\}) \subset \bR_{>0} \cdot e^{\sqrt{-1}\pi \phi}$ for all $\phi \in \bR$.
\end{enumerate}
\end{definition}
The function $Z$ is called the \emph{central charge}. The non-zero (resp. simple) objects of $\cP(\phi)$ are called \emph{$\sigma$-semistable} (resp. \emph{$\sigma$-stable}) of phase $\phi$.
The subcategory consisting of the zero object and $\sigma$-stable objects of phase $\phi$ is denoted by $\cP_{s}(\phi) \subset \cP(\phi)$.
For an object $E$ with the HN factors $F_i$, we define $\phi^+(E) = \max_i \phi(F_i)$ and $\phi^-(E) = \min_i \phi(F_i)$.
For a stability condition $\sigma = (Z, \cP)$, the subcategory $\cA = \cP((0, 1])$ becomes the heart of a bounded t-structure on $\cD$.
\begin{definition}[{\cite{kontsevich2008stabilitystructuresmotivicdonaldsonthomas}}]
Fix a norm $\| \cdot \|$ on $\Lambda_\bR$.
We say a stability condition $\sigma = (Z, \cP)$ on $\cD$ (with respect to $v$) satisfies the \emph{support property} if the following condition holds:
\begin{equation}
\sup\left\{\frac{\|v(E)\|}{|Z(E)|}\mid E \in \cD \colon \sigma \text{-semistable}\right\} < \infty
\end{equation}
\end{definition}
The set of stability conditions on $\cD$ with respect to $v \colon K(\cD) \twoheadrightarrow \Lambda$ satisfying the support property is denoted by $\Stab_\Lambda(\cD)$.
The subscript $\Lambda$ may be omitted if $v$ and $\Lambda$ are clear from the context.
It carries a natural topology induced by the following generalized metric:
\begin{equation}
d(\sigma_1, \sigma_2) = \sup_{0 \neq E \in \cD}\left\{|\phi^+_1(E) - \phi^+_2(E)|, |\phi^-_1(E) - \phi^-_2(E)|, \left|\log \frac{m_1(E)}{m_2(E)}\right|\right\}.
\end{equation}
Here $m_i(E)$ denotes the \emph{mass function} with respect to $\sigma_i$ defined by $m_i(E) = \sum_{j}|Z_i(F_j)|$ where $F_j$ are the HN factors of $E$ with respect to $\sigma_i$, and $\phi_i^{\pm}(E)$ are the phases with respect to $\sigma_i$ defined above.
The following theorem is fundamental in the theory of Bridgeland stability conditions.
\begin{theorem}[{\cite[Theorem 1.2]{MR2373143}}]
The forgetful map
\begin{equation}
\cZ \colon \Stab_\Lambda(\cD) \to \Hom(\Lambda, \bC), \quad (Z, \cP) \mapsto Z
\end{equation}
is a local homeomorphism.
In particular, the space $\Stab_\Lambda(\cD)$ has a natural structure of a complex manifold.
\end{theorem}
There are two natural group actions on the space $\Stab_\Lambda(\cD)$.
The first one is the left action of the autoequivalence group $\Aut(\cD)$ given by
\begin{equation}
\Phi \cdot (Z, \cP) = (Z \circ \Phi, \{\Phi(\cP(\phi))\}_\phi).
\end{equation}
The second is a continuous right action.
Let $\GL_2^+(\bR)$ be the group of $2 \times 2$ real matrices with positive determinant.
It acts on $\Hom(\Lambda, \bC)$ by $A \colon Z \mapsto A^{-1} \circ Z$, which induces a right action of the universal cover $\widetilde{\GL_2^+}(\bR)$ on $\Stab_\Lambda(\cD)$.
Restricting this action to the subgroup $\bC \subset \widetilde{\GL_2^+}(\bR)$ gives the following explicit description.
\begin{proposition}
The right action of $\bC$ on $\Stab_\Lambda(\cD)$ is given by
\begin{equation}
(Z, \cP) \cdot \lambda = (e^{-\sqrt{-1} \pi \lambda}Z, \{\cP(\phi + \Re \lambda)\}_\phi).
\end{equation}
\end{proposition}
\subsection{(Half-)Spherical Twists}\label{subsec:half-spherical-twist}
We collect some basic facts about spherical twists from \cite{MR1831820} and half-spherical twists from \cite{arai2024halfspherical}.
Let $\totalSpace$ be a smooth quasi-projective variety of dimension $n$.
\begin{definition}[Spherical object]
An object $E \in D^b(\totalSpace)$ with proper support is called \emph{($n$-)spherical} if
\begin{enumerate}
\item $E \otimes \omega_{\totalSpace} \cong E$, and
\item $\Ext^*(E, E) \cong \bC \oplus \bC[-n]$.
\end{enumerate}
\end{definition}
Given a spherical object $E$, we can define a spherical twist $T_E$ as the integral functor $\Phi_{\cP_E}$ with the kernel
\begin{equation}
\cP_E = \Cone(E^\vee \boxtimes E \to \cO_{\Delta}).
\end{equation}
Here, $\Delta \subset \totalSpace \times \totalSpace$ is the diagonal and the evaluation map $E^\vee \boxtimes E \to \cO_{\Delta}$ is adjoint to the natural pairing $(E^\vee \boxtimes E)\vert_{\Delta} \cong E^\vee \otimes E \to \cO_{\Delta}$.
\begin{theorem}[{\cite[Theorem 1.2]{MR1831820}}]
The spherical twist $T_E$ gives an autoequivalence of $D^b(\totalSpace)$.
\end{theorem}
The following exact triangle is useful to compute the spherical twist:
\begin{proposition}\label{prop:exact-triangle-spherical-twist}
For every object $F \in D^b(\totalSpace)$, we have the following exact triangle:
\begin{equation}
\Ext^*(E, F) \otimes_{\bC} E \to F \to T_E(F) \xrightarrow{+1}.
\end{equation}
\end{proposition}
Next, we introduce the notion of half-spherical twists, the ``restricted-to-fiber version'' of spherical twists.
Let $\pi \colon \totalSpace \to T$ be a flat morphism to a smooth quasi-projective $T$ and $\closedImmersion \colon \fiber \hookrightarrow \totalSpace$ denote the inclusion of the (possibly singular) fiber $\fiber = \pi^{-1}(t_0)$ for some $t_0 \in T$.
\begin{definition}[Half-spherical object]
An object $E \in D^b(\fiber)$ is called \emph{half-spherical} (with respect to $\closedImmersion$) if $\closedImmersion_* E \in D^b(\totalSpace)$ is spherical.
\end{definition}
For a half-spherical object $E \in D^b(\fiber)$, the spherical twist $T_{\closedImmersion_* E}$ is a relative integral functor with respect to $T$.
\begin{proposition}[{\cite[Proposition 4.2]{arai2024halfspherical}}]
There exists a unique kernel $\cQ_E \in D(\QCoh(\totalSpace \times_T \totalSpace))$ up to isomorphism such that $T_{\closedImmersion_* E} \cong \Phi_{\cQ_E}$.
\end{proposition}
Using this kernel, we define the \emph{half-spherical twist} $\halfTwistE$ as the integral functor $\Phi_{\cQ_E\vert_{\fiber \times \fiber}} \colon D(\QCoh(\fiber)) \to D(\QCoh(\fiber))$.
One can show that $\halfTwistE$ preserves $D^b(\fiber)$, and by \cite[Section 2]{MR2238172} it induces an autoequivalence of $D^b(\fiber)$ that satisfies a certain compatibility with $T_{\closedImmersion_*E}$.
\begin{proposition}[{\cite[Corollary 4.6]{arai2024halfspherical}, cf.~\cite[Theorem 3.6]{MR4830066}}]\label{prop:half-spherical-twist-compatibility}
The half-spherical twist $\halfTwistE$ is an autoequivalence of $D^b(\fiber)$ which makes the following diagram commutative:
\begin{equation}
\begin{tikzcd}
D^b(\fiber) \ar[r, "\closedImmersion_*"] \ar[d, "\halfTwistE"] & D^b(\totalSpace) \ar[d, "T_{\closedImmersion_* E}"] \ar[r, "\closedImmersion^*"]& D^b(\fiber) \ar[d, "\halfTwistE"]\\
D^b(\fiber) \ar[r, "\closedImmersion_*"] & D^b(\totalSpace) \ar[r, "\closedImmersion^*"]& D^b(\fiber)
\end{tikzcd}
\end{equation}
\end{proposition}
Note that the restriction $D(\QCoh(\totalSpace \times_T \totalSpace)) \to D(\QCoh(\fiber \times \fiber)), \cQ \mapsto \cQ\vert_{\fiber \times \fiber}$ is compatible with convolution of kernels.
In particular, for any relation of autoequivalences on $D(\QCoh(\totalSpace))$ that is satisfied at the level of kernels in $D(\QCoh(\totalSpace \times_T \totalSpace))$, one has a corresponding relation on $D(\QCoh(\fiber))$ by restricting the kernels to $\fiber \times \fiber$.
\begin{example}\label{ex:half-spherical-twist-conjugation}
Let $\widetilde{f}$ be an automorphism of $\totalSpace$ over $T$ and $f = \widetilde{f}\vert_{\fiber}$ be its restriction to $\fiber$.
For a half-spherical object $E \in D^b(\fiber)$ we have
\begin{equation}\label{eq:spherical-twist-conjugation}
\widetilde{f}_* \circ T_{\closedImmersion_* E} \circ (\widetilde{f}_*)^{-1} \cong T_{\widetilde{f}_* \closedImmersion_* E} \cong T_{\closedImmersion_* f_* E}
\end{equation}
by \cite[Lemma 2.11]{MR1831820}.
In particular, $f_* E$ is also a half-spherical object.
Since the kernel of $\widetilde{f}$ is defined on $\totalSpace \times_T \totalSpace$ and the relation \eqref{eq:spherical-twist-conjugation} holds at the level of kernels, one has
\begin{equation}
f_* \circ \halfTwistE \circ (f_*)^{-1} \cong H_{f_* E}.
\end{equation}
\end{example}
\section{Setting}\label{sec:setting}
The notation in this section will be used throughout the paper.
Consider the $\mu_3$-action on $\bA^3$ given by
\begin{equation}
\omega \cdot (x_1, x_2, x_3) = (\omega x_1, \omega x_2, \omega x_3), \quad \omega^3 = 1.
\end{equation}
Let
$\totalSpace = \Tot(K_{\canonicalBundleBaseSpace}) \to \bA^3/\mu_3$
be a resolution of the quotient singularity $\bA^3/\mu_3$.
Composing this morphism with
\begin{equation}
\bA^3/\mu_3 \to \baseSpace, \quad [(x_1, x_2, x_3)] \mapsto x_1x_2x_3
\end{equation}
gives a map $\projectionMap \colon \totalSpace \to \baseSpace$.
The central fiber $\closedImmersion \colon \fiber = \projectionMap^{-1}(0) \hookrightarrow \totalSpace$ consists of three copies of $\Bl_0\bA^2$ and one $\bP^2$, which we denote by $\component_1, \component_2, \component_3$ and $\cptComponent$:
\begin{equation}
X = \cptComponent \cup \component_1 \cup \component_2 \cup \component_3.
\end{equation}
These components meet along the exceptional divisors $E_i = \cptComponent \cap \component_i \cong \bP^1$ of the blow-ups $\component_i \to \bA^2$ for $i = 1, 2, 3$.
The compact component $\cptComponent \cong \bP^2$ is both the exceptional divisor of the resolution $\totalSpace \to \bA^3/\mu_3$ and the image of the zero section $\sectionMap$ of the line bundle $\totalSpace = \Tot(K_{\canonicalBundleBaseSpace}) \to \canonicalBundleBaseSpace$.
We denote the inclusion $\cptComponent \hookrightarrow \fiber$ by $\cptComponentImmersion$ and set $j = \closedImmersion \circ \cptComponentImmersion$.
The setup is summarized in the following diagram:
\begin{equation}
\begin{tikzcd}
&&\canonicalBundleBaseSpace \ar[lld, bend right, "\sectionMap"'] \\
\cptComponent \ar[r, hook, "\cptComponentImmersion"]& X \ar[d]\ar[r, hook, "\closedImmersion"] & \totalSpace = \Tot(K_{\canonicalBundleBaseSpace}) \ar[d, "\projectionMap"] \ar[u, "\canonicalBundleProjection"]\\
& \{0\} \ar[r]& \baseSpace.
\end{tikzcd}
\end{equation}
Observe that the map $\projectionMap \colon \totalSpace \to \baseSpace$ is a toric morphism and $\fiber$ is the toric boundary of $\totalSpace$.
The canonical bundle $\omega_{\totalSpace}$ is trivial, i.e.~$\totalSpace$ is a (non-compact) Calabi--Yau.
Since $\fiber$ is the toric boundary, its canonical bundle $\omega_{\fiber}$ is also trivial.
The derived category of coherent sheaves on $\fiber$ is denoted by $\fiberD = D^b(\fiber)$.
Its full subcategory consisting of objects with support contained in $\cptComponent$ is denoted by $\fiberDsupp = D^b_{\cptComponent}(\fiber)$.
It can be viewed as the derived category of the abelian category $\fiberCohSupp = \Coh_{\cptComponent}(\fiber)$ of coherent sheaves on $\fiber$ supported on $\cptComponent$.
\begin{remark}\label{rem:compactification-to-type-III-degeneration}
% The family $\projectionMap \colon \totalSpace = \Tot(K_{\canonicalBundleBaseSpace}) \to \baseSpace$ admits a compactification by a toric morphism $\overline{\projectionMap} \colon \overline{\totalSpace} = \bP(\cO_{\canonicalBundleBaseSpace} \oplus K_{\canonicalBundleBaseSpace}) \to \bP^1$.
% The central fiber $\overline{\fiber} = \overline{\totalSpace}_0$ consists of five rational surfaces: two of them being $\bP^2$ and the others being the Hirzebruch surface $\Sigma_1 = \Bl_0 \bP^2$:
% the surface $\fiber$ is obtained by removing one of the $\bP^2$ components from $\overline{\fiber}$.
% Since $\overline{\fiber}$ belongs to the anticanonical system $|-K_{\overline{\totalSpace}}|$, it can be regarded as a singular fiber in the family of K3 surfaces defined by this linear system. Hence, $\fiber$ appears as an open subset of a type~III degeneration of K3 surfaces.
Although it is not directly needed in this paper, a mirror partner of the family $\totalSpace$ is given by $M = (\bC^*)^2$ with the divisor $D = \{z_1 + z_2 + c/(z_1z_2) + 1 = 0\} \subset M$, where $c$ is a suitable constant \cite{MR3838112}.
Indeed, applying \cite[Theorem 1.1]{MR4554224} to the toric variety $\totalSpace = \Tot(K_{\canonicalBundleBaseSpace})$ and the Laurent polynomial $W = z_0(z_1 + z_2 + c/(z_1z_2) + 1) + 1$ on $(\bC^*)^3$
yields a derived equivalence between the wrapped Fukaya category of $M \setminus D$ and the category of coherent sheaves on $\fiber$.
See also \cite[Theorem~3.4.4]{MR4845526} and the remarks that follow.
\end{remark}
In the rest of this section, we determine the Picard group and automorphism group of $\fiber$.
Denote by $Z_{ij}$ the intersection $\component_i \cap \component_j$ for $i, j = 1, 2, 3$ with $i \neq j$.
They are isomorphic to $\bA^1$.
\begin{lemma}\label{lem:picard-group-of-non-compact-part}
We have an isomorphism
\begin{equation}
\Pic(\component_1 \cup \component_2 \cup \component_3) \cong \bZ^3 \times \bC^*.
\end{equation}
\end{lemma}
\begin{proof}
A line bundle on $\component_1 \cup \component_2 \cup \component_3$ is determined by the following data:
\begin{enumerate}
\item a line bundle $\cL_i$ on $\component_i$ for $i = 1, 2, 3$,
\item gluing isomorphisms $\varphi_{ji} \colon \cL_i \vert_{Z_{ij}} \xrightarrow{\sim} \cL_j \vert_{Z_{ij}}$.
\end{enumerate}
A line bundle on a component $\component_i \cong \Bl_0 \bA^2$ is of the form $\cO_{\component_i}(n_i E_i)$ for some $n_i \in \bZ$, where $E_i$ is the exceptional divisor of the blow-up.
Moreover, since every line bundle on $Z_{ij} \cong \bA^1$ is trivial, we fix a trivialization $\cO_{\component_i}(n_i E_i) \vert_{Z_{ij}} \cong \cO_{Z_{ij}}$ for each $i \neq j$.
Their automorphisms are parametrized by $\Gamma(Z_{ij}, \cO_{Z_{ij}}^*) = \bC^*$.
With these choices, the gluing data is equivalent to:
\begin{enumerate}
\item a triple of integers $(n_1, n_2, n_3)$, and
\item a triple of non-zero complex numbers $(\varphi_{21}, \varphi_{32}, \varphi_{13})$.
\end{enumerate}
Two such data $(n_1, n_2, n_3, \varphi_{21}, \varphi_{32}, \varphi_{13})$ and $(n'_1, n'_2, n'_3, \varphi'_{21}, \varphi'_{32}, \varphi'_{13})$ define the same line bundle if and only if $(n_1, n_2, n_3) = (n'_1, n'_2, n'_3)$ and there exist automorphisms $\psi_i$ of $\cO_{\component_i}(n_i E_i)$ such that
\begin{equation}\label{eq:coboundary-condition}
\psi_j \cdot \varphi_{ji} = \varphi'_{ji} \cdot \psi_i.
\end{equation}
Since $\Aut(\cO_{\component_i}(n_i E_i)) = \Gamma(\component_i, \cO_{\component_i}^*) = \bC^*$, the relations \eqref{eq:coboundary-condition} can be viewed in $\bC^*$.
This condition is equivalent to $\varphi_{21}\varphi_{32}\varphi_{13} = \varphi'_{21}\varphi'_{32}\varphi'_{13}$.
Therefore, the surjection
\begin{equation}
\{(n_1, n_2, n_3, \varphi_{21}, \varphi_{32}, \varphi_{13}) \in \bZ^3 \times (\bC^*)^3\} \twoheadrightarrow \Pic(\component_1 \cup \component_2 \cup \component_3)
\end{equation}
factors through $\bZ^3 \times \bC^*$, establishing the claimed isomorphism.
\end{proof}
\begin{proposition}\label{prop:picard-group-of-fiber}
The restriction $\Pic(\totalSpace) \to \Pic(\fiber)$ is an isomorphism.
In particular, we have $\Pic(\fiber) \cong \bZ$ with a generator $\cO_{\fiber}(1) = \canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1) \vert_{\fiber}$.
\end{proposition}
\begin{proof}
Since $\Pic(\totalSpace) \to \Pic(\cptComponent)$ is an isomorphism, it is enough to show that $\Pic(\fiber) \to \Pic(\cptComponent)$ is injective.
Denote $\component_1 \cup \component_2 \cup \component_3$ by $W$.
The Picard group of the cycle of three projective lines $\cptComponent \cap W = E_1 \cup E_2 \cup E_3$ is
\begin{equation}
\Pic(\cptComponent \cap W) \cong \bZ^3 \times \bC^*
\end{equation}
with $\bZ^3$-part representing the degree vector, and $\bC^*$-part representing the monodromy.
Then by Lemma \ref{lem:picard-group-of-non-compact-part} (and its proof) the restriction map $\Pic(W) \to \Pic(\cptComponent \cap W)$ is an isomorphism.
Suppose we are given $\cL \in \Pic(\fiber)$ such that $\cL\vert_{\cptComponent} = \cO_{\cptComponent}$.
The exact sequence $0 \to \cO_{\fiber} \to \cO_{\cptComponent} \oplus \cO_W \to \cO_{\cptComponent \cap W} \to 0$ induces an exact sequence
\begin{equation}
0 \to \cL \to \cL\vert_{\cptComponent} \oplus \cL\vert_{W} \to \cL\vert_{\cptComponent \cap W} \to 0.
\end{equation}
One has $\cL\vert_{\cptComponent \cap W} = (\cL\vert_{\cptComponent})\vert_{\cptComponent \cap W} = \cO_{\cptComponent \cap W}$ and hence $\cL\vert_W = \cO_W$ by $\Pic(W) \xrightarrow{\sim} \Pic(\cptComponent \cap W)$.
This shows $\cL = \cO_{\fiber}$.
\end{proof}
Let $x_{ij}$ be the unique intersection point of $Z_{ij}$ and $\cptComponent$.
Note that every automorphism of $\fiber$ induces an automorphism of $Z_{12} \cup Z_{23} \cup Z_{31}$ and preserves the set $\{x_{12}, x_{23}, x_{31}\}$, hence we have
\begin{equation}\label{eq:restriction-map}
\Aut(\fiber) \to \Aut_{\{x_{12}, x_{23}, x_{31}\}}(Z_{12} \cup Z_{23} \cup Z_{31}).
\end{equation}
The latter is isomorphic to $S_3 \ltimes (\bC^*)^3$, where $S_3$ permutes the components and $(\bC^*)^3$ acts on $Z_{ij} = \bA^1$ by scaling with origin $x_{ij}$ fixed.
\begin{proposition}\label{prop:automorphism-group-of-fiber}
The restriction map \eqref{eq:restriction-map} is an isomorphism.
In particular, $\Aut(\fiber) \cong S_3 \ltimes (\bC^*)^3$.
\end{proposition}
\begin{proof}
First, fix $\lambda = (\lambda_{12}, \lambda_{23}, \lambda_{31}) \in (\bC^*)^3 \subset \Aut_{\{x_{12}, x_{23}, x_{31}\}}(Z_{12} \cup Z_{23} \cup Z_{31})$.
We claim that there is a unique lift $f_\lambda \in \Aut(\fiber)$ such that
\begin{equation}
f_\lambda\vert_{Z_{ij}} = \lambda_{ij} \in \bC^* = \Aut_{x_{ij}}(Z_{ij}).
\end{equation}
These conditions determine automorphisms of each component $\component_i \cong \Bl_0\bA^2$, and they glue to an automorphism of $\component_1 \cup \component_2 \cup \component_3$.
Moreover, this glued automorphism extends uniquely to an automorphism of $\fiber$, since an automorphism of $\cptComponent = \bP^2$ is determined by the scalings on the toric boundary $\cptComponent \cap (\component_1 \cup \component_2 \cup \component_3) = E_1 \cup E_2 \cup E_3$.
Conversely, any automorphism of $\fiber$ that does not permute the components $\component_1, \component_2, \component_3$ arises in this way.
Next, choose an embedding $S_3 \hookrightarrow \Aut(\fiber)$, $\sigma \mapsto f_\sigma$, so that $f_\sigma$ permutes the components $\component_1, \component_2, \component_3$ according to $\sigma$.
These two types of automorphisms generate $\Aut(\fiber)$, and the induced action of $S_3$ on $(\bC^*)^3$ is by permuting the coordinates.
\end{proof}
\begin{proposition}\label{prop:automorphism-of-fiber-extends-to-total-space}
Any automorphism of $\fiber$ extends to an automorphism of $\totalSpace$.
Moreover, any automorphism in $S_3 \ltimes \{(\lambda_1, \lambda_2, \lambda_3) \in (\bC^*)^3 \mid \lambda_1 \lambda_2 \lambda_3 = 1\} \subset S_3 \ltimes (\bC^*)^3 \cong \Aut(\fiber)$ extends to an automorphism of $\totalSpace$ over $\baseSpace$.
\end{proposition}
\begin{proof}
For the first part, it suffices to show that any element of $\Aut_{\{x_{12}, x_{23}, x_{31}\}}(Z_{12} \cup Z_{23} \cup Z_{31})$ extends to an automorphism of $\totalSpace$ by Proposition \ref{prop:automorphism-group-of-fiber}.
The $S_3$-part is straightforward: the permutation of variables
\begin{equation}
\bA^3/\mu_3 \to \bA^3/\mu_3, \quad (x_1, x_2, x_3) \mapsto (x_{\sigma(1)}, x_{\sigma(2)}, x_{\sigma(3)})
\end{equation}
induces the desired automorphisms of $\totalSpace$ via the blow-up $\totalSpace \to \bA^3/\mu_3$.
For the $(\bC^*)^3$-part, take $\mu = (\mu_1, \mu_2, \mu_3) \in (\bC^*)^3$, and let $f_\mu$ denote the automorphism of $\totalSpace$ induced by
\begin{equation}
\overline{f_\mu} \colon \bA^3/\mu_3 \to \bA^3/\mu_3, \quad (x_1, x_2, x_3) \mapsto (\mu_1 x_1, \mu_2 x_2, \mu_3 x_3).
\end{equation}
When restricted to the line
\begin{align}
\{x_1 = x_2 = 0\} & = \Spec \bC[x_1, x_2, x_3]^{\mu_3}/(x_1, x_2) \\
& = \Spec \bC[x_3]^{\mu_3} \\
& = \Spec \bC[x_3^3]
\end{align}
the automorphism $\overline{f_\mu}$ acts by $x_3^3 \mapsto \mu_3^3 x_3^3$.
Since $Z_{12}$ is the strict transform of this line, the induced automorphism $f_\mu \vert_{Z_{12}}$ must be $\mu_3^3 \in \bC^* = \Aut_{x_{12}}(Z_{12})$.
In particular, any element $(\lambda_1, \lambda_2, \lambda_3) \in (\bC^*)^3 \subset \Aut_{\{x_{12}, x_{23}, x_{31}\}}(Z_{12} \cup Z_{23} \cup Z_{31})$ is a restriction of $f_\mu$ with $\mu_i = \lambda_i^{1/3}$.
This shows the first part of the statement.
Moreover, if $\lambda_1 \lambda_2 \lambda_3 = 1$, we can take $\mu$ so that $\mu_i^3 = \lambda_i$ for all $i$ and $\mu_1 \mu_2 \mu_3 = 1$.
Then the second part of the statement follows.
\end{proof}
\begin{remark}\label{rem:diagonal-automorphism-acts-trivially}
An automorphism $f \in \Aut(\totalSpace)$ contained in the subgroup $\{(\lambda, \lambda, \lambda) \mid \lambda \in \bC^*\}$ of the $(\bC^*)^3$-part of $\Aut(\fiber)$ acts on $\cptComponent$ trivially.
\end{remark}
\section{Various Derived Categories}\label{sec:various-derived-categories}
In this section, we use the following notation:
\begin{enumerate}
\item $\fiberDc = D^b_c(\fiber) \subset \fiberD$: the full subcategory of complexes with proper support.
\item $\Perf(\fiber)\subset \fiberD$: the full subcategory of perfect complexes.
\end{enumerate}
\begin{lemma}\label{lem:decomposition-of-proper-subset}
Let $W \subset \fiber$ be a closed subset which is proper over the base field (when regarded as a reduced closed subscheme).
Then $W$ is a finite union of
\begin{enumerate}
\item closed subsets of $\cptComponent$,
\item closed points in $\fiber \setminus \cptComponent$.
\end{enumerate}
\end{lemma}
\begin{proof}
Since each $\component_i$ (with $i = 1, 2, 3$) is isomorphic to $\Bl_0\bA^2$, its closed subscheme which is proper over the base field must be a finite union of closed points and the exceptional divisor $E_i = \component_i \cap \cptComponent$ of the blow-up.
Thus, $W$ must be a finite union of closed subschemes of $\cptComponent$ (including the exceptional divisors), and points in $\component_i \setminus \cptComponent$ for $i = 1, 2, 3$.
\end{proof}
\begin{proposition}\label{prop:decomposition-of-compact-support-complex}
Let $\cD' \subset \fiberDc$ be the full subcategory of complexes supported on $\fiber \setminus \cptComponent$.
Then the category $\fiberDc$ is decomposed as
\begin{equation}
\fiberDc = \fiberDsupp \oplus \cD'.
\end{equation}
\end{proposition}
\begin{proof}
Let $F \in \fiberDc$ be a complex with proper support.
By Lemma \ref{lem:decomposition-of-proper-subset}, the support $\Supp(F)$ is a finite union of closed subsets of $\cptComponent$ and closed points in $\fiber \setminus \cptComponent$.
Therefore, there exists a unique decomposition
\begin{equation}\label{eq:decomposition-of-compact-support-complex}
F = F_Z \oplus \bigoplus_{x \in S} F_x
\end{equation}
where $F_Z$ is a complex supported on $\cptComponent$, $S$ is a finite set of points in $\fiber \setminus \cptComponent$, and $F_x$ is a complex supported on $x$.
Since this decomposition is clearly functorial and compatible with exact triangles, the statement follows.
\end{proof}
\begin{remark}\label{rem:decomposition-of-compact-support-complex}
\begin{enumerate}
\item The objects of the category $\cD'$ are of the form $\bigoplus_{x \in S} F_x$ where $S$ is a finite set of points in $\fiber \setminus \cptComponent$ and $F_x$ is a complex supported on $x$.
\item In particular, every indecomposable object of $\fiberDc = \fiberDsupp \oplus \cD'$ is supported on either $\cptComponent$ or a single point $x \in \fiber \setminus \cptComponent$.
\end{enumerate}
\end{remark}
The sequence of natural functors
\begin{equation}
D^b(\cptComponent) \xrightarrow{\cptComponentImmersion_*} \fiberDsupp \hookrightarrow \fiberDc \hookrightarrow \fiberD
\end{equation}
induces natural maps
\begin{equation}\label{eq:K-groups}
K(\cptComponent)=K(D^b(\cptComponent)) \to K(\fiberDsupp) \to K(\fiberDc) \to K(\fiberD).
\end{equation}
\begin{proposition}\label{prop:K-groups}
The morphisms \eqref{eq:K-groups} induce the following identifications:
\begin{enumerate}
\item $K(\fiberDsupp) = K(\cptComponent)$.
\item $K(\fiberDc) = K(\cptComponent) \oplus \bigoplus_{x \in \fiber \setminus \cptComponent}\bZ[\cO_x]$.
\end{enumerate}
\end{proposition}
\begin{proof}
For (1), see \cite[Example II 6.3.4]{MR3076731}.
For (2), the decomposition in Proposition \ref{prop:decomposition-of-compact-support-complex} induces a decomposition of the Grothendieck group
\begin{equation}
K(\fiberDc) = K(\fiberDsupp) \oplus K(\cD').
\end{equation}
The group $K(\fiberDsupp)$ is isomorphic to $K(\cptComponent)$ by (1).
Since every complex in $\cD'$ is supported on a finite set of points, the group $K(\cD')$ is isomorphic to $\bigoplus_{x \in \fiber \setminus \cptComponent}\bZ[\cO_x]$.
\end{proof}
\begin{proposition}\label{prop:auto-preserves-subcategories}
Any autoequivalence $\Phi \in \Aut(\fiberD)$ preserves the subcategories $\fiberDc$ and $\fiberDsupp$.
\end{proposition}
\begin{proof}
The statement follows from the following two lemmas.
\end{proof}
\begin{lemma}\label{lem:auto-preserves-compact-support}
Any autoequivalence $\Phi \in \Aut(\fiberD)$ preserves the subcategory $\fiberDc$.
\end{lemma}
\begin{proof}
By \cite[Proposition 1.11]{MR2437083} the subcategory $\fiberPerf$ of perfect complexes can be reconstructed as the full-subcategory of \emph{homologically finite objects} \cite[Definition 1.6]{MR2437083} in $\fiberD$ only from its triangulated category structure.
In particular, $\Phi$ preserves $\fiberPerf$.
Next, we show that $\Phi$ preserves $\fiberDc$.
Every complex $E \in D(\QCoh(\fiber))$ defines a cohomological functor
\begin{equation}
\Hom(-, E) \colon \fiberPerf^{\op} \to \Vect_{\bC}.
\end{equation}
Then \cite[Theorem 3.2]{MR2793026} says that a complex $E \in D(\QCoh(\fiber))$ is contained in $\fiberDc$ if and only if the functor $\Hom(-, E)$ is \emph{locally finite} in the sense of \cite[Definition 3.1]{MR2793026}.
By using this characterization, for any $E \in \fiberD$ we have
\begin{align}
& \Phi(E) \in \fiberDc \\
\iff & \Hom(-, \Phi(E)) \cong \Hom(\Phi^{-1}(-), E) \colon \fiberPerf \to \Vect_{\bC} \text{ is locally finite} \\
\iff & \Hom(-, E) \colon \fiberPerf \to \Vect_{\bC}\text{ is locally finite} \\
\iff & E \in \cD_c.
\end{align}
We used $\Phi(\fiberPerf) = \fiberPerf$ in the second equivalence.
\end{proof}
\begin{lemma}
Any autoequivalence $\Phi \in \Aut(\fiberDc)$ respects the decomposition $\fiberDc = \fiberDsupp \oplus \cD'$ in Proposition \ref{prop:decomposition-of-compact-support-complex}, i.e.~one has $\Phi(\fiberDsupp) = \fiberDsupp$ and $\Phi(\cD') = \cD'$.
\end{lemma}
\begin{proof}
We first show that the induced automorphism $\Phi \colon K(\fiberDc) \to K(\fiberDc)$ preserves the subgroup $K(\fiberDsupp)$.
The group $K(\fiberDsupp) = K(\cptComponent)$ is generated by $[\cO_{\cptComponent}]$, $[\cO_l]$, and $[\cO_x]$, where $l \subset \cptComponent$ is a line and $x \in \cptComponent$ is a point.
The objects $\Phi(\cO_{\cptComponent})$, $\Phi(\cO_l)$, and $\Phi(\cO_x)$ are indecomposable and there are non-zero morphisms $\Phi(\cO_{\cptComponent}) \to \Phi(\cO_l)$ and $\Phi(\cO_{\cptComponent}) \to \Phi(\cO_x)$.
Therefore, Proposition \ref{prop:decomposition-of-compact-support-complex} and Remark \ref{rem:decomposition-of-compact-support-complex} (2) imply that there are only two possibilities:
\begin{enumerate}
\item $\Phi(\cO_{\cptComponent}), \Phi(\cO_l), \Phi(\cO_x)$ are contained in $\fiberDsupp$, or
\item $\Phi(\cO_{\cptComponent}), \Phi(\cO_l), \Phi(\cO_x)$ are supported on a common point $y \in \fiber \setminus \cptComponent$.
\end{enumerate}
The second case does not occur; otherwise, the rank three lattice $\Phi(K(\fiberDsupp))$ would be contained in $\bZ[\cO_y]$.
This shows $\Phi(K(\fiberDsupp)) = K(\fiberDsupp)$.
Next, we show $\Phi(\cD') \subset \cD'$.
If not, there exists a point $y \in \fiber \setminus \cptComponent$ with $\Phi(\cO_y) \notin \cD'$.
Since $\Phi(\cO_y)$ is indecomposable, we have $\Phi(\cO_y) \in \fiberDsupp$.
Passing to the Grothendieck group, we have $0 \neq [\cO_y] = [\Phi^{-1}(\Phi(\cO_y))] \in \Phi^{-1}(K(\fiberDsupp)) = K(\fiberDsupp)$, which is a contradiction.
Therefore, the autoequivalence $\Phi$ preserves the subcategory $\cD'$.
It also preserves the perpendicular category $\fiberDsupp = {}^\perp\cD'$.
\end{proof}
\begin{corollary}\label{cor:outside-skyscraper-sheaf}
For any autoequivalence $\Phi \in \Aut(\fiberDc)$ and $x \in \fiber \setminus \cptComponent$, the image $\Phi(\cO_x)$ of the skyscraper sheaf $\cO_x$ is of the form $\cO_y[n]$ for some point $y \in \fiber \setminus \cptComponent$ and integer $n \in \bZ$.
\end{corollary}
\begin{proof}
By the indecomposability of $\cO_x$ and the previous lemma, the image $\Phi(\cO_x)$ is supported on a single point $y \in \fiber \setminus \cptComponent$.
It also satisfies the following condition:
\begin{equation}
\Ext^i(\Phi(\cO_x), \Phi(\cO_x)) = \begin{cases}
\bC & i = 0, \\
0 & i < 0
\end{cases}
\end{equation}
Then the argument in \cite[Lemma 4.5]{MR2244106} shows the claim.
\end{proof}
\section{Stability conditions}\label{sec:stability-conditions}
In this section, we study the space of Bridgeland stability conditions on the category $\fiberDsupp$ by comparing it with that on $D^b_{\cptComponent}(\totalSpace)$.
For simplicity, we denote the category $D^b_{\cptComponent}(\totalSpace)$ by $\simpleTotalDsupp$.
We say that a vector bundle $E$ on $\cptComponent$ is \emph{exceptional} if $\Ext^i_{\cptComponent}(E, E) = \bC$ for $i = 0$ and $0$ for $i \neq 0$.
If $E$ is exceptional, then the sheaf $\closedImmersion_*\cptComponentImmersion_*E$ on $\totalSpace$ is a spherical object in $\simpleTotalDsupp$ \cite[Proposition 3.15]{MR1831820} and hence $\cptComponentImmersion_*E$ is a half-spherical object in $\fiberDsupp$.
By abuse of notation, we denote the associated spherical twist by $\sphericalTwistE \colon \simpleTotalDsupp \to \simpleTotalDsupp$ and the half-spherical twist by $\halfTwistE \colon \fiberDsupp \to \fiberDsupp$.
\subsection{Comparison isomorphism of spaces of stability conditions}\label{subsec:comparison-isomorphism}
\begin{lemma}
For any stability condition $\sigma = (Z, \cP)$ on $\simpleTotalDsupp$, the following construction gives a stability condition $\comparisonIso(\sigma) = (Z', \cP')$ on $\fiberDsupp$:
\begin{enumerate}
\item $Z' = Z \circ \closedImmersion_*$,
\item $\cP'(\phi) = \{E \in \fiberDsupp \mid \closedImmersion_* E \in \cP(\phi)\}$.
\end{enumerate}
\end{lemma}
\begin{proof}
We can apply \cite[Corollary 2.2.2]{MR2324559} to our supported derived categories.
The assumption that the functor $-\otimes_{\totalSpace}\closedImmersion_*\cO_{\fiber} \colon \simpleTotalDsupp \to \simpleTotalDsupp$ is right t-exact is satisfied since
$\closedImmersion_*\cO_{\fiber} \cong (0 \to \cO_{\totalSpace} \to \cO_{\totalSpace} \to 0)$ in $D^b(\totalSpace)$.
\end{proof}
\begin{remark}
In the above lemma, we also have $\cP'(I) = \{E \in \fiberDsupp \mid \closedImmersion_* E \in \cP(I)\}$ for any interval $I \subset \bR$.
See also \cite[Proposition 2.2.1]{MR2324559}.
\end{remark}
\begin{lemma}[{\cite[Lemma 5.3]{MR2448280}}]\label{lem:lemma-on-inducing-stability-condition}
Let $\sigma = (Z, \cP)$ be a stability condition on $\simpleTotalDsupp$ and $\theta(\sigma) = (Z', \cP')$ be the induced stability condition on $\fiberDsupp$.
Denote by $\cA = \cP((0, 1])$ and $\cA' = \cP'((0, 1])$ the hearts of $\sigma$ and $\theta(\sigma)$ respectively.
Then the following hold:
\begin{enumerate}
\item $\closedImmersion_* \colon \cA' \to \cA$ is fully faithful.
\item $\closedImmersion_*\cP'_{s}(\phi) = \cP_{s}(\phi)$ for all $\phi \in \bR$, where $\cP_s(\phi)$ (resp.~$\cP'_s(\phi)$) is the subcategory of $\sigma$-stable (resp.~$\theta(\sigma)$-stable) objects of phase $\phi$.
\item For any $E \in \fiberDsupp$, we have $\phi_{\sigma}^{\pm}(\closedImmersion_*E) = \phi_{\theta(\sigma)}^{\pm}(E)$.
\item We have \begin{align}
& \sup\left\{\frac{\|E\|}{|Z(E)|}\mid E \in \simpleTotalDsupp \colon \sigma \text{-semistable}\right\} \\
& = \sup\left\{\frac{\|E\|}{|Z'(E)|}\mid E \in \fiberDsupp \colon \theta(\sigma) \text{-semistable}\right\}
\end{align}
for any norm $\|\cdot\|$ on $K(\simpleTotalDsupp) \cong K(\fiberDsupp)$.
In particular, $\sigma$ satisfies the support property if and only if $\theta(\sigma)$ does.
\end{enumerate}
\end{lemma}
These two lemmas show that $\theta$ defines a map from $\Stab(\simpleTotalDsupp)$ to $\Stab(\fiberDsupp)$ which makes the following diagram commute:
\begin{equation}
\begin{tikzcd}
\Stab(\simpleTotalDsupp) \ar[r, "\comparisonIso"] \ar[d, "\cZ"'] & \Stab(\fiberDsupp) \ar[d, "\cZ"] \\
\Hom(K(\simpleTotalDsupp), \bC) \ar[r, "- \circ \closedImmersion_*"] & \Hom(K(\fiberDsupp), \bC).
\end{tikzcd}
\end{equation}
Notice that the map $\comparisonIso$ commutes with the natural $\bC$-actions on both sides.
By the same argument as in \cite[Corollary 5.4, Theorem 5.5]{MR2448280}, it induces the following comparison isomorphism of the spaces of stability conditions.
\begin{theorem}\label{thm:comparison-isomorphism}
The map $\theta$ is continuous.
Moreover, let $\Stab^{\circ}(\simpleTotalDsupp)$ be a connected component of $\Stab(\simpleTotalDsupp)$ and $\Stab^{\circ}(\fiberDsupp)$ be the connected component of $\Stab(\fiberDsupp)$ containing $\theta(\Stab^{\circ}(\simpleTotalDsupp))$.
Then the map $\comparisonIso \colon \Stab^{\circ}(\simpleTotalDsupp) \to \Stab^{\circ}(\fiberDsupp)$ is an isomorphism of complex manifolds.
\end{theorem}
\subsection{Wall and chamber structure on $\Stab(\simpleTotalDsupp)$}\label{subsec:wall-and-chamber-structure-on-total-space}
Let us recall the structure of $\Stab(\simpleTotalDsupp)$ studied in \cite{bayer-macri}.
A stability condition $\sigma = (Z, \cP) \in \Stab(\simpleTotalDsupp)$ is called \emph{geometric} if the skyscraper sheaves $\cO_x$ for all $x \in \cptComponent$ are $\sigma$-stable of the same phase.
Denote the set of all geometric stability conditions on $\simpleTotalDsupp$ by $\totalGeometricChamber$.
It is an open subset of $\Stab(\simpleTotalDsupp)$ and its boundary $\partial \totalGeometricChamber$ is a locally finite union of \emph{walls} (real codimension one submanifolds) in $\Stab(\simpleTotalDsupp)$.
Define the natural $\bC$-slice $\nTotalGeometricChamber$ of $\totalGeometricChamber$ by
\begin{equation}
\nTotalGeometricChamber = \{\sigma = (Z, \cP) \in \totalGeometricChamber \mid Z(\cO_x) = -1, \phi(\cO_x) = 1 \text{ for all } x \in \cptComponent\}.
\end{equation}
Consider a basis $([\cO_x], [\cO_l], [\cO_{\cptComponent}])$ of $K(\simpleTotalDsupp)$ where $x \in \cptComponent$ is a point and $l \subset \cptComponent$ is a line.
Denote the corresponding dual basis of $\Hom(K(\simpleTotalDsupp), \bC)$ by $(c, d, r)$:
\begin{equation}
[F] = c(F)[\cO_x] + d(F)[\cO_l] + r(F)[\cO_{\cptComponent}].
\end{equation}
By definition, the central charge $Z$ of any $\sigma \in \nTotalGeometricChamber$ is of the form $Z = Z_{a, b} = -c + a d + b r$ for some $(a, b) \in \bC^2$.
For a purely 2-dimensional sheaf $F$ on $\totalSpace$ supported on $\cptComponent$, the slope $\slopeOfF$ is defined by $\slopeOfF = d(F)/r(F)$, and slope-stability is defined in the usual way.
One has the Harder--Narasimhan filtration with respect to slope-stability for such sheaves.
Every exceptional vector bundle $E$ on $\cptComponent$ gives rise to a slope-stable sheaf $\cptComponentImmersion_*E$.
For $B \in \bR$, we define a torsion pair $(\widetilde{\cT_B}, \widetilde{\cF_B})$ of $\Coh_{\cptComponent}(\totalSpace) \subset \simpleTotalDsupp$ as follows:
$\widetilde{\cT_B}$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF > B$ and torsion sheaves, and $\widetilde{\cF_B}$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF \leq B$.
The tilt $\langle \widetilde{\cF_B}[1], \widetilde{\cT_B} \rangle$ gives the heart of a bounded t-structure on $\simpleTotalDsupp$.
\begin{lemma}[{\cite[Section 3]{bayer-macri}}]
Any $\sigma \in \nTotalGeometricChamber$ is of the form $\sigma_{a, b} = (Z_{a, b}, \langle \widetilde{\cF_B}[1], \widetilde{\cT_B} \rangle)$ for some $(a, b) \in \bC^2$ with $\Im a > 0$ and $B = B(a, b) = -\frac{\Im b}{\Im a}$.
\end{lemma}
This shows that the map $(Z, \cP) \mapsto Z$ is an injection from $\nTotalGeometricChamber$ to $\{Z_{a, b} \mid (a, b) \in \bC^2, \Im a > 0\}$.
Next we describe the image.
For $\sigma = (Z_{a, b}, \langle \widetilde{\cF_B}[1], \widetilde{\cT_B} \rangle)$,
suppose there exists a slope-stable sheaf $F$ with slope $\mu(F) = B(a, b) = -\frac{\Im b}{\Im a}$ and discriminant $\discriminantOfF \coloneq \frac{d(F)^2}{2r(F)^2} - \frac{c(F)}{r(F)}$.
Then $F[1]$ lies in $\cP((0, 1]) = \langle \widetilde{\cF_B}[1], \widetilde{\cT_B} \rangle$ and satisfies $\Im Z(F[1]) = -\Im a \cdot r(F)(\slopeOfF - B(a, b)) = 0$, and hence
\begin{equation}
\Re Z(F[1]) = r(F) \cdot(g(a, b) - \Delta_F) < 0
\end{equation}
where
\begin{equation}\label{eq:g}
g(a, b) = -\Re b - B(a, b) \cdot \Re a + \frac{1}{2}B(a,b)^2.
\end{equation}
This suggests that the point $f(a, b) = (B(a, b), g(a, b)) \in \bR^2$ should lie below the set
\begin{equation}
S = \{(\slopeOfF, \discriminantOfF) \mid F \text{ is a slope-stable sheaf on }\cptComponent\}.
\end{equation}
On the other hand, according to \cite{MR816365, MR1428426} the set $S$ has the following explicit description.
First, for a given $B \in \bQ$ there exists at most one exceptional vector bundle $E$ on $\cptComponent$ of slope $\slopeOfE = B$, and the set of exceptional slopes $\{\slopeOfE\}_E$ is completely determined in \cite{MR816365}.
Second, there exists a continuous periodic function $\dpFunction \colon \bR \to [\frac{1}{2}, 1]$ of period 1 such that the set
\begin{equation}
\{(\slopeOfF, \discriminantOfF) \mid F \text{ is a slope-stable and non-exceptional sheaf on }\cptComponent\}
\end{equation}
coincides with the set $\{(\mu, \Delta) \in \bQ^2 \mid \Delta \geq \dpFunction(\mu)\}$.
See \cite[Section 2, Appendix A.1]{bayer-macri} for details.
Motivated by these observations, let $f \colon \{(a, b) \mid \Im a > 0\} \to \bR^2$ be the map defined by
\begin{equation}\label{eq:f}
f(a, b) = \left(B(a, b), g(a, b)\right),
\end{equation}
and $G$ be the inverse image under $f$ of the points $(x, y) \in \bR^2$ that lie strictly below both of the following:
\begin{enumerate}
\item $S_\infty = \{(\mu, \Delta) \mid \Delta \geq \dpFunction(\mu)\}$, and
\item the discrete set $S_E = \{(\slopeOfE, \discriminantOfE) \mid E \text{ is an exceptional bundle on }\cptComponent\}$, which is disjoint from $S_\infty$.
\end{enumerate}
\begin{remark}\label{rem:slope-discriminant-curve}
Every point $(\slopeOfE, \discriminantOfE) \in S_E$ lies below the curve $y = \dpFunction(x)$ which defines $S_\infty$.
\end{remark}
\begin{theorem}[{\cite[Section 4]{bayer-macri}}]\label{thm:total-space-geometric-chamber}
The forgetful map $\cZ \colon \sigma_{a, b} \mapsto (a, b)$ gives an isomorphism from $\nTotalGeometricChamber$ to $G$.
In particular, $\totalGeometricChamber$ is isomorphic to $G \times \bC$.
Moreover, for any $\sigma \in \totalGeometricChamber$ the objects $\cO_x[n]$ for $x \in \cptComponent$ and $n \in \bZ$ are the only $\sigma$-stable objects whose class in $K(\simpleTotalDsupp)$ is equal to $\pm[\cO_x]$.
\end{theorem}
The structure of the boundary $\partial \totalGeometricChamber$ is given as follows.
For an exceptional bundle $E$ on $\cptComponent$, define a subset $\boundaryE$ of $\bC^2$ by
\begin{equation}
\boundaryE =
\left\{
(a, b) \middle|
\begin{aligned}
& \Im a > 0, \\
& B(a, b) = \slopeOfE, \\
& \discriminantOfE < g(a, b) < \dpFunction(B(a,b))
\end{aligned}
\right\}.
\end{equation}
In other words, $\boundaryE$ is the inverse image under $f$ \eqref{eq:f} of the vertical line segment connecting the point $(\slopeOfE, \discriminantOfE)$ and the curve $y = \dpFunction(x)$ (Remark \ref{rem:slope-discriminant-curve}).
A general point of $\partial G$ lies on some $\boundaryE$.
For $(a, b) \in \boundaryE$, we define a torsion pair $(\widetilde{\cT_E}, \widetilde{\cF_E})$ of $\Coh_{\cptComponent}(\totalSpace)$ as follows:
$\widetilde{\cT_E}$ is the extension-closed subcategory generated by $j_*E$, slope-semistable sheaves $F$ with $\slopeOfF > \slopeOfE$, and torsion sheaves, and
$\widetilde{\cF_E}$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF \leq \slopeOfE$ and $\Hom(j_*E, F) = 0$.
Then $\sigma_{a, b}^{+} = (Z_{a, b}, \langle \widetilde{\cF_E}[1], \widetilde{\cT_E} \rangle)$ defines a stability condition lying on the boundary $\partial \totalGeometricChamber$ \cite[Section 5]{bayer-macri}.
This construction gives rise to a wall
\begin{equation}
\widetilde{W_E^+} = \overline{\{\sigma_{a, b}^{+} \cdot \lambda \mid (a, b) \in \boundaryE, \lambda \in \bC\}} \subset \partial \totalGeometricChamber.
\end{equation}
Together with $\widetilde{W_E^-} = T_E^{-1}(\widetilde{W_E^+})$, these walls describe the entire boundary $\partial \totalGeometricChamber$ as follows.
We denote the kernel of the evaluation map $j_*E^{\oplus r(E)} = \Hom(j_*E, \cO_x) \otimes j_*E \to \cO_x$ by $\widetilde{E^x}$.
\begin{theorem}[{\cite[Theorem 5.1]{bayer-macri}}]\label{thm:total-space-boundary}
For every exceptional bundle $E$ on $\cptComponent$, there exist two codimension one walls $\widetilde{W_E^+}$ and $\widetilde{W_E^-}$ in $\partial \totalGeometricChamber$ such that
\begin{enumerate}
\item $\widetilde{W_E^+}$ consists of $\sigma = (Z, \cP)$ such that $j_*E$ and $\cO_x$ for $x \in \cptComponent$ are $\sigma$-semistable of the same phase $\phi$, with $j_*E$ being a subobject of $\cO_x$ in $\cP(\phi)$: at a general point of $\widetilde{W_E^+}$, the Jordan-H\"older filtration of $\cO_x$ is given by
\begin{equation}
j_*E^{\oplus r(E)} \to \cO_x \to \widetilde{E^x}[1] \xrightarrow{+1},
\end{equation}
\item $\widetilde{W_E^-}$ consists of $\sigma = (Z, \cP)$ such that $j_*E[2]$ and $\cO_x$ for $x \in \cptComponent$ are $\sigma$-semistable of the same phase $\phi$, with $j_*E[2]$ being a quotient of $\cO_x$ in $\cP(\phi)$: at a general point of $\widetilde{W_E^-}$, the Jordan-H\"older filtration of $\cO_x$ is given by
\begin{equation}
T_E^{-1}(\widetilde{E^x}[1]) \to \cO_x \to j_*E^{\oplus r(E)}[2] \xrightarrow{+1},
\end{equation}
\item $\widetilde{W_E^+} = \overline{\totalGeometricChamber} \cap T_E(\overline{\totalGeometricChamber})$ and $\widetilde{W_E^-} = \overline{\totalGeometricChamber} \cap T_E^{-1}(\overline{\totalGeometricChamber})$.
\end{enumerate}
Moreover, we have $\partial \totalGeometricChamber = \bigcup_E (\widetilde{W_E^+} \sqcup \widetilde{W_E^-})$ where $E$ runs through all exceptional bundles on $\cptComponent$.
\end{theorem}
Since $G$ is connected, there is a unique connected component $\totalStabDagger \subset \Stab(\simpleTotalDsupp)$ containing $\totalGeometricChamber = G \times \bC$.
The description of the boundary above implies the following.
\begin{theorem}[{\cite[Corollary 5.2]{bayer-macri}}]
We have $\totalStabDagger = \bigcup_{\Phi} \Phi(\overline{\totalGeometricChamber})$ where $\Phi$ runs through the subgroup of $\Aut(\simpleTotalDsupp)$ generated by the spherical twists $T_E$ for all exceptional bundles $E$ on $\cptComponent$.
\end{theorem}
We also have the following.
\begin{theorem}[{\cite[Theorem 7.1]{bayer-macri}}]
$\totalStabDagger$ is simply connected.
\end{theorem}
\subsection{Wall and chamber structure on $\Stab(\fiberDsupp)$}\label{subsec:wall-and-chamber-structure-on-fiber}
Following the previous subsection, we say that a stability condition $\sigma \in \Stab(\fiberDsupp)$ is \emph{geometric} if the skyscraper sheaves $\cO_x$ for all $x \in \cptComponent$ are $\sigma$-stable of the same phase, and denote the set of all geometric stability conditions on $\fiberDsupp$ by $\geometricChamber$.
By its definition and Lemma \ref{lem:lemma-on-inducing-stability-condition} (2), the map $\theta$ in Section \ref{subsec:comparison-isomorphism} induces an isomorphism between $\totalGeometricChamber$ and $\geometricChamber$, and hence between $\totalStabDagger$ and $\stabDagger$ where the latter is the connected component of $\Stab(\fiberDsupp)$ containing $\geometricChamber$.
\begin{corollary}\label{cor:fiber-stab-dagger-simply-connected}
$\stabDagger$ is simply connected.
\end{corollary}
We also consider slope-stability for purely 2-dimensional sheaves in $\fiberCohSupp = \Coh_{\cptComponent}(\fiber)$.
Let $(\cT_B, \cF_B)$ be a torsion pair of $\fiberCohSupp$ as follows:
\begin{enumerate}
\item $\cT_B$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF > B$ and torsion sheaves,
\item $\cF_B$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF \leq B$.
\end{enumerate}
\begin{theorem}\label{thm:fiber-geometric-chamber}
There is an isomorphism between $G \times \bC$ and $\geometricChamber$ given by
\begin{equation}
(a, b, \lambda) \mapsto (Z_{a, b}, \langle \cF_B[1], \cT_B \rangle) \cdot \lambda,
\end{equation}
where $B = -\frac{\Im b}{\Im a}$.
Moreover, for any $\sigma \in \geometricChamber$ the objects $\cO_x[n]$ for $x \in \cptComponent$ and $n \in \bZ$ are the only $\sigma$-stable objects whose class in $K(\fiberDsupp)$ is equal to $\pm[\cO_x]$.
\end{theorem}
\begin{proof}
By definition of $\theta$ and Theorem \ref{thm:total-space-geometric-chamber}, $\geometricChamber$ consists of the stability conditions of the form $\theta(\sigma_{a, b}) \cdot \lambda$ for some $(a, b) \in G$ and $\lambda \in \bC$.
Let $\theta(\sigma_{a, b}) = (Z', \cP')$.
We have an inclusion $\cP'((0, 1]) \supset \langle \cF_B[1], \cT_B \rangle$ by definition of slope.
Since both sides are hearts of bounded t-structures, the inclusion is an equality.
The rest follows from the second part of Theorem \ref{thm:total-space-geometric-chamber} and Lemma \ref{lem:lemma-on-inducing-stability-condition} (2).
\end{proof}
The next observation is crucial to describe the boundary $\partial \geometricChamber$.
\begin{lemma}\label{lem:half-spherical-twist-compatibility-on-stab}
Let $E$ be an exceptional bundle on $\cptComponent$.
Then the following diagram commutes:
\begin{equation}
\begin{tikzcd}
\Stab(\simpleTotalDsupp) \ar[r, "\comparisonIso"] \ar[d, "T_{E}"'] & \Stab(\fiberDsupp) \ar[d, "H_{E}"] \\
\Stab(\simpleTotalDsupp) \ar[r, "\comparisonIso"] & \Stab(\fiberDsupp)
\end{tikzcd}
\end{equation}
\end{lemma}
\begin{proof}
It follows from the relation $\closedImmersion_* \circ H_E \cong T_E \circ \closedImmersion_*$ (Proposition \ref{prop:half-spherical-twist-compatibility}) and the definition of $\comparisonIso$.
\end{proof}
For an exceptional bundle $E$ on $\cptComponent$, we denote the kernel of the evaluation map $\cptComponentImmersion_*E^{\oplus r(E)} = \Hom(\cptComponentImmersion_*E, \cO_x) \otimes \cptComponentImmersion_*E \to \cO_x$ by $E^x$.
Clearly, it satisfies $\closedImmersion_*E^x \cong \widetilde{E^x}$.
\begin{theorem}\label{thm:fiber-boundary}
For every exceptional bundle $E$ on $\cptComponent$, there exist two codimension one walls $W_E^+$ and $W_E^-$ in $\partial \geometricChamber$ such that
\begin{enumerate}
\item $W_E^+$ consists of $\sigma = (Z, \cP)$ such that $\cptComponentImmersion_*E$ and $\cO_x$ for $x \in \cptComponent$ are $\sigma$-semistable of the same phase $\phi$, with $\cptComponentImmersion_*E$ being a subobject of $\cO_x$ in $\cP(\phi)$: at a general point of $W_E^+$, the Jordan-H\"older filtration of $\cO_x$ is given by
\begin{equation}
\cptComponentImmersion_*E^{\oplus r(E)} \to \cO_x \to E^x[1] \xrightarrow{+1},
\end{equation}
\item $W_E^-$ consists of $\sigma = (Z, \cP)$ such that $\cptComponentImmersion_*E[2]$ and $\cO_x$ for $x \in \cptComponent$ are $\sigma$-semistable of the same phase $\phi$, with $\cptComponentImmersion_*E[2]$ being a quotient of $\cO_x$ in $\cP(\phi)$: at a general point of $W_E^-$, the Jordan-H\"older filtration of $\cO_x$ is given by
\begin{equation}
H_E^{-1}(E^x[1]) \to \cO_x \to \cptComponentImmersion_*E^{\oplus r(E)}[2] \xrightarrow{+1},
\end{equation}
\item $W_E^+ = \overline{\geometricChamber} \cap H_E(\overline{\geometricChamber})$ and $W_E^- = \overline{\geometricChamber} \cap H_E^{-1}(\overline{\geometricChamber})$.
\end{enumerate}
Moreover, we have $\partial \geometricChamber = \bigcup_E (W_E^+ \sqcup W_E^-)$ where $E$ runs through all exceptional bundles on $\cptComponent$.
\end{theorem}
\begin{proof}
It follows from Lemma \ref{lem:lemma-on-inducing-stability-condition}, Theorem \ref{thm:total-space-boundary}, and Lemma \ref{lem:half-spherical-twist-compatibility-on-stab}.
Note that $j_*E = \closedImmersion_* \cptComponentImmersion_*E$.
\end{proof}
By an argument similar to that in Theorem \ref{thm:fiber-geometric-chamber}, a general element of the wall $W_E^+$ is of the form $(Z_{a, b}, \langle \cF_E[1], \cT_E \rangle) \cdot \lambda$ for some $(a, b) \in \boundaryE$ and $\lambda \in \bC$, where $(\cT_E, \cF_E)$ is the torsion pair of $\fiberCohSupp$ defined as follows:
\begin{enumerate}
\item $\cT_E$ is the extension-closed subcategory generated by $\cptComponentImmersion_*E$, slope-semistable sheaves $F$ with $\slopeOfF > \slopeOfE$, and torsion sheaves,
\item $\cF_E$ is the extension-closed subcategory generated by slope-semistable sheaves $F$ with $\slopeOfF \leq \slopeOfE$ and $\Hom(\cptComponentImmersion_*E, F) = 0$.
\end{enumerate}
To check that they form a torsion pair, we can apply the proof of \cite[Proposition 5.6]{bayer-macri},
with $\Hom_{\fiber}(\cptComponentImmersion_*E, \cptComponentImmersion_*E) = \bC$ and $\Ext^1_{\fiber}(\cptComponentImmersion_*E, \cptComponentImmersion_*E) = 0$ (by Lemma \ref{lem:end-ring-of-half-spherical-objects} below) in place of $\Hom_{\totalSpace}(j_*E, j_*E) = \bC$ and $\Ext^1_{\totalSpace}(j_*E, j_*E) = 0$.
\begin{lemma}\label{lem:end-ring-of-half-spherical-objects}
Let $F \in \fiberDsupp$ be a half-spherical object.
Then we have
\begin{equation}
\Ext^m_{\fiber}(F, F) = \begin{cases}
\bC & \text{if $m = 0$ or $2$}, \\
0 & \text{if $m<0$ or $m=1$}.
\end{cases}
\end{equation}
\end{lemma}
\begin{proof}
It follows from the exact triangle
\begin{equation}
F[1] \to \closedImmersion^*\closedImmersion_*F \to F \xrightarrow{+1},
\end{equation}
the induced long exact sequence of $\Hom_{\fiber}(-, F)$, and the fact that $\closedImmersion_*F$ is a spherical object in $\totalDsupp$.
\end{proof}
Finally, one has a covering of $\stabDagger$ by translates of $\overline{\geometricChamber}$ as follows.
\begin{corollary}\label{cor:stab-dagger-is-covered-by-translates-of-geometric-chamber}
We have $\stabDagger = \bigcup_{\Phi} \Phi(\overline{\geometricChamber})$ where $\Phi$ runs through the subgroup of $\Aut(\fiberDsupp)$ generated by the half-twists $H_E$ for all exceptional bundles $E$ on $\cptComponent$.
\end{corollary}
\begin{proof}
It follows from Theorem \ref{thm:total-space-boundary} and Lemma \ref{lem:half-spherical-twist-compatibility-on-stab}.
One can also prove it directly by the same argument as in \cite[Corollary 5.2]{bayer-macri} or \cite[Proposition 13.1]{MR2376815} using the description of the boundary $\partial \geometricChamber$.
\end{proof}
\section{Autoequivalence Group}\label{sec:autoequivalence-group}
We use the same notation for (half-)spherical twists as in Section \ref{sec:stability-conditions}.
For any autoequivalence $\Phi \in \Aut(\fiberD)$, we denote the induced autoequivalence of $\fiberDsupp$ (Proposition \ref{prop:auto-preserves-subcategories}) by the same letter $\Phi$.
Let $\Aut^\dagger(\fiberD)$ be the subgroup of $\Aut(\fiberD)$ consisting of autoequivalences $\Phi$ that preserve the connected component $\stabDagger \subset \Stab(\fiberDsupp)$.
The goal of this section is to prove the following theorem.
\begin{theorem}\label{thm:autoequivalence-group}
\begin{equation}
\Aut^\dagger(\fiberD) \cong \bZ \times \Gamma_1(3) \times \Aut(\fiber).
\end{equation}
\end{theorem}
We first show that the subgroup of $\Aut^\dagger(\fiberD)$ generated by the shifts, $\Aut(\fiber)$, $\Pic(\fiber)$, and the half-twists $H_E$ for all exceptional bundles $E$ on $\cptComponent$ is isomorphic to the right-hand side of the above isomorphism.
Note that one has $H_E \in \Aut^\dagger(\fiberD)$ by Corollary \ref{cor:stab-dagger-is-covered-by-translates-of-geometric-chamber}.
\begin{lemma}\label{lemma:gamma1-3}
The subgroup of $\Aut^\dagger(\fiberD)$ generated by $H_{\cO_{\cptComponent}}$ and $- \otimes\cO_{\fiber}(1)$ is isomorphic to $\Gamma_1(3)$.
\end{lemma}
\begin{proof}
By \cite[Section 7.3.5]{MR2405589}, the functors $\alpha = T_{\cO_{\cptComponent}}$ and $\beta = -\otimes\canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1)$ satisfy the relation $(\alpha\beta)^3 \cong \id$ at the level of Fourier--Mukai kernels and their convolution.
Then there exists a group homomorphism
\begin{equation}
\Gamma_1(3) \to \Aut^\dagger(\fiberD)
\end{equation}
which maps $\alpha$ to $H_{\cO_{\cptComponent}}$ and $\beta$ to $-\otimes\cO_{\fiber}(1)$ (see Example \ref{ex:half-spherical-twist-conjugation} and the discussion above it).
On the other hand, by Proposition \ref{prop:auto-preserves-subcategories}, one has a natural action of $\Gamma_1(3)$ on $K(\fiberDsupp)$ through $H_{\cO_{\cptComponent}}$ and $-\otimes\cO_{\fiber}(1)$.
Now, recall that we have an isomorphism $i_* \colon K(\fiberDsupp) \xrightarrow{\sim} K(\totalDsupp)$ and the relations of functors $\closedImmersion_* \circ H_{\cO_{\cptComponent}} = T_{\cO_{\cptComponent}} \circ \closedImmersion_*$, $\closedImmersion_* \circ (-\otimes\cO_{\fiber}(1)) = (-\otimes\canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1)) \circ \closedImmersion_*$.
They show that the induced actions of $H_{\cO_{\cptComponent}}$ and $-\otimes\cO_{\fiber}(1)$ on $K(\fiberDsupp)$ are the same as those of $T_{\cO_{\cptComponent}}$ and $-\otimes\canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1)$ on $K(\totalDsupp)$, i.e.~there is a commutative diagram
\begin{equation}
\begin{tikzcd}
\Gamma_1(3) \ar[r, equal]& \langle T_{\cO_{\cptComponent}}, -\otimes\canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1) \rangle \ar[r, twoheadrightarrow] \ar[d]& \langle H_{\cO_{\cptComponent}},-\otimes \cO_{\fiber}(1) \rangle \ar[d] \ar[r, phantom, "\subset"] &\Aut^\dagger(\cD)\\
& \Aut(K(\totalDsupp)) \ar[r, equal] & \Aut(K(\fiberDsupp)) &\\
\end{tikzcd}
\end{equation}
of groups.
In addition, the proof of \cite[Proposition 8.2]{bayer-macri} implies that the map $\Gamma_1(3) = \langle T_{\cO_{\cptComponent}}, -\otimes\canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1) \rangle \to \Aut(K(\totalDsupp))$ in the above diagram is injective.
Therefore, the group $\langle H_{\cO_{\cptComponent}}, -\otimes\cO_{\fiber}(1) \rangle \subset \Aut^\dagger(\fiberD)$ is isomorphic to $\Gamma_1(3)$.
\end{proof}
\begin{lemma}\label{lem:half-spherical-twist-in-gamma1-3}
For any exceptional bundle $E$ on $\cptComponent$, the half-spherical twist $\halfTwistE$ is contained in the subgroup $\Gamma_1(3) = \langle H_{\cO_{\cptComponent}}, -\otimes\cO_{\fiber}(1) \rangle \subset \Aut^\dagger(\fiberD)$.
\end{lemma}
\begin{proof}
This follows from the corresponding result \cite[Lemma 8.3]{bayer-macri} on $\totalSpace$, after restricting to the fiber.
See the discussion in Example \ref{ex:half-spherical-twist-conjugation}.
\end{proof}
\begin{lemma}\label{lem:automorphism-commutes-with-half-spherical-twist}
For any automorphism $f \in \Aut(\fiber)$, the induced autoequivalence $f_* \in \Aut^\dagger(\fiberD)$ commutes with the half-spherical twist $H_{\cO_{\cptComponent}}$.
\end{lemma}
\begin{proof}
First, suppose that $f$ is contained in the subgroup $S_3 \ltimes \{(\lambda_1, \lambda_2, \lambda_3) \in (\bC^*)^3 \mid \lambda_1\lambda_2\lambda_3 = 1\} \subset \Aut(\fiber)$ (Proposition \ref{prop:automorphism-group-of-fiber}).
By Proposition \ref{prop:automorphism-of-fiber-extends-to-total-space}, there exists an automorphism $\tilde{f}$ of $\totalDsupp$ over $\baseSpace$ such that $\tilde{f}\vert_\fiber = f$.
For such $\tilde{f}$, we have the commutativity
\begin{equation}
T_{\cO_{\cptComponent}} \circ \tilde{f}_* = \tilde{f}_* \circ T_{\cO_{\cptComponent}}.
\end{equation}
By restricting the above relation to the fiber (Example \ref{ex:half-spherical-twist-conjugation}), one has
\begin{equation}\label{eq:commutativity-of-automorphism-and-half-spherical-twist}
H_{\cO_{\cptComponent}} \circ f_* = f_* \circ
H_{\cO_{\cptComponent}}.
\end{equation}
Next, if $f$ is contained in the subgroup $\{(\lambda, \lambda, \lambda) \mid \lambda \in \bC^*\}$ of the $(\bC^*)^3$-part of $\Aut(\fiber) \cong S_3 \ltimes (\bC^*)^3$, then $f$ acts on $\cptComponent$ trivially (Remark \ref{rem:diagonal-automorphism-acts-trivially}).
This implies that the relation \eqref{eq:commutativity-of-automorphism-and-half-spherical-twist} holds on the subcategory $\fiberDsupp \subset \fiberD$.
On the other hand, since the kernel of $H_{\cO_{\cptComponent}}$ is supported on $\cptComponent \times \cptComponent$ and $f$ preserves the open subvariety $\fiber \setminus \cptComponent$, we have
\begin{equation}\label{eq:automorphism-commutes-with-half-spherical-twist-on-points}
H_{\cO_{\cptComponent}} \circ f_* (\cO_x) \cong f_* \circ H_{\cO_{\cptComponent}}(\cO_x)
\end{equation}
for all $x \in \fiber \setminus \cptComponent$.
Then by Lemma \ref{lem:criterion-to-be-standard-functor}, there exists a line bundle $\cL$ on $\fiber$ such that
\begin{equation}
H_{\cO_{\cptComponent}} \circ f_* \circ H_{\cO_{\cptComponent}}^{-1} \circ (f_*)^{-1} \cong -\otimes \cL.
\end{equation}
Notice that $\cL$ is trivial if and only if its restriction to $\cptComponent \cong \bP^2$ is trivial (Proposition \ref{prop:picard-group-of-fiber}).
Therefore, the relation \eqref{eq:commutativity-of-automorphism-and-half-spherical-twist} on $\fiberDsupp$ implies that $\cL \cong \cO_{\fiber}$.
Finally, since $\Aut(\fiber)$ is generated by the above two types of automorphisms (Proposition \ref{prop:automorphism-group-of-fiber}), the relation \eqref{eq:commutativity-of-automorphism-and-half-spherical-twist} holds for all $f \in \Aut(\fiber)$.
\end{proof}
Next, we prove that all autoequivalences of $\fiberD$ are of Fourier--Mukai type.
Let us recall the notion of dg enhancement.
For a triangulated category $\cT$, a \emph{dg enhancement} of $\cT$ is a pair $(\cB, \varepsilon)$ where $\cB$ is a pretriangulated dg category and $\varepsilon \colon H^0(\cB) \to \cT$ is an exact equivalence.
We say that $\cT$ has a \emph{strongly unique dg enhancement} if it admits a dg enhancement and, for any two dg enhancements $(\cB, \varepsilon)$ and $(\cB', \varepsilon')$ of $\cT$, there exists a quasi-functor $F \colon \cB \to \cB'$ whose $H^0(F) \colon H^0(\cB) \to H^0(\cB')$ is an exact equivalence satisfying $\varepsilon' \circ H^0(F) \cong \varepsilon$.
\begin{lemma}
The sequence of objects $\{\cO_{\fiber}(l)\}_{l \in \bZ}$ gives an ample sequence in $\Coh(\fiber)$ (in the sense of \cite[Definition 9.1]{MR2629991}), where $\cO_{\fiber}(1) = \canonicalBundleProjection^*\cO_{\canonicalBundleBaseSpace}(1)\vert_{\fiber}$ is an ample line bundle on $\fiber$.
\end{lemma}
\begin{proof}
By \cite[Lemma 5.2]{ballard2009equivalencesderivedcategoriessheaves}, it is enough to check the following two conditions:
\begin{enumerate}
\item $\cO_{\fiber}(l) \neq \cO_{\fiber}$ for all $l \neq 0$.
\item For sufficiently large $l$, we have $H^k(\fiber, \cO_{\fiber}(l)) = 0$ for all $k > 0$.
\end{enumerate}
(1) is clear.
For (2), projection formula implies
\begin{equation}
H^k(\fiber, \cO_{\fiber}(l)) \cong H^k(\canonicalBundleBaseSpace, \canonicalBundleProjection_*\closedImmersion_*\cO_{\fiber} \otimes \cO_{\canonicalBundleBaseSpace}(l)).
\end{equation}
Note that the push-forward $\canonicalBundleProjection_*$ coincides with the non-derived one as $\canonicalBundleProjection$ is affine.
Since there is an exact sequence
\begin{equation}
0 \to \cO_{\totalSpace} \to \cO_{\totalSpace} \to \closedImmersion_*\cO_{\fiber} \to 0,
\end{equation}
we only need to find an integer $l$ such that $H^k(\canonicalBundleBaseSpace, \canonicalBundleProjection_*\cO_{\totalSpace} \otimes \cO_{\canonicalBundleBaseSpace}(l)) = 0$ for all $k > 0$.
By definition of $\totalSpace$, we have
\begin{equation}\canonicalBundleProjection_*\cO_{\totalSpace} \cong \bigoplus_{m \geq 0} \Sym^m(\cO_{\canonicalBundleBaseSpace}(3)) \cong \bigoplus_{m \geq 0} \cO_{\canonicalBundleBaseSpace}(3m).
\end{equation}
Then $l \geq -2$ satisfies the condition.
\end{proof}
\begin{corollary}
The category $\fiberD = D^b(\fiber)$ has a strongly unique dg-enhancement.
\end{corollary}
\begin{proof}
Apply \cite[Proposition 7.13]{MR4853403} for the ample sequence $\{\cO_{\fiber}(l)\}_{l \in \bZ}$.
\end{proof}
\begin{proposition}[All autoequivalences of $\cD$ are Fourier-Mukai type]\label{prop:all-autoequivalences-are-FM-type}
For any $\Phi \in \Aut(\fiberD)$, there exists a kernel $\cP \in D^b(\fiber \times \fiber)$ such that $\Phi \cong \Phi_\cP$.
\end{proposition}
\begin{proof}
Let $\Perf_{dg}(\fiber) \subset D_{dg}^b(\fiber) \subset D_{dg}(\QCoh(\fiber))$ be dg-enhancements of $\Perf(\fiber) \subset D^b(\fiber) \subset D(\QCoh(\fiber))$.
Since $D^b(\fiber)$ has a strongly unique dg-enhancement, there exists a quasi-functor $\Phi_{dg} \colon D_{dg}^b(\fiber) \to D_{dg}^b(\fiber)$ such that $H^0(\Phi_{dg}) \cong \Phi$.
Then the functor $\Phi' \colon \Perf(\fiber) \to D(\QCoh(\fiber))$ induced by $\Phi$ has a lift to a quasi-functor
\begin{equation}
\Perf_{dg}(\fiber) \hookrightarrow D_{dg}^b(\fiber) \xrightarrow{\Phi_{dg}} D_{dg}^b(\fiber) \hookrightarrow D_{dg}(\QCoh(\fiber)).
\end{equation}
By \cite[Theorem 8.9]{MR2276263}, there exists a kernel $\cP \in D(\QCoh(\fiber \times \fiber))$ such that $\Phi \vert_{\Perf(\fiber)} =\Phi' \cong \Phi_\cP\vert_{\Perf(\fiber)}$ (see also \cite[Section 1]{MR3556457}).
In particular, $\Phi$ and $\Phi_\cP$ are isomorphic when restricted to the full subcategory $\{\cO_{\fiber}(l) \mid l \in \bZ\}$ of $D^b(\fiber)$, and the Orlov's argument \cite[Proposition 2.16]{MR1465519} (or \cite[Proposition B.1]{MR2629991}) shows $\Phi \cong \Phi_\cP$ on the whole category $D^b(\fiber)$.
The condition $\cP \in D^b(\fiber \times \fiber)$ follows, for example, from the proof of \cite[Corollary 9.13 (4)]{MR2629991}.
\end{proof}
Finally, we show that any autoequivalence $\Phi \in \Aut^\dagger(\fiberD)$ is contained in the right-hand side of the isomorphism in Theorem \ref{thm:autoequivalence-group}.
\begin{lemma}\label{lem:autoeq-preserves-Ox-class}
For any autoequivalence $\Phi \in \Aut(\fiberD)$, the induced automorphism $\Phi \colon K(\fiberDsupp) \to K(\fiberDsupp)$ preserves the subgroup $\bZ[\cO_x]$.
\end{lemma}
\begin{proof}
Let $\langle -, -\rangle$ be a bilinear form on $K(\fiberDsupp)$ given by
\begin{equation}
\langle [E], [F] \rangle = \chi_{\totalSpace}(\closedImmersion_*E, \closedImmersion_*F) = \sum_{k} (-1)^k \dim_\bC \Ext_{\totalSpace}^k(\closedImmersion_*E, \closedImmersion_*F).
\end{equation}
By Serre duality on $\totalSpace$, the form $\langle -, -\rangle$ is skew-symmetric, and the subgroup $\bZ[\cO_x]$ is characterized as its kernel.
Here, we claim that $\langle E , F \rangle = 0$ if $F \in \fiberDsupp$ is a perfect complex.
In that case, there exists a well-defined linear form
$\chi_{\fiber}(-, F) \colon K(\fiberDsupp) \to \bZ$
given by
\begin{equation}
\chi_{\fiber}(E, F) = \sum_{k} (-1)^k \dim_\bC \Ext_{\fiber}^k(E, F)
\end{equation}
since the sum is finite.
We also have an exact triangle
\begin{equation}
F[1] \to \closedImmersion^*\closedImmersion_*F
\to F \xrightarrow{+1}.
\end{equation}
Then by the adjunction $\closedImmersion^* \dashv \closedImmersion_*$ one has $\langle E, F \rangle = \chi_{\fiber}(\closedImmersion^*\closedImmersion_*F, E) = \chi_{\fiber}(E[1], F) + \chi_{\fiber}(E, F) = 0$.
Now, pick a smooth point $x \in \fiber^{\sm} \cap \cptComponent$ so that $\cO_x$ and hence $\Phi(\cO_x)$ are perfect complexes (see proof of Lemma \ref{lem:auto-preserves-compact-support}).
Then $\langle - , \Phi(\cO_x) \rangle = 0$ and thus $\Phi(\cO_x) \in \bZ[\cO_x]$.
\end{proof}
\begin{lemma}\label{lem:geometric-stability-condition-standard-equivalence}
Let $\Phi \in \Aut^\dagger(\fiberD)$ be an autoequivalence such that there exist two geometric stability conditions $\sigma, \sigma' \in \geometricChamber$ with $\Phi(\sigma) = \sigma'$.
Then $\Phi$ is of the form $f_*\circ (-\otimes \cL)[n]$ for some $f \in \Aut(\fiber)$, $\cL \in \Pic(\fiber)$ and $n\in \bZ$.
\end{lemma}
\begin{proof}
Since the subgroup $\bZ[\cO_x] \subset K(\fiberDsupp)$ is preserved by $\Phi$ (Lemma \ref{lem:autoeq-preserves-Ox-class}), for every $x \in \cptComponent$ the object $\Phi(\cO_x)$ is a $\sigma'$-stable object of class $\pm[\cO_x]$.
By Theorem \ref{thm:fiber-geometric-chamber}, it must be of the form $\cO_y[n]$ for some $y \in \cptComponent$ and $n \in \bZ$.
Together with Corollary \ref{cor:outside-skyscraper-sheaf}, we can apply Lemma \ref{lem:criterion-to-be-standard-functor} so that $\Phi = f_*\circ (-\otimes\cL)[n]$ for some $f \in \Aut(\fiber)$, $\cL \in \Pic(\fiber)$, and $n \in \bZ$.
\end{proof}
\begin{proof}[Proof of Theorem \ref{thm:autoequivalence-group}]
The subgroup of $\Aut^\dagger(\fiberD)$ generated by the shifts, $\Aut(\fiber)$, $\Pic(\fiber)$, and the half-twists $H_E$ for all exceptional bundles $E$ on $\cptComponent$ is isomorphic to $\bZ \times \Gamma_1(3) \times \Aut(\fiber)$ by Proposition \ref{prop:picard-group-of-fiber}, Lemma \ref{lemma:gamma1-3}, Lemma \ref{lem:half-spherical-twist-in-gamma1-3}, and Lemma \ref{lem:automorphism-commutes-with-half-spherical-twist}.
Given $\Phi \in \Aut^\dagger(\fiberD)$, pick a geometric stability condition $\sigma \in \geometricChamber$.
By Corollary \ref{cor:stab-dagger-is-covered-by-translates-of-geometric-chamber}, there exists another autoequivalence $\Psi \in \langle H_{\cO_{\cptComponent}}, -\otimes\cO_{\fiber}(1) \rangle = \Gamma_1(3)$ such that $(\Psi \circ \Phi)(\sigma) \eqcolon \sigma' \in \overline{\geometricChamber}$.
Slightly moving $\sigma$ in $\geometricChamber$ if necessary, we may assume that $\sigma'$ is also a geometric stability condition.
Then Lemma \ref{lem:geometric-stability-condition-standard-equivalence} shows $\Psi \circ \Phi \in \bZ \times \Gamma_1(3) \times \Aut(\fiber)$.
\end{proof}
\appendix
\section{Lemmas on Integral Functors}\label{sec:lemmas-on-integral-functors}
\begin{lemma}[cf.~{\cite[Corollary A.10]{MR3136492}}]\label{lem:quasi-finite-flat-with-constant-degree-is-finite}
Let $f \colon X \to Y$ be a quasi-finite, separated, and flat morphism between noetherian schemes.
Suppose the degree of any fiber of $f$ is constant.
Then $f$ is finite.
\end{lemma}
Here we say that a morphism $f \colon X \to Y$ is \emph{quasi-finite} if it is of finite type and has finite fibers.
The degree of a fiber $X_y = f^{-1}(y)$ is $\deg(X_y) = \dim_{\kappa(y)} H^0(X_y, \cO_{X_y})$.
\begin{proof}[Proof of Lemma \ref{lem:quasi-finite-flat-with-constant-degree-is-finite}]
We may assume the constant degree of $f$ is non-zero.
By the valuative criterion, we may assume that $Y = \Spec R$ for a DVR $R$.
By Zariski's main theorem \cite[\href{https://stacks.math.columbia.edu/tag/05K0}{Tag 05K0}]{stacks-project}, it factors as an open immersion $X \hookrightarrow \overline{X}$ followed by a finite morphism $\overline{f} \colon \overline{X} \to Y$ (and hence $\overline{X}$ is affine).
We may assume that $X$ is dense in $\overline{X}$.
We can also assume that $\overline{X}$ is flat over $Y$ as follows:
Let $R \to \overline{A} \to H^0(\cO_X)$ be the ring homomorphisms corresponding to $Y \leftarrow \overline{X} \hookleftarrow X$, where $\overline{X} = \Spec \overline{A}$.
The flatness of $X$ over $R$ implies that $H^0(\cO_X)$ is torsion-free as $R$-module, and thus we can replace $\overline{A}$ with its torsion-free quotient so that $\overline{X}$ is flat over $Y$ \cite[\href{https://stacks.math.columbia.edu/tag/0539}{Tag 0539}]{stacks-project}.
Let $y$ and $\eta$ be the closed point and the generic point of $Y$, respectively.
Since $\overline{A}$ is a finite free $R$-module \cite[\href{https://stacks.math.columbia.edu/tag/02KB}{Tag 02KB}]{stacks-project}, we have $\deg(\overline{X}_y) = \deg(\overline{X}_\eta)$.
We also have $\deg(X_y) = \deg(X_\eta)$ by the assumption on $f$, and $\deg(X_\eta) = \deg(\overline{X}_\eta)$ since $X \subset \overline{X}$ is dense.
These equalities show $\deg(X_y) = \deg(\overline{X}_y)$, which implies $X_y = \overline{X}_y$.
Thus, $X = \overline{X}$ is finite over $Y$.
\end{proof}
\begin{lemma}[A stronger version of {\cite[Lemma 3.11]{arai2024halfspherical}}]\label{lem:criterion-to-be-standard-functor}
Let $k$ be an algebraically closed field with characteristic zero.
Let $X$ and $Y$ be connected quasi-projective schemes over $k$, with $X$ reduced.
Suppose we are given an integral functor $\Phi = \Phi_{\cP}$ with $\cP \in D^b(X \times_k Y)$ that satisfies the following condition:
\begin{quote}
For any closed point $x \in X$, there exists a closed point $y \in Y$ and an integer $n_x$ such that $\Phi(\cO_x) \cong \cO_y[n_x]$.
\end{quote}
Then there exists a morphism $f \colon X \to Y$, a line bundle $\cL \in \Pic X$, and an integer $n$ such that $\Phi \cong f_*(- \otimes \cL)[n]$.
\end{lemma}
\begin{proof}
To apply \cite[Lemma 3.11]{arai2024halfspherical}, we must show that $\cP$ has a proper support over $X$.
Let $\Sigma = \Supp(\cP) \subset X \times_k Y$ be the support of $\cP$ and $p \colon \Sigma \to X$ be the projection.
The assumption on $\Phi$ implies that $p$ is flat and induces a bijection on closed points, and hence it is quasi-finite with constant degree $1$.
Then Lemma \ref{lem:quasi-finite-flat-with-constant-degree-is-finite} implies that $p$ is finite, and therefore proper.
\end{proof}
% \section{Memo}
% \begin{proposition}
% In the situation of Lemma \ref{lem:torsion-pair-t-exactness}, the exact functor $\closedImmersion_* \colon \langle \cF'[1], \cT' \rangle \to \langle \cF[1], \cT \rangle$ is faithful.
% \end{proposition}
% \begin{proof}
% For $A, B \in \fiberDsupp$, we say that $(A, B)$ is a \emph{faithful pair} if the map
% \begin{equation}
% \closedImmersion_* \colon \Hom(A, B) \to \Hom(\closedImmersion_*A, \closedImmersion_*B)
% \end{equation}
% is injective.
% Similarly, we say that $(A, B)$ is a \emph{full pair} if the above map is surjective.
% By definition the following pairs are faithful and full:
% \begin{enumerate}
% \item $(T_1, T_2)$ for any $T_1, T_2 \in \cT'$,
% \item $(F_1[1], F_2[1])$ for any $F_1, F_2 \in \cF'$,
% \item $(T, F)$ for any $F \in \cF'$ and $T \in \cT'$.
% \end{enumerate}
% Next, we show (4): a pair $(T, F[1])$ for $F \in \cF'$ and $T \in \cT'$ is also faithful and full.
% This is because the exact triangle
% \begin{equation}
% T[1] \to \closedImmersion^*\closedImmersion_*T \to T \xrightarrow{+1}
% \end{equation}
% induces an exact sequence
% \begin{equation}
% \begin{tikzcd}
% {}&\Ext^1(T, F) \arrow[l]& \Ext^2(\closedImmersion_*T, \closedImmersion_*F) \arrow[l] & \Ext^2(T, F) \arrow[l]& \\
% {}& 0 \arrow[l]& \Ext^1(\closedImmersion_*T, \closedImmersion_*F) \arrow[l] & \Ext^1(T, F) \arrow[l] &0 \arrow[l].
% \end{tikzcd}
% \end{equation}
% This sequence also shows that (5): $(T, F[2])$ is faithful.
% Let $F[1] \to A \to T_1 \xrightarrow{+1}$ be an exact triangle with $F \in \cF'$ and $T \in \cT'$.
% We show that (6): $(A, T_2)$ is faithful and full for any $T_2 \in \cT'$.
% It follows from the morphism of exact sequences
% \begin{equation}
% \begin{tikzcd}
% 0 & \Hom(A, T_2) \arrow[l] \arrow[d]& \Hom(T_1, T_2) \arrow[l] \arrow[d, "\sim"]& 0 \arrow[l]\\
% 0 & \Hom(\closedImmersion_*A, \closedImmersion_*T_2) \arrow[l] & \Hom(\closedImmersion_*T_1, \closedImmersion_*T_2) \arrow[l] & 0 \arrow[l].
% \end{tikzcd}
% \end{equation}
% A similar argument shows that (7): $(A, T_2[-1])$ is faithful and full with $\Hom(A, T_2[-1]) = \Hom(\closedImmersion_*A, \closedImmersion_*T_2[-1]) = 0$.
% Next, we show that (8): $(A, F_2[1])$ is faithful and full for any $F_2 \in \cF'$.
% There is an exact sequence
% \begin{equation}
% \begin{tikzcd}[column sep=small]
% \Hom(T_1[-1], F_2[1]) \ar[d, hookrightarrow]& \Hom(F_1[1], F_2[1]) \arrow[l] \arrow[d, "\sim"]& \Hom(A, F_2[1]) \arrow[l] \arrow[d]&
% \Hom(T_1, F_2[1]) \arrow[l] \ar[d, "\sim"]&0 \ar[l]\\
% \Hom(\closedImmersion_*T_1[-1], \closedImmersion_*F_2[1]) & \Hom(\closedImmersion_*F_1[1], \closedImmersion_*F_2[1]) \arrow[l] & \Hom(\closedImmersion_*A, \closedImmersion_*F_2[1]) \arrow[l] & \Hom(\closedImmersion_*T_1, \closedImmersion_*F_2[1]) \arrow[l] & 0 \ar[l],
% \end{tikzcd}
% \end{equation}
% where the leftmost vertical arrow is injective by (5) and the other isomorphisms by (2) and (4).
% Then a standard diagram chase shows that the middle vertical arrow is an isomorphism.
% Finally, let $A \in \langle \cF'[1], \cT' \rangle$ and $F[1] \to B \to T_2 \xrightarrow{+1}$ be an exact triangle with $F \in \cF'$ and $T_2 \in \cT'$.
% There is an exact sequence
% \begin{equation}
% \begin{tikzcd}
% 0 \ar[r] & \Hom(A, F[1]) \ar[r] \ar[d, "\sim"] & \Hom(A, B) \ar[r] \ar[d] & \Hom(A, T_2) \ar[r] \ar[d, "\sim"] & \Hom(A, F[2]) \\
% 0 \ar[r] & \Hom(\closedImmersion_*A, \closedImmersion_*F[1]) \ar[r] & \Hom(\closedImmersion_*A, \closedImmersion_*B) \ar[r] & \Hom(\closedImmersion_*A, \closedImmersion_*T_2) \ar[r] & \Hom(\closedImmersion_*A, \closedImmersion_*F[2]).
% \end{tikzcd}
% \end{equation}
% This shows that $(A, B)$ is faithful.
% We can also show that $(F[1], B)$ and $(T, B)$ for $F \in \cF'$ and $T \in \cT'$ are faithful and full by similar arguments.
% \end{proof}
% \section{Memo}
% \subsection{Reflexive sheaves}
% Let $X$ be a smooth projective variety of dimension $n$.
% For a coherent sheaf $E \in \Coh(X)$ of dimension $d$, we define
% \begin{equation}
% E^{D} = \CExt_X^c(E, \omega_X),
% \end{equation}
% where $c = n-d$ is the codimension of (the support of) $F$.
% The sheaf $E^D$ is pure of codimension $c$.
% There is a natural map $\theta_E \colon E \to E^{DD}$, and the sheaf $E^{DD}$ is called the \emph{reflexive hull} of $E$.
% We say that $E$ is \emph{reflexive} if $\theta_E$ is an isomorphism.
% \begin{proposition}[{\cite[Proposition 1.1.10]{MR2665168}}]
% The sheaf $E$ is pure if and only if the natural map $\theta_E \colon E \to E^{DD}$ is an injection.
% \end{proposition}
% \begin{proposition}
% Let $E$ be a sheaf of codimension $c$.
% Then the cokernel $\Coker(\theta_E)$ is a sheaf of codimension $\geq c + 2$.
% \end{proposition}
% \begin{proof}
% As in \cite[Lemma 1.1.8]{MR2665168}, there is a spectral sequence
% \begin{equation}
% E_2^{p,q} = \CExt_X^p(E, \CExt_X^{-q}(E, \omega_X)) \Rightarrow E,
% \end{equation}
% whose $E_2$-term is concentrated in the triangle $p + q \geq 0, p \leq \dim X, q \leq -c$.
% The natural map $\theta_E$ is given by the composition
% \begin{equation}
% E \twoheadrightarrow E_{\infty}^{c, -c} \hookrightarrow E_2^{c, -c} = E^{DD}.
% \end{equation}
% Therefore the cokernel of $\theta_E$ is obtained by taking sub, quotient, and extension of $E_2^{p, q}$ for $p \geq c + 2$, which have codimension $\geq c + 2$ by \cite[Proposition 1.1.16]{MR2665168}.
% \end{proof}
% \begin{proposition}
% Let $E \hookrightarrow F$ be an inclusion of pure sheaves of codimension $c$.
% If $F/E$ has codimension $\geq c + 2$, then the natural map $E^{DD} \to F^{DD}$ is an isomorphism.
% \end{proposition}
% \begin{proof}
% Let $M = F/E$ be the quotient and consider the exact sequence
% \begin{equation}
% 0 \to E \to F \to M \to 0.
% \end{equation}
% Applying the functor $\CHom_X(-, \omega_X)$, we have a long exact sequence
% \begin{equation}
% \CExt_X^c(M, \omega_X) \to F^D \to E^D \to \CExt_X^{c+1}(M, \omega_X).
% \end{equation}
% The sheaves $\CExt_X^c(M, \omega_X)$ and $\CExt_X^{c+1}(M, \omega_X)$ are zero by \cite[Proposition 1.1.16(i)]{MR2665168}, and thus the natural map $E^D \to F^D$ is an isomorphism.
% In particular, the map $E^{DD} \to F^{DD}$ is also an isomorphism.
% \end{proof}
% The same argument holds for smooth quasi-projective $X$ and coherent sheaves $E$ of proper support.
% \subsection{Slope stability}
% \begin{lemma}
% Let $E$ be a sheaf of pure dimension of $d$ and $F$ be a sheaf of dimension $<d$, over a noetherian scheme $X$.
% Then we have $\Hom_X(F, E) = 0$.
% \end{lemma}
% \begin{proof}
% The image of a morphism $F \to E$ is a subsheaf of $E$ of dimension $<d$, and thus it is zero.
% \end{proof}
% \begin{definition}
% Let $E \in \fiberCohSupp$ be a (non-zero) sheaf of pure dimension $2$ supported on $\cptComponent$.
% We say that $E$ is \emph{slope-(semi)stable} if for any subsheaf $F \subset E$ of dimension $2$ we have $\mu(F) < \mu(E)$ ($\mu(F) \leq \mu(E)$).
% Here $\mu(E) = \frac{d(E)}{r(E)} \in \bQ$ is the slope of $E$.
% \end{definition}
% \begin{lemma}
% Let $E, F \in \fiberCohSupp$ be slope-semistable sheaves.
% If $\mu(E) > \mu(F)$, then $\Hom(E, F) = 0$.
% \end{lemma}
% \begin{proof}
% Let $E \to F$ be a morphism and $G$ be its image.
% If $G$ is not zero, then it is a pure sheaf of dimension $2$.
% The decomposition $E \twoheadrightarrow G \hookrightarrow F$ shows $\mu(E) \leq \mu(G) \leq \mu(F)$, which is a contradiction.
% \end{proof}
% \begin{lemma}[{\cite[Lemma 1.3.5]{MR2665168}}]
% Let $E \in \fiberCohSupp$ be a pure sheaf of dimension $2$.
% Then there exists a subsheaf $F \subset E$ such that for any non-zero subsheaf $G \subset F$ we have $\mu(G) \leq \mu(F)$, and if the equality holds then $G \subset F$.
% Moreover, such a subsheaf $F$ is unique and slope semi-stable.
% We call $F$ the \emph{maximal destabilizing sheaf} of $E$.
% \end{lemma}
% \begin{proof}
% The proof is the same as \cite[Lemma 1.3.5]{MR2665168}.
% \end{proof}
% \begin{theorem}
% Let $E \in \fiberCohSupp$ be a pure sheaf of dimension $2$.
% Then there is a unique Harder--Narasimhan filtration of $E$.
% \end{theorem}
% \begin{proof}
% The proof is the same as \cite[Theorem 1.3.4]{MR2665168}.
% \end{proof}
% \begin{lemma}
% Let
% \begin{equation}
% 0 \to E \to F \to G \to 0
% \end{equation}
% be an exact sequence in $\fiberCohSupp$
% where $E$ and $F$ are slope-semistable of slope $B$ and $G$ is pure of dimension $2$.
% Then $G$ is slope-semistable of slope $B$.
% \end{lemma}
% \begin{proof}
% Let $0 = G_0 \subset G_1 \subset \cdots \subset G_n = G$ be the Harder--Narasimhan filtration of $G$.
% As there is a surjection $F \to G/G_{n-1}$, the sheaf $G/G_{n-1}$ and hence all the Harder--Narasimhan factors of $G$ have slope $\geq B$.
% In particular, $G$ is slope-semistable of slope $B$ if and only if $\mu(G) = B$, and the latter holds by the assumption.
% \end{proof}
% \begin{lemma}\label{lem:slope-of-HN-factors}
% Let
% \begin{equation}
% 0 \to E \to F \to G \to 0
% \end{equation}
% be an exact sequence in $\fiberCohSupp$
% where $E$ is slope-semistable of slope $B$, all the Harder--Narasimhan factors of $F$ have slope $\leq B$, and $G$ is pure of dimension $2$.
% Then all the Harder--Narasimhan factors of $G$ have slope $\leq B$.
% \end{lemma}
% \begin{proof}
% Let $0 = F_0 \subset F_1 \subset \cdots \subset F_n = F$ be the Harder--Narasimhan filtration of $F$.
% Since the Harder--Narasimhan factors of $F/F_1$ have slope $< B$, the composition map $E \to F \to F/F_1$ is zero and thus $E \subset F_1$.
% Since $F_1/E$ is slope-semistable of slope $B$ by the previous lemma, the chain of inclusions
% \begin{equation}
% 0 \subset F_1/E \subset F_2/E \subset \cdots \subset F_n/E = G
% \end{equation}
% is the Harder--Narasimhan filtration of $G$, with $F_1/E$ being semistable of slope $B$.
% In particular, the Harder--Narasimhan factors of $G$ have slope $\leq B$.
% \end{proof}
% \subsection{torsion pair}
% \begin{definition}
% Let $\cA$ be an abelian category.
% A \emph{torsion pair} in $\cA$ is a pair $(\cT, \cF)$ of full additive subcategories of $\cA$ such that
% \begin{enumerate}
% \item $\Hom(\cT, \cF) = 0$.
% \item For any $E \in \cA$, there is an exact sequence $0 \to T \to E \to F \to 0$ with $T \in \cT$ and $F \in \cF$.
% \end{enumerate}
% By the vanishing property, the operation of taking an exact sequence in the definition is functorial, and hence unique up to isomorphism.
% \end{definition}
% \begin{lemma}
% Let $(\cT, \cF)$ be a torsion pair in an abelian category $\cA$.
% Then the subcategory $\cT$ is closed under quotient, and the subcategory $\cF$ is closed under subobject.
% \end{lemma}
% \begin{proof}
% Let $T \in \cT$ and $T \twoheadrightarrow Q$ be a surjection.
% Take the decomposition of $Q$ as $0 \to T' \to Q \to F' \to 0$ with $T' \in \cT$ and $F' \in \cF$.
% As the composition $T' \to Q \to F'$ is zero and surjection at the same time, we have $F' = 0$ and $Q \in \cT$.
% The proof for $\cF$ is similar.
% \end{proof}
% \subsection{Bridgeland stability conditions}
% \begin{lemma}
% Let $\sigma = (Z, \cP) \in \Stab_{\Gamma}(\cD)$ be a stability condition on a triangulated category $\cD$.
% Then for $0 < \phi \leq 1$, the subcategory $\cP(\phi) \subset \cP((0, 1]) = \cA$ is a weak Serre subcategory in the sense of \cite[\href{https://stacks.math.columbia.edu/tag/02MN}{Tag 02MN}]{stacks-project}.
% In particular, the inclusion functor $\cP(\phi) \hookrightarrow \cA$ is exact.
% \end{lemma}
% \begin{proof}
% We can check the conditions in \cite[\href{https://stacks.math.columbia.edu/tag/0754}{Tag 0754}]{stacks-project}.
% \end{proof}
\printbibliography
\end{document}
% $ biblatex auxiliary file $
% $ biblatex bbl format version 3.3 $
% Do not modify the above lines!
%
% This is an auxiliary file used by the 'biblatex' package.
% This file may safely be deleted. It will be recreated by
% biber as required.
%
\begingroup
\makeatletter
\@ifundefined{ver@biblatex.sty}
{\@latex@error
{Missing 'biblatex' package}
{The bibliography requires the 'biblatex' package.}
\aftergroup\endinput}
{}
\endgroup
\refsection{0}
\datalist[entry]{nyt/global//global/global/global}
\entry{arai2024halfspherical}{misc}{}{}
\name{author}{1}{}{%
{{hash=dcbfc1f1cd44b0ead46da8ae3ea1a480}{%
family={Arai},
familyi={A\bibinitperiod},
given={Hayato},
giveni={H\bibinitperiod}}}%
}
\strng{namehash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{fullhash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{fullhashraw}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{bibnamehash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{authorbibnamehash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{authornamehash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{authorfullhash}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\strng{authorfullhashraw}{dcbfc1f1cd44b0ead46da8ae3ea1a480}
\field{labelalpha}{Ara24}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Half-spherical twists on derived categories of coherent sheaves}
\field{year}{2024}
\verb{eprint}
\verb 2302.12501
\endverb
\endentry
\entry{MR2405589}{incollection}{}{}
\name{author}{1}{}{%
{{hash=31a9f38ffea6cce723e3f84ece977dd2}{%
family={Aspinwall},
familyi={A\bibinitperiod},
given={Paul\bibnamedelima S.},
giveni={P\bibinitperiod\bibinitdelim S\bibinitperiod}}}%
}
\list{publisher}{1}{%
{World Sci. Publ., Hackensack, NJ}%
}
\strng{namehash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{fullhash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{fullhashraw}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{bibnamehash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{authorbibnamehash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{authornamehash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{authorfullhash}{31a9f38ffea6cce723e3f84ece977dd2}
\strng{authorfullhashraw}{31a9f38ffea6cce723e3f84ece977dd2}
\field{labelalpha}{Asp05}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Progress in string theory}
\field{isbn}{981-256-406-3}
\field{title}{D-branes on {C}alabi-{Y}au manifolds}
\field{year}{2005}
\field{pages}{1\bibrangedash 152}
\range{pages}{152}
\endentry
\entry{MR3838112}{incollection}{}{}
\name{author}{1}{}{%
{{hash=1b424c4fd85f9c5a743d6b69cd260973}{%
family={Auroux},
familyi={A\bibinitperiod},
given={Denis},
giveni={D\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Int. Press, Somerville, MA}%
}
\strng{namehash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{fullhash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{fullhashraw}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{bibnamehash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{authorbibnamehash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{authornamehash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{authorfullhash}{1b424c4fd85f9c5a743d6b69cd260973}
\strng{authorfullhashraw}{1b424c4fd85f9c5a743d6b69cd260973}
\field{labelalpha}{Aur18}
\field{sortinit}{A}
\field{sortinithash}{2f401846e2029bad6b3ecc16d50031e2}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Surveys in differential geometry 2017. {C}elebrating the 50th anniversary of the {J}ournal of {D}ifferential {G}eometry}
\field{isbn}{978-1-57146-361-6}
\field{series}{Surv. Differ. Geom.}
\field{title}{Speculations on homological mirror symmetry for hypersurfaces in {$(\Bbb C^\ast)^n$}}
\field{volume}{22}
\field{year}{2018}
\field{pages}{1\bibrangedash 47}
\range{pages}{47}
\endentry
\entry{ballard2009equivalencesderivedcategoriessheaves}{misc}{}{}
\name{author}{1}{}{%
{{hash=a2ec79b6ad26564416a851b1a516e6dd}{%
family={Ballard},
familyi={B\bibinitperiod},
given={Matthew\bibnamedelima Robert},
giveni={M\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
}
\strng{namehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{fullhash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{fullhashraw}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{bibnamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorbibnamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authornamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorfullhash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorfullhashraw}{a2ec79b6ad26564416a851b1a516e6dd}
\field{extraname}{1}
\field{labelalpha}{Bal09}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Equivalences of derived categories of sheaves on quasi-projective schemes}
\field{year}{2009}
\verb{eprint}
\verb 0905.3148
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/0905.3148
\endverb
\verb{url}
\verb https://arxiv.org/abs/0905.3148
\endverb
\endentry
\entry{MR2793026}{article}{}{}
\name{author}{1}{}{%
{{hash=a2ec79b6ad26564416a851b1a516e6dd}{%
family={Ballard},
familyi={B\bibinitperiod},
given={Matthew\bibnamedelima Robert},
giveni={M\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
}
\strng{namehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{fullhash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{fullhashraw}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{bibnamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorbibnamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authornamehash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorfullhash}{a2ec79b6ad26564416a851b1a516e6dd}
\strng{authorfullhashraw}{a2ec79b6ad26564416a851b1a516e6dd}
\field{extraname}{2}
\field{labelalpha}{Bal11}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0001-8708,1090-2082}
\field{journaltitle}{Adv. Math.}
\field{number}{2}
\field{title}{Derived categories of sheaves on singular schemes with an application to reconstruction}
\field{volume}{227}
\field{year}{2011}
\field{pages}{895\bibrangedash 919}
\range{pages}{25}
\verb{doi}
\verb 10.1016/j.aim.2011.02.016
\endverb
\verb{urlraw}
\verb https://doi.org/10.1016/j.aim.2011.02.016
\endverb
\verb{url}
\verb https://doi.org/10.1016/j.aim.2011.02.016
\endverb
\endentry
\entry{MR3592689}{article}{}{}
\name{author}{2}{}{%
{{hash=0432ee943f938a79a75d4aae75ea9d00}{%
family={Bayer},
familyi={B\bibinitperiod},
given={Arend},
giveni={A\bibinitperiod}}}%
{{hash=6ba75807a1e850f48d587aa1a6ed2dac}{%
family={Bridgeland},
familyi={B\bibinitperiod},
given={Tom},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{fullhash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{fullhashraw}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{bibnamehash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{authorbibnamehash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{authornamehash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{authorfullhash}{8b7be427a34b6b9b1c3c26030e685bcf}
\strng{authorfullhashraw}{8b7be427a34b6b9b1c3c26030e685bcf}
\field{labelalpha}{BB17}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-7094,1547-7398}
\field{journaltitle}{Duke Math. J.}
\field{number}{1}
\field{title}{Derived automorphism groups of {K}3 surfaces of {P}icard rank 1}
\field{volume}{166}
\field{year}{2017}
\field{pages}{75\bibrangedash 124}
\range{pages}{50}
\verb{doi}
\verb 10.1215/00127094-3674332
\endverb
\verb{urlraw}
\verb https://doi.org/10.1215/00127094-3674332
\endverb
\verb{url}
\verb https://doi.org/10.1215/00127094-3674332
\endverb
\endentry
\entry{MR4292740}{article}{}{}
\name{author}{6}{}{%
{{hash=0432ee943f938a79a75d4aae75ea9d00}{%
family={Bayer},
familyi={B\bibinitperiod},
given={Arend},
giveni={A\bibinitperiod}}}%
{{hash=6c482d1583ea4dff86977ea9dcf29338}{%
family={Lahoz},
familyi={L\bibinitperiod},
given={Mart\'{\i}{}},
giveni={M\bibinitperiod}}}%
{{hash=dde20fab46679ee12f019e675e562f39}{%
family={Macr\`{\i}},
familyi={M\bibinitperiod},
given={Emanuele},
giveni={E\bibinitperiod}}}%
{{hash=2dbaf95a0a01fd260ce649a716bb119d}{%
family={Nuer},
familyi={N\bibinitperiod},
given={Howard},
giveni={H\bibinitperiod}}}%
{{hash=56392fb0297d3647aa4c5fce385ea188}{%
family={Perry},
familyi={P\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
{{hash=7f0740dbbadc4e267890b2b67aef8e41}{%
family={Stellari},
familyi={S\bibinitperiod},
given={Paolo},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{fullhash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{fullhashraw}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{bibnamehash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{authorbibnamehash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{authornamehash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{authorfullhash}{ed7107b4074f0e7677a58409a53c7bf3}
\strng{authorfullhashraw}{ed7107b4074f0e7677a58409a53c7bf3}
\field{labelalpha}{BLM+21}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0073-8301,1618-1913}
\field{journaltitle}{Publ. Math. Inst. Hautes \'{E}tudes Sci.}
\field{title}{Stability conditions in families}
\field{volume}{133}
\field{year}{2021}
\field{pages}{157\bibrangedash 325}
\range{pages}{169}
\verb{doi}
\verb 10.1007/s10240-021-00124-6
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/s10240-021-00124-6
\endverb
\verb{url}
\verb https://doi.org/10.1007/s10240-021-00124-6
\endverb
\endentry
\entry{bayer-macri}{article}{}{}
\name{author}{2}{}{%
{{hash=0432ee943f938a79a75d4aae75ea9d00}{%
family={Bayer},
familyi={B\bibinitperiod},
given={Arend},
giveni={A\bibinitperiod}}}%
{{hash=dde20fab46679ee12f019e675e562f39}{%
family={Macr\`{\i}},
familyi={M\bibinitperiod},
given={Emanuele},
giveni={E\bibinitperiod}}}%
}
\strng{namehash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{fullhash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{fullhashraw}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{bibnamehash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{authorbibnamehash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{authornamehash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{authorfullhash}{4bcf1c10c49d796072cd79e4bedaca95}
\strng{authorfullhashraw}{4bcf1c10c49d796072cd79e4bedaca95}
\field{labelalpha}{BM11}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-7094,1547-7398}
\field{journaltitle}{Duke Math. J.}
\field{number}{2}
\field{title}{The space of stability conditions on the local projective plane}
\field{volume}{160}
\field{year}{2011}
\field{pages}{263\bibrangedash 322}
\range{pages}{60}
\verb{doi}
\verb 10.1215/00127094-1444249
\endverb
\verb{urlraw}
\verb https://doi.org/10.1215/00127094-1444249
\endverb
\verb{url}
\verb https://doi.org/10.1215/00127094-1444249
\endverb
\endentry
\entry{MR1818984}{article}{}{}
\name{author}{2}{}{%
{{hash=66fdb3c8685523b3db665d07520727d8}{%
family={Bondal},
familyi={B\bibinitperiod},
given={Alexei},
giveni={A\bibinitperiod}}}%
{{hash=c83ff4acbad10906d10aa4a8053867d7}{%
family={Orlov},
familyi={O\bibinitperiod},
given={Dmitri},
giveni={D\bibinitperiod}}}%
}
\strng{namehash}{573cfd33a483996f2af196d9df7c5873}
\strng{fullhash}{573cfd33a483996f2af196d9df7c5873}
\strng{fullhashraw}{573cfd33a483996f2af196d9df7c5873}
\strng{bibnamehash}{573cfd33a483996f2af196d9df7c5873}
\strng{authorbibnamehash}{573cfd33a483996f2af196d9df7c5873}
\strng{authornamehash}{573cfd33a483996f2af196d9df7c5873}
\strng{authorfullhash}{573cfd33a483996f2af196d9df7c5873}
\strng{authorfullhashraw}{573cfd33a483996f2af196d9df7c5873}
\field{labelalpha}{BO01}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0010-437X}
\field{journaltitle}{Compositio Math.}
\field{number}{3}
\field{title}{Reconstruction of a variety from the derived category and groups of autoequivalences}
\field{volume}{125}
\field{year}{2001}
\field{pages}{327\bibrangedash 344}
\range{pages}{18}
\verb{doi}
\verb 10.1023/A:1002470302976
\endverb
\verb{urlraw}
\verb https://doi-org.utokyo.idm.oclc.org/10.1023/A:1002470302976
\endverb
\verb{url}
\verb https://doi-org.utokyo.idm.oclc.org/10.1023/A:1002470302976
\endverb
\endentry
\entry{MR2373143}{article}{}{}
\name{author}{1}{}{%
{{hash=6ba75807a1e850f48d587aa1a6ed2dac}{%
family={Bridgeland},
familyi={B\bibinitperiod},
given={Tom},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{fullhash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{fullhashraw}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{bibnamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorbibnamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authornamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorfullhash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorfullhashraw}{6ba75807a1e850f48d587aa1a6ed2dac}
\field{extraname}{1}
\field{labelalpha}{Bri07}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0003-486X,1939-8980}
\field{journaltitle}{Ann. of Math. (2)}
\field{number}{2}
\field{title}{Stability conditions on triangulated categories}
\field{volume}{166}
\field{year}{2007}
\field{pages}{317\bibrangedash 345}
\range{pages}{29}
\verb{doi}
\verb 10.4007/annals.2007.166.317
\endverb
\verb{urlraw}
\verb https://doi.org/10.4007/annals.2007.166.317
\endverb
\verb{url}
\verb https://doi.org/10.4007/annals.2007.166.317
\endverb
\endentry
\entry{MR2376815}{article}{}{}
\name{author}{1}{}{%
{{hash=6ba75807a1e850f48d587aa1a6ed2dac}{%
family={Bridgeland},
familyi={B\bibinitperiod},
given={Tom},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{fullhash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{fullhashraw}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{bibnamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorbibnamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authornamehash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorfullhash}{6ba75807a1e850f48d587aa1a6ed2dac}
\strng{authorfullhashraw}{6ba75807a1e850f48d587aa1a6ed2dac}
\field{extraname}{2}
\field{labelalpha}{Bri08}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-7094,1547-7398}
\field{journaltitle}{Duke Math. J.}
\field{number}{2}
\field{title}{Stability conditions on {$K3$} surfaces}
\field{volume}{141}
\field{year}{2008}
\field{pages}{241\bibrangedash 291}
\range{pages}{51}
\verb{doi}
\verb 10.1215/S0012-7094-08-14122-5
\endverb
\verb{urlraw}
\verb https://doi.org/10.1215/S0012-7094-08-14122-5
\endverb
\verb{url}
\verb https://doi.org/10.1215/S0012-7094-08-14122-5
\endverb
\endentry
\entry{MR2155085}{article}{}{}
\name{author}{2}{}{%
{{hash=9acd6fbf130cc614d51455929a2cf98f}{%
family={Burban},
familyi={B\bibinitperiod},
given={Igor},
giveni={I\bibinitperiod}}}%
{{hash=018427b55f7a574631e1d9d715e14fd1}{%
family={Kreu{\ss{}}ler},
familyi={K\bibinitperiod},
given={Bernd},
giveni={B\bibinitperiod}}}%
}
\strng{namehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{fullhash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{fullhashraw}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{bibnamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorbibnamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authornamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorfullhash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorfullhashraw}{48c1fa4565dd938d8c39965e1fe1a16a}
\field{extraname}{1}
\field{labelalpha}{BK05}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0075-4102,1435-5345}
\field{journaltitle}{J. Reine Angew. Math.}
\field{title}{Fourier-{M}ukai transforms and semi-stable sheaves on nodal {W}eierstra\ss{} cubics}
\field{volume}{584}
\field{year}{2005}
\field{pages}{45\bibrangedash 82}
\range{pages}{38}
\verb{doi}
\verb 10.1515/crll.2005.2005.584.45
\endverb
\verb{urlraw}
\verb https://doi.org/10.1515/crll.2005.2005.584.45
\endverb
\verb{url}
\verb https://doi.org/10.1515/crll.2005.2005.584.45
\endverb
\endentry
\entry{MR2264663}{article}{}{}
\name{author}{2}{}{%
{{hash=9acd6fbf130cc614d51455929a2cf98f}{%
family={Burban},
familyi={B\bibinitperiod},
given={Igor},
giveni={I\bibinitperiod}}}%
{{hash=018427b55f7a574631e1d9d715e14fd1}{%
family={Kreu{\ss{}}ler},
familyi={K\bibinitperiod},
given={Bernd},
giveni={B\bibinitperiod}}}%
}
\strng{namehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{fullhash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{fullhashraw}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{bibnamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorbibnamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authornamehash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorfullhash}{48c1fa4565dd938d8c39965e1fe1a16a}
\strng{authorfullhashraw}{48c1fa4565dd938d8c39965e1fe1a16a}
\field{extraname}{2}
\field{labelalpha}{BK06}
\field{sortinit}{B}
\field{sortinithash}{d7095fff47cda75ca2589920aae98399}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0010-437X}
\field{journaltitle}{Compos. Math.}
\field{number}{5}
\field{title}{Derived categories of irreducible projective curves of arithmetic genus one}
\field{volume}{142}
\field{year}{2006}
\field{pages}{1231\bibrangedash 1262}
\range{pages}{32}
\verb{doi}
\verb 10.1112/S0010437X06002090
\endverb
\verb{urlraw}
\verb https://doi-org.utokyo.idm.oclc.org/10.1112/S0010437X06002090
\endverb
\verb{url}
\verb https://doi-org.utokyo.idm.oclc.org/10.1112/S0010437X06002090
\endverb
\endentry
\entry{chou2024stabilityconditionsingularsurface}{misc}{}{}
\name{author}{1}{}{%
{{hash=500bf3b59d5f77d153445c0edb296b80}{%
family={Chou},
familyi={C\bibinitperiod},
given={Tzu-Yang},
giveni={T\bibinithyphendelim Y\bibinitperiod}}}%
}
\strng{namehash}{500bf3b59d5f77d153445c0edb296b80}
\strng{fullhash}{500bf3b59d5f77d153445c0edb296b80}
\strng{fullhashraw}{500bf3b59d5f77d153445c0edb296b80}
\strng{bibnamehash}{500bf3b59d5f77d153445c0edb296b80}
\strng{authorbibnamehash}{500bf3b59d5f77d153445c0edb296b80}
\strng{authornamehash}{500bf3b59d5f77d153445c0edb296b80}
\strng{authorfullhash}{500bf3b59d5f77d153445c0edb296b80}
\strng{authorfullhashraw}{500bf3b59d5f77d153445c0edb296b80}
\field{labelalpha}{Cho24}
\field{sortinit}{C}
\field{sortinithash}{4d103a86280481745c9c897c925753c0}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Stability condition on a singular surface and its resolution}
\field{year}{2024}
\verb{eprint}
\verb 2411.19768
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/2411.19768
\endverb
\verb{url}
\verb https://arxiv.org/abs/2411.19768
\endverb
\endentry
\entry{MR1957548}{inproceedings}{}{}
\name{author}{1}{}{%
{{hash=0f2db3278f121a9a7533e911cf947c2c}{%
family={Douglas},
familyi={D\bibinitperiod},
given={Michael\bibnamedelima R.},
giveni={M\bibinitperiod\bibinitdelim R\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Higher Ed. Press, Beijing}%
}
\strng{namehash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{fullhash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{fullhashraw}{0f2db3278f121a9a7533e911cf947c2c}
\strng{bibnamehash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{authorbibnamehash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{authornamehash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{authorfullhash}{0f2db3278f121a9a7533e911cf947c2c}
\strng{authorfullhashraw}{0f2db3278f121a9a7533e911cf947c2c}
\field{labelalpha}{Dou02}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Proceedings of the {I}nternational {C}ongress of {M}athematicians, {V}ol. {III} ({B}eijing, 2002)}
\field{isbn}{7-04-008690-5}
\field{title}{Dirichlet branes, homological mirror symmetry, and stability}
\field{year}{2002}
\field{pages}{395\bibrangedash 408}
\range{pages}{14}
\endentry
\entry{MR816365}{article}{}{}
\name{author}{2}{}{%
{{hash=882f17fc2cff028a1886276dfc885dd6}{%
family={Drezet},
familyi={D\bibinitperiod},
given={J.-M.},
giveni={J\bibinithyphendelim M\bibinitperiod}}}%
{{hash=4979b0c42e22abb5d0ec3ae3e1fe1af8}{%
family={Le\bibnamedelima Potier},
familyi={L\bibinitperiod\bibinitdelim P\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
}
\strng{namehash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{fullhash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{fullhashraw}{000f44639eeb93849d33bcfbd97ee60f}
\strng{bibnamehash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{authorbibnamehash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{authornamehash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{authorfullhash}{000f44639eeb93849d33bcfbd97ee60f}
\strng{authorfullhashraw}{000f44639eeb93849d33bcfbd97ee60f}
\field{labelalpha}{DL85}
\field{sortinit}{D}
\field{sortinithash}{6f385f66841fb5e82009dc833c761848}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-9593}
\field{journaltitle}{Ann. Sci. \'{E}cole Norm. Sup. (4)}
\field{number}{2}
\field{title}{Fibr\'{e}s stables et fibr\'{e}s exceptionnels sur {${\bf P}_2$}}
\field{volume}{18}
\field{year}{1985}
\field{pages}{193\bibrangedash 243}
\range{pages}{51}
\verb{urlraw}
\verb http://www.numdam.org/item?id=ASENS_1985_4_18_2_193_0
\endverb
\verb{url}
\verb http://www.numdam.org/item?id=ASENS_1985_4_18_2_193_0
\endverb
\endentry
\entry{MR4845526}{article}{}{}
\name{author}{2}{}{%
{{hash=5c95cdb536f58fe8cc9fb8dbf6ea65c8}{%
family={Gammage},
familyi={G\bibinitperiod},
given={Benjamin},
giveni={B\bibinitperiod}}}%
{{hash=a8227b7e963ae084880869feade0e7f4}{%
family={Jeffs},
familyi={J\bibinitperiod},
given={Maxim},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{ec450bacff04dfc12199ca66260dcea6}
\strng{fullhash}{ec450bacff04dfc12199ca66260dcea6}
\strng{fullhashraw}{ec450bacff04dfc12199ca66260dcea6}
\strng{bibnamehash}{ec450bacff04dfc12199ca66260dcea6}
\strng{authorbibnamehash}{ec450bacff04dfc12199ca66260dcea6}
\strng{authornamehash}{ec450bacff04dfc12199ca66260dcea6}
\strng{authorfullhash}{ec450bacff04dfc12199ca66260dcea6}
\strng{authorfullhashraw}{ec450bacff04dfc12199ca66260dcea6}
\field{labelalpha}{GJ25}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1753-8416,1753-8424}
\field{journaltitle}{J. Topol.}
\field{number}{1}
\field{title}{Homological mirror symmetry for functors between {F}ukaya categories of very affine hypersurfaces}
\field{volume}{18}
\field{year}{2025}
\field{pages}{Paper No. e70012\bibrangessep 46}
\range{pages}{-1}
\verb{doi}
\verb 10.1112/topo.70012
\endverb
\verb{urlraw}
\verb https://doi.org/10.1112/topo.70012
\endverb
\verb{url}
\verb https://doi.org/10.1112/topo.70012
\endverb
\endentry
\entry{MR4554224}{article}{}{}
\name{author}{2}{}{%
{{hash=5c95cdb536f58fe8cc9fb8dbf6ea65c8}{%
family={Gammage},
familyi={G\bibinitperiod},
given={Benjamin},
giveni={B\bibinitperiod}}}%
{{hash=e0753055678dd73b837981566ecffb18}{%
family={Shende},
familyi={S\bibinitperiod},
given={Vivek},
giveni={V\bibinitperiod}}}%
}
\strng{namehash}{b89bccde60d96290111dd6b987af9e74}
\strng{fullhash}{b89bccde60d96290111dd6b987af9e74}
\strng{fullhashraw}{b89bccde60d96290111dd6b987af9e74}
\strng{bibnamehash}{b89bccde60d96290111dd6b987af9e74}
\strng{authorbibnamehash}{b89bccde60d96290111dd6b987af9e74}
\strng{authornamehash}{b89bccde60d96290111dd6b987af9e74}
\strng{authorfullhash}{b89bccde60d96290111dd6b987af9e74}
\strng{authorfullhashraw}{b89bccde60d96290111dd6b987af9e74}
\field{labelalpha}{GS22}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0001-5962,1871-2509}
\field{journaltitle}{Acta Math.}
\field{number}{2}
\field{title}{Mirror symmetry for very affine hypersurfaces}
\field{volume}{229}
\field{year}{2022}
\field{pages}{287\bibrangedash 346}
\range{pages}{60}
\verb{doi}
\verb 10.4310/acta.2022.v229.n2.a2
\endverb
\verb{urlraw}
\verb https://doi.org/10.4310/acta.2022.v229.n2.a2
\endverb
\verb{url}
\verb https://doi.org/10.4310/acta.2022.v229.n2.a2
\endverb
\endentry
\entry{MR3556457}{article}{}{}
\name{author}{1}{}{%
{{hash=20473d7dbb06a25688c52e69afaa4a3a}{%
family={Genovese},
familyi={G\bibinitperiod},
given={Francesco},
giveni={F\bibinitperiod}}}%
}
\strng{namehash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{fullhash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{fullhashraw}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{bibnamehash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{authorbibnamehash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{authornamehash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{authorfullhash}{20473d7dbb06a25688c52e69afaa4a3a}
\strng{authorfullhashraw}{20473d7dbb06a25688c52e69afaa4a3a}
\field{labelalpha}{Gen16}
\field{sortinit}{G}
\field{sortinithash}{32d67eca0634bf53703493fb1090a2e8}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0024-6107,1469-7750}
\field{journaltitle}{J. Lond. Math. Soc. (2)}
\field{number}{2}
\field{title}{The uniqueness problem of dg-lifts and {F}ourier-{M}ukai kernels}
\field{volume}{94}
\field{year}{2016}
\field{pages}{617\bibrangedash 638}
\range{pages}{22}
\verb{doi}
\verb 10.1112/jlms/jdw052
\endverb
\verb{urlraw}
\verb https://doi.org/10.1112/jlms/jdw052
\endverb
\verb{url}
\verb https://doi.org/10.1112/jlms/jdw052
\endverb
\endentry
\entry{hacking2025homologicalmirrorsymmetryprojective}{misc}{}{}
\name{author}{2}{}{%
{{hash=8bfc731fb853be9af3349afe4aed2ea6}{%
family={Hacking},
familyi={H\bibinitperiod},
given={Paul},
giveni={P\bibinitperiod}}}%
{{hash=b391fe4d49ca7a70d6d3951a6364b814}{%
family={Keating},
familyi={K\bibinitperiod},
given={Ailsa},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{fullhash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{fullhashraw}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{bibnamehash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{authorbibnamehash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{authornamehash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{authorfullhash}{a1288617aed8c2d4a8b3611ea10b0c63}
\strng{authorfullhashraw}{a1288617aed8c2d4a8b3611ea10b0c63}
\field{labelalpha}{HK25}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.SG}
\field{eprinttype}{arXiv}
\field{title}{Homological mirror symmetry for projective K3 surfaces}
\field{year}{2025}
\verb{eprint}
\verb 2503.05680
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/2503.05680
\endverb
\verb{url}
\verb https://arxiv.org/abs/2503.05680
\endverb
\endentry
\entry{haraJEMS}{article}{}{}
\name{author}{2}{}{%
{{hash=828589c4d3891f8463d017ce62c6ce11}{%
family={Hara},
familyi={H\bibinitperiod},
given={Wahei},
giveni={W\bibinitperiod}}}%
{{hash=b6e85e6eff142baa667e4eac4555ebdc}{%
family={Wemyss},
familyi={W\bibinitperiod},
given={Michael},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{fullhash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{fullhashraw}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{bibnamehash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{authorbibnamehash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{authornamehash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{authorfullhash}{f51fb1a356c0b4c4b762a4bcea128434}
\strng{authorfullhashraw}{f51fb1a356c0b4c4b762a4bcea128434}
\field{labelalpha}{HW24}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{J. Eur. Math. Soc. (JEMS)}
\field{note}{Published online first}
\field{title}{Spherical objects in dimensions two and three}
\field{year}{2024}
\verb{doi}
\verb 10.4171/JEMS/1504
\endverb
\endentry
\entry{MR4679958}{article}{}{}
\name{author}{2}{}{%
{{hash=23255496aacaeaea39bb6c0eb5ad64cd}{%
family={Hirano},
familyi={H\bibinitperiod},
given={Yuki},
giveni={Y\bibinitperiod}}}%
{{hash=b6e85e6eff142baa667e4eac4555ebdc}{%
family={Wemyss},
familyi={W\bibinitperiod},
given={Michael},
giveni={M\bibinitperiod}}}%
}
\strng{namehash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{fullhash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{fullhashraw}{82a8977abb13d9afcde1c0cca71606fb}
\strng{bibnamehash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{authorbibnamehash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{authornamehash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{authorfullhash}{82a8977abb13d9afcde1c0cca71606fb}
\strng{authorfullhashraw}{82a8977abb13d9afcde1c0cca71606fb}
\field{labelalpha}{HW23}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-7094,1547-7398}
\field{journaltitle}{Duke Math. J.}
\field{number}{16}
\field{title}{Stability conditions for 3-fold flops}
\field{volume}{172}
\field{year}{2023}
\field{pages}{3105\bibrangedash 3173}
\range{pages}{69}
\verb{doi}
\verb 10.1215/00127094-2022-0097
\endverb
\verb{urlraw}
\verb https://doi.org/10.1215/00127094-2022-0097
\endverb
\verb{url}
\verb https://doi.org/10.1215/00127094-2022-0097
\endverb
\endentry
\entry{MR2244106}{book}{}{}
\name{author}{1}{}{%
{{hash=b69119fab140a7f6fa8ccfe7172b1f9b}{%
family={Huybrechts},
familyi={H\bibinitperiod},
given={D.},
giveni={D\bibinitperiod}}}%
}
\list{publisher}{1}{%
{The Clarendon Press, Oxford University Press, Oxford}%
}
\strng{namehash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{fullhash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{fullhashraw}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{bibnamehash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{authorbibnamehash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{authornamehash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{authorfullhash}{b69119fab140a7f6fa8ccfe7172b1f9b}
\strng{authorfullhashraw}{b69119fab140a7f6fa8ccfe7172b1f9b}
\field{labelalpha}{Huy06}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{978-0-19-929686-6; 0-19-929686-3}
\field{series}{Oxford Mathematical Monographs}
\field{title}{Fourier-{M}ukai transforms in algebraic geometry}
\field{year}{2006}
\field{pages}{viii+307}
\range{pages}{-1}
\verb{doi}
\verb 10.1093/acprof:oso/9780199296866.001.0001
\endverb
\verb{urlraw}
\verb https://doi-org.utokyo.idm.oclc.org/10.1093/acprof:oso/9780199296866.001.0001
\endverb
\verb{url}
\verb https://doi-org.utokyo.idm.oclc.org/10.1093/acprof:oso/9780199296866.001.0001
\endverb
\endentry
\entry{MR2388559}{article}{}{}
\name{author}{3}{}{%
{{hash=62ef5d71962e55d1e2757e1aeb5755c8}{%
family={Huybrechts},
familyi={H\bibinitperiod},
given={Daniel},
giveni={D\bibinitperiod}}}%
{{hash=dde20fab46679ee12f019e675e562f39}{%
family={Macr\`{\i}},
familyi={M\bibinitperiod},
given={Emanuele},
giveni={E\bibinitperiod}}}%
{{hash=7f0740dbbadc4e267890b2b67aef8e41}{%
family={Stellari},
familyi={S\bibinitperiod},
given={Paolo},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{fullhash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{fullhashraw}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{bibnamehash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{authorbibnamehash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{authornamehash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{authorfullhash}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\strng{authorfullhashraw}{5b2b3ca4393a50a50d9bbe24f0571fa1}
\field{labelalpha}{HMS08}
\field{sortinit}{H}
\field{sortinithash}{23a3aa7c24e56cfa16945d55545109b5}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0010-437X,1570-5846}
\field{journaltitle}{Compos. Math.}
\field{number}{1}
\field{title}{Stability conditions for generic {$K3$} categories}
\field{volume}{144}
\field{year}{2008}
\field{pages}{134\bibrangedash 162}
\range{pages}{29}
\verb{doi}
\verb 10.1112/S0010437X07003065
\endverb
\verb{urlraw}
\verb https://doi.org/10.1112/S0010437X07003065
\endverb
\verb{url}
\verb https://doi.org/10.1112/S0010437X07003065
\endverb
\endentry
\entry{MR4830066}{article}{}{}
\name{author}{1}{}{%
{{hash=40e807d25fa40a855c62ca837c1cba90}{%
family={Karube},
familyi={K\bibinitperiod},
given={Tomohiro},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{40e807d25fa40a855c62ca837c1cba90}
\strng{fullhash}{40e807d25fa40a855c62ca837c1cba90}
\strng{fullhashraw}{40e807d25fa40a855c62ca837c1cba90}
\strng{bibnamehash}{40e807d25fa40a855c62ca837c1cba90}
\strng{authorbibnamehash}{40e807d25fa40a855c62ca837c1cba90}
\strng{authornamehash}{40e807d25fa40a855c62ca837c1cba90}
\strng{authorfullhash}{40e807d25fa40a855c62ca837c1cba90}
\strng{authorfullhashraw}{40e807d25fa40a855c62ca837c1cba90}
\field{labelalpha}{Kar24}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1073-7928,1687-0247}
\field{journaltitle}{Int. Math. Res. Not. IMRN}
\field{number}{22}
\field{title}{Stability conditions on degenerated elliptic curves}
\field{year}{2024}
\field{pages}{13890\bibrangedash 13911}
\range{pages}{22}
\verb{doi}
\verb 10.1093/imrn/rnae219
\endverb
\verb{urlraw}
\verb https://doi.org/10.1093/imrn/rnae219
\endverb
\verb{url}
\verb https://doi.org/10.1093/imrn/rnae219
\endverb
\endentry
\entry{MR4850449}{article}{}{}
\name{author}{2}{}{%
{{hash=b391fe4d49ca7a70d6d3951a6364b814}{%
family={Keating},
familyi={K\bibinitperiod},
given={Ailsa},
giveni={A\bibinitperiod}}}%
{{hash=7f0a997e564654722e5666b652c2d0c7}{%
family={Smith},
familyi={S\bibinitperiod},
given={Ivan},
giveni={I\bibinitperiod}}}%
}
\strng{namehash}{b6f9575e6bda9263513100983523e156}
\strng{fullhash}{b6f9575e6bda9263513100983523e156}
\strng{fullhashraw}{b6f9575e6bda9263513100983523e156}
\strng{bibnamehash}{b6f9575e6bda9263513100983523e156}
\strng{authorbibnamehash}{b6f9575e6bda9263513100983523e156}
\strng{authornamehash}{b6f9575e6bda9263513100983523e156}
\strng{authorfullhash}{b6f9575e6bda9263513100983523e156}
\strng{authorfullhashraw}{b6f9575e6bda9263513100983523e156}
\field{labelalpha}{KS24}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0010-437X,1570-5846}
\field{journaltitle}{Compos. Math.}
\field{number}{11}
\field{title}{Symplectomorphisms and spherical objects in the conifold smoothing}
\field{volume}{160}
\field{year}{2024}
\field{pages}{2738\bibrangedash 2773}
\range{pages}{36}
\verb{doi}
\verb 10.1112/S0010437X24007425
\endverb
\verb{urlraw}
\verb https://doi.org/10.1112/S0010437X24007425
\endverb
\verb{url}
\verb https://doi.org/10.1112/S0010437X24007425
\endverb
\endentry
\entry{MR1403918}{inproceedings}{}{}
\name{author}{1}{}{%
{{hash=cf27d9e4bd394efedf47095891bb2927}{%
family={Kontsevich},
familyi={K\bibinitperiod},
given={Maxim},
giveni={M\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Birkh\"{a}user, Basel}%
}
\strng{namehash}{cf27d9e4bd394efedf47095891bb2927}
\strng{fullhash}{cf27d9e4bd394efedf47095891bb2927}
\strng{fullhashraw}{cf27d9e4bd394efedf47095891bb2927}
\strng{bibnamehash}{cf27d9e4bd394efedf47095891bb2927}
\strng{authorbibnamehash}{cf27d9e4bd394efedf47095891bb2927}
\strng{authornamehash}{cf27d9e4bd394efedf47095891bb2927}
\strng{authorfullhash}{cf27d9e4bd394efedf47095891bb2927}
\strng{authorfullhashraw}{cf27d9e4bd394efedf47095891bb2927}
\field{labelalpha}{Kon95}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Proceedings of the {I}nternational {C}ongress of {M}athematicians, {V}ol.\ 1, 2 ({Z}\"{u}rich, 1994)}
\field{isbn}{3-7643-5153-5}
\field{title}{Homological algebra of mirror symmetry}
\field{year}{1995}
\field{pages}{120\bibrangedash 139}
\range{pages}{20}
\endentry
\entry{kontsevich2008stabilitystructuresmotivicdonaldsonthomas}{misc}{}{}
\name{author}{2}{}{%
{{hash=cf27d9e4bd394efedf47095891bb2927}{%
family={Kontsevich},
familyi={K\bibinitperiod},
given={Maxim},
giveni={M\bibinitperiod}}}%
{{hash=83af258b6f55caf0e3e412df43bf9507}{%
family={Soibelman},
familyi={S\bibinitperiod},
given={Yan},
giveni={Y\bibinitperiod}}}%
}
\strng{namehash}{c1c486bd6befc1aa424e189638c2a721}
\strng{fullhash}{c1c486bd6befc1aa424e189638c2a721}
\strng{fullhashraw}{c1c486bd6befc1aa424e189638c2a721}
\strng{bibnamehash}{c1c486bd6befc1aa424e189638c2a721}
\strng{authorbibnamehash}{c1c486bd6befc1aa424e189638c2a721}
\strng{authornamehash}{c1c486bd6befc1aa424e189638c2a721}
\strng{authorfullhash}{c1c486bd6befc1aa424e189638c2a721}
\strng{authorfullhashraw}{c1c486bd6befc1aa424e189638c2a721}
\field{labelalpha}{KS08}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Stability structures, motivic Donaldson-Thomas invariants and cluster transformations}
\field{year}{2008}
\verb{eprint}
\verb 0811.2435
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/0811.2435
\endverb
\verb{url}
\verb https://arxiv.org/abs/0811.2435
\endverb
\endentry
\entry{MR506295}{article}{}{}
\name{author}{1}{}{%
{{hash=bc162d89cfcd2e90aa3bcc2298bf76a2}{%
family={Kulikov},
familyi={K\bibinitperiod},
given={Vik.\bibnamedelimi S.},
giveni={V\bibinitperiod\bibinitdelim S\bibinitperiod}}}%
}
\strng{namehash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{fullhash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{fullhashraw}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{bibnamehash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{authorbibnamehash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{authornamehash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{authorfullhash}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\strng{authorfullhashraw}{bc162d89cfcd2e90aa3bcc2298bf76a2}
\field{labelalpha}{Kul77}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0042-1316}
\field{journaltitle}{Uspehi Mat. Nauk}
\field{number}{3(195)}
\field{title}{Degenerations of {$K3$} surfaces and {E}nriques surfaces}
\field{volume}{32}
\field{year}{1977}
\field{pages}{167\bibrangedash 168}
\range{pages}{2}
\endentry
\entry{MR2238172}{article}{}{}
\name{author}{1}{}{%
{{hash=43dab46f60eb70dba99c8d2ad5e976f9}{%
family={Kuznetsov},
familyi={K\bibinitperiod},
given={A.\bibnamedelimi G.},
giveni={A\bibinitperiod\bibinitdelim G\bibinitperiod}}}%
}
\strng{namehash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{fullhash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{fullhashraw}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{bibnamehash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{authorbibnamehash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{authornamehash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{authorfullhash}{43dab46f60eb70dba99c8d2ad5e976f9}
\strng{authorfullhashraw}{43dab46f60eb70dba99c8d2ad5e976f9}
\field{labelalpha}{Kuz06}
\field{sortinit}{K}
\field{sortinithash}{c02bf6bff1c488450c352b40f5d853ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1607-0046,2587-5906}
\field{journaltitle}{Izv. Ross. Akad. Nauk Ser. Mat.}
\field{number}{3}
\field{title}{Hyperplane sections and derived categories}
\field{volume}{70}
\field{year}{2006}
\field{pages}{23\bibrangedash 128}
\range{pages}{106}
\verb{doi}
\verb 10.1070/IM2006v070n03ABEH002318
\endverb
\verb{urlraw}
\verb https://doi.org/10.1070/IM2006v070n03ABEH002318
\endverb
\verb{url}
\verb https://doi.org/10.1070/IM2006v070n03ABEH002318
\endverb
\endentry
\entry{MR4813221}{article}{}{}
\name{author}{1}{}{%
{{hash=a71969561d11c31125cba8c7092e8175}{%
family={Langer},
familyi={L\bibinitperiod},
given={Adrian},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{a71969561d11c31125cba8c7092e8175}
\strng{fullhash}{a71969561d11c31125cba8c7092e8175}
\strng{fullhashraw}{a71969561d11c31125cba8c7092e8175}
\strng{bibnamehash}{a71969561d11c31125cba8c7092e8175}
\strng{authorbibnamehash}{a71969561d11c31125cba8c7092e8175}
\strng{authornamehash}{a71969561d11c31125cba8c7092e8175}
\strng{authorfullhash}{a71969561d11c31125cba8c7092e8175}
\strng{authorfullhashraw}{a71969561d11c31125cba8c7092e8175}
\field{labelalpha}{Lan24}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0373-3114,1618-1891}
\field{journaltitle}{Ann. Mat. Pura Appl. (4)}
\field{number}{6}
\field{title}{Bridgeland stability conditions on normal surfaces}
\field{volume}{203}
\field{year}{2024}
\field{pages}{2653\bibrangedash 2664}
\range{pages}{12}
\verb{doi}
\verb 10.1007/s10231-024-01460-0
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/s10231-024-01460-0
\endverb
\verb{url}
\verb https://doi.org/10.1007/s10231-024-01460-0
\endverb
\endentry
\entry{MR1428426}{book}{}{}
\name{author}{1}{}{%
{{hash=4979b0c42e22abb5d0ec3ae3e1fe1af8}{%
family={Le\bibnamedelima Potier},
familyi={L\bibinitperiod\bibinitdelim P\bibinitperiod},
given={J.},
giveni={J\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Cambridge University Press, Cambridge}%
}
\strng{namehash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{fullhash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{fullhashraw}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{bibnamehash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{authorbibnamehash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{authornamehash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{authorfullhash}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\strng{authorfullhashraw}{4979b0c42e22abb5d0ec3ae3e1fe1af8}
\field{labelalpha}{Le 97}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{0-521-48182-1}
\field{note}{Translated by A. Maciocia}
\field{series}{Cambridge Studies in Advanced Mathematics}
\field{title}{Lectures on vector bundles}
\field{volume}{54}
\field{year}{1997}
\field{pages}{viii+251}
\range{pages}{-1}
\endentry
\entry{lekili2012arithmeticmirrorsymmetry2torus}{misc}{}{}
\name{author}{2}{}{%
{{hash=63e9408124e2875eb37bcd4eb46b8ef8}{%
family={Lekili},
familyi={L\bibinitperiod},
given={Yanki},
giveni={Y\bibinitperiod}}}%
{{hash=ddb8860f60044d6a0a48f312c575dc01}{%
family={Perutz},
familyi={P\bibinitperiod},
given={Timothy},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{fullhash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{fullhashraw}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{bibnamehash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{authorbibnamehash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{authornamehash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{authorfullhash}{ed183e1f6f1e1ea418828e5c3e290f79}
\strng{authorfullhashraw}{ed183e1f6f1e1ea418828e5c3e290f79}
\field{labelalpha}{LP12}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.SG}
\field{eprinttype}{arXiv}
\field{title}{Arithmetic mirror symmetry for the 2-torus}
\field{year}{2012}
\verb{eprint}
\verb 1211.4632
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/1211.4632
\endverb
\verb{url}
\verb https://arxiv.org/abs/1211.4632
\endverb
\endentry
\entry{MR3663596}{article}{}{}
\name{author}{2}{}{%
{{hash=c77bcb5a1d011a943b4c056bd4102966}{%
family={Lekili},
familyi={L\bibinitperiod},
given={Yank{\i{}}},
giveni={Y\bibinitperiod}}}%
{{hash=73607a0ded445abece92dece0b78e03e}{%
family={Polishchuk},
familyi={P\bibinitperiod},
given={Alexander},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{fullhash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{fullhashraw}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{bibnamehash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{authorbibnamehash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{authornamehash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{authorfullhash}{10e6736f9e065fa69cbfafd7a7c1f84f}
\strng{authorfullhashraw}{10e6736f9e065fa69cbfafd7a7c1f84f}
\field{labelalpha}{LP17}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1022-1824,1420-9020}
\field{journaltitle}{Selecta Math. (N.S.)}
\field{number}{3}
\field{title}{Arithmetic mirror symmetry for genus 1 curves with {$n$} marked points}
\field{volume}{23}
\field{year}{2017}
\field{pages}{1851\bibrangedash 1907}
\range{pages}{57}
\verb{doi}
\verb 10.1007/s00029-016-0286-2
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/s00029-016-0286-2
\endverb
\verb{url}
\verb https://doi.org/10.1007/s00029-016-0286-2
\endverb
\endentry
\entry{MR4718488}{article}{}{}
\name{author}{2}{}{%
{{hash=c77bcb5a1d011a943b4c056bd4102966}{%
family={Lekili},
familyi={L\bibinitperiod},
given={Yank\i{}},
giveni={Y\bibinitperiod}}}%
{{hash=6c57ea0288afb93888c160dff5b0225e}{%
family={Ueda},
familyi={U\bibinitperiod},
given={Kazushi},
giveni={K\bibinitperiod}}}%
}
\strng{namehash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{fullhash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{fullhashraw}{fd5570d88043bf29d470b123fa18f4cc}
\strng{bibnamehash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{authorbibnamehash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{authornamehash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{authorfullhash}{fd5570d88043bf29d470b123fa18f4cc}
\strng{authorfullhashraw}{fd5570d88043bf29d470b123fa18f4cc}
\field{labelalpha}{LU24}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{2156-2261,2154-3321}
\field{journaltitle}{Kyoto J. Math.}
\field{number}{2}
\field{title}{On homological mirror symmetry for the complement of a smooth ample divisor in a {K}3 surface}
\field{volume}{64}
\field{year}{2024}
\field{pages}{557\bibrangedash 564}
\range{pages}{8}
\verb{doi}
\verb 10.1215/21562261-2023-0023
\endverb
\verb{urlraw}
\verb https://doi.org/10.1215/21562261-2023-0023
\endverb
\verb{url}
\verb https://doi.org/10.1215/21562261-2023-0023
\endverb
\endentry
\entry{liu2025stabilityconditionsirreducibleprojective}{misc}{}{}
\name{author}{1}{}{%
{{hash=d7586b434e7f1832e5349d1f4bbbf4d5}{%
family={Liu},
familyi={L\bibinitperiod},
given={Ziqi},
giveni={Z\bibinitperiod}}}%
}
\strng{namehash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{fullhash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{fullhashraw}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{bibnamehash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{authorbibnamehash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{authornamehash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{authorfullhash}{d7586b434e7f1832e5349d1f4bbbf4d5}
\strng{authorfullhashraw}{d7586b434e7f1832e5349d1f4bbbf4d5}
\field{labelalpha}{Liu25}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{eprintclass}{math.AG}
\field{eprinttype}{arXiv}
\field{title}{Stability conditions on irreducible projective curves}
\field{year}{2025}
\verb{eprint}
\verb 2509.11405
\endverb
\verb{urlraw}
\verb https://arxiv.org/abs/2509.11405
\endverb
\verb{url}
\verb https://arxiv.org/abs/2509.11405
\endverb
\endentry
\entry{MR4853403}{article}{}{}
\name{author}{1}{}{%
{{hash=fdd77c5f67dd4d01463a6f4381c4e883}{%
family={Lorenzin},
familyi={L\bibinitperiod},
given={Antonio},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{fullhash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{fullhashraw}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{bibnamehash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{authorbibnamehash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{authornamehash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{authorfullhash}{fdd77c5f67dd4d01463a6f4381c4e883}
\strng{authorfullhashraw}{fdd77c5f67dd4d01463a6f4381c4e883}
\field{labelalpha}{Lor25}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0021-8693,1090-266X}
\field{journaltitle}{J. Algebra}
\field{title}{Formality and strongly unique enhancements}
\field{volume}{667}
\field{year}{2025}
\field{pages}{690\bibrangedash 724}
\range{pages}{35}
\verb{doi}
\verb 10.1016/j.jalgebra.2025.01.002
\endverb
\verb{urlraw}
\verb https://doi.org/10.1016/j.jalgebra.2025.01.002
\endverb
\verb{url}
\verb https://doi.org/10.1016/j.jalgebra.2025.01.002
\endverb
\endentry
\entry{MR2629991}{article}{}{}
\name{author}{2}{}{%
{{hash=5e29c50af0c948e020173cb9938121b1}{%
family={Lunts},
familyi={L\bibinitperiod},
given={Valery\bibnamedelima A.},
giveni={V\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
{{hash=d8a056b484b9f2893dce7371d7109209}{%
family={Orlov},
familyi={O\bibinitperiod},
given={Dmitri\bibnamedelima O.},
giveni={D\bibinitperiod\bibinitdelim O\bibinitperiod}}}%
}
\strng{namehash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{fullhash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{fullhashraw}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{bibnamehash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{authorbibnamehash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{authornamehash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{authorfullhash}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\strng{authorfullhashraw}{2bbe4589b27bbbb7123f6d2a8bbfebb9}
\field{labelalpha}{LO10}
\field{sortinit}{L}
\field{sortinithash}{7c47d417cecb1f4bd38d1825c427a61a}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0894-0347,1088-6834}
\field{journaltitle}{J. Amer. Math. Soc.}
\field{number}{3}
\field{title}{Uniqueness of enhancement for triangulated categories}
\field{volume}{23}
\field{year}{2010}
\field{pages}{853\bibrangedash 908}
\range{pages}{56}
\verb{doi}
\verb 10.1090/S0894-0347-10-00664-8
\endverb
\verb{urlraw}
\verb https://doi.org/10.1090/S0894-0347-10-00664-8
\endverb
\verb{url}
\verb https://doi.org/10.1090/S0894-0347-10-00664-8
\endverb
\endentry
\entry{opperJEMS}{article}{}{}
\name{author}{1}{}{%
{{hash=e31ec4e52a283d8eb171d9a2bc775bf5}{%
family={Opper},
familyi={O\bibinitperiod},
given={Sebastian},
giveni={S\bibinitperiod}}}%
}
\strng{namehash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{fullhash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{fullhashraw}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{bibnamehash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{authorbibnamehash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{authornamehash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{authorfullhash}{e31ec4e52a283d8eb171d9a2bc775bf5}
\strng{authorfullhashraw}{e31ec4e52a283d8eb171d9a2bc775bf5}
\field{labelalpha}{Opp24}
\field{sortinit}{O}
\field{sortinithash}{2cd7140a07aea5341f9e2771efe90aae}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{journaltitle}{J. Eur. Math. Soc. (JEMS)}
\field{note}{Published online first}
\field{title}{Spherical objects, transitivity and auto-equivalences of Kodaira cycles via gentle algebras}
\field{year}{2024}
\verb{doi}
\verb 10.4171/JEMS/1473
\endverb
\endentry
\entry{MR1465519}{incollection}{}{}
\name{author}{1}{}{%
{{hash=62dfe7f593c4161a4e0ebf77e719dd38}{%
family={Orlov},
familyi={O\bibinitperiod},
given={D.\bibnamedelimi O.},
giveni={D\bibinitperiod\bibinitdelim O\bibinitperiod}}}%
}
\strng{namehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{fullhash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{fullhashraw}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{bibnamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorbibnamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authornamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorfullhash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorfullhashraw}{62dfe7f593c4161a4e0ebf77e719dd38}
\field{extraname}{1}
\field{labelalpha}{Orl97}
\field{sortinit}{O}
\field{sortinithash}{2cd7140a07aea5341f9e2771efe90aae}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1072-3374}
\field{journaltitle}{J. Math. Sci. (New York)}
\field{note}{Algebraic geometry, 7}
\field{number}{5}
\field{title}{Equivalences of derived categories and {$K3$} surfaces}
\field{volume}{84}
\field{year}{1997}
\field{pages}{1361\bibrangedash 1381}
\range{pages}{21}
\verb{doi}
\verb 10.1007/BF02399195
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/BF02399195
\endverb
\verb{url}
\verb https://doi.org/10.1007/BF02399195
\endverb
\endentry
\entry{MR2437083}{article}{}{}
\name{author}{1}{}{%
{{hash=62dfe7f593c4161a4e0ebf77e719dd38}{%
family={Orlov},
familyi={O\bibinitperiod},
given={D.\bibnamedelimi O.},
giveni={D\bibinitperiod\bibinitdelim O\bibinitperiod}}}%
}
\strng{namehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{fullhash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{fullhashraw}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{bibnamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorbibnamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authornamehash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorfullhash}{62dfe7f593c4161a4e0ebf77e719dd38}
\strng{authorfullhashraw}{62dfe7f593c4161a4e0ebf77e719dd38}
\field{extraname}{2}
\field{labelalpha}{Orl06}
\field{sortinit}{O}
\field{sortinithash}{2cd7140a07aea5341f9e2771efe90aae}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0368-8666,2305-2783}
\field{journaltitle}{Mat. Sb.}
\field{number}{12}
\field{title}{Triangulated categories of singularities, and equivalences between {L}andau-{G}inzburg models}
\field{volume}{197}
\field{year}{2006}
\field{pages}{117\bibrangedash 132}
\range{pages}{16}
\verb{doi}
\verb 10.1070/SM2006v197n12ABEH003824
\endverb
\verb{urlraw}
\verb https://doi.org/10.1070/SM2006v197n12ABEH003824
\endverb
\verb{url}
\verb https://doi.org/10.1070/SM2006v197n12ABEH003824
\endverb
\endentry
\entry{MR2324559}{article}{}{}
\name{author}{1}{}{%
{{hash=b3a8483462a7483d41f1f84060bccd4f}{%
family={Polishchuk},
familyi={P\bibinitperiod},
given={A.},
giveni={A\bibinitperiod}}}%
}
\strng{namehash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{fullhash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{fullhashraw}{b3a8483462a7483d41f1f84060bccd4f}
\strng{bibnamehash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{authorbibnamehash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{authornamehash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{authorfullhash}{b3a8483462a7483d41f1f84060bccd4f}
\strng{authorfullhashraw}{b3a8483462a7483d41f1f84060bccd4f}
\field{labelalpha}{Pol07}
\field{sortinit}{P}
\field{sortinithash}{ff3bcf24f47321b42cb156c2cc8a8422}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1609-3321,1609-4514}
\field{journaltitle}{Mosc. Math. J.}
\field{number}{1}
\field{title}{Constant families of {$t$}-structures on derived categories of coherent sheaves}
\field{volume}{7}
\field{year}{2007}
\field{pages}{109\bibrangedash 134\bibrangessep 167}
\range{pages}{27}
\verb{doi}
\verb 10.17323/1609-4514-2007-7-1-109-134
\endverb
\verb{urlraw}
\verb https://doi.org/10.17323/1609-4514-2007-7-1-109-134
\endverb
\verb{url}
\verb https://doi.org/10.17323/1609-4514-2007-7-1-109-134
\endverb
\endentry
\entry{MR3136492}{book}{}{}
\name{author}{1}{}{%
{{hash=0224ffe90991959dcdafca02f831ba1d}{%
family={Saito},
familyi={S\bibinitperiod},
given={Takeshi},
giveni={T\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Mathematical Society, Providence, RI}%
}
\strng{namehash}{0224ffe90991959dcdafca02f831ba1d}
\strng{fullhash}{0224ffe90991959dcdafca02f831ba1d}
\strng{fullhashraw}{0224ffe90991959dcdafca02f831ba1d}
\strng{bibnamehash}{0224ffe90991959dcdafca02f831ba1d}
\strng{authorbibnamehash}{0224ffe90991959dcdafca02f831ba1d}
\strng{authornamehash}{0224ffe90991959dcdafca02f831ba1d}
\strng{authorfullhash}{0224ffe90991959dcdafca02f831ba1d}
\strng{authorfullhashraw}{0224ffe90991959dcdafca02f831ba1d}
\field{labelalpha}{Sai13}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{978-0-8218-9848-2}
\field{note}{Basic tools, Translated from the Japanese original by Masato Kuwata}
\field{series}{Translations of Mathematical Monographs}
\field{title}{Fermat's last theorem}
\field{volume}{243}
\field{year}{2013}
\field{pages}{xiv+200}
\range{pages}{-1}
\verb{doi}
\verb 10.1090/mmono/243
\endverb
\verb{urlraw}
\verb https://doi.org/10.1090/mmono/243
\endverb
\verb{url}
\verb https://doi.org/10.1090/mmono/243
\endverb
\endentry
\entry{MR1957046}{inproceedings}{}{}
\name{author}{1}{}{%
{{hash=4ba4e55b2ec1fde3d1a0e337553787e1}{%
family={Seidel},
familyi={S\bibinitperiod},
given={Paul},
giveni={P\bibinitperiod}}}%
}
\list{publisher}{1}{%
{Higher Ed. Press, Beijing}%
}
\strng{namehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{fullhash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{fullhashraw}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{bibnamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorbibnamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authornamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorfullhash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorfullhashraw}{4ba4e55b2ec1fde3d1a0e337553787e1}
\field{extraname}{1}
\field{labelalpha}{Sei02}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{booktitle}{Proceedings of the {I}nternational {C}ongress of {M}athematicians, {V}ol. {II} ({B}eijing, 2002)}
\field{isbn}{7-04-008690-5}
\field{title}{Fukaya categories and deformations}
\field{year}{2002}
\field{pages}{351\bibrangedash 360}
\range{pages}{10}
\endentry
\entry{MR3364859}{article}{}{}
\name{author}{1}{}{%
{{hash=4ba4e55b2ec1fde3d1a0e337553787e1}{%
family={Seidel},
familyi={S\bibinitperiod},
given={Paul},
giveni={P\bibinitperiod}}}%
}
\strng{namehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{fullhash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{fullhashraw}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{bibnamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorbibnamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authornamehash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorfullhash}{4ba4e55b2ec1fde3d1a0e337553787e1}
\strng{authorfullhashraw}{4ba4e55b2ec1fde3d1a0e337553787e1}
\field{extraname}{2}
\field{labelalpha}{Sei15}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{978-1-4704-1097-1}
\field{issn}{0065-9266,1947-6221}
\field{journaltitle}{Mem. Amer. Math. Soc.}
\field{number}{1116}
\field{title}{Homological mirror symmetry for the quartic surface}
\field{volume}{236}
\field{year}{2015}
\field{pages}{vi+129}
\range{pages}{-1}
\verb{doi}
\verb 10.1090/memo/1116
\endverb
\verb{urlraw}
\verb https://doi.org/10.1090/memo/1116
\endverb
\verb{url}
\verb https://doi.org/10.1090/memo/1116
\endverb
\endentry
\entry{MR1831820}{article}{}{}
\name{author}{2}{}{%
{{hash=4ba4e55b2ec1fde3d1a0e337553787e1}{%
family={Seidel},
familyi={S\bibinitperiod},
given={Paul},
giveni={P\bibinitperiod}}}%
{{hash=832f9206fe12eeaf70508ec033fafdaf}{%
family={Thomas},
familyi={T\bibinitperiod},
given={Richard},
giveni={R\bibinitperiod}}}%
}
\strng{namehash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{fullhash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{fullhashraw}{19e23458ebe75c24d7cafd06b2e39915}
\strng{bibnamehash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{authorbibnamehash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{authornamehash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{authorfullhash}{19e23458ebe75c24d7cafd06b2e39915}
\strng{authorfullhashraw}{19e23458ebe75c24d7cafd06b2e39915}
\field{labelalpha}{ST01}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0012-7094}
\field{journaltitle}{Duke Math. J.}
\field{number}{1}
\field{title}{Braid group actions on derived categories of coherent sheaves}
\field{volume}{108}
\field{year}{2001}
\field{pages}{37\bibrangedash 108}
\range{pages}{72}
\verb{doi}
\verb 10.1215/S0012-7094-01-10812-0
\endverb
\verb{urlraw}
\verb https://doi-org.utokyo.idm.oclc.org/10.1215/S0012-7094-01-10812-0
\endverb
\verb{url}
\verb https://doi-org.utokyo.idm.oclc.org/10.1215/S0012-7094-01-10812-0
\endverb
\endentry
\entry{MR3294958}{article}{}{}
\name{author}{1}{}{%
{{hash=4bd8ac0f257d21afdc256a09a0f5236a}{%
family={Sheridan},
familyi={S\bibinitperiod},
given={Nick},
giveni={N\bibinitperiod}}}%
}
\strng{namehash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{fullhash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{fullhashraw}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{bibnamehash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{authorbibnamehash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{authornamehash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{authorfullhash}{4bd8ac0f257d21afdc256a09a0f5236a}
\strng{authorfullhashraw}{4bd8ac0f257d21afdc256a09a0f5236a}
\field{labelalpha}{She15}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0020-9910,1432-1297}
\field{journaltitle}{Invent. Math.}
\field{number}{1}
\field{title}{Homological mirror symmetry for {C}alabi-{Y}au hypersurfaces in projective space}
\field{volume}{199}
\field{year}{2015}
\field{pages}{1\bibrangedash 186}
\range{pages}{186}
\verb{doi}
\verb 10.1007/s00222-014-0507-2
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/s00222-014-0507-2
\endverb
\verb{url}
\verb https://doi.org/10.1007/s00222-014-0507-2
\endverb
\endentry
\entry{stacks-project}{misc}{}{}
\name{author}{1}{}{%
{{hash=a3dbcb9991f2a884f2c608ad2335af9f}{%
family={{Stacks project authors}},
familyi={S\bibinitperiod},
given={The},
giveni={T\bibinitperiod}}}%
}
\strng{namehash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{fullhash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{fullhashraw}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{bibnamehash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{authorbibnamehash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{authornamehash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{authorfullhash}{a3dbcb9991f2a884f2c608ad2335af9f}
\strng{authorfullhashraw}{a3dbcb9991f2a884f2c608ad2335af9f}
\field{labelalpha}{Sta25}
\field{sortinit}{S}
\field{sortinithash}{b164b07b29984b41daf1e85279fbc5ab}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{howpublished}{\url{https://stacks.math.columbia.edu}}
\field{title}{The Stacks project}
\field{year}{2025}
\endentry
\entry{MR2448280}{article}{}{}
\name{author}{1}{}{%
{{hash=4a5c16c1943c400148c4f446a146129e}{%
family={Toda},
familyi={T\bibinitperiod},
given={Yukinobu},
giveni={Y\bibinitperiod}}}%
}
\strng{namehash}{4a5c16c1943c400148c4f446a146129e}
\strng{fullhash}{4a5c16c1943c400148c4f446a146129e}
\strng{fullhashraw}{4a5c16c1943c400148c4f446a146129e}
\strng{bibnamehash}{4a5c16c1943c400148c4f446a146129e}
\strng{authorbibnamehash}{4a5c16c1943c400148c4f446a146129e}
\strng{authornamehash}{4a5c16c1943c400148c4f446a146129e}
\strng{authorfullhash}{4a5c16c1943c400148c4f446a146129e}
\strng{authorfullhashraw}{4a5c16c1943c400148c4f446a146129e}
\field{labelalpha}{Tod09}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{1056-3911,1534-7486}
\field{journaltitle}{J. Algebraic Geom.}
\field{number}{1}
\field{title}{Stability conditions and {C}alabi-{Y}au fibrations}
\field{volume}{18}
\field{year}{2009}
\field{pages}{101\bibrangedash 133}
\range{pages}{33}
\verb{doi}
\verb 10.1090/S1056-3911-08-00511-0
\endverb
\verb{urlraw}
\verb https://doi.org/10.1090/S1056-3911-08-00511-0
\endverb
\verb{url}
\verb https://doi.org/10.1090/S1056-3911-08-00511-0
\endverb
\endentry
\entry{MR2276263}{article}{}{}
\name{author}{1}{}{%
{{hash=003ae2cc243f599be00aa123addba560}{%
family={To\"{e}n},
familyi={T\bibinitperiod},
given={Bertrand},
giveni={B\bibinitperiod}}}%
}
\strng{namehash}{003ae2cc243f599be00aa123addba560}
\strng{fullhash}{003ae2cc243f599be00aa123addba560}
\strng{fullhashraw}{003ae2cc243f599be00aa123addba560}
\strng{bibnamehash}{003ae2cc243f599be00aa123addba560}
\strng{authorbibnamehash}{003ae2cc243f599be00aa123addba560}
\strng{authornamehash}{003ae2cc243f599be00aa123addba560}
\strng{authorfullhash}{003ae2cc243f599be00aa123addba560}
\strng{authorfullhashraw}{003ae2cc243f599be00aa123addba560}
\field{labelalpha}{To\"{e}07}
\field{sortinit}{T}
\field{sortinithash}{9af77f0292593c26bde9a56e688eaee9}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{issn}{0020-9910,1432-1297}
\field{journaltitle}{Invent. Math.}
\field{number}{3}
\field{title}{The homotopy theory of {$dg$}-categories and derived {M}orita theory}
\field{volume}{167}
\field{year}{2007}
\field{pages}{615\bibrangedash 667}
\range{pages}{53}
\verb{doi}
\verb 10.1007/s00222-006-0025-y
\endverb
\verb{urlraw}
\verb https://doi.org/10.1007/s00222-006-0025-y
\endverb
\verb{url}
\verb https://doi.org/10.1007/s00222-006-0025-y
\endverb
\endentry
\entry{MR3076731}{book}{}{}
\name{author}{1}{}{%
{{hash=748c93da38984ed20cedc796d519b7ad}{%
family={Weibel},
familyi={W\bibinitperiod},
given={Charles\bibnamedelima A.},
giveni={C\bibinitperiod\bibinitdelim A\bibinitperiod}}}%
}
\list{publisher}{1}{%
{American Mathematical Society, Providence, RI}%
}
\strng{namehash}{748c93da38984ed20cedc796d519b7ad}
\strng{fullhash}{748c93da38984ed20cedc796d519b7ad}
\strng{fullhashraw}{748c93da38984ed20cedc796d519b7ad}
\strng{bibnamehash}{748c93da38984ed20cedc796d519b7ad}
\strng{authorbibnamehash}{748c93da38984ed20cedc796d519b7ad}
\strng{authornamehash}{748c93da38984ed20cedc796d519b7ad}
\strng{authorfullhash}{748c93da38984ed20cedc796d519b7ad}
\strng{authorfullhashraw}{748c93da38984ed20cedc796d519b7ad}
\field{labelalpha}{Wei13}
\field{sortinit}{W}
\field{sortinithash}{4315d78024d0cea9b57a0c6f0e35ed0d}
\field{labelnamesource}{author}
\field{labeltitlesource}{title}
\field{isbn}{978-0-8218-9132-2}
\field{note}{An introduction to algebraic $K$-theory}
\field{series}{Graduate Studies in Mathematics}
\field{title}{The {$K$}-book}
\field{volume}{145}
\field{year}{2013}
\field{pages}{xii+618}
\range{pages}{-1}
\verb{doi}
\verb 10.1090/gsm/145
\endverb
\verb{urlraw}
\verb https://doi.org/10.1090/gsm/145
\endverb
\verb{url}
\verb https://doi.org/10.1090/gsm/145
\endverb
\endentry
\enddatalist
\endrefsection
\endinput