Searcharxiv⌕ Search

arXiv subjects

Valery A. Lunts

Publications and source records attributed to Valery A. Lunts.

At least 19 recordsLinked to original sources
arXiv2024

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

Let X be a smooth toric variety defined by the fan Σ . We consider Σ as a finite set with topology and define a natural sheaf of graded algebras A_Σ on Σ . The category of modules over A_Σ is studied (together with other related categories). This leads to a certain combinatorial Koszul duality equivalence. We describe the equivariant category of coherent sheaves coh_{X,T} and a related (slightly bigger) equivariant category O_{X,T}-mod in terms of sheaves of modules over the sheaf of algebras A_Σ . Eventually (for a complete X ) the combinatorial Koszul duality is interpreted in terms of the Serre functor on D^b(coh_{X,T})

math.AG↗
arXiv2020

Thick subcategories on curves

We classify thick subcategories $\mathcal T \subset D^b(\mathrm{coh}\,C)$ for smooth projective curves $C$ over an algebraically closed field.

math.AG↗
arXiv2020

Three notions of dimension for triangulated categories

In this note we discuss three notions of dimension for triangulated categories: Rouquier dimension, diagonal dimension and Serre dimension. We prove some basic properties of these dimensions, compare them and discuss open problems.

math.AG↗
arXiv2020

Derived categories of coherent sheaves on some zero-dimensional schemes

Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice of triangulated subcategories in $D^b(coh\, X_N)$ has a rich structure (which is probably wild), in contrast to the case of zero-dimensional complete intersections. We also establish a relation between triangulated subcategories in $D^b(coh\, X_N)$ and universal localizations of a free graded associative algebra in $N$ variables. Our homological methods produce some applications to the structure of such universal localizations.

math.AG↗
arXiv2020

A note on Lie algebra cohomology

Given a finite dimensional Lie algebra $L$ let $I$ be the augmentation ideal in the universal enveloping algebra $U(L)$. We study the conditions on $L$ under which the $Ext$-groups $Ext (k,k)$ for the trivial $L$-module $k$ are the same when computed in the category of all $U(L)$-modules or in the category of $I$-torsion $U(L)$-modules. We also prove that the Rees algebra $\oplus _{n\geq 0}I^n$ is Noetherian if and only if $L$ is nilpotent. An application to cohomology of equivariant sheaves is given.

math.AG↗
arXiv2019

Smoothness of Derived Categories of Algebras

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for any algebra over a perfect field that is finite over its center and whose center is finitely generated as an algebra. These results are deduced from a general sufficient criterion for smoothness.

math.AG↗
arXiv2016

Geometricity for derived categories of algebraic stacks

We prove that the dg category of perfect complexes on a smooth, proper Deligne-Mumford stack over a field of characteristic zero is geometric in the sense of Orlov, and in particular smooth and proper. On the level of triangulated categories, this means that the derived category of perfect complexes embeds as an admissible subcategory into the bounded derived category of coherent sheaves on a smooth, projective variety. The same holds for a smooth, projective, tame Artin stack over an arbitrary field.

math.AG↗
arXiv2016

Motivic vanishing cycles as a motivic measure

We show that the motivic vanishing cycles introduced by J. Denef and F. Loeser give rise to a motivic measure on the Grothendieck ring of varieties over the affine line. We discuss the relation of this motivic measure to the motivic measure we constructed earlier using categories of matrix factorizations.

math.AG↗
arXiv2015

New enhancements of derived categories of coherent sheaves and applications

We introduce new enhancements for the bounded derived category $D^b(Coh(X))$ of coherent sheaves on a suitable scheme $X$ and for its subcategory $Perf(X)$ of perfect complexes. They are used for translating Fourier-Mukai functors to functors between derived categories of dg algebras, for relating homological smoothness of $Perf(X)$ to geometric smoothness of $X,$ and for proving homological smoothness of $D^b(Coh(X)).$ Moreover, we characterize properness of $Perf(X)$ and $D^b(Coh(X))$ geometrically.

math.AG↗
arXiv2015

Matrix factorizations and motivic measures

This article is the continuation of [LS12]. We use categories of matrix factorizations to define a morphism of rings (= a Landau-Ginzburg motivic measure) from the (motivic) Grothendieck ring of varieties over $\mathbb{A}^1$ to the Grothendieck ring of saturated dg categories (with relations coming from semi-orthogonal decompositions into admissible subcategories). Our Landau-Ginzburg motivic measure is the analog for matrix factorizations of the motivic measure in [BLL04] whose definition involved bounded derived categories of coherent sheaves. On the way we prove smoothness and a Thom-Sebastiani theorem for enhancements of categories of matrix factorizations.

math.AG↗
arXiv2013

Matrix factorizations and semi-orthogonal decompositions for blowing-ups

We study categories of matrix factorizations. These categories are defined for any regular function on a suitable regular scheme. Our paper has two parts. In the first part we develop the foundations; for example we discuss derived direct and inverse image functors and dg enhancements. In the second part we prove that the category of matrix factorizations on the blowing-up of a suitable regular scheme X along a regular closed subscheme Y has a semi-orthogonal decomposition into admissible subcategories in terms of matrix factorizations on Y and X. This is the analog of a well-known theorem for bounded derived categories of coherent sheaves, and is an essential step in our forthcoming article which defines a Landau-Ginzburg motivic measure using categories of matrix factorizations. Finally we explain some applications.

math.AG↗
arXiv2013

Smoothness of equivariant derived categories

We introduce the notion of (homological) G-smoothness for a complex G-variety X, where G is a connected affine algebraic group. This is based on the notion of smoothness for dg algebras and uses a suitable enhancement of the G-equivariant derived category of X. If there are only finitely many G-orbits and all stabilizers are connected, we show that X is G-smooth if and only if all orbits O satisfy H^*(O; R)=R. On the way we prove several results concerning smoothness of dg categories over a graded commutative dg ring.

math.KT↗
arXiv2012

Categorical resolutions of irrational singularities

We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived categories of smooth varieties. This provides a categorical resolution of the singularity.

math.AG↗
arXiv2009

Uniqueness of enhancement for triangulated categories

The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of perfect complexes, and for the bounded derived categories of coherent sheaves on quasi-projective schemes. If a scheme is projective then we also prove a strong uniqueness for the triangulated category of perfect complexes and for the bounded derived categories of coherent sheaves. These results directly imply that fully faithful functors from the bounded derived categories of coherent sheaves and the triangulated categories of perfect complexes on projective schemes can be represented by objects on the product.

math.AG↗
arXiv2009

Categorical resolution of singularities

Building on the concept of a smooth DG algebra we define the notion of a smooth derived category. We the propose the definition of a categorical resolution of singularities. Our main example is the derived category $D(X)$ of quasi-coherent sheaves on a scheme $X$. We prove that $D(X)$ has a canonical categorical resolution if the base field is perfect and $X$ is a separated scheme of finite type with a dualizing complex.

math.AG↗