Yoshifumi Tsuchimoto
which is given by a non-degenerate matrix as follows:
where [v] is the class of in .
We would like to prove the following proposition.
That means, is divided into two pieces and .
That means, is covered by three ``open sets'' . Each of them is isomorphic to the plane (that is, the affine space of dimension 2).
in . (See the exercise below.)