Lecture 22 Again, V = V n and B : V × V → R a non-degenerate bilinear form. A few properties of ∗ we have not mentioned yet: / / ∗1 = Ω ∗Ω=1 Computing the ∗-operator We now present a couple of applications to computation (a) B symmetric and positive definite. Let v1 , . . . , vn be an oriented orthonormal basis of V . If I = (i1 , . . . , ik ) where i1 < · · · < ik then vI = vi1 ∧ · · · ∧ vik . Let J = I C . Then ∗vI = ±vJ where this is postive if vI ∧ vJ = Ω and negative if vI ∧ vJ = −Ω. (b) Let B be symplectic and V = V 2n . Then there is a Darboux basis e1 , f1 , . . . , en , fn . Give V the symplectic orientation Ω = e1 ∧ f1 ∧ · · · ∧ en fn What does the ∗-operator look like? For n = 1, i.e. V = V 2 we have ∗1 = e ∧ f ,∗(e ∧ f ) = 1 ∗e = e and ∗f = f . What about n arbitrary? Suppose we have V = V1 ⊕ · · · ⊕ V n Vi = span{ei , fi } then Λ(V ) is spanned by β1 ∧ · · · ∧ βn where βi ∈ Λpi (Vi ), 0 ≤ pi ≤ 2. Then ∗(β1 ∧ · · · ∧ βn ) = ∗n βn ∧ · · · ∧ ∗1 β1 and we already know that ∗ operator on 2 dimensional space. Other Operations For u ∈ V we can define an operation Lu : Λk → Λk+1 by α 7→ u ∧ α. We can also define this operations dual: for v ∗ ∈ V ∗ , iv∗ : Λk → Λk−1 the usual interior product. But because we have a bilinear form we can find Ltu and itv∗ and since we have ∗ we have other interesting things to do, like conjugate with the ∗-operator: ∗−1 Lu ∗ Theorem. For α ∈ Λp−1 , β ∈ Λp ∗−1 (iv∗ )∗ B(Lu α, β) = B(α, Ltu β) �u. where Ltu = (−1)p−1 ∗−1 Lu ∗ := L Proof. Begin by noting Lu α ∧ ∗β = B(Lu α, β)Ω. Now u ∧ α ∧ ∗β = (−1)p−1 α ∧ u ∧ ∗β = (−1)p α ∧ ∗(∗−1 u ∧ ∗β) � u β = B(α, L � u β)Ω = α ∧ ∗L � u = Ltu . which implies that L What is this transpose really doing? We know we have a bilinear form B that gives rise to an map Lu : V → V ∗ . Since B is not symmetric, define B ♯ (u, v) = B(v, u), and we get a new map LB ♯ : V → V ∗ . Then: Theorem. If v ∗ = LB ♯ u, then Ltu = iv∗ . Proof. Let u1 , . . . , un be a basis of V and let v1 , . . . , vn be a complementary basis of V determined by B(ui , vj ) = δij and let v1∗ , . . . , vn∗ be a dual basis of V ∗ . Check that v1∗ = LB ♯ u1 . Let I = (i1 , . . . , ik−1 ) and J = (j1 , . . . , jk ) be multi-indices. We claim that B(Lu1 uI , vJ ) = B(uI , iv1∗ vJ ) and that if j1 , . . . , jk = 1 and i1 , . . . , ik−1 = 1 then both sides are 1. Otherwise they are 0. Theorem. On Λp+1 , (iv∗ )t = (−1)p ∗−1 (iv∗ )∗ and v ∗ = LB u.