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
.