Search

A classical result of Bondal-Orlov states that a standard flip in birational geometry gives rise to a fully faithful functor between derived categories of coherent sheaves. We complete their embedding into a semiorthogonal decomposition by describing the complement. As an application, we can lift the "quadratic Fano correspondence" (due to Galkin-Shinder) in the Grothendieck ring of varieties between a smooth cubic hypersurface, its Fano variety of lines, and its Hilbert square, to a semiorthogonal decomposition. We also show that the Hilbert square of a cubic hypersurface of dimension at least 3 is again a Fano variety, so in particular the Fano variety of lines on a cubic hypersurface is a Fano visitor. The most interesting case is that of a cubic fourfold, where this exhibits the first higher-dimensional hyperk\"ahler variety as a Fano visitor., Comment: 34 pages, nearly identical to published version

We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite dimensional DG-algebra and in the smooth case we compute the noncommutative Chow motive of $A$. We go on to analyse the relationship between smoothness and regularity in more detail as well as commenting on smoothness of the degree zero cohomology for smooth proper connective DG-algebras., 20 pages. Substantial revision with several new results. Comments welcome

In this paper we prove that any smooth projective variety of dimension $\ge 3$ equipped with a tilting bundle can serve as the source variety of a non-Fourier-Mukai functor between smooth projective schemes., 10 pages

For any Koszul Artin–Schelter regular algebra A, we consider the universal Hopf algebra aut _ ( A ) coacting on A, introduced by Manin. To study the representations (i.e. finite dimensional comodules) of this Hopf algebra, we use the Tannaka–Krein formalism. Specifically, we construct an explicit combinatorial rigid monoidal category U , equipped with a functor M to finite dimensional vector spaces such that aut _ ( A ) = coend U ( M ) . Using this pair ( U , M ) we show that aut _ ( A ) is quasi-hereditary as a coalgebra and in addition is derived equivalent to the representation category of U .

Let $R$ be the homogeneous coordinate ring of the Grassmannian $\mathbb{G}=\operatorname{Gr}(2,n)$ defined over an algebraically closed field of characteristic $p>0$. In this paper we give a completely characteristic free description of the decomposition of $R$, considered as a graded $R^p$-module, into indecomposables ("Frobenius summands"). As a corollary we obtain a similar decomposition for the Frobenius pushforward of the structure sheaf of $\mathbb{G}$ and we obtain in particular that this pushforward is almost never a tilting bundle. On the other hand we show that $R$ provides a "noncommutative resolution" for $R^p$ when $p\ge n-2$, generalizing a result known to be true for toric varieties. In both the invariant theory and the geometric setting we observe that if the characteristic is not too small the Frobenius summands do not depend on the characteristic in a suitable sense. In the geometric setting this is an explicit version of a general result by Bezrukavnikov and Mirkovi�� on Frobenius decompositions for partial flag varieities. We are hopeful that it is an instance of a more general "$p$-uniformity" principle., We have now been able to prove our conjecture that the Frobenius pushforward yields an NCR

For an arbitrary finite-dimensional algebra $A$, we introduce a general approach to determining when its first Hochschild cohomology ${\rm HH}^1(A)$, considered as a Lie algebra, is solvable. If $A$ is moreover of tame or finite representation type, we are able to describe ${\rm HH}^1(A)$ as the direct sum of a solvable Lie algebra and a sum of copies of $\mathfrak{sl}_2$. We proceed to determine the exact number of such copies, and give an explicit formula for this number in terms of certain chains of Kronecker subquivers of the quiver of $A$. As a corollary, we obtain a precise answer to a question posed by Chaparro, Schroll and Solotar., Comment: 29 pages; comments welcome

In this chapter we expand upon Section 14.8 of the present volume, where the possibility of “hidden symmetry” in algebraic geometry was discussed. More precisely, our goal is to convince the reader that, as long as one starts with a reasonable algebra \(A\), the universal bi- and Hopf algebras \({{\,\mathrm{\underline{end}}\,}}(A)\) and \({{\,\mathrm{\underline{gl}}\,}}(A)\) introduced in Chapters 5 and 8 are well-behaved objects.

For a smooth projective variety $X$ with exceptional structure sheaf, and $\operatorname{Hilb}^2X$ the Hilbert scheme of two points on $X$, we show that the Fourier-Mukai functor $\mathbf{D}^{\mathrm{b}}(X) \to\mathbf{D}^{\mathrm{b}}(\operatorname{Hilb}^2X)$ induced by the universal ideal sheaf is fully faithful, provided the dimension of $X$ is at least 2. This fully faithfulness allows us to construct a spectral sequence relating the deformation theories of $X$ and $\operatorname{Hilb}^2X$ and to show that it degenerates at the second page, giving a Hochschild-Kostant-Rosenberg-type filtration on the Hochschild cohomology of $X$. These results generalise known results for surfaces due to Krug-Sosna, Fantechi and Hitchin. Finally, as a by-product, we discover the following surprising phenomenon: for a smooth projective variety of dimension at least 3 with exceptional structure sheaf, it is rigid if and only if its Hilbert scheme of two points is rigid. This last fact contrasts drastically to the surface case: non-commutative deformations of a surface contribute to commutative deformations of its Hilbert square., Comment: 28 pages, all comments welcome, added a reference to a recent faithfulness result

We prove a theorem which gives a bijection between the support $\tau$-tilting modules over a given finite-dimensional algebra $A$ and the support $\tau$-tilting modules over $A/I$, where $I$ is the ideal generated by the intersection of the center of $A$ and the radical of $A$. This bijection is both explicit and well-behaved. We give various corollaries of this, with a particular focus on blocks of group rings of finite groups. In particular we show that there are $\tau$-tilting finite wild blocks with more than one simple module. We then go on to classify all support $\tau$-tilting modules for all algebras of dihedral, semidihedral and quaternion type, as defined by Erdmann, which include all tame blocks of group rings. Note that since these algebras are symmetric, this is the same as classifying all basic two-term tilting complexes, and it turns out that a tame block has at most $32$ different basic two-term tilting complexes. We do this by using the aforementioned reduction theorem, which reduces the problem to ten different algebras only depending on the ground field $k$, all of which happen to be string algebras. To deal with these ten algebras we give a combinatorial classification of all $\tau$-rigid modules over (not necessarily symmetric) string algebras.

By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some restrictions on those algebras whose derived categories can be embedded into the bounded derived category of a smooth projective surface. This is then applied to obtain explicit results for hereditary algebras., 13 pages; revised version