Related papers: Jets and differential linear logic
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories…
Let $(X, \omega)$ be a weakly pseudoconvex K\"ahler manifold, $Y \subset X$ a closed submanifold defined by some holomorphic section of a vector bundle over $X,$ and $L$ a Hermitian line bundle satisfying certain positivity conditions. We…
We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…
We study the motive of the moduli spaces of semistable rank two vector bundles over an algebraic curve. When the degree is odd the moduli space is a smooth projective variety, we obtain the absolute Hodge motive of this, and in particular…
Lax monoidal powerset-enriched monads yield a monoidal structure on the category of monoids in the Kleisli category of a monad. Exponentiable objects in this category are identified as those Kleisli monoids with algebraic structure. This…
The tau function on the moduli space of generic holomorphic 1-differentials on complex algebraic curves is interpreted as a section of a line bundle on the projectivized Hodge bundle over the moduli space of stable curves. The asymptotics…
The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of…
A differential modality is a comonad on an additive symmetric monoidal category $(\mathsf{C},\otimes,I)$, whose underlying functor we denote $!\colon\mathsf{C} \rightarrow \mathsf{C}$, together with some additional structure including a…
Let $C$ be a curve with two smooth components and a single node. Let $\mathcal{U}_C(r,w,\chi)$ be the moduli space of $w$-semistable classes of depth one sheaves on $C$ having rank $r$ on both components and Euler characteristic $\chi$. In…
For the moduli spaces of Abelian differentials, the Euler characteristic is one of the most basic intrinsic topological invariants. We give a formula for the Euler characteristic that relies on intersection theory on the smooth…
Differential lambda-categories were introduced by Bucciarelli et al. as models for the simply typed version of the differential lambda-calculus of Ehrhard and Regnier. A differential lambda-category is a cartesian closed differential…
Two significant directions in the development of jet calculus are showed. First, jets are generalized to so-called quasijets. Second, jets of foliated and multifoliate manifold morphisms are presented. Although the paper has mainly a survey…
We study jet schemes of Newton non-degenerate plane curve singularities. We identify a subgraph of the graph of jet components and show that it can be constructed from walks on the lattice points in the first quadrant of the Cartesian…
This is the first in a pair of papers developing a framework for the application of logarithmic structures in the study of singular curves of genus $1$. We construct a smooth and proper moduli space dominating the main component of…
In the present text we give a geometric interpretation of quasi-modular forms using moduli of elliptic curves with marked elements in their de Rham cohomologies. In this way differential equations of modular and quasi-modular forms are…
Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…
We describe a relation between the invariants of $n$ ordered points in $P^d$ and of points contained in a union of linear subspaces $P^{d1}\cup P^{d2} \subset P^d$. This yields an attaching map for GIT quotients parameterizing point…
A variety of problems emerged investigating electronic circuits, computer devices and cellular automata motivated a number of attempts to create a differential and integral calculus for Boolean functions. In the present article, we extend…
Let M be a moduli space of stable vector bundles on a curve with rank and degree fixed and coprime. We give a simple proof that the rational cohomology of M is generated by the Kunneth components of the Chern classes of the universal…
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…