We consider a linear homogeneous equation
-
and also a linear inhomogeneous equation
-
where are elements in a field . The solution set to the homogeneous equation is a vector space over of dimension
or
(if all are ).
For the solution set of the inhomogeneous equation there exists an action
-
and if we fix one solution
(supposing that one solution exists), then there exists a bijection
-
Suppose now that is a geometric object
(a topological space, a manifold, a variety, the spectrum of a ring) and that
-
are functions on . Then we get the space
-
together with the projection to . For a fixed point , the fiber of over is the solution set to the corresponding inhomogeneous equation. For , we get a solution space
-
where all fibers are vector spaces
(maybe of non-constant dimension) and where again acts on . Locally, there are bijections . Let
-
Then is a vector bundle and is a -principal fiber bundle.
is fiberwise an affine space over the base and locally an affine space over , so locally it is an easy object. We are interested in global properties of
and of .