相关论文: Sheafs of ultradifferentiable functions
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
We give classifications of linear orbits of pairs of square matrices with non-vanishing discriminant polynomials over a field in terms of certain coherent sheaves with additional data on closed subschemes of the projective line. Our results…
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…
We apply the topology of convergence on compact sets to define unpredictable functions [5, 6]. The topology is metrizable and easy for applications with integral operators. To demonstrate the effectiveness of the approach, the existence and…
Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…
We obtain a new differentiable sphere theorem for compact Lagrangian submanifolds in complex Euclidean space and complex projective space.
In computer algebra there are different ways of approaching the mathematical concept of functions, one of which is by defining them as solutions of differential equations. We compare different such approaches and discuss the occurring…
We present the construction of a theory of distributions (generalized functions) with a ``thick submanifold'', that is, a new theory of thick distributions on $\mathbb{R}^n$ whose domain contains a smooth submanifold on which the test…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
This paper continues our study of the sheaf associated to K\"ahler differentials in the cdh-topology and its cousins, in positive characteristic, without assuming resolution of singularities. The picture for the sheaves themselves is now…
In this paper we introduce the concept of \emph{multivector functionals.} We study some possible kinds of derivative operators that can act in interesting ways on these objects such as, e.g., the $A$-directional derivative and the…
In the paper, notions of relative separability for hypergraphs of models of a theory are defined. Properties of these notions and applications to ordered theories are studied: characterizations of relative separability both in a general…
This paper deals with a new kind of generalized functions, called "ultrafunctions" which have been introduced recently and developed in some previous works. Their peculiarity is that they are based on a Non-Archimedean field namely on a…
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…
In this brief note, we investigate graded functions of linear stacks in derived geometry. In particular, we show that under mild assumptions, we can recover a quasi-coherent sheaf on a derived stack from the data of the…
In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.
The theories of strings and $D$-branes have motivated the development of non Abelian cohomology techniques in differential geometry, on the purpose to find a geometric interpretation of characteristic classes. The spaces studied here, like…
A new type of sectional curvature is introduced. The notion is purely algebraic and can be located in linear algebra as well as in differential geometry.
Motivated by extending the functional stochastic calculus, to important functionals to which it does not apply, a notion of functional derivative along a curve is introduced. This new setting is developed by incorporating path-dependent…
The aim of this note is to define certain sheaves of vertex algebras on smooth manifolds. For each smooth complex algebraic (or analytic) manifold $X$, we construct a sheaf $\Omega^{ch}_X$, called the {\bf chiral de Rham complex} of $X$. It…