nLab diffeological vector space

Context

Functional analysis

Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

infinitesimal cohesion

tangent cohesion

differential cohesion

graded differential cohesion

singular cohesion

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \mathrm{R}\!\!\mathrm{h} & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{cohesive}{}& \esh &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

Contents

Idea

A diffeological vector space is a real vector space equipped with a diffeology for which addition and scalar multiplication are smooth, similar to how a topological vector space is a vector space equipped with a topology for which addition and scalar multiplication are continuous. In principle one could also define diffeological vector spaces over arbitrary diffeological field?s, but in practice it seems that almost exclusively real and only sometimes complex diffeological vector spaces are considered.

The natural morphisms between diffeological vector spaces are the smooth linear maps, analogous to how the natural morphisms between topological vector spaces are the continuous linear maps. Together diffeological vector spaces and smooth linear maps form a category DiffVect DiffVect_{\mathbb{R}} analogous to TopVect_{\mathbb{R}}.

Properties

The obvious forgetful functor DiffVect Vect DiffVect_{\mathbb{R}}\to Vect_{\mathbb{R}} gives diffeological vector spaces the structure of a concrete category over the category Vect_{\mathbb{R}} of real vector spaces. Even more is true: for every family of linear maps f i:VW if_i:V\to W_i from a real vector space into diffeological vector spaces there is a coarsest diffeology on VV turning VV into a diffeological vector space and rendering all the maps f if_i smooth, and dually there is also a finest such diffeology for every family of linear maps f i:W iVf_i:W_i\to V from diffeological vector spaces into VV. This gives DiffVect DiffVect_{\mathbb{R}} like TopVect TopVect_{\mathbb{R}} the structure of a topological concrete category over Vect Vect_{\mathbb{R}}. In particular, this means that DiffVect DiffVect_{\mathbb{R}} is complete, cocomplete, well-powered and co-well-powered, that the forgetful functor DiffVect Vect DiffVect_{\mathbb{R}}\to Vect_{\mathbb{R}} preserves all limits and colimits and that it thus has both a left adjoint and a right adjoint.

Intuitively, all of this can be summarised as saying that the category DiffVect DiffVect_{\mathbb{R}} behaves over Vect Vect_{\mathbb{R}} much like e.g. Top behaves over Set: vector diffeologies on any given vector space form a complete lattice, and all constructions like limits/colimits and subspaces/quotients can be carried out by equipping the corresponding vector space with the finest/coarsest vector diffeology that renders all the involved structure maps smooth.

Relation to topological vector spaces

Since the D-topology provides a natural way to turn diffeological spaces into topological spaces, it seems only natural to assume that it also turns diffeological vector spaces into topological vector spaces. This however turns out to be false, because the D-topology does not commute with products and so addition +:V×VV+:V\times V\to V can be discontinuous with respect to the product topology on V×VV\times V even though it is continuous with respect to the D-topology of the product diffeology on V×VV\times V; an explicit example of this is claimed in (Wu & Yang 2022, theorem 9.9). At least scalar multiplication on the other hand does always end up continuous, because the D-topology preserves binary products involving locally compact spaces like \mathbb{R}.

Fine diffeological vector spaces

The fine diffeology on a given real vector space VV is the finest diffeology turning it into a diffeological vector space. While the coarsest such diffeology is always just the indiscrete one, the fine diffeology is usually not discrete; instead it is generated by all linear maps nV\mathbb{R}^n\to V, or equivalently given by all maps nV\mathbb{R}^n\to V that locally look like a smooth map to a finite-dimensional subspace of VV. A diffeological vector space is called fine if it is equipped with the fine diffeology; for example, all finite-dimensional real vector spaces with their standard diffeologies are fine.

All linear maps from a fine diffeological vector space into other diffeological vector spaces are smooth. In particular, the construction of fine diffeological vector spaces is functorial, and in fact it is the aforementioned left adjoint to the forgetful functor DiffVect Vect DiffVect_{\mathbb{R}}\to Vect_{\mathbb{R}}.

References

See also:

Created on July 2, 2025 at 04:52:04. See the history of this page for a list of all contributions to it.