Related papers: Differentials on the arc space
A transformation of morphisms of sheaves, called mutation, is used to build new moduli spaces of morphisms.
This is a chapter in an upcoming book on aperiodic order. We go over different versions of tiling cohomology (\v Cech, pattern-equivariant, PV, quotient) with emphasis on the inverse limit constructions used to compute these cohomologies.…
We prove that the category of vector bundles over a fixed smooth manifold and its corresponding category of convenient modules are models for intuitionistic differential linear logic. The exponential modality is modelled by composing the…
We introduce a plethora of skew algebroids on twistor spaces and describe the corresponding foliations. In a forthcoming paper, we use these algebroids to derive results about bihermitian manifolds, also known as generalized Kahler…
We compute the cone of effective divisors on any moduli space of semistable sheaves on the plane. The computation hinges on finding a good resolution of a general stable sheaf. This resolution is determined by Bridgeland stability and…
The fourth paper of our series of papers entitled "Differential Geometry of Microlinear Frolicher Spaces is concerned with jet bundles. We present three distinct approaches together with transmogrifications of the first into the second and…
The proposed two-dimensional geometrically exact beam element extends our previous work by including the effects of shear distortion, and also of distributed forces and moments acting along the beam. The general flexibility-based…
An arc is a set of vectors of the $k$-dimensional vector space over the finite field with $q$ elements ${\mathbb F}_q$, in which every subset of size $k$ is a basis of the space, i.e. every $k$-subset is a set of linearly independent…
We introduce and study the notion of atomic sheaves and complexes on higher-dimensional hyper-K\"ahler manifolds and show that they share many of the intriguing properties of simple sheaves on K3 surfaces. For example, we prove formality of…
We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide…
Ordinary Differential Equations are derived for the adjoint Euler equations firstly using the method of characteristics in 2D. For this system of partial-differential equations, the characteristic curves appear to be the streamtraces and…
In this note we compute the cohomological obstruction to the existence of certain sheaves of vertex algebras on smooth varieties. These sheaves have been introduced and studied in the previous work by A.Vaintrob and two of the authors.…
The notion of a Heffter array, which received much attention in the last decade, is equivalent to a pair of orthogonal Heffter systems. In this paper we study the existence problem of a set of $r$ mutually orthogonal Heffter systems for any…
The purpose of this paper is twofold. First, we survey known results about theta dualities on moduli spaces of sheaves on curves and surfaces. Secondly, we establish new such dualities in the surface case. Among others, the case of elliptic…
We give a block decomposition of the dg category of character sheaves on a simple and simply-connected complex reductive group $G$, similar to the one in generalized Springer correspondence. As a corollary, we identify the category of…
This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic…
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…
This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…
We give a criterion for the sheaf of K\"ahler differentials on a cone over a smooth projective variety to be torsion-free. Applying this to Veronese embeddings of projective space and using known results on differentials on quotient…
The traditional study of plane and space algebraic curves by looking at their tangent vectors, curvatures and torsions provides geometric, but unfortunately not sufficient information about individual curves in order to be able to…