English

A geometric approach to alternating $k$-linear forms

Algebraic Geometry 2018-04-10 v1 Combinatorics

Abstract

Given an nn-dimensional vector space VV over a field K\mathbb K, let 2k<n2\leq k < n. There is a natural correspondence between the alternating kk-linear forms φ\varphi of VV and the linear functionals ff of kV\bigwedge^kV. Let εk:Gk(V)PG(kV)\varepsilon_k:{\mathcal G}_k(V)\rightarrow {\mathrm{PG}}(\bigwedge^kV) be the Plucker embedding of the kk-Grassmannian Gk(V){\mathcal G}_k(V) of VV. Then εk1(ker(f)εk(Gk(V)))\varepsilon_k^{-1}(\ker(f)\cap\varepsilon_k(\mathcal{G}_k(V))) is a hyperplane of the point-line geometry Gk(V){\mathcal G}_k(V). All hyperplanes of Gk(V){\mathcal G}_k(V) can be obtained in this way. For a hyperplane HH of Gk(V){\mathcal G}_k(V), let R(H)R^\uparrow(H) be the subspace of Gk1(V){\mathcal G}_{k-1}(V) formed by the (k1)(k-1)-subspaces AVA\subset V such that HH contains all kk-subspaces that contain AA. In other words, if φ\varphi is the (unique modulo a scalar) alternating kk-linear form defining HH, then the elements of R(H)R^\uparrow(H) are the (k1)(k-1)-subspaces A=a1,,ak1A = \langle a_1,\ldots, a_{k-1}\rangle of VV such that φ(a1,,ak1,x)=0\varphi(a_1,\ldots, a_{k-1},x) = 0 for all xVx\in V. When nkn-k is even it might be that R(H)=R^\uparrow(H) = \emptyset. When nkn-k is odd, then R(H)R^\uparrow(H) \neq \emptyset, since every (k2)(k-2)-subspace of VV is contained in at least one member of R(H)R^\uparrow(H). If every (k2)(k-2)-subspace of VV is contained in precisely one member of R(H)R^\uparrow(H) we say that R(H)R^\uparrow(H) is spread-like. In this paper we obtain some results on R(H)R^\uparrow(H) which answer some open questions from the literature and suggest the conjecture that, if nkn-k is even and at least 44, then R(H)R^\uparrow(H) \neq \emptyset but for one exception with KR{\mathbb K}\leq{\mathbb R} and (n,k)=(7,3)(n,k) = (7,3), while if nkn-k is odd and at least 55 then R(H)R^\uparrow(H) is never spread-like.

Keywords

Cite

@article{arxiv.1601.08115,
  title  = {A geometric approach to alternating $k$-linear forms},
  author = {Ilaria Cardinali and Luca Giuzzi and Antonio Pasini},
  journal= {arXiv preprint arXiv:1601.08115},
  year   = {2018}
}

Comments

29 Pages

R2 v1 2026-06-22T12:39:21.620Z