# Manifolds of low dimension with trivial canonical bundle in Grassmannians

Vladimiro Benedetti

► To cite this version:

Vladimiro Benedetti. Manifolds of low dimension with trivial canonical bundle in Grassmannians. Mathematische Zeitschrift, 2018. hal-01362172v3

HAL Id: hal-01362172

https://hal.science/hal-01362172v3

Submitted on 26 May 2017

HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.

L'archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d'enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.

<figure><img src="image_1.png" /></figure>

Distributed under a Creative Commons Attribution 4.0 International License
# Manifolds of low dimension with trivial canonical bundle in Grassmannians

Vladimiro Benedetti*

May 27, 2017

## Abstract

We study fourfolds with trivial canonical bundle which are zero loci of sections of homogeneous, completely reducible bundles over ordinary and classical complex Grassmannians. We prove that the only hyper-Kähler fourfolds among them are the example of Beauville and Donagi, and the example of Debarre and Voisin. In doing so, we give a complete classification of those varieties. We include also the analogous classification for surfaces and threefolds.

## Contents

<table><tr><td>1</td><td>Introduction</td><td>1</td></tr><tr><td>2</td><td>Preliminaries</td><td>3</td></tr><tr><td>3</td><td>Fourfolds in ordinary Grassmannians</td><td>5</td></tr><tr><td>4</td><td>Fourfolds in classical Grassmannians</td><td>13</td></tr><tr><td>5</td><td>The cases of dimensions two and three</td><td>23</td></tr><tr><td>A</td><td>Euler characteristic</td><td>25</td></tr><tr><td>B</td><td>Tables</td><td>30</td></tr></table>

## 1 Introduction

In Complex Geometry there are interesting connections between special varieties and homogeneous spaces. A striking evidence of this relation is the work of Mukai about Fano manifolds (as a reference, see [Muk88]). Mukai was able to reinterpret families of Fano threefolds as families of subvarieties of homogeneous spaces. His idea was that on a sufficiently general Fano threefold $X$, one can prove the existence of a certain positive vector bundle. Therefore, one gets a morphism, or eventually an embedding, from $X$ to a certain Grassmannian. It

<footnote>*Aix-Marseille Université, CNRS, Centrale Marseille, I2M, UMR 7373, 13453 Marseille, France.</footnote>
turned out that all the families of prime Fano threefolds (for which a classifica-
tion was already known) admitted a nice description in terms of homogeneous
bundles over Grassmannians. This description of the families was also helpful
to understand better their geometry in relation to the well known geometry of
the Grassmannians.

From then, other works have showed the richness of homogeneous spaces
in providing examples of special varieties. For instance, it is generally a dif-
ficult problem to provide explicit families of hyper-Kähler manifolds, and few
are known; among them, two can be seen as varieties of zeroes of a general
global section of a homogeneous vector bundle over a Grassmannian. Both are
fourfolds; the first one is the family of varieties of lines in a cubic fourfold, due
to Beauville and Donagi ([BD85]). The variety of lines in a cubic fourfold is
actually a subvariety of the Grassmannian of (projective) lines on a projective
space of dimension five (Gr(2, 6)). It is the zero locus of a section of the third
symmetric power of the dual of the tautological bundle. We denote this family
of varieties by X₁. The second one, more recent, is due to Debarre and Voisin
([DV10]). They take the Grassmannian Gr(6, 10) of 6-dimensional planes in a
vector space V of dimension ten, and consider a general skew symmetric 3-form
over V. The variety of planes isotropic with respect to this form is the zero
locus of a section (which correspond to the form) of the third anti-symmetric
power of the dual of the tautological bundle. They prove that this is a family,
which we denote by X₂, of fourfolds which are hyper-Kähler.

These two examples motivated the present work. We study fourfolds which
arise as zero loci of general global sections of homogeneous, completely reducible
bundles over ordinary and classical Grassmannians. We will see that the only
hyper-Kähler varieties of this form are those already mentioned; indeed, the
following theorem holds:

**Theorem 1.1.** Suppose Y is a hyper-Kähler fourfold which is the zero locus of a general section of a homogeneous, completely reducible, globally generated vector bundle over an ordinary or classical (symplectic or orthogonal) Grassmannian. Then either Y is of type $X_1$ or of type $X_2$.

This theorem will be a direct consequence of the classification theorems of
the following sections. For ordinary Grassmannians, we followed the analogous
study done in [Kü95], where the author has classified and then studied the
properties of Fano fourfolds with index one obtained in the same way. Already
in that case the two constraints for the varieties to be four dimensional and
Fano of index one were sufficient to have a classification of the bundles which
could give rise to the required varieties.

We will generalize the result by giving a classification of fourfolds with trivial canonical bundle, following substantially the same ideas and proofs. With the help of the MACAULAY2-package SCHUBERT2 ([GS]) we will determine which subvarieties are Calabi-Yau (CY) and which are irreducible holomorphic symplectic (IHS, which is the same as hyper-Kähler) among the examples we have found.

Then we will extend the classification to subvarieties of dimension four of
the other classical Grassmannians. It should be remarked that, even though
the symplectic and orthogonal Grassmannians can already be seen as varieties
of zeroes of sections of homogeneous bundles over the ordinary Grassmannian,
a new classification needs to be done. In fact, there are homogeneous bundles
over the classical Grassmannians that are not restriction of bundles over the
ordinary ones. For instance, the orthogonal of the tautological bundle is not
irreducible, and one can quotient it by the tautological bundle. Moreover, the
spin bundles in the orthogonal case do not extend to a bundle on the ordinary
Grassmannian.

Finally we will present the corresponding results for dimension two and three.
Some interesting varieties in this case have already been studied in detail. In
particular, Mukai proved the unirationality of some moduli spaces of $K3$ surfaces
with a given genus by giving an explicit locally complete family of $K3s$ in a
Grassmannian; those varieties are again zero locus of sections of homogeneous
bundles ([Muk88], [Muk06], and [Muk92]). We give the classification for surfaces
and threefolds and, for the surfaces, we report also the computation of the degree
(which gives the genus of the natural polarization of the surface) and the Euler
characteristic. Surprisingly enough, there are many more cases, and they would
be worth to be studied thoroughly.

As we were finishing the writing of this article, an article by D. Inoue, A. Ito and M. Miura which concerns the same subject has been published on arXiv ([IIM16]). In this work the authors proved that, under the same hypothesis as ours, a finite classification is possible for subvarieties of the ordinary Grassmannian with trivial canonical bundle of any fixed dimension. They also study in more detail the case of CY threefolds, giving an explicit classification similar to ours and studying the cases found. On the other hand, they do not deal with the cases of symplectic and orthogonal Grassmannians, which is interesting too (for example, see Mukai's articles on $K3$ surfaces of genus seven and eighteen).

**Acknowledgements.** This work has been carried out in the framework of the Labex Archimède (ANR-11-LABX-0033) and of the A*MIDEX project (ANR-11-IDEX-0001-02), funded by the “Investissements d’Avenir” French Government programme managed by the French National Research Agency.
I would like to thank my advisor Laurent Manivel for useful and numerous suggestions. Moreover, I would like to thank Alexander Kuznetsov for suggesting to include the case of $OGr(n-1, 2n)$ appearing in section 4.4, although this variety has Picard rank two.

## 2 Preliminaries

In this section we recall some facts about homogeneous bundles over homogeneous varieties; for a more complete exposition see [Ott95]. Afterwards, we recall basic definitions about varieties with trivial canonical bundle, and the Beauville-Bogomolov decomposition.

### 2.1 Homogeneous bundles

Let $G$ be a reductive complex algebraic group (for instance, one of the classical groups $SL(n, \mathbb{C})$, $Sp(2n, \mathbb{C})$, $SO(2n + 1, \mathbb{C})$ or $SO(2n, \mathbb{C})$). A variety $X$ is $G$-homogeneous if it admits a transitive algebraic (left) action of $G$. All homogeneous varieties can be seen as quotients $G/P$ of $G$ by a subgroup $P$. A homogeneous variety $G/P$ is projective and rational if and only if $P$ contains a
Borel subgroup B (it is the case of the Grassmannians); in this case the subgroup P is said to be parabolic. Parabolic subgroups can be classified combinatorially.

A homogeneous vector bundle $\mathcal{F}$ over a homogeneous variety $X$ is a vector bundle which admits a $G$-action compatible with the one on the variety $X = G/P$. If a vector bundle $\mathcal{F}$ is homogeneous, then the fiber $\mathcal{F}_{[P]}$ over the point $[P] \in X$ is stabilized by the subgroup $P$, i.e. $\mathcal{F}_{[P]}$ is a representation of $P$; the converse holds as well. More precisely, there is an equivalence of categories between homogeneous vector bundles over $G/P$ and representations of $P$. Therefore, in this context, one can define irreducible and indecomposable homogeneous bundles, in analogy with the definitions in representation theory.

Note that $P$, contrary to $G$, is not reductive in general. Let $P_U$ be the unipotent factor of $P$ and $P_L$ a Levi factor. The latter is a reductive group. It turns out that a representation $\rho: P \to GL(V)$ (where $V$ is a vector space) is completely reducible if and only if $\rho|_{P_U}$ is trivial. So, completely reducible homogeneous bundles are identified with representations of $P_L$, and these in turn are identified with their maximal weights. This provides a combinatorial way to classify completely reducible homogeneous bundles which consists in indicating the maximal weights of the irreducible representations to which they correspond.

## 2.2 Varieties with trivial canonical bundle

There are three main categories of varieties which can be thought of as the "building blocks" of Kähler varieties with trivial canonical bundle, as suggested by the Beauville-Bogomolov decomposition theorem: complex tori, Calabi-Yau manifolds, and irreducible holomorphic symplectic manifolds. Complex tori of dimension $n$ are just compact quotients of $\mathbb{C}^n$ by a lattice. Let us examine the other two classes in more detail.

For what concerns Calabi-Yau manifolds, in the literature various different definitions can be found; we will use the following one:

**Definition 2.1.** A manifold $X$ with trivial canonical bundle is of Calabi-Yau type if $H^0(X, \Omega_X^0) \cong H^0(X, \Omega_X^{\dim(X)}) \cong \mathbb{C}$, $H^0(X, \Omega_X^k) = 0$ for $1 \le k \le \dim(X)$, and its dimension is at least three.

**Remark 2.2.** Calabi-Yau manifolds are manifolds of Calabi-Yau type which are simply connected.

The condition on the dimension is required because $K3$ surfaces (which meet the requirements of Definition 2.1) are considered to be irreducible holomorphic symplectic surfaces. This brings us to the last class of varieties we consider:

**Definition 2.3.** A manifold $Z$ with trivial canonical bundle and dimension $2n$ is irreducible symplectic holomorphic, or hyper-Kähler, if $H^0(Z, \Omega_Z^*) = \mathbb{C}[\sigma]/\sigma^{n+1}$, where $\sigma \in H^0(Z, \Omega_Z^2)$ is everywhere nondegenerate.

As anticipated before, these definitions gain in importance if we consider the following theorem (see [Bog74]):

**Theorem 2.4 (Decomposition theorem).** Let $Y$ be a compact Kähler simply connected manifold with $K_Y = \mathcal{O}_Y$. Then

$$Y = \prod_i X_i \times \prod_j Z_j$$
where

- $X_i$ are simply connected Calabi-Yau manifolds;

- $Z_j$ are simply connected and irreducible holomorphic symplectic.

This result will be useful later to distinguish which of the varieties that we
find are of Calabi-Yau type and which are irreducible holomorphic symplectic.

3 Fourfolds in ordinary Grassmannians

Let $\mathrm{Gr}(k, n)$ be the Grassmannian of $k$-planes in a $n$-dimensional complex vector
space. Let us denote by $\mathcal{U}$ the tautological bundle of rank $k$ (and $\mathcal{U}^*$ its dual),
and by $\mathcal{Q}$ the tautological quotient bundle of rank $n-k$; $\Lambda^i(E)$ will denote the $i$-
th exterior power of the bundle $E$, and $S^i(E)$ the $i$-th symmetric power of $E$; the
ample generator of the Picard group of the Grassmannian (which corresponds
to $\det(\mathcal{U}^*) = \det(\mathcal{Q})$) will be denoted by $\mathcal{O}(1)$, and $\mathcal{O}(n) = \mathcal{O}(1)^{\otimes n}$.

Our first main theorem is the following:

**Theorem 3.1.** Let $Y$ be a fourfold with $K_Y = \mathcal{O}_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over $\mathrm{Gr}(k,n)$. Up to the identification of $\mathrm{Gr}(k,n)$ with $\mathrm{Gr}(n-k,n)$, the only possible cases are those appearing in Table 2 in Appendix B.

In the classification we have put also the computation of $\chi(\mathcal{O}_Y)$ as it is the
quantity that permits to distinguish between CY and IHS manifolds, as the
former satisfy $\chi(\mathcal{O}_Y) = 2 (H^0(Y, \Omega_Y^2) = 0)$, while the latter satisfy $\chi(\mathcal{O}_Y) = 3$
$(H^0(Y, \Omega_Y^2) = \mathbb{C})$.

All the subvarieties found are CY manifolds, with the exception of the cases
(d7), (d5) and (b12), which we examine now. The case (b12) is the IHS fourfold
appearing in [BD85], while the case (d7) is the one appearing in [DV10].

The case (d5) already appears in [Rei72], where the variety of $n$-planes in
the intersection of two quadrics in a space of dimension $2n + 2$ is proved to be
an abelian variety, the Jacobian variety of an hyperelliptic curve of genus $n+1$.
So, for (d5), $Y$ is an abelian variety.

On the other hand, the case (d6) has $\chi(\mathcal{O}_Y) = 4$ because it is not connected.
In fact it has two connected components, as if one considers the variety $Y_1$
of zeroes of a general section of $S^2\mathcal{U}^*$ in $\mathrm{Gr}(4,8)$, it is the set of maximal
subspaces isotropic with respect to a general symmetric 2-form. It is well known
that $Y_1$ has two connected components. As a consequence, (d6) represents a
CY manifold with two connected components, which can be seen as complete
intersections in the orthogonal Grassmannian $\mathcal{O}\mathrm{Gr}(4,8)$. Note that this variety
in turn is isomorphic to a quadric in $\mathbb{P}^7$, via the embedding given by $\mathcal{O}(\frac{1}{2})$.

**3.1 Classification**

The proof of the theorem will be divided into different lemmas and propositions
which concern the subvarieties of $\mathrm{Gr}(k, n)$ for different choices of $k$ and $n$.

**Notation 3.2.** The notations will be similar to those used in [Kü95]. The Grassmannian $\mathrm{Gr}(k, n)$ will be thought of as the quotient $G/P_k$, where $P_k$ is the maximal parabolic subgroup containing the Borel subgroup of positive
(standard) roots in $G = SL(n, \mathbb{C})$. Every irreducible homogeneous bundle is represented by its highest weight. A weight is represented by $\beta = (\beta_1, ..., \beta_n)$ or by $(\beta_1, ..., \beta_k; \beta_{k+1}, ..., \beta_n)$, where $\beta = \beta_1\lambda_1 + \beta_2(\lambda_2 - \lambda_1) + ... + \beta_n(\lambda_n - \lambda_{n-1})$, and the $\lambda_i$'s are the fundamental weights for $G = SL(n, \mathbb{C})$. All weights can be renormalized so to have $\beta_n = 0$.

A consequence of the homogeneous condition is that as soon as a homogeneous bundle admits non zero global sections, it is globally generated. Another equivalent condition for a bundle to have global sections is the existence of a $G$-representation for the dual of the weight representing the homogeneous bundle: in this case, the $G$-representation in question is canonically isomorphic to the space of global sections (see as a reference [Bot57], or [Ott95, Theorem 11.4]).

**Remark 3.3.** As we work with globally generated bundles, from now on the notation will change: to indicate a bundle with highest weight $\beta$ as before, we will write $(-\beta_k, ..., -\beta_1; \beta_{k+1}, ..., \beta_n)$, which is equivalent to taking the highest weight of the dual representation. In this way, a bundle $\alpha = (\alpha_1, ..., \alpha_n)$ (according to the new notation) is globally generated when $\alpha_1 \ge ... \ge \alpha_n \ge 0$, i.e. when the weight $\alpha$ is dominant under the action of $G$.

*Example 3.4.* Over the Grassmannian $Gr(3, 7)$ of 3-dimensional spaces in a 7-dimensional space, the dual tautological bundle $\mathcal{U}^*$ (of rank 3) will be denoted by its highest weight $(1, 0, 0; 0, 0, 0, 0) = (1, 0, ..., 0)$, the tautological quotient bundle $\mathcal{Q}$ by $(1, 1, 1; 1, 1, 1, 0)$, $\mathcal{O}(1) = \Lambda^3\mathcal{U}^*$ by $(1, 1, 1; 0, ..., 0)$.

The rank of a bundle can be calculated explicitly:

$$ \mathrm{rank}(\beta_1, ..., \beta_n) = \mathrm{dim}(\beta_1, ..., \beta_k) \times \mathrm{dim}(\beta_{k+1}, ..., \beta_n) $$

where

$$ \mathrm{dim}(\beta_1, ..., \beta_r) = \prod_{1 \le i < j \le r} \frac{j - i + \beta_i - \beta_j}{j - i} $$

is the Weyl character formula (see [FH04, Chapter 24] for this formula and similar ones for classical groups).

The formula comes from the fact that the rank of a homogeneous bundle over $G/P$ is the same as the dimension of the $P$-module representing it (see Section 2.1). As the $P$-module is irreducible, it is actually an irreducible module of the Levi factor of $P$, or of its Lie algebra, which is $sl(k) \oplus sl(n-k)$ for $G/P = Gr(k, n)$. Moreover the Weyl character formula gives the dimension of a $sl(r)$-module in terms of its highest weight. Putting these facts together, we obtain the formula for the rank in terms of the weight.

**Remark 3.5.** Analogous formulas for classical Grassmannians will be derived in a similar way; it will therefore be necessary to understand what is the Levi factor of $P$ for symplectic and orthogonal Grassmannians.

The first three results have been proved in Kuchle's paper ([Kü95, Lemma 3.2, Lemma 3.4, Corollary 3.5]). In what follows, we assume that the subvarieties of $Gr(k, n)$ we are constructing are zero loci of general sections of the homogeneous bundle $\mathcal{F}$. This bundle being completely reducible, it can be decomposed as a direct sum $\mathcal{F} = \oplus_i \mathcal{E}_i$.
**Lemma 3.6.** One can assume that the following bundles over Gr(k,n) do not appear as summands in $\mathcal{F} = \oplus_i \mathcal{E}_i$:

(i) the bundles $(1, 0, ..., 0)$ (respectively $(1, ..., 1, 0)$) corresponding to $\mathcal{U}^*$ (resp. $\mathcal{Q}$ on $\mathrm{Gr}(n-k,n)$); (ii) if $2k > n$ the bundles $(1, 1, 0, ..., 0)$ and $(2, 0, ..., 0)$ (resp. $(1, ..., 1, 0, 0)$ and $(2, ..., 2, 0)$ for $2k < n$).

One defines:

$$ \mathrm{dex}(\beta) = \left( \frac{|\beta|_1}{k} - \frac{|\beta|_2}{n-k} \right) \mathrm{rank}(\beta) $$

where $|\beta|_1 = \sum_{i=1}^k \beta_i$ and $|\beta|_2 = \sum_{i=k+1}^n \beta_i$.

**Lemma 3.7.** For $\mathcal{F} = \oplus_i \mathcal{E}_i$ we have

$$ (1) \qquad \mathrm{rank}(\mathcal{F}) = \sum_i \mathrm{rank}(\mathcal{E}_i) = k(n-k) - 4, $$

and

$$ (2) \qquad \sum_i \mathrm{dex}(\mathcal{E}_i) = n. $$

*Proof.* The first formula of this lemma is the same as in [Kü95, Lemma 3.4], on the other hand the second is different as in this case one requires $K_Y = \mathcal{O}_Y$.

However it is worth giving a hint on how to prove equation (2). Let us fix an irreducible $P$-module $V_\beta$ given by the weight $\beta$. Equation (2) is proved if we show that

$$ \det(V_\beta) = L^{\mathrm{dex}(V_\beta)}, $$

where $L$ is the 1-dimensional representation associated to the highest weight $(1, ..., 1; 0, ..., 0)$. Now, the highest weight associated to $\det(V_\beta)$ is the sum of all the weights of $V_\beta$. Moreover, the space of weights is invariant under the action of the Weyl group $W$ of $P$, and for ordinary Grassmannians we have

$$ W = \mathfrak{S}_k \times \mathfrak{S}_{n-k}, $$

where $\mathfrak{S}_r$ stands for the symmetric group on $r$; the action on the weights is the expected one. Therefore, it is straightforward to see that the weight associated to $\det(V_\beta)$ is

$$ (\dim(V_\beta) \frac{|\beta|_1}{k}, \dots, \dim(V_\beta) \frac{|\beta|_1}{k}; \dim(V_\beta) \frac{|\beta|_2}{n-k}, \dots, \dim(V_\beta) \frac{|\beta|_2}{n-k}). $$

By rescaling, this weight is equal to $(\mathrm{dex}(\beta), \dots, \mathrm{dex}(\beta); 0, \dots, 0)$, thus ending the proof $\square$

**Remark 3.8.** The same method used to prove equation (2) can be used when dealing with symplectic and orthogonal Grassmannians. The only difference will be that generally one of the factors of the Weyl group of $P$ will be given by a certain signed symmetric group (here again what matters is the Weyl group of the Levi factor of $P$).

**Corollary 3.9.** Using the correspondence irreducible bundles - weights, in the same hypothesis as before,

(a) for each bundle $\mathcal{E}_i = (\beta_1^i, ..., \beta_n^i)$ we have $\beta_1^i = ... = \beta_k^i$ or $|\beta^i|_2 = 0$;

(b) $\dim(\beta_1, ... \beta_r) \ge \binom{r}{i}$ if $\beta_i > \beta_{i+1}$.
The strategy of the proof is the same as that of [Kü95]. We recall that the bundle $\mathcal{F}$ that defines the fourfold lives on $Gr(k, n)$, $2k \le n$.

**Proposition 3.10** (Classification for $k \le 3$). If $k \le 3$, then for $\mathcal{F}$ we have one of the cases labelled by the letters (a), (b), (c) appearing in Table 2.

Proof. $k = 1$.

If $|\beta|_2 \ne 0$, then $rank(\beta) \ge n - 1 > n - 1 - 4$, so the only possible case is (a).
$k = 2$.

$Gr(2, 4)$ is a Fano variety, so one can suppose that $n \ge 5$. Calculating the rank, one can see that the only possible bundles $\mathcal{E}_i$ are $(p, q; 0, ..., 0)$, $(r, r; 1, 0, ..., 0)$ for $r \ge 1$, $(s, s; 1, ..., 1, 0)$ for $s \ge 2$. If $(s, s; 1, ..., 1, 0)$ is present as an addend, the only possibility is (b3) (if $s \ge 3$, then $dex(s, s; 1, ..., 1, 0) \ge n$). For the same reason, if $(r, r; 1, 0, ..., 0)$ is present, $r = 1$ and one has the cases (b10)(i). Then, one has only the bundles $(p, q; 0, ..., 0)$, for which $\frac{dex}{rank} \ge 1$, which forces $n \le 8$. These are the remaining (b)-cases.
$k = 3$.

One has $n \ge 6$, and, calculating the rank, for $n \ge 9$ the possible bundles are $(p, q, r; 0, ..., 0)$ for $p \ge q \ge r$, $(p, q, r; 0, ..., 0) \ne (1, 0, ..., 0)$, $\ne (0, ..., 0)$; $(r, r, r; 1, 0, ..., 0)$ for $r \ge 1$; $(s, s, s; 1, ..., 1, 0)$ for $s \ge 2$. Supposing among the $\mathcal{E}_i$'s there are bundles different from those mentioned, verifying the possible ranks, no other cases arise for $n = 6$ and $n = 7$ (here one has to eliminate $(1, 1, 1; 1, 1, 0, 0)$ for 3.6), while for $n = 8$ one finds (c7) (again eliminating $(1, 1, 1; 1, 1, 0, 0)$). Now, if the bundle $(s, s, s; 1, ..., 1, 0)$ is present as an addend, one shows that (2) implies $s = 2$, and that $(r, r, r; 1, 0, ..., 0)$ cannot appear. Moreover, as for $(p, q, r; 0, ..., 0)$, $\frac{dex}{rank} \ge \frac{2}{3}$, one can only have the case (c1.1). If $(r, r, r; 1, 0, ..., 0)$ is present, equation (2) implies $r \le 2$ and one easily eliminates also $r = 2$ using equation (1). Therefore we remain with $r = 1$; another bundle of the same kind would give $n \le 8$ for (2), and $n \ge 7$ for (1). Using the remaining bundles $(p, q, r; 0, ..., 0)$ and the relation they satisfy ($\frac{dex}{rank} \ge \frac{2}{3}$), one finds the cases (c2), (c2.1), (c5), (c5.1), (c7.1), (c7.2). Finally, if one has only bundles with $|\beta|_2 = 0$, then $\frac{dex}{rank} \ge \frac{2}{3}$ and $n \le 8$. These are the remaining (c)-cases. $\square$

**Lemma 3.11** ("Reduction of cases"). If

$$ (3) \qquad rank(\beta)(|\beta|_1 - 1) \le k^2 + 4 $$

and not considering the cases (d7) and (d8) in Table 2, then the possible bundles $\beta$ (representing $\mathcal{E}_i$) appearing as addend of $\mathcal{F}$ for $k, n - k \ge 4$ are the following:

$$ (A) = (1, ..., 1, 0; 0, ..., 0) $$

$$ (B) = (1, 1, 0, ..., 0) $$

$$ (C) = (2, 0, ..., 0) $$

$$ (Z) = (2, 1, ..., 1; 0, ..., 0) $$

$$ (D) = (p, ..., p; \beta_{k+1}, ..., \beta_n) $$

**Remark 3.12.** If $\mathcal{F} = \bigoplus_i \mathcal{E}_i$, the expression $k^2 + 4$ is equal to $\sum_i (k(dex(\mathcal{E}_i)) - rank(\mathcal{E}_i)) = kn - kn + k^2 + 4$. So, if one knows that all the terms in the sum are positive, one can apply the lemma to each bundle appearing in $\mathcal{F}$. This is the case, as we will see, of Proposition 3.13.
**Proof.** Let us suppose that the bundle $\beta$ is not of type (D). If $\beta_k \ge 2$, then $\mathrm{rank}(\beta) \ge k$ and $|\beta|_1 - 1 \ge 2k$, which gives a contradiction with (3). So, suppose $\beta_k = 1$. If $\beta \ne (Z)$, it means that $\mathrm{rank}(\beta)(|\beta|_1 - 1) > k(k+1)$, which is a contradiction with (3). So one can suppose that $\beta_k = 0$. If $|\beta| \ge 5$, as $\mathrm{rank}(\beta) \ge \frac{k(k-1)}{2}$, we have a contradiction with (3). If $|\beta| = 4$, (3) implies $k=4$, but by studying the possible cases one sees that none satisfies (3). So $|\beta| \le 3$. Apart from (B) and (C), there are cases $(3,0,...,0)$ (not satisfying (3)), $(2,1,0,...,0)$ (not satisfying (3)), and type (Y), i.e. $(1,1,1,0,...,0)$. This last bundle satisfies (3) only for $k=4, 5, 6$. For $k=4$, $(Y)=(A)$. Let us study the possible appearances of (Y); they will be cases (d7) and (d8).
$k=6$.

For $n=10$, one has necessarily (d7). Suppose now $n \ge 11$ and that, in addition to (Y), there is a bundle $\beta$ of type (D). It must satisfy $\mathrm{rank}(\beta) \le 6n-60$ and $\mathrm{dex}(\beta) \le n-10$. It cannot be $(p,...,p; 1,...,1,0)$ or $(p,...,p; 1,0,...,0)$: as a consequence of (2), among them one is forced to the case $(1,...,1; 1,...,1,0)$, which is not permitted by 3.6. Then, $\mathrm{rank}(\beta) \ge \frac{(n-6)(n-7)}{2}$, which contradicts (1). Therefore $|\beta|_2 = 0$, and $\beta$ satisfies the hypothesis of 3.11 (see remark after the lemma). But $k^2+4-(\mathrm{rank}(Y)(|(Y)|_1-1))=0$, so there is no room for any other summand, and then for any other case.
$k=5$.

Suppose that, in addition to (Y), there is a bundle $\beta$ of type (D). It must satisfy $\mathrm{rank}(\beta) \le 5n-39$, $\mathrm{dex}(\beta) \le n-6$. It cannot be $(p,...,p; 1,...,1,0)$ or $(p,...,p; 1,0,...,0)$ as a consequence of (2) as before. Then, $\mathrm{rank}(\beta) \ge \frac{(n-5)(n-6)}{2}$, which is possible only for $n=9, 10, 11, 12$. For $n=9$, one obtains (d8). For $n=10, 11, 12$, (2) and (1) show that there are no other solutions. Finally, if $|\beta|_2 = 0$, and $\beta$ satisfies the hypothesis of 3.11 (see remark after the lemma), calculating the quantity $\frac{\mathrm{dex}}{\mathrm{rank}}$ for the bundles (A),(B),(C),(Z),(Y) and the line bundles (D), one sees that it is always $\ge \frac{2}{5}$, which means that $\frac{n-6}{5n-39} \ge \frac{2}{5}$, or $n \le 9$; but for $n=9$, one easily sees that no possibility arises if $|\beta|_2 = 0$. $\square$

**Proposition 3.13** (Classification for $k \ge 4$, $|\beta^i|_2 = 0$). Suppose $k, n-k \ge 4$. If the bundles appearing as summands in $\mathcal{F} = \bigoplus_i \mathcal{E}_i$ all satisfy $|\beta^i|_2 = 0$, then the only possible cases are (d1), (d2), (d3), (d4), (d6) of Table 2.

**Proof.** The hypothesis permits to apply 3.11 (see also Remark 3.12 after the lemma). Then the only possible bundles are those mentioned: (A), (B), (C), (Z), (D). Let us define, for a bundle $\beta$, the quantity $\xi = \xi(\beta) = \mathrm{rank}(\beta)(k(\frac{\mathrm{dex}(\beta)}{\mathrm{rank}(\beta)}) - 1)$.

If (Z) is a summand, then $k^2+4-\xi(Z)=4$, and among the other bundles the only one which has $\xi \le 4$ is (D) for $k=5, p=1$. But then $n = \mathrm{dex}(Z) + \mathrm{dex}(D) = k+2$, and this case is in 3.10.

If (A) is a summand, we have $k^2+4-\xi(A)=4+2k$. Then another (A) cannot be added, otherwise, by computing $\xi$, $k=4$ and $n=7$, and this case is in 3.10. Similarly by adding (C). With (B), it is possible to have just $k=5$ and $n=9$, which is prohibited by 3.6, or $k=4$ (cases (d1) and (d9)). Then, if there are just line bundles (D) in addition to (A), by studying $\xi$ we have $p \le 2$, and one can see that all the cases arising have already been studied.

If (B) is a summand, then $k^2+4-\xi(B)=4+\frac{k^2-k}{2}$. Suppose also that there is another (B) ($k^2+4-2\xi(B)=4$); then one can have only a bundle of
type (D) with $p = 2$ (case (d2)) or two bundles of type (D) with $p = 1$ (case (d3)). If instead one supposes that there is a bundle of type (C), one finds the only possibility to be (d4). Finally, by supposing to add just line bundles, then their number must be $k(n-k) - 4 - \text{rank}(B)$, and the sum of their dex must be equal to $n - \text{dex}(B) = n - k + 1$. By imposing $\frac{\text{dex}}{\text{rank}} \ge 1$ (which is true for line bundles), and knowing that $n \ge 2k$ by 3.6, one finds for $k$ the equation $k^2 - k - 10 \le 0$, which has no solution for $k \ge 4$.

If (C) is a summand, then again $k^2 + 4 - \xi(C) = 4 + \frac{k^2-k}{2}$; by adding another (C), one gets only the case (d5): $(2, 0, ..., 0)^{\oplus 2}$ in Gr(4,10). Therefore, let us suppose the other bundles are only line bundles. One must have $0 \le \text{rank}(\mathcal{F}) - \text{rank}(C) \le n - (\text{dex}(C))$ (for line bundles $\frac{\text{dex}}{\text{rank}} \ge 1$). Moreover, by 3.6, one can suppose $n \ge 2$. Putting all together, one finds that the only possible case is (d6).

If there are only bundles of type (D), as $\frac{n}{k(n-k)-4} = \frac{\text{dex}}{\text{rank}} \ge 1$, and as $k, n-k \ge 4$, no other case arises. $\square$

*Proof of the classification.* As a consequence of 3.10, we can suppose $k, n-k \ge 4$. Using the isomorphism of $Gr(k, n)$ with $Gr(n-k, n)$, we suppose also $2k \ge n$. When $2k = n$, $\xi = \text{rank}(\beta)(k(\text{dex}(\beta)) - 1) = \text{rank}(\beta)((n-k)(\text{dex}(\beta)) - 1)$, and this symmetry says that all the bundles satisfy 3.11. Then, dropping the hypothesis $|\beta|_2 = 0$, one only has to "symmetrize" the results found in 3.13; this means that the cases (d2.1), (d3.1) and (d9.1) are to be added.

So, from now on, $2k > n$. As the expressions of the form $(a, ..., a; a, ..., a)$ are not considered, and $\beta_i \ge \beta_{i+1}$, either $\frac{|\beta|_1-1}{k} \ge \frac{|\beta|_2}{n-k}$ or $\frac{|\beta|_1}{k} \ge \frac{|\beta|_2+1}{n-k}$, and in both cases $2k > n$ implies that all the terms of the sum on the right side of $k^2+4 = \sum_i \xi(\mathcal{E}^i)$ are positive. Then 3.11 can be applied. As we have 3.13, and using $\text{Gr}(k, n) \leftrightarrow \text{Gr}(n-k, n)$, one can suppose that there exists $i_0$ for which $|\beta^{i_0}|_2 = 0$ (and it is not a line bundle), but this doesn't hold for every $i$.

By 3.6, this bundle must be either (A) or (Z). As $k \ge 5$, by computing $\xi$, one cannot have: (A) $\oplus$ (Z), (Z) $\oplus$ (Z), (A) $\oplus$ (A). For the bundles of type (D), let us change notation:

$$(p, ..., p; \beta_{k+1}, ..., \beta_n) \to (0, ..., 0; -\delta_1, ..., -\delta_{n-k}) \leftrightarrow (\delta_{n-k}, ..., \delta_1; 0, ..., 0)$$

where $\leftrightarrow$ stands for $\text{Gr}(k, n) \leftrightarrow \text{Gr}(n-k, n)$. Then, if $\beta^{i_0} = (Z)$, $k^2 + 4 - \xi(Z) = 4$; but the presence of a bundle $\delta$ which is of rank $\ne 1$ leads to a contradiction $(\text{rank}(\delta)(\frac{k}{n-k}|\delta| - 1) > (n-k)(|\delta| - 1) \ge 4(|\delta| - 1)$, where $|\delta^i| = \sum_j \delta_j^i)$.

As a result, the bundles present as summands of $\mathcal{F}$ are: one of type (A) and the others of type (D), with at least one which is not a line bundle. One has $k^2 + 4 - \xi(A) = 4 + 2k$. Then the condition $\sum_{i \ne i_0} (\xi(\beta^i)) + \xi(A) = k^2 + 4$ becomes $\sum_{i \ne i_0} (\frac{k}{n-k}|\delta^i| - 1)\text{rank}(\delta^i) = 4 + 2k$. If for such a bundle which is not a line bundle $\delta_1 \ge 1$, then $\text{rank}(\delta)(\frac{k}{n-k}|\delta| - 1) > k(n-k) \ge 4k$, which is a contradiction.

Therefore $\delta_1 = 0$. Define $\psi(\delta) = \text{rank}(\delta)(\frac{k}{n-k}|\delta| - 1)$. If $|\delta| \ge 4$, $\psi(\delta) \ge 3k+1$. So, one is lead to consider $|\delta| = 2, 3$. Among these bundles, with a similar estimate, one can eliminate $\delta = (2, 0, ..., 0)$ and $(3, 0, ..., 0)$; $(1, 1, 0, ..., 0)$ is possible just for $n-k = 4$. But then $n - \text{dex}(A) - \text{dex}(\delta) = 2, k(n-k) - 4 - \text{rank}(A) - \text{rank}(\delta) = 3k - 8$, and one easily verifies that neither line bundles nor the bundles $\beta = (1, ..., 1, 0, 0), (2, ..., 2, 0)$ can be added to give new cases.
Therefore $\delta = 2$ and coming back to the notation with $\beta$, the last cases to study are those with $(A) \oplus (1, ..., 1, 0, 0)$ or $(A) \oplus (2, ..., 2, 0)$.

$\mathcal{F} = (A) \oplus (2, ..., 2, 0) \oplus ...$ In this case $n - dex(A) - dex(2, ..., 2, 0) = 0$, so there cannot be other bundles. Then equation (1) gives

$$0 = 4kn - n^2 - 3k^2 - n - k - 8 = -(n - 2k)^2 + k^2 - n - k - 8 = k^2 - a^2 + a - 8 - 3k$$

where $a = 2k - n$. Integer solutions for $k$ are given only if $4a^2 - 4a + 41 = b^2 = c^2 + 40$, where $c = 2a - 1$, and $b$ is an integer. By writing down all the integer solutions for $(b+c)(b-c) = 40$, none gives new cases.

$\mathcal{F} = (A) \oplus (1, ..., 1, 0, 0) \oplus ...$ In this case $n - dex(A) - dex(1, ..., 1, 0, 0) = 2$, so there cannot be summands other than $(A)$, $(1, ..., 1, 0, 0)$ and line bundles. Then $k(n-k) - 4 - rank(A) - rank(1, ..., 1, 0, 0)$ can be only 2 or 1, and equation (1) gives

$$0 = 4kn - n^2 - 3k^2 + n - 3k - c = -(n - 2k)^2 + k^2 + n - 3k - c = k^2 - a^2 - a - c - k$$

where $a = 2k - n$, and $c$ can be 10 or 12. Integer solutions for $k$ are given only if $4a^2 + 4a + 4c + 1 = b^2 = d^2 + 4c$, where $d = 2a + 1$, and $b$ is an integer. By writing down all the integer solutions for $(b+d)(b-d) = 4c$, for $c = 10, 12$, none gives new cases. □

**Remark 3.14.** Having dealt with the combinatorics of the problem, we turn to the geometry. All the bundles we have considered so far (and appearing in Table 2) are globally generated (Remark 3.3). Therefore, by applying the usual Bertini theorem, our subvarieties with trivial canonical bundle are smooth. The same will hold when dealing with the classical Grassmannians, as in that case too all the bundles considered will be globally generated.

## 3.2 CY vs IHS

We want now to show how to distinguish between CY and IHS manifolds in an efficient way (we have to deal with a great number of cases). The following proposition holds:

**Proposition 3.15.** Suppose $Y$ is a smooth projective fourfold with trivial canonical bundle. If the Euler characteristic of the trivial bundle $\chi(\mathcal{O}_Y)$ is either two or three, then $Y$ is simply connected. Moreover:

- If $\chi(\mathcal{O}_Y) = 2$, then $Y$ is CY;

- If $\chi(\mathcal{O}_Y) = 3$, then $Y$ is IHS;

*Proof.* Let us first suppose to have proven that $Y$ is simply connected. Then we can apply Theorem 2.4. Therefore, our variety $Y$ is a product of CY and IHS manifolds, i.e. it is either a product of two K3 surfaces, or a CY fourfold, or a IHS one. In the first case $\chi(\mathcal{O}_Y) = 4$, in the second $\chi(\mathcal{O}_Y) = 2$ and in the third $\chi(\mathcal{O}_Y) = 3$, thus proving the last assertion.

Next we turn to the proof of simply connectedness of $Y$. As a matter of fact, a generalization of the decomposition Theorem 2.4 holds ([Bea83]): for any compact Kähler manifold $Y$ with trivial canonical bundle, there exists a finite cover $f: Y' \to Y$ of degree $d$ such that

$$Y' = \prod_i X_i \times \prod_j Z_j \times \prod_k T_k$$
where $X_i$ are simply connected CY's, $Z_j$ are simply connected IHS', and $T_k$ are complex tori. Moreover, a well-known formula says:

$$ \chi(Y', \mathcal{O}_{Y'}) = d \chi(Y, \mathcal{O}_Y) $$

Recall also that the Euler characteristic of a product is the product of the Euler characteristics of the single factors, and that $\chi(\mathcal{O}_T) = 0$ for $T$ a complex torus. Then, the only possibilities for $Y'$ are:

- $Y'$ is CY and $\chi(\mathcal{O}_{Y'}) = 2$;

- $Y'$ is IHS and $\chi(\mathcal{O}_{Y'}) = 3$;

- $Y' = K3 \times K3$ and $\chi(\mathcal{O}_{Y'}) = 4$.

- $Y' = CY \times E$ where $E$ is an elliptic curve and $\chi(\mathcal{O}_{Y'}) = 0$;

- $Y' = K3 \times T$ where $T$ is a complex torus of dimension two and $\chi(\mathcal{O}_{Y'}) = 0$;

- $Y'$ is a product of complex tori and $\chi(\mathcal{O}_{Y'}) = 0$.

Therefore, if $\chi(\mathcal{O}_Y)$ is either two or three, then for such a cover $f: Y' \to Y$ the degree is one ($f$ is an isomorphism), and $Y$ is either CY or IHS, and in both cases it is simply connected. □

**Remark 3.16.** Notice that connectedness too is ensured by the hypothesis that $\chi(\mathcal{O}_Y) = 2$ or 3. In fact, the above proof shows that $\chi(\mathcal{O}_Y)$ cannot be equal to one.

For the actual computation of $\chi(\mathcal{O}_Y)$ it is possible to use the *Hirzebruch-Riemann-Roch theorem*, which gives:

$$ \chi(\mathcal{O}_Y) = \int_Y td(Y) $$

where $td(Y) = todd(TY)$ is the todd class of the tangent bundle. SCHUBERT2 allows to compute easily these quantities for subvarieties of Grassmannians.

**Example 3.17.** Here we report an example of computation of $\chi(\mathcal{O}_Y)$ for the case (c6):

$G = flagBundle(3, 4)$

$listtautologicalbundle = bundles G$

$Tstar = dual(listtautologicalbundle\#0)$

$O(1) = det Q$

$F = exteriorPower(2, Tstar)+exteriorPower(2, Tstar)+O(1)+O(1)*O(1)$

$Y = sectionZeroLocus F$

$Tan = tangentBundle Y$

$td = todd Tan$

$chi = integral td$
<figure><img src="image_2.png" /><figcaption>Table 1: Hodge diamond of case (c6)</figcaption></figure>

Another aspect of these varieties that can be studied is their Hodge numbers. A tool which is useful in this sense is the Koszul complex for a variety Y which is the zero variety of a section of a vector bundle $\mathcal{F}$ over another variety G. If the bundle has rank = r, and codim$_G$(Y) = r, then one has the exact sequence:

$$0 \to \Lambda^r \mathcal{F}^* \to \Lambda^{r-1} \mathcal{F}^* \to \dots \to \Lambda^2 \mathcal{F}^* \to \mathcal{F}^* \to \mathcal{O}_G \to \mathcal{O}_Y \to 0$$

Through this complex, tensoring it by any other bundle, it is possible to find the cohomology groups of the restriction of the bundle to Y. Moreover, one can use the short exact sequence

$$0 \to \mathcal{F}^*|_Y \to \Omega_G^1|_Y \to \Omega_Y^1 \to 0$$

to study the cohomology groups of the cotangent bundle of Y. This is not enough in general; one needs to know the cohomology groups on the variety G. But for this it is possible, as G=Gr(k,n) and $\mathcal{F}$ is homogeneous, to use Bott's theorem ([Bot57], [Kü95, Theorem 2.3] for the version that is needed here).

*Example 3.18. It is a (lengthy) exercise to compute the Hodge Diamond of case (c6); the result is displayed in Table 1.*

However, this method takes some time to be employed, though it is not complicated using the Littlewood-Richardson rule. Therefore we decided not to include computations of cohomology groups apart from when necessary.

# 4 Fourfolds in classical Grassmannians

In this section we study subvarieties of classical (symplectic and orthogonal) Grassmannians, showing that a result similar to Theorem 3.1 holds. The geometry of these isotropic Grassmannians is well known (see [FP98, Chapter 6] for some basic properties). They belong to the class of flag manifolds, for which a good reference is [BP05]. Their (classical and quantum) cohomology has been the subject of several studies (for instance, see [BKT09]).
Let $\mathrm{IGr}(k, 2n)$ ($\mathrm{OGr}(k, m)$, $m = 2n, 2n+1$) be the symplectic (orthogonal) Grassmannian of isotropic - with respect to an anti-symmetric (symmetric) non-degenerate form - $k$-planes in a $2n$-dimensional $(2n, 2n+1$ - dimensional) complex vector space. Let us denote $\mathcal{U}$ the tautological bundle of rank $k$ (and $\mathcal{U}^*$ its dual), and $\mathcal{Q}$ the tautological quotient bundle of rank $2n-k$; $\Lambda^i(E)$ will denote the $i$-th exterior power of the bundle $E$, and $S^i(E)$ the $i$-th symmetric power of $E$; the ample generator of the Picard group of the Grassmannian (which corresponds to $\det(\mathcal{U}^*) = \det(\mathcal{Q})$) will be denoted $\mathcal{O}(1)$, and $\mathcal{O}(n) = \mathcal{O}(1)^{\otimes n}$.

Moreover, over $\mathrm{IGr}(k, 2n)$, $\mathcal{U}^{\perp}$ will denote the orthogonal of the tautological bundle (of rank $2n-k$), which is indecomposable but not irreducible: in fact, there is an injective homomorphism $\mathcal{U} \to \mathcal{U}^{\perp}$, and the quotient $\mathcal{U}^{\perp}/\mathcal{U}$ is irreducible of rank $2n-2k$.

Over $\mathrm{OGr}(k, 2n+1)$, $\mathcal{T}_{+\frac{1}{2}}$ will denote the spin bundle of rank $2^{n-k}$, and over $\mathrm{OGr}(k, 2n)$, $\mathcal{T}_{+\frac{1}{2}}$ and $\mathcal{T}_{-\frac{1}{2}}$ will denote the two spin bundles of same rank $2^{n-k-1}$. Finally, over $\mathrm{OGr}(n, 2n)$, the line bundle $\mathcal{O}(1)$ is not a generator of the Picard group. It is actually divisible, and its square root will be denoted $\mathcal{O}(\frac{1}{2})$ (note that over $\mathrm{OGr}(n, 2n+1)$, $\mathcal{T}_{+\frac{1}{2}}$ is again a square root of $\mathcal{O}(1)$). $\mathcal{O}(\frac{1}{2})$ is the line bundle which gives the spinorial embedding of $\mathrm{OGr}(n, 2n)$ in $\mathbb{P}^{2^{n-1}-1}$.

The main theorem is the following.

**Theorem 4.1.** Let $Y$ be a fourfold with $K_Y = \mathcal{O}_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the symplectic Grassmannian $\mathrm{IGr}(k, 2n)$ (respectively the odd orthogonal Grassmannian $\mathrm{OGr}(k, 2n+1)$, the even orthogonal Grassmannian $\mathrm{OGr}(k, 2n)$), and which does not appear in the analogous classification for the ordinary Grassmannian. Up to identifications, the only possible cases are those appearing in Table 3 (respectively Table 4, Table 5).

**Remark 4.2.** The varieties $Y$ appearing in Theorem 4.1 are smooth (see Remark 3.14).

**Remark 4.3.** All the cases studied refer to subvarieties of classical Grassmannians which are the quotient of a classical group $G$ by a parabolic subgroup associated to a single simple root. In fact usually "Grassmannians" refer to these quotients. So, we have skipped the classification of subvarieties of $\mathrm{OGr}(n-1, 2n)$, because in this case the corresponding parabolic subgroup is associated to the last two simple roots of the Dynkin diagram $D_n$. However, for the sake of completeness we have also reported the analogous classification for $\mathrm{OGr}(n-1, 2n)$ at the end of this section.

**Remark 4.4.** It is well known that the Grassmannians $\mathrm{OGr}(n-1, 2n-1)$ and $\mathrm{OGr}(n, 2n)$ are isomorphic. But the bundles which are homogeneous in one case may not be homogeneous in the other. For example, consider $\Lambda^2\mathcal{U}^*$ on $\mathrm{OGr}(n, 2n)$, which is the tangent bundle. Pulling back this bundle via the isomorphism gives the tangent bundle $T$ on $\mathrm{OGr}(n-1, 2n-1)$, which is not a priori the second exterior power of a vector bundle homogeneous with respect to $\mathrm{so}(2n-1)$, and is not irreducible. On the contrary, $\mathcal{O}(1)$ on $\mathrm{OGr}(n, 2n)$ pulls back to the corresponding $\mathcal{O}(1)$ on $\mathrm{OGr}(n-1, 2n-1)$, and the same for $\mathcal{O}(\frac{1}{2})$. So, referring to Table 4 and Table 5, one can easily identify cases (oz3) and (oy1), (oz4) and (oy5), (oz5) and (oy4), (oz7) and (oy1.1).
We break the classification given by Theorem 4.1 into three parts, which cor-
respond to subvarieties in symplectic, odd and even orthogonal Grassmannians.
Furthermore, the method used to understand if the varieties we have found are
CY or IHS is the one already used in Section 3.2. Indeed, we want to apply
Proposition 3.15. In order to do so, we need to compute the Euler characteristic
of the trivial bundle of the variety. This requires some technical facts about the
cohomology of classical Grassmannians; in Appendix A we reported the details
of how to do such a computation.

**4.1 Symplectic Grassmannians**

The symplectic Grassmannian IGr$(k, 2n)$ will be thought of as the quotient $G/P_k$, where $P_k$ is the maximal parabolic subgroup containing the standard Borel subgroup of positive roots in $G = Sp(2n, \mathbb{C})$. Every irreducible homogeneous bundle is represented by its highest weight. A weight is represented by $\beta = (\beta_1, \dots, \beta_n)$ or by $(\beta_1, \dots, \beta_k; \beta_{k+1}, \dots, \beta_n)$ when this notation is needed, where $\beta = (\beta_1 - \beta_2)\lambda_1 + \lambda_2(\beta_2 - \beta_3) + \dots + \lambda_{n-1}(\beta_{n-1} - \beta_n) + \lambda_n\beta_n$, and the $\lambda_i$'s are the fundamental weights for $G = Sp(2n, \mathbb{C})$. Notice that the parabolic algebra Lie$(P_k)$ has Levi factor $sl(k) \oplus sp(2(n-k))$ in general ($k \neq 1, n$), which is straightforward by looking at the Dynkin diagram.

**Notation 4.5.** As we work with globally generated bundles, from now on the notation will change: to indicate a bundle with highest weight $\beta$ as before, we will write $(-\beta_k, \dots, -\beta_1; \beta_{k+1}, \dots, \beta_n)$, which is equivalent to taking the highest weight of the dual representation. In this way, a bundle $\alpha = (\alpha_1, \dots, \alpha_n)$ (according to the new notation) is globally generated when $\alpha_1 \ge \dots \ge \alpha_n \ge 0$, i.e. when the weight $\alpha$ is dominant under the action of $G$. To understand why we use this "dualized" notation, refer to the explication before Remark 3.3.

*Example 4.6.* Over the symplectic Grassmannian IGr(3,14), the dual tautological bundle *U*\* (of rank 3) will be denoted by (1, 0, 0; 0, 0, 0, 0) = (1, 0, ..., 0), and the tautological "orthogonal" bundle *U*<sup>⊥</sup>/*U* (of rank 8) by (0, 0, 0; 1, 0, 0, 0).

The dimension of a bundle can be calculated explicitly: suppose $k \neq 1, n$;

$$
\mathrm{rank}(\beta_1, \dots, \beta_n) = \mathrm{dim}_{\mathrm{sl}(k)}(\beta_1, \dots, \beta_k) \times \mathrm{dim}_{\mathrm{sp}(2(n-k))}(\beta_{k+1}, \dots, \beta_n)
$$

where

$$
dim_{sl(r)}(\beta_1, \dots, \beta_r) = \prod_{1 \le i < j \le r} \frac{j - i + \beta_i - \beta_j}{j - i},
$$

and

$$
dim_{sp(2r)}(\beta_1, \dots, \beta_r) = \prod_{1 \le i < j \le r} \frac{j - i + \beta_i - \beta_j}{j - i} \prod_{1 \le i \le j \le r} \frac{2r + 2 - j - i + \beta_i + \beta_j}{2r + 2 - j - i}
$$

are the Weyl character formula relative to the corresponding Lie algebras (see
[FH04, Chapter 24, Equation 24.19]). This formula is a consequence of the form
of the Levi factor of *P* and of Remark 3.5.

One defines:

$$
dex(\beta) = \left( \frac{|\beta|_1}{k} \right) rank(\beta)
$$
where $|\beta|_1 = \sum_{i=1}^k \beta_i$. Then, similarly to the case for the ordinary Grassmannian (see Remark 3.8),

$$det(\beta) = O(dex(\beta))$$

Therefore, fourfolds with trivial canonical bundle correspond to homogeneous vector bundles $\mathcal{F} = \oplus_i \mathcal{E}_i$, with

$$ (4) \qquad \sum_i \mathrm{rank}(\mathcal{E}_i) = k(2n-k) - \frac{k(k-1)}{2} - 4, $$

$$ (5) \qquad \sum_i dex(\mathcal{E}_i) = 2n - k + 1. $$

### 4.1.1 Classification in symplectic Grassmannian

We recall that $IGr(k, 2n)$ is embedded naturally in $Gr(k, 2n)$ as the zero locus of a general section of $\Lambda^2 U^*$. The following lemma is to avoid repeating cases already considered in Theorem 3.1 and will be used throughout the proof of the classification.

**Lemma 4.7.** Suppose $\mathcal{F} = \oplus_i \mathcal{E}_i$ is as in the hypothesis of Theorem 4.1. In order to find new varieties in $IGr(k, 2n)$ with respect to the case of the ordinary Grassmannian, it is necessary that for at least one bundle $\mathcal{E}_i = \beta_i$, $|\beta_i|_2 \neq 0$

*Proof.* The tautological bundle over $IGr(k, 2n)$ is the restriction of the tautological bundle over $Gr(k, 2n)$. Similarly, the bundle represented by the weight $\beta = (\beta_1, ..., \beta_k, 0, ..., 0)$ over the symplectic Grassmannian is the restriction of the bundle represented by the same weight $\beta$ over the ordinary Grassmannian. Therefore if for all $i$, $|\beta_i|_2 = 0$, the resulting fourfold is already the zero locus of a homogeneous bundle over $Gr(k, 2n)$; as a consequence it has already been considered in Theorem 3.1 □

So, one has to suppose that $k \neq n$. Moreover, if $k = 1$, $IGr(1, 2n) = Gr(1, 2n)$, so one can also suppose $k \neq 1$.

One can assume that $(U^*)^{\oplus 2}$ over $IGr(k, 2n)$ does not appear as summand in $\mathcal{F} = \oplus_i \mathcal{E}_i$; in fact, taking a zero section locus of this bundle in $IGr(k, 2n)$ is equivalent to restricting to the space $IGr(k, 2(n-1))$.

Finally, remark that for any bundle $\mathcal{E}$ globally generated summand of $\mathcal{F}$ (even for the odd and even orthogonal Grassmannians),

$$ (6) \qquad \frac{dex(\mathcal{E})}{rank(\mathcal{E})} = \frac{|\beta|_1}{k} \geq \frac{1}{k}. $$

The proof now consists in studying cases with low $k$ (in $IGr(k, 2n)$), and then eliminating any other possibility.

**Proposition 4.8** (Classification for $k \leq 3$). If $k \leq 3$, as suitable $\mathcal{F}$ (satisfying the hypothesis of Theorem 4.1) one has all and only the bundles appearing in Table 3.
Proof. $k = 2$

In this case $rank(\mathcal{F}) = 4n - 9$, and $dex(\mathcal{F}) = 2n - 1$. If one has the bundle $\lambda$, with $\lambda_1 \neq \lambda_2$ and $|\lambda|_2 \neq 0$, then $rank(\lambda) \geq 2(2(n - 2)) = 4n - 8$, which is impossible; so, by checking the dimensions of the corresponding modules (and comparing with equations (4) and (5)), one remains with the bundles $(p, q; 0, ..., 0)$ for $(p \geq q)$, $(p, p; 1, 0, ..., 0)$ for $n \geq 3$, and finally for $n = 4$ with those mentioned and with $(p, p; 1, 1)$. Then one checks that this gives the bundles $(sb)$ for $n = 3, 4$. For $n > 4$, one knows that there must be one summand of the form $(p, p; 1, 0, ..., 0)$, and one sees that eq. (5) implies $p = 1$. But then

$$ \frac{dex(\mathcal{F}) - dex((1, 1; 1, 0, ..., 0))}{rank(\mathcal{F}) - rank((1, 1; 1, 0, ..., 0))} = \frac{3}{2n - 5} \geq \frac{1}{2} $$

by (6), which means $n = 5$, for which one can check by hand that there is no other possibility.

$k = 3$

In this case $rank(\mathcal{F}) = 6n - 16$, and $dex(\mathcal{F}) = 2n - 2$. Doing the computation by hand, for $n = 4$ one finds all the cases (sc). For a bundle $\beta$ such that there exists $1 \leq i \leq k - 1$ such that $\beta_i < \beta_{i+1}$ and $|\beta|_2 \neq 0$, the minimal value of dex corresponds to the bundle $(2, 1, 1; 1, 0, ..., 0)$. Eq. (5) then says that it cannot appear for $n \geq 5$. Then one only has $(p, q, r; 0, ..., 0)$ or $(p, p, p; \beta_{k+1}, ..., \beta_n)$, and $\beta_{k+1} \neq 0$. As a consequence of eq. (6), there is at least once the bundle $(1, 0, ..., 0)$, therefore $rank(\mathcal{F}) - rank((1, 0, ..., 0)) = 6n - 19$, $dex(\mathcal{F}) - dex((1, 0, ..., 0)) = 2n - 3$. This last equation gives as the only possibility for the second type bundles that $p = 1$, and (for $n \geq 6$) $|\beta|_2 = 1$. Studying separately $n = 5$ and $n \geq 6$ one checks that there are no other cases.

□

Proof of the classification of Table 3. As a consequence of the previous proposition, it is sufficient to show that for $k \geq 4$, there is no bundle $\mathcal{F}$ with the good properties. As one knows $rank(\mathcal{F})$ and $dex(\mathcal{F})$, one finds that, except for the case $k = 4, n = 5$, one of the summands must be $(1, 0, ..., 0)$ (otherwise $\frac{dex(\mathcal{F})}{rank(\mathcal{F})} \geq \frac{2}{k}$). As there cannot be two such bundles, one can write

$$ \frac{dex(\mathcal{F}) - dex((1, 0, ..., 0))}{rank(\mathcal{F}) - rank((1, 0, ..., 0))} \geq \frac{2}{k}, $$

which gives $n \leq k + \frac{1}{2} + \frac{4}{k}$. This implies that the only cases that have to be studied are: $(k, n) = (4, 5)$, $(5, 6)$, $(6, 7)$, $(7, 8)$, $(8, 9)$. If $(k, n) = (4, 5)$, as for at least one bundle $\beta_5 \neq 0$, a similar reasoning on $rank_{dex}$ tells us that there must be one bundle $(1, 0, ..., 0)$. Then, simple combinatorics prevent any bundle to have the good properties. The remaining cases can be inspected explicitly. □

## 4.2 Odd Orthogonal Grassmannians

The odd orthogonal Grassmannian $OGr(k, 2n + 1)$ will be thought of as the quotient $G/P_k$, where $P_k$ is the maximal parabolic subgroup containing the standard Borel subgroup of positive roots in $G = SO(2n + 1, \mathbb{C})$. Every irreducible homogeneous bundle is represented by its highest weight. A weight is represented by $\beta = (\beta_1, ..., \beta_n)$ or by $(\beta_1, ..., \beta_k; \beta_{k+1}, ..., \beta_n)$ when this notation is needed, where $\beta = (\beta_1 - \beta_2)\lambda_1 + \lambda_2(\beta_2 - \beta_3) + ... + \lambda_{n-1}(\beta_{n-1} - \beta_n) + 2\lambda_n\beta_n$,
the $\lambda_i$'s are the fundamental weights for $SO(2n + 1, \mathbb{C})$, and the $\beta_i$'s are all integers or all half integers. Notice that the parabolic algebra $Lie(P_k)$ has Levi factor $sl(k) \oplus so(2(n-k)+1)$ in general ($k \neq 1, n$), which is straightforward by looking at the Dynkin diagram.

**Notation 4.9.** As we work with globally generated bundles, from now on the notation will change: to indicate a bundle with highest weight $\beta$ as before, we will write $(-\beta_k, ..., -\beta_1; \beta_{k+1}, ..., \beta_n)$, which is equivalent to taking the highest weight of the dual representation. In this way, a bundle $\alpha = (\alpha_1, ..., \alpha_n)$ (according to the new notation) is globally generated when $\alpha_1 \ge ... \ge \alpha_n \ge 0$, i.e. when the weight $\alpha$ is dominant under the action of $G$. To understand why we use this "dualized" notation, refer to the explication before Remark 3.3.

**Example 4.10.** Over the orthogonal Grassmannian $OGr(3,15)$, the dual tauto-logical bundle $\mathcal{U}^*$ (of rank 3) will be denoted again by $(1, 0, 0; 0, 0, 0, 0)$, the tauto-logical "orthogonal" bundle $\mathcal{U}^{\perp}/\mathcal{U}$ (of rank 9) by $(0, 0, 0; 1, 0, 0, 0)$. With $\mathcal{T}_{+\frac{1}{2}}$ we will denote the bundle coming from the representation $(-\frac{1}{2}, ..., -\frac{1}{2}; \frac{1}{2}, ..., \frac{1}{2})$.

The dimension of a bundle can be calculated explicitly: suppose $k \neq 1, n$;

$$ \mathrm{rank}(\beta_1, ..., \beta_n) = \mathrm{dim}_{sl(k)}(\beta_1, ..., \beta_k) \times \mathrm{dim}_{so(2(n-k)+1)}(\beta_{k+1}, ..., \beta_n) $$

where

$$ \mathrm{dim}_{so(2r+1)}(\beta_1, ..., \beta_r) = \prod_{1 \le i < j \le r} \frac{j - i + \beta_i - \beta_j}{j - i} \prod_{1 \le i \le j \le r} \frac{2r + 1 - j - i + \beta_i + \beta_j}{2r + 1 - j - i} $$

is the Weyl character formula (see [FH04, Chapter 24, Equation 24.29]). This formula is a consequence of the form of the Levi factor of $P$ and of Remark 3.5. A similar formula holds when $k = 1, n$.

The definition of the function $dex$ is the same as before (see Remark 3.8). Therefore, fourfolds with trivial canonical bundle correspond to homogeneous vector bundles $\mathcal{F} = \sum_i \mathcal{E}_i$, with

$$ (7) \qquad \sum_i \mathrm{rank}(\mathcal{E}_i) = k(2n+1-k) - \frac{k(k+1)}{2} - 4, $$

$$ (8) \qquad \sum_i dex(\mathcal{E}_i) = 2n - k. $$

### 4.2.1 Classification in odd orthogonal Grassmannian

We recall that $OGr(k, 2n+1)$ is embedded naturally in $Gr(k, 2n+1)$ as the zero locus of a general section of $S^2\mathcal{U}^*$. The following lemma is similar to Lemma 4.7.

**Lemma 4.11.** Suppose $\mathcal{F} = \oplus_i \mathcal{E}_i$ is as in the hypothesis of Theorem 4.1. In order to find new varieties in $OGr(k, 2n+1)$ with respect to the case of the ordinary Grassmannian, it is necessary that for at least one bundle $\mathcal{E}_i = \beta, |\beta|_2 \neq 0$ or the $\beta_i$'s are not integers (they can be half integers).

*Proof.* The proof is the same as the one for Lemma 4.7. Notice only that half integer weights are associated to Spin representations. $\square$
One can assume that $(\mathcal{U}^*)$ over $\mathrm{OGr}(k, 2n+1)$ do not appear as summand in $\mathcal{F} = \oplus_i \mathcal{E}_i$; in fact, taking a zero section locus of this bundle in $\mathrm{OGr}(k, 2n+1)$ is equivalent to restricting to the space $\mathrm{OGr}(k, 2n)$.

The classification will be made in three steps: one has to distinguish the three particular cases: $k=n$, $k=n-1$, $k \le n-2$. This is a consequence of the difference in these cases of the Dynkin diagram of $B_n$ with the k-th root removed. The classification in Table 4 is a direct consequence of the following propositions.

**Proposition 4.12** (Classification for $k=n$). *Over OGr(n,2n+1), as suitable F (satisfying the hypothesis of Theorem 4.1) one has all and only the cases (oy) appearing in Table 4.*

*Proof.* Under the hypothesis of the proposition, $(\frac{1}{2}, \dots, \frac{1}{2})$ is a line bundle, "squared root" of $\mathcal{O}(1)$. Moreover, one has $\mathrm{rank}(\mathcal{F}) = \frac{n(n+1)}{2} - 4$, $\mathrm{dex}(\mathcal{F}) = n$. One can study the rate $\frac{\mathrm{dex}}{\mathrm{rank}}$ and obtain constraints. In fact $\mathrm{dex}(2, 0, \dots, 0) = n+1$, so this bundle cannot appear. On the other hand $\mathrm{dex}(1, 1, 0, \dots, 0) = n-1 = \mathrm{dex}(1, \dots, 1, 0)$, and for all the other bundles which are not line bundles, $\mathrm{dex}$ is greater than $n$. If $(1, 1, 0, \dots, 0)$ appears, $\mathrm{rank}(\mathcal{F}) - \mathrm{rank}(1, 1, 0, \dots, 0) = n-4$. As there must be also at least one bundle with half integers, the only possibility is $n=6$, i.e. $(oy6)$. Therefore, except for this case, one checks that for all the other possible bundles, and therefore for $\mathcal{F}$, $\frac{\mathrm{dex}}{\mathrm{rank}} \ge \frac{1}{2}$, which implies $n \le 4$. This gives the other cases $(oy)$. $\square$

**Proposition 4.13** (Classification for $k = n - 1$). *Over OGr(n-1,2n+1), as suitable F (satisfying the hypothesis of Theorem 4.1) one has all and only the cases (ox) appearing in Table 4.*

*Proof.* In this case notice that $(0, \dots, 0; \beta)$ is of rank $2\beta + 1$. If $n \ne 3, 4$, the minimal ratio $\frac{\mathrm{dex}}{\mathrm{rank}}$ is $\frac{2}{n-1}$ given by $(1, 1, 0, \dots, 0)$. But this implies $n \le 3$. So the only cases to study are $n=3, n=4$, and this gives the cases $(ox)$. $\square$

**Proposition 4.14** (Classification for $k \le n-2$). *If $k \le n-2$, over $\mathrm{OGr}(k, 2n+1)$, as suitable $\mathcal{F}$ (satisfying the hypothesis of Theorem 4.1) one has all and only the cases $(ob0)$, $(ob0.1)$ appearing in Table 4.*

*Proof.* With this hypothesis too, except for $k \le 3$, we have $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})} \ge \frac{2}{k}$, which implies $k \le 1$. So three cases have to be considered.

If $k=1$, one easily sees that no possibility matches the requirements.

If $k=2$, $\mathrm{rank}(\mathcal{F}) = 4n-9$, $\mathrm{dex}(\mathcal{F}) = 2n-2$, and if $n \ge 4$ then $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})} < 1$, therefore there must be at least one bundle $(\frac{1}{2}, \dots, \frac{1}{2})$, whose rank is $2^{n-2}$. This means that $2^{n-2} \le 4n-9$, so $3 \le n \le 5$. For $n=4$, one gets the cases $(ob0)$, $(ob0.1)$, and no case for $n=5$.

If $k=3$, the same argument as before gives $5 \le n \le 8$, and inspecting case by case one finds that no other variety arises. $\square$

## 4.3 Even Orthogonal Grassmannians

The even orthogonal Grassmannian $\mathrm{OGr}(k, 2n)$ will be thought of as the quotient $G/P_k$, where $P_k$ is the maximal parabolic subgroup containing the standard
Borel subgroup of positive roots in $G = SO(2n, \mathbb{C})$. Every irreducible homogeneous bundle is represented by its highest weight. A weight is represented by $\beta = (\beta_1, ..., \beta_n)$ or by $(\beta_1, ..., \beta_k; \beta_{k+1}, ..., \beta_n)$ when this notation is needed, where $\beta = (\beta_1 - \beta_2)\lambda_1 + \lambda_2(\beta_2 - \beta_3) + ... + \lambda_{n-1}(\beta_{n-1} - \beta_n) + \lambda_n(\beta_{n-1} + \beta_n)$, the $\lambda_i$'s are the fundamental weights for $SO(2n, \mathbb{C})$, and the $\beta_i$'s are all integers or all half integers. Notice that the parabolic algebra $\mathrm{Lie}(P_k)$ has Levi factor $\mathrm{sl}(k) \oplus \mathrm{so}(2(n-k))$ in general ($k \neq 1, n, n-1$), which is straightforward by looking at the Dynkin diagram.

**Notation 4.15.** As we work with globally generated bundles, from now on the notation will change: to indicate a bundle with highest weight $\beta$ as before, we will write $(-\beta_k, ..., -\beta_1; \beta_{k+1}, ..., \beta_n)$, which is equivalent to taking the highest weight of the dual representation. In this way, a bundle $\alpha = (\alpha_1, ..., \alpha_n)$ (according to the new notation) is globally generated when $\alpha_1 \ge ... \ge \alpha_{n-1} \ge |\alpha_n|$, i.e. when the weight $\alpha$ is dominant under the action of $G$. To understand why we use this "dualized" notation, refer to the explication before Remark 3.3.

**Example 4.16.** Over the orthogonal Grassmannian $OGr(\beta, 14)$, with $\mathcal{T}_{\pm\frac{1}{2}}$ we will denote $(-\frac{1}{2}, ..., -\frac{1}{2}; \frac{1}{2}, ..., \frac{1}{2}, \pm\frac{1}{2})$ the bundle coming from the spin representations.

The dimension of a bundle can be calculated explicitly: suppose $k \neq 1, n, n-1$; then

$$ \mathrm{rank}(\beta_1, ..., \beta_n) = \mathrm{dim}_{\mathrm{sl}(k)}(\beta_1, ..., \beta_k) \times \mathrm{dim}_{\mathrm{so}(2(n-k))}(\beta_{k+1}, ..., \beta_n) $$

where

$$ \mathrm{dim}_{\mathrm{so}(2r)}(\beta_1, ..., \beta_r) = \prod_{1 \le i < j \le r} \frac{j - i + \beta_i - \beta_j}{j - i} \prod_{1 \le i < j \le r} \frac{2r - j - i + \beta_i + \beta_j}{2r - j - i} $$

is the Weyl character formula (see [FH04, Chapter 24, Equation 24.41]). This formula is a consequence of the form of the Levi factor of $P$ and of Remark 3.5. A similar formula holds when $k = 1, n$.

The definition of the function $\mathrm{dex}$ is the same as before (see Remark 3.8). Therefore, fourfolds with trivial canonical bundle correspond to homogeneous vector bundles $\mathcal{F} = \sum_i \mathcal{E}_i$, with

$$ (9) \qquad \sum_i \mathrm{rank}(\mathcal{E}_i) = k(2n-k) - \frac{k(k+1)}{2} - 4, $$

$$ (10) \qquad \sum_i \mathrm{dex}(\mathcal{E}_i) = 2n - k - 1. $$

### 4.3.1 Classification in even orthogonal Grassmannian

We recall that $OGr(k, 2n)$ is embedded naturally in $Gr(k, 2n)$ as the zero locus of a general section of $S^2U^*$. The following lemma is similar to Lemma 4.7.

**Lemma 4.17.** Suppose $\mathcal{F} = \oplus_i \mathcal{E}_i$ is as in the hypothesis of Theorem 4.1. In order to find new varieties in $OGr(k, 2n)$ with respect to the case of the ordinary Grassmannian, it is necessary that for at least one bundle $\mathcal{E}_i = \beta$, $|\beta|_2 \neq 0$ or the $\beta_i$'s are not integers (they can be half integers).
*Proof.* The proof is the same as the one for Lemma 4.7. Notice only that half integer weights are associated to Spin representations. □

One can assume that $\mathcal{U}^*$ over $\mathrm{OGr}(k, 2n)$ does not appear as summand in $\mathcal{F} = \oplus_i \mathcal{E}_i$; in fact, taking a zero section locus of this bundle in $\mathrm{OGr}(k, 2n)$ is equivalent to restricting to the space $\mathrm{OGr}(k, 2n - 1)$.

The classification will be made in three steps: one has to distinguish the three particular cases: $k = n$, $k = n - 2$, $k \le n - 3$. This is due to the difference in these cases of the Dynkin diagram of $D_n$ with the k-th root removed. The classification of Table 5 is a direct consequence of the following propositions.

**Proposition 4.18 (Classification for $k = n$).** Over $\mathrm{OGr}(n, 2n)$, as suitable $\mathcal{F}$ (satisfying the hypothesis of Theorem 4.1) one has all and only the cases (oz) appearing in Table 5.

*Proof.* The only bundles that do not appear in the classical Grassmannian are those with half integer coefficients. One checks that equations (9) and (10) make it impossible to have twice the bundle $(\frac{1}{2}, \dots, \frac{1}{2}, -\frac{1}{2})$. If it appears even once, eq. (10) implies that no bundle with integer coefficients which is not a line bundle can appear, therefore $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})} \ge \frac{1}{2}$, which gives $n = 5, 6$. One obtains therefore (oz1) and (oz2). If the bundle $(\frac{1}{2}, \dots, \frac{1}{2}, -\frac{1}{2})$ is not present, the same argument as before gives that $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})} \ge \frac{1}{2}$, which gives the remaining cases (oz). □

**Proposition 4.19 (Classification for $k = n - 2$).** Over $\mathrm{OGr}(n-2, 2n)$, as suitable $\mathcal{F}$ (satisfying the hypothesis of Theorem 4.1) one has all and only the cases (ow) appearing in Table 5.

*Proof.* In this case the Levi factor of $\mathrm{Lie}(P)$ is given by the Dynkin diagram $D_n$ where the $(n-2)$-th root has been removed. Therefore its semisimple part is equal to $\mathrm{sl}(n-2) \oplus \mathrm{sl}(2) \oplus \mathrm{sl}(2)$. Then, following Remark 3.5, we have for a bundle $\beta = (\beta_1, \dots, \beta_n)$,

$$ \mathrm{rank}(\beta) = \mathrm{dim}_{\mathrm{sl}(n-2)}(\beta_1, \dots, \beta_{n-2}) \times \mathrm{dim}_{\mathrm{sl}(2)}(\beta_{n-1}, \beta_n) \times \mathrm{dim}_{\mathrm{sl}(2)}(\beta_{n-1}, -\beta_n) $$

If $n \ne 3, 4, 5$, the minimal ratio $\frac{\mathrm{dex}}{\mathrm{rank}}$ is $\frac{2}{n-2}$ given by $(1, 1, 0, \dots, 0)$. But this implies $n \le 4$. So the only cases to study are $n = 3, n = 4$ and $n = 5$, and this gives the cases (ow). □

**Proposition 4.20 (Classification for $k \le n - 3$).** If $k \le n - 3$, over $\mathrm{OGr}(k, 2n)$, as suitable $\mathcal{F}$ (satisfying the hypothesis of Theorem 4.1) one has all and only the cases (ob) appearing in Table 5.

*Proof.* With this hypothesis, except for $k \le 3$, we have $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})} \ge \frac{2}{k}$, which implies $k \le 1$. So three cases have to be considered.

If $k = 1$, one easily sees that no possibility matches the requirements.

If $k = 2$, as in the analogous proposition for the odd orthogonal Grassmannian, there must be at least one bundle $(\frac{1}{2}, \dots, \pm \frac{1}{2})$, whose rank is $2^{n-3}$. As $\mathrm{rank}(\mathcal{F}) = 4n - 11$, this gives $5 \le n \le 7$. Therefore, studying case by case, one recovers all the cases (ob).

If $k = 3$, the same reason as before gives $6 \le n \le 9$. But in all these cases, $\frac{\mathrm{dex}(\mathcal{F})}{\mathrm{rank}(\mathcal{F})}$ is less than $\frac{1}{2}$, therefore no other case arises. □
## 4.4 The case of $OGr(n-1, 2n)$

Let $OGr(n-1, 2n)$ be the orthogonal Grassmannian of isotropic $(n-1)$-planes in a $2n$-dimensional complex vector space. This variety is different in nature from those considered up to now, as it is not a generalized Grassmannian in the usual sense (it has Picard rank equal to 2).

It is well known that the zero locus of a general section of $S^2U^*$ in $Gr(n, 2n)$ consists of two components $OGr_+$ and $OGr_-$, each of which is a copy of $OGr(n, 2n)$. For each point $W_+ \in OGr_+$, and $W_- \in OGr_-$ such that $dim(W_+ \cap W_-) = n-1$, let us denote $W := W_+ \cap W_-$. Then $W \in G := OGr(n-1, 2n)$. Moreover, given $W \in G$, one can recover $W_+$ and $W_-$ in a unique way, i.e. there exist two morphisms

$$ \pi_{+/-} : G \to OGr_{+/-} , \quad W \mapsto W_{+/-} . $$

Over $OGr_+$ (respectively $OGr_-$) there is a line bundle $\mathcal{O}(\frac{1}{2})_+$ (resp. $\mathcal{O}(\frac{1}{2})_-$) which is the square root of the restriction to $OGr_+$ (resp. $OGr_-$) of $\mathcal{O}(1)$ over $Gr(n, 2n)$. Therefore there are two line bundles $\mathcal{L}_+ := \pi_+^*\mathcal{O}(\frac{1}{2})_+$ and $\mathcal{L}_- := \pi_-^*\mathcal{O}(\frac{1}{2})_-$ over $G$. In fact, it can be shown that the Picard group of $G$ is generated by those two line bundles. This description corresponds to the following picture from the point of view of quotients of $SO(2n, \mathbb{C})$.

Recall that $P_i$ denotes the parabolic subgroup of $SO(2n, \mathbb{C})$ corresponding to the $i$-th simple root. The even orthogonal Grassmannian $OGr(n-1, 2n)$ can be thought of as the quotient $G/P_{n,n-1}$, where $P_{n,n-1}$ is the parabolic subgroup $P_n \cap P_{n-1}$. The reason why $G$ is not considered to be a Grassmannian is exactly because the parabolic subgroup $P_{n,n-1}$ is associated to two, and not one, simple roots. This also explains why $Pic(G) = \mathbb{Z}^2$ (general theory of homogeneous spaces). The two morphisms $\pi_+$ and $\pi_-$ correspond to the two projections

$$ G = G/P_{n,n-1} \to G/P_n \cong OGr_+ $$

and

$$ G = G/P_{n,n-1} \to G/P_{n-1} \cong OGr_- . $$

Now we want to understand the relation between $\mathcal{L}_+$, $\mathcal{L}_-$, and $\mathcal{O}(1)$ (which is the restriction to $G$ of the Plücker line bundle $\mathcal{O}(1)$ over $Gr(n-1, 2n)$). Let $U$ be the tautological bundle of rank $n-1$ (and $U^*$ its dual) on $G$. As already mentioned for the classical Grassmannians, there is a vector bundle $U^\perp/U$ over $G$ of rank 2. Let us also denote $U_\pm$ the tautological bundles over $OGr_\pm$ restricted to $G$. Then, $U^\perp = U_+ + U_- \subset \mathbb{C}^{2n}$, where the sum is not direct, and, as a consequence,

$$ U^\perp/U = U_+/U \oplus U_-/U . $$

In this second equation the sum is actually a direct sum (this comes from the fact that $W = W_+ \cap W_-$ for $W$ an isotropic $(n-1)$-plane in $\mathbb{C}^{2n}$). The quadratic form on $\mathbb{C}^{2n}$ restricts to a form on $U^\perp$. Since this form descends to a form on $U^\perp/U$ which is non degenerate, then $U^\perp/U \cong (U^\perp/U)^*$, which implies $det(U^\perp/U) = 0$. Moreover $det(U_\pm) = \pi_\pm^*\mathcal{O}(\frac{1}{2})^{\otimes 2}$. By taking the determinant of the bundles in the previous equation, we get the important relation

$$ \mathcal{L}_+ \otimes \mathcal{L}_- = \mathcal{O}(1) . $$

The following theorem holds:
**Theorem 4.21.** Let $Y$ be a fourfold with $K_Y = \mathcal{O}_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the even orthogonal Grassmannian $\mathrm{OGr}(n-1, 2n)$ (and which does not appear in the analogous classification for the classical Grassmannian). Up to identifications, the only possible cases are those appearing in Table 6.

For the proof of the theorem, every irreducible homogeneous bundle is represented by its highest weight. The notations for the bundles on $\mathrm{OGr}(n-1, 2n)$ are the same as those used for $\mathrm{OGr}(k, 2n)$ for general $k$, as well as the formula for rank and dex of the bundles (notice that the parabolic algebra $\mathrm{Lie}(P_{n-1,n})$ has Levi factor $sl(n-1)$). The line bundles $\mathcal{L}_+$ and $\mathcal{L}_-$ will be respectively denoted by $(\frac{1}{2}, \dots, \frac{1}{2})$ and $(\frac{1}{2}, \dots, \frac{1}{2}, -\frac{1}{2})$. Finally, the canonical bundle of $\mathrm{OGr}(n-1, 2n)$ is a tensor power of $\mathcal{O}(1)$.

Fourfolds with trivial canonical bundle correspond to homogeneous vector bundles $\mathcal{F} = \sum_i \mathcal{E}_i$, with

$$ (11) \qquad \sum_i \mathrm{rank}(\mathcal{E}_i) = (n-1)(n+1) - \frac{(n-1)(n)}{2} - 4, $$

$$ (12) \qquad \sum_i \mathrm{dex}(\mathcal{E}_i) = n. $$

In order to find new varieties with respect to the case of the ordinary Grassmannian, it is necessary that for at least one bundle $\mathcal{E}_i = \beta, |\beta|_n \neq 0$ or the $\beta_i$'s are not integers (they can be half integers).

*Proof of theorem 4.21.* Suppose the variety is embedded in $\mathrm{OGr}(n-1, 2n)$, with $n \ge 4$. Then, for any irreducible homogeneous globally generated bundle $\mathcal{E}_i$ which is a component of $\mathcal{F}$, we have $\frac{\mathrm{dex}(\mathcal{E}_i)}{\mathrm{rank}(\mathcal{E}_i)} \ge \frac{2}{n-1}$. By using equations (12) and (11), we get the inequality $n \le 5$. Then, the theorem follows by inspecting all the possible cases. It should be remarked that, if $\mathcal{F} = \oplus_i \mathcal{E}_i = \oplus_i (\beta_1^i, \dots, \beta_n^i)$ is a suitable vector bundle, then $\sum_i \mathrm{rank}(\mathcal{E}_i) * \beta_n^i = 0$, which assures that $\mathrm{det}(\mathcal{F})$ is a multiple of $\mathcal{O}(1)$, as $K_{\mathrm{OGr}(n-1,2n)}$ is. $\square$

# 5 The cases of dimensions two and three

In this final section, we will give the analogous results of the previous classifications of varieties with trivial canonical bundle in dimensions two and three. The proofs don't present anything new from the previous ones, they follow the exact same strategy, so we omit them. It is perhaps worth remarking that the first problem is to prove the finiteness of the number of such varieties in Grassmannians (for the ordinary Grassmannian, see [IIM16]). The notations are the same used in the previous classifications.

We will begin with the classification in dimension 3.

**Theorem 5.1.** Let $Y$ be a threefold with $K_Y = \mathcal{O}_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over $\mathrm{Gr}(k, n)$. Up to the identification of $\mathrm{Gr}(k,n)$ with $\mathrm{Gr}(n-k,n)$, the only possible cases are those appearing in Table 7.
This classification, as already mentioned in the introduction, appears also in [IIM16]. However, we point out the fact that in [IIM16], the cases (c3), (d3.1) and (d2.1) do not appear. The bundles which define them are analogous to the one appearing respectively in the cases (c2), (d3) and (d2), and in fact there are isomorphisms (c3) ≅ (c2), (d3.1) ≅ (d3) and (d2.1) ≅ (d2). These isomorphisms come from the fact that all these cases live in the symplectic Grassmannian IGr(n, 2n), on which there is a canonical isomorphism of bundles $U^* \cong Q$.

**Theorem 5.2.** Let $Y$ be a threefold with $K_Y = O_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the symplectic Grassmannian IGr$(k, 2n)$ (respectively the odd orthogonal Grassmannian OGr$(k, 2n+1)$, the even orthogonal Grassmannian OGr$(k, 2n)$) and which does not appear in the analogous classification for the ordinary Grassmannian. Up to identifications, the only possible cases are those appearing in Table 8 (respectively Table 9, Table 10).

**Theorem 5.3.** Let $Y$ be a threefold with $K_Y = O_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the even orthogonal Grassmannian OGr$(n-1, 2n)$ (and which does not appear in the analogous classification for the classical Grassmannian). Up to identifications, the only possible cases are those appearing in Table 11.

Now, the classification for dimension two (K3 surfaces). In this case we reported the degree of the surface with respect to the bundle $O(\frac{1}{2})$ for the varieties in OGr(n, 2n+1) and OGr(n, 2n), and with respect to the bundle $O(1)$ in the other cases. For $OGr(n-1, 2n)$, we reported the degree with respect to $O(1)$, $\mathcal{L}_+$ and $\mathcal{L}_-$. In this way, one also gets the genus of the K3 (by the well known formula degree = 2 genus - 2).

**Theorem 5.4.** Let $Y$ be a surface with $K_Y = O_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over $Gr(k, n)$. Up to the identification of $Gr(k, n)$ with $Gr(n-k, n)$, the only possible cases are those appearing in Table 12.

**Theorem 5.5.** Let $Y$ be a surface with $K_Y = O_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the symplectic Grassmannian IGr$(k, 2n)$ (respectively the odd orthogonal Grassmannian OGr$(k, 2n+1)$, the even orthogonal Grassmannian OGr$(k, 2n)$) and which does not appear in the analogous classification for the ordinary Grassmannian. Up to identifications, the only possible cases are those appearing in Table 13 (respectively Table 14, Table 15).

**Theorem 5.6.** Let $Y$ be a surface with $K_Y = O_Y$ which is the variety of zeroes of a general section of a homogeneous, completely reducible, globally generated vector bundle $\mathcal{F}$ over the even orthogonal Grassmannian OGr$(n-1, 2n)$ (and which does not appear in the analogous classification for the classical Grassmannian). Up to identifications, the only possible cases are those appearing in Table 16.

In the classifications concerning K3 surfaces, we have marked the varieties which have already been studied by Mukai with $M$. In particular: cases $M.(b10)$,
$M.(oy5)$, $M.(b13)$, $M.(c6)$ are in [Muk88]; case $M.(c9)$ is in [Muk06]; cases $M.(ox5)$, $M.(d3)$ are in [Muk92].

There are many other cases which have not been examined yet, and they are worth being considered in more detail, as we intend to do in the next future.

As a final remark, let us note that the classifications given in this paper give for free the analogous classifications for Fano threefolds, fourfolds and fivefolds. It suffices to individuate the varieties for which the bundle $\mathcal{F}$ contains a line bundle; this means that the variety with trivial canonical bundle lives in a Fano manifold of dimension greater by one as a hyperplane section of a certain very ample line bundle. What the previous classifications do not give automatically in general is the index of those Fano manifolds.

# A Euler characteristic

The computation of the Euler characteristic of the trivial bundle $\mathcal{O}_Y$ can be done in two different ways. The first one is applicable in general only for the symplectic and odd orthogonal Grassmannians, while the second one can be applied to all the Grassmannians (and actually is lighter in terms of computational time).

For symplectic and odd orthogonal Grassmannians one knows that one can choose multiplicative generators of the cohomology to be the Chern classes of the quotient bundle $\mathcal{Q}$. This is the tautological quotient bundle of the classical Grassmannian in which the symplectic and odd orthogonal Grassmannians embedded naturally (as a reference, one can see [Tam05, Theorem 8, Theorem 12]). For instance, $IGr(k, 2n)$ embeds in $Gr(k, 2n)$ as the zero locus of a section of $\Lambda^2\mathcal{U}^*$. Then, suppose to be able to express the Chern classes of the bundle $\mathcal{F}$ which defines $Y$ in $IGr(k, 2n)$ in terms of the Chern classes of $\mathcal{Q}$, which live in the cohomology of $Gr(k, 2n)$. Then, the computation can be made in this last space. In fact, $[Y] = c_{top}(\mathcal{F})$ in the cohomology ring of $IGr$, $[IGr] = c_{top}(\Lambda^2\mathcal{U}^*)$ in the cohomology ring of $Gr$, and $\int_Y(\cdot) = \int_{IGr}(\cdot)[Y] = \int_{Gr}(\cdot)[Y][IGr]$. Therefore, one has:

$$ \chi(\mathcal{O}_Y) = \int_Y \mathrm{todd}(T_Y) = \int_{IGr} \frac{\mathrm{todd}(T_{IGr})}{\mathrm{todd}(\mathcal{F})} c_{top}(\mathcal{F}) = \\ = \int_{Gr} \frac{\mathrm{todd}(T_{Gr}) c_{top}(\Lambda^2(\mathcal{U}^*))}{\mathrm{todd}(\mathcal{F}) \mathrm{todd}(\Lambda^2(\mathcal{U}^*))} c_{top}(\mathcal{F}). $$

In the second equality we have used the fact that the *Todd class* is multiplicative with respect to short exact sequences, and we have applied this to the normal sequence for $Y$:

$$ 0 \to T_Y \to T_{IGr}|_Y \to \mathcal{F}|_Y \to 0 $$

Then, as in the case of the classification of fourfolds in the classical Grassmannian, one can use the MACAULAY2 package SCHUBERT2 to do the computation. In the symplectic Grassmannian concretely there is essentially one bundle for which one needs to find the relation with the Chern classes of $\mathcal{Q}$, namely $(\mathcal{U}^{\perp}/\mathcal{U})(1)$. This is given by the exact sequence:

$$ 0 \to \mathcal{U}^{\perp}/\mathcal{U}(1) \to \mathcal{Q}(1) \to \mathcal{U}^{*}(1) \to 0 $$
For the orthogonal Grassmannian one has to consider also the bundles which correspond to half integer sequences, and in particular the spin bundles. By relating the exterior and symmetric powers of this bundle with the "classical" bundles in the different cases, we can do the computation. For example, for $OGr(n, 2n + 1)$, this (line) bundle is just the "square root" of $O(1)$, so its first Chern class is half the one of the ample line bundle $O(1)$.

## A.1 Cohomology of the even orthogonal Grassmannian

The method explained earlier cannot be used in general for the even orthogonal Grassmannian, because its cohomology is a little bit more complicated. In this case in fact, the Chern classes of the tautological quotient bundle $Q$ do not generate multiplicatively the cohomology ring. One way to proceed is to use a "good" presentation of the cohomology, for which it is relatively easy to understand what the Chern classes of the homogeneous bundles are, and so to compute the integral in the equation mentioned above. The picture we are going to present applies actually, with appropriate modifications, to the other cases too.

### A.1.1 Borel's presentation of the cohomology ring

We present the multiplicative structure of the cohomology ring of the even orthogonal Grassmannian; it is usually referred to as Borel's presentation of the cohomology (as a reference see [Dem73], where the more general case of a homogeneous variety is treated). The idea is to inject the cohomology ring into one which is better understood, namely that of a complete flag variety. This has the property that every irreducible homogeneous bundle has rank one. Therefore it will always be possible to split completely a (not necessarily irreducible) bundle and to compute its Chern class as the product of the Chern classes of the line bundles of the splitting.

To be more precise, one considers the projection map $\pi : SO(2n)/B \to SO(2n)/P_k = OGr(k, 2n)$, where $B$ is a Borel subgroup contained in $P_k$. The homogeneous space $SO(2n)/B$ is the complete flag $OF(1, ..., n, \mathbb{C}^{2n})$ of isotropic planes in $\mathbb{C}^{2n}$. The fiber of $\pi$ over a point $[R] \in OGr(k, 2n)$ is isomorphic to $F(1, ..., k, R) \times OF(1, ..., n-k, R^\perp/R)$ (here the first factor is the usual complete flag in $R$). As $\pi$ is a fibration, the pull-back morphism $\pi^*$ is an injection. Therefore, after pulling back, one can work in the cohomology of the flag variety $G/B$, where $G = SO(2n)$.

What one gains, as already anticipated, is the fact that this cohomology is well known and every homogeneous vector bundle can be split as the sum of line bundles. Indeed, let us denote by $X(T)$ the characters of the maximal torus $T$ in $B$. Then one has a morphism (defined in [Dem73, Section 3]):

$$c : S_Q[X(T)] \to H_Q^*(G/B)$$

from the symmetric algebra on the characters with rational coefficients to the rational cohomology of $G/B$. This morphism is surjective, and so identifies a quotient $S_Q[X(T)]/I$ with $H_Q^*(G/B)$. The ideal $I$ can be computed explicitly as the ideal generated by invariant polynomials (without constant terms) under
the (natural) action of the Weyl group W of G on $S_Q[X(T)]$. On the other hand, we will need to be able to write explicitly the morphism c. One has:

$$c(f) = \sum_{w \in W | l(w) = \deg(f)} \Delta_w(f) X^w$$

for f homogeneous in $S_Q[X(T)]$, where $X^w$ is the Schubert cohomology class corresponding to the Weyl element $w$ (in the usual *Schubert presentation* of the cohomology ring of homogeneous spaces). Moreover, given a reduced decomposition of $w = s_{i_1} \cdots s_{i_{l(w)}}$ in terms of simple reflections, $\Delta_w = \Delta_{s_{i_1}} \circ \cdots \circ \Delta_{s_{i_{l(w)}}}$, where

$$\Delta_{s_i}(f) = \frac{f - s_i(f)}{\alpha_i},$$

$\alpha_i$ being the i-th simple root. The value of $\Delta_w(f)$ doesn't depend on the chosen reduced decomposition (again, refer to [Dem73, Theorem 1]).

### A.1.2 Chern class of homogeneous bundles

Now, having this in mind, the last step to do the computation of the Euler characteristic is to express the Chern classes of a homogeneous vector bundle on $G/P_k$ in $H^*(G/B)$. As already pointed out, a homogeneous completely reducible bundle splits in $H^*(G/B)$ as the sum of line bundles. These line bundles correspond to representations of $B$ (as explained in Section 2.1), i.e. to elements of $X(T)$. Fix $\mathcal{F}$ on $G/P_k$ coming from a representation $V$ of $P_k$. Then one has the weight space decomposition $V = \oplus_{\mu \in X(T)} V_{\mu}^{m_{\mu}}$. As a consequence,

$$\pi^*(\mathcal{F}) \sim \oplus_{\mu \in X(T)} \mathcal{L}_{\mu}^{m_{\mu}}$$

where $\mathcal{L}_{\mu}$ is the line bundle corresponding to $\mu \in X(T)$. Here, the symbol $\sim$ stands for "are the same as T-homogeneous bundles", which implies that they have the same Chern classes. The last ingredient is the fact that the Chern class of $\mathcal{L}_{\mu}$ is represented inside $S_Q[X(T)]$ by $1 + \mu$. As a consequence

$$\mathrm{Chern}(\pi^*(\mathcal{F})) = \prod_{\mu \in X(T)} (1 + \mu)^{m_{\mu}}$$

Knowing that, we can compute the Chern class of the bundle, products of cohomology classes, integrations, etc. In particular, the integration on $G/P_k$ of a class $f$ of the right degree is given by computing $\Delta_{w_0}(f)$, where $w_0$ is the longest element in $W/W(P_k)$.

**Example A.1.** Here we report the code to use in order to compute the Euler characteristic for the case (ow6), as an example:

—Definition of $S_Q[X(T)]$

$$S = QQ[a, b, c, d, e];$$

— Chern class of the tangent bundle and todd class (first terms)
$$ \operatorname{ctan} = (1 + a + b + d) * (1 + a + b + e) * (1 + a + b - d) * (1 + a + b - e) * (1 + a + c + d) * (1 + a + c + e) * (1 + a + c - d) * (1 + a + c - e) * (1 + c + b + d) * (1 + c + b + e) * (1 + c + b - d) * (1 + c + b - e) * (1 + a + b) * (1 + a + c) * (1 + b + c); $$

$$ \operatorname{ctan1} = \operatorname{part}(1, \operatorname{ctan}); $$

$$ \operatorname{ctan2} = \operatorname{part}(2, \operatorname{ctan}); $$

$$ \operatorname{ctan3} = \operatorname{part}(3, \operatorname{ctan}); $$

$$ \operatorname{ctan4} = \operatorname{part}(4, \operatorname{ctan}); $$

$$ \operatorname{tdtan1} = \operatorname{ctan1} // 2; $$

$$ \operatorname{tdtan2} = (\operatorname{ctan1} * \operatorname{ctan1} + \operatorname{ctan2}) // 12; $$

$$ \operatorname{tdtan3} = (\operatorname{ctan1} * \operatorname{ctan2}) // 24; $$

$$ \operatorname{tdtan4} = (-\operatorname{ctan1} * \operatorname{ctan1} * \operatorname{ctan1} * \operatorname{ctan1} + 4 * \operatorname{ctan1} * \operatorname{ctan1} * \operatorname{ctan2} + 3 * \operatorname{ctan2} * \operatorname{ctan2} + \operatorname{ctan1} * \operatorname{ctan3} - \operatorname{ctan4}) // 720; $$

— Chern class of the vector bundle $\mathcal{F}$ and todd class (first terms)

$$ cF = (1 + ((a + b + c + d + e) // 2)) * (1 + ((a + b + c - d - e) // 2)) * (1 + ((a + b + c + d + e) // 2)) * (1 + ((a + b + c - d - e) // 2)) * (1 + ((a + b + c + d + e) // 2)) * (1 + ((a + b + c - d - e) // 2)) * (1 + ((a + b + c + d + e) // 2)) * (1 + ((a + b + c - d - e) // 2)) * (1 + a + b) * (1 + b + c) * (1 + a + c); $$

$$ cF1 = \operatorname{part}(1, cF); $$

$$ cF2 = \operatorname{part}(2, cF); $$

$$ cF3 = \operatorname{part}(3, cF); $$

$$ cF4 = \operatorname{part}(4, cF); $$

$$ cF11 = \operatorname{part}(11, cF); $$

$$ \operatorname{tdF1} = cF1 // 2; $$

$$ \operatorname{tdF2} = (cF1 * cF1 + cF2) // 12; $$

$$ \operatorname{tdF3} = (cF1 * cF2) // 24; $$

$$ \operatorname{tdF4} = (-cF1 * cF1 * cF1 * cF1 + 4 * cF1 * cF1 * cF2 + 3 * cF2 * cF2 + cF1 * cF3 - cF4) // 720; $$

— Definition of (the first terms of) cr = $\frac{\operatorname{todd}(T_{OG})}{\operatorname{todd}(\mathcal{F})}$
$cr1 = tdtan1 - tdF1;$

$cr2 = tdtan2 - tdF2 - tdF1 * cr1;$

$cr3 = tdtan3 - tdF3 - tdF1 * cr2 - tdF2 * cr1;$

$cr4 = tdtan4 - tdF4 - tdF1 * cr3 - tdF2 * cr2 - tdF3 * cr1;$

—Definition of the class int to be integrated

$int = cr4 * cF11;$

— Computation of $\Delta_{w_0}(int)$

$intfifteen = (int - sub(int, d => c, c => d))/(c - d);$

$intfourteen = (intfifteen - sub(intfifteen, c => b, b => c))/(b - c);$

$intthirteen = (intfourteen - sub(intfourteen, e => d, d => e))/(d - e);$

$inttwelve = (intthirteen - sub(intthirteen, b => c, c => b))/(b - c);$

$inteleven = (inttwelve - sub(inttwelve, d => -e, e => -d))/(d + e);$

$intten = (inteleven - sub(inteleven, d => c, c => d))/(c - d);$

$intnine = (intten - sub(intten, d => e, e => d))/(d - e);$

$inteight = (intnine - sub(intnine, b => c, c => b))/(b - c);$

$intseven = (inteight - sub(inteight, d => c, c => d))/(c - d);$

$intsix = (intseven - sub(intseven, a => b, b => a))/(a - b);$

$intfive = (intsix - sub(intsix, c => b, b => c))/(b - c);$

$intfour = (intfive - sub(intfive, c => d, d => c))/(c - d);$

$intthree = (intfour - sub(intfour, e => d, d => e))/(d - e);$

$inttwo = (intthree - sub(intthree, e => -d, d => -e))/(d + e);$

$intone = (inttwo - sub(inttwo, c => d, d => c))/(c - d);$

**Remark A.2** (The case (ob5), Table 5). It is the only case in which the Euler characteristic is not equal to 2, but to 4. In order to understand better why this happens, we studied in more detail the cohomology of $\mathcal{O}_Y$ by using the Koszul complex associated to the bundle $\mathcal{F}$. The method is standard (see Section 3.2),
the only difficulty in this case is to express the bundle $\Lambda^k \mathcal{F}^*$ as a sum of irreducible homogeneous bundles, but this can be done using the program LiE ([vCL]). What one finds is that the variety (ob5) is not connected, and actually it consists of two connected components, which are (therefore) Calabi-Yau varieties. Two questions which can be asked is whether these two components are isomorphic, and if there is a more geometric explanation for the existence of these two components (as is the case for the variety of zeroes of $S^2Q$ in $Gr(m, 2m)$).

# B Tables

In this appendix we report all tables of the varieties we have found, as indicated in the classification theorems in the paper. The labelling of the varieties follows essentially the subdivision of the classification's proofs in lemmas and propositions. In the following we explicit some rules we adopted.

For the ordinary (respectively symplectic, orthogonal) Grassmannians $Gr(k, n)$ ($IGr(k, m)$, $OGr(k, m)$) with $k \le n$, if $k=2$ then the varieties are labelled by the letter (b) (resp. (sb), (ob)), if $k=3$ they are labelled by (c) (resp. (sc), (oc)), and if $k \ge 4$, labels start with the letter (d) (resp. (sd), (od)).

Some special cases are to be taken into account. For the odd orthogonal Grassmannians, varieties inside $OGr(k-2, 2k+1)$ are labelled by (ox) and varieties inside $OGr(k, 2k+1)$ by (oy). For the even orthogonal Grassmannians, varieties inside $OGr(k-2, 2k)$ are labelled by (ow) and varieties inside $OGr(k, 2k)$ by (oz).

Finally, varieties inside $OGr(k-1, 2k)$ are labelled by the letter (oe).
<table><caption>Table 2: Fourfolds in ordinary Grassmannians, see Theorem 3.1</caption><thead><tr><th>case</th><th>bundle F</th><th>Gr(k,n)</th><th>χ(O<sub>Y</sub>)</th></tr></thead><tbody><tr><td>(a)</td><td>complete intersection of hypersurfaces</td><td>P<sup>n</sup></td><td></td></tr><tr><td>(b1)</td><td>O(1) ⊕ O(4)</td><td>Gr(2,5)</td><td>2</td></tr><tr><td>(b2)</td><td>O(2) ⊕ O(3)</td><td>Gr(2,5)</td><td>2</td></tr><tr><td>(b2.1)</td><td>U<sup>*</sup>(2)</td><td>Gr(2,5)</td><td>2</td></tr><tr><td>(b4)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(3)</td><td>Gr(2,6)</td><td>2</td></tr><tr><td>(b5)</td><td>U<sup>*</sup>(1) ⊕ O(2) ⊕ O(1)</td><td>Gr(2,6)</td><td>2</td></tr><tr><td>(b6)</td><td>O(1)<sup>⊕2</sup> ⊕ O(2)<sup>⊕2</sup></td><td>Gr(2,6)</td><td>2</td></tr><tr><td>(b6.1)</td><td>O(1)<sup>⊕3</sup> ⊕ O(3)</td><td>Gr(2,6)</td><td>2</td></tr><tr><td>(b6.2)</td><td>U<sup>*</sup>(1)<sup>⊕2</sup></td><td>Gr(2,6)</td><td>2</td></tr><tr><td>(b12)</td><td>S<sup>3</sup>U<sup>*</sup></td><td>Gr(2,6)</td><td>3</td></tr><tr><td>(b3)</td><td>Q(1) ⊕ O(1)</td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b7)</td><td>O(1)<sup>⊕5</sup> ⊕ O(2)</td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b8)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup> ⊕ O(2)</td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b8.1)</td><td>U<sup>*</sup>(1) ⊕ O(1)<sup>⊕4</sup></td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b9)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ U<sup>*</sup>(1) ⊕ O(1)</td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b10)</td><td>Λ<sup>5</sup>Q ⊕ O(3)</td><td>Gr(2,7)</td><td>2</td></tr><tr><td>(b10.1)</td><td>Λ<sup>5</sup>Q ⊕ O(1) ⊕ O(2)</td><td>Gr(2,8)</td><td>2</td></tr><tr><td>(b10.2)</td><td>Λ<sup>5</sup>Q ⊕ U<sup>*</sup>(1)</td><td>Gr(2,8)</td><td>2</td></tr><tr><td>(b11)</td><td>O(1)<sup>⊕8</sup></td><td>Gr(2,8)</td><td>2</td></tr><tr><td>(b13)</td><td>S<sup>2</sup>(U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(2,8)</td><td>2</td></tr><tr><td>(b14)</td><td>S<sup>2</sup>(U<sup>*</sup>) ⊕ O(1)<sup>⊕5</sup></td><td>Gr(2,8)</td><td>2</td></tr><tr><td>(b10.3)</td><td>Λ<sup>6</sup>Q ⊕ S<sup>2</sup>U<sup>*</sup></td><td>Gr(2,9)</td><td>2</td></tr><tr><td>(b10.4)</td><td>Λ<sup>6</sup>Q ⊕ O(1)<sup>⊕3</sup></td><td>Gr(2,9)</td><td>2</td></tr><tr><td>(c1)</td><td>O(1)<sup>⊕4</sup> ⊕ O(2)</td><td>Gr(3,6)</td><td>2</td></tr><tr><td>(c1.1)</td><td>Q(1) ⊕ O(1)<sup>⊕2</sup></td><td>Gr(3,6)</td><td>2</td></tr><tr><td>(c2)</td><td>Λ<sup>2</sup>Q ⊕ O(1) ⊕ O(3)</td><td>Gr(3,6)</td><td>2</td></tr><tr><td>(c2.1)</td><td>Λ<sup>2</sup>Q ⊕ O(2)<sup>⊕2</sup></td><td>Gr(3,6)</td><td>2</td></tr><tr><td>(c4)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1) ⊕ O(2)</td><td>Gr(3,7)</td><td>2</td></tr><tr><td>(c5)</td><td>Λ<sup>3</sup>Q ⊕ O(1)<sup>⊕4</sup></td><td>Gr(3,7)</td><td>2</td></tr><tr><td>(c5.1)</td><td>Λ<sup>3</sup>Q ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(2)</td><td>Gr(3,7)</td><td>2</td></tr><tr><td>(c6)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(1) ⊕ O(2)</td><td>Gr(3,7)</td><td>2</td></tr><tr><td>(c6.1)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕5</sup></td><td>Gr(3,7)</td><td>2</td></tr><tr><td>(c7)</td><td>Λ<sup>3</sup>Q ⊕ O(2)</td><td>Gr(3,8)</td><td>2</td></tr><tr><td>(c7.1)</td><td>Λ<sup>4</sup>Q ⊕ S<sup>2</sup>U<sup>*</sup></td><td>Gr(3,8)</td><td>2</td></tr><tr><td>(c7.2)</td><td>Λ<sup>4</sup>Q ⊕ (Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup></td><td>Gr(3,8)</td><td>2</td></tr><tr><td>(c7.3)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(3,8)</td><td>2</td></tr><tr><td>(c7.4)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕3</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(3,8)</td><td>2</td></tr><tr><td>(d6)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1) ⊕ O(2)</td><td>Gr(4,8)</td><td>4</td></tr><tr><td>(d9)</td><td>Λ<sup>2</sup>(U<sup>*</sup>) ⊕ Λ<sup>3</sup>(U<sup>*</sup>) ⊕ O(1)<sup>⊕2</sup></td><td>Gr(4,8)</td><td>2</td></tr><tr><td>(d9.1)</td><td>Λ<sup>3</sup>Q ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(4,8)</td><td>2</td></tr><tr><td>(d1)</td><td>Λ<sup>3</sup>U<sup>*</sup> ⊕ (Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup></td><td>Gr(4,9)</td><td>2</td></tr><tr><td>(d8)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ Λ<sup>3</sup>Q</td><td>Gr(4,9)</td><td>2</td></tr><tr><td>(d5)</td><td>(S<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup></td><td>Gr(4,10)</td><td>0</td></tr><tr><td>(d7)</td><td>Λ<sup>3</sup>Q</td><td>Gr(4,10)</td><td>3</td></tr><tr><td>(d2)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(2)</td><td>Gr(5,10)</td><td>2</td></tr><tr><td>(d2.1)</td><td>Λ<sup>2</sup>Q ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(2)</td><td>Gr(5,10)</td><td>2</td></tr><tr><td>(d4)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ S<sup>2</sup>U<sup>*</sup> ⊕ O(1)</td><td>Gr(5,11)</td><td>2</td></tr><tr><td>(d3)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(6,12)</td><td>2</td></tr><tr><td>(d3.1)</td><td>Λ<sup>2</sup>Q ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(6,12)</td><td>2</td></tr></tbody></table>
<table><caption>Table 3: Fourfolds in symplectic Grassmannians, see Theorem 4.1</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>IGr(k,2n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th></tr></thead><tbody><tr><td>(sb0)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; &#x1d4ab;(3)</td><td>IGr(2,6)</td><td>2</td></tr><tr><td>(sb0.1)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(2) &oplus; &#x1d4ab;(1)</td><td>IGr(2,6)</td><td>2</td></tr><tr><td>(sb1)</td><td>&Lambda;<sup>2</sup>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; &#x1d4ab;(1)<sup>&oplus;2</sup></td><td>IGr(2,8)</td><td>2</td></tr><tr><td>(sb2)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; &#x1d4ab;(1)<sup>&oplus;3</sup></td><td>IGr(2,8)</td><td>2</td></tr><tr><td>(sb2.1)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; &#x1d4ab;<sup>*</sup> &oplus; &#x1d4ab;(2)</td><td>IGr(2,8)</td><td>2</td></tr><tr><td>(sb3)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; S<sup>2</sup>&#x1d4ab;<sup>*</sup></td><td>IGr(2,8)</td><td>2</td></tr><tr><td>(sc0.1)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; (&#x211d;<sup>2</sup>&#x1d4ab;<sup>*</sup>)<sup>&oplus;2</sup></td><td>IGr(3,8)</td><td>2</td></tr><tr><td>(sc0.2)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; S<sup>2</sup>&#x1d4ab;<sup>*</sup></td><td>IGr(3,8)</td><td>2</td></tr><tr><td>(sc0.3)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1) &oplus; &#x1d4ab;<sup>*</sup> &oplus; &#x1d4ab;(1)<sup>&oplus;3</sup></td><td>IGr(3,8)</td><td>2</td></tr><tr><td>(sc0.4)</td><td>(&#x1d4ab;<sup>&perp;</sup>/&#x1d4ab;)(1)<sup>&oplus;2</sup> &oplus; &#x1d4ab;<sup>*</sup> &oplus; &#x1d4ab;(1)</td><td>IGr(3,8)</td><td>2</td></tr></tbody></table>

<table><caption>Table 4: Fourfolds in odd orthogonal Grassmannians, see Theorem 4.1</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(k,n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th></tr></thead><tbody><tr><td>(ob0)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(2)</td><td>OGr(2,9)</td><td>2</td></tr><tr><td>(ob0.1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; &#x1d4ab;<sup>*</sup>(1) &oplus; <i>O</i>(1)</td><td>OGr(2,9)</td><td>2</td></tr><tr><td>(ox1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(3)</td><td>OGr(2,7)</td><td>2</td></tr><tr><td>(ox2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(2) &oplus; <i>O</i>(1)</td><td>OGr(2,7)</td><td>2</td></tr><tr><td>(ox3)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;3</sup> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(3,9)</td><td>2</td></tr><tr><td>(ox4)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; &#x211d;<sup>2</sup>&#x1d4ab;<sup>*</sup> &oplus; <i>O</i>(1)</td><td>OGr(3,9)</td><td>2</td></tr><tr><td>(ox5)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; (&#x211d;<sup>2</sup>&#x1d4ab;<sup>*</sup>)<sup>&oplus;2</sup></td><td>OGr(3,9)</td><td>2</td></tr><tr><td>(ox6)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; S<sup>2</sup>&#x1d4ab;<sup>*</sup></td><td>OGr(3,9)</td><td>2</td></tr><tr><td>(oy1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(3)</td><td>OGr(3,7)</td><td>2</td></tr><tr><td>(oy1.1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(2)<sup>&oplus;2</sup></td><td>OGr(3,7)</td><td>2</td></tr><tr><td>(oy2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; &#x211d;<sup>3</sup>&#x1d4ab;<sup>*</sup></td><td>OGr(4,9)</td><td>2</td></tr><tr><td>(oy3)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; (<i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &otimes; &#x1d4ab;<sup>*</sup>)</td><td>OGr(4,9)</td><td>2</td></tr><tr><td>(oy4)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;5</sup> &oplus; <i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(2)</td><td>OGr(4,9)</td><td>2</td></tr><tr><td>(oy5)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;4</sup> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(4,9)</td><td>2</td></tr><tr><td>(oy6)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; &#x211d;<sup>2</sup>&#x1d4ab;<sup>*</sup></td><td>OGr(6,13)</td><td>2</td></tr></tbody></table>
<table><caption>Table 5: Fourfolds in even orthogonal Grassmannians, see Theorem 4.1</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(k,n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th></tr></thead><tbody><tr><td>(ob1)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(3)</td><td>OGr(2,10)</td><td>2</td></tr><tr><td>(ob1.2)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>T</i><sub>-1/2</sub>(1) &oplus; <i>O</i>(3)</td><td>OGr(2,10)</td><td>2</td></tr><tr><td>(ob2)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;5</sup></td><td>OGr(2,10)</td><td>2</td></tr><tr><td>(ob3)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>S</i><sup>2</sup>(<i>U</i><sup>*</sup>) &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(2,10)</td><td>2</td></tr><tr><td>(ob4)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;5</sup></td><td>OGr(2,12)</td><td>2</td></tr><tr><td>(ob4.1)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>S</i><sup>2</sup>(<i>U</i><sup>*</sup>) &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(2,12)</td><td>2</td></tr><tr><td>(ob5)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(3)</td><td>OGr(2,14)</td><td>4</td></tr><tr><td>(ow1)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(3)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow1.2)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>T</i><sub>-1/2</sub>(1) &oplus; <i>O</i>(3)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow2)</td><td>(<i>U</i><sup>&#x2213;</sup>/<i>U</i>)(1) &oplus; <i>O</i>(1)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow3)</td><td>(<i>T</i><sub>+1/2</sub>(1) &otimes; <i>U</i><sup>*</sup>) &oplus; <i>O</i>(1)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow4)</td><td>(1, 1; 1; 1) &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow5)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(2)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow9)</td><td><i>T</i><sub>+1/2</sub>(2) &oplus; <i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow10)</td><td><i>T</i><sub>-1/2</sub>(2) &oplus; <i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow11)</td><td><i>U</i><sup>*</sup>(1) &oplus; <i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)</td><td>OGr(2,8)</td><td>2</td></tr><tr><td>(ow6)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;4</sup> &oplus; &Lambda;<sup>2</sup>(<i>U</i><sup>*</sup>)</td><td>OGr(3,10)</td><td>2</td></tr><tr><td>(ow7)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; <i>T</i><sub>-1/2</sub>(1)<sup>&oplus;2</sup> &oplus; &Lambda;<sup>2</sup>(<i>U</i><sup>*</sup>)</td><td>OGr(3,10)</td><td>2</td></tr><tr><td>(ow8)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;3</sup> &oplus; <i>T</i><sub>-1/2</sub>(1) &oplus; &Lambda;<sup>2</sup>(<i>U</i><sup>*</sup>)</td><td>OGr(3,10)</td><td>2</td></tr><tr><td>(oz3)</td><td><i>O</i>(1/2) &oplus; <i>O</i>(5/2)</td><td>OGr(4,8)</td><td>2</td></tr><tr><td>(oz7)</td><td><i>O</i>(3/2) &oplus; <i>O</i>(3/2)</td><td>OGr(4,8)</td><td>2</td></tr><tr><td>(oz1)</td><td><i>U</i><sup>*</sup>(-1/2) &oplus; <i>O</i>(5/2)</td><td>OGr(5,10)</td><td>2</td></tr><tr><td>(oz4)</td><td><i>O</i>(1/2)<sup>&oplus;4</sup> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(5,10)</td><td>2</td></tr><tr><td>(oz5)</td><td><i>O</i>(1/2)<sup>&oplus;5</sup> &oplus; <i>O</i>(3/2)</td><td>OGr(5,10)</td><td>2</td></tr><tr><td>(oz6)</td><td><i>O</i>(1/2) &oplus; <i>U</i><sup>*</sup>(1/2)</td><td>OGr(5,10)</td><td>2</td></tr><tr><td>(oz2)</td><td><i>U</i><sup>*</sup>(-1/2) &oplus; <i>O</i>(1/2)<sup>&oplus;4</sup> &oplus; <i>O</i>(1)</td><td>OGr(6,12)</td><td>2</td></tr></tbody></table>

<table><caption>Table 6: Fourfolds in OGr(n-1,2n), see Theorem 4.21</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(n-1,2n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th></tr></thead><tbody><tr><td>(oe1)</td><td>(<i>U</i><sup>*</sup> &otimes; <i>L</i><sub>+</sub>) &oplus; <i>L</i><sub>-</sub> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe2)</td><td>(<i>L</i><sub>+</sub><sup>&oplus;2</sup>)<sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe3)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe4)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>L</i><sub>-</sub>(1) &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe5)</td><td><i>O</i>(1)<sup>&oplus;3</sup> &oplus; <i>L</i><sub>-</sub> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe6)</td><td><i>O</i>(1) &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe7)</td><td><i>O</i>(1)<sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe8)</td><td><i>O</i>(2) &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe9)</td><td><i>L</i><sub>+</sub><sup>&oplus;2</sup>(1) &oplus; <i>L</i><sub>-</sub><sup>&oplus;3</sup> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe10)</td><td><i>L</i><sub>-</sub><sup>&oplus;4</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;4</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe11)</td><td><i>O</i>(1) &oplus; <i>L</i><sub>+</sub>(1) &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe12)</td><td><i>L</i><sub>+</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;3</sup> &oplus; <i>L</i><sub>+</sub>(1)</td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe13)</td><td><i>L</i><sub>-</sub>(1) &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe14)</td><td><i>O</i>(1) &oplus; <i>L</i><sub>-</sub><sup>&oplus;3</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;3</sup></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe15)</td><td><i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;3</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub></td><td>OGr(3,8)</td><td>2</td></tr><tr><td>(oe16)</td><td><i>L</i><sub>-</sub><sup>&oplus;5</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;5</sup></td><td>OGr(4,10)</td><td>2</td></tr><tr><td>(oe17)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>L</i><sub>-</sub><sup>&oplus;2</sup> &oplus; <i>L</i><sub>+</sub><sup>&oplus;2</sup></td><td>OGr(4,10)</td><td>2</td></tr></tbody></table>
<table><caption>Table 7: Threefolds in ordinary Grassmannians, see Theorem 5.1</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>Gr(k,n)</th></tr></thead><tbody><tr><td>(a)</td><td>complete intersection of hypersurfaces</td><td>P<sup>n</sup></td></tr><tr><td>(b1)</td><td>O(4)</td><td>Gr(2,4)</td></tr><tr><td>(b2)</td><td>O(1)<sup>⊕2</sup> ⊕ O(3)</td><td>Gr(2,5)</td></tr><tr><td>(b3)</td><td>O(2)<sup>⊕2</sup> ⊕ O(1)</td><td>Gr(2,5)</td></tr><tr><td>(b4)</td><td>Λ<sup>2</sup>Q(1)</td><td>Gr(2,5)</td></tr><tr><td>(b5)</td><td>U<sup>*</sup>(1) ⊕ O(2)</td><td>Gr(2,5)</td></tr><tr><td>(b6)</td><td>Q(1) ⊕ O(1)</td><td>Gr(2,6)</td></tr><tr><td>(b9)</td><td>Λ<sup>3</sup>Q ⊕ O(3)</td><td>Gr(2,6)</td></tr><tr><td>(b12)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1) ⊕ O(2)</td><td>Gr(2,6)</td></tr><tr><td>(b13)</td><td>O(1)<sup>⊕4</sup> ⊕ O(2)</td><td>Gr(2,6)</td></tr><tr><td>(b14)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ U<sup>*</sup>(1)</td><td>Gr(2,6)</td></tr><tr><td>(b15)</td><td>U<sup>*</sup>(1) ⊕ O(1)<sup>⊕3</sup></td><td>Gr(2,6)</td></tr><tr><td>(b8)</td><td>Λ<sup>4</sup>Q ⊕ U<sup>*</sup>(1)</td><td>Gr(2,7)</td></tr><tr><td>(b10)</td><td>Λ<sup>4</sup>Q ⊕ O(2) ⊕ O(1)</td><td>Gr(2,7)</td></tr><tr><td>(b16)</td><td>(S<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(1)</td><td>Gr(2,7)</td></tr><tr><td>(b17)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕4</sup></td><td>Gr(2,7)</td></tr><tr><td>(b18)</td><td>O(1)<sup>⊕7</sup></td><td>Gr(2,7)</td></tr><tr><td>(b7)</td><td>Λ<sup>5</sup>Q ⊕ S<sup>2</sup>U<sup>*</sup></td><td>Gr(2,8)</td></tr><tr><td>(b11)</td><td>Λ<sup>5</sup>Q ⊕ O(1)<sup>⊕3</sup></td><td>Gr(2,8)</td></tr><tr><td>(c2)</td><td>Q(1) ⊕ Λ<sup>2</sup>Q</td><td>Gr(3,6)</td></tr><tr><td>(c3)</td><td>Q(1) ⊕ Λ<sup>2</sup>U<sup>*</sup></td><td>Gr(3,6)</td></tr><tr><td>(c4)</td><td>Λ<sup>2</sup>Q ⊕ O(1)<sup>⊕2</sup> ⊕ O(2)</td><td>Gr(3,6)</td></tr><tr><td>(c8)</td><td>O(1)<sup>⊕6</sup></td><td>Gr(3,6)</td></tr><tr><td>(c6)</td><td>Λ<sup>3</sup>Q<sup>⊕2</sup> ⊕ O(1)</td><td>Gr(3,7)</td></tr><tr><td>(c7)</td><td>Λ<sup>3</sup>Q ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(3,7)</td></tr><tr><td>(c9)</td><td>O(1)<sup>⊕3</sup> ⊕ S<sup>2</sup>U<sup>*</sup></td><td>Gr(3,7)</td></tr><tr><td>(c10)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕3</sup></td><td>Gr(3,7)</td></tr><tr><td>(c1)</td><td>Λ<sup>3</sup>Q ⊕ O(1)<sup>⊕2</sup></td><td>Gr(3,8)</td></tr><tr><td>(c11)</td><td>(S<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup></td><td>Gr(3,8)</td></tr><tr><td>(c12)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ (Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup></td><td>Gr(3,8)</td></tr><tr><td>(c13)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕4</sup></td><td>Gr(3,8)</td></tr><tr><td>(d3)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(2)</td><td>Gr(4,8)</td></tr><tr><td>(d3.1)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ Λ<sup>2</sup>(Q) ⊕ O(2)</td><td>Gr(4,8)</td></tr><tr><td>(d4)</td><td>S<sup>2</sup>U<sup>*</sup> ⊕ O(1)<sup>⊕3</sup></td><td>Gr(4,8)</td></tr><tr><td>(d1)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ S<sup>2</sup>U<sup>*</sup> ⊕ O(1)</td><td>Gr(4,9)</td></tr><tr><td>(d2)</td><td>(Λ<sup>2</sup>U<sup>*</sup>)<sup>⊕2</sup> ⊕ O(1)<sup>⊕2</sup></td><td>Gr(5,10)</td></tr><tr><td>(d2.1)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ Λ<sup>2</sup>Q ⊕ O(1)<sup>⊕2</sup></td><td>Gr(5,10)</td></tr></tbody></table>

<table><caption>Table 8: Threefolds in symplectic Grassmannians, see Theorem 5.2</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>IGr(k,2n)</th></tr></thead><tbody><tr><td>(sb1)</td><td>(U<sup>⊥</sup>/U)(2) ⊕ U<sup>*</sup></td><td>IGr(2,6)</td></tr><tr><td>(sb2)</td><td>(U<sup>⊥</sup>/U)(1) ⊕ O(1) ⊕ O(2)</td><td>IGr(2,6)</td></tr><tr><td>(sb3)</td><td>(U<sup>⊥</sup>/U)(1) ⊕ U<sup>*</sup>(1)</td><td>IGr(2,6)</td></tr><tr><td>(sb4)</td><td>Λ<sup>2</sup>(U<sup>⊥</sup>/U)(1) ⊕ O(1) ⊕ U<sup>*</sup></td><td>IGr(2,8)</td></tr><tr><td>(sb5)</td><td>(U<sup>⊥</sup>/U)(1) ⊕ U<sup>*</sup> ⊕ O(1)<sup>⊕2</sup></td><td>IGr(2,8)</td></tr><tr><td>(sc1)</td><td>(U<sup>⊥</sup>/U)(1) ⊕ Λ<sup>2</sup>U<sup>*</sup> ⊕ U<sup>*</sup> ⊕ O(1)</td><td>IGr(3,8)</td></tr></tbody></table>
<table><caption>Table 9: Threefolds in odd orthogonal Grassmannians, see Theorem 5.2</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(k,n)</th></tr></thead><tbody><tr><td>(ob1)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(1)</td><td>OGr(2,9)</td></tr><tr><td>(ob2)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;4</sup></td><td>OGr(2,9)</td></tr><tr><td>(ob3)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(1)</td><td>OGr(2,11)</td></tr><tr><td>(ob4)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;4</sup></td><td>OGr(2,11)</td></tr><tr><td>(ox1)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>T</i><sub>+1/2</sub>(2)</td><td>OGr(2,7)</td></tr><tr><td>(ox2)</td><td><i>T</i><sub>+1/2</sub>(1) &otimes; <i>U</i><sup>*</sup></td><td>OGr(2,7)</td></tr><tr><td>(ox3)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1) &oplus; <i>O</i>(2)</td><td>OGr(2,7)</td></tr><tr><td>(ox4)</td><td><i>T</i><sub>+1/2</sub>(1) &oplus; <i>U</i><sup>*</sup>(1)</td><td>OGr(2,7)</td></tr><tr><td>(ox5)</td><td><i>S</i><sup>2</sup><i>T</i><sub>+1/2</sub>(1) &oplus; <i>O</i>(1)</td><td>OGr(2,7)</td></tr><tr><td>(ox6)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;4</sup> &oplus; <i>O</i>(1)</td><td>OGr(3,9)</td></tr><tr><td>(ox7)</td><td><i>T</i><sub>+1/2</sub>(1)<sup>&oplus;3</sup> &oplus; <i>&Lambda;</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(3,9)</td></tr><tr><td>(oy2)</td><td><i>O</i>(1/2) &oplus; <i>O</i>(3/2) &oplus; <i>O</i>(1)</td><td>OGr(3,7)</td></tr><tr><td>(oy3)</td><td><i>O</i>(1/2)<sup>&oplus;6</sup> &oplus; <i>O</i>(1)</td><td>OGr(4,9)</td></tr><tr><td>(oy1)</td><td><i>O</i>(1/2) &oplus; <i>&Lambda;</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(5,11)</td></tr></tbody></table>
<table><caption>Table 10: Threefolds in even orthogonal Grassmannians, see Theorem 5.2</caption><thead><tr><th>case</th><th>bundle F</th><th>OGr(k,n)</th></tr></thead><tbody><tr><td>(ob5)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; O(2) &oplus; O(1)</td><td>OGr(2,10)</td></tr><tr><td>(ob6)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; U<sup>*</sup>(1)</td><td>OGr(2,10)</td></tr><tr><td>(ob7)</td><td>T<sub>+1/2</sub>(1) &oplus; T<sub>-1/2</sub>(1) &oplus; O(2) &oplus; O(1)</td><td>OGr(2,10)</td></tr><tr><td>(ob8)</td><td>T<sub>+1/2</sub>(1) &oplus; T<sub>-1/2</sub>(1) &oplus; U<sup>*</sup>(1)</td><td>OGr(2,10)</td></tr><tr><td>(ob9)</td><td>T<sub>+1/2</sub>(1) &oplus; O(2) &oplus; O(1)</td><td>OGr(2,14)</td></tr><tr><td>(ob10)</td><td>T<sub>+1/2</sub>(1) &oplus; U<sup>*</sup>(1)</td><td>OGr(2,14)</td></tr><tr><td>(ow1)</td><td>T<sub>+1/2</sub>(2) &oplus; T<sub>+1/2</sub>(1)<sup>&oplus;2</sup></td><td>OGr(2,8)</td></tr><tr><td>(ow2)</td><td>T<sub>+1/2</sub>(2) &oplus; T<sub>-1/2</sub>(1)<sup>&oplus;2</sup></td><td>OGr(2,8)</td></tr><tr><td>(ow3)</td><td>T<sub>+1/2</sub>(2) &oplus; T<sub>+1/2</sub>(1) &oplus; T<sub>-1/2</sub>(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow4)</td><td>(T<sub>+1/2</sub>(1) &otimes; U<sup>*</sup>) &oplus; T<sub>+1/2</sub>(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow5)</td><td>(T<sub>+1/2</sub>(1) &otimes; U<sup>*</sup>) &oplus; T<sub>-1/2</sub>(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow6)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; O(1) &oplus; O(2)</td><td>OGr(2,8)</td></tr><tr><td>(ow7)</td><td>T<sub>+1/2</sub>(1) &oplus; T<sub>-1/2</sub>(1) &oplus; O(1) &oplus; O(2)</td><td>OGr(2,8)</td></tr><tr><td>(ow8)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;2</sup> &oplus; U<sup>*</sup>(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow9)</td><td>T<sub>+1/2</sub>(1) &oplus; T<sub>-1/2</sub>(1) &oplus; U<sup>*</sup>(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow10)</td><td>T<sub>+1/2</sub>(1) &oplus; S<sup>2</sup>U<sup>*</sup> &oplus; O(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow11)</td><td>T<sub>+1/2</sub>(1) &oplus; (1, 1; 1; 1) &oplus; O(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow12)</td><td>T<sub>+1/2</sub>(1) &oplus; (1, 1; 1; -1) &oplus; O(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow13)</td><td>T<sub>+1/2</sub>(1) &oplus; (U<sup>&perp;</sup>/U)(1)</td><td>OGr(2,8)</td></tr><tr><td>(ow14)</td><td>T<sub>+1/2</sub>(1) &oplus; O(1)<sup>&oplus;4</sup></td><td>OGr(2,8)</td></tr><tr><td>(ow15)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;6</sup></td><td>OGr(3,10)</td></tr><tr><td>(ow16)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;5</sup> &oplus; T<sub>-1/2</sub>(1)</td><td>OGr(3,10)</td></tr><tr><td>(ow17)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;4</sup> &oplus; T<sub>-1/2</sub>(1)<sup>&oplus;2</sup></td><td>OGr(3,10)</td></tr><tr><td>(ow18)</td><td>T<sub>+1/2</sub>(1)<sup>&oplus;3</sup> &oplus; T<sub>-1/2</sub>(1)<sup>&oplus;3</sup></td><td>OGr(3,10)</td></tr><tr><td>(oz1)</td><td>O(1/2)<sup>&oplus;2</sup> &oplus; O(2)</td><td>OGr(4,8)</td></tr><tr><td>(oz2)</td><td>O(1/2) &oplus; O(2) &oplus; &Lambda;<sup>4</sup>U<sup>*</sup>(&minus;1/2)</td><td>OGr(5,10)</td></tr><tr><td>(oz3)</td><td>O(1/2) &oplus; O(1) &oplus; &Lambda;<sup>4</sup>U<sup>*</sup>(&minus;1/2)</td><td>OGr(5,10)</td></tr><tr><td>(oz4)</td><td>O(1/2)<sup>&oplus;6</sup> &oplus; O(1)</td><td>OGr(5,10)</td></tr><tr><td>(oz5)</td><td>O(1/2)<sup>&oplus;6</sup> &oplus; &Lambda;<sup>5</sup>U<sup>*</sup>(&minus;1/2)</td><td>OGr(6,12)</td></tr></tbody></table>

<table><caption>Table 11: Threefolds in OGr(n-1,2n), see Theorem 5.3</caption><thead><tr><th>case</th><th>bundle F</th><th>OGr(n-1,2n)</th></tr></thead><tbody><tr><td>(oe1)</td><td>L<sub>-</sub>(2) &oplus; L<sub>+</sub></td><td>OGr(2,6)</td></tr><tr><td>(oe2)</td><td>L<sub>-</sub><sup>&otimes;3</sup> &oplus; L<sub>+</sub><sup>&otimes;3</sup></td><td>OGr(2,6)</td></tr><tr><td>(oe3)</td><td>L<sub>-</sub>(1) &oplus; L<sub>+</sub>(1)</td><td>OGr(2,6)</td></tr><tr><td>(oe4)</td><td>L<sub>-</sub><sup>&otimes;2</sup>(1) &oplus; L<sub>+</sub><sup>&otimes;2</sup></td><td>OGr(2,6)</td></tr><tr><td>(oe5)</td><td>L<sub>-</sub><sup>&oplus;3</sup> &oplus; (U<sup>*</sup> &otimes; L<sub>+</sub>)</td><td>OGr(3,8)</td></tr><tr><td>(oe6)</td><td>O(1)<sup>&oplus;2</sup> &oplus; L<sub>-</sub><sup>&oplus;2</sup> &oplus; L<sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe7)</td><td>L<sub>-</sub><sup>&otimes;2</sup> &oplus; L<sub>+</sub><sup>&otimes;2</sup> &oplus; L<sub>-</sub><sup>&oplus;2</sup> &oplus; L<sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe8)</td><td>L<sub>-</sub>(1) &oplus; L<sub>-</sub><sup>&oplus;2</sup> &oplus; L<sub>+</sub><sup>&oplus;3</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe9)</td><td>O(1) &oplus; L<sub>-</sub><sup>&otimes;2</sup> &oplus; L<sub>-</sub> &oplus; L<sub>+</sub><sup>&oplus;3</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe10)</td><td>(L<sub>-</sub><sup>&otimes;2</sup>)<sup>&oplus;2</sup> &oplus; L<sub>+</sub><sup>&oplus;4</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe11)</td><td>&Lambda;<sup>2</sup>U<sup>*</sup> &oplus; O(1) &oplus; L<sub>-</sub> &oplus; L<sub>+</sub></td><td>OGr(3,8)</td></tr><tr><td>(oe12)</td><td>&Lambda;<sup>2</sup>U<sup>*</sup> &oplus; L<sub>-</sub><sup>&otimes;2</sup> &oplus; L<sub>+</sub><sup>&oplus;2</sup></td><td>OGr(3,8)</td></tr><tr><td>(oe13)</td><td>L<sub>-</sub><sup>&oplus;4</sup> &oplus; L<sub>+</sub> &oplus; L<sub>+</sub><sup>&otimes;3</sup></td><td>OGr(3,8)</td></tr></tbody></table>
<table><caption>Table 12: Surfaces in ordinary Grassmannians, see Theorem 5.4</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>Gr(k,n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th><th>degree</th></tr></thead><tbody><tr><td colspan="5">(a) complete intersection of hypersurfaces <i>P</i><sup>n</sup></td></tr><tr><td>(b7)</td><td><i>O</i>(1) &oplus; <i>O</i>(3)</td><td>Gr(2,4)</td><td>2</td><td>6</td></tr><tr><td>(b8)</td><td><i>O</i>(2)<sup>&oplus;2</sup></td><td>Gr(2,4)</td><td>2</td><td>8</td></tr><tr><td>(b1)</td><td><i>Q</i>(1) &oplus; <i>O</i>(1)</td><td>Gr(2,5)</td><td>2</td><td>14</td></tr><tr><td>(b2)</td><td>&Lambda;<sup>2</sup><i>Q</i> &oplus; <i>O</i>(3)</td><td>Gr(2,5)</td><td>2</td><td>6</td></tr><tr><td>(b9)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(2)</td><td>Gr(2,5)</td><td>2</td><td>16</td></tr><tr><td>M.(b10)</td><td><i>O</i>(1)<sup>&oplus;3</sup> &oplus; <i>O</i>(2)</td><td>Gr(2,5)</td><td>2</td><td>10</td></tr><tr><td>(b3)</td><td>&Lambda;<sup>3</sup><i>Q</i> &oplus; <i>O</i>(2) &oplus; <i>O</i>(1)</td><td>Gr(2,6)</td><td>2</td><td>12</td></tr><tr><td>(b4)</td><td>&Lambda;<sup>3</sup><i>Q</i> &oplus; <i>U</i><sup>*</sup>(1)</td><td>Gr(2,6)</td><td>2</td><td>14</td></tr><tr><td>(b12)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>Gr(2,6)</td><td>2</td><td>20</td></tr><tr><td>M.(b13)</td><td><i>O</i>(1)<sup>&oplus;6</sup></td><td>Gr(2,6)</td><td>2</td><td>14</td></tr><tr><td>(b11)</td><td>(<i>S</i><sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;2</sup></td><td>Gr(2,6)</td><td>0</td><td>32</td></tr><tr><td>(b5)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>4</sup><i>Q</i></td><td>Gr(2,7)</td><td>2</td><td>24</td></tr><tr><td>(b6)</td><td><i>O</i>(1)<sup>&oplus;3</sup> &oplus; &Lambda;<sup>4</sup><i>Q</i></td><td>Gr(2,7)</td><td>2</td><td>18</td></tr><tr><td>(c2)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>2</sup><i>Q</i> &oplus; <i>O</i>(2)</td><td>Gr(3,6)</td><td>2</td><td>12</td></tr><tr><td>(c4)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(2)</td><td>Gr(3,6)</td><td>4</td><td>32</td></tr><tr><td>(c5)</td><td>(&Lambda;<sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;2</sup> &oplus; <i>O</i>(2)</td><td>Gr(3,6)</td><td>2</td><td>12</td></tr><tr><td>M.(c6)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(1)<sup>&oplus;4</sup></td><td>Gr(3,6)</td><td>2</td><td>16</td></tr><tr><td>(c3)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>3</sup><i>Q</i></td><td>Gr(3,7)</td><td>2</td><td>48</td></tr><tr><td>M.(c9)</td><td>&Lambda;<sup>3</sup><i>Q</i> &oplus; (&Lambda;<sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;2</sup></td><td>Gr(3,7)</td><td>2</td><td>24</td></tr><tr><td>(c7)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; <i>O</i>(1)</td><td>Gr(3,7)</td><td>2</td><td>48</td></tr><tr><td>(c8)</td><td>(&Lambda;<sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;3</sup> &oplus; <i>O</i>(1)</td><td>Gr(3,7)</td><td>2</td><td>22</td></tr><tr><td>(c1)</td><td>&Lambda;<sup>3</sup><i>Q</i> &oplus; &Lambda;<sup>2</sup><i>U</i><sup>*</sup></td><td>Gr(3,8)</td><td>2</td><td>36</td></tr><tr><td>(d1)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>3</sup><i>U</i><sup>*</sup></td><td>Gr(4,8)</td><td>4</td><td>96</td></tr><tr><td>(d1.1)</td><td><i>S</i><sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>3</sup><i>Q</i></td><td>Gr(4,8)</td><td>4</td><td>96</td></tr><tr><td>(d2)</td><td>(&Lambda;<sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;2</sup> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>Gr(4,8)</td><td>2</td><td>24</td></tr><tr><td>(d2.1)</td><td>&Lambda;<sup>2</sup><i>U</i><sup>*</sup> &oplus; &Lambda;<sup>2</sup><i>Q</i> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>Gr(4,8)</td><td>2</td><td>24</td></tr><tr><td>M.(d3)</td><td>(&Lambda;<sup>2</sup><i>U</i><sup>*</sup>)<sup>&oplus;3</sup></td><td>Gr(4,9)</td><td>2</td><td>38</td></tr></tbody></table>

<table><caption>Table 13: Surfaces in symplectic Grassmannians, see Theorem 5.5</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>IGr(k,2n)</th><th>&chi;(<i>O</i><sub>Y</sub>)</th><th>degree</th></tr></thead><tbody><tr><td>(sb1)</td><td>(&Ucirc;<sup>&perp;</sup>/<i>U</i>)(1) &oplus; <i>U</i><sup>*</sup> &oplus; <i>O</i>(2)</td><td>IGr(2,6)</td><td>2</td><td>12</td></tr><tr><td>(sb2)</td><td>(&Ucirc;<sup>&perp;</sup>/<i>U</i>)(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>IGr(2,6)</td><td>2</td><td>24</td></tr><tr><td>(sb3)</td><td>(&Ucirc;<sup>&perp;</sup>/<i>U</i>)(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(1)</td><td>IGr(2,6)</td><td>2</td><td>24</td></tr><tr><td>(sb4)</td><td>(&Ucirc;<sup>&perp;</sup>/<i>U</i>)(1) &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>IGr(2,6)</td><td>2</td><td>18</td></tr></tbody></table>
<table><caption>Table 14: Surfaces in odd orthogonal Grassmannians, see Theorem 5.5</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(k,n)</th><th>&chi;(<i>O</i><sub><i>Y</i></sub>)</th><th>degree</th></tr></thead><tbody><tr><td>(ob1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(2)</td><td>OGr(2,9)</td><td>2</td><td>12</td></tr><tr><td>(ob2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(2)</td><td>OGr(2,13)</td><td>4</td><td>24</td></tr><tr><td>(ox1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(2)</td><td>OGr(2,7)</td><td>2</td><td>12</td></tr><tr><td>(ox2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,7)</td><td>2</td><td>24</td></tr><tr><td>(ox3)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>S</i><sup>2</sup><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)</td><td>OGr(2,7)</td><td>2</td><td>24</td></tr><tr><td>(ox4)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,7)</td><td>2</td><td>18</td></tr><tr><td>M.(ox5)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;5</sup></td><td>OGr(3,9)</td><td>2</td><td>34</td></tr><tr><td>(oy2)</td><td><i>O</i>(<sup>3</sup>&frasl;<sub>2</sub>) &oplus; <i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;3</sup></td><td>OGr(3,7)</td><td>2</td><td>6</td></tr><tr><td>(oy3)</td><td><i>U</i><sup>*</sup>(<sup>1</sup>&frasl;<sub>2</sub>) &oplus; <i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)</td><td>OGr(3,7)</td><td>2</td><td>12</td></tr><tr><td>(oy4)</td><td><i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;2</sup> &oplus; <i>O</i>(1)<sup>&oplus;2</sup></td><td>OGr(3,7)</td><td>2</td><td>8</td></tr><tr><td>(oy1)</td><td><i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;2</sup> &oplus; &Lambda;<sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(4,9)</td><td>2</td><td>24</td></tr><tr><td>M.(oy5)</td><td><i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;8</sup></td><td>OGr(4,9)</td><td>2</td><td>12</td></tr></tbody></table>

<table><caption>Table 15: Surfaces in even orthogonal Grassmannians, see Theorem 5.5</caption><thead><tr><th>case</th><th>bundle <i>F</i></th><th>OGr(k,n)</th><th>&chi;(<i>O</i><sub><i>Y</i></sub>)</th><th>degree</th></tr></thead><tbody><tr><td>(ob3)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(2)</td><td>Quadric in <i>P</i>'</td><td>2</td><td>12</td></tr><tr><td>(ob4)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,10)</td><td>2</td><td>18</td></tr><tr><td>(ob4.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,10)</td><td>2</td><td>20</td></tr><tr><td>(ob5)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,10)</td><td>2</td><td>24</td></tr><tr><td>(ob5.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,10)</td><td>2</td><td>24</td></tr><tr><td>(ob6)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,14)</td><td>4</td><td>36</td></tr><tr><td>(ob7)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,14)</td><td>4</td><td>48</td></tr><tr><td>(ow1)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,8)</td><td>2</td><td>20</td></tr><tr><td>(ow2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; (1, 1; 1; 1)</td><td>OGr(2,8)</td><td>0</td><td>32</td></tr><tr><td>(ow3)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,8)</td><td>2</td><td>24</td></tr><tr><td>(ow4)</td><td>(<i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;3</sup> &oplus; <i>O</i>(2)</td><td>OGr(2,8)</td><td>2</td><td>16</td></tr><tr><td>(ow1.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(1)<sup>&oplus;3</sup></td><td>OGr(2,8)</td><td>2</td><td>18</td></tr><tr><td>(ow2.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; (1, 1; 1; 1)</td><td>OGr(2,8)</td><td>2</td><td>24</td></tr><tr><td>(ow2.3)</td><td><i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; (1, 1; 1; 1)</td><td>OGr(2,8)</td><td>2</td><td>24</td></tr><tr><td>(ow3.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>S</i><sup>2</sup><i>U</i><sup>*</sup></td><td>OGr(2,8)</td><td>2</td><td>24</td></tr><tr><td>(ow4.2)</td><td><i>T</i><sub>+<sup>1</sup>&frasl;<sub>2</sub></sub>(1)<sup>&oplus;2</sup> &oplus; <i>T</i><sub>-<sup>1</sup>&frasl;<sub>2</sub></sub>(1) &oplus; <i>O</i>(2)</td><td>OGr(2,8)</td><td>2</td><td>12</td></tr><tr><td>(oz3)</td><td><i>U</i><sup>*</sup>(<sup>1</sup>&frasl;<sub>2</sub>)</td><td>OGr(4,8)</td><td>2</td><td>12</td></tr><tr><td>(oz4)</td><td><i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;2</sup> &oplus; <i>O</i>(<sup>3</sup>&frasl;<sub>2</sub>) &oplus; &Lambda;<sup>4</sup><i>U</i><sup>*</sup>(-<sup>1</sup>&frasl;<sub>2</sub>)</td><td>OGr(5,10)</td><td>2</td><td>6</td></tr><tr><td>(oz5)</td><td><i>O</i>(1)<sup>&oplus;2</sup> &oplus; <i>O</i>(<sup>1</sup>&frasl;<sub>2</sub>) &oplus; &Lambda;<sup>4</sup><i>U</i><sup>*</sup>(-<sup>1</sup>&frasl;<sub>2</sub>)</td><td>OGr(5,10)</td><td>2</td><td>8</td></tr><tr><td>(oz7)</td><td><i>O</i>(1) &oplus; &Lambda;<sup>5</sup><i>U</i><sup>*</sup>(-<sup>1</sup>&frasl;<sub>2</sub>)<sup>&oplus;2</sup></td><td>OGr(6,12)</td><td>2</td><td>12</td></tr></tbody></table>
<table><caption>Table 16: Surfaces in OGr(n-1,2n), see Theorem 5.6</caption><thead><tr><th>case</th><th>bundle F</th><th>OGr(n-1,2n)</th><th>χ(O<sub>Y</sub>)</th><th>deg(O(1))</th><th>deg(L<sub>+</sub>)</th><th>deg(L<sub>-</sub>)</th></tr></thead><tbody><tr><td>(oe1)</td><td>L<sup>⊗2</sup> ⊕ (U<sup>*</sup> ⊗ L<sub>+</sub>)</td><td>OGr(2,6)</td><td>2</td><td>26</td><td>4</td><td>6</td></tr><tr><td>(oe2)</td><td>L<sub>+</sub> ⊕ L<sup>⊗3</sup> ⊕ L<sup>⊗2</sup></td><td>OGr(2,6)</td><td>2</td><td>18</td><td>0</td><td>6</td></tr><tr><td>(oe3)</td><td>L<sup>-</sup>(1) ⊕ L<sup>-</sup> ⊕ L<sup>⊗2</sup></td><td>OGr(2,6)</td><td>2</td><td>18</td><td>4</td><td>2</td></tr><tr><td>(oe4)</td><td>O(1) ⊕ L<sup>-</sup>(1) ⊕ L<sub>+</sub></td><td>OGr(2,6)</td><td>2</td><td>16</td><td>2</td><td>4</td></tr><tr><td>(oe5)</td><td>L<sup>-</sup> ⊕ L<sup>-</sup> ⊕ L<sup>⊗2</sup>(1)</td><td>OGr(2,6)</td><td>2</td><td>10</td><td>4</td><td>0</td></tr><tr><td>(oe6)</td><td>O(2) ⊕ L<sup>-</sup> ⊕ L<sub>+</sub></td><td>OGr(2,6)</td><td>2</td><td>12</td><td>2</td><td>2</td></tr><tr><td>(oe7)</td><td>O(1) ⊕ L<sup>⊗2</sup> ⊕ L<sup>⊗2</sup></td><td>OGr(2,6)</td><td>2</td><td>24</td><td>4</td><td>4</td></tr><tr><td>(oe8)</td><td>Λ<sup>2</sup>U<sup>*</sup> ⊕ L<sup>⊕2</sup> ⊕ L<sup>⊕2</sup></td><td>OGr(3,8)</td><td>2</td><td>36</td><td>8</td><td>8</td></tr><tr><td>(oe9)</td><td>O(1) ⊕ L<sup>⊕3</sup> ⊕ L<sup>⊕3</sup></td><td>OGr(3,8)</td><td>2</td><td>28</td><td>6</td><td>6</td></tr><tr><td>(oe10)</td><td>L<sup>⊗2</sup> ⊕ L<sup>⊕4</sup> ⊕ L<sup>⊕2</sup></td><td>OGr(3,8)</td><td>2</td><td>28</td><td>8</td><td>4</td></tr></tbody></table>
References

[BD85] A. Beauville and R. Donagi. The variety of lines of a cubic fourfold. *C. R. Acad. Sci. Paris 301 série I*, (1985) 703-706, 1985.

[Bea83] Arnaud Beauville. Variétés Kähleriennes dont la première classe de Chern est nulle. *J. Differential Geom.*, 18(4):755–782, 1983.

[BKT09] A. S. Buch, A. Kresch, and H. Tamvakis. Quantum Pieri rules for isotropic Grassmannians. *Inventiones mathematicae*, 178(2):345–405, 2009.

[Bog74] F.A. Bogomolov. Über die Zerlegung Kählerscher Mannigfaltigkeiten mit trivialer kanonischer Klasse. *Mat. Sb., Nov. Ser.*, 93:573–575, 1974.

[Bot57] Raoul Bott. Homogeneous vector bundles. *Annals of Mathematics*, 66(2):203–248, 1957.

[BP05] M. Brion and P. Pragacz. *Lectures on the Geometry of Flag Varieties*, pages 33–85. Birkhäuser Basel, Basel, 2005.

[Dem73] Michel Demazure. Invariants symétriques entiers des groupes de Weyl et torsion. *Inventiones mathematicae*, 21:287–302, 1973.

[DV10] O. Debarre and C. Voisin. Hyper-Kähler fourfolds and Grassmann geometry. *J. reine angew. Math. 649*, pages 63–87, 2010.

[FH04] W. Fulton and J. Harris. *Representation Theory - A First Course*, volume 129. Springer-Verlag New York, 2004.

[FP98] W. Fulton and P. Pragacz. *Schubert varieties and degeneracy loci*. Lecture notes in mathematics. Springer, 1998.

[GS] Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.

[IIM16] D. Inoue, A. Ito, and M. Miura. Complete intersection Calabi–Yau manifolds with respect to homogeneous vector bundles on Grassmannians. *ArXiv e-prints*, July 2016.

[Kü95] Oliver Küchle. On Fano 4-folds of index 1 and homogeneous vector bundles over Grassmannians. *Mathematische Zeitschrift*, 218(4):563–576, 1995.

[Muk88] S. Mukai. Curves, $K^3$ surfaces and Fano 3-folds of genus $\le 10$. *Algebraic geometry and commutative algebra; in honor of Masayoshi Nagata*, 1988.

[Muk92] S. Mukai. Polarized $K^3$ surfaces of genus 18 and 20. *Complex Projective Geometry*, Cambridge Univ. Press, pages 264–276, 1992.

[Muk06] S. Mukai. Polarized $K^3$ surfaces of genus thirteen. *Advanced Studies in Pure Mathematics 45 - Moduli Spaces and Arithmetic Geometry (Kyoto, 2004)*, pages 315–326, 2006.
[Ott95] Giorgio Ottaviani. Rational homogeneous varieties. *Lecture notes for the summer school in Algebraic Geometry in Cortona*, 1995.

[Rei72] Miles Reid. The complete intersection of two or more quadrics. *PHD Dissertation*, 1972.

[Tam05] Harry Tamvakis. *Quantum cohomology of isotropic Grassmannians*, pages 311–338. Birkhäuser Boston, Boston, MA, 2005.

[vCL] M. A. A. von Leeuwen, A. M. Cohen, and B. Lisser. Lie, a software package for Lie group theoretical computations. Available at http://wwwmathlabo.univ-poitiers.fr/~maavl/LiE/.