Related papers: Jets and differential linear logic

Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable…

The aim of this paper is to initiate a study of the jet bundles on the grassmannian $X$ over a field of characteristic zero using higher direct images of $G$-linearized sheaves, Lie theoretic methods, enveloping algebra theoretic methods…

Over a smooth complex projective curve $C$ of genus $g$ let $\M (n,d)$ be the moduli space of semistable bundles of rank $n$ and degree $d$ on $C$, and $\SM (n,L)$, the moduli space of those bundles whose determinant is isomorphic to a…

Let C be a smooth projective curve of genus at least 2 over a field k. Given a line bundle L on C, we consider the moduli stack of rank 2n vector bundles E on C endowed with a nowhere degenerate symplectic form $b: E \otimes E \to L$ up to…

Kempf proved that the theta divisor of a smooth projective curve C has rational singularities. In this paper we estimate the dimensions of the jet schemes of the theta divisor and show that all these schemes are irreducible. In particular,…

This is a footnote of a recent interesting work of Cohen, Manin and Zagier, where they, among other things, produce a natural isomorphism between the sheaf of (n-1)-th order jets of the n-th tensor power of the tangent bundle of a Riemann…

We compare spaces of non-singular algebraic sections of ample vector bundles to spaces of continuous sections of jet bundles. Under some conditions, we provide an isomorphism in homology in a range of degrees growing with the jet ampleness.…

We show that any commutative rationally ruled surface with a choice of anticanonical curve admits a 1-parameter family of noncommutative deformations parametrized by the Jacobian of the anticanonical curve, and show that many standard facts…

We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…

We explain how It\^o Stochastic Differential Equations (SDEs) on manifolds may be defined using 2-jets of smooth functions. We show how this relationship can be interpreted in terms of a convergent numerical scheme. We show how jets can be…

From the interpretation of Linear Logic multiplicative disjunction as the $\varepsilon$-product defined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This…

In previous papers it was shown that the left and right O-module structure of the jet bundles on the projective line differed. In this paper we show that similar statements hold for jet bundles on projective space in any dimension. We also…

Given a smooth curve with weighted marked points, the Abel-Jacboi map produces a line bundle on the curve. This map fails to extend to the full boundary of the moduli space of stable pointed curves. Using logarithmic and tropical geometry,…

A tangent category is a category equipped with an endofunctor that satisfies certain axioms which capture the abstract properties of the tangent bundle functor from classical differential geometry. Cockett and Cruttwell introduced…

We introduce the concept of directed orbifold, namely triples (X, V, D) formed by a directed algebraic or analytic variety (X, V), and a ramification divisor D, where V is a coherent subsheaf of the tangent bundle TX. In this context, we…

We show that the derived categories of symmetric products of a curve are embedded into the derived categories of the moduli spaces of vector bundles of large ranks on the curve. It supports a prediction of the existence of a semiorthogonal…

Let $C$ be a smooth, projective, geometrically irreducible curve defined over $\mathbb{R}$ such that $C(\mathbb{R}) = \emptyset$. Let $r>0$ and $d$ be integers which are coprime. Let $L$ be a line bundle on $C$ which corresponds to an…

We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We prove a formula for the motive of the stack of vector bundles of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.