Related papers: Jets and differential linear logic

In [arXiv:2008.04625] the authors constructed a classifying space for polystable holomorphic vector bundles on a compact K\"ahler manifold using analytic GIT theory. The aim of this article is to show that this classifying space taken in…

We define and study jet bundles in the geometric orbifold category. We show that the usual arguments from the compact and the logarithmic settings do not all extend to this more general framework. This is illustrated by simple examples of…

We generalize the main result of Demailly \cite{D2} for the bundles $E_{k,m}^{GG}(V^*)$ of jet differentials of order $k$ and weighted degree $m$ to the bundles $E_{k,m}(V^*)$ of the invariant jet differentials of order $k$ and weighted…

Differential categories were introduced to provide a minimal categorical doctrine for differential linear logic. Here we revisit the formalism and, in particular, examine the two different approaches to defining differentiation which were…

We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential…

Let $A$ be an algebra over an operad in a cocomplete closed symmetric monoidal category. We study the category of $A$-modules. We define certain symmetric product functors of such modules generalising the tensor product of modules over…

In a natural way, the local diffeomorphisms of a manifold onto itself act on the reference frame bundles of any order and on the bundles associated with them. Due to the transitivity, the invariants by diffeomorphisms of an associated…

We develop further the theory of monoidal bicategories by introducing and studying bicategorical counterparts of the notions of a linear exponential comonad, as considered in the study of linear logic, and of a codereliction transformation,…

We extend Atiyah's holomorphic jet bundle formalism to holomorphic vector bundles over noncommutative algebras endowed with a bigraded differential calculus truncated at bidegree $(1,1)$; we refer to such structures as noncommutative…

Cartesian differential categories are categories equipped with a differential combinator which axiomatizes the directional derivative. Important models of Cartesian differential categories include classical differential calculus of smooth…

Let $C$ be a chain-like curve over $\mathbb{C}$. In this paper, we investigate the rationality of moduli spaces of $w$-semistable vector bundles on $C$ of arbitrary rank and fixed determinant by putting some restrictions on the Euler…

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential…

Categorical models of the exponential modality of linear logic will often, but not always, support an operation of differentiation. When they do, we speak of a monoidal differential modality; when they do not, we have merely a monoidal…

We classify all isomorphisms between moduli stacks of vector bundles of fixed determinant on a smooth complex projective of genus at least 4. It is shown that each isomorphism between two different moduli stacks can be described as a…

We give an algorithm to write down all conformally invariant differential operators acting between scalar functions on Minkowski space. All operators of order k are nonlinear and are functions on a finite family of functionally independent…

In this paper we state and prove some results on the structure of the jetbundles as left and right module over the structure sheaf on the projective line and projective space using elementary techniques involving diagonalization of…

The Weddle surface is classically known to be a birational (partially desingularized) model of the Kummer surface. In this note we go through its relations with moduli spaces of abelian varieties and of rank two vector bundles on a genus 2…

We consider the variational complex on infinite jet space and the complex of variational derivatives for Lagrangians of multidimensional paths and study relations between them. The discussion of the variational (bi)complex is set up in…

The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric)…

One can represent Schwartz distributions with values in a vector bundle $E$ by smooth sections of $E$ with distributional coefficients. Moreover, any linear continuous operator which maps $E$-valued distributions to smooth sections of…