Let be a field and and be -vector spaces of dimension and . Let be the canonical map from to $Hom(\wedge^t V,\wedge^t W)X_tY_t\phit=\min(m,n)Y_t=X_t$ is the cone over a Grassmannian, but is larger than for . We analyze the -orbits in via the corresponding -stable prime ideals. It turns out that they are classified by two numerical invariants, one of which is the rank and the other a related invariant that we call small rank. Surprisingly, the orbits in arise from the images for and simple algebraic operations. In the last section we determine the singular locus of . Apart from well-understood exceptional cases, it is formed by the elements of rank in .

生成讲解博客的中文版本

生成AI智能校验的中文版本