Related papers: Sheaves of nonlinear generalized function spaces
We show that the sheaves of algebras of generalized functions $\Omega\to \mathcal{G}(\Omega)$ and $\Omega\to \mathcal{G}^{\infty}(\Omega)$, $\Omega$ are open sets in a manifold $X$, are supple, contrary to the non-suppleness of the sheaf of…
In this paper, we establish a suitable version of the Hahn-Banach theorem within the framework of Colombeau spaces, a class of spaces used to model generalized functions. Our approach addresses the case where maps are defined…
We construct and study a class of algebras associated to generalized layered graphs, i.e. directed graphs with a ranking function on their vertices. Each finite directed acyclic graph admits countably many structures of a generalized…
We set up some foundations of generalised scheme theory related to new incompressible symmetric tensor categories. This is analogous to the relation between super schemes and the category of super vector spaces.
We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational…
For a manifold M we define a structure on the group action of Diff(M) on the smooth functions on M which reduces to the usual differential geometry upon differentiation at zero along the one-parameter groups of Diff(M). This ``integrated…
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…
From descent theory to higher geometry, the idea of gluing has been embedded in many elegant and powerful techniques, proving instrumental for the solution of many problems. In this paper, we introduce a framework that allows to link…
Scalar relative invariants play an important role in the theory of group actions on a manifold as their zero sets are invariant hypersurfaces. Relative invariants are central in many applications, where they often are treated locally since…
In this paper we introduce a new ingredient, invariant systems of differential equations, to our study of character sheaves on graded Lie algebras. The character sheaves we construct in this paper, together with the ones constructed in…
We make an attempt to develop "noncommutative algebraic geometry" in which noncommutative affine schemes are in one-to-one correspondence with associative algebras. In the first part we discuss various aspects of smoothness in affine…
The purpose of this contribution is to give a coherent account of a particular narrative which links locales, geometric theories, sheaf semantics and constructive commutative algebra. We are hoping to convey a firm grasp of three ideas: (1)…
Based on the matrix expression of general nonlinear numerical analogues presented by the present author, this paper proposes a novel philosophy of nonlinear computation and analysis. The nonlinear problems are considered an ill-posed linear…
We explore the differential geometry of finite sets where the differential structure is given by a quiver rather than as more usual by a graph. In the finite group case we show that the data for such a differential calculus is described by…
Given a two--dimensional mapping $U$ whose components solve a divergence structure elliptic equation, we give necessary and sufficient conditions on the boundary so that $U$ is a global diffeomorphism.
We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…
A comprehensive account of a new structured algorithm for obtaining nonrelativistic diffeomorphism invariances in both space and spacetime by gauging the Galilean symmetry in a generic nonrelativistic field theoretical model is provided.…
We consider non-zero endomorphisms of the Dales and Davie algebras of infinitely differentiable functions on intervals in the real line. We discuss necessary and sufficient conditions for a selfmap of the interval to induce a compact…
We consider here the category of diffeological vector pseudo-bundles, and study a possible extension of classical differential geometric tools on finite dimensional vector bundles, namely, the group of automorphisms, the frame bundle, the…
General invariants of a geometric mapping of a symmetric affine connection space are obtained in this paper. These invariants are generalizations of the previous obtained basic invariants (see [16]). Moreover, these invariants are related…