Related papers: Jets and differential linear logic
K-theoretic Donaldson invariants are holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 sheaves on surfaces. We develop an algorithm which determines the generating functions of K-theoretic Donaldson…
The jet formalism for Classical Field theories is extended to the setting of Lie algebroids. We define the analog of the concept of jet of a section of a bundle and we study some of the geometric structures of the jet manifold. When a…
We propose a sheaf-theoretic approach to the theory of differential calculi on quantum principal bundles over non-affine bases. After recalling the affine case we define differential calculi on sheaves of comodule algebras as sheaves of…
We study moduli spaces $M_X(r,c_1,c_2)$ parametrizing slope semistable vector bundles of rank $r$ and fixed Chern classes $c_1, c_2$ on a ruled surface whose base is a rational nodal curve. We show that under certain conditions, these…
We prove that the forgetful morphism from the moduli space of orthogonal bundles to the moduli space of vector bundles over a smooth curve is an embedding. Our proof relies on an explicit description of a set of generators for the…
Generalizing differential geometry of smooth vector bundles formulated in algebraic terms of the ring of smooth functions, its derivations and the Koszul connection, one can define differential operators, differential calculus and…
We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…
The moduli space of jets of certain G-structures (basically those which admit a canonical linear connection) is shown to be isomorphic to the quotient of a natural G-module by G.
The aim of the paper is to build a connection between two approaches towards categorical language theory: the coalgebraic and algebraic language theory for monads. For a pair of monads modelling the branching and the linear type we defined…
We introduce a category of noncommutative bundles. To establish geometry in this category we construct suitable noncommutative differential calculi on these bundles and study their basic properties. Furthermore we define the notion of a…
Moduli of vector bundles on stacky curves behave similarly to moduli of vector bundles on curves, except there are additional numerical invariants giving many different notions of stability. We apply the existence criterion for good moduli…
We give an introduction to logic tailored for algebraists, explaining how proofs in linear logic can be viewed as algorithms for constructing morphisms in symmetric closed monoidal categories with additional structure. This is made explicit…
Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg-Moore category of a differential category? The answer is a tangent category! A key…
In this paper differential operators on various moduli spaces (e.g. of holomorphic vector bundles) are described in a canonical way in terms of the geometry of a certain distinguished completion of an appropriate configuration space.
A method is proposed for defining an arbitrary number of differential calculi over a given noncommutative associative algebra. As an example the generalized quantum plane is studied. It is found that there is a strong correlation, but not a…
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…
We construct the moduli space of r-jets at a point of Riemannian metrics on a smooth manifold. The construction is closely related to the problem of classification of jet metrics via differential invariants. The moduli space is proved to be…
In the first half of the present paper, we study higher-level generalizations of differential modules in positive characteristic. These objects may be regarded as ring-theoretic counterparts of vector bundles on a curve equipped with an…
We prove that the semantics of intuitionistic linear logic in vector spaces which uses cofree coalgebras is also a model of differential linear logic, and that the Cartesian closed category of cofree coalgebras is a model of the…
Categorical resolutions of singularities are a replacement of resolution of singularities within the realm of triangulated categories. They allow the study of the derived category of a singular variety $X$ via a triangulated category that…