Related papers: On diffeologies for power sets and measures

We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…

Inspired by the root systems of Lie algebras of rank 2, we propose a mathematical method to engineer new 2D materials with double periodic structures tessellating the plane. Concretely, we investigate two geometries relaying on squares and…

Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm…

This is an exposition of the theory of differentiable structures on metric measures spaces, in the sense of Cheeger and Keith.

We develop a unified framework for the study of properties involving diagonalizations of dense families in topological spaces. We provide complete classification of these properties. Our classification draws upon a large number of methods…

The representation theory of non-centrally extended Lie algebras of Noether symmetries, including spacetime diffeomorphisms and reparametrizations of the observer's trajectory, has recently been developped. It naturally solves some…

In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.

In the paper, some concepts of modern differential geometry are used as a basis to develop an invariant theory of mechanical systems, including systems with gyroscopic forces. An interpretation of systems with gyroscopic forces in the form…

Borel probability measures living on metric spaces are fundamental mathematical objects. There are several meaningful distance functions that make the collection of the probability measures living on a certain space a metric space. We are…

A rigorous mathematical theory of dimensional analysis, systematically accounting for the use of physical quantities in science and engineering, perhaps surprisingly, was not developed until relatively recently. We claim that this has…

We present a new method to compare the shapes of genus-zero surfaces. We introduce a measure of mutual stretching, the symmetric distortion energy, and establish the existence of a conformal diffeomorphism between any two genus-zero…

We introduce and study bimeasurings from pairs of bialgebras to algebras. It is shown that the universal bimeasuring bialgebra construction, which arises from Sweedler's universal measuring coalgebra construction and generalizes the finite…

The internal structure of a measuring device, which depends on what its components are and how they are organized, determines how it categorizes its inputs. This paper presents a geometric approach to studying the internal structure of…

This work is the first in a series of papers that, among other things, extends the formalism of diolic differential calculus, wherein a new context for obtaining differential calculus in vector bundles was established. Here we provide a…

We study integralgeometric representations of variations of general sets $A$ in the Euclidean n-space without any regularity assumptions. If we assume, for example, that just one partial derivative of its characteristic function $\chi^A$ is…

We give a complete characterization of the size of Borel sets that are mid-point convex but not (essentially) convex, in terms of their Hausdorff dimensions and Hausdorff measures.

A priori, the set of birational transformations of an algebraic variety is just a group. We survey the possible algebraic structures that we may add to it, using in particular parametrised family of birational transformations.

We present a geometric framework for discrete classical field theories, where fields are modeled as "morphisms" defined on a discrete grid in the base space, and take values in a Lie groupoid. We describe the basic geometric setup and…

We give conceptual proofs of certain basic properties of the arrangement of shifted root hyperplanes associated to a root system and a Weyl group invariant real valued parameter function on the root system. The method is based on the role…

We define notions of differentiability for maps from and to the space of persistence barcodes. Inspired by the theory of diffeological spaces, the proposed framework uses lifts to the space of ordered barcodes, from which derivatives can be…