Related papers: Jets and differential linear logic

We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…

We establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is…

A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\mathsf{MELL}$), known as a \emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known…

The moduli space $M$ of semi-stable rank 2 bundles with trivial determinant over a complex curve carries involutions naturally associated to 2-torsion points on the Jacobian of the curve. For every lift of a 2-torsion point to a 4-torsion…

Differential calculus on the space of asymptotically linear curves is developed. The calculus is applied to the vortex filament equation in its Hamiltonian description. The recursion operator generating the infinite sequence of commuting…

We formulate and prove the existence of an asymptotic duality along the fibers of the Green-Griffiths jet bundles over projective manifolds. The existence of global sections for these bundles and also for their dual sheaves has been…

We express the first jet bundle of curves in Euclidean space as homogeneous spaces associated to a Galilean-type group. Certain Cartan connections on a manifold with values in the Lie algebra of the Galilean group are characterized as…

In this paper we give an explicit solution to Zariski's moduli problem for plane branches. We compute (in an algorithmic way) the set of K\"{a}hler differentials of an irreducible germ of holomorphic plane curve. We show that there is a…

Given a chiral algebra, we study modules over an arbitrary power of a curve. We describe this category in three different ways: in terms of factorization, in terms of certain chiral operations and as modules for a lie algebra in a certain…

We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.

We prove formulas for the rational Chow motives of moduli spaces of semistable vector bundles and Higgs bundles of rank 3 and coprime degree on a smooth projective curve. Our approach involves identifying criteria to lift identities in (a…

Let $\mhu$ be the moduli space of semi-stable pure sheaves of class $u$ on a smooth complex projective surface $X$. We specify $u=(0,L,\chi(u)=0),$ i.e. sheaves in $u$ are of dimension $1$. There is a natural morphism $\pi$ from the moduli…

For each positive integer $k$, the bundle of $k$-jets of functions from a smooth manifold, $X$, to a Lie group, $G$, is denoted by $J^k(X,G)$ and it is canonically endowed with a Lie groupoid structure over $X$. In this work, we utilize a…

De Rham cohomology, $d_V$- and $d_H$-cohomology of the differential algebra of locally pull-back exterior forms on the infinite-order jet manifold of a smooth fibre bundle are calculated.

We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane…

We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the…

The space of linear differential operators on a smooth manifold $M$ has a natural one-parameter family of $Diff(M)$ (and $Vect(M)$)-module structures, defined by their action on the space of tensor-densities. It is shown that, in the case…

In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit probability theory from a categorical perspective…

This mainly expository text translates into stack language the proof of King and Schofield for the rationality of moduli schemes of vector bundles on a curve in the coprime case. An appendix summarizes some basic properties of the relevant…

In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…