The boundary of the irreducible components for invariant subspace varieties (Q1794567)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The boundary of the irreducible components for invariant subspace varieties |
scientific article |
Statements
The boundary of the irreducible components for invariant subspace varieties (English)
0 references
15 October 2018
0 references
Let \(k\) be an algebraically closed field and \(V\) a finite dimensional \(k\)-module. Associated to a nilpotent \(k\)-linear operator is a partition \(\alpha=(\alpha_1,\alpha_2,\dots,\alpha_s)\) of \(\dim V\): each \(\alpha_i\) represents a Jordan block of size \(\alpha_i\). We shall denote this operator \(N_\alpha\). It is known that a short exact sequence \(0\to N_\alpha\to N_\beta\to N_\gamma \to 0\) exists for partitions \(\alpha,\beta,\gamma\) if and only if there exists a Littlewood-Richardson tableau of shape \((\alpha,\beta,\gamma)\). Let \(\mathbb{V}_{\alpha,\gamma}^\beta (k)\) be the variety of monomorphisms \(N_\alpha \to N_\beta\) with cokernel isomorphic to \(N_\gamma\); to each \(f\in\mathbb{V}_{\alpha,\gamma}^\beta (k)\) there is an LR-tableau \(\Gamma\) of the appropriate shape; the set \(\mathbb{V}_\Gamma\) of all monomorphisms of shape \(\Gamma\) is then irreducible, and \(\mathbb{V}_{\alpha,\gamma}^\beta (k) = \bigcup_\Gamma\mathbb{V}_\Gamma\). The work under review studies \(\mathbb{V}_{\alpha,\gamma}^\beta(k)\) by considering a boundary relation, namely \(\leq_{\text{boundary}}\), and comparing it to other relations on LR-tableaux. Here, \(\Gamma \leq_{\text{boundary}} \widetilde{\Gamma}\) if \(\mathbb{V}_{\widetilde{\Gamma}}\) does not intersect the Zariski closure of \(\mathbb{V}_{\Gamma}\). It is shown that the boundary relation is finer than the ext-relation \(\leq_{\text{ext}}\) and coarser then the hom-picket relation \(\leq_{\text{hom-picket}}\) as well as the dominance relation \(\leq_{\text{dom}}\). It is also finer than the box relation \(\leq_{\text{box}}\) if \(\beta\backslash\gamma\) is a horizontal strip. If \(\beta\backslash\gamma\) is both a horizontal and a vertical strip, then all of these partial orders are equivalent to each other, a conclusion which is also known to hold in the case when \(\alpha_i\leq 2\) for all \(i\).
0 references
nilpotent operator
0 references
invariant subspace
0 references
partial order
0 references
degeneration
0 references
Littlewood-Richardson tableau
0 references
0 references
0 references
0 references