Related papers: Affine Structures on a Ringed Space and Schemes
We describe all metric spaces that have sufficently many affine functions. As an application we obtain a metric characterization of linear-convex subsets of Banach spaces.
We complete the classification of algebraic monoid structures on the affine 3-space. The result is based on a reduction of the general case to that of commutative monoids. We also study various algebraic properties of all monoids appearing…
We introduce a class of objects which we call 'affine surfaces'. These provide families of foliations on surfaces whose dynamics we are interested in. We present and analyze a couple of examples, and we define concepts related to these in…
The Grassmannian of affine subspaces is a natural generalization of both the Euclidean space, points being zero-dimensional affine subspaces, and the usual Grassmannian, linear subspaces being special cases of affine subspaces. We show…
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…
Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum…
The article is devoted to affine and wrap algebras over quaternions and octonions. Residues of functions of quaternion and octonion variables are studied. They are used for construction of such algebras. Their structure is investigated.
In affine formation control problems, the construction of the framework with universal rigidity and affine localizability is a critical prerequisite, but it has not yet been well addressed, especially when additional agents join the…
In this paper we characterize the group of affine transformations of a flat affine simply connected manifold whose developing map is a diffeomorphism. This is proved by making use of some simple facts about homeomorphisms of $\mathbb{R}^n$…
We give a definition of associative schemes, schemes of associative rings, over a field $k,$ using the definition of completion of an associative $k$-algebra in a finite set of simple modules. We start by giving a weaker but sufficient…
If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation…
An arc space of an affine cone over a projective toric variety is known to be non-reduced in general. It was demonstrated recently that the reduced scheme structure is worth studying due to various connections with representation theory and…
This paper is devoted to the complete classification of space curves under affine transformations in the view of Cartan's theorem. Spivak has introduced the method but has not found the invariants. Furthermore, for the first time, we…
This paper dualizes the setting of affine spaces as originally introduced by Diers for application to algebraic geometry and expanded upon by various authors, to show that the fundamental groups of pointed topological spaces appear as the…
We consider the problem of defining the structure of a smooth manifold on the various spaces of piecewise-smooth loops in a smooth finite dimensional manifold. We succeed for a particular type of piecewise-smooth loops. We also examine the…
In this paper, we overview one promising avenue of progress at the mathematical foundation of deep learning: the connection between deep networks and function approximation by affine splines (continuous piecewise linear functions in…
Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for…
We prove that finite sets of mutual neighbor points in an affine scheme admit affine combinations, preserved by any map. Furthermore, such combination has a value which is neighbor point of all the original points.