We describe the GIT compactification of the moduli of (2,2)-type effective divisors of $\mathbb{P}^1\times\mathbb{P}^2$ (i.e., surfaces of the linear system $\vert π_1^*\mathcal{O}_{\mathbb{P}^1}(2)\otimes π_2^*\mathcal{O}_{\mathbb{P}^2}(2)\vert$ ) which are generically Del Pezzo surfaces of degree two. In order to get the compactification, we characterize stable and semi-stable (2,2)-type surfaces, and also determine the equivalence classes of strictly semi-stable (2,2)-type surfaces. Moreover, we describe the boundary of the moduli of (2,2)-type surfaces.
We shall study stability conditions and Fourier-Mukai transforms on an elliptic surface. In particular we shall explain duality of elliptic surfaces by Fourier-Mukai transforms.
Let $L$ be a globally generated line bundle over a smooth irreducible complex projective surface $X$. The syzygy bundle $M_{L}$ is the kernel of the evaluation map $H^0(L)\otimes\mathcal O_X\to L$. We prove the $L$-stability of $M_L$ for Hirzebruch surfaces, del Pezzo surfaces and Enriques surfaces. The $(-K_X)$-stability of syzygy bundles $M_L$ over del Pezzo surfaces is also obtained.
Using Bridgeland stability conditions we give sufficient criteria for a stable vector bundle on a surface to remain stable when restricted to a curve. We give a stronger criterion when the vector bundle is a general vector bundle on the plane. As an application, we compute the cohomology of such bundles for curves that lie in the plane or on Hirzebruch surfaces.
Let $(X, H)$ be a polarized smooth projective algebraic surface and $E$ is globally generated, stable vector bundle on $X$. Then the Syzygy bundle $M_E$ associated to it is defined as the kernel bundle corresponding to the evaluation map. In this article we will study the stability property of $M_E$ with respect to $H$.
Given a closed semi-algebraic set $X \subset \mathbb{R}^n$ and a continuous semi-algebraic mapping $G \colon X \to \mathbb{R}^m,$ it will be shown that there exists an open dense semi-algebraic subset $\mathscr{U}$ of $L(\mathbb{R}^n, \mathbb{R}^m),$ the space of all linear mappings from $\mathbb{R}^n$ to $\mathbb{R}^m,$ such that for all $F \in \mathscr{U},$ the image $(F + G)(X)$ is a closed (semi-algebraic) set in $\mathbb{R}^m.$ To do this, we study the tangent cone at infinity $C_\infty X$ and the set $E_\infty X \subset C_\infty X$ of (unit) exceptional directions at infinity of $X.$ Spe…
We introduce $\mathfrak{f}$-stability, a modification of fibration stability of Dervan-Sektnan [12], and show that $\mathfrak{f}$-semistable fibrations have only semi log canonical singularities. Moreover, $\mathfrak{f}$-stability puts restrictions on semi log canonical centers on Fano fibrations.
It is shown that there is a useful notion of a relative Bridgeland stability condition on the partially wrapped Fukaya category of a marked surface, relative to some part of the surface's boundary. This construction has nice functorial properties, obeying cutting and gluing relations. This reduces the calculation of stability conditions on the Fukaya category of any fully stopped surface into three types of base cases. Calculations of these cases shows that every Bridgeland stability condition on such categories can be described by flat surfaces. In other words, the map constructed by Haiden-K…