Vector fields on the Sato Grassmannian (Q816231)

Let \(V:=\mathbb{C}((z))\) and let \(V^+:=\mathbb{C}[[z]]\). Denote by \(\mathcal{S}\) the set of all subsets \(S\subset \mathbb{Z}\) such that \(S\setminus \mathbb N\cup \mathbb{N}\setminus S\) is finite. Denote by \(V^S\) the \(z\)-adic completion of the \(\mathbb{C}\)-span of \(\{z^s\mid s\in S\}\). The topology on \(V\) is induced from \(V^S,S\in \mathcal{S}\). The infinite Grassmannian \(\text{Gr}(V)\) is an ind-variety whose set of \(\mathbb{C}\)-valued points is the set of all vector subspaces \(L\subset V\) such that \(L\cap V^+\) and \(V/(L+V^+)\) are finite dimensional. Denote the component of \(\text{Gr}(V)\) that contains \(z^{-1}\mathbb{C}[z^{-1}]\) by \(\text{Gr}_0\). The variety \(\text{Gr}_0\) is covered by certain open subvarieties \(\text{Gr}^S_0, S\in \mathcal{S}_0,\) where \(\mathcal{S}_0\) consists of all \(S\in\mathcal{S}\) such that \(|S\setminus \mathbb{N}|=|\mathbb{N}\setminus S|.\) The author constructs a basis for a dense vector subspace of the space of all vector fields on \(\text{Gr}_0\). More precisely, let \(\mathcal{D}\) denote the sheaf of derivations of the structure sheaf of \(\text{Gr}_0\). It is shown that if \(S_1,S_2\in \mathcal{S}_0\) are distinct, then the restriction map \(H^0(\text{Gr}_0,\mathcal{D}) \longrightarrow H^0(\text{Gr}^{S_1}_0\cup \text{Gr}^{S_2}_0,\mathcal{D})\) is an isomorphism. The author shows, in Theorem 3.2, that for any \(S\in \mathcal{S}_0\), the restriction \(H^0(\text{Gr}_0,\mathcal{D})\rightarrow H^0(\text{Gr}^{S_1}_0,\mathcal{D})\) is a monomorphism and gives an explicit basis for a vector subspace whose completion is the image of the restriction morphism. Furthermore, it is shown in Theorem 4.1 that \(H^1(\text{Gr}_0,\mathcal{D})\) vanishes.