On degeneracy loci of equivariant bi-vector fields on a smooth toric variety

We study equivariant bi-vector fields on a toric variety. We prove that, on a smooth toric variety of dimension $n$, the locus where the rank of an equivariant bi-vector field is $\leq 2k$ is not empty and has at least a component of dimension $\geq 2k+1$, for all integers $k> 0$ such that $2k < n$. The same is true also for $k=0$, if the toric variety is smooth and compact. While for the non compact case, the locus in question has to be assumed to be non empty.Comment: 11 page

A short note on infinity-groupoids and the period map for projective manifolds

A common criticism of infinity-categories in algebraic geometry is that they are an extremely technical subject, so abstract to be useless in everyday mathematics. The aim of this note is to show in a classical example that quite the converse is true: even a naive intuition of what an infinity-groupoid should be clarifies several aspects of the infinitesimal behaviour of the periods map of a projective manifold. In particular, the notion of Cartan homotopy turns out to be completely natural from this perspective, and so classical results such as Griffiths' expression for the differential of the periods map, the Kodaira principle on obstructions to deformations of projective manifolds, the Bogomolov-Tian-Todorov theorem, and Goldman-Millson quasi-abelianity theorem are easily recovered.Comment: 13 pages; uses xy-pic; exposition improved and a few inaccuracies corrected; an hypertextual version of this article is available at http://ncatlab.org/publications/published/FiorenzaMartinengo201

Mori Dream Stacks

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.Comment: 19 pages, to appear in Mathematische Zeitschrif

Differential graded Lie algebras controlling infinitesimal deformations of coherent sheaves

We use the Thom-Whitney construction to show that infinitesimal deformations of a coherent sheaf F are controlled by the differential graded Lie algebra of global sections of an acyclic resolution of the sheaf End(E), where E is any locally free resolution of F. In particular, one recovers the well known fact that the tangent space to deformations of F is Ext^1(F,F), and obstructions are contained in Ext^2(F,F). The main tool is the identification of the deformation functor associated with the Thom-Whitney DGLA of a semicosimplicial DGLA whose cohomology is concentrated in nonnegative degrees with a noncommutative Cech cohomology-type functor.Comment: Several typos corrected. 22 pages, uses xy-pi

Local structure of Brill-Noether strata in the moduli space of flat stable bundles

We study the Brill-Noether stratification of the coarse moduli space of locally free stable and flat sheaves of a compact Kahler manifold, proving that these strata have quadratic algebraic singularities

On the local structure of the Brill-Noether locus of locally free sheaves on a smooth variety

We study the functor $\operatorname{Def}_E^k$ of infinitesimal deformations of a locally free sheaf $E$ of $\mathcal{O}_X$-modules on a smooth variety $X$, such that at least $k$ independent sections lift to the deformed sheaf, where $h^0(E) \geq k$. We deduce some information on the $k$-th Brill-Noether locus of $E$, such as the description of the tangent cone at some singular points, of the tangent space at some smooth ones and some links between the smoothness of the functor $\operatorname{Def}_E^k$ and the smoothness of some well know deformations functors and their associated moduli spaces. As a tool for the investigation of $\operatorname{Def}_E^k$, we study infinitesimal deformations of the pairs $(E,U)$, where $U$ is a linear subspace of sections of $E$. We generalise to the case where $E$ has any rank and $X$ any dimension many classical results concerning the moduli space of coherent systems, like the description of its tangent space and the link between its smoothness and the injectivity of the Petri map.Comment: 20 pages; v2: added references; v3: accepted for publication in Rendiconti del Seminario Matematico della Universit\`a di Padov

Cox ring of an algebraic stack

We give a proper definition of the multiplicative structure of the following rings: Cox ring of invertible sheaves on a general algebraic stack; Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack. We show that such Cox rings always exist and establish its (non-)uniqueness in terms of an Ext-group. Moreover, we compare this definition with the classical construction of a Cox ring on a variety. Finally, we give an application to the theory of Mori dream stacks.Comment: 23 page