Non-Degeneracy of 2-Forms and Pfafﬁan

: In this article, we study the non-degeneracy of 2-forms (skew symmetric ( 0, 2 ) -tensor) α along the Pfafﬁan of α . We consider a symplectic vector space V with a non-degenerate skew symmetric ( 0, 2 ) -tensor ω , and derive various properties of the Pfafﬁan of α . As an application we show the non-degenerate skew symmetric ( 0, 2 ) -tensor ω has a property of rigidity that it is determined by its exterior power.


Introduction
In tensor calculus, the non-degeneracy/degeneracy is one of the key criteria to characterize the tensors. When it comes to (0, 2)-tensors, the non-degeneracy is determined by the determinant of matrix along the identification between (0, 2)-tensors and square matrices. As each (0, 2)-tensor is canonically decomposed into the sum of a symmetric (0, 2)-tensor and a skew symmetric (0, 2)-tensor, the non-degeneracy of the skew symmetric (0, 2)-tensors is inherited to the Pfaffian of the corresponding matrix whose square is the determinant. In this article, we study the non-degeneracy of the skew symmetric (0, 2)-tensors along the Pfaffian of the tensors and show certain rigidity of the non-degenerate skew symmetric (0, 2)-tensors. The Pfaffian plays roles of the determinant for skew symmetric matrices, and the properties of Pfaffian are also similar [1][2][3]. Here we introduce the Pfaffian for the skew symmetric tensors and study its properties related to the determinant. A non-degenerate skew symmetric (0, 2)-tensor ω of a 2n-dimensional real vector space V is called a symplectic form.
Here the even dimension of V is the necessary condition for the non-degeneracy of ω. For a symplectic vector space (V, ω) with a fixed symplectic form ω, we define the Pfaffian map pf (α) := α n /ω n of skew symmetric (0, 2)-tensors α where α n (respectively, ω n ) presents α ∧ · · · ∧ α, n-th exterior power of α (respectively, ω ∧ · · · ∧ ω, n-th exterior power of ω). As a matter of fact, the Pfaffian map pf is the Pfaffian of matrix along the standard identification Φ (Section 2) between skew symmetric (0, 2)-tensors and the skew symmetric matrices. Moreover, we define another map φ from skew symmetric (0, 2)-tensors to skew symmetric matrices, and show Lemma 3 As an application, we show that if ω k = α k for 1 ≤ k < n, then ω = ±α. This interesting property is observed while we study the geometry of symplectic knot spaces [4] and Grassmannians of symplectic subspaces [5]. Even though this result seems very natural, we could not find it in the literature and therefore we provide our proof here.
We note that there are various reasons to consider the exterior power ω k in the research of geometry. The exterior power ω k k! satisfies Wirtinger's inequality which concludes that it is a calibration [6]. The calibration ω k k! calibrates complex k-dimensional sub-manifolds of a Kähler manifold. A generalization of Wirtinger's inequality for ω is studied in [7] to deal with systolic inequalities for projective spaces of real numbers, complex numbers, and quaternionic numbers. The non-degeneracy of skew symmetric (0, 2)-forms α is also described as the orbit of α in Λ n V * by GL(V) is open. Therefrom, stable forms and related metrics are studies in [8].

Symplectic Vector Space and Pfaffian
A real vector space V with a non-degenerate 2-form ω ∈ Λ 2 V * is called a symplectic vector space and the 2-form ω is called a symplectic form of V. Here the non-degeneracy means that for any non-zero v ∈ V, the linear functional ι v ω := ω (v, ·) ∈ V * is not zero. The non-degeneracy of ω is equivalent to the existence of a basis on V * , say e 1 , f 1 , . . . , e n , f n such that ω is of the following standard form, For any subspace P in a symplectic vector space (V, ω), we recall the symplectic complement P ω in V as We observe that P ω ∩ P is the set of vectors where the ω | P , the restriction of ω to the subspace P, is completely degenerate, and P/ (P ω ∩ P), thereby, has an induced symplectic formω. In fact, the non-degeneracy ofω is equivalent to the fact thatω m , m = dim (P/P ω ∩ P) /2, is non-vanishing. Furthermore, by pulling back this wedge product to P, we can conclude the same wedge power of ω | P is non-vanishing, but the bigger power vanishes by definition of P ω ∩ P. This number r (P) defines the symplectic rank of P r (P) := max r ∈ N : (ω| P ) r = 0 .
A linear subspace S of V is called symplectic if the restriction of ω to S is a symplectic from on S, or equivalently dim (S) /2 = r (S) ([5] for further detail).
A symplectic vector space (V, ω) is called a Hermitian vector space if it equipped with an inner product g which is compatible with the symplectic form ω, i.e., ω (u, v) = g (Ju, v) defines a Hermitian complex structure J on V. Indeed, these structures induce a Hermitian inner product of V defined as regarding (V, ω, J) as a complex vector space.
Using this orthonormal basis of V, the space o(V, g) of infinitesimal isometries of V (i.e., the tangent space of the isometry group of V at the identity) can be identified with the set of skew symmetric 2n × 2n real matrices, i.e., o(V, g) o(2n) (the Lie algebra of the orthogonal group O(2n)).
For the space of 2-forms on V, we have an isomorphism where the (i, j)-entry A ij of A is defined as α e i , e j . Note that (i) Φ (ω) = J and (ii) Φ (α) is invertible if and only if α is a non-degenerate form, and the inverse of Φ is defined by Since the nth wedge power of any element in 2 V * is a (possibly zero) top-degree form on V, we can define the Pfaffian map Note that for any 2-form α, pf(α) = 0 iff α is a degenerate form, and for any skew symmetric matrix A, pf(A) = (−1) n √ det A and in particular pf(J) = (−1) n .

Rigidity of Symplectic Forms
In this section we show that symplectic form ω has a nice property that it is determined by its exterior power.
By means of the non-degeneracy ω, we define another map from 2 V * to o (2n) as where n > 1 and * is the Hodge star operator. Here we choose ω n /n! as a volume form. In the following three lemmas, we will see how this map φ is related to the Pfaffian.

Lemma 1. For each α in
whereÂ ij is a (2n − 2) × (2n − 2) matrix obtained by removing the i and j rows and columns from A.
Proof. Since φ (α) is skew symmetric, it is enough to check this when i > j. For a given oriented unitary basis {e 1 , . . . , e 2n } on V, where e 1 ∧ . . .ê i . . .ê j · · · ∧ e 2n is given by removing e i and e j from the dual of ω n n! . Observe where S = span e i , e j ⊥ and Φ| S is the restriction of Φ to S with the oriented basis e 1 . . .ê i . . .ê j . . . e 2n . Therefore,

) skew symmetric matrix and its determinant vanishes.
This lemma implies that φ (α) can be understood as the adjugate matrix related to the Pfaffian which is an analog to the adjugate matrix related to the determinant. From this point of view, the next lemma is also an analog to cofactor expansion of the determinant. Note that for a fixed i, we choose entries A ki (1 ≤ k ≤ i) and A ik (i < k ≤ 2n) so that A ik 's are chosen from the upper part of the diagonal of A.

Proof. First, for a fixed i from the definition of pf(A) each term in
contains exactly one of the A ki 's or A ik 's for k (1 ≤ k ≤ 2n). Therefore, we may write where the C ki 's are the sum of terms in pf(A) containing A ki . In general, for l < m Therefore, (−1) σ = (−1) l+m−1 (−1) τ and where the summation is taken over all partitions of 1, 2, . . .l, . . .m, . . . , 2n − 1, 2n into pairs Since this sum is pf Â lm , by the previous lemma This gives the lemma.
where I 2n is the 2n × 2n identity matrix.

Proof. Let
Here, we used the previous lemma and the fact that A and φ (α) are skew symmetric. The (i, j) entry with i < j is whereÃ is obtained from A by replacing the j-th row (respectively, column) with the i-th row (respectively, column) and by setting the (j, j) entry to zero. Therefore,Ã is singular and Similarly, we can check that the (i, j) entry with i > j is also zero. This proves the lemma.
From these three lemmas, we can obtain the following interesting result.
From β n−1 = ω n−1 , we induce (pf (β)) n−1 = 1, therefore pf (β) = ±1. Now, we assume there is a 2-form β with β k = ω k where 1 < k < n. To get the conclusion, it is enough to show β (a, b) = ±ω (a, b) for any linearly independent vectors a and b in V. It is easy to see that for those independent vectors a and b, there is 2 (k + 1)-dimensional symplectic subspace S containing a and b. By using the above argument, ( β| S ) k = ( ω| S ) k implies β| S = ω| S for the induced orientation on S. Therefore, β| S (a, b) = ω| S (a, b) and this gives the above conclusion.