Related papers: Determinantal Barlow surfaces and phantom categori…
We construct a linearly normal smooth rational surface S of degree 11 and sectional genus 8 in the projective fivespace. Surfaces satisfying these numerical invariants are special, in the sense that $h^1(\mathscr{O}_S(1))>0$. Our…
We use hyperbolic geometry to construct simply-connected symplectic or complex manifolds with trivial canonical bundle and with no compatible Kahler structure. We start with the desingularisations of the quadric cone in C^4: the smoothing…
We prove a conjecture by F. Ferrari. Let X be the total space of a nonlinear deformation of a rank 2 holomorphic vector bundle on a smooth rational curve, such that X has trivial canonical bundle and has sections. Then the normal bundle to…
Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$…
In this short note, we observe that Theorem 3.1 in arXiv:1508.00682 for semiorthogonal indecomposability of the derived category of smooth DM stacks based on the canonical bundle can be extended to the case of projective varieties with…
We study the birational properties of geometrically rational surfaces from a derived categorical point of view. In particular, we give a criterion for the rationality of a del Pezzo surface over an arbitrary field, namely, that its derived…
The cellular resolution of the diagonal given by Bayer-Popescu-Sturmfels for unimodular projective toric varieties yields a full, strong exceptional collection of line bundles on unimodular projective toric surfaces. The…
Following Crane's suggestion that categorification should be of fundamental importance in quantising gravity, we show that finite dimensional even $S^o$-real spectral triples over $\bbc$ are already nothing more than full C*-categories…
We study exceptional collections of line bundles on surfaces. We prove that any full cyclic strong exceptional collection of line bundles on a rational surface is an augmentation in the sense of L.Hille and M.Perling. We find simple…
We study admissible subcategories of derived categories of coherent sheaves on del Pezzo surfaces and rational elliptic surfaces. Using a relation between admissible subcategories and anticanonical divisors we prove the following results.…
We introduce a general framework, based on \'etale topological categories, for studying discrete restriction semigroups and their algebras. Generalizing Paterson's universal groupoid of an inverse semigroup, we define the universal category…
The extent to which the geometry of an object is determined by some associated spectral data is a longstanding problem. We investigate this problem in the context of the Steklov spectrum, focusing on convex polygons. We prove that almost…
We give a construction of hyperbolic 3-manifolds with rank two fundamental groups and report an experimental search to find such manifolds. Our manifolds are all surface bundles over the circle with genus two surface fiber. For the…
We determine the splitting (isomorphism) type of the normal bundle of a generic genus-0 curve with 1 or 2 components in any projective space, as well as the (sometimes nontrivial) way the bundle deforms locally with a general deformation of…
We introduce a general definition of higher-form connections on principal $\infty$-bundles in differential geometry. This is achieved by developing the formal differentiation and integration of maps from smooth manifolds to derived stacks…
The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a…
Let X be a smooth, complete, geometrically connected curve over a field of characteristic p. The geometric Langlands conjecture states that to each irreducible rank n local system E on X one can attach a perverse sheaf on the moduli stack…
Irreducible symplectic manifolds are one of the three building blocks of compact K\"ahler manifolds with numerically trivial canonical bundle by the Beauville-Bogomolov decomposition theorem. There are several singular analogues of…
In this note we introduce the transcendental part $t(X)$ of the motive of a cubic fourfold $X$ and prove that it is isomorphic to the (twisted) transcendental part $h_2^{tr}(F(X))$ in a suitable Chow-K\"unneth decomposition for the motive…
We show that the residual categories of quadric surface bundles are equivalent to the (twisted) derived categories of some scheme under the following hypotheses. Case 1: The quadric surface bundle has a smooth section. Case 2: The total…