10

An exceptional complex Lie algebra is a simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five such Lie algebras: $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}$,${\mathfrak {e}}_{6}$, ${\mathfrak {e}}_{7}$, ${\mathfrak {e}}_{8}$; their respective dimensions are 14, 52, 78, 133, 248.

See https://en.wikipedia.org/wiki/Exceptional_Lie_algebra

Usually, given a complex Lie algebra,

there could be non-isomorphic connected complex Lie groups with the same given Lie algebra.

For example, the ${\rm SO}(N)$ and ${\rm Spin}(N)$ can have the same Lie algebra ${\mathfrak {so}}_{n}$, but they are non-isomorphic Lie groups because ${\rm SO}(N)={\rm Spin}(N)/(\mathbb{Z}/2\mathbb{Z})$ has smaller center than ${\rm Spin}(N)$. In particular, ${\rm SO}(5)$ and ${\rm Sp}(2)\simeq {\rm Spin}(5)$ are non-isomorphic Lie groups with isomorphic Lie algebras ${\mathfrak {so}}_{5}\simeq{\mathfrak{sp}}_2$.

Questions:

  1. It is commonly said that the Lie groups with given Lie algebra $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}$,${\mathfrak {e}}_{6}$, ${\mathfrak {e}}_{7}$, ${\mathfrak {e}}_{8}$ are $G_2$, $F_4$, $E_6$, $E_7$, $E_8$. However, do we have non-isomorphic Lie groups with the same exceptional Lie algebra $\mathfrak{g}_{2}$, ${\mathfrak {f}}_{4}$,${\mathfrak {e}}_{6}$, ${\mathfrak {e}}_{7}$, ${\mathfrak {e}}_{8}$?

  2. What are the centers $Z(G)$ of these Lie groups $G$? For $G_2$, $F_4$, $E_6$, $E_7$, $E_8$ and possibly others with the same given Lie algebra?

  3. What are the homotopy groups $$\pi_d(G)$$ of these Lie groups $G$ for lower dimensions? say $d=0,1,3,4,5,...$?

We already know that $\pi_2(G)=0$ for any Lie group.

I appreciate your patience, comments and answers

Mikhail Borovoi
  • 13,577
  • 2
  • 29
  • 69
  • 7
    These are pretty basic questions which are probably a better fit for math stack exchange. But certainly there are multiple different Lie groups which have the same exceptional Lie algebra as their Lie algebra: see e.g. https://en.wikipedia.org/wiki/List_of_simple_Lie_groups#List for a starting point. – Sam Hopkins Aug 22 '20 at 22:12
  • 3
    Of course, as questions (2) and (3) seem to hint at, the general rule for finding Lie groups $G'$ with the same Lie algebra as $G$ is (1) find the universal cover $\tilde G$, (2) find the center $Z(\tilde G)$, (3) enumerate all discrete subgroups $\Gamma \subseteq Z(\tilde G)$, (4) take $G' = \tilde G / \Gamma$ for each $\Gamma$, and (5) look for more direct descriptions. How straightforward is it to hunt down all these steps for all these groups in the literature (I'm no expert)? If nothing else, recording sources for each step here would make this information easier to find on the internet. – Tim Campion Aug 22 '20 at 22:43
  • 2
    @TimCampion At least to me it seems to be quite difficult to find much information on the exceptional Lie groups in the standard textbooks. There is the textbook "Lectures on Exceptional Lie Groups" by Adams which might contain most information but it seems to be out of print in my country at the moment. It would be interesting to see whether there is a modern textbook on Lie groups that contains also detailed descriptions and properties for the exceptional Lie groups and their Lie algebras. I have nearly 10 books on Lie groups but none has full detailed information on all exceptional cases. – Mare Aug 22 '20 at 22:53
  • 9
    Not only is this problem subject to explicit enumeration as @TimCampion says; there's not much enumeration to do: $\mathsf E_8$, $\mathsf F_4$, and $\mathsf G_2$ are all simply connected and adjoint (= centreless, for semisimple groups), so they are the unique (linear) Lie groups with their Lie algebras (and can be realised as the automorphism groups of their Lie algebras, if you've already got those). – LSpice Aug 22 '20 at 22:55
  • 8
    For $\mathsf E_6$ and $\mathsf E_7$ the centres of the simply connected groups (equivalently, the fundamental groups of their adjoint quotients) are cyclic of prime order (3 and 2, respectively), so you have only the automorphism groups of the Lie algebras and their simply connected covers. – LSpice Aug 22 '20 at 22:56
  • 5
    If "aut. Lie alg." counts as explicit but "s.c. cover" doesn't, then the $\mathsf E_6$ and $\mathsf E_7$ sitting inside $\mathsf E_8$ (as derived groups of Levi subgroups) are both simply connected. I think this is how Frank Adams constructs them in the lovely book @Mare references. If I recall correctly, he gets $\mathsf F_4$ and $\mathsf G_2$ by folding (paper by Stembridge, also lovely). – LSpice Aug 22 '20 at 22:58
  • 3
    One more and then I'll stop. I thought we had an MO question about how to lift foldings of root systems to groups, but I can't find it (although …); but there is a nice question https://mathoverflow.net/questions/99736/beautiful-descriptions-of-exceptional-groups . (EDIT: And, oops, I forgot about real forms, of which $\mathsf E_6$ and $\mathsf E_7$ have non-split ones but $\mathsf E_8$, $\mathsf F_4$, and $\mathsf G_2$, because both s.c. and adjoint, do not.) – LSpice Aug 22 '20 at 23:10
  • Thanks very much, I think some of you experts can already answer my question directly in an answer form. ,3 – annie marie cœur Aug 22 '20 at 23:19
  • 6
    I guess in light of all this discussion I agree that it would be nice for someone to post an answer cataloging all the possible groups. – Sam Hopkins Aug 23 '20 at 00:03
  • Thanks, I voted up your comment - please feel free to vote mine post up so your answer will get more votes/attentions too. – annie marie cœur Aug 23 '20 at 00:05
  • 1
    Relevant old MO question: https://mathoverflow.net/questions/43546/lie-algebras-to-classify-lie-groups – Sam Hopkins Aug 23 '20 at 01:31
  • 2
    @LSpice What do you mean that $F_4$ does not have a non-split real form? There are three non-isomorphic real forms of type $F_4$. See e.g. https://mathoverflow.net/a/96477/6818 – Vít Tuček Aug 23 '20 at 10:20
  • 1
    E8 also has 3 real forms according to the list I linked. – Sam Hopkins Aug 23 '20 at 11:54
  • @VítTuček (1) and @‍SamHopkins (2), thanks for the corrections. I guess I was assuming (with the usual results) that $\mathrm H^1(k, G)$ is trivial for $G$ simply connected as in the $p$-adic case. – LSpice Aug 23 '20 at 12:52
  • 1
    @LSpice: You should not assume that! – Mikhail Borovoi Aug 23 '20 at 13:34
  • @MikhailBorovoi, right, sorry, I meant my editorial aside "(with the usual results)" to indicate that I had been obviously foolish. I can plead no better excuse than that I almost never think of real groups, so that I am too seldom bit by my over-analogising. – LSpice Aug 23 '20 at 13:37
  • 1
    @MikhailBorovoi: Why did you edit the question to refer to complex Lie groups? It's not at all clear that that's what the OP was asking about. In fact, if someone just said "Lie group," I would assume they meant real Lie group. – Sam Hopkins Aug 23 '20 at 15:42
  • @SamHopkins: The OP wrote explicitly "complex Lie algebra". I don't think that she wanted to consider a real Lie group whose real Lie algebra is the restriction of scalars from $\Bbb C$ to $\Bbb R$ of a complex Lie algebra. – Mikhail Borovoi Aug 23 '20 at 16:04
  • @SamHopkins: Anyway, if anybody (say, the OP, or you) asks a question about real forms of semisimple complex Lie algebras (or of semisimple complex algebraic groups), I will answer this question. – Mikhail Borovoi Aug 23 '20 at 16:06
  • 2
    @MikhailBorovoi: I would instinctively interpret the question as: which real Lie groups have real Lie algebras whose complexifications are the exceptional complex simple Lie algebras $\mathfrak{g}_2, \mathfrak{f}_4, ...$. So there are two issues: real forms, and nontrivial centers. – Sam Hopkins Aug 23 '20 at 16:22
  • @SamHopkins: This was not written! Let us wait for comments of OP.... – Mikhail Borovoi Aug 23 '20 at 16:27
  • 1
    Yes, I agree the OP should clarify. – Sam Hopkins Aug 23 '20 at 16:28
  • @SamHopkins: I mentioned it in my answer and gave references. – Mikhail Borovoi Aug 23 '20 at 16:29
  • 1
    @LSpice: Concerning real Galois cohomology see the paper of Adams and Taibi and the paper of Borovoi and Evenor. Both have been published. A new version of this peprint will appear by the end of August. – Mikhail Borovoi Aug 23 '20 at 17:12
  • @LSpice: It is not quite related. One should try to avoid self-promotion. – Mikhail Borovoi Aug 23 '20 at 17:32
  • 1
    Crosspost from MathSE: https://math.stackexchange.com/questions/3799810/, https://math.stackexchange.com/questions/3799860/, https://math.stackexchange.com/questions/3799800/ – YCor Aug 24 '20 at 13:01

2 Answers2

16

I prefer to use the language of algebraic groups. All algebraic groups and Lie algebras are defined over $\Bbb C$.

1. Let ${\mathfrak g}$ be a semisimple Lie algebra. Consider the automorphism group ${\rm Aut\,}{\mathfrak g}$, its identity component $G^{\rm ad}:=({\rm Aut\,}{\mathfrak g})^0$, and the group of outer automorphisms ${\rm Out\,} {\mathfrak g}:=({\rm Aut\,} {\mathfrak g})/({\rm Aut\,} {\mathfrak g})^0$. We say that $G^{\rm ad}$ is the adjoint group (or the group of adjoint type) with Lie algebra ${\mathfrak g}$. Note that $Z(G^{\rm ad})=\{1\}$.

2. Starting with a semisimple Lie algebra ${\mathfrak g}$, one can construct the simply connected group $G^{\rm sc}$ with Lie algebra ${\mathfrak g}$; see Steinberg, Lectures on Chevalley groups, AMS, 2016. Note that $\pi_1(G^{\rm sc})=\{1\}$. This algebraic group $G^{\rm sc}$ has the following universal property: for any algebraic group $H$ with Lie algebra ${\mathfrak h}$ and for any homomorphism of Lie algebras $\varphi_{\rm Lie}\colon {\mathfrak g}\to{\mathfrak h}$, there exists a unique homomorphism of algebraic group $\varphi\colon G^{\rm sc}\to H$ inducing $\varphi_{\rm Lie}$.

3. For any connected algebraic group $G$ with Lie algebra ${\mathfrak g}$, there exists a canonical surjective homomorphism $$\rho\colon G^{\rm sc}\to G $$ inducing the identity isomorphism on ${\mathfrak g}$; see above. We have $$\pi_1(G^{\rm sc})=\{1\},\quad \pi_1(G)={\rm ker}\,\rho.$$ On the other hand, we have a canonical surjective homomorphism $${\rm Ad}\colon G\to G^{\rm ad}\subseteq {\rm Aut\,} {\mathfrak g}$$ with kernel $Z(G)$. Write $$C=Z(G^{\rm sc})=\pi_1(G^{\rm ad}).$$ The homomorphism $$ {\rm Ad}\colon G\to G^{\rm ad}$$ induces a homomorphism $$i\colon \pi_1(G)\to\pi_1(G^{\rm ad})=C.$$ Moreover, the homomorphism $$\rho\colon G^{\rm sc}\to G$$ induces a homomorphism $$j\colon C=Z(G^{\rm sc})\to Z(G).$$ In this way we obtain a short exact sequence $$1\to\pi_1(G)\overset{i}{\longrightarrow} C\overset{j}{\longrightarrow} Z(G)\to 1.$$

Conversely, for each subgroup $F\subseteq C$ one can associate a connected semisimple group $ G_F:=G^{\rm sc}/F$ with Lie algebra ${\mathfrak g}$, with fundamental group $\pi_1(G_F)=F$, and with center $Z(G_F)=C/F$. In this way we obtain a canonical bijection between the set of subgroups of $C$ up to conjugation by ${\rm Out\,} {\mathfrak g}$ and the set of isomorphism classes of connected semisimple algebraic groups with Lie algebra ${\mathfrak g}$. It is known that ${\rm Out\,} {\mathfrak g}$ is canonically isomorphic to ${\rm Aut\,} {\rm Dyn}({\mathfrak g})$, where ${\rm Dyn}({\mathfrak g})$ is the canonical Dynkin diagram of ${\mathfrak g}$.

4. Let us return to our exceptional simple Lie algebras. The group $C=C({\mathfrak g})$ can be found, for instance, in tables in the book by Bourbaki "Lie Groups and Lie Algebras, Chapters 4-6", or in the book by Onishchik and Vinberg "Lie Groups and Algebraic Groups", Springer-Verlag, 1990.

For ${\mathfrak g}_2$, ${\mathfrak f}_4$, and ${\mathfrak e}_8$ we have $C({\mathfrak g})=\{1\}$. Thus there is only one (up to isomorphism) algebraic group $G^{\rm sc}({\mathfrak g})=G^{\rm ad}({\mathfrak g})$ with Lie algebra ${\mathfrak g}$.

For ${\mathfrak g}={\mathfrak e}_6$ we have $C({\mathfrak g})\simeq {\Bbb Z}/3{\Bbb Z}$. This group has no nontrivial subgroups. Thus there are exactly two connected algebraic groups (up to isomorphism) $E_6^{\rm sc}$ and $E_6^{\rm ad}$ with Lie algebra ${\mathfrak e}_6$. We have $$Z(E_6^{\rm sc})=\pi_1(E_6^{\rm ad})\simeq{\Bbb Z}/3{\Bbb Z}.$$

For ${\mathfrak g}={\mathfrak e}_7$ we have $C({\mathfrak g})\simeq {\Bbb Z}/2{\Bbb Z}$. This group has no nontrivial subgroups. Thus there are exactly two connected algebraic groups (up to isomorphism) $E_7^{\rm sc}$ and $E_7^{\rm ad}$ with Lie algebra ${\mathfrak e}_7$. We have $$Z(E_7^{\rm sc})=\pi_1(E_7^{\rm ad})\simeq{\Bbb Z}/2{\Bbb Z}.$$

5. The real forms of a connected algebraic group of an exceptional type correspond bijectively to the real forms of (or real structures on) its Lie algebra. My favorite way to classify those is via Kac diagrams. See Table 7 in the book by Onishchik and Vinberg. The number of real forms is 2 for ${\mathfrak g}_2$, 3 for ${\mathfrak f}_4$, 3 for ${\mathfrak e}_8$, 4 for ${\mathfrak e}_7$, 5 for ${\mathfrak e}_6$. These real forms are listed also in Table V in Chapter X of Helgason's book "Differential Geometry, Lie Groups, and Symmetric Spaces" (Helgason lists all non-compact forms). Helgason classifies real forms using the original method of Kac with infinite dimensional Lie algebras. Onishchik and Vinbeg use another method, which gives exactly the same answer (the same Kac diagrams).

Mikhail Borovoi
  • 13,577
  • 2
  • 29
  • 69
  • 3
    I think it may be important to note what is paid for by using the language of algebraic groups (which I also prefer). For example, "there is only one algebraic group with Lie algebra $\mathfrak g$" (where $\mathfrak g$ is $\mathfrak e_8$, $\mathfrak f_4$, or $\mathfrak g_2$) is true only to the extent that we speak of groups over alg. closed field; it's not true over $\mathbb R$ (as you say later). Also, the alg. groups that we are calling connected and simply connected need not be either when regarded as real Lie groups (by taking real points). Finally, we miss non-linear groups this way! – LSpice Aug 23 '20 at 16:08
  • I see now that you edited the question to refer only to complex Lie groups, as the wording obliquely suggested and OP may or may not have intended. In this case I agree with you: we get very lucky—I think of it as luck, but perhaps design is a more appropriate way to describe it—and the confusions I worried about do not arise (which, of course, is how those alg.-gp. terms arose!). – LSpice Aug 23 '20 at 16:11
  • @LSpice: All what you say in your first comment - I do know that. If you ask a relevant question, I will answer it when I have time. – Mikhail Borovoi Aug 23 '20 at 16:18
  • Certainly I didn't mean to suggest that you didn't know that, and I apologise if I gave that impression. I just meant that it might be worth it to make it part of the answer for the benefit of people who might not know it. – LSpice Aug 23 '20 at 16:20
  • 2
    In particular, if a semisimple algebraic $\Bbb R$- group $\bf G$ is a connected (over $\Bbb C$), and if it either compact or simply connected (simply connected over $\Bbb C$), then the group of $\Bbb R$-points $\bf G(\Bbb R)$ is connected. – Mikhail Borovoi Aug 23 '20 at 16:22
  • I understood what you meant, but this is an answer on two pages! If somebody asks a separate question, I will answer it. – Mikhail Borovoi Aug 23 '20 at 16:25
  • 1
    One thing is wrong with this answer: the exceptional Lie algebra $\mathfrak{e}_6$ has a non-trivial outer automorphism. – Sam Hopkins Aug 23 '20 at 21:20
  • @SamHopkins: Oops! Thank you for noticing. I have removed the erroneous assertion. – Mikhail Borovoi Aug 23 '20 at 21:44
  • @MikhailBorovoi: I have one last question about this very nice answer. If I want to compute all the real Lie groups associated with a complex Lie algebra, is it true that I can, so to speak, "multiply" the choices from the two steps of choosing a real form and choosing a center? E.g., for $\mathfrak{e}6$ I would get $5\times 2=10$ groups? In other words, will I have $C(\mathfrak{g}{\mathbb{R}})=C(\mathfrak{g})$ for any real form of my Lie algebra? – Sam Hopkins Aug 24 '20 at 00:08
  • Looking at https://en.wikipedia.org/wiki/List_of_simple_Lie_groups#List again, I see that what I suggested in my last comment is not true: the fundamental groups of the centerless real groups will be different from in the complex case. – Sam Hopkins Aug 24 '20 at 01:26
  • 1
    @SamHopkins: And you wrote that this question would be more suitable for Math StackExchange.... – Mikhail Borovoi Aug 24 '20 at 09:52
  • 1
    @MikhailBorovoi: Haha, indeed. Well I knew that in principle this was all worked out by Cartan 100 years ago, but there are many moving parts to say the least! – Sam Hopkins Aug 24 '20 at 12:45
  • @SamHopkins: Real forms were classified by Cartan in this paper of 1914. – Mikhail Borovoi Aug 24 '20 at 12:54
  • 1
    @MikhailBorovoi, in @‍SamHopkins's defence (not that they need it from me), I'm not sure if the fact that there are lots of interesting things to say about this means that it was an appropriate MO question. Yours is obviously a good answer, and I appreciate your writing it; but it's the sort of thing that can be and should be found in the standard references, as you mention, and I wouldn't want to see people come to MO to ask questions when they can and should first check in the standard references (for whatever field their question is in). – LSpice Aug 24 '20 at 19:49
3

I have just dumped the comments in an answer, and hope someone will make a better answer than this. (EDIT: Someone has! See @MikhailBorovoi's answer.) I'll be happy to delete this one—or you can just edit this one, which is CW to avoid reputation (since I'm just compiling comments).

One thing that hasn't been mentioned in the comments yet is Question 3. Asking about $\pi_0$ of a group based on its Lie algebra is in some sense meaningless; the Lie algebra of a group only sees its identity component, so one may make $\pi_0$ as bad as one allows a discrete Lie group to be (countable?) without changing the Lie algebra. For $\mathsf E_8$, $\mathsf F_4$, and $\mathsf G_2$, $\pi_1$ is trivial. For $\mathsf E_6$ and $\mathsf E_7$, the adjoint form (arising as the automorphism group of the Lie algebra) has fundamental group that is cyclic of prime order (3 and 2, respectively). However, all of these statements are about the complex groups, hence for compact forms, and I know that other real forms may have different fundamental groups, but don't know how they differ. Hopefully someone will fill this in.

As you mention, $\pi_2$ is trivial, and @AndréHenriques gives a reference in the comments pointing to Borel's paper An application of Morse theory to the topology of Lie groups proving that $\pi_3$ is infinite cyclic for simple groups, but I'm not sure if that's for algebraically simple groups, or for abstractly simple groups (i.e., is a finite centre allowed?). Again, hopefully someone will edit this answer, or add their own.

@SamHopkins said:

… certainly there are multiple different Lie groups which have the same exceptional Lie algebra as their Lie algebra: see e.g. http://en.wikipedia.org/wiki/List_of_simple_Lie_groups#List for a starting point.

@TimCampion said:

Of course, as questions (2) and (3) seem to hint at, the general rule for finding Lie groups $G'$ with the same Lie algebra as $G$ is (1) find the universal cover $\tilde G$, (2) find the center $Z(\tilde G)$, (3) enumerate all discrete subgroups $\Gamma \subseteq Z(\tilde G)$, (4) take $G' = \tilde G/\Gamma$ for each $\Gamma$, and (5) look for more direct descriptions. How straightforward is it to hunt down all these steps for all these groups in the literature (I'm no expert)? If nothing else, recording sources for each step here would make this information easier to find on the internet."

@Mare said:

@TimCampion At least to me it seems to be quite difficult to find much information on the exceptional Lie groups in the standard textbooks. There is the textbook "Lectures on Exceptional Lie Groups" by Adams which might contain most information but it seems to be out of print in my country at the moment. It would be interesting to see whether there is a modern textbook on Lie groups that contains also detailed descriptions and properties for the exceptional Lie groups and their Lie algebras. I have nearly 10 books on Lie groups but none has full detailed information on all exceptional cases."

I then blathered on for a while (1 2 3 4), but note that first I forgot to think about real forms, and even when I remembered I got it wrong by over-analogy to the $p$-adic case—see important corrections (1 2) of my wrong statements about non-existence of non-split real forms:

Not only is this problem subject to explicit enumeration as @TimCampion says; there's not much enumeration to do: $\mathsf E_8$, $\mathsf F_4$, and $\mathsf G_2$ are all simply connected and adjoint (= centreless, for semisimple groups), so they are the unique (linear) Lie groups with their Lie algebras (and can be realised as the automorphism groups of their Lie algebras, if you've already got those). For $\mathsf E_6$ and $\mathsf E_7$ the centres of the simply connected groups (equivalently, the fundamental groups of their adjoint quotients) are cyclic of prime order (3 and 2, respectively), so you have only the automorphism groups of the Lie algebras and their simply connected covers. If "automorphism group of Lie algeba" counts as explicit but "simply connected cover" doesn't, then the $\mathsf E_6$ and $\mathsf E_7$ sitting inside $\mathsf E_8$ (as derived groups of Levi subgroups) are both simply connected. I think this is how Frank Adams constructs them in the lovely book @Mare references. If I recall correctly, he gets $\mathsf F_4$ and $\mathsf G_2$ by folding (paper by Stembridge, also lovely). I thought we had an MO question about how to lift foldings of root systems to groups, but I can't find it (although …); but there is a nice question Beautiful descriptions of exceptional groups. (EDIT: And, oops, I forgot about real forms, of which $\mathsf E_6$ and $\mathsf E_7$ have non-split ones but $\mathsf E_8$, $\mathsf F_4$, and $\mathsf G_2$ because both s.c. and adjoint, do not. Further EDIT while compiling: This is wrong, as @VítTuček and @SamHopkins pointed out for $\mathsf F_4$ and $\mathsf E_8$, respectively. In fact I was, impressively, wrong on every count; there's also a non-split form for $\mathsf G_2$. I should have known that this uniqueness statement was wrong even before it was pointed out, because every real (linear) Lie group has at least compact form as well as a split one.)

@SamHopkins said:

Relevant old MO question: Lie algebras to classify Lie groups.

@VítTuček said:

@LSpice What do you mean that $\mathsf F_4$ does not have a non-split real form? There are three non-isomorphic real forms of type $\mathsf F_4$. See e.g. https://mathoverflow.net/a/96477/6818.

@SamHopkins said:

$\mathsf E_8$ also has 3 real forms according to the list I linked.

LSpice
  • 11,423
  • I appreciate your effort and voted up, BUT this is not an answer! Something more precise and direct counts an answer... – annie marie cœur Aug 23 '20 at 14:14
  • I agree that it is not a very good answer, which is why I hope someone will make a better one; but it seems to me that it literally answers your Question 1 and Question 2. I did not want to editorialise, so included pretty much everything mathematical; but feel free to edit to something more streamlined. – LSpice Aug 23 '20 at 14:29
  • I will post an answer very soon. I am typing it. – Mikhail Borovoi Aug 23 '20 at 14:35