arXiv subjects
Publications and source records attributed to Andreas Hochenegger.
Let $\mathcal E$ be a torus-linearised reflexive sheaf over a smooth projective toric variety. Generalising a theorem of Perlman and Smith, we prove an explicit sufficient condition for $\mathcal E$ to be acyclic via Weil decorations.
For a normal algebraic variety we generalise the relation between reflexive rank one sheaves and Weil divisors to reflexive sheaves of arbitrary rank and so-called Weil decorations. As an application, we define and study a natural generalisation of the celebrated Horrocks-Mumford bundle.
For a vector bundle $\mathcal E \to \mathbb P^\ell$ we investigate exceptional sequences of line bundles on the total space of the projectivisation $X = \mathbb P(\mathcal E)$. In particular, we consider the case of the cotangent bundle of $\mathbb P^\ell$. If $\ell = 2$, we completely classify the (strong) exceptional sequences and show that any maximal exceptional sequence is full. For general $\ell$, we prove that the Rouquier dimension of $\mathcal D(X)$ equals $\dim X$, thereby confirming a conjecture of Orlov.
Given two $\mathbb{P}$-objects in some algebraic triangulated category, we investigate the possible relations among the associated $\mathbb{P}$-twists. The main result is that, under certain technical assumptions, the $\mathbb{P}$-twists commute if and only if the $\mathbb{P}$-objects are orthogonal. Otherwise, there are no relations at all. In particular, this applies to most of the known pairs of $\mathbb{P}$-objects on hyperkähler varieties. In order to show this, we relate $\mathbb{P}$-twists to spherical twists and apply known results about the absence of relations between pairs of spherical twists.
In this article, the existence of Ulrich bundles on projective bundles $\mathbb P(E) \to X$ is discussed. In the case, that the base variety $X$ is a curve or surface, a close relationship between Ulrich bundles on $X$ and those on $\mathbb P(E)$ is established for specific polarisations. This yields the existence of Ulrich bundles on a wide range of projective bundles over curves and surfaces.
Over a smooth projective toric variety we study toric sheaves, that is, reflexive sheaves equivariant with respect to the acting torus, from a polyhedral point of view. One application is the explicit construction of the torus invariant universal extension of two nef line bundles via polyhedral inclusion/exclusion sequences. Second, we link the cohomology of toric sheaves to the cohomology of certain constructible sheaves explicitly built out of the associated polyhedra. For the latter we define a concrete double complex and a spectral sequence which computes the cohomology of toric sheaves from the reduced cohomology of polyhedral subsets living in the realification of the character lattice of the toric variety.
We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack. We show that such Cox rings always exist and establish their (non-)uniqueness in terms of an Ext-group. Moreover, we compare our definition with the classical construction of a Cox ring on a variety. Finally, we give an application to the theory of Mori dream stacks.
Recently, a new definition of $\mathbb P$-functors was proposed by Anno and Logvinenko. In their article, the authors wonder whether this notion is symmetric in the sense that the adjoints of $\mathbb P$-functors are again $\mathbb P$-functors, the analogue being true for spherical functors. We give geometric examples involving the Hilbert scheme of points on a surface that yield a negative answer.
In 2021, Marco Besier and the first author introduced the concept of rationalizability of square roots to simplify arguments of Feynman integrals. In this work, we generalize the definition of rationalizability to field extensions. We then show that the rationalizability of a set of quadratic field extensions is equivalent to the rationalizability of the compositum of the field extensions, providing a new strategy to prove rationalizability of sets of square roots of polynomials.
Given an exact functor between triangulated categories which admits both adjoints and whose cotwist is either zero or an autoequivalence, we show how to associate a unique full triangulated subcategory of the codomain on which the functor becomes either Frobenius or spherical, respectively. We illustrate our construction with examples coming from projective bundles and smooth blowups. This work generalises results about spherical subcategories obtained by Martin Kalck, David Ploog and the first author.
We study effective divisors $D$ on surfaces with $H^0(\mathcal O_D)=k$ and $H^1(\mathcal O_D)=H^0(\mathcal O_D(D))=0$. We give a numerical criterion for such divisors, following a general investigation of negativity, rigidity and connectivity properties. Examples include exceptional loci of rational singularities, and spherelike divisors.
In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.
We show that a $\mathbb{P}$-object and simple configurations of $\mathbb{P}$-objects have a formal derived endomorphism algebra. Hence the triangulated category (classically) generated by such objects is independent of the ambient triangulated category. We also observe that the category generated by the structure sheaf of a smooth projective variety over the complex numbers only depends on its graded cohomology algebra.
We introduce a new invariant for triangulated categories: the poset of spherical subcategories ordered by inclusion. This yields several numerical invariants, like the cardinality and the height of the poset. We explicitly describe spherical subcategories and their poset structure for derived categories of certain finite-dimensional algebras.
Given a map $ϕ: X \to Y$ of $\mathbb Q$-factorial Mori dream spaces, one can ask whether this map is induced by a homogeneous homomorphism $R(Y) \to R(X)$ of Cox rings. As soon as $Y$ is singular, such a homomorphism needs not to exist, as pulling back Weil divisors is not well-defined. In this article, we prove that there is a unique Cox lift $Φ: \mathcal X \to \mathcal Y$ of Mori dream stacks coming from a homogeneous homomorphism $R(Y) = R(\mathcal Y) \to R(\mathcal X)$, where $\mathcal Y$ is a canonical stack to $Y$ and $\mathcal X$ is obtained from $X$ by root constructions. Moreover, $ϕ$ is induced from $Φ$ by passing to coarse moduli spaces.
We study objects in triangulated categories which have a two-dimensional graded endomorphism algebra. Given such an object, we show that there is a unique maximal triangulated subcategory, in which the object is spherical. This general result is then applied to algebraic geometry.
We propose a generalisation of Mori dream spaces to stacks. We show that this notion is preserved under root constructions and taking abelian gerbes. Unlike the case of Mori dream spaces, such a stack is not always given as a quotient of the spectrum of its Cox ring by the Picard group. We give a criterion when this is true in terms of Mori dream spaces and root constructions. Finally, we compare this notion with the one of smooth toric Deligne-Mumford stacks.
We study invariant divisors on the total spaces of the homogeneous deformations of rational complexity-one T-varieties constructed by Ilten and Vollmert. In particular, we identify a natural subgroup of the Picard group for any general fiber of such a deformation, which is canonically isomorphic to the Picard group of the special fiber. This isomorphism preserves Euler characteristic, intersection numbers, and the canonical class.