On Cohomology of Simple Modules for Modular Classical Lie Algebras

Abstract

In this article, we obtain some cohomology of classical Lie algebras over an algebraically closed field of characteristic $p>h,$ where $h$ is a Coxeter number, with coefficients in simple modules. We assume that these classical Lie algebras are Lie algebras of semisimple and simply connected algebraic groups. To describe the cohomology of simple modules, we will use the properties of the connections between ordinary and restricted cohomology of restricted Lie algebras.

1. Introduction

The Lie algebra cohomology was first introduced in 1929 by Cartan for a one-dimensional trivial module in order to extend de Rham′s cohomological methods for Lie algebras [1]. It was generalized for arbitrary modules by Chevalley and Eilenberg in 1948 [2]. Restricted cohomology for restricted Lie algebras with coefficients in restricted modules was introduced by Hochschild in 1954 [3].

Lie algebras and their cohomology theories are widely used in mathematics and physics. The methods of the cohomology theory of Lie algebras is used to study the cohomology of principal bundles and homogeneous spaces [4]. Central extensions and deformations of Lie algebras, used in various branches of physics, are of cohomological origin. For example, the Heisenberg Lie algebra, which arises in the description of one-dimensional quantum mechanical systems, is a central extension of a two-dimensional Lie algebra [5,6]. The Virasoro algebra, widely used in two-dimensional conformal field theory and in string theory, is a central extension of the Witt algebra [7]. Deformations of static kinematical Lie algebras obtained in [8] were used to classify kinematic superpaces in [9]. The tools of the cohomological theory of Lie algebras are also applied to construct a quantum model of the universe [10] and to study electromagnetic fields [11].

Cohomology theory is also being developed for $n$-Lie algebras, Lie super-algebras and some other non-associative algebras. In [12], the authors define the representation of $n$-LieDer pairs and study their cohomology and, in particular, describe the central extensions of $n$-LieDer pairs as the first cohomology of the trivial module. The Betti numbers of complex nilpotent Lie superalgebras of dimension $\le 5$ were calculated in [13]. The cohomology of non-associative algebras with metagroup relations and their applications are studied in [14,15,16,17].

For many classes of Lie algebras in characteristic zero, their properties are well studied. In the case of a positive characteristic, the situation is different. Some properties of Lie algebras of characteristic zero for their modular analogs are not preserved. For example, in positive characteristic, there exist finite-dimensional Lie algebras that admit non-trivial deformations, while the corresponding Lie algebras in characteristic zero are rigid objects. This fact complicates the classification of finite-dimensional simple Lie algebras, and the classification of finite-dimensional simple Lie algebras in positive characteristic has not yet been completed. In the cohomological theory of Lie algebras in positive characteristic, many facts also keenly differ from the case of characteristic zero. For example, the cohomology of classical Lie algebras over the field of complex numbers is completely described. They are non-trivial only for trivial modules. In the modular case, there are non-trivial modules with non-trivial cohomology. Nowadays, the cohomology of non-trivial modules of classical Lie algebras over a field of positive characteristic has been intensively studied. Nevertheless, there are very few known facts about the cohomology of simple modules.

Consider a Lie algebra $\mathfrak{g}$ of classical type over an algebraically closed field $k$ of characteristic $p>0.$ Let $G$ be a semisimple, simply connected algebraic group with the Lie algebra $\mathfrak{g}$ and $G_1$ be the first Frobenius kernel of $G.$ It is well known that the representation theory of $G_1$ coincides with the restricted representation theory of $\mathfrak{g}.$ Then, in the restricted region, a rational $G_1$-module can be identified with a module of the restricted universal enveloping algebra $\mathfrak{u}\left(\mathfrak{g}\right).$ Hence, for the restricted $\mathfrak{g}$-module $V$, the restricted cohomology $H_{*}^n\left(\mathfrak{g},\mathrm{V}\right)$ coincides with the cohomology $H^n\left(G_1,V\right).$ This fact and the spectral sequence obtained in [18,19] allow us to obtain some useful information about the properties of the usual cohomology $H^n\left(\mathfrak{g},V\right)$.

In particular, the description of the cohomology of simple modules is one of the interesting problems in the cohomology theory of classical modular Lie algebras. In the case where $V$ is a simple module, the cohomology $H^n\left(\mathfrak{g},V\right)$ is studied in detail for $n=1$ [20] and described for classical Lie algebras of small dimensions: in [21] for $\mathfrak{s}{\mathfrak{l}}_2\left(k\right);$ in [22,23] for $\mathfrak{s}{\mathfrak{l}}_3\left(k\right)$ and $p>3;$ in [24] for $\mathfrak{s}{\mathfrak{l}}_3\left(k\right)$ and $p=2;$ in [25] for $\mathfrak{s}{\mathfrak{l}}_3\left(k\right)$ and $p=3$. The spaces of outer derivations and local deformations of classical simple Lie algebras are also known as the first and second cohomology of the adjoint module, respectively [26,27,28].

In [29,30], the structure of some Weyl modules was described. This means that the formal characters of the associated simple modules are known as well. The cohomology of these simple modules for $G$ has been described [29,30]. However, the cohomology for the Lie algebra $\mathfrak{g}$ with coefficients in these simple modules is still unknown, except for the cohomology of the first and second degrees. In the case of first cohomology, all three cohomology, i.e., the cohomology for $\mathfrak{g},$ $G$ and $G_1$ are pairwise isomorphic [31]. The second cohomology are also pairwise isomorphic, except in the case where $\mathfrak{g}$ is the Lie algebra of type $B_2$ [32].

The known facts obtained in the cohomology theory of algebraic groups in positive characteristic and their Lie algebras stimulate the study of the following problems in the restricted region:

• examine the cohomology of simple modules for $\mathfrak{g};$
• examine the cohomology of simple modules for $G_1;$
• determine the connections between the cohomology of simple modules for $\mathfrak{g},$, $G_1,$ and $G.$

In this paper, we study the first of these problems for the simple modules described in [29,30]. We have calculated the cohomology of classical Lie algebras over an algebraically closed field of characteristic $p>h,$ where $h$ is a Coxeter number, with coefficients in simple modules whose highest weights belong to alcoves along the walls of the dominant Weyl chambers and close to them alcoves. These results can be used to describe the cohomology of simple modules for reductive Lie algebras and Lie algebras of Cartan type. For example, the calculation of the cohomology $H^i\left(\mathfrak{g}{\mathfrak{l}}_n\left(k\right),V\right)$ can easily be reduced to the calculation of the cohomology $H^j\left(\mathfrak{s}{\mathfrak{l}}_n\left(k\right),V\right)$ for some $j\le i$. In the case of Lie algebras of Cartan type, as is known, their cohomology with coefficients in simple modules depends on the cohomology of the classical components in their natural grading. For cohomology of small degrees, some such applications can be found in [24,33]. Our results allow us to obtain similar results for cohomology of higher degrees.

The description of the cohomology of classical Lie algebras over an algebraically closed field of characteristic zero with coefficients in a trivial one-dimensional module is known [34] (pp. 173–174). Since in the case where $p>h,$ the killing form on $\mathfrak{g}$ is non-degenerate, the cohomology results for one-dimensional trivial module in characteristic zero remain valid also for positive characteristics of an algebraically closed field. With these facts in mind, we will formulate the main part of our results in terms of cohomology with coefficients in one-dimensional trivial module. We denote by $H^n\left(\mathfrak{g}\right)$ the $n$-cohomology of $\mathfrak{g}$ with coefficients in $k.$

The article is organized as follows. In Section 2, we provide preliminary information. Section 2.1 is devoted to the main notation and some concepts used in the article. Section 2.2 contains the necessary known facts to prove the main results. Here, we also give the algorithm for calculating the cohomology of simple modules based on these known results. Although this algorithm as a tool of homological algebra is not new, it allows us to obtain new results for the cohomology of simple modules. In Section 3, we state the main results of this paper and present their proof. Theorem 1, given in Section 3.1, is devoted to the cohomology of classical Lie algebras with coefficients in simple modules, isomorphic to quotient modules of Weyl modules with a simple radical by the maximal submodules. Theorem 2 describes the cohomology of classical Lie algebras with coefficients in some simple modules, which are isomorphic to quotient modules of Weyl modules with a non-simple radical by the maximal submodules. Section 3.2 is devoted to the proofs of Theorems 1 and 2. A summary of the cohomology $H^n\left(\mathfrak{g}\right)$ is given in Appendix A.

2. Preliminaries and Calculation Method

2.1. Preliminaries

Let us keep the notation introduced in the introduction. We denote the rank of $\mathfrak{g}$ by $l.$ Let $R$ be a root system of $\mathfrak{g}$ and assume that $R\subset {ℝ}^m,$ where $ℝ$ is the set of real numbers and

$$m=\{\begin{array}{c}l+1 \mathrm{if} g=A_l; \\ l \mathrm{if} g=B_l, C_l, D_l;\\ 8 \mathrm{if} g=E_6, E_7, E_8;\\ 3 \mathrm{if} g=G_2; \\ 4 \mathrm{if} g=F_4. \end{array}$$

On ${ℝ}^m$, there is the usual euclidian inner product $\left( , \right).$ This leads to the natural pairing $⟨ , ⟩ : {ℝ}^m\times {ℝ}^m\to ℝ$ given by $⟨\lambda ,\mu ⟩=\left(\lambda ,{\mu }^{\nu }\right),$ where ${\mu }^{\nu }=\frac{2}{\left(\mu ,\mu \right)}\mu .$ Let $R^{+}$ be the set of positive roots and $\Delta =\left\{{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_l\right\}$ be the set of simple roots.

Let $T\subset G$ be the maximal torus and $B$ be the Borel subgroup corresponding to the negative roots. We denote by $U$ the unipotent radical of $B.$ The set $X\left(T\right)$ of additive characters for $T$ can be seen as a subset of ${ℝ}^m$ with basis $\left\{{\omega }_1,{\omega }_2,\cdots ,{\omega }_l\right\}$ satisfying $⟨{\omega }_i,{\alpha }_j⟩={\delta }_{ij}.$ The set $X\left(T\right)$ also has the following property:

$$X\left(T\right)=\{\lambda \in {ℝ}^m |⟨\lambda ,\alpha ⟩\in \mathbb{Z} \mathrm{for} \mathrm{all} \alpha \in R\}.$$

Let $X{\left(T\right)}^{+}=\{\lambda \in X\left(T\right) |⟨\lambda ,\alpha ⟩\ge 0 \mathrm{for} \mathrm{all} \alpha \in R^{+}\}$ be the set of dominant weights, and let $X_1\left(T\right)=\{\lambda \in X{\left(T\right)}^{+} | 0\le ⟨\lambda ,\alpha ⟩<p \mathrm{for} \mathrm{all} \alpha \in \Delta \}$ be the set of restricted weights.

Let $\lambda \in X{\left(T\right)}^{+}$ and $H^0\left(\lambda \right)=\{f\in k\left[G\right] | f\left(gb\right)=\lambda {\left(b\right)}^{-1}f\left(g\right) \mathrm{for} \mathrm{all} g\in G, b\in B\},$ where $k\left[G\right]$is the algebra of all regular functions on $G.$ The action of $G$ on $H^0\left(\lambda \right)$ is defined by $gf\left(h\right)=f\left(g^{1}h\right), \mathrm{where} f\in H^0\left(\lambda \right), g,h\in G$ [35] (p. 26). On the other hand, $H^0\left(\lambda \right)={\mathrm{Ind}}_B^G\left(k_{\lambda }\right),$ where $k_{\lambda }$ is a one-dimensional $B$-module defined by $\lambda \in X{\left(T\right)}^{+}$ via the isomorphism $B/U\cong T$ [35] (p. 176). Let $L\left(\lambda \right)$ be a maximal semi-simple submodule (socle) of $H^0\left(\lambda \right).$ If $H^0\left(\lambda \right)\ne 0,$ then $L\left(\lambda \right)$ is simple [35] (p. 177, II.2.3) and every simple $G$-module is isomorphic to $L\left(\lambda \right)$ for some $\lambda \in X{\left(T\right)}^{+}$ [35] (p. 177, II.2.4). Since $H^0\left(\lambda \right)\ne 0$ for all $\lambda \in X{\left(T\right)}^{+}$ [35] (p. 178, II.2.6), then, for all $\lambda \in X{\left(T\right)}^{+}$, there is a short exact sequence $0\to L\left(\lambda \right)\to H^0\left(\lambda \right)\to H^0\left(\lambda \right)/L\left(\lambda \right)\to 0$ of $G$-modules. One of the effective ways to explicitly describe the structure of $H^0\left(\lambda \right)/L\left(\lambda \right)$ is to study the radical of the Weyl module $V\left(\lambda \right)$ with the highest weight $\lambda \in X{\left(T\right)}^{+}.$ The Weyl module $V\left(\lambda \right)$ is isomorphic to $H^0{\left(-w_0\left(\lambda \right) \right)}^{*},$ where $w_0$ is the maximal element of the Weyl group $W$ for $R$ [35] (p. 182, II.2.13). So, for all $\lambda \in X{\left(T\right)}^{+},$ there is a short exact sequence $0\to \mathrm{rad} V\left(\lambda \right)\to V\left(\lambda \right)\to L\left(\lambda \right)\to 0$ of $G$-modules, where $\mathrm{rad} V\left(\lambda \right)$ is the radical of $V\left(\lambda \right).$ For the Lie algebra $\mathfrak{g}$ of $G,$ we will consider the corresponding differentials of the $G$-modules $H^0\left(\lambda \right),$ $V\left(\lambda \right)$ and $L\left(\lambda \right).$ We denote these $\mathfrak{g}$-modules also via $H^0\left(\lambda \right),$ $V\left(\lambda \right)$ and $L\left(\lambda \right),$ respectively. In the restricted region, these three $\mathfrak{g}$-modules are restricted; moreover, $L\left(\lambda \right)$ remains simple as a $\mathfrak{g}$-module.

For $\alpha \in R^{+}$ and $n\in \mathbb{Z}$ let us define the affine reflections $s_{\alpha ,n}$ on $X\left(T\right)$ by

$$s_{\alpha ,n}·\lambda =\lambda -⟨\lambda +\rho ,\alpha ⟩\alpha +np\alpha \mathrm{for} \mathrm{all} \lambda \in X\left(T\right).$$

Denote by $W_p$ the affine Weyl group generated by all $s_{\alpha ,n}$ with $\alpha \in R^{+}$ and $n\in \mathbb{Z}.$ The finite Weyl group $W$ of $R$ appears as the subgroup of $W_p$ generated by the reflections $s_{\alpha ,0}$ with $\alpha \in R^{+}.$

Let ${\alpha }_0$ be the unique maximal short root of $R.$ We will use the following short notation: $s_{{\alpha }_i,0} ≔ s_i$ for all $i\in \left\{1,2,\cdots ,l\right\}$ and $s_0 ≔ s_{{\alpha }_0,1}.$ The set of simple reflections in $W$ is $S=\{s_i |i=1,2,\cdots ,l\}$ and the set of simple affine reflections in $W_p$ is $S_p=S{\displaystyle \cup }\left\{s_0\right\}.$ Denote by $l\left(w\right)$ the length of the element $w\in W$ with respect to the simple reflections $s_1, s_2,\cdots ,s_l.$

We use an order relation $\uparrow$ on $X\left(T\right),$ as described in [35] (p. 235). Let $\lambda ,\mu \in X\left(T\right).$ We say $\lambda \uparrow \mu$ will hold if and only if there are $v_1,v_2,\cdots , v_t\in X\left(T\right)$ and reflections $r_1,r_2,\cdots ,r_{t+1}\in W_p$ with

$$\lambda \le r_1·\lambda =v_1\le r_1·v_1=v_2\le \cdots \le r_t·v_{t-1}=v_t\le r_{t+1}·v_t=\mu$$

or if $\mu =\lambda .$ If $\lambda \in X\left(T\right)$ and $\alpha \in R^{+}.$ Then, there are unique $n_{\alpha },d_{\alpha }\in \mathbb{Z}$ with

$$⟨\lambda +\rho ,\alpha ⟩=n_{\alpha }p+d_{\alpha }$$

and $0<d_{\alpha }\le p.$ Now, set $d\left(\lambda \right)={\displaystyle \sum }_{\alpha \in R^{+}}{n}_{\alpha }.$

For a vector space $L$ over $k,$ we denote by $L^{\left(1\right)}$ the vector space over $k$ that coincides with $L$ as an additive group and with the scalar multiplication given by $a·v=\sqrt[p]{a}v$ for all $a\in k, v\in L,$ where the left hand side is the new multiplication and the right hand side the old one. If $L$ is a $G$-module, then $L^{\left(1\right)}$ is also a $G$-module using the given action of any $g\in G$ on the additive group $L^{\left(1\right)}=L.$ The new $G$-module $L^{\left(1\right)}$ is called the Frobenius twist of $L.$ Suppose a $G$-module $V$ is a Frobenius twist. Then, there is a unique rational $G$-module $L$ such that $L^{\left(1\right)}=V.$ Denote this module by $V^{\left(-1\right)}.$

2.2. Calculation Algorithm of the Cohomology with Coefficients in Simple Modules

To calculate the cohomology $H^n\left(\mathfrak{g},L\left(\lambda \right)\right)$, we will use the following known facts:

• The connection between the cohomology $H^n\left(G_1,V\right)$ and $H^n\left(\mathfrak{g},\mathrm{V}\right),$ where $V$ is a restricted $\mathfrak{g}$-module (or $G_1$-module) introduced by Friedlander, Parshall and Farnsteiner [18,19] as the spectral sequence

  $${\oplus }_{i+j=n}{\mathrm{Hom}}_k\left({\wedge }^i\left(\mathfrak{g}\right),H^j\left(G_1,V\right)\right)\Rightarrow H^n\left(\mathfrak{g},\mathrm{V}\right).$$

  (1)
  We use the following special cases of the spectral sequence (1) (see, Theorem 3.1 in [36]):
  (1) If $V$ is a restricted $\mathfrak{g}$-module, then we have for every $n\ge 0:$

  $$H^j\left(\mathfrak{g},\mathrm{V}\right)=0 \forall j\le n \mathrm{if} \mathrm{and} \mathrm{only} \mathrm{if} H^j\left(G_1,\mathrm{V}\right)=0 \forall j\le n;$$

  (2)
  (2) If $H^j\left(\mathfrak{g},\mathrm{V}\right)=0 \forall j\le n-1,$ then

  $$H^n\left(\mathfrak{g},\mathrm{V}\right)\cong H^n\left(G_1,\mathrm{V}\right).$$

  (3)

• Andersen-Janzen Formula on cohomology of $G_1$ with coefficients in $H^0\left(\lambda \right),$ see [37]: let $p>h$, and $\lambda =w·0+p\nu ,$ then:

  $$H^i{\left(G_1,H^0\left(\lambda \right)\right)}^{\left(-1\right)}\cong \{\begin{array}{c}{\mathrm{Ind}}_B^G\left(S^{\left(i-l\left(w\right)\right)/2}{\mathfrak{n}}^{*}\otimes k_{\nu }\right) \mathrm{if} i-l\left(w\right) \mathrm{even},\\ 0 \mathrm{if} i-l\left(w\right) \mathrm{odd},\end{array}$$

  (4)

  where $\mathfrak{n}$ is the maximal nilpotent subalgebra of $\mathfrak{g},$ corresponding to the negative roots. The Lie algebra $\mathfrak{n}$ is the Lie algebra of the unipotent radical $U$ of $B.$

For the cohomology $H^n\left(\mathfrak{g},L\left(\lambda \right)\right)$ we use the following calculation algorithm:

(A1) Calculate $H^n{\left(G_1,H^0\left(\lambda \right)\right)}^{\left(-1\right)}$ using the Formula (4);

(A2) Transition from $H^n{\left(G_1,H^0\left(\lambda \right)\right)}^{\left(-1\right)}$ to $H^n\left(\mathfrak{g},H^0\left(\lambda \right)\right)$ using the special cases (2) and (3) of the spectral sequence (1) for $V=H^0\left(\lambda \right)$;

(A3) Transition from $H^n\left(\mathfrak{g},H^0\left(\lambda \right)\right)$ to $H^n\left(\mathfrak{g},L\left(\lambda \right)\right)$ using the long cohomological sequence

$$\to H^n\left(\mathfrak{g},L\left(\lambda \right)\right)\to H^n\left(\mathfrak{g},H^0\left(\lambda \right)\right)\to H^n\left(\mathfrak{g},H^0\left(\lambda \right)/L\left(\lambda \right)\right) \to$$

(5)

corresponding to the short exact sequence $0\to L\left(\lambda \right)\to H^0\left(\lambda \right)\to H^0\left(\lambda \right)/L\left(\lambda \right)\to 0.$

Consider an example of the application of the algorithm (A1)–(A3). Let $\mathfrak{g}$ be the classical Lie algebra of type $B_3$ over an algebraically closed field $k$ of characteristic $p>5$ and $\lambda =\left(p-5\right){\omega }_1.$

(B1) First, we will calculate $H^n(G_1,H^0{\left(\left(p-5\right){\omega }_1\right)}^{\left(-1\right)}$ using the Formula (4). Since $\left(p-5\right){\omega }_1=s_1{s}_2{s}_3{s}_2{s}_1·0+p{\omega }_1$ and $l\left(s_1{s}_2{s}_3{s}_2{s}_1\right)=5,$ then by (4),

$$H^n(G_1,H^0{\left(\left(p-5\right){\omega }_1\right)}^{\left(-1\right)}=\{\begin{array}{c}0 \mathrm{if} n<4,\\ L\left({\omega }_1\right) \mathrm{if} n=5.\end{array}$$

(B2) Then, by (3),

$$H^n(\mathfrak{g},H^0{\left(\left(p-5\right){\omega }_1\right)}^{\left(-1\right)}=\{\begin{array}{c}0 \mathrm{if} n<4,\\ L\left({\omega }_1\right) \mathrm{if} n=5.\end{array}$$

(B3) There is short exact sequence $0\to L\left(\left(p-5\right){\omega }_1\right)\to H^0\left(\left(p-5\right){\omega }_1\right)\to k\to 0.$ Consider the corresponding long exact cohomological sequence

$$0\to H^0\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to H^0\left(\mathfrak{g},H^0\left(\left(p-5\right){\omega }_1\right)\right)\to H^0\left(\mathfrak{g},k\right)$$

$$\to H^1\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to H^1\left(\mathfrak{g},H^0\left(\left(p-5\right){\omega }_1\right)\right)\to H^1\left(\mathfrak{g},k\right)$$

It is obvious that $H^0\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)=0$ and $H^0\left(\mathfrak{g},k\right)\cong k.$ Then, according to (B2), the last exact sequence gives the following split short exact sequences:

$$0\to k\to H^1\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to 0,$$

$$0\to H^1\left(\mathfrak{g}\right) \to H^2\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to 0,$$

$$0\to H^2\left(\mathfrak{g}\right) \to H^3\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to 0,$$

$$0\to H^3\left(\mathfrak{g}\right) \to H^4\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to 0,$$

$$0\to H^4\left(\mathfrak{g}\right) \to H^5\left(\mathfrak{g},L\left(\left(p-5\right){\omega }_1\right)\right)\to H^5\left(\mathfrak{g},H^0\left(\left(p-5\right){\omega }_1\right)\right)\to 0,$$

According to Appendix A (Example A2), $H^n\left(\mathfrak{g}\right)=0$ if $n=0,1,2,4,$ and $H^3\left(\mathfrak{g}\right)=k.$

Therefore,

$$H^n(\mathfrak{g},L{\left(\left(p-5\right){\omega }_1\right)}^{\left(-1\right)}=\{\begin{array}{c}0 \mathrm{if} n=0,2,3,\\ k \mathrm{if} n=1,4, \\ L\left({\omega }_1\right) \mathrm{if} n=5. \end{array}$$

Similar calculations for $\left(p-5\right){\omega }_1+{\omega }_2=s_1{s}_2{s}_3{s}_2·0+p{\omega }_1$ give us the following

$$H^n(\mathfrak{g},L{\left(\left(p-5\right){\omega }_1+{\omega }_2\right)}^{\left(-1\right)}=\{\begin{array}{c}0 \mathrm{if} n=0,1,3,\\ k \mathrm{if} n=2, \\ L\left({\omega }_1\right) \mathrm{if} n=4. \end{array}$$

3. Results

3.1. Formulation of Results

Consider the dominant weights ${\lambda }_0,{\lambda }_1,\cdots ,{\lambda }_s,$ ${\mu }_1,{\mu }_2,\cdots ,{\mu }_{s-1},$ where

$$s=\{\begin{array}{c}l-1 \mathrm{if} R=A_l,D_l,E_l \left(l=6,7,8\right),\\ 2l-2 \mathrm{if} R=B_l,C_l, \\ 3 \mathrm{if} R=F_4, \\ 2 \mathrm{if} R=G_2, \end{array}$$

introduced in [29,30]. Let us give a short description of them. Let ${\left\{{\beta }_i\right\}}_{i=1}^s$ be a sequence of positive roots giving rise to $s_{{\beta }_1,k\left(1\right)},s_{{\beta }_2,k\left(2\right)},\cdots ,s_{{\beta }_s,k\left(s\right)},$ sequence of reflections in $W_p.$ Then ${\left\{{\lambda }_i\right\}}_{i=1}^s$ is a sequence of dominant weights, which satisfy:

• ${\lambda }_0=0,$ and for $1\le i\le s,$ ${\lambda }_i=s_{{\beta }_i,k\left(i\right)}·{\lambda }_{i-1};$
• ${\lambda }_0\uparrow {\lambda }_1\uparrow \cdots \uparrow {\lambda }_s$ and $d\left({\lambda }_i\right)=i,$ $1\le i\le s;$
• $⟨{\lambda }_i+\rho ,\alpha ⟩<p^2$ for all $i$ and for all $\alpha \in R^{+};$
• for each pair $i,j$ with $i>j$ there exists a positive root $\gamma \left(i,j\right)$ such that, for all $i,$ ${\displaystyle \sum }_{j=1}^{i-1}{s}_{{\beta }_j,k\left(j\right)}{s}_{{\beta }_i,k\left(i\right)}={\displaystyle \sum }_{j=1}^{i-1}{s}_{\gamma \left(i,j\right)}{s}_{{\beta }_j,k\left(j\right)}$ as element of $\mathbb{Z}\left[W_p\right].$

Further, let ${\gamma }_0$ be a positive root. Then ${\left\{{\mu }_i\right\}}_{i=1}^{s-1}$ is a sequence of dominant weights, which satisfy:

5.

${\mu }_i=s_{{\gamma }_0,1}·{\lambda }_{i+1},$ $1\le i\le s-1;$

6.

${\lambda }_{i+1}\uparrow {\mu }_i,$ $1\le i\le s-1;$

7.

${\mu }_1\uparrow {\mu }_2\uparrow \cdots \uparrow {\mu }_{s-1}$ and $d\left({\mu }_i\right)=i+2,$ $1\le i\le s-1;$

8.

$⟨{\mu }_i+\rho ,\alpha ⟩<p^2$ for all $i$ and for all $\alpha \in R^{+};$

9.

for $j\in \left\{1,2\right\}$ there exists a positive root $\gamma \left(j\right)$ such that

$${\displaystyle \sum }_{j=1}^2{s}_{{\beta }_j,k\left(j\right)}{s}_{{\gamma }_0,1}={\displaystyle \sum }_{j=1}^2{s}_{\gamma \left(j\right)}{s}_{{\beta }_j,k\left(j\right)};$$

10.

$⟨{\gamma }_0,{\beta }_i⟩=0,$ for $3\le i\le s-1.$

For the cohomology of simple modules with highest weights ${\lambda }_0,{\lambda }_1,\cdots ,{\lambda }_s,$ ${\mu }_1,{\mu }_2,\cdots ,{\mu }_{s-1}$, the following results hold:

Theorem 1.

Let$\mathfrak{g}$be a Lie algebra of classical type over an algebraically closed field$k$of characteristic$p>h,$where$h$is the Coxeter number. Suppose that${\left\{{\lambda }_i\right\}}_{i=1}^s$a sequence of dominant weights, which satisfy the conditions (1)–(4), and${\lambda }_i=w_i·0+p{\nu }_i,$where$w_i\in W,$${\nu }_i\in X{\left(T\right)}^{+},$and$i\in \left\{1,2,\cdots ,s\right\}.$Then

(a) for all$i\in \left\{1,2,\cdots ,t_{\lambda }\right\},$

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<i, \\ k \mathrm{if} n=i, \\ H^{n-i}\left(\mathfrak{g}\right) \mathrm{if} i<n<l\left(w_i\right),\end{array}$$

where$t_{\lambda }=\{\begin{array}{c}s \mathrm{if} g=A_l,D_l, E_6, E_7, E_8, F_4, G_2,\\ s-l+1 \mathrm{if} g=B_l, \\ s-1 \mathrm{if} g=C_l; \end{array}$

(b) if$\mathfrak{g}=B_l,$then

$$H^n\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<t_{\lambda }+1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n<t_{\lambda }+1,\end{array}$$

and for all$i\in \left\{t_{\lambda }+2,t_{\lambda }+2,\cdots ,s\right\},$

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<2l-i,\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=2l-i;\end{array}$$

(c) if$\mathfrak{g}=C_l,$then

$$H^n\left(\mathfrak{g},L\left({\lambda }_s\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<s,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n=s.\end{array}$$

Theorem 2.

Let$\mathfrak{g}$be a Lie algebra of classical type over an algebraically closed field$k$of characteristic$p>h,$where$h$is the Coxeter number. Suppose that${\left\{{\mu }_j\right\}}_{j=1}^{s-1}$a sequence of dominant weights, which satisfy the conditions (5)–(10), and${\mu }_j=u_j·0+p{\delta }_j,$where$u_j\in W,$${\delta }_j\in X{\left(T\right)}^{+},$and$j\in \left\{1,2,\cdots ,s-1\right\}.$Then

(a)$H^n\left(\mathfrak{g},L\left({\mu }_1\right)\right)\cong \{\begin{array}{c}0 if n<3, \\ k if n=3, \\ H^{n-3}\left(\mathfrak{g}\right) if 3<n<l\left(w_2\right)+1;\end{array}$

(b) for all$i\in \left\{2,3,\cdots ,t_{\mu }\right\},$

$$H^n\left(\mathfrak{g},L\left({\mu }_j\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<j \mathrm{and} n=j+1, \\ k \mathrm{if} n=j, j+2 \\ H^{n-j}\left(\mathfrak{g}\right)\oplus H^{n-j-2}\left(\mathfrak{g}\right) \mathrm{if} j+2<n<l\left(u_j\right), \end{array}$$

where$t_{\mu }=\{\begin{array}{c}s-1 \mathrm{if} \mathfrak{g}=A_l, B_l,D_l,\\ s-2 \mathrm{if} \mathfrak{g}=C_l; \end{array}$

(c) if$\mathfrak{g}=C_l,$then

$$H^n\left(\mathfrak{g},L\left({\mu }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<s-1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n=s-1.\end{array}$$

Remark 1.

In the case of exceptional Lie algebras ($\mathfrak{g}=E_6, E_7, E_8, F_4, G_2$), dominant weights ${\mu }_1,{\mu }_2,\cdots ,{\mu }_{s-1},$ satisfying conditions (5)–(10) do not exist.

Corollary 3.

Let$\mathfrak{g}$be a Lie algebra of classical type over an algebraically closed field$k$of characteristic$p>h,$where$h$is the Coxeter number. Let$G$be a semisimple, simply connected algebraic group with the Lie algebra$\mathfrak{g}$and$G_1$be the first Frobenius kernel of$G.$Suppose that${\left\{{\lambda }_i\right\}}_{i=1}^s$a sequence of dominant weights, which satisfy the conditions (1)–(4), and$i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$Then the following non-trivial isomorphisms hold: $H^i\left(\mathfrak{g}, L\left({\lambda }_i\right)\right)\cong H^i\left(G_1, L\left({\lambda }_i\right)\right)\cong H^i\left(G, L\left({\lambda }_i\right)\right).$

3.2. Proof of the Results

Proof of Theorem 1.

We will first prove that, for all $i\in \left\{0,1,\cdots ,s\right\},$ the dominant weight ${\lambda }_i$ can be represented in the form ${\lambda }_i=w_i·0+p{\nu }_i,$ with $w_i\in W$ and ${\nu }_i\in X{\left(T\right)}^{+}.$ For each of the root systems $R$ the description of the dominant weights ${\lambda }_0,{\lambda }_1,\cdots ,{\lambda }_s$ by the generators $s_0,s_1,\cdots ,s_l$ of the affine Weyl group $W_p$ is given in Table 1.

Table 1. Description of the highest weights by the generators of $W_p.$

Root System	Highest Weights
$A_l$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, \cdots , {\lambda }_{l-1}=s_0{s}_1\cdots s_{l-2}·{\lambda }_0,$ ${\mu }_1=s_0{s}_l·{\lambda }_0, {\mu }_2=s_0{s}_1{s}_l·{\lambda }_0, \cdots , {\mu }_{l-2}=s_0{s}_1\cdots s_{l-3}{s}_l·{\lambda }_0.$
$B_l$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, \cdots , {\lambda }_{l+1}=s_0{s}_1\cdots s_l·{\lambda }_0,$ ${\lambda }_{l+2}=s_0{s}_1\cdots s_l{s}_{l-1}·{\lambda }_0, \cdots , {\lambda }_{2l-2}=s_0{s}_1\cdots s_l{s}_{l-1}{s}_{l-2}\cdots s_3·{\lambda }_0,$ ${\mu }_1=s_0{s}_1{s}_0·{\lambda }_0, {\mu }_2=s_0{s}_1{s}_2{s}_0·{\lambda }_0, \cdots , {\mu }_l=s_0{s}_1\cdots s_l{s}_0·{\lambda }_0,$ ${\mu }_{l+1}=s_0{s}_1\cdots s_l{s}_{l-1}{s}_0·{\lambda }_0, \cdots , {\mu }_{2l-3}=s_0{s}_1\cdots s_l{s}_{l-1}{s}_{l-2}\cdots s_3{s}_0·{\lambda }_0.$
$C_l$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_2·{\lambda }_0, \cdots , {\lambda }_l=s_0{s}_2\cdots s_l·{\lambda }_0,$ ${\lambda }_{l+1}=s_0{s}_2\cdots s_l{s}_{l-1}·{\lambda }_0, \cdots , {\lambda }_{2l-2}=s_0{s}_2\cdots s_l{s}_{l-1}{s}_{l-2}\cdots s_2·{\lambda }_0,$ ${\mu }_1=s_0{s}_2{s}_1·{\lambda }_0, {\mu }_2=s_0{s}_2{s}_3{s}_1·{\lambda }_0, \cdots , {\mu }_{l-1}=s_0{s}_2\cdots s_l{s}_1·{\lambda }_0,$ ${\mu }_l=s_0{s}_2\cdots s_l{s}_{l-1}{s}_1·{\lambda }_0, \cdots , {\mu }_{2l-3}=s_0{s}_2\cdots s_l{s}_{l-1}{s}_{l-2}\cdots s_2{s}_1·{\lambda }_0.$
$D_l$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_2·{\lambda }_0, \cdots , {\lambda }_{l-1}=s_0{s}_2\cdots s_{l-1}·{\lambda }_0,$ ${\mu }_1=s_0{s}_2{s}_1·{\lambda }_0, {\mu }_2=s_0{s}_2{s}_3{s}_1·{\lambda }_0, \cdots , {\mu }_{l-2}=s_0{s}_2\cdots s_{l-1}{s}_1·{\lambda }_0.$
$E_6$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_2·{\lambda }_0, {\lambda }_3=s_0{s}_2{s}_4·{\lambda }_0,$ ${\lambda }_4=s_0{s}_2{s}_4{s}_5·{\lambda }_0, {\lambda }_5=s_0{s}_2{s}_4{s}_5{s}_6·{\lambda }_0.$
$E_7$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_1·{\lambda }_0, {\lambda }_3=s_0{s}_1{s}_3·{\lambda }_0,$ ${\lambda }_4=s_0{s}_1{s}_3{s}_4·{\lambda }_0, {\lambda }_5=s_0{s}_1{s}_3{s}_4{s}_5·{\lambda }_0, {\lambda }_6=s_0{s}_1{s}_3{s}_4{s}_5{s}_6·{\lambda }_0.$
$E_8$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_8·{\lambda }_0, {\lambda }_3=s_0{s}_8{s}_7·{\lambda }_0,$ ${\lambda }_4=s_0{s}_8{s}_7{s}_6·{\lambda }_0, {\lambda }_5=s_0{s}_8{s}_7{s}_6{s}_5·{\lambda }_0, {\lambda }_6=s_0{s}_8{s}_7{s}_6{s}_5{s}_4·{\lambda }_0,$ ${\lambda }_7=s_0{s}_8{s}_7{s}_6{s}_5{s}_4{s}_3·{\lambda }_0,$
$F_4$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_4·{\lambda }_0, {\lambda }_3=s_0{s}_4{s}_3·{\lambda }_0.$
$G_2$	${\lambda }_0=1·{\lambda }_0, {\lambda }_1=s_0·{\lambda }_0, {\lambda }_2=s_0{s}_1·{\lambda }_0.$

We have ${\lambda }_1=s_0·0=w_1·0+p{\nu }_1.$ Since

$$s_0·0=\left(p-h+1\right){\alpha }_0,$$

(6)

where ${\alpha }_0$ is the maximal short root, the equality $w_1·0+p{\nu }_1=\left(p-h+1\right){\alpha }_0$ gives us

$$w_1{}^{-1}·(\left(-h+1){\alpha }_0\right)=0.$$

(7)

Using Equations (6) and (7), one can easy to get the descriptions of $w_1$ and $s_0$ by the generators $s_0,s_1,\cdots ,s_l$ of the Weyl group $W.$ For non-negative integer indices $i<j,$ let

$$w_{i,j}=s_i{s}_{i+1}\cdots s_j.$$

Simple calculations for each of the root systems yield ${\nu }_1={\alpha }_0$ and

$s_0=w_{1,l}{w}_{1,l-1}^{-1}+p{\alpha }_0$ for $\mathfrak{g}=A_l,B_l;$

$s_0=w_{2,l-1}{w}_{1,l}^{-1}{w}_{2,l-1}{w}_{2,l}^{-1}+p{\alpha }_0$ for $\mathfrak{g}=C_l;$

$s_0=w_{2,l-2}{w}_{1,l}^{-1}{w}_{2,l-2}{w}_{2,l}^{-1}+p{\alpha }_0$ for $\mathfrak{g}=D_l;$

$s_0=s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,6}{s}_2{w}_{4,5}{w}_{3,4}{s}_2+p{\alpha }_0$ for $\mathfrak{g}=E_6;$

$s_0=s_1{w}_{2,4}^{-1}{w}_{4,5}^{-1}{w}_{5,6}^{-1}{w}_{3,4}{w}_{1,3}{w}_{1,7}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{w}_{3,7}^{-1}{s}_1+p{\alpha }_0$ for $\mathfrak{g}=E_7;$

$s_0=w_{1,8}^{-1}{w}_{3,4}^{-1}{w}_{4,5}^{-1}{s}_2{w}_{3,6}^{-1}{s}_1{w}_{2,7}^{-1}{w}_{1,8}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{w}_{3,7}^{-1}{w}_{4,8}^{-1}{w}_{1,8}+p{\alpha }_0$ for $\mathfrak{g}=E_8;$

$s_0=w_{1,4}^{-1}{w}_{2,3}^{-1}{w}_{1,4}^{-1}{w}_{2,4}^{-1}{w}_{3,4}+p{\alpha }_0$ for $\mathfrak{g}=F_4;$

$s_0=w_{1,2}{w}_{1,2}{s}_1+p{\alpha }_0$ for $\mathfrak{g}=G_2.$

Then using Table 1 and above expression of $s_0,$ for $w_i$ and ${\nu }_i,$ we obtain the expressions that shown in Table 2.

Table 2. Descriptions of $w_i$ and ${\nu }_i.$

Root System	$\mathit{i}$	${\mathit{w}}_{\mathit{i}}$	${\mathit{\nu }}_{\mathit{i}}$
$A_l$	$1,2,\cdots ,s$	$w_{1,l}{w}_{i,l-1}^{-1}$	${\alpha }_0$
$B_l$	$1,2,\cdots ,l$ $l+1,l+2,\cdots ,s$	$w_{1,l}{w}_{i,l-1}^{-1}$ $w_{1,2l-i}$	${\alpha }_0$
$C_l$	$1,2,\cdots ,l-1$ $l,l+1,\cdots ,s$	$w_{2,l}{w}_{1,l-1}^{-1}{w}_{2,l}{w}_{i+1,l-1}^{-1}$ $w_{2,l}{w}_{1,l-1}^{-1}{w}_{2,2l-i-1}{w}_{1,l-1}^{-1}$	${\alpha }_0$
$D_l$	$1,2,\cdots ,s$	$w_{2,l-2}{w}_{1,l}^{-1}{w}_{2,l-2}{w}_{i+1,l}^{-1}$	${\alpha }_0$
$E_6$	$1$ $2$ $3$ $4$ $5$	$s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,6}{s}_2{w}_{4,5}{w}_{3,4}{s}_2$ $s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,6}{s}_2{w}_{4,5}{w}_{3,4}$ $s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,6}{s}_2{w}_{4,5}{s}_3$ $s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,6}{s}_2{w}_{3,4}^{-1}$ $s_2{w}_{4,6}^{-1}{w}_{3,5}{w}_{1,2}^{-1}{w}_{3,4}^{-1}{s}_1{w}_{4,5}{s}_2{w}_{3,4}^{-1}$	${\alpha }_0$
$E_7$	$1$ $2,3,4,5$ $6$	$s_1{w}_{2,4}^{-1}{w}_{4,5}^{-1}{w}_{5,6}^{-1}{w}_{3,4}{w}_{1,3}{w}_{1,7}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{w}_{3,7}^{-1}{s}_1$ $s_1{w}_{2,4}^{-1}{w}_{4,5}^{-1}{w}_{5,6}^{-1}{w}_{3,4}{w}_{1,3}{w}_{1,7}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{w}_{i+1,7}^{-1}$ $s_1{w}_{2,4}^{-1}{w}_{4,5}^{-1}{w}_{5,6}^{-1}{w}_{3,4}{w}_{1,3}{w}_{1,7}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{s}_7$	${\alpha }_0$
$E_8$	$1,2,\cdots ,7$	$w_{1,8}^{-1}{w}_{3,4}^{-1}{w}_{4,5}^{-1}{s}_2{w}_{3,6}^{-1}{s}_1{w}_{2,7}^{-1}{w}_{1,8}^{-1}{w}_{3,5}^{-1}{w}_{4,6}^{-1}{s}_2{w}_{3,7}^{-1}{w}_{4,8}^{-1}{w}_{1,9-i}$	${\alpha }_0$
$F_4$	$1$ $2$ $3$	$w_{1,4}^{-1}{w}_{2,3}^{-1}{w}_{1,4}^{-1}{w}_{2,4}^{-1}{w}_{3,4}$ $w_{1,4}^{-1}{w}_{2,3}^{-1}{w}_{1,4}^{-1}{w}_{2,4}^{-1}{s}_3$ $w_{1,4}^{-1}{w}_{2,3}^{-1}{w}_{1,4}^{-1}{w}_{2,4}^{-1}$	${\alpha }_0$
$G_2$	$1$ $2$	$w_{1,2}{w}_{1,2}{s}_1$ $w_{1,2}{w}_{1,2}$	${\alpha }_0$

Since $l\left(w_{i,j}\right)=j-i+1,$ using Table 2, for all $i\in \left\{1,2,\cdots ,s\right\},$ we get

$l\left(w_i\right)=2l-i$ for $\mathfrak{g}=A_l,B_l;$

$l\left(w_i\right)=4l-i-4$ for $\mathfrak{g}=C_l;$

$l\left(w_i\right)=4l-i-6$ for $\mathfrak{g}=D_l;$

$l\left(w_i\right)=22-i$ for $\mathfrak{g}=E_6;$

$l\left(w_i\right)=34-i$ for $\mathfrak{g}=E_7;$

$l\left(w_i\right)=58-i$ for $\mathfrak{g}=E_8;$

$l\left(w_i\right)=16-i$ for $\mathfrak{g}=F_4;$

$l\left(w_i\right)=6-i$ for $\mathfrak{g}=G_2.$

Now, we can calculate the cohomology $H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)$ for all $i\in \left\{1,2,\cdots ,s\right\}$ and for all $n<l\left(w_i\right)$ by the algorithm (A1)–(A3) described in Section 2.2.

Proof of Theorem 1 Statement (a).

We have

(C1) According to Formula (4), $H^n\left(G_1,H^0\left({\lambda }_i\right)\right)=0$ for all $i$ satisfying the condition $n<l\left(w_i\right).$

(C2) By the above (C1) and Formula (2), $H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)=0$ for all $i$ satisfying the condition $n<l\left(w_i\right).$

(C3) Consider the long cohomological exact sequence (5) for $\lambda ={\lambda }_i:$

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\to H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)\to H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)/L\left({\lambda }_i\right)\right)$$

(8)

Since $H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)=0$ for all $i$ satisfying the condition $n<l\left(w_i\right),$ from the exactness of the sequence (8) it follows that

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^{n-1}\left(\mathfrak{g},H^0\left({\lambda }_i\right)/L\left({\lambda }_i\right)\right)$$

for all $i$ satisfying the condition $n<l\left(w_i\right).$

By Theorem 1.1 in [30] (pp. 3861—3862),

$$H^0\left({\lambda }_i\right)/L\left({\lambda }_i\right)\cong L\left({\lambda }_{i-1}\right)$$

for all $i\in \left\{1,2,\cdots ,s\right\}.$ Then

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{i-1}\right)\right)$$

(9)

for all $i$ satisfying the condition $n<l\left(w_i\right).$ If $i=t_{\lambda }+1,$ then, by Formula (4),

$$H^{t_{\lambda }+1}\left(G_1,H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\ne 0.$$

Hence, it follows that $i\le t_{\lambda }.$

Further, we will use induction on $i.$ If $i=1,$ then, by (9),

$$H^n\left(\mathfrak{g},L\left({\lambda }_1\right)\right)\cong H^{n-1}\left(\mathfrak{g},L\left({\lambda }_0\right)\right)=H^{n-1}\left(\mathfrak{g}\right)$$

for all $n<l\left(w_1\right)=2l-1.$ Then

$$H^n\left(\mathfrak{g},L\left({\lambda }_1\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<1, \\ k \mathrm{if} n=1, \\ H^{n-1}\left(\mathfrak{g}\right) \mathrm{if} 1<n<l\left(w_1\right).\end{array}$$

Therefore, the statement (a) is valid for $i=1.$

Suppose the statement (a) is valid for all $i<t,$ where $t\le t_{\lambda }.$ By (9),

$$H^n\left(\mathfrak{g},L\left({\lambda }_t\right)\right)\cong H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{t-1}\right)\right)$$

for all $n<l\left(w_t\right)=2l-t.$ Then, by the induction hypothesis,

$$H^n\left(\mathfrak{g},L\left({\lambda }_t\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<t, \\ k \mathrm{if} n=t, \\ H^{n-t}\left(\mathfrak{g}\right) \mathrm{if} t<n<l\left(w_t\right).\end{array}$$

Therefore, the statement (a) is valid for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$

In the statement (a), the following two cases are not covered: ${\lambda }_i$ with

$$i\in \left\{t_{\lambda }+1,t_{\lambda }+2,\cdots ,s\right\}$$

for the Lie algebras of type $B_l,$ and ${\lambda }_s$ for the Lie algebras of type $C_l.$ Below we will consider them in the statements (b) and (c), respectively.

Proof of Theorem 1 Statement (b).

Let $i=t_{\lambda }+1.$

(D1) We get ${\lambda }_{t_{\lambda }+1}=w_{t_{\lambda }+1}·0+p{\alpha }_0$ and $l\left(w_{t_{\lambda }+1}\right)=t_{\lambda }+1.$ Then, according to Formula (4),

$$H^n\left(G_1,H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<t_{\lambda }+1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=t_{\lambda }+1.\end{array}$$

(D2) By the above (D1) and Formula (3),

$$H^n\left(\mathfrak{g},H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<t_{\lambda }+1,\\ H^n\left(G_1,H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\mathrm{if} n=t_{\lambda }+1\end{array}\cong \{\begin{array}{c}0 \mathrm{if} n<t_{\lambda }+1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=t_{\lambda }+1.\end{array}$$

(10)

(D3) Consider the long cohomological exact sequence (8) for $i=t_{\lambda }+1.$ Since $H^n\left(\mathfrak{g},H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)=0$ for all $n<t_{\lambda }+1,$ from the exactness of the sequence (8) it follows that

$$H^n\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\oplus H^{n-1}\left(\mathfrak{g},H^0\left({\lambda }_{t_{\lambda }+1}\right)/L\left({\lambda }_{t_{\lambda }+1}\right)\right).$$

Since $V\left(\lambda \right)$ is isomorphic to $H^0{\left(-w_0\left(\lambda \right) \right)}^{*}$, then, by Theorem 1.1 in [30] (pp. 3861—3862), $H^0\left({\lambda }_{t_{\lambda }+1}\right)/L\left({\lambda }_{t_{\lambda }+1}\right)\cong L\left({\lambda }_{t_{\lambda }}\right).$ Therefore,

$$H^n\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_{t_{\lambda }+1}\right)\right)\oplus H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }}\right)\right).$$

According to the statement (a),

$$H^n\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<t_{\lambda },\\ k \mathrm{if} n=t_{\lambda }.\end{array}$$

Then, by (10),

$$H^n\left(\mathfrak{g},L\left({\lambda }_{t_{\lambda }+1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<t_{\lambda }+1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n=t_{\lambda }+1.\end{array}$$

Now let $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\}.$

(E1) According to Formula (4), for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\},$

$$H^n\left(G_1,H^0\left({\lambda }_i\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_i\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(w_i\right).\end{array}$$

(E2) By the above (E1) and Formula (3), for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\},$

$$H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_i\right),\\ H^n\left(G_1,H^0\left({\lambda }_i\right)\right) \mathrm{if} n=l\left(w_i\right)\end{array}\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_i\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(w_i\right).\end{array}$$

(11)

(E3) Consider the long cohomological exact sequence (8) for $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\}.$ Since $H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)=0$ for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\}$ and for all $n<l\left(w_i\right),$ from the exactness of the sequence (8) it follows that

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)\oplus H^{n-1}\left(\mathfrak{g},H^0\left({\lambda }_i\right)/L\left({\lambda }_i\right)\right)$$

for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\}.$ By Theorem 1.1 in [30] (pp. 3861—3862),

$$H^0\left({\lambda }_i\right)/L\left({\lambda }_i\right)\cong L\left({\lambda }_{i-1}\right)$$

for all $i\in \left\{1,2,\cdots ,s\right\}.$ Then, for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\},$

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)\oplus H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{i-1}\right)\right).$$

Since $l\left(w_i\right)\le t_{\lambda }$ for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\},$ by the statement (a), it follows that $H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{i-1}\right)\right)=0$ for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\}$ and for all $n<l\left(w_i\right).$ Then, by (11), for all $i\in \left\{t_{\lambda }+2,t_{\lambda }+3,\cdots ,s\right\},$

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_i\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_i\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(w_i\right).\end{array}$$

In the case where $\mathfrak{g}=B_l,$ $l\left(w_i\right)=2l-i.$ Therefore,

$$H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<2l-i,\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=2l-i.\end{array}$$

Proof of Theorem 1 Statement (c).

In this case i = s = 2l − 2 and l(w_s) = 2l − 2.

(F1) According to Formula (4),

$$H^n\left(G_1,H^0\left({\lambda }_s\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_s\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(w_s\right).\end{array}$$

(F2) By the above (F1) and Formula (3),

$$H^n\left(\mathfrak{g},H^0\left({\lambda }_s\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_s\right),\\ H^n\left(G_1,H^0\left({\lambda }_s\right)\right) \mathrm{if} n=l\left(w_s\right)\end{array}\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(w_s\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(w_s\right).\end{array}$$

(12)

(F3) Consider the long cohomological exact sequence (8) for $i=s.$ Since $H^n\left(\mathfrak{g},H^0\left({\lambda }_s\right)\right)=0$ for all $n<l\left(w_s\right),$ from the exactness of the sequence (8) it follows that

$$H^n\left(\mathfrak{g},L\left({\lambda }_s\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_s\right)\right)\oplus H^{n-1}\left(\mathfrak{g},H^0\left({\lambda }_s\right)/L\left({\lambda }_s\right)\right).$$

By Theorem 1.1 in [30] (pp. 3861—3862), $H^0\left({\lambda }_s\right)/L\left({\lambda }_s\right)\cong L\left({\lambda }_{s-1}\right).$ Then,

$$H^n\left(\mathfrak{g},L\left({\lambda }_s\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\lambda }_s\right)\right)\oplus H^{n-1}\left(\mathfrak{g},L\left({\lambda }_{s-1}\right)\right).$$

According to the statement (a),

$$H^n\left(\mathfrak{g},L\left({\lambda }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<s-1,\\ k \mathrm{if} n=s-1.\end{array}$$

Then, by (12),

$$H^n\left(\mathfrak{g},L\left({\lambda }_s\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<s,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n=s.\end{array}$$

□.

Proof of Theorem 2.

We prove that, for all $j\in \left\{1,2,\cdots ,s-1\right\},$ the dominant weight ${\mu }_j$ can be represented in the form $u_j·0+p{\delta }_j$ with $u_j\in W$ and ${\delta }_j\in X{\left(T\right)}^{+}.$ For each of the root systems $R$ the description of the dominant weights ${\mu }_1,{\mu }_2,\cdots ,{\mu }_{s-1}$ by the generators $s_0,s_1,\cdots ,s_l$ of the affine Weyl group $W_p$ is given in Table 1. Using Table 1 and the expression for $s_0$ obtained in the proof of Theorem 1, we obtain for $u_j$ and ${\delta }_j$ the expressions that shown in Table 3.

Table 3. Descriptions of $u_j$ and ${\delta }_j.$

Root System	$\mathit{j}$	${\mathit{u}}_{\mathit{j}}$	${\mathit{\delta }}_{\mathit{j}}$
$A_l$	$1,2,\cdots ,s-1$	$w_{1,l-2}{w}_{j,l}^{-1}$	${\alpha }_0$
$B_l$	$1,2,\cdots ,l-1$ $l,l+1,\cdots ,s-1$	$w_{1,l}{w}_{j+1,l-1}^{-1}{w}_{1,l}{w}_{1,l-1}^{-1}$ $w_{1,2l-j-1}{w}_{1,l}{w}_{1,l-1}^{-1}$	${\omega }_2$
$C_l$	$1,2,\cdots ,l-2$ $l-1,l,\cdots ,s-2$ $2l-3$	$w_{2,l}{w}_{3,l-1}^{-1}{w}_{1,l}{w}_{j+2,l}^{-1}$ $w_{2,l}{w}_{3,l-1}^{-1}{w}_{2,2l-j-2}$ $w_{2,l}{w}_{2,l-1}^{-1}$	${\alpha }_0$
$D_l$	$1,2,\cdots ,s-1$	$w_{2,l-2}{w}_{3,l}^{-1}{w}_{1,l-2}{w}_{j+2,l}^{-1}$	${\alpha }_0$

Since $l\left(w_{i,j}\right)=j-i+1,$ using Table 3, we get

$$l\left(u_j\right)=\{\begin{array}{c}2l-j-1 \mathrm{if} g=A_l,\\ 4l-j-2 \mathrm{if} g=B_l,\\ 4l-j-6 \mathrm{if} g=C_l,\\ 4l-j-8 \mathrm{if} g=D_l\end{array}$$

(13)

for all $j\in \left\{1,2,\cdots ,s-1\right\}.$

Proof of Theorem 2 Statement (a).

We have

(G1) According to Formula (4), $H^n\left(G_1,H^0\left({\mu }_1\right)\right)=0$ for all $n<l\left(u_1\right).$

(G2) By the above (G1) and Formula (2), $H^n\left(\mathfrak{g},H^0\left({\mu }_1\right)\right)=0$ for all $n<l\left(u_1\right).$

(G3) Consider the long cohomological exact sequence (5) for $\lambda ={\mu }_1.$ Since $H^n\left(\mathfrak{g},H^0\left({\mu }_1\right)\right)=0$ for all $n<l\left(u_1\right),$ from this exact sequence it follows that

$$H^n\left(\mathfrak{g},L\left({\mu }_1\right)\right)\cong H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_1\right)/L\left({\mu }_1\right)\right)$$

for all $n<l\left(u_1\right).$ By Theorem 1.2 in [30] (p. 3862), $H^0\left({\mu }_1\right)/L\left({\mu }_1\right)\cong L\left({\lambda }_2\right).$ Then,

$$H^n\left(\mathfrak{g},L\left({\mu }_1\right)\right)\cong H^{n-1}\left(\mathfrak{g},L\left({\lambda }_2\right)\right).$$

According to the statement (a) of Theorem 1,

$$H^{n-1}\left(\mathfrak{g},L\left({\lambda }_2\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n-1<2, \\ k \mathrm{if} n-1=2, \\ H^{n-3}\left(\mathfrak{g}\right) \mathrm{if} 2<n-1<l\left(w_2\right).\end{array}$$

Therefore,

$$H^n\left(\mathfrak{g},L\left({\mu }_1\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<3, \\ k \mathrm{if} n=3, \\ H^{n-3}\left(\mathfrak{g}\right) \mathrm{if} 3<n<l\left(w_2\right)+1.\end{array}$$

Proof of Theorem 2 Statement (b).

We have

(H1) According to Formula (4), $H^n\left(G_1,H^0\left({\mu }_j\right)\right)=0$ for all $j$ satisfying the condition $n<l\left(u_j\right).$

(H2) By the above (H1) and Formula (2), $H^n\left(\mathfrak{g},H^0\left({\mu }_j\right)\right)=0$ for all $j$ satisfying the condition $n<l\left(u_j\right).$

(H3) Consider the long cohomological exact sequence (5) for $\lambda ={\mu }_j:$

$$H^n\left(\mathfrak{g},L\left({\mu }_j\right)\right)\to H^n\left(\mathfrak{g},H^0\left({\mu }_j\right)\right)\to H^n\left(\mathfrak{g},H^0\left({\mu }_j\right)/L\left({\mu }_j\right)\right)$$

(14)

Since $H^n\left(\mathfrak{g},H^0\left({\mu }_i\right)\right)=0$ for all $j$ satisfying the condition $n<l\left(u_j\right),$ from the exactness of the sequence (14) it follows that

$$H^n\left(\mathfrak{g},L\left({\mu }_j\right)\right)\cong H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_j\right)/L\left({\mu }_j\right)\right)$$

for all $j$ satisfying the condition $n<l\left(u_j\right).$ If $j=t_{\mu }+1,$ then, by Formula (4),

$$H^{t_{\mu }+1}\left(G_1,H^0\left({\mu }_{t_{\mu }+1}\right)\right)\ne 0.$$

Hence, it follows that $j\le t_{\mu }.$

By Lemma 4.1 in [30] (p. 3870), there exist the following short exact sequences:

$$0\to L\left({\mu }_1\right)\oplus L\left({\lambda }_3\right)\oplus L\left({\lambda }_1\right)\to H^0\left({\mu }_2\right)/L\left({\mu }_2\right)\to L\left({\lambda }_2\right)\to 0,$$

(15)

and

$$0\to L\left({\mu }_{j-1}\right)\oplus L\left({\lambda }_{j+1}\right)\to H^0\left({\mu }_j\right)/L\left({\mu }_j\right)\to L\left({\lambda }_j\right)\to 0$$

(16)

for all $j\in \left\{3,4,\cdots ,s-1\right\}.$

Further, we will use induction on $j.$ If $j=2,$ then, the long cohomological exact sequence corresponding to the short exact sequence (15) implies that

$$0\to H^{n-2}\left(\mathfrak{g},L\left({\lambda }_2\right)\right)\to H^{n-1}\left(\mathfrak{g},L\left({\mu }_1\right)\oplus L\left({\lambda }_3\right)\oplus L\left({\lambda }_1\right)\right)\to H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_2\right)/L\left({\mu }_2\right)\right)\to 0$$

for all $n<l\left(u_2\right).$ Using the statement $\left(a\right)$ and Theorem 1 to the previous exact sequence, we obtain

$$H^n\left(\mathfrak{g},L\left({\mu }_2\right)\right)\cong H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_2\right)/L\left({\mu }_2\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<2 \mathrm{and} n=3, \\ k \mathrm{if} n=2,4, \\ H^{n-2}\left(\mathfrak{g}\right) \oplus H^{n-4}\left(\mathfrak{g}\right) \mathrm{if} 4<n<l\left(u_2\right).\end{array}$$

Therefore, the statement (b) is valid for $j=2.$

Suppose the statement (b) is valid for all $j<t,$ where $t\le t_{\mu }.$ Then the long cohomological exact sequence corresponding to the short exact sequence (16) implies that

$$0\to H^{n-2}\left(\mathfrak{g},L\left({\lambda }_t\right)\right)\to H^{n-1}\left(\mathfrak{g},L\left({\mu }_{t-1}\right)\oplus L\left({\lambda }_{t+1}\right)\right)\to H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_t\right)/L\left({\mu }_t\right)\right)\to 0$$

for all $n<l\left(u_t\right).$ Using the statement $\left(a\right)$ and Theorem 1 to the previous exact sequence, we obtain

$$H^n\left(\mathfrak{g},L\left({\mu }_t\right)\right)\cong H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_t\right)/L\left({\mu }_t\right)\right)\cong \{\begin{array}{c} 0 \mathrm{if} n<t \mathrm{and} n=t+1, \\ k \mathrm{if} n=t,t+2, \\ H^{n-t}\left(\mathfrak{g}\right) \oplus H^{n-t-2}\left(\mathfrak{g}\right) \mathrm{if} t+2<n<l\left(u_t\right).\end{array}$$

Therefore, the statement (b) is valid for all $j\in \left\{2,3,\cdots ,t_{\mu }\right\}.$

In the statement (b), the case where $j=s-1$ for the Lie algebras of type $C_l$ is not covered. We consider this case in the statements (c).

Proof of Theorem 2 Statement (c).

In this case j = s − 1 = 2l − 3 and l(μ_s−1) = 2l − 3.

(I1) According to Formula (4),

$$H^n\left(G_1,H^0\left({\mu }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(u_{s-1}\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(u_{s-1}\right).\end{array}$$

(I2) By the above (I1) and Formula (3),

$$H^n\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(u_{s-1}\right),\\ H^n\left(G_1,H^0\left({\mu }_{s-1}\right)\right) \mathrm{if} n=l\left(u_{s-1}\right)\end{array}\cong \{\begin{array}{c}0 \mathrm{if} n<l\left(u_{s-1}\right),\\ L{\left({\alpha }_0\right)}^{\left(1\right)} \mathrm{if} n=l\left(u_{s-1}\right).\end{array}$$

(17)

(I3) Consider the long cohomological exact sequence (14) for j $=s-1.$ Since $H^n\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)\right)=0$ for all $n<l\left(u_{s-1}\right),$ from the exactness of the sequence (14) it follows that

$$H^n\left(\mathfrak{g},L\left({\mu }_{s-1}\right)\right)\cong H^n\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)\right)\oplus H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)/L\left({\mu }_{s-1}\right)\right).$$

(18)

By Lemma 4.1 in [30] (p. 3870), there is the following exact sequence:

$$0\to L\left({\mu }_{s-2}\right)\oplus L\left({\lambda }_s\right)\to H^0\left({\mu }_{s-1}\right)/L\left({\mu }_{s-1}\right)\to L\left({\lambda }_{s-1}\right)\to 0.$$

(19)

The long cohomological exact sequence corresponding to the short exact sequence (19) implies that

$$0\to H^{n-2}\left(\mathfrak{g},L\left({\lambda }_{s-1}\right)\right)\to H^{n-1}\left(\mathfrak{g},L\left({\mu }_{s-2}\right)\oplus L\left({\lambda }_s\right)\right)\to H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)/L\left({\mu }_{s-1}\right)\right)\to 0.$$

Using the statement $\left(b\right)$ and Theorem 1 to the previous exact sequence, we get

$$H^{n-1}\left(\mathfrak{g},H^0\left({\mu }_{s-1}\right)/L\left({\mu }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<s-1,\\ k \mathrm{if} n=s-1.\end{array}$$

(20)

Then, by (17), (18) and (20),

$$H^n\left(\mathfrak{g},L\left({\mu }_{s-1}\right)\right)\cong \{\begin{array}{c}0 \mathrm{if} n<s-1,\\ L{\left({\alpha }_0\right)}^{\left(1\right)}\oplus k \mathrm{if} n=s-1.\end{array}$$

□

Proof of Corollary 3.

By Theorem 1, $H^i\left(\mathfrak{g}, L\left({\lambda }_i\right)\right)\cong k.$ Now, we show that $H^i\left(G_1, L\left({\lambda }_i\right)\right)\cong k$. For all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\},$ there is the short exact sequence

$$0\to L\left({\lambda }_i\right)\to H^0\left({\lambda }_i\right)\to L\left({\lambda }_{i-1}\right)\to 0.$$

By (4), $H^i\left(G_1, H^0\left({\lambda }_i\right)\right)=0$ for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ Then, the long cohomological exact sequence of $G_1$-cohomology corresponding to the previous short exact sequence gives us the short exact sequence

$$0\to H^{i-1}(G_1,L\left({\lambda }_{i-1}\right)\to H^i\left(G_1,L\left({\lambda }_i\right)\right)\to 0$$

for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ Then, $H^i\left(G_1,L\left({\lambda }_i\right)\right)\cong H^{i-1}(G_1,L\left({\lambda }_{i-1}\right)$ for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ If $i=1,$ then $H^1\left(G_1,L\left({\lambda }_1\right)\right)\cong H^0(G_1,L\left({\lambda }_0\right)=H^0\left(G_1,L\left(0\right)\right)\cong k.$ Next, using induction on $i$ we obtain $H^i\left(G_1,L\left({\lambda }_1\right)\right)\cong k$ for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ So, $H^i\left(\mathfrak{g}, L\left({\lambda }_i\right)\right)\cong H^i\left(G_1, L\left({\lambda }_i\right)\right)\cong k.$

Now it suffices to show that $H^i\left(\mathfrak{g}, L\left({\lambda }_i\right)\right)\cong H^i\left(G, L\left({\lambda }_i\right)\right)$ for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ It is known that $H^n\left(G,V\right)\cong {\mathrm{Hom}}_G\left(k,H^n{\left(G_1,V\right)}^{\left(-1\right)}\right)$ for all simple modules with the highest restricted weight [38]. Then

$$H^i\left(G, L\left({\lambda }_i\right)\right)\cong {\mathrm{Hom}}_G\left(k,H^i{\left(G_1, L\left({\lambda }_i\right)\right)}^{-1}\right)\cong k$$

for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ Therefore, $H^i\left(\mathfrak{g}, L\left({\lambda }_i\right)\right)\cong H^i\left(G, L\left({\lambda }_i\right)\right)$ for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}.$ □.

4. Discussion

As noted in the Introduction, the results of this paper are part of a certain topical problem on cohomology of semisimple simply connected algebraic groups in positive characteristic and their Lie algebras. We were interested in studying the cohomology of simple modules for $\mathfrak{g},$ $G_1,$ and $G$ in the restricted region, and the connections between them. In this paper, we have described the cohomology of a certain family of simple modules of the restricted region for $\mathfrak{g}$. These results can be used for further investigations of the connections between the cohomology of algebraic groups (cohomology for $G$) and both the usual cohomology (cohomology for $\mathfrak{g}$) and restricted cohomology (cohomology for $G_1$) of their Lie algebras. The results and the method of their proof can also be used to calculate the cohomology of simple modules for $G_1$ in the restricted region. Analyzing the results of Theorems 1 and 2, we can Formulate some statements, the validity of which is to be proved in further studies. For instance,

• If for all $i\in \left\{1,2,\cdots ,t_{\lambda }\right\}$ and for all $n\le i,$ $H^n\left(\mathfrak{g},L\left({\lambda }_i\right)\right)\cong H^n\left(G,L\left({\lambda }_i\right)\right).$
• If for all j $\in \left\{1,2,\cdots ,t_{\mu }\right\}$ and for all $n\le j,$ $H^n\left(\mathfrak{g},L\left({\mu }_i\right)\right)\cong H^n\left(G,L\left({\mu }_i\right)\right).$

Similar research for small characteristics ($p\le h$) are also interesting open questions.

The results of this paper can also be used to calculate the cohomology of simple modules for Lie algebras related to classical Lie algebras.