\begin{equation} \DeclareMathOperator\Gr{Gr} \DeclareMathOperator\LGr{LGr} \DeclareMathOperator\OGr{OGr} \DeclareMathOperator\SGr{SGr} \DeclareMathOperator\Kzero{K_0} \DeclareMathOperator\index{i} \DeclareMathOperator\rk{rk} \end{equation}

Grassmannian.info

A periodic table of (generalised) Grassmannians.

Odd symplectic Grassmannian $\operatorname{SGr}(4,15)=X^3(7, 4)$

Y Z Y Z Y Z Y Z Y Z Y Z Y Z
Betti numbers
\begin{align*} \mathrm{b}_{ 0 } &= 1 \\ \mathrm{b}_{ 2 } &= 1 \\ \mathrm{b}_{ 4 } &= 2 \\ \mathrm{b}_{ 6 } &= 3 \\ \mathrm{b}_{ 8 } &= 5 \\ \mathrm{b}_{ 10 } &= 6 \\ \mathrm{b}_{ 12 } &= 9 \\ \mathrm{b}_{ 14 } &= 11 \\ \mathrm{b}_{ 16 } &= 15 \\ \mathrm{b}_{ 18 } &= 18 \\ \mathrm{b}_{ 20 } &= 22 \\ \mathrm{b}_{ 22 } &= 26 \\ \mathrm{b}_{ 24 } &= 30 \\ \mathrm{b}_{ 26 } &= 34 \\ \mathrm{b}_{ 28 } &= 37 \\ \mathrm{b}_{ 30 } &= 41 \\ \mathrm{b}_{ 32 } &= 43 \\ \mathrm{b}_{ 34 } &= 46 \\ \mathrm{b}_{ 36 } &= 46 \\ \mathrm{b}_{ 38 } &= 48 \\ \mathrm{b}_{ 40 } &= 46 \\ \mathrm{b}_{ 42 } &= 46 \\ \mathrm{b}_{ 44 } &= 43 \\ \mathrm{b}_{ 46 } &= 41 \\ \mathrm{b}_{ 48 } &= 37 \\ \mathrm{b}_{ 50 } &= 34 \\ \mathrm{b}_{ 52 } &= 30 \\ \mathrm{b}_{ 54 } &= 26 \\ \mathrm{b}_{ 56 } &= 22 \\ \mathrm{b}_{ 58 } &= 18 \\ \mathrm{b}_{ 60 } &= 15 \\ \mathrm{b}_{ 62 } &= 11 \\ \mathrm{b}_{ 64 } &= 9 \\ \mathrm{b}_{ 66 } &= 6 \\ \mathrm{b}_{ 68 } &= 5 \\ \mathrm{b}_{ 70 } &= 3 \\ \mathrm{b}_{ 72 } &= 2 \\ \mathrm{b}_{ 74 } &= 1 \\ \mathrm{b}_{ 76 } &= 1 \end{align*}
Basic information
dimension
38
index
12
Euler characteristic
840
Betti numbers
$\mathrm{b}_{ 0 } = 1$, $\mathrm{b}_{ 2 } = 1$, $\mathrm{b}_{ 4 } = 2$, $\mathrm{b}_{ 6 } = 3$, $\mathrm{b}_{ 8 } = 5$, $\mathrm{b}_{ 10 } = 6$, $\mathrm{b}_{ 12 } = 9$, $\mathrm{b}_{ 14 } = 11$, $\mathrm{b}_{ 16 } = 15$, $\mathrm{b}_{ 18 } = 18$, $\mathrm{b}_{ 20 } = 22$, $\mathrm{b}_{ 22 } = 26$, $\mathrm{b}_{ 24 } = 30$, $\mathrm{b}_{ 26 } = 34$, $\mathrm{b}_{ 28 } = 37$, $\mathrm{b}_{ 30 } = 41$, $\mathrm{b}_{ 32 } = 43$, $\mathrm{b}_{ 34 } = 46$, $\mathrm{b}_{ 36 } = 46$, $\mathrm{b}_{ 38 } = 48$, $\mathrm{b}_{ 40 } = 46$, $\mathrm{b}_{ 42 } = 46$, $\mathrm{b}_{ 44 } = 43$, $\mathrm{b}_{ 46 } = 41$, $\mathrm{b}_{ 48 } = 37$, $\mathrm{b}_{ 50 } = 34$, $\mathrm{b}_{ 52 } = 30$, $\mathrm{b}_{ 54 } = 26$, $\mathrm{b}_{ 56 } = 22$, $\mathrm{b}_{ 58 } = 18$, $\mathrm{b}_{ 60 } = 15$, $\mathrm{b}_{ 62 } = 11$, $\mathrm{b}_{ 64 } = 9$, $\mathrm{b}_{ 66 } = 6$, $\mathrm{b}_{ 68 } = 5$, $\mathrm{b}_{ 70 } = 3$, $\mathrm{b}_{ 72 } = 2$, $\mathrm{b}_{ 74 } = 1$, $\mathrm{b}_{ 76 } = 1$
$G$
$\mathrm{PSp}_{ 14 }$
$\dim G$
98
$\mathrm{Aut}^0(X^3(7, 4))$
$G\ltimes U$
$\dim\mathrm{Aut}^0(X^3(7, 4))$
147

Geometric description
zero locus of $\bigwedge^2\mathcal{U}^\vee$ in $\operatorname{Gr}(4,15)$.
Blowups and projections
role dimension codimension index
$Z=\SGr(3,14)$ Y Z Y Z Y Z Y Z Y Z Y Z Y Z unique closed $\mathrm{Aut}(X^3(7, 4))$-orbit 30 8 12
$Y=\SGr(4,14)$ Y Z Y Z Y Z Y Z Y Z Y Z Y Z other closed $\mathrm{PSp}_{ 14 }$ -orbit 34 4 11
\begin{equation} \xymatrix{ E_{ \SGr(3,14) } \ar@{^{(}->}[r] \ar@{->>}[d] & \operatorname{Bl}_{ \SGr(3,14) } X^3(7, 4) \ar@{->>}[r]^(.6){\mathbb{P}^{ 4 }} \ar@{->>}[d] & \href{/C7/4 }{ \SGr(4,14) } \\ \href{/C7/3 }{ \SGr(3,14) } \ar[r] & X^3(7, 4) } \end{equation} \begin{equation} \xymatrix{ E_{ \SGr(4,14) } \ar@{^{(}->}[r] \ar@{->>}[d] & \operatorname{Bl}_{ \SGr(4,14) } X^3(7, 4) \ar@{->>}[r]^(.6){\mathbb{P}^{ 8 }} \ar@{->>}[d] & \href{/C7/3 }{ \SGr(3,14) } \\ \href{/C7/4 }{ \SGr(4,14) } \ar[r] & X^3(7, 4) } \end{equation}
The exceptional divisor is the partial flag variety Y Z Y Z Y Z Y Z Y Z Y Z Y Z
$ E_{ \SGr(4,14) } \cong E_{ \SGr(3,14) } \cong \mathrm{ C }_{ 7 } / \mathrm{P}_{ 4, 3 } $
Exceptional collections

No full exceptional collection is known for $\mathbf{D}^{\mathrm{b}}(X^3(7, 4))$. Will you be the first to construct one? Let us know if you do!

Quantum cohomology

The small quantum cohomology is generically semisimple.

The big quantum cohomology is generically semisimple.

The eigenvalues of quantum multiplication by $\mathrm{c}_1(X^3(7, 4))$ are given by:

Homological projective duality