Hi there! I have a very simple question, which requires an expert in multilinear algebra.
$V$ is an $n$-dimensional vector space, and $\omega\in V^\ast\wedge V^\ast$ is a skew-symmetric form on it. Then, mimicking symplectic geometry, I call isotropic a subspace $L\subseteq V$ such that $\omega|_L\equiv0$.
QUESTION. Let $L$ be an hyperplane in $V$, and $\alpha\in V^\ast$ a dual covector for $L$, i.e., such that $L=\ker\alpha$: which conditions on $\alpha$ correspond to the fact that $L$ is isotropic?
In other words, I'm trying to characterize the covectors $\alpha\in V^\ast$ such that $\omega(x,y)=0$ for all $x,y\in\ker\alpha$. My instinct says that the condition I'm looking for is
$\alpha\wedge\omega=0,\quad\quad (*)$
but my poor skills in multilinear algebra are not sufficient to prove this - that's why I'm seeking for advice.
My question ends here, though I have some curiosity on this matter, which might be answered by an expert. Namely, in symplectic geometry there is the notion of Lagrangian Grassmannian... so here there should be that of Isotropic Grassmannian (I cannot type curly braces below):
$I_r(V,\omega)=(L\in G_r(V)\mid \omega|_L\equiv 0 )$
Where I can find some information (if any) about properties/applications of this $I_r(V,\omega)$ (smoothness, tangent spaces, canonical structures on it, etc.)? In terms of Isotropic Grassmannians, the main question reads: how to characterize the image of $I_{n-1}(V,\omega)$ by means of the isomorphism $G_{n-1}(V)\to \mathbb{P}V^\ast$? This is what puzzled me: $I_{n-1}(V,\omega)$ seems to be a quadric variety, but condition $(*)$ above is linear!