The Isomorphism Problem for cominuscule Schubert Varieties

TL;DR

This paper characterizes when Schubert varieties in different cominuscule flag varieties are isomorphic, extending the classification from Grassmannians to all cominuscule types through a type-independent proof.

Contribution

It provides a type-independent criterion for isomorphism of Schubert varieties based on labeled poset isomorphisms, generalizing previous results for Grassmannians.

Findings

Schubert varieties are isomorphic iff their labeled posets are isomorphic

Generalization of Grassmannian classification to all cominuscule flag varieties

Type-independent proof of the isomorphism criterion

Abstract

Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent.

Tables

Table 1. Table 1 . Cominuscule flag varieties. Cominuscule roots are denoted by the filled-in circles. This table is a modification of [ buch2016k , Table 1] .

{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,n-1,n,scale=2] A**.**	Type $A_n$ ($n\ge 1$):
	$A_n/P_m=\mathrm{Gr}(m,n+1)$
	Grassmannian of type A.
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,n-2,n-1,n,scale=2] B*o.ooo	Type $B_n$ ($n\ge 2$):
	$B_n/P_1=Q^{2n-1}$  Odd quadric.
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,n-2,n-1,n,scale=2] Coo.oo*	Type $C_n$ ($n\ge 3$):
	$C_n/P_n=\mathrm{LG}(n,2n)$
	Lagrangian Grassmannian.
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,n-3,n-2,n-1,n,label directions=,,,right,,,scale=2] D*o.oo**
	Type $D_n$ ($n\ge 4$):
	$D_n/P_1=Q^{2n-2}$  Even quadric.
	$D_n/P_{n-1}\cong D_n/P_n=\mathrm{OG}(n,2n)$
	Max. orthogonal Grassmannian.
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,scale=2] E*oooo*
	Type $E_6$:
	$E_6/P_1\cong E_6/P_6$
	Cayley plane.
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,7,scale=2] Eoooooo*
	Type $E_7$:
	$E_7/P_7$
	Freudenthal variety.

Table 2. Table 2 . The labeled poset 𝒫 X subscript 𝒫 𝑋 {\mathcal{P}}_{X} for a cominuscule flag variety X 𝑋 X . Each element in 𝒫 X subscript 𝒫 𝑋 {\mathcal{P}}_{X} is drawn as a box, and boxes decorated with an “ s 𝑠 s ” correspond to short roots. The partial order on boxes is given by α ≤ β 𝛼 𝛽 \alpha\leq\beta if and only if α 𝛼 \alpha is weakly north-west of β 𝛽 \beta . This table is a modification of [ buch2022positivity , Table 1] .

Grassmannian $\mathrm{Gr}(3,7)$ of type A

{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,scale=2]Aoo*ooo

Odd quadric $Q^{11}\subset {\mathbb{P}}^{12}$

{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,scale=2] B*ooooo

$s$

Lagrangian Grassmannian $\mathrm{LG}(6,12)$

{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,scale=2] Cooooo*

$s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$ $s$

Max. orthog. Grassmannian $\mathrm{OG}(6,12)$

{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,label directions=,,,right,,,scale=2]Dooooo*

$X=E_6/P_6$		$X^{\prime }$
{dynkinDiagram}[text style/.style=scale=0.9,labels=1,2,3,4,5,6,scale=2] Eooooo*		{dynkinDiagram}[text style/.style=scale=0.9,labels=1,3,4,5,6,scale=2] Aoooo*
	$\cong$

Equations

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\crcr}}}\ \ \cong\ \ \vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}}}}}}}}}}}}}}}$$

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\crcr}}}\ \ \not\cong\ \ \vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\crcr}}}\ .}}}}$$

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}\ .}}}}}}}}}}}}}}}}$$

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\crcr}}}\ .}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}$$

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}\ \ \not\cong\ \ \vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}$$

$$\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}\ \ \not\cong\ \ \vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}$$

$$S:=\{s_{\alpha }:\alpha \in \Delta \}.$$

$$X_w:=\overline{Bw{P}_I/P_I}$$

$${\mathcal{P}}_X:=\{\alpha \in R:\alpha \ge \gamma \}$$

$$\lambda (w):=\{\alpha \in R^{+}:w.\alpha <0\},$$

$$\mathrm{Pic}(X_{\lambda })\times A_{\ast }(X_{\lambda })\to A_{\ast }(X_{\lambda }).$$

$$i_{\lambda }^{\ast }D\cdot [X_{\mu }]=[j^{\ast }{i}_{\lambda }^{\ast }D]=[(i_{\lambda }\circ j{)}^{\ast }D]=D\cdot [X_{\mu }].$$

$$i_{\lambda }^{\ast }D\cdot [X_{\mu }]=\sum \frac{(\gamma ,\gamma )}{(\alpha ,\alpha )}[X_{\mu \setminus \{\alpha \}}],$$

$$D\cdot\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0)\end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss\crcr}}}}\bigg{]}=2\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0)\end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss\crcr}}}}\bigg{]}+\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\crcr}}}}\bigg{]},}}}}}}}}}}}}$$

$$D\cdot\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0)\end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss\crcr}}}}\bigg{]}=\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\crcr}}}}\bigg{]},}}}}}}$$

$$D\cdot\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss$s$\hss}\vss\crcr}}}}\bigg{]}=2\bigg{[}X_{\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(8.0,8.0) \put(0.0,8.0){\line(1,0){8.0}} \put(0.0,0.0){\line(1,0){8.0}} \put(0.0,0.0){\line(0,1){8.0}} \put(8.0,0.0){\line(0,1){8.0}} \end{picture}}\hss}\vbox to8.0pt{\vss\hbox to8.0pt{\hss

$$\hss}\vss\crcr}}}}\bigg{]}.}}}$$

$$Z\cdot E_i=\sum _j{c}_{ij}{E}_j.$$

$$E_j<E_i\text{ if and only if }{c}_{ij}\ne 0.$$

$$Z\cdot E_i=c_{ij}{E}_j$$

$$S(\lambda ):=\{s\in S:s\le w_{\lambda }\}.$$

$${\Delta }_X^{\lambda }:=\{\alpha \in {\Delta }_X:s_{\alpha }\in S(\lambda )\}.$$

$$\gamma <(\gamma +{\beta }_1)<\cdots <(\gamma +{\beta }_1+\cdots +{\beta }_m)$$

$$\delta ({\gamma }_j)=-w_j.{\gamma }_j\text{ for all }j,$$

$$w_i=s_{\delta ({\gamma }_i)}{w}_{i-1}\text{and}{w}_{i+1}=s_{\delta ({\gamma }_{i+1})}{s}_{\delta ({\gamma }_i)}{w}_{i-1}.$$

$${\gamma }_{i-1}$$

$${\gamma }_i$$

$${\gamma }_{i+1}$$

$$⟨\delta ({\gamma }_{i+1}),\delta ({\gamma }_i)⟩:=\frac{2(\delta ({\gamma }_{i+1}),\delta ({\gamma }_i))}{(\delta ({\gamma }_i),\delta ({\gamma }_i))}=-1.$$

$$s_{\delta ({\gamma }_i)}.\delta ({\gamma }_{i+1})=\delta ({\gamma }_{i+1})-⟨\delta ({\gamma }_{i+1}),\delta ({\gamma }_i)⟩\delta ({\gamma }_i)=\delta ({\gamma }_{i+1})+\delta ({\gamma }_i).$$

$${\gamma }_{i+1}-{\gamma }_i=w_{i-1}^{-1}.\delta ({\gamma }_{i+1})=-{\gamma }_{i-1},$$

$${\mathcal{P}}_{Q^{6}}=\vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\crcr}}}\ \ \cong\ \ \vbox{\vbox{\halign{&\tabcellify{#}\cr\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss\\\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0)\end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss

$$\hss}\vss&\hbox to0.0pt{\leavevmode\hbox{\set@color\begin{picture}(12.0,12.0) \put(0.0,12.0){\line(1,0){12.0}} \put(0.0,0.0){\line(1,0){12.0}} \put(0.0,0.0){\line(0,1){12.0}} \put(12.0,0.0){\line(0,1){12.0}} \end{picture}}\hss}\vbox to12.0pt{\vss\hbox to12.0pt{\hss$$

\hss}\vss\crcr}}}={\mathcal{P}}_{\operatorname{OG}(4,8)},}}}}}}}}}}}}}}}}}$$

Full text

1. Introduction

Cominuscule flag varieties correspond to algebraic varieties that admit the structure of a compact Hermitian symmetric space and have been studied extensively due their shared properties with Grassmannians [Bo88, BP99, Pe09, ThYo09, Buch2013, Ro14, BCMP18, Chung, BCMP, MR4099894, buch2022positivity]. These varieties come in four infinite families and two exceptional types and are determined by a pair $({\mathcal{D}},\gamma)$ of a Dynkin diagram ${\mathcal{D}}$ of a reductive Lie group and a cominuscule simple root $\gamma$. See Table 1 for a classification of cominuscule flag varieties. Let $X$ denote the cominuscule flag variety corresponding to $({\mathcal{D}},\gamma)$ and $R$ denote the root system of the Dynkin diagram ${\mathcal{D}}$. Set ${\mathcal{P}}_{X}\coloneqq\{\alpha\in R:\alpha\geq\gamma\}$ with the partial order $\alpha\leq\beta$ if $\beta-\alpha$ is a non-negative sum of simple roots, and give ${\mathcal{P}}_{X}$ a labeling of long/short roots. By [buch2016k]*Theorem 2.4, Schubert varieties in $X$ are indexed by lower order ideals in ${\mathcal{P}}_{X}$, generalizing the fact that Schubert varieties in a Grassmannian are indexed by Young diagrams.

Our main result Theorem 1 is a combinatorial criterion for distinguishing isomorphism classes of Schubert varieties coming from cominuscule flag varieties.

Theorem 1**.**

Let $X_{\lambda}\subseteq X$ and $Y_{\mu}\subseteq Y$ be cominuscule Schubert varieties indexed by lower order ideals $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$, respectively. Then $X_{\lambda}$ and $Y_{\mu}$ are algebraically isomorphic if and only if $\lambda$ and $\mu$ are isomorphic as labeled posets.

For illustrative examples of Theorem 1, see Section 2.

Since Grassmannians are cominuscule flag varieties, Theorem 1 extends the work of Țarigradschi and Xu in [Tarigradschi-Xu22], where they prove two Grassmannian Schubert varieties are isomorphic if and only if their Young diagrams are the same or the transpose of each other. Other related works include Richmond and Slofstra’s characterization of the isomorphism classes of Schubert varieties coming from complete flag varieties in [Richmond-Slofstra21] using Cartan equivalence. However, they also note that Cartan equivalence is neither necessary nor sufficient to distinguish Schubert varieties in partial flag varieties. A class of smooth Schubert varieties in partial flag varieties are classified by Develin, Martin, and Reiner in [develin_martin_reiner_2007]. Yet many Schubert varieties are singular, with the first example being the Schubert divisor in the Grassmannian $\operatorname{Gr}(2,4)$.

We discuss preliminaries in Section 3, and then in Section 4, we prove Theorem 1 and illustrate it with examples. Our proof is type-independent and employs several new techniques. To show that the labeled poset $\lambda$ depends only on the isomorphism class of the Schubert variety $X_{\lambda}$, we construct it from the effective cone in the Chow group of $X_{\lambda}$ and intersection products of classes in this cone with the unique effective generator of the Picard group of the variety. To prove the converse, we embed each Schubert variety $X_{\lambda}$ in a “minimal” cominuscule flag variety uniquely determined by the labeled poset $\lambda$. Assuming that the labeled posets $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$ are isomorphic, we construct an explicit isomorphism between the Dynkin diagrams of the “minimal” cominuscule flag varieties determined by $\lambda$ and $\mu$. The corresponding flag variety isomorphism identifies the Schubert varieties $X_{\lambda}$ and $Y_{\mu}$.

Acknowledgements

We thank Anders Buch for helpful discussions. ER was supported by a grant from the Simons Foundation 941273. MȚ and WX were supported by NSF grant MS-2152316.

2. Examples of Theorem 1

For the following examples, recall that cominuscule Schubert varieties are indexed by lower order ideals in ${\mathcal{P}}_{X}$. Examples of ${\mathcal{P}}_{X}$ are illustrated in Table 2, where each element in ${\mathcal{P}}_{X}$ is drawn as a box, and boxes decorated with an “$s$” correspond to short roots. The partial order on boxes is given by $\alpha\leq\beta$ if and only if $\alpha$ is weakly north-west of $\beta$. In particular, lower order ideals are given by subsets of boxes that are closed under moving to the north and west.

Example 2**.**

As illustrated below, transposing a Young diagram does not change the poset structure. Therefore, two Grassmannian Schubert varieties are isomorphic if their indexing Young diagrams are the transpose of each other. Geometrically, this is related to the isomorphism $\operatorname{Gr}(m,m+k)\cong\operatorname{Gr}(k,m+k)$.

[TABLE]

Example 3**.**

Using Table 2, it is not hard to see that if a Grassmannian Schubert variety is isomorphic to a non-type $A$ cominuscule Schubert variety, then they are both isomorphic to a projective space. Indeed, in order to fit inside a ${\mathcal{P}}_{X}$ of another type, the lower order ideal is forced to be a chain.

As a special case, we also see that any Schubert curve in any cominuscule flag variety is isomorphic to ${\mathbb{P}}^{1}$. In fact, any Schubert curve in any flag variety is isomorphic to ${\mathbb{P}}^{1}$, which follows from the more general statements that Schubert varieties are rational normal projective varieties and that ${\mathbb{P}}^{1}$ is the only rational normal projective curve.

Example 4**.**

The Schubert divisor in $Q^{3}$ is not isomorphic to ${\mathbb{P}}^{2}$, because the labeling of their posets does not match:

[TABLE]

We can also see it geometrically, as the Schubert divisor in $Q^{3}$ is singular.

Example 5**.**

The quadric $Q^{3}$ embeds in $\operatorname{LG}(n,2n)$ ($n\geq 3$) as a Schubert variety, as illustrated by

[TABLE]

Example 6**.**

The quadric $Q^{10}$ embeds in $E_{7}/P_{7}$ as a Schubert variety, as illustrated by

[TABLE]

Example 7**.**

There are two non-isomorphic $6$-dimensional Schubert varieties in $E_{6}/P_{6}$, given by the two order ideals illustrated below.

[TABLE]

Example 8**.**

While ${\mathcal{P}}_{\operatorname{LG}(n,2n)}$ and ${\mathcal{P}}_{\operatorname{OG}(n+1,2n+2)}$ are isomorphic as posets, this isomorphism does not preserve the labeling of long/short roots (see illustration below). As a result, $\operatorname{LG}(n,2n)$ and $\operatorname{OG}(n+1,2n+2)$ do not contain isomorphic Schubert varieties of dimension greater than one.

[TABLE]

3. Preliminaries

Let $G$ be a complex reductive linear algebraic group. We fix subgroups $T\subset B\subset G$, where $T$ is a maximal torus and $B$ is a Borel subgroup. With this setup, $T\subset G$ determines a root system $R$ of $G$, with corresponding Weyl group $W:=N(T)/T$, and $B$ determines a set of simple roots $\Delta\subseteq R$. The set of roots decomposes into positive and negative roots $R=R^{+}\sqcup R^{-}$, with $R^{+}$ being non-negative sums of simple roots. The Weyl group $W$ is generated by the set of simple reflections

[TABLE]

To each subset $I\subseteq S$ one can associate a Weyl subgroup $W_{I}:=\langle s:s\in I\rangle\subseteq W$, a parabolic subgroup $P_{I}=BW_{I}B\subseteq G$ and the corresponding (partial) flag variety $X=G/P_{I}$. Schubert varieties in $X$ are indexed by $W^{I}$, the set of minimal length coset representatives of $W/W_{I}$. Explicitly, for $w\in W^{I}$, the Schubert variety

[TABLE]

has dimension the Coxeter length of $w$, denoted $\ell(w)$. Moreover, for any $u\in W^{I}$, we have $X_{u}\subseteq X_{w}$ if and only if $u\leq w$ in Bruhat order.

From now on, $X$ is a cominuscule flag variety. In other words, $I=S\setminus\{s_{\gamma}\}$, where $\gamma$ is a cominuscule simple root, i.e., $\gamma$ appears with coefficient $1$ in the highest root of $R$. Cominuscule roots are illustrated by filled-in circles in Table 1 and Table 2.

Recall that

[TABLE]

inherits the usual partial order on roots, i.e., $\alpha\leq\beta$ if $\beta-\alpha$ is a non-negative sum of simple roots, and in addition, we give ${\mathcal{P}}_{X}$ a labeling of long/short roots.

In [Proctor84], Proctor proves that $W^{I}$ is a distributive lattice under the induced Bruhat partial order from $W$. Birkhoff’s representation theorem implies there is a bijection between $W^{I}$ and the set of lower order ideals in ${\mathcal{P}}_{X}$. In particular, the join-irreducible elements of $W^{I}$ are identified with principal lower order ideals of ${\mathcal{P}}_{X}$ and hence with ${\mathcal{P}}_{X}$ itself. See Figure 1 for an illustration when $X=\operatorname{Gr}(2,4)$. Explicitly, to each $w\in W^{I}$ we associate its inversion set

[TABLE]

viewed as a sub-poset of ${\mathcal{P}}_{X}$. It is well known that $\ell(w)=|\lambda(w)|$. Moreover, the following proposition was proved in [buch2016k, Theorem 2.4 and Corollary 2.6]:

Proposition 9** (Buch–Samuel).**

For any $w\in W^{I}$, the inversion set $\lambda(w)$ is a lower order ideal in ${\mathcal{P}}_{X}$. Moreover:

1. (1)

The map $w\mapsto\lambda(w)$ is a bijection between $W^{I}$ and the set of lower order ideals in ${\mathcal{P}}_{X}$. 2. (2)

For any $u\in W^{I}$, we have $u\leq w$ in Bruhat order if and only if $\lambda(u)\subseteq\lambda(w)$. 3. (3)

If $\alpha\in\lambda(w)$ and $\lambda(w)\setminus\{\alpha\}$ is a lower order ideal, then $ws_{\alpha}\in W^{I}$ and $\lambda(ws_{\alpha})=\lambda(w)\setminus\{\alpha\}$, where $s_{\alpha}\in W$ is the reflection corresponding to $\alpha$.

Notation 10**.**

Given a lower order ideal $\lambda\subseteq{\mathcal{P}}_{X}$, we will write $w_{\lambda}$ for the element of $W^{I}$ corresponding to $\lambda$ in Proposition 9. We also use $X_{\lambda}:=X_{w_{\lambda}}$ to denote the corresponding Schubert variety.

In Section 4.2, we will use a map $\delta:{\mathcal{P}}_{X}\to\Delta$ defined in [buch2022positivity] as follows.

Definition 11**.**

For $\alpha\in{\mathcal{P}}_{X}$, let $\lambda_{\alpha}$ be the principal lower order ideal generated by $\alpha$. Let $\delta(\alpha)=-w_{\lambda_{\alpha}}.\alpha\in R^{+}$. Then $s_{\delta(\alpha)}=w_{\lambda_{\alpha}}s_{\alpha}w_{\lambda_{\alpha}}^{-1}$ has length $1$ [buch2022positivity]*Section 4.1. Therefore, $\delta(\alpha)\in\Delta$.

The following lemma is a restatement of [buch2016k]*Corollary 2.10. See also [buch2022positivity]*Section 4.1.

Lemma 12** (Buch-Samuel).**

Let $\lambda\subseteq{\mathcal{P}}_{X}$ be a lower order ideal and $\beta_{1},\beta_{2},\dots,\beta_{\ell}$ be the boxes it contains written in an increasing order. Then $s_{\delta(\beta_{\ell})}\cdots s_{\delta(\beta_{2})}s_{\delta(\beta_{1})}$ is a reduced decomposition of $w_{\lambda}$. Moreover, every reduced decomposition of $w_{\lambda}$ can be obtained in this way.

4. Proof of Theorem 1

In this section, we prove each direction of Theorem 1 separately.

4.1. Forward direction: the isomorphism class of $X_{\lambda}$ determines the labeled poset $\lambda$

Let $i_{\lambda}:X_{\lambda}\hookrightarrow X$ denote the embedding of a Schubert subvariety into a cominuscule flag variety $X=G/P_{I}$. The definition of the labeled poset $\lambda$ depends on the root system of the reductive group $G$ and hence on the embedding $i_{\lambda}:X_{\lambda}\hookrightarrow X$. The goal of this section is to show that $\lambda$ (as a labeled poset) can be constructed using only the variety structure of $X_{\lambda}$ and is therefore intrinsic to the isomorphism class of $X_{\lambda}$. We prove the following proposition which states the “forward” direction of Theorem 1.

Proposition 13**.**

Let $X_{\lambda}\subseteq X$ and $Y_{\mu}\subseteq Y$ be cominuscule Schubert varieties indexed by lower order ideals $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$, respectively. If $X_{\lambda}$ and $Y_{\mu}$ are algebraically isomorphic, then $\lambda$ and $\mu$ are isomorphic as labeled posets.

Our primary tools come from the intersection theory of algebraic varieties (see [MR1644323] for more details). Let $\operatorname{Pic}(X_{\lambda})$ and $A_{*}(X_{\lambda})$ denote the Picard and Chow groups of $X_{\lambda}$. It is well known that these groups are algebraic invariants of $X_{\lambda}$. Recall that the $k$-th Chow group $A_{k}(Z)$ of a scheme $Z$ is the free abelian group on the $k$-dimensional subvarieties of $Z$ modulo rational equivalence. When $Z$ is a normal variety, the Picard group $\operatorname{Pic}(Z)$ can be identified with the subgroup of $A_{\dim(Z)-1}(Z)$ generated by classes of locally principal divisors (note that all Schubert varieties are normal). Our aim is to construct the labeled poset $\lambda$ from the intersection class map or intersection product [MR1644323, Definition 2.3]:

[TABLE]

If $(\sigma,\tau)\in\operatorname{Pic}(X_{\lambda})\times A_{*}(X_{\lambda})$, we denote the image of the intersection product by $\sigma\cdot\tau$. Next, we consider the effective cone of a scheme:

Definition 14**.**

Let $Z$ be a scheme. The effective cone in the Chow group $A_{*}(Z)$ is the semigroup in $A_{*}(Z)$ generated by the classes of closed subvarieties of $Z$.

Since the flag variety $X$ is cominuscule, there is a unique Schubert variety of codimension $1$ in $X$, called the Schubert divisor. Its class, denoted $D$, is the unique effective generator of the Picard group $\operatorname{Pic}(X)\subseteq A_{*}(X)$. Recall that $i_{\lambda}:X_{\lambda}\hookrightarrow X$ a closed embedding of varieties. Lemma 15 below follows from [Ol88, Proposition 6] (see also [Br05, Proposition 2.2.8 part (ii)]).

Lemma 15**.**

For any non-empty lower order ideal $\lambda\subseteq{\mathcal{P}}_{X}$, the map $i_{\lambda}^{*}:\operatorname{Pic}(X)\to\operatorname{Pic}(X_{\lambda})$ is an isomorphism.

Since $D$ is effective and generates $\operatorname{Pic}(X)$, Lemma 15 implies that $i_{\lambda}^{*}D$ the unique effective generator of $\operatorname{Pic}(X_{\lambda})$. Recall from Proposition 9 that we have lower order ideals $\mu\subseteq\lambda$ if and only if $w_{\mu}\leq w_{\lambda}$ in Bruhat order. Hence, we have $\mu\subseteq\lambda$ if and only if $X_{\mu}\subseteq X_{\lambda}$. We write $[X_{\mu}]$ for the class of $X_{\mu}$ in $A_{*}(X_{\lambda})$ and in $A_{*}(X)$, in an abuse of notation. It is well known that the classes $\{[X_{\mu}]\}_{\mu\subseteq\lambda}$ form an integral basis of $A_{*}(X_{\lambda})$. Lemma 16 below is a special case of [MR1299008, Corollary of Thereom 1] and allows us to identify Schubert classes (the effective cone) in $A_{*}(X_{\lambda})$ without referring to the embedding $i_{\lambda}:X_{\lambda}\hookrightarrow X$ or using the $B$-variety structure of $X_{\lambda}$.

Lemma 16** (Fulton–MacPherson–Sottile–Sturmfels).**

The Schubert classes $[X_{\mu}]$ such that $\mu\subseteq\lambda$ are exactly the minimal elements in the extremal rays of the effective cone in $A_{*}(X_{\lambda})$.

We shall see later that the poset structure of $\lambda$ can be recovered from the intersection products $i_{\lambda}^{*}D\cdot[X_{\mu}]$. Let $j:X_{\mu}\hookrightarrow X_{\lambda}$ be an inclusion of Schubert varieties, where $\mu\subseteq\lambda$. By the definition of intersection product,

[TABLE]

This implies that the product $i_{\lambda}^{*}D\cdot[X_{\mu}]$ on $X_{\lambda}$ can be computed on $X$. By [MR1644323, Example 19.1.11], $A_{*}(X)$ can be identified with the homology group $H_{*}(X)$. By [MR1644323, Proposition 19.1.2] we have that the intersection product $D\cdot[X_{\mu}]$ can be identified with a cap product. Since $X$ is a smooth complex variety, the Poincaré duality further identifies the intersection product with the cup product of cohomology classes corresponding to $D$ and $[X_{\mu}]$. This cup product is given by the Chevalley formula [fulton2004quantum, Lemma 8.1]. Using these identifications, we restate the Chevalley formula for cominuscule flag varieties (and hence Schubert varieties):

Lemma 17** (Fulton–Woodward).**

Let $X$ be a cominuscule flag variety with corresponding cominuscule simple root $\gamma$. For any lower order ideals $\mu\subseteq\lambda\subseteq{\mathcal{P}}_{X}$, we have

[TABLE]

the sum over all positive roots $\alpha$ such that $\mu\setminus\{\alpha\}$ is a lower order ideal in ${\mathcal{P}}_{X}$. Here $(\cdot,\cdot)$ denotes the usual inner product.

Observe that Lemma 17 reinterprets the Chevalley formula as a degree lowering operator since intersection product with divisors is a map from $A_{k}(X_{\lambda})$ to $A_{k-1}(X_{\lambda})$. This is opposite to the standard presentation of the Chevalley formula as a degree raising operator in cohomology.

Example 18**.**

By Lemma 17, the following calculations hold for $X=\operatorname{LG}(3,6)$. We refer to Table 1 for the poset ${\mathcal{P}}_{X}$.

[TABLE]

[TABLE]

[TABLE]

Note that a coefficient $2$ occurs whenever the removed box (root) is short.

Proof of Proposition 13.

Let $\tilde{X}$ be a variety that is algebraically isomorphic to a cominuscule Schubert variety. Let $\tilde{E}:=\{E_{1},\ldots,E_{k}\}\subseteq A_{*}(\tilde{X})$ denote the set of minimal elements in the extremal rays of the effective cone. By Lemma 16, these classes form the Schubert basis of $A_{*}(\tilde{X})$. Lemma 15 implies there is a unique effective generator of $\operatorname{Pic}(\tilde{X})$ which we denote by $Z$. For any $E_{i}\in\tilde{E}$, consider the intersection product

[TABLE]

Define a partial order on the set $\tilde{E}$ via the covering relations

[TABLE]

If $\tilde{X}\simeq X_{\lambda}$ and $i_{\lambda}:X_{\lambda}\hookrightarrow X=G/P_{I}$ is an embedding of a Schubert subvariety into a cominuscule flag variety, then $Z=i_{\lambda}^{*}D$. Lemma 17 implies that the poset $\tilde{E}$ is isomorphic to the set of lower order ideals in ${\mathcal{P}}_{X}$ that is contained in $\lambda$, ordered by inclusion. Hence, $\tilde{E}$ can be identified with the Bruhat interval $\{u\in W^{I}:u\leq w_{\lambda}\}$ via Proposition 9. Let $\tilde{\lambda}$ denote the sub-poset of join-irreducible elements in $\tilde{E}$. Our discussions in Section 3 imply that $\tilde{\lambda}$ is poset isomorphic to $\lambda$. Hence, the poset is independent of the embedding $i_{\lambda}:X_{\lambda}\hookrightarrow X$.

We finish the proof by showing that the labeling of long/short roots can also be recovered from the Chevalley formula. Let $E_{i}\in\tilde{\lambda}$ and hence $E_{i}$ is join-irreducible in the poset $\tilde{E}$. First, if $E_{i}$ is the unique minimal element in $\tilde{\lambda}$, then we label $E_{i}$ as long (this corresponds to the cominuscule simple root). Otherwise, Lemma 17 implies that

[TABLE]

for some unique $E_{j}\in\tilde{E}$ with $c_{ij}\neq 0$. If $c_{ij}=1$, then we label $E_{i}$ as long. If $c_{ij}\neq 1$, then we label $E_{i}$ as short. If $\tilde{X}\simeq X_{\lambda}$, then Lemma 17 implies that this labeling of $\tilde{\lambda}$ corresponds to the labeling of long/short roots in $\lambda$.

In conclusion, the labeled poset $\tilde{\lambda}$ only depends on the isomorphism class of $\tilde{X}$. In particular, if two cominuscule Schubert varieties $X_{\lambda}$ and $Y_{\mu}$ are algebraically isomorphic, then $\lambda\simeq\mu$ as labeled posets. ∎

4.2. Converse direction: the labeled poset $\lambda$ determines the isomorphism class of $X_{\lambda}$

Let $X=G/P_{I}$ be a cominuscule flag variety and $\lambda\subseteq{\mathcal{P}}_{X}$ be a lower order ideal. In this section, we prove that the poset $\lambda$ and its labeling of long/short roots determine the isomorphism class of $X_{\lambda}$. More precisely, we prove the following proposition, which states the “converse” direction of Theorem 1.

Proposition 19**.**

Let $X_{\lambda}\subseteq X$ and $Y_{\mu}\subseteq Y$ be cominuscule Schubert varieties indexed by lower order ideals $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$, respectively. If $\lambda$ and $\mu$ are isomorphic as labeled posets, then $X_{\lambda}$ and $Y_{\mu}$ are algebraically isomorphic.

Our strategy is to embed $X_{\lambda}$ in a “minimal” flag variety $X^{\prime}$ determined by the labeled poset $\lambda$.

Recall that $S$ is the set of simple reflections defined in Section 3.

Definition 20**.**

The support of $\lambda$ is defined as

[TABLE]

Equivalently, $S(\lambda)$ is the set of simple reflections appearing in any reduced decomposition of $w_{\lambda}$.

Every reduced decomposition of $w_{\lambda}$, and in particular, $S(\lambda)$, can be read out from the poset $\lambda$ [buch2022positivity, Section 4]. The variety $X^{\prime}$ is constructed using $S(\lambda)$ as follows. Let $G^{\prime}$ be the reductive subgroup of $P_{S(\lambda)}$ with Weyl group $W^{\prime}\coloneqq W_{S(\lambda)}$ and $P^{\prime}\coloneqq G^{\prime}\cap P_{I}$ be the reductive subgroup of $G^{\prime}$ corresponding to $I^{\prime}\coloneqq I\cap S(\lambda)$. Set $X^{\prime}\coloneqq G^{\prime}/P^{\prime}$. Note that $w_{\lambda}\in{W^{\prime}}^{I^{\prime}}$.

Lemma 21 below is a restatement of [MR3552231, Lemma 4.8].

Lemma 21** (Richmond–Slofstra).**

The inclusion $X^{\prime}\hookrightarrow X$ induces an isomorphism $X^{\prime}_{w_{\lambda}}\to X_{\lambda}$.

Let $Y$ be another cominuscule flag variety and $\mu\subseteq{\mathcal{P}}_{Y}$ be a lower order ideal. Next, we show that a labeled poset isomorphism between $\lambda$ and $\mu$ induces an isomorphism between $X^{\prime}$ and $Y^{\prime}$, which restricts to an isomorphism between $X_{\lambda}$ and $Y_{\mu}$. We shall see that $X^{\prime}$ and $Y^{\prime}$ are cominuscule and that this isomorphism is given by an isomorphism of their Dynkin diagrams.

In the following, let ${\mathcal{D}}_{X}$ be the Dynkin diagram of $X$ with vertex set $\Delta_{X}$.

Definition 22**.**

The diagram ${\mathcal{D}}_{X}^{\lambda}$ is defined to be the full subgraph of ${\mathcal{D}}_{X}$ with vertex set

[TABLE]

Definition 23**.**

Let a Dynkin chain in ${\mathcal{P}}_{X}$ be a chain $\pi\subseteq{\mathcal{P}}_{X}$ such that:

1. (1)

the set $\pi$ is a lower order ideal; 2. (2)

the lengths of roots in $\pi$ are weakly decreasing.

The lower order ideal ${\mathcal{P}}_{X}^{\Delta}\subseteq{\mathcal{P}}_{X}$ is defined to be the union of all Dynkin chains in ${\mathcal{P}}_{X}$.

In the proof of Lemma 24, we shall see that Dynkin chains in ${\mathcal{P}}_{X}$ correspond to paths in ${\mathcal{D}}_{X}$ starting from the cominuscule root $\gamma$. Examples of ${\mathcal{P}}_{X}^{\Delta}$ are illustrated in Figure 2.

Lemma 24**.**

The restriction $\delta:{\mathcal{P}}_{X}^{\Delta}\to\Delta_{X}$ is a bijection.

Proof.

Note that the cominuscule root $\gamma$ is the unique minimal root in ${\mathcal{P}}_{X}$ and $\delta(\gamma)=\gamma$. Moreover, if $\gamma,\beta_{1},\dots,\beta_{m-1},\beta_{m}$ are distinct simple roots along a path in ${\mathcal{D}}_{X}$, then

[TABLE]

is a Dynkin chain in ${\mathcal{P}}_{X}$ and $\delta(\gamma+\beta_{1}+\dots+\beta_{m})=\beta_{m}$. This proves surjectivity.

To prove injectivity, note that for $\beta$, $\beta^{\prime}$ in ${\mathcal{P}}_{X}$, if $\delta(\beta)=\delta(\beta^{\prime})$, then $\beta$ and $\beta^{\prime}$ are comparable [buch2022positivity, Remark 4.2(b)]. Since Dynkin chains are lower order ideals (Definition 23 part (1)), it suffices to prove that each Dynkin chain in ${\mathcal{P}}_{X}^{\Delta}$ maps injectively to $\Delta_{X}$. Let $\gamma_{0}<\gamma_{1}<\gamma_{2}<\dots<\gamma_{k}$ be a Dynkin chain in ${\mathcal{P}}_{X}^{\Delta}$. (While we will not need it, we must have $\gamma_{0}=\gamma$ because a Dynkin chain is a lower order ideal and $\gamma$ is the unique minimal root in ${\mathcal{P}}_{X}$.) By [buch2022positivity, Remark 4.2(c)] we have that $\delta(\gamma_{0}),\delta(\gamma_{1}),\dots,\delta(\gamma_{k})$ forms a walk on ${\mathcal{D}}_{X}$. For a contradiction, assume this walk is not a path. Since ${\mathcal{D}}_{X}$ does not contain any cycles, we can assume without loss of generality that $\delta(\gamma_{i-1})=\delta(\gamma_{i+1})$ for some $i$, where $0<i<k$. By definition,

[TABLE]

where $w_{j}\coloneqq w_{\lambda_{\gamma_{j}}}$. By Lemma 12, we have

[TABLE]

Therefore,

[TABLE]

Note that $(\delta(\gamma_{j}),\delta(\gamma_{j}))=(\gamma_{j},\gamma_{j})$ for all $j$. Hence, by the decreasing condition on lengths (Definition 23 part (2)), we must have $(\delta(\gamma_{i-1}),\delta(\gamma_{i-1}))=(\delta(\gamma_{i}),\delta(\gamma_{i}))=(\delta(\gamma_{i+1}),\delta(\gamma_{i+1}))$, forcing

[TABLE]

As a consequence,

[TABLE]

By (2) and (3), we have

[TABLE]

which is a contradiction. ∎

Corollary 25**.**

Let $\lambda\subseteq{\mathcal{P}}_{X}$ be a lower order ideal. Then $\delta(\lambda\cap{\mathcal{P}}_{X}^{\Delta})=\Delta_{X}^{\lambda}$, and ${\mathcal{D}}_{X}^{\lambda}$ is a connected Dynkin diagram.

Proof.

By [buch2022positivity]*Remark 4.2.(b), for each $\alpha\in\Delta_{X}$, there is a unique minimal root $\beta\in{\mathcal{P}}_{X}$ such that $\delta(\beta)=\alpha$. From Lemma 24 we see that $\beta\in{\mathcal{P}}_{X}^{\Delta}$. It follows that $\delta(\lambda)=\delta(\lambda\cap{\mathcal{P}}_{X}^{\Delta})$. By Lemma 12, we have $\delta(\lambda)=\Delta_{X}^{\lambda}$. Therefore, $\delta(\lambda\cap{\mathcal{P}}_{X}^{\Delta})=\Delta_{X}^{\lambda}$. Note that $\lambda\cap{\mathcal{P}}_{X}^{\Delta}$ is exactly the union of Dynkin chains contained in $\lambda$, and by the proof of Lemma 24, the map $\delta$ sends each Dynkin chain to a path in ${\mathcal{D}}_{X}$ starting from $\gamma$. Therefore, ${\mathcal{D}}_{X}^{\lambda}$ is connected. ∎

Remark 26**.**

Corollary 25 implies that $X^{\prime}$ is the cominuscule flag variety given by the pair $({\mathcal{D}}_{X}^{\lambda},\gamma)$.

The last ingredient is Proposition 27, a purely combinatorial result. Geometrically, it implies that the “minimal” cominuscule flag varieties for Schubert varieties with isomorphic labeled posets are isomorphic.

Proposition 27**.**

Let $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$ be lower order ideals. Then every labeled poset isomorphism between $\lambda$ and $\mu$ induces a graph isomorphism between ${\mathcal{D}}_{X}^{\lambda}$ and ${\mathcal{D}}_{Y}^{\mu}$ that identifies reduced decompositions of $w_{\lambda}$ and $w_{\mu}$.

Proof.

Let $\lambda\subseteq{\mathcal{P}}_{X}$ and $\mu\subseteq{\mathcal{P}}_{Y}$ be lower order ideals and $f:\lambda\to\mu$ a labeled poset isomorphism. Note that $f$ restricts to a labeled poset isomorphism $f:\lambda\cap{\mathcal{P}}_{X}^{\Delta}\to\mu\cap{\mathcal{P}}_{Y}^{\Delta}$, since $\lambda\cap{\mathcal{P}}_{X}^{\Delta}$ is exactly the union of Dynkin chains contained in $\lambda$. Define a map $\psi_{f}:\Delta_{X}^{\lambda}\to\Delta_{Y}^{\mu}$ by $\psi_{f}(\alpha)=\delta\circ f\circ\delta^{-1}(\alpha)$, where $\delta^{-1}:\Delta_{X}\to{\mathcal{P}}_{X}^{\Delta}$ is the inverse of $\delta:{\mathcal{P}}_{X}^{\Delta}\to\Delta_{X}$. Then $\psi_{f}$ is a bijection.

By the proof of Lemma 24, simple roots $\alpha$ and $\beta$ are adjacent vertices in ${\mathcal{D}}_{X}$ if and only if either $\delta^{-1}(\alpha)<\delta^{-1}(\beta)$ or $\delta^{-1}(\beta)<\delta^{-1}(\alpha)$ is a covering relation. Since $\delta$ preserves root lengths, the map $\psi_{f}$ can be extended to a graph isomorphism ${\mathcal{D}}_{X}^{\lambda}\to{\mathcal{D}}_{Y}^{\mu}$.

The identification of reduced decompositions now follows from Lemma 12. ∎

Proof of Proposition 19.

Let $\gamma_{X}$ and $\gamma_{Y}$ denote the cominuscule simple roots corresponding to the cominuscule flag varieties $X$ and $Y$. Let $X^{\prime}$ and $Y^{\prime}$ denote the cominuscule flag varieties given by the pairs $({\mathcal{D}}_{X}^{\lambda},\gamma_{X})$ and $({\mathcal{D}}_{Y}^{\mu},\gamma_{Y})$. Proposition 27 implies the cominuscule flag varieties $X^{\prime}$ and $Y^{\prime}$ are isomorphic. By Lemma 21, this isomorphism restricts to an isomorphism between $X_{\lambda}$ and $Y_{\mu}$, upon identifying them with Schubert varieties in $X^{\prime}$ and $Y^{\prime}$, respectively. ∎

We illustrate the above process with Example 28 and Example 29 below.

Example 28**.**

[TABLE]

therefore, $Q^{6}\cong\operatorname{OG}(4,8)$. This isomorphism comes from a symmetry of the $D_{4}$ Dynkin diagram:

{dynkinDiagram}

[text style/.style=scale=0.9,scale=1.5]Dooo\cong\ \ {dynkinDiagram}[text style/.style=scale=0.9,scale=1.5]Dooo.

Example 29**.**

Let $X=E_{6}/P_{6}$ and $\lambda$ be the lower order ideal depicted on the left below. Then $S(\lambda)=\{s_{1},s_{3},s_{4},s_{5},s_{6}\}$, where $s_{i}$ is the simple reflection corresponding to the simple root labeled by $i$. Therefore, the pair $({\mathcal{D}}_{X}^{\lambda},\gamma)$ is as depicted on the right, isomorphic to that of ${\mathbb{P}}^{5}$, showing $X_{\lambda}\cong X^{\prime}\cong{\mathbb{P}}^{5}$.