Searcharxiv⌕ Search

arXiv subjects

Michel Van den Bergh

Publications and source records attributed to Michel Van den Bergh.

At least 55 records · Page 3Linked to original sources
arXiv2016

On an analogue of the Markov equation for exceptional collections of length 4

We classify the solutions to a system of equations, introduced by Bondal, which encode numerical constraints on full exceptional collections of length 4 on surfaces. The corresponding result for length 3 is well-known and states that there is essentially one solution, namely the one corresponding to the standard exceptional collection on the surface $\mathbb{P}^2$. This was essentially proven by Markov in 1879. It turns out that in the length 4 case, there is one special solution which corresponds to $\mathbb{P}^1\times\mathbb{P}^1$ whereas the other solutions are obtained from $\mathbb{P}^2$ by a procedure we call numerical blowup. Among these solutions, three are of geometric origin ($\mathbb{P}^2\cup \{\bullet\}$, $\mathbb{P}^1\times\mathbb{P}^1$ and the ordinary blowup of $\mathbb{P}^2$ at a point). The other solutions are parametrized by $\mathbb{N}$ and very likely do not correspond to commutative surfaces. However they can be realized as noncommutative surfaces, as was recently shown by Dennis Presotto and the first author.

math.AG↗
arXiv2015

The Gysin triangle via localization and A1-homotopy invariance

Let X be a smooth scheme, Z a smooth closed subscheme, and U the open complement. Given any localizing and A1-homotopy invariant of dg categories E, we construct an associated Gysin triangle relating the value of E at the dg categories of perfect complexes of X, Z, and U. In the particular case where E is homotopy K-theory, this Gysin triangle yields a new proof of Quillen's localization theorem, which avoids the use of devissage. As a first application, we prove that the value of E at a smooth scheme belongs to the smallest (thick) triangulated subcategory generated by the values of E at the smooth projective schemes. As a second application, we compute the additive invariants of relative cellular spaces in terms of the bases of the corresponding cells. Finally, as a third application, we construct explicit bridges relating motivic homotopy theory and mixed motives on the one side with noncommutative mixed motives on the other side. This leads to a comparison between different motivic Gysin triangles as well as to an etale descent result concerning noncommutative mixed motives with rational coefficients.

math.AG↗
arXiv2015

The representation theory of noncommutative $\mathcal{O}(\text{GL}_2)$

In our companion paper "The Manin Hopf algebra of a Koszul Artin-Schelter regular algebra is quasi-hereditary" we used the Tannaka-Krein formalism to study the universal coacting Hopf algebra aut(A) for a Koszul Artin-Schelter regular algebra A. In this paper we study in detail the case A=k[x,y]. In particular we give a more precise description of the standard and costandard representations of aut(A) as a coalgebra and we show that the latter can be obtained by induction from a Borel quotient algebra. Finally we give a combinatorial characterization of the simple aut(A)-representations as tensor products of end(A)-representations and their duals.

math.RT↗
arXiv2015

The curvature problem for formal and infinitesimal deformations

We interpret all Maurer-Cartan elements in the formal Hochschild complex of a small dg category which is cohomologically bounded above in terms of torsion Morita deformations. This solves the "curvature problem", i.e. the phenomenon that such Maurer-Cartan elements naturally parameterize curved A_infinity deformations. In the infinitesimal setup, we show how (n+1)-th order curved deformations give rise to n-th order uncurved Morita deformations.

math.KT↗
arXiv2015

The Manin Hopf algebra of a Koszul Artin-Schelter regular algebra is quasi-hereditary

For any Koszul Artin-Schelter regular algebra A, we consider a version of 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.

math.RT↗
arXiv2015

Scalar extensions of derived categories and non-Fourier-Mukai functors

Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov to include functors from perfect complexes to quasi-coherent complexes. In this paper we show that the latter extension is false without the full faithfulness hypothesis. Our results are based on the properties of scalar extensions of derived categories, whose investigation was started by Pawel Sosna and the first author.

math.AG↗
arXiv2015

Noncommutative versions of some classical birational transformations

In this paper we generalize some classical birational transformations to the non-commutative case. In particular we show that 3-dimensional quadratic Sklyanin algebras (non-commutative projective planes) and 3-dimensional cubic Sklyanin algebras (non-commutative quadrics) have the same function field. In the same vein we construct and analogue of the Cremona transform for non-commutative projective planes.

math.AG↗
arXiv2014

Noncommutative motives of separable algebras

In this article we study in detail the category of noncommutative motives of separable algebras Sep(k) over a base field k. We start by constructing four different models of the full subcategory of commutative separable algebras CSep(k). Making use of these models, we then explain how the category Sep(k) can be described as a "fibered Z-order" over CSep(k). This viewpoint leads to several computations and structural properties of the category Sep(k). For example, we obtain a complete dictionary between directs sums of noncommutative motives of central simple algebras (=CSA) and sequences of elements in the Brauer group of k. As a first application, we establish two families of motivic relations between CSA which hold for every additive invariant (e.g. algebraic K-theory, cyclic homology, and topological Hochschild homology). As a second application, we compute the additive invariants of twisted flag varieties using solely the Brauer classes of the corresponding CSA. Along the way, we categorify the cyclic sieving phenomenon and compute the (rational) noncommutative motives of purely inseparable field extensions and of dg Azumaya algebras.

math.AG↗
arXiv2014

Calabi-Yau Deformations and Negative Cyclic Homology

In this paper we relate the deformation theory of Ginzburg Calabi-Yau algebras to negative cyclic homology. We do this by exhibiting a DG-Lie algebra that controls this deformation theory and whose homology is negative cyclic homology. We show that the bracket induced on negative cyclic homology coincides with Menichi's string topology bracket. We show in addition that the obstructions against deforming Calabi-Yau algebras are annihilated by the map to periodic cyclic homology. In the commutative we show that our DG-Lie algebra is homotopy equivalent to $(T^{\operatorname{poly}}[[u]],-u \operatorname{div})$.

math.RA↗
arXiv2013

On involutivity of p-support

The p-support of a holonomic D-module was introduced by Kontsevich. Thomas Bitoun in his PhD thesis proved several properties of p-support conjectured by Kontsevich. In this note we give an alternative proof for involutivity by reducing it to a slight extension of Gabber's theorem on the integrability of the characteristic variety. For the benefit of the reader we review how this extension follows from Kaledin's proof of Gabber's theorem.

math.RA↗
arXiv2013

On the derived category of Grassmannians in arbitrary characteristic

In this paper we consider Grassmannians in arbitrary characteristic. Generalizing Kapranov's well-known characteristic-zero results we construct dual exceptional collections on them (which are however not strong) as well as a tilting bundle. We show that this tilting bundle has a quasi-hereditary endomorphism ring and we identify the standard, costandard, projective and simple modules of the latter.

math.RT↗
arXiv2013

Non-commutative desingularization of determinantal varieties, II: Arbitrary minors

In our paper "Non-commutative desingularization of determinantal varieties, I" we constructed and studied non-commutative resolutions of determinantal varieties defined by maximal minors. At the end of the introduction we asserted that the results could be generalized to determinantal varieties defined by non-maximal minors, at least in characteristic zero. In this paper we prove the existence of non-commutative resolutions in the general case in a manner which is still characteristic free, and carry out the explicit description by generators and relations in characteristic zero. As an application of our results we prove that there is a fully faithful embedding between the bounded derived categories of the two canonical (commutative) resolutions of a determinantal variety, confirming a well-known conjecture of Bondal and Orlov in this special case.

math.AC↗
arXiv2013

Noncommutative motives of Azumaya algebras

Let k be a base commutative ring, R a commutative ring of coefficients, X a quasi-compact quasi-separated k-scheme, A a sheaf of Azumaya algebras over X of rank r, and Hmo(R) the category of noncommutative motives with R-coefficients. Assume that 1/r belongs to R. Under this assumption, we prove that the noncommutative motives with R-coefficients of X and A are isomorphic. As an application, we show that all the R-linear additive invariants of X and A are exactly the same. Examples include (nonconnective) algebraic K-theory, cyclic homology (and all its variants), topological Hochschild homology, etc. Making use of these isomorphisms, we then computer the R-linear additive invariants of differential operators in positive characteristic, of cubic fourfolds containing a plane, of Severi-Brauer varieties, of Clifford algebras, of quadrics, and of finite dimensional k-algebras of finite global dimension. Along the way we establish two results of independent interest. The first one asserts that every element of the Grothendieck group of X which has rank r becomes invertible in the R-linearized Grothendieck group, and the second one that every additive invariant of finite dimensional algebras of finite global dimension is unaffected under nilpotent extensions.

math.AG↗
arXiv2012

On compact generation of deformed schemes

We obtain a theorem which allows to prove compact generation of derived categories of Grothendieck categories, based upon certain coverings by localizations. This theorem follows from an application of Rouquier's cocovering theorem in the triangulated context, and it implies Neeman's result on compact generation of quasi-compact separated schemes. We prove an application of our theorem to non-commutative deformations of such schemes, based upon a change from Koszul complexes to Chevalley-Eilenberg complexes.

math.KT↗
arXiv2012

Caldararu's conjecture and Tsygan's formality

In this paper we complete the proof of Caldararu's conjecture on the compatibility between the module structures on differential forms over poly-vector fields and on Hochschild homology over Hochschild cohomology. In fact we show that twisting with the square root of the Todd class gives an isomorphism of precalculi between these pairs of objects. Our methods use formal geometry to globalize the local formality quasi-isomorphisms introduced by Kontsevich and Shoikhet (the existence of the latter was conjectured by Tsygan). We also rely on the fact - recently proved by the first two authors - that Shoikhet's quasi-isomorphism is compatible with cap product after twisting with a Maurer-Cartan element.

math.AG↗