Für Linearität in der 1. Komponente wäre ja zu zeigen
mit MatrizenA,B,C aus V  gilt:  phi(A+B,C) = phi(A,C)+phi(B,C)
setze A= a c     B= u w     C=x  z
                c' b          w' v          z'  y
dann ist    phi(A+B,C)  = det(A+B+C) - det (A+B) - det(C) 
und nach einiger Rechnerei
= u*y+v*x-z'*w+b*x+a*y-(c'+w')*z -c*z'
und das gleiche kommt raus bei  
 det(A+C) - det (A) - det(C)   +  det(B+C) - det (B) - det(C)
=    phi(A,C)                           +           phi(B,C)
Jetzt wäre noch für t aus IR zu prüfen
 phi(k*A,C) = t*phi(A,C) 
und auch das stimmt, denn bei der linken Seite gibt es
t*b*x+t*a*y-t*c'*z-t*c*z' und da kannst du das t ausklammern und
in der Klammer hast du phi(A,C).
Und die Linearität in der 2. Komponente klappt genauso.
Und als Basis wählt man vielleicht
1 0      0 1       0 i      0 0 
0 0      1 0       -i0      0 1   und die heißen A,B,C,D
Dann musst du ja alle möglichen Werte der Bilinearform für die Kombinationen
der Basiselemente ausrechnen, etwa für die 1. Spalte der Gram-Matrix
phi(A,A) = 0
phi(A,B)= 0
phi(A,C)=0
phi(A,D)=1
und die zweite Spalte:
phi(B,A) = 0
phi(B,B)= -2
phi(B,C)=0
phi(B,D)=0
etc.