arXiv subjects

Thorsten Beckmann

Publications and source records attributed to Thorsten Beckmann.

8 recordsLinked to original sources

arXiv2022

Homological projective duality for the Segre cubic

The Segre cubic and Castelnuovo-Richmond quartic are two projectively dual hypersurfaces in $\mathbb{P}^4$, with a long and rich history starting in the 19th century. We will explain how Kuznetsov's theory of homological projective duality lifts this projective duality to a relationship between the derived category of a small resolution of the Segre cubic and a small resolution of the Coble fourfold, the double cover of $\mathbb{P}^4$ ramified along the Castelnuovo-Richmond quartic. Homological projective duality then provides a description of the derived categories of linear sections, which we will describe to illustrate the theory. The case of the Segre cubic and Coble fourfold is non-trivial enough to exhibit interesting behavior, whilst being easy enough to explain the general machinery in this special and very classical case.

math.AG↗

arXiv2022

Integral Fourier transforms and the integral Hodge conjecture for one-cycles on abelian varieties

We prove the integral Hodge conjecture for one-cycles on a principally polarized complex abelian variety whose minimal class is algebraic. In particular, any product of Jacobians of smooth projective curves over the complex numbers satisfies the integral Hodge conjecture for one-cycles. The main ingredient is a lift of the Fourier transform to integral Chow groups. Similarly, we prove the integral Tate conjecture for one-cycles on the Jacobian of a proper curve of compact type over the separable closure of a finitely generated field. Furthermore, abelian varieties satisfying such a conjecture are dense in their moduli space.

math.AG↗

arXiv2022

Atomic objects on hyper-K\"ahler manifolds

We introduce and study the notion of atomic sheaves and complexes on higher-dimensional hyper-K\"ahler manifolds and show that they share many of the intriguing properties of simple sheaves on K3 surfaces. For example, we prove formality of the dg algebra of derived endomorphisms for stable atomic bundles. We further demonstrate the characteristics of atomic objects by studying atomic Lagrangian submanifolds. In the appendix, we prove non-existence results for spherical objects on hyper-K\"ahler manifolds.

math.AG↗

arXiv2022

Second Chern class and Fujiki constants of hyperk\"ahler manifolds

We study characteristic classes on hyperk\"ahler manifolds with a view towards the Verbitsky component. The case of the second Chern class leads to a conditional upper bound on the second Betti number in terms of the Riemann--Roch polynomial, which is also valid for singular examples. We discuss the general structure of characteristic classes and the Riemann--Roch polynomial on hyperk\"ahler manifolds using among other things Rozansky--Witten theory.

math.AG↗

arXiv2021

Derived categories of hyper-K\"ahler manifolds: extended Mukai vector and integral structure

We introduce a linearised form of the square root of the Todd class inside the Verbitsky component of a hyper-K\"ahler manifold using the extended Mukai lattice. This enables us to define a Mukai vector for certain objects in the derived category taking values inside the extended Mukai lattice which is functorial for derived equivalences. As applications, we obtain a structure theorem for derived equivalences between hyper-K\"ahler manifolds as well as an integral lattice associated to the derived category of hyper-K\"ahler manifolds deformation equivalent to the Hilbert scheme of a K3 surface mimicking the surface case.

math.AG↗

arXiv2020

On equivariant derived categories

We study the equivariant category associated to a finite group action on the derived category of coherent sheaves of a smooth projective variety. We discuss decompositions of the equivariant category and faithful actions, prove the existence of a Serre functor, give a criterion for the equivariant category to be Calabi--Yau, and describe an obstruction for a subgroup of the group of auto-equivalences to act. As application we show that the equivariant category of any symplectic action on the derived category of an elliptic curve is equivalent to the derived category of an elliptic curve.

math.AG↗

arXiv2020

Equivariant categories of symplectic surfaces and fixed loci of Bridgeland moduli spaces

Given an action of a finite group $G$ on the derived category of a smooth projective variety $X$ we relate the fixed loci of the induced $G$-action on moduli spaces of stable objects in $D^b(\mathrm{Coh}(X))$ with moduli spaces of stable objects in the equivariant category $D^b(\mathrm{Coh}(X))_G$. As an application we obtain a criterion for the equivariant category of a symplectic action on the derived category of a symplectic surface to be equivalent to the derived category of a surface. This generalizes the derived McKay correspondence, and yields a general framework for describing fixed loci of symplectic group actions on moduli spaces of stable objects on symplectic surfaces.

math.AG↗

arXiv2018

Birational geometry of moduli spaces of stable objects on Enriques surfaces

Using wall-crossing for K3 surfaces, we establish birational equivalence of moduli spaces of stable objects on generic Enriques surfaces for different stability conditions. As an application, we prove in the case of a Mukai vector of odd rank that they are birational to Hilbert schemes. The argument makes use of a new Chow-theoretic result, showing that moduli spaces on an Enriques surface give rise to constant cycle subvarieties of the moduli spaces of the covering K3.

math.AG↗