\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.

Symplectic Grassmannian $\SGr(4,16)$

Y Z 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 } &= 31 \\ \mathrm{b}_{ 26 } &= 35 \\ \mathrm{b}_{ 28 } &= 39 \\ \mathrm{b}_{ 30 } &= 44 \\ \mathrm{b}_{ 32 } &= 47 \\ \mathrm{b}_{ 34 } &= 51 \\ \mathrm{b}_{ 36 } &= 53 \\ \mathrm{b}_{ 38 } &= 56 \\ \mathrm{b}_{ 40 } &= 56 \\ \mathrm{b}_{ 42 } &= 58 \\ \mathrm{b}_{ 44 } &= 56 \\ \mathrm{b}_{ 46 } &= 56 \\ \mathrm{b}_{ 48 } &= 53 \\ \mathrm{b}_{ 50 } &= 51 \\ \mathrm{b}_{ 52 } &= 47 \\ \mathrm{b}_{ 54 } &= 44 \\ \mathrm{b}_{ 56 } &= 39 \\ \mathrm{b}_{ 58 } &= 35 \\ \mathrm{b}_{ 60 } &= 31 \\ \mathrm{b}_{ 62 } &= 26 \\ \mathrm{b}_{ 64 } &= 22 \\ \mathrm{b}_{ 66 } &= 18 \\ \mathrm{b}_{ 68 } &= 15 \\ \mathrm{b}_{ 70 } &= 11 \\ \mathrm{b}_{ 72 } &= 9 \\ \mathrm{b}_{ 74 } &= 6 \\ \mathrm{b}_{ 76 } &= 5 \\ \mathrm{b}_{ 78 } &= 3 \\ \mathrm{b}_{ 80 } &= 2 \\ \mathrm{b}_{ 82 } &= 1 \\ \mathrm{b}_{ 84 } &= 1 \end{align*}
Basic information
dimension
42
index
13
Euler characteristic
1120
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 } = 31$, $\mathrm{b}_{ 26 } = 35$, $\mathrm{b}_{ 28 } = 39$, $\mathrm{b}_{ 30 } = 44$, $\mathrm{b}_{ 32 } = 47$, $\mathrm{b}_{ 34 } = 51$, $\mathrm{b}_{ 36 } = 53$, $\mathrm{b}_{ 38 } = 56$, $\mathrm{b}_{ 40 } = 56$, $\mathrm{b}_{ 42 } = 58$, $\mathrm{b}_{ 44 } = 56$, $\mathrm{b}_{ 46 } = 56$, $\mathrm{b}_{ 48 } = 53$, $\mathrm{b}_{ 50 } = 51$, $\mathrm{b}_{ 52 } = 47$, $\mathrm{b}_{ 54 } = 44$, $\mathrm{b}_{ 56 } = 39$, $\mathrm{b}_{ 58 } = 35$, $\mathrm{b}_{ 60 } = 31$, $\mathrm{b}_{ 62 } = 26$, $\mathrm{b}_{ 64 } = 22$, $\mathrm{b}_{ 66 } = 18$, $\mathrm{b}_{ 68 } = 15$, $\mathrm{b}_{ 70 } = 11$, $\mathrm{b}_{ 72 } = 9$, $\mathrm{b}_{ 74 } = 6$, $\mathrm{b}_{ 76 } = 5$, $\mathrm{b}_{ 78 } = 3$, $\mathrm{b}_{ 80 } = 2$, $\mathrm{b}_{ 82 } = 1$, $\mathrm{b}_{ 84 } = 1$
$\mathrm{Aut}^0(\SGr(4,16))$
$\mathrm{PSp}_{ 16 }$
$\pi_0\mathrm{Aut}(\SGr(4,16))$
$1$
$\dim\mathrm{Aut}^0(\SGr(4,16))$
136
Projective geometry
minimal embedding

$\SGr(4,16)\hookrightarrow\mathbb{P}^{ 1699 }$

degree
9148307560195614720
Hilbert series
1, 1700, 724812, 129005877, 12260484236, 720879599440, 28914848820000, 847863826112160, 19129771113828336, 345361998039690112, 5144732418303750272, 64813270533150745200, 704514804202026486816, 6718084265478599694560, 56985105614779461763600, 435053074967927131864500, 3019597000934155201828125, 19219347230733477805477500, 113024434259902776022912500, 618158665231293306206165625, ...
Projective duality

The projective dual is a hypersurface.

codimension
1
degree
541692323503856
self-dual
no

[Tevelev, Theorems 9.19 and 10.22 (arXiv version)] [Tevelev, Theorems 7.1–7.2 (arXiv version)] All Grassmannians.

Exceptional collections

Full exceptional collections in $\mathbf D^{\mathrm b}(\SGr(4,16))$:

Quantum cohomology
small
not generically semisimple [Galkin–Leung–Li–Xiong, Theorem 1.2]

Graded dimensions modulo the index $13$: $\widetilde b_{ 1 }=86>85=\widetilde b_{ 5 }$, where $5\equiv 5\cdot 1\pmod{ 13 }$.

big
generically semisimple [Li–Liu–Yu–Zhang, Theorems 1.2 and 1.4]

Convergent near the large-radius limit.

Homological projective duality

No Lefschetz decomposition recorded. Fullness of the Kuznetsov–Polishchuk collection does not give a Lefschetz decomposition. [Kuznetsov–Polishchuk] [Guseva–Novikov, Theorem 1.2]

No HP-dual model recorded.

$k$-Fanoness

Fano but not 2-Fano. [Araujo et al., Theorems 1.3 and 1.4]

References
  1. Kuznetsov, Alexander; Polishchuk, Alexander. Exceptional collections on isotropic Grassmannians. J. Eur. Math. Soc. (JEMS) 18 (2016), 507–574. MR3463417.
  2. Carolina Araujo; Roya Beheshti; Ana-Maria Castravet; Kelly Jabbusch; Svetlana Makarova; Enrica Mazzon; Libby Taylor; Nivedita Viswanathan. Higher Fano Manifolds. Rev. Un. Mat. Argentina 64 (2022), 103–125. arXiv:2110.02339.
  3. Alexander Samokhin; Wilberd van der Kallen. Highest weight category structures on $\operatorname{rep}(B)$ and full exceptional collections on generalized flag varieties over $\mathbb Z$. Preprint (2024). arXiv:2407.13653.
  4. Sergey Galkin; Naichung Conan Leung; Changzheng Li; Rui Xiong; appendix by Pieter Belmans and Markus Reineke. A-D-E diagrams, Hodge–Tate hyperplane sections and semisimple quantum cohomology. Preprint (2025). arXiv:2509.01101.
  5. Lyalya Guseva; Alexander Novikov. Full exceptional collections on the symplectic isotropic Grassmannians. Advances in Mathematics (2026), article 111211. arXiv:2505.13005.
  6. Changzheng Li; Zhaoyang Liu; Tony Yue Yu; Chi Zhang. Convergence and semisimplicity of big quantum cohomology of flag varieties. Preprint (2026). arXiv:2610.28418.

All references.