Inhomogeneous linear equation/Geometric situation/description

Aus Wikiversity

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 .