A geometric approach to alternating k-linear forms

DOI10.1007/S10801-016-0730-6MaRDI QIDQ2358795zbMATH OpenOpenAlexFDO

Authors Antonio Pasini, Ilaria Cardinali, Luca Giuzzi

Publication date 16 June 2017

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1601.08115

zbMATH Keywords

alternating formGrassmann geometryhyperplanemultilinear form

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Multilinear algebra, tensor calculus (15A69) Exterior algebra, Grassmann algebras (15A75)

Abstract: Given an $n$-dimensional vector space $V$ over a field $mathbbK$, let $2leqk<n$. There is a natural correspondence between the alternating $k$-linear forms $varphi$ of $V$ and the linear functionals $f$ of $$. Let $$ be the Plucker embedding of the $k$-Grassmannian ${mathcalG}_k(V)$ of $V$. Then $varepsilo{n}_k^{-1}(ker(f)capvarepsilo{n}_k(mathcal{G}_k(V)))$ is a hyperplane of the point-line geometry ${mathcalG}_k(V)$. All hyperplanes of ${mathcalG}_k(V)$ can be obtained in this way. For a hyperplane $H$ of ${mathcalG}_k(V)$, let $R^{u}parrow(H)$ be the subspace of ${mathcalG}_{k-1}(V)$ formed by the $(k-1)$-subspaces $AsubsetV$ such that $H$ contains all $k$-subspaces that contain $A$. In other words, if $varphi$ is the (unique modulo a scalar) alternating $k$-linear form defining $H$, then the elements of $R^{u}parrow(H)$ are the $(k-1)$-subspaces $A=langle{a}_1,ldots,a_{k-1}angle$ of $V$ such that $varphi(a_1,ldots,a_{k-1},x)=0$ for all $xinV$. When $n-k$ is even it might be that $R^{u}parrow(H)=emptyset$. When $n-k$ is odd, then $R^{u}parrow(H)eqemptyset$, since every $(k-2)$-subspace of $V$ is contained in at least one member of $R^{u}parrow(H)$. If every $(k-2)$-subspace of $V$ is contained in precisely one member of $R^{u}parrow(H)$ we say that $R^{u}parrow(H)$ is spread-like. In this paper we obtain some results on $R^{u}parrow(H)$ which answer some open questions from the literature and suggest the conjecture that, if $n-k$ is even and at least $4$, then $R^{u}parrow(H)eqemptyset$ but for one exception with $mathbbKleqmathbbR$ and $(n,k)=(7,3)$, while if $n-k$ is odd and at least $5$ then $R^{u}parrow(H)$ is never spread-like.

Review text

The authors employ a natural correspondence between hyperplanes of the Grassmannians of the \(k\)-subspaces of a vector space over a given field, and alternating \(k\)-linear forms on this vector space. The authors focus on upper radicals of the hyperplanes, investigate their properties, and formulate some open problems and conjectures.

Recommendations

• Alternating forms and transitive locally grid geometries
• On polyvectors of vector spaces and hyperplanes of projective Grassmannians
• Geometries arising from trilinear forms on low-dimensional vector spaces
• Alternating multilinear forms
• Orthogonal decompositions and canonical embeddings of multilinear alternating forms

Cites work

• A distance-2-spread of the generalized hexagon H(3)
• Central simple algebras and Galois cohomology
• Classification of trivectors of an eight-dimensional real vector space
• Clifford algebras and spinors.
• Codes and caps from orthogonal Grassmannians
• External flats to varieties in \(\mathbb{P}\mathbb{G}(\bigwedge^2(V))\) over finite fields
• Geometric hyperplanes of embeddable Grassmannians
• Geometric hyperplanes of non-embeddable Grassmannians
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• scientific article; zbMATH DE number 3629146 (Why is no real title available?)
• scientific article; zbMATH DE number 1219619 (Why is no real title available?)
• scientific article; zbMATH DE number 1047205 (Why is no real title available?)
• scientific article; zbMATH DE number 3209180 (Why is no real title available?)
• Hyperplanes of embeddable Grassmannians arise from projective embeddings: A short proof
• On polyvectors of vector spaces and hyperplanes of projective Grassmannians
• Points and lines. Characterizing the classical geometries
• Singular lines of trilinear forms
• Some noteworthy alternating trilinear forms
• Trilinear alternating forms on a vector space of dimension 7
• Vector cross products

Cited in

(3)

• Geometries arising from trilinear forms on low-dimensional vector spaces
• On polyvectors of vector spaces and hyperplanes of projective Grassmannians
• Alternating forms and transitive locally grid geometries

This page was built for publication: A geometric approach to alternating \(k\)-linear forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358795)