相关论文: Sheaves and D-modules in integral geometry

Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…

We describe the complex of solutions of the algebraic Mellin transform of a $\mathcal{D}$-module $\mathcal{M}$ in terms of the solutions of $\mathcal{M}$. In order to do that, we define a Mellin functor on sheaves. We show the Mellin…

In order to define a geometric Fourier transform, one usually works with either $\ell$-adic sheaves in characteristic $p>0$ or with $D$-modules in characteristic 0. If one considers $\ell$-adic sheaves on the stack quotient of a vector…

There is an interplay between models, specified by variables and equations, and their connections to one another. This dichotomy should be reflected in the abstract as well. Without referring to the models directly -- only that a model…

The kinematical part of general theory of deformational structures on smooth manifolds is developed. We introduce general concept of d-objects deformation, then within the set of all such deformations we develop some special algebra and…

This is a long summary of the author's book "D-manifolds and d-orbifolds: a theory of derived differential geometry", available at http://people.maths.ox.ac.uk/~joyce/dmanifolds.html . A shorter survey paper on the book, focussing on…

Joint inversion refers to the simultaneous inference of multiple parameter fields from observations of systems governed by single or multiple forward models. In many cases these parameter fields reflect different attributes of a single…

The gauge symmetry of classical general relativity under space-time diffeomorphisms implies that any path integral quantization which can be interpreted as a sum over space-time geometries, gives rise to a formal invariant of smooth…

A survey on recent developments in (algebraic) integral geometry is given. The main focus lies on algebraic structures on the space of translation invariant valuations and applications in integral geometry.

Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…

Let X be a smooth projective curve over an algebraically closed field k of characteristic p>0. In this paper we explore the relation between algebraic D-modules on the moduli space $Bun_n$ of vector bundles of rank n on X and coherent…

The integrability condition called shape invariance is shown to have an underlying algebraic structure and the associated Lie algebras are identified. These shape-invariance algebras transform the parameters of the potentials such as…

In the present article we consider the uniqueness problem for the generalized Radon transform arising in a mathematical model of production. We prove uniqueness theorems for this transform and for the profit function in the corresponding…

Moduli spaces of stable sheaves on smooth projective surfaces are in general singular. Nonetheless, they carry a virtual class, which -- in analogy with the classical case of Hilbert schemes of points -- can be used to define intersection…

This expository monograph cuts a short path from the common, elementary background in geometry (linear algebra, vector bundles, and algebraic ideals) to the most advanced theorems about involutive exterior differential systems: (1) The…

Crofton's formula of integral geometry evaluates the total motion invariant measure of the set of $k$-dimensional planes having nonempty intersection with a given convex body. This note deals with motion invariant measures on sets of pairs…

We find the complete equivalence group of a class of (1+1)-dimensional second-order evolution equations, which is infinite-dimensional. The equivariant moving frame methodology is invoked to construct, in the regular case of the…

A simple example of an $n$-dimensional admissible complex of planes is given for the overdetermined $k$-plane transform in $\mathbb{R}^n$. For the corresponding restricted $k$-plane transform sharp existence conditions are obtained and…

We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This setting applies to various concrete situations, where a Nash…

It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential…