Related papers: Diffeological Spaces with a Non-Smooth Derivation

The thesis studies Frobenius-type theorems in non-smooth settings. We extend the definition of involutivity to non-Lipschitz subbundles using generalized functions. We prove the real Frobenius Theorem with sharp regularity on log-Lipschitz…

We give a purely geometrical smooth characterization of closed infrasolv manifolds and orbifolds by showing that, up to diffeomorphism, these are precisely the spaces which admit a collapse with bounded curvature and diameter to compact…

We study a product rule and a difference operator equipped with Leibniz rule in a general framework of lattice field theory. It is shown that the difference operator can be determined by the product rule and some initial data through the…

In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives…

The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, as far as the differential lambda-calculus and differential…

We study non-linear differential equations on the punctured formal disc by considering the natural derived enhancements of their spaces of solutions. In particular, by appealing to results of the inverse theory in the calculus of…

Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of…

Diffeological spaces are generalizations of smooth manifolds which include singular spaces and function spaces. For each diffeological space, Iglesias-Zemmour introduced a natural topology called the $D$-topology. However, the $D$-topology…

It is well-known that the problem of sampling recovery in the $L_2$-norm on unweighted Korobov spaces (Sobolev spaces with mixed smoothness) as well as classical smoothness classes such as H\"older classes suffers from the curse of…

In this work we study differential geometry in $N$ dimensional Riemann curved spaces using Pfaff derivatives. Avoiding the classical partial derivative the Pfaff derivatives are constructed in a more sophisticated way and make evaluations…

The presence of non-convexity in smooth optimization problems arising from deep learning have sparked new smoothness conditions in the literature and corresponding convergence analyses. We discuss these smoothness conditions, order them,…

A recent paper [R22] established "Frobenius reciprocity" as a bijection $t$ between certain symplectically reduced spaces (which need not be manifolds), and conjectured: 1{\deg}) $t$ is a diffeomorphism when these spaces are endowed with…

Time derivatives of pullbacks and push forwards along smooth curves of diffeomorphism of sections of natural vector bundles are computed in terms of Lie derivatives along adapted non-autonomous vector fields by extending a key lemma in…

Semi-Riemannian manifolds that satisfy (homogeneous) linear differential conditions of arbitrary order on the curvature are analyzed. They include, in particular, the spaces with (higher-order) recurrent curvature, (higher-order) symmetric…

We introduce an idea of constructing Lefschetz fibrations of Weinstein manifolds from Weinstein handle decompositions on them. We prove theorems that formulate the idea for the cases of cotangent bundles and some plumbings. As a corollary,…

We consider orbifolds as diffeological spaces. This gives rise to a natural notion of differentiable maps between orbifolds, making them into a subcategory of diffeology. We prove that the diffeological approach to orbifolds is equivalent…

Let B be the Bergman projection associated to a domain on which the dbar-Neumann operator is compact. We show that arbitrary L^2 derivatives of Bf are controlled by derivatives of f taken in a single, distinguished direction. As a…

Affine varieties among all algebraic varieties have simple structures. For example, an affine variety does not contain any complete algebraic curve. In this paper we study affine related properties of strata of $k$-differentials on smooth…

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…

We prove that the Dirichlet problem for the Lane-Emden system in a half-space has no positive classical solution that is bounded on finite strips. Such a nonexistence result was previously available only for bounded solutions or under a…