\documentclass[aspectratio=169]{beamer}

\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{mathtools}
\usepackage{sagetex}
\usepackage{ulem}
\usepackage{xcolor}
\usepackage{tcolorbox}

\usetheme{edmaths}
\renewcommand\mathfamilydefault{\rmdefault}

\title{Bridgeland Stabilities and Finding Walls}
\subtitle{}
\author{Luke Naylor}
\institute{Hodge Club}
\date{March 2023}

\newcommand\RR{\mathbb{R}}
\newcommand\CC{\mathbb{C}}
\newcommand\centralcharge{\mathcal{Z}}
\newcommand\coh{\operatorname{Coh}}
\newcommand\rank{\operatorname{rk}}
\newcommand\degree{\operatorname{deg}}
\newcommand\realpart{\mathfrak{Re}}
\newcommand\imagpart{\mathfrak{Im}}
\newcommand\bigO{\mathcal{O}}
\newcommand\cohom{\mathcal{H}}
\newcommand\chern{\mathrm{ch}}

\begin{document}

\begin{sagesilent}
	from pseudowalls import *
	from sagetexscripts import *
\end{sagesilent}

\begin{frame}
	\titlepage
\end{frame}

\section{Transitioning to Stab on Triangulated Categories}

\begin{frame}{Central Charge for Mumford Stability}
	\begin{align*}
		&\centralcharge \colon \coh(X) \to \CC \\
		&\centralcharge (E) = - \degree(E) + i \rank(E)
	\end{align*}

	\vfill

	\resizebox{1\hsize}{!}{
		\sageplot{fig1.plot()}
	}

	\begin{columns}[T] % align columns
	\begin{column}{.48\linewidth}
		\[
			\centralcharge (E) = r(E) e^{i\pi \varphi(E)}
		\]
		\begin{center}
			\begin{large}
			$\varphi$ called "phase"
			\end{large}
		\end{center}
	\end{column}%
	%\hfill%
	\begin{column}{.48\linewidth}
		\[
			\mu(E) =
			\frac{
				- \realpart(\centralcharge(E))
			}{
				\imagpart(\centralcharge(E))
			}
			\quad
		\]
		\begin{center}
			\begin{large}
				(allow for $+\infty$)
			\end{large}
		\end{center}
	\end{column}%
	\end{columns}

\end{frame}

\begin{frame}{Extending Central Charge to $D^b(X)$}
	\[
		E^\bullet = [\cdots \to * \to * \to * \to \cdots] \in D^b(X)
	\]
	\begin{align*}
		\rank(E^\bullet) &= \sum (-1)^i \rank(\cohom^i(E)) \\
		\degree(E^\bullet) &= \sum (-1)^i \degree(\cohom^i(E))
	\end{align*}

	\vfill

	\begin{columns}[t,onlytextwidth]
		\begin{column}{.5\linewidth}
			In particular, for shifts:
			\begin{itemize}
				\item $\rank(E[1]) = - \rank(E)$
				\item $\degree(E[1]) = - \degree(E)$
			\end{itemize}
		\end{column}
		\begin{column}{.49\linewidth}
			For $\centralcharge$:
			\begin{itemize}
				\item $\centralcharge(E[1]) = - \centralcharge(E)$
				\item $\centralcharge(E[2]) = \centralcharge(E)$
			\end{itemize}
		\end{column}
	\end{columns}

\end{frame}

\begin{frame}{Slicing - Phase $\phi$}
\begin{columns}[t,onlytextwidth] % align columns
	\begin{column}{.33\linewidth}%
	\resizebox{1.1\hsize}{!}{
		\sageplot{fig2.plot()}
	}
	\end{column}%
	%\hfill%
	\begin{column}{.33\linewidth}%
	\resizebox{1.1\hsize}{!}{
		\sageplot{fig3.plot()}
	}
	\end{column}%
	%\hfill%
	\begin{column}{.33\linewidth}%
	\resizebox{1.1\hsize}{!}{
		\sageplot{fig4.plot()}
	}
	\end{column}%
	\end{columns}

	\vfill

	\begin{itemize}
		\item $\centralcharge(E[2]) = \centralcharge(E)$
		\item But $\phi(E[n]) = \phi(E) + n$
		\item Stability decided among $E \in D^b(X) \colon \phi(E) \in (0, \pi] =
			\coh(X)$ \\
			($\phi$ only partial ``function'')
	\end{itemize}
\end{frame}

\begin{frame}{Benefits of this Generalization}
	\begin{itemize}
		\item Can take different slicings (and heart)
		\item Tweak $\centralcharge$ \quad $\to$ \quad m.b. tweak slicing
		\item No ``strong'' Bridgeland stabilities with $\coh(X)$ as heart for dim>1
		\item Gieseker stability (a polynomial stability) can be constructed as a
			limit of Bridgeland stabilities
	\end{itemize}
\end{frame}

\section{Moving to Picard Rank 1 Surfaces}

\begin{frame}{Moving to Surfaces}
	\begin{itemize}
		\item $\centralcharge(\bigO_x) = 0$ for Mumford stability
			\\ ignores extra term in Chern character:
			$(r, d \ell, \chi)$
		\item Classically, Gieseker stability used
			\\ \qquad slope comparison $\to$ lexicographic comparison
	\end{itemize}
\end{frame}

\begin{frame}{New Central Charges for Surfaces}
	Explicitly constructed for K3 - Bridgeland (2003)
	\vfill

	\begin{tcolorbox}[title=Picard Rank 1 with polarization $L$]
		\begin{align*}
			\centralcharge_{\alpha, \beta}(E) &:=
			- \left<
				\exp( - \alpha \ell - \beta \ell i),
				E
			\right>
																				&\text{where}\:\:\ell := c_1(L),\:
																				\alpha\in\RR^{>0},\beta\in\RR
			\\ &= - \chern_{\mathrm{top}}(\exp( \alpha \ell + \beta \ell i)^{-1} \otimes E)
																				&\text{($\leftarrow$ abuse)}
		\end{align*}
	\end{tcolorbox}
	\vfill
	$\exp(a) = \left(1, a, \frac12 a^2\right)$ defined formally,
	in particular: $\exp(n \ell) = L^{\otimes n}$
	\vfill
	{
		\color{gray}
		For Mumford stability on Curves:
		\begin{align*}
			\centralcharge(E) &= -\chern_1(E) + \chern_0(E) i
										 \\ &= - \left<\exp(-i), E\right>
		\end{align*}
	}
\end{frame}

\begin{sagesilent}
	v = generic_chern_char(2, "v")
	Z = stability.Tilt().central_charge(v).expand()
	nu = stability.Tilt().slope(v)
\end{sagesilent}

\begin{frame}{Explicit Formulae for New Central Charge}
	\begin{align*}
		\centralcharge_{\alpha, \beta}\left(v_0, v_1 \ell, v_2 \ell^2\right)
		&= \sage{Z} \\
		\nu_{\alpha, \beta}\left(v_0, v_1 \ell, v_2 \ell^2\right)
		&= \sage{nu} \\
	\end{align*}
	\vfill
	\begin{center}
		Denominator /
	$\imagpart(\centralcharge_{\alpha, \beta}) > 0 \iff \beta < \frac{v_1}{v_0} = \mu$
	\\ $\to$ other $E\in\coh(X)$ cannot be in heart
	\end{center}
\end{frame}


\end{document}