Abstract
We compute the group of automorphisms of an arbitrary ind-variety of (possibly isotropic) generalized flags. Such an ind-variety is a homogeneous ind-space for one of the ind-groups \(SL(\infty )\), \(O(\infty )\) or \(Sp(\infty )\). We show that the respective automorphism groups are much larger than \(SL(\infty )\), \(O(\infty )\) or \(Sp(\infty )\), and present the answer in terms of Mackey groups. The latter are groups of automorphisms of non-degenerate pairings of (in general infinite-dimensional) vector spaces. An explicit matrix form of the automorphism group of an arbitrary ind-variety of generalized flags is also given. The case of the Sato grassmannian is considered in detail, and its automorphism group is the projectivization of the connected component of unity in the group known as Japanese \(GL(\infty )\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given a homogenous space X, it is a natural problem to compute its automorphism group AutX. In the case when X is a complex flag variety, that is, X = G/P for a connected reductive complex algebraic group and a parabolic subgroup P ⊂ G, the automorphism group of X is well known. Moreover, it is a classical result that here the connected component Aut0X of the identity equals the projectivized group PG, except in some special cases as described in [12].
In this paper, we would like to pose and solve the problem of computing AutX for a class of homogeneous ind-varieties X. This is the class of ind-varieties of generalized flags introduced by that name in [3] but also considered earlier in several works, see for instance [4, 11]. These ind-varieties can be defined simply as G/P where G is one of the ind-groups \(SL(\infty )=\varinjlim SL(n)\), \(SO(\infty )=\varinjlim SO(n)\), \(Sp(\infty )=\varinjlim Sp(2n)\) and P is a splitting parabolic subgroup, i.e., a subgroup for which the intersections P ∩ SL(n), P ∩ SO(2n), P ∩ SO(2n + 1), P ∩ Sp(2n) are parabolic subgroups of SL(n), SO(2n), SO(2n + 1), Sp(2n) for all n, respectively. The definition from [3] can be considered as a flag realization of the ind-varieties G/P as above, and is recalled in Section 2 below. The main idea of that approach is that one designates certain chains of subspaces in the natural representation V of \(SL(\infty )\) as generalized flags, and then defines an ind-variety of generalized flags as the ind-variety of generalized flags which differ only “slightly” from a fixed generalized flag W in V. For the exact definition see Section 2. One then shows that the so obtained ind-variety is isomorphic to G/P for \(G=SL(\infty )\) and some splitting parabolic subgroup P ⊂ G.
An ind-grassmannian is an ind-variety of generalized flags for which the fixed generalized flag consists of a single proper subspace W ⊂ V. For \(\dim W=\text {codim}_{V} W=\infty \) the ind-grassmannian is isomorphic to the Sato grassmannian. This has been pointed out for instance in [5].
In the cases of the groups \(SO(\infty )\) and \(Sp(\infty )\) we consider ind-varieties of isotropic generalized flags, as stated in Section 4.
Our main result is the explicit determination of the group AutX for an arbitrary ind-variety of, possibly isotropic, generalized flags. A notable feature is that the answer is very different from the ind-groups \(P GL(\infty )\), \(P O(\infty )\), or \(P Sp(\infty )\), and we present it in the language of Mackey groups. Such a group is defined in terms of a non-degenerate pairing of vector spaces \(T\times R\rightarrow \mathbb {C}\), and is a subgroup of the group of all linear operators \(\varphi \colon T\rightarrow T\) for which the dual operator φ∗ determines a well-defined automorphism \(\overline {\varphi }\colon R\rightarrow R\). This definition of Mackey group is inspired by G. Mackey’s dissertation [10]. If T and R are finite dimensional, then the Mackey group is nothing but \(GL(T)\simeq GL(R)\). The group known as Japanese \(GL(\infty )\) is a Mackey group and plays a crucial role in our work. In the ?? we discuss the structure of this group in detail.
The precise statement of our main result, Theorem 2.1, is presented in Section 2. The consideration of the isotropic case is postponed to Section 8. The proof of Theorem 2.1 is divided into two parts: the case of an ind-grassmannian and the case of an arbitrary generalized flag. For the Sato grassmannian (which is the most interesting ind-grassmannian) our result implies that its automorphism group is isomorphic to the projectivization of the connected component of the identity in the group Japanese \(GL(\infty )\). In Section 7 we give a matrix realization of the group of automorphisms of an arbitrary ind-variety of generalized flags. In the isotropic case such a realization is given in Corollary 8.1.
We would like to point out that AutX depends essentially on the ind-variety X, despite the fact that all X are homogeneous spaces for the same group \(SL(\infty )\) (or, respectively, \(SO(\infty )\), \(Sp(\infty )\)). This is in contrast with the finite-dimensional case in which the connected component of the identity in the automorphism group of a variety SL(n)/P (respectively, SO(2n)/P, SO(2n + 1)/P or Sp(2n)/P) depends only on n and not on the choice of P. Further research should be carried out to compare the isomorphism classes of ind-varieties of generalized flags with the isomorphism classes of their automorphism groups.
Our possible application of the results of the present paper would be the study of locally reductive ind-groups \(\widetilde {G}\) different from \(G=SL(\infty )\), \(SO(\infty )\), \(Sp(\infty )\) for which G/P is a homogeneous \(\widetilde {G}\)-space.
In conclusion of this short introduction, we should mention that some particular cases of the automorphism groups of ind-varieties of generalized flags have been considered in [13] and [17].
2 Brief Background and Statement of the Main Result
The ground field is \(\mathbb {C}\). If R is a vector space, we set \(GL(R)=\{ \varphi \in \text {Hom}_{\mathbb {C}}(R,R)\mid \varphi \text { is invertible}\}\) and \(R^{*}=\text {Hom}_{\mathbb {C}}(R,\mathbb {C})\). We also use the superscript ⋅∗ to denote the dual of a vector bundle, as well as the pullback functor for vector bundles along a morphism of varieties. In what follows we consider infinite matrices, in particular, infinite rows and columns. We call such matrices, rows or columns finitary if they have at most finitely many nonzero entries. By \(\langle \cdot \rangle _{\mathbb {C}}\) we denote the linear span over \(\mathbb {C}\).
We fix a countable-dimensional vector space V. A chain of subspacesW = {Wα} is a set of subspaces \(W_{\alpha }\subseteq V\), parameterized by some index set with elements α such that for \(\alpha \neq \alpha ^{\prime }\) we have \(W_{\alpha }\varsubsetneq W_{\alpha ^{\prime }}\) or \(W_{\alpha ^{\prime }}\varsubsetneq W_{\alpha }\). The relation of inclusion induces a total order on the set of indices of a chain. A chain of subspaces W = {Wα} is a generalized flag inV if every index α has either an immediate predecessor or an immediate successor, and every nonzero vector v of V is contained in some difference \(W_{\alpha ^{\prime \prime }}\setminus W_{\alpha ^{\prime }}\), where \(\alpha ^{\prime \prime }\) is the immediate successor of \(\alpha ^{\prime }\). For a more detailed discussion of generalized flags, and for an introduction to ind-varieties of generalized flags, see, e.g., [3, 8] and [15].
We say that a generalized flag W is compatible with a basis \(\widetilde {E}\) of V (or that W is \(\widetilde {E}\)-compatible) if any space Wα of W is spanned by elements of \(\widetilde {E}\), i.e., \(W_{\alpha }=\langle W_{\alpha }\cap \widetilde {E} \rangle _{\mathbb {C}}\) for any α. We set \(E_{\alpha }=\widetilde {E}\cap W_{\alpha }\). Then Eα is a basis of Wα. By (Wα)∗ we denote the span of the system of linear functions \(\widetilde {E}^{*}\) dual to the basis Eα. We have \((W_{\alpha })_{*}\subseteq W^{*}_{\alpha }\). We also let V∗ equal the span of the system of linear functions dual to the basis \(\widetilde {E}\). The group \(GL(\widetilde {E},V)\) is the subgroup of GL(V ) consisting of all invertible operators \(\varphi \colon V\rightarrow V\) each of which acts as the identity on all but finitely elements of \(\widetilde {E}\).
In what follows, we fix a basis \(\widetilde {E}\) and a generalized flag W in V compatible with \(\widetilde {E}\). The set \(Fl(W,\widetilde {E},V)\) is the set of all generalized flags \(W^{\prime }=\{W^{\prime }_{\alpha }\}\) which are \(\widetilde {E}\)-commensurable with W. This latter requirement spells out as the following three conditions for each element \(W^{\prime }\) of \(Fl(W,\widetilde {E},V)\):
-
the index set which parameterizes the generalized flag \(W^{\prime }\) is the same as the index set of W;
-
there exists a finite-dimensional subspace \(Z\subsetneq V\) depending on \(W^{\prime }\), such that for any α we have \(W^{\prime }_{\alpha }+Z= W_{\alpha }+Z\) and \(\dim (W_{\alpha }\cap Z)=\dim (W^{\prime }_{\alpha }\cap Z)\);
-
the generalized flag \(W^{\prime }\) is compatible with a basis \(\widetilde {E}^{\prime }\) of V, depending on \(W^{\prime }\), such that \(\widetilde {E}^{\prime }\) differs from \(\widetilde {E}\) by finitely many vectors.
The set \(Fl(W,\widetilde {E},V)\) has a natural structure of ind-variety. This is explained in detail in [3] (and in [8] and [15]). Briefly, the ind-variety structure on \(Fl(W,\widetilde {E},V)\) arises as follows. Enumerate the basis \(\widetilde {E}\) by the set \(\mathbb {Z}_{>0}\) and put \(V_{i}:=\langle e_{1},\ldots ,e_{i} \rangle _{\mathbb {C}}\) for \(i\in \mathbb {Z}_{>0}\). Each intersection W ∩ Vi is a flag in Vi of certain type \(\underline {d}_{i}=({d_{i}^{1}},\ldots ,d_{i}^{k_{i}})\), and this ordering of the basis \(\widetilde {E}\) induces embeddings
called strict standard extensions, such that \(Fl(W,\widetilde {E},V)=\varinjlim Fl(\underline {d}_{i},V_{i})\). The embeddings (1) endow \(Fl(W,\widetilde {E},V)\) with an ind-variety structure. In Section 4 below we recall the definition of a strict standard extension.
Next we recall that if T and R are two (in general, infinite-dimensional) vector spaces endowed with a non-degenerate pairing \(\mathbf {p}\colon T\times R \rightarrow \mathbb {C}\), then the Mackey group G(T,R) is defined as
see [10]. Here \(\varphi ^{*}\colon T^{*}\rightarrow T^{*}\) is the operator dual (adjoint) to the operator \(\varphi \colon T\rightarrow T\), and R is considered as a subspace of T∗ via the embedding R↪T∗ induced by the pairing p. Equivalently, G(T,R) can be defined as the group
where T is considered as a subspace of R∗ via p. The correspondence
is a canonical isomorphism between the groups (2) and (3). In what follows, when writing φ ∈ G(T,R) we will assume that φ ∈ GL(T), and will denote the operator φ∗|R by \(\overline {\varphi }\). Note that, given a subspace A of T, one has \(\varphi (A)=\overline {\varphi }^{-1}(A^{\perp })\), where A⊥ is the annihilator of A in R.
Consider again the ind-variety of generalized flags \(Fl(W,\widetilde {E},V)\). Define the spaces \(V^{W}_{\widetilde {E}}\) and \(V^{W}_{*\widetilde {E}}\) as
where α runs over the indices parameterizing the generalized flag W, and the spaces Uα are direct complements of the spaces Wα, i.e., V = Wα ⊕ Uα, with the assumption that \(U_{\alpha }\cap \widetilde {E}\) is a basis of Uα. Note that the spaces \(V^{W}_{\widetilde E}\), \(V^{W}_{*\widetilde E}\) are necessarily infinite-dimensional and there is a canonical non-degenerate pairing
therefore the group \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\) is well defined.
An essential observation is that the spaces \(V^{W}_{\widetilde {E}}\) and \(V^{W}_{*\widetilde {E}}\) depend only on the ind-variety \(Fl(W,\widetilde {E},V)\) and not on the specific point \(W\in Fl(W,\widetilde {E},V)\). This follows from the fact that, for each α, the spaces ((Wα)∗)∗⊕ Uα and \((W_{\alpha })_{*}\oplus U^{*}_{\alpha }\) do not change when Wα is replaced by a subspace \(W_{\alpha }^{\prime }\subset W\) which is \(\widetilde {E}\)-commensurable with Wα, and Uα is replaced by a direct complement \(U_{\alpha }^{\prime }\) of \(W_{\alpha }^{\prime }\) containing all but finitely many vectors from \(\widetilde {E}\cap U_{\alpha }\).
Moreover, \(GL(\widetilde {E},V)\) is a subgroup of \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\). To see this, consider a linear operator ϰ : V → V, \({{\varkappa }}\in GL(\widetilde E,V)\), and fix α. There exist subspaces \(W_{\alpha }^{\prime }\subset W_{\alpha }\), \(U_{\alpha }^{\prime }\subset U_{\alpha }\), such that \({ \left .\kern -\nulldelimiterspace {{\varkappa }} \right |_{W_{\alpha }^{\prime }} }=\text {id}_{W_{\alpha }^{\prime }}\), \({ \left .\kern -\nulldelimiterspace {{\varkappa }} \right |_{U_{\alpha }^{\prime }} }=\text {id}_{U_{\alpha }^{\prime }}\), and \(V=W_{\alpha }^{\prime }\oplus K\oplus U_{\alpha }^{\prime }\) for some ϰ-invariant finite-dimensional subspace K ⊂ V. Then \((W_{\alpha }^{\prime })_{*}\), \((U_{\alpha }^{\prime })^{*}\) and K∗ are ϰ∗-invariant subspaces of V∗, and \((W_{\alpha })_{*}\oplus U_{\alpha }^{*}=(W_{\alpha }^{\prime })_{*}\oplus K^{*}\oplus (U_{\alpha }^{\prime })^{*}\) is a ϰ∗-invariant subspace of V∗. This shows that \(V^{W}_{*\widetilde E}=\bigcap _{\alpha }((W_{\alpha })_{*}\oplus U_{\alpha }^{*})\) is a ϰ∗-invariant subspace of V∗. The same argument applied to the ϰ∗-invariant subspace V∗ of V∗ implies that \(V^{W}_{\widetilde E}\) is a \(({ \left .\kern -\nulldelimiterspace {{\varkappa }}^{*} \right |_{V_{*}} })^{*}\)-invariant subspace of (V∗)∗. This allows to consider ϰ as an element of \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\).
Next, if \(W^{\prime }\) is any chain of subspaces in V and \(\varphi \colon V^{W}_{\widetilde {E}}\rightarrow V^{W}_{\widetilde {E}}\) is any linear operator from the group \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\), then
is a chain of subspaces in V. Here \(W^{\prime \perp }\) is the chain in \(V^{W}_{*\widetilde {E}}\) consisting of the annihilators in \(V^{W}_{*\widetilde {E}}\subseteq V^{*}\) of the spaces \(W_{\alpha }^{\prime }\), and similarly \(\overline {\varphi }^{-1}\left (W^{\prime \perp }\right )^{\perp }\), \(W^{\prime \perp \perp }\) are chains in \(V^{W}_{\widetilde {E}}\subseteq V^{**}\).
In what follows, we use the notation \({W^{\prime }}^{\perp }\) for chains perpendicular to \(W^{\prime }\) also in appropriate subspaces of V∗ different from \(V^{W}_{*\widetilde {E}}\), and indicate the respective subspace as necessary. A similar convention applies to the notation \({W^{\prime }}^{\perp \perp }\). Moreover, we call the generalized flag W symmetric if the chain W⊥⊂ V∗ is the image of W under a linear isomorphism \(V_{*}\simeq V\) sending \(\widetilde {E}^{*}\) to \(\widetilde {E}\).
Theorem 2.1
-
a)
If W is not symmetric, then the group \(\text {Aut} Fl(W,\widetilde {E},V)\) is isomorphic to \(P(GL(\widetilde {E},V) \cdot St_{W} )\), where StW is the stabilizer of the generalized flag W in the group \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\) under the action (4). Here the product ⋅ is taken inside \( G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\), and P ⋅ indicates passage to the quotient modulo scalar operators.
-
b)
If W is symmetric, then the group \(\text {Aut} Fl(W,\widetilde {E},V)\) is isomorphic to \(P(GL(\widetilde {E},V) \cdot St_{W})\rtimes \mathbb {Z}_{2}\).
In Section 7 we present an explicit matrix realization of the group \(GL(\widetilde {E},V) \cdot St_{W}\). Let’s also point out that, since Theorem 2.1 implies that \(GL(\widetilde {E},V) \cdot St_{W}\) is a group, we have \(GL(\widetilde {E},V) \cdot St_{W}=St_{W}\cdot GL(\widetilde {E},V)\).
Remark 2.1
In the case of a finite-dimensional flag variety X, every automorphism of X belonging to the connected component of unity in the automorphism group has a fixed point on X. This no longer holds in the generality of Theorem 2.1. Indeed, if X is the projective ind-space Fl(W,E,V ) for \(\dim W=1\), then AutX = PGL(V ) and it is well known that not every invertible linear automorphism of V has an eigenvector.
3 Examples
Before we embark on proving Theorem 2.1, we present five examples in which we compute the respective group \(GL(\widetilde {E},V) \cdot St_{W}\) from Theorem 2.1. In all five cases our claims follow from Theorem 7.1 below, which provides a matrix form of the group \(GL(\widetilde {E},V) \cdot St_{W}\) in the general case.
3.1 The Case of an ind-Grassmannian
Let’s consider the case where the generalized flag W has the form \(0\subsetneq W\subsetneq V\), where W is a single proper subspace of V (we slightly abuse notation by using the same letter W for a flag and a subspace). There are three cases: \(\dim W<\infty \), or \(\dim W=\text {codim}_{V} W=\infty \), or \(\text {codim}_{V} W<\infty \). If \(\dim W<\infty \), then \(Gr(W,\widetilde {E},V)\) does not depend on the basis \(\widetilde {E}\), and the points of \(Gr(W,\widetilde {E},V)\) are all subspaces of V of the same dimension as W. In this case we may write \(Gr(W,\widetilde {E},V)=Gr(\dim W, V)\). If \(\text {codim}_{V} W<\infty \) then \(Gr(W,\widetilde {E},V)\) depends as a set on the choice of the basis \(\widetilde {E}\), but up to isomorphism \(Gr(W,\widetilde {E},V)\) depends only on codimVW. Moreover, as an ind-variety \(Gr(W,\widetilde {E},V)\) is isomorphic to Gr(codimVW,V ). If \(\dim W=\text {codim}_{V} W=\infty \), the ind-variety \(Gr(W,\widetilde {E}, V)\) does not depend up to isomorphism on the choice of both W and \(\widetilde {E}\). It is known, see for instance [5], that in this case \(Gr(W,\widetilde {E}, V)\) is isomorphic to the Sato grassmannian introduced in [16].
If \(\dim W<\infty \), then \(V^{W}_{\widetilde {E}}=V\), \(V^{W}_{*\widetilde {E}}=V^{*}\) and G(V,V∗) = GL(V ). Since W is not symmetric, Theorem 2.1 asserts that \(\text {Aut} Gr(W,\widetilde {E},V)\cong P(GL(\widetilde {E},V) \cdot St_{W})\), and we note that here
Indeed, the action of G(V,V∗) = GL(V ) on \(Gr(W,\widetilde {E},V)\) via the formula (4) is easily checked to coincide with the obvious action of GL(V ) on subspaces of V, and the isomorphism (5) is a consequence of the transitive action of the group \(GL(\widetilde {E},V)\) on finite-dimensional subspaces of fixed dimension in V.
If \(\text {codim}_{V} W<\infty \), then \(V^{W}_{\widetilde {E}}=(V_{*})^{*}\), \(V^{W}_{*\widetilde {E}}=V_{*}\) and \(P(GL(\widetilde {E},V) \cdot St_{W})\cong P GL(V_{*})\), i.e.,
In the case where \(\dim W=\text {codim}_{V} W=\infty \), we prove in the ?? that the group \(G(V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}})\) can be represented as invertible \((\mathbb {Z}\setminus \{0\})\times (\mathbb {Z}\setminus \{0\})\)-matrices which together with their inverses satisfy the condition: in the block structure
![](http://media.springernature.com/lw208/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figa_HTML.png)
induced by the equality \(\mathbb {Z}\setminus \{0\}=\mathbb {Z}_{<0}\sqcup \mathbb {Z}_{>0}\), the matrix A has finitary rows (no restriction on the columns), the matrix D has finitary columns (no restriction on the rows) and the matrix C is finitary. The group \(GL(\widetilde {E},V) \cdot St_{W}\) consists of matrices M such that M and M− 1 have the form (6) and satisfy the additional condition \(\text {rk} C=\text {rk} C^{\prime }\) where
![figure b](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figb_HTML.png)
Moreover, in this case W is symmetric.
3.2 The Case of \(Fl(W,\widetilde {E},V)\), Where \(W=\{W_{n}\}, \dim W_{n}=n\) for \(n\in \mathbb {Z}_{>0}, {\protect \bigcup }_{n} W_{n}=V\)
In this case \(V^{W}_{\widetilde {E}}=V\), \(V^{W}_{*\widetilde {E}}=V^{*}\), and the group \(GL(\widetilde {E},V) \cdot St_{W}\) can be identified with all invertible \(\mathbb {Z}_{>0}\times \mathbb {Z}_{>0}\)-matrices with finitely many nonzero entries below the main diagonal, cf. [13].
3.3 The Case of \(Fl(W,\widetilde {E},V)\), Where \(\widetilde {E}=\{e_{i}\}_{i\in \mathbb {Z}}\) and \(W=\{W_{n}=\langle e_{i},~i\leq n \rangle _{\mathbb {C}},~n\in \mathbb {Z}\}\)
Here
In coordinate form, the vectors from \(V^{W}_{\widetilde {E}}\) are columns \((a_{j})_{j\in \mathbb {Z}}\) with aj = 0 for j ≫ 0, and \(GL(\widetilde {E},V) \cdot St_{W}\) consists of all invertible \(\mathbb {Z} \times \mathbb {Z} \)-matrices M which, together with their inverses, have finitely many nonzero entries below the main diagonal and satisfy the condition \(\text {rk} C=\text {rk} C^{\prime }\), where C and \(C^{\prime }\) are respectively the strictly lower-triangular parts of M and M− 1.
3.4 The Case of \(Fl(W,\widetilde {E},V)\), Where W = {0 ⊂ W 1 ⊂ W − 1 ⊂ V }, \(\dim W_{1}=1\), codimV W − 1 = 1
Here \(\widetilde {E}\) can be ordered by any countable ordered set I with a minimal and a maximal element. We have \(V^{W}_{\widetilde {E }}=V\), \(V^{W}_{*\widetilde {E}}=V_{*}\), and \(GL(\widetilde {E},V) \cdot St_{W}\) consists of all invertible I × I-matrices which, together with their inverses, satisfy the condition that each row and column is finitary.
3.5 The Case of \(Fl(W,\widetilde {E},V)\) for \(\widetilde {E}=\{e_{i}\}_{i\in \mathbb {Z}_{>0} \sqcup \mathbb {Z}_{<0}}\) and W = {W n}, Where \(W_{n}=\langle e_{1},\ldots ,e_{n} \rangle _{\mathbb {C}}\) if \(n\in \mathbb {Z}_{>0}\) and \(W_{n}=\langle \ldots ,e_{n-2},e_{n-1},e_{1},e_{2},\ldots \rangle _{\mathbb {C}}\) if \(n\in \mathbb {Z}_{<0}\)
Then \(V^{W}_{\widetilde {E}}=V\), \(V^{W}_{*\widetilde {E}}=V_{*}\), \(I=\mathbb {Z}_{>0} \sqcup \mathbb {Z}_{<0}\) with k < l if \(k\in \mathbb {Z}_{>0}\), \(l\in \mathbb {Z}_{<0}\), and \(GL(\widetilde {E},V) \cdot St_{W}\) consists of all invertible I × I-matrices which, together with their inverses, satisfy the condition: each row and column is finitary, and there are at most finitely many nonzero entries below the main diagonal.
Note that in the cases 3.3, 3.4, and 3.5 the generalized flag W is symmetric, while in the case 3.2W is not symmetric.
4 More Background
We need to recall some facts about linear embeddings of finite-dimensional grassmannians and flag varieties. If T is a finite-dimensional space and \(\underline {d}=\{d^{1},\ldots ,d^{i}\}\) is a vector of positive integers satisfying \(d^{k}<d^{l}<\dim T\) for k < l, then \(Fl(\underline {d},T)\) denotes the variety of all flags of subspaces \(T_{1}\subsetneq {\ldots } \subsetneq T_{i} \subsetneq T\), where \(\dim T_{j}=d^{j}\). If \(\underline {d}\) consists of one integer d, we write simply Gr(d,T). If T is endowed with a non-degenerate symmetric or antisymmetric (symplectic) form, we write respectively \(FlO(\underline {d},T)\) and \(FlS(\underline {d},T)\) for the varieties of isotropic flags in T with respect to the fixed form. We also write GrO(d,T) and GrS(d,T). An isotropic flag has always length less or equal \(\frac {\dim T}{2}\) but, for convenience, in this paper by an isotropic flag we will mean a flag of the form
where the spaces W1, …, Wk are isotropic and the spaces \(W^{\perp }_{k},~\ldots ,~W^{\perp }_{1}\) are coisotropic. All flag varieties \(FlO(\underline {d},T)\) and \(FlS(\underline {d},T)\) are connected, except GrO(d,T) for \(\dim T=2d\). In what follows, by \(FlO(\underline {d},T)\) or \(GrO(\underline {d},T)\) we always denote a connected component.
The Picard group of any grassmannian or ind-grassmannian Z is isomorphic to \(\mathbb {Z}\) except in the case of \(GrO\left (\frac {\dim T}{2}-1,~T\right )\) for \(2<\dim T\in 2\mathbb {Z}_{>0}\), and \(\mathcal {O}_{Z}(1)\) always denotes the ample generator of PicZ. In the case of \(GrO\left (\frac {\dim T}{2}-1,~T\right )\) for \(2<\dim T\in 2\mathbb {Z}_{>0}\) we have \(\text {Pic} GrO\left (\frac {\dim T}{2}-1,~T\right )\simeq \mathbb {Z} \times \mathbb {Z}\).
The automorphism groups of the flag varieties \(Fl(\underline {d},~T)\), \(FlO(\underline {d},~T)\), \(FlS(\underline {d},~T)\) have been known for long time. The fact that the automorphism group of the projective space \(\mathbb {P}^{n}\) is PGL(n + 1) goes back to the nineteenth century. Wei-Liang Chow [2] extended this result to grassmannians in 1949. For a general flag variety \(X=Fl(\underline {d},~T)\), \(FlO(\underline {d},~T)\), \(FlS(\underline {d},~T)\) the connected component of the identity in the automorphism group AutX is the respective group PGL(T), SO(T), or Sp(T), except in several cases listed by A.L. Onishchik in [12]. These special cases are \(GrS(1,T)\simeq \mathbb {P}(T)\), the five dimensional quadric GrO(1,T) for \(\dim T=7\), and \(GrO \left (\frac {\dim T -1}{2},~T\right )\) for \(\dim T\in 2\mathbb {Z}_{>0}+1\).
In all cases, see for instance [1, Section 3.3], the full automorphism group G is always a semidirect product of its connected component of unity G0 and a finite group of automorphisms of the Dynkin diagram of the Lie algebra \(\mathfrak {g}=\text {Lie} G^{0}\) which keep fixed the simple roots of the Lie algebra of the isotropy subgroup of a point on the respective flag variety. In the present paper we only consider classical groups of large enough rank, hence we can summarize the relevant part of this result as follows:
-
for \(\dim T\geq 3\),
-
for \(\dim T\geq 8\), \(\text {Aut} FlO (\underline {d},T)\simeq O (T)\), except for \(GrO(\frac {\dim T}{2},T)\) where \(\text {Aut} GrO(\frac {\dim T}{2},T)\simeq SO (T)\), and for \(GrO(\frac {\dim T-1}{2},T)\) where \(\text {Aut} GrO(\frac {\dim T-1}{2},T)\simeq SO (T^{\prime })\) for \(\dim T^{\prime }=\dim T +1\).
-
for \(\dim T\geq 4\), \(\text {Aut} FlS(\underline {d},T)\simeq Sp(T)\), except for GrS(1,T) where \(\text {Aut} GrS(1,T)\simeq P GL(T)\).
Based on the above exception concerning \(GrO\left (\frac {\dim T -1}{2},~T\right )\) for \(\dim T\in 2\mathbb {Z}_{>0}+1\), in what follows we will automatically assume that this case is excluded from consideration. This leads to no loss of generality as \(GrO\left (\frac {\dim T -1}{2},~T\right )\) is isomorphic to \(GrO\left (\frac {\dim T^{\prime }}{2},~T^{\prime }\right )\) where \(T^{\prime }\) is an orthogonal space of dimension \(\dim T+1\).
A nice class of embeddings of flag varieties \(Fl(\underline {d}_{1},T_{1})\hookrightarrow Fl(\underline {d}_{2},T_{2})\) for \(\dim T_{1}<\dim T_{2}\) is the class of standard extensions. Embeddings of ind-grassmannians are discussed in detail in [14], and of arbitrary flag varieties in [15]. Here we just recall a definition and a basic fact needed to understand our arguments in Sections 5, 6, and 8.
Definition 4.1
-
a)
An embedding
$$ \eta \colon Fl({d^{1}_{1}},\ldots,{d^{k}_{1}},T)\hookrightarrow Fl({d^{1}_{2}},\ldots,{d^{l}_{2}},T^{\prime}), $$respectively,
$$\eta\colon FlO({d^{1}_{1}},\ldots,{d^{k}_{1}},T)\hookrightarrow FlO({d^{1}_{2}},\ldots,{d^{l}_{2}},T^{\prime}),$$respectively,
$$\eta\colon FlS({d^{1}_{1}},\ldots,{d^{k}_{1}},T) \hookrightarrow FlS({d^{1}_{2}},\ldots,{d^{l}_{2}},T^{\prime})$$is a strict standard extension if there exists a surjection
$$p\colon\{0,1,\ldots,l,l+1\}\to \{0,1,\ldots,k,k+1\}$$satisfying p(i) ≤ p(j) for i < j, together with an isomorphism
$$ V^{\prime}=V\oplus \widehat{W}, $$(7)satisfying \(\widehat {W}=V^{\bot }\) in the orthogonal and symplectic case, and subspaces \(W_{i}\in \widehat W\) for 1 ≤ i ≤ l with Wi ⊂ Wj for i < j such that η has the form
$$ \begin{array}{@{}rcl@{}} &&~~~~~\eta\big(\{0\}=V_{p(0)}\subset V_{p(1)}\subset\ldots\subset V_{p(l)}\subset V\big)\\ &&= \big(\{0\}=V_{p(0)}\subset V_{p(1)}\oplus W_{1}\subset\ldots\subset V_{p(l)}\oplus W_{l}\subset V^{\prime}\big). \end{array} $$(8)Here the spaces W1,…,Wl are not required to be pairwise distinct, while the spaces in the right-hand side of (8) are pairwise distinct by definition. In the orthogonal or symplectic case we require that for each i there is j such that \(W_{j}=W_{i}^{\perp }\).
-
b)
An embedding
$$\eta\colon Fl({d^{1}_{1}},~\ldots,~{d^{k}_{1}},~T)\lhook\joinrel\longrightarrow Fl({d^{1}_{2}},~\ldots,~{d^{l}_{2}},~T^{\prime})$$is a standard extension if after composing with one of the duality isomorphisms
$$Fl({d^{1}_{1}},~\ldots,~{d^{k}_{1}},~T)\simeq Fl(\dim T -{d^{k}_{1}},~\ldots,~\dim T -{d^{1}_{1}},~T^{*} ),$$$$Fl({d^{1}_{2}},~\ldots,~{d^{l}_{2}},~T^{\prime})\simeq Fl(\dim T^{\prime} -{d^{l}_{2}},~\ldots,~\dim T^{\prime} -{d^{1}_{2}},~{T^{\prime}}^{*} )$$η becomes a strict standard extension. For varieties of isotropic flags, standard extension and strict standard extension are synonyms.
The following theorem follows directly from Corollary 4.4 in [15].
Theorem 4.1
Let X1↪X2 and Y1↪Y2 be embeddings of flag varieties or of isotropic flag varieties, such that Y1 is the image of X1 under some isomorphism \(\varphi \colon X_{2} \rightarrow Y_{2}\). Then the embedding Y1↪Y2 is a standard extension whenever the embedding X1↪X2 is a standard extension.
We need to recall also the notion of an ind-variety of isotropic generalized flags. There are several cases. If a symmetric non-degenerate form (⋅,⋅) on V is given, then there are two types of relevant bases \(\widetilde {E}\) we consider:
or
In the case of a symplectic non-degenerate form on V, we consider bases satisfying (9) (here (e−i,ei) = − 1 for \(i\in \mathbb {Z}_{>0}\)). We refer to bases as above as isotropic bases of V. An isotropic generalized flag in V is by definition a generalized flag W = {Wα} in V such that each space Wα is either isotropic or coisotropic and Wα belongs to W if and only if \(W^{\perp }_{\alpha }=\{ w^{\prime }\in V\mid (w^{\prime },w)=0\text { for all }w\in W_{\alpha } \}\) belongs to W. If W is an E-compatible isotropic generalized flag in V, then by definition, \(FlO (W,\widetilde {E},V)\) in the case of a symmetric form, or \(FlS(W,\widetilde {E},V)\) in the case of a symplectic form, consists of all isotropic generalized flags in V which are \(\widetilde {E}\)-commensurable with W. In all cases, \(FlO(W,\widetilde {E},V)\) or, respectively, \(FlS(W,\widetilde {E},V)\) is a direct limit of finite-dimensional varieties of isotropic flags under standard extensions.
Finally, we should point out that in order to follow the proof of our main results in Sections 5–8 the readers should first familiarize themselves with the results of the ??.
5 Proof of Theorem 2.1 for ind-Grassmannians
We start by proving Theorem 2.1 under the assumption that the generalized flag W has exactly one proper subspace, which we also denote by W. In what follows, we write most of the time Gr(W,E,V ) instead of \(Gr(W,\widetilde {E},V)\), where \(E=\widetilde {E}\cap W\). The set E is a basis of W, and the ind-variety \(Gr(W,\widetilde {E},V)\) depends only on E and not on the entire basis \(\widetilde {E}\). We feel that this notation makes the argument more transparent. Also, the space W is fixed and we write VE and V∗E instead of \(V^{W}_{\widetilde {E}}\) and \(V^{W}_{*\widetilde {E}}\), respectively.
Recall that Gr(W,E,V ) is defined as the direct limit of strict standard extensions
for some dn and some subspaces Vn ⊂ V, \(\dim V_{n}\geqslant n\), \(\varinjlim V_{n}=V\). If dn stabilizes at \(k\in \mathbb {Z}_{>0}\) for large n, then \(\varinjlim Gr(d_{n},V_{n})=Gr(k,V)\) is the ind-grassmannian of all k-dimensional subspaces in V. If \(\dim {V_{n}}-d_{n}\) stabilizes at k > 0, then Gr(W,E,V ) is isomorphic to Gr(k,V ) as an ind-variety via the map
where \(W^{\prime }\) denotes a variable point of Gr(W,E,V ) and \({W^{\prime }}^{\perp }:=\{ \alpha \in V_{*}\mid \alpha (w^{\prime })=0~\forall ~w^{\prime } \in W^{\prime } \}\).
As we already mentioned, the automorphism groups of (finite-dimensional) grassmannians have been described in the classical paper [2]. This description implies that if
is any isomorphism of grassmannians, where \(\dim T_{n}=\dim T^{\prime }_{n}\), then the pullback \(\alpha ^{*}S^{\prime }_{n}\) of the tautological bundle \(S^{\prime }_{n}\) on \(Gr(d_{n},T^{\prime }_{n})\) is isomorphic to the tautological bundle Sn on Gr(dn,Tn), or to the bundle \((\widetilde {T}_{n}/S_{n})^{*}\) in case 2dn = n, where \(\widetilde {T}_{n}\) is the trivial bundle on Gr(dn,Tn) with fiber Tn. Moreover, if \(\alpha ^{*}S^{\prime }_{n}\simeq S_{n}\), then the isomorphism (10) is determined by the linear operator \(\eta \colon (T^{\prime }_{n})^{*}\rightarrow T^{*}_{n}\) which it induces via pullback: we have \(\alpha (T_{d_{n}})=\eta ^{*}(T_{d_{n}})\) where \(T_{d_{n}}\in Gr(d_{n},T_{n})\) and the operator η∗ is dual to η. Recall also that any global endomorphism of the bundle Sn or \((\widetilde {T}/S_{n})^{*}\) is scalar.
Set Xn = Gr(dn,Vn). Then \(Gr(W,E,V)=\varinjlim X_{n}\). In the rest of the argument we assume in addition that \(\dim W=\text {codim}_{V} W=\infty \) and that dn = n, \(\dim V_{n}=2n\). This is the case of the Sato grassmannian. The remaining cases where \(\dim W<\infty \) or \(\text {codim}_{V} W<\infty \) have been considered in [13], and it has been proved there that AutGr(W,E,V )≅PGL(V ) for \(\dim W<\infty \), and AutGr(W,E,V )≅PGL(V∗) for \(\text {codim} W<\infty \). This is in agreement with Theorem 2.1, as in these two cases W is not symmetric and there is an isomorphism
We leave the proof of (11) as an exercise to the reader.
Our first step will be to prove that the group of automorphisms of the ind-variety Gr(W,E,V ) is a subgroup of \(P(GL(\widetilde {E},V)\cdot St_{W})\rtimes \mathbb {Z}_{2}\). Let \(\widetilde {\varphi }\colon Gr(W,E,V)\rightarrow Gr(W,E,V)\) be an arbitrary automorphism. Denote by Yn the image of Xn, that is, \(\widetilde {\varphi }(X_{n})=Y_{n}\). Clearly, Yn is a grassmannian isomorphic to Xn. Moreover, the embeddings Yn↪Yn+ 1 can be assumed to be strict standard extensions by Theorem 4.1.
Next, we have two possibilities: for some n, the isomorphism
has the property
where Sn is the tautological bundle on Xn and \(S_{Y_{n}}\) is the tautological bundle on Yn, or the property
for all n. Since our chains of embeddings Xn↪Xn+ 1 and Yn↪Yn+ 1 are strict standard extensions, if the isomorphism (12) holds for some n, it must hold for all n. However, if this happens we can compose our automorphism \(\widetilde {\varphi }\) with the following automorphism which represents an element of \(\mathbb {Z}_{2}\) in the semidirect product from the statement of the theorem:
where the left arrow sends W to W⊥⊂ V∗ and the right arrow is induced by an appropriate linear isomorphism
which maps W⊥ to W. Option (13) certainly holds for the composition \(\delta \circ \widetilde {\varphi }\), so without loss of generality we can assume in the rest of the argument that (13) holds.
The latter assumption implies
for all n. We write equality, as such an isomorphism is determined up to a scalar cn, and we assume that the scalars cn are chosen in a way compatible with the restriction maps
![figure c](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figc_HTML.png)
Then, by our above remark that isomorphisms of grassmannians are encoded by linear operators, the isomorphisms \(\widetilde {\varphi }_{n}\colon X_{n}\stackrel {\sim }{\rightarrow } Y_{n}\) are recovered by a choice of compatible invertible linear operators
The operators \(\varphi ^{*}_{n}\) are dual to unique operators \(\varphi _{n}=(\varphi ^{*}_{n})^{*}\colon V_{n} \rightarrow V^{\prime }_{n}\) which we will also consider.
Since both chains of embeddings Xn↪Xn+ 1 and Yn↪Yn+ 1 are strict standard extensions, we have \(\varinjlim V^{\prime }_{n}=V=\varinjlim V_{n}\), and consequently, \(\varprojlim (V^{\prime }_{n})^{*}=V^{*}=\varprojlim V^{*}_{n}\). Therefore, the operators \(\varphi ^{*}_{n}\) induce a linear operator
and more precisely, a commutative diagram
![](http://media.springernature.com/lw155/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figd_HTML.png)
The diagram (15) encodes the automorphism \(\widetilde {\varphi }\) in the following way. Let \(W^{\prime }=\varinjlim (W^{\prime }\cap V_{n})\) be a point of Gr(W,E,V ). Then
where the orthogonal to \(W^{\prime }\cap V_{n}\) is taken in \(V^{*}_{n}\) and the orthogonal to \(\left (\varphi _{n}^{*}\right )^{-1}\left (\left (W^{\prime }\cap V_{n}\right )^{\perp }\right )\) is taken in \(V^{\prime }_{n}\).
Next, it is essential to observe that the subspace V∗E ⊂ V∗ is nothing but the subspace of global sections μ of the sheaf \(\varprojlim S^{*}_{n}\) satisfying the condition: the value of μ at any point \(W^{\prime }\in Gr(W,E,V)\) is a linear function on \(W^{\prime }\) which belongs to the subspace \(W^{\prime }_{*}\subset {W^{\prime }}^{*}\). Here \(W^{\prime }_{*}\) is defined in terms of a basis of \(W^{\prime }\) which differs from E by finitely many vectors (\(W^{\prime }_{*}\) is the span of the system of linear functionals dual to such a basis). Note that, for each \(W^{\prime }\in Gr(W,E,V)\), the subspace \(W^{\prime }_{*}\subset W^{\prime *}\) is determined solely by the set Gr(W,E,V ), and hence the above subspace of global sections μ, i.e., the space V∗E, must be invariant under the operator Φ. Next, the subspace VE is the counterpart of the space V∗E for the ind-grassmannian \(Gr(W^{\perp },\widetilde E^{*},V_{*})\), where V∗ is defined by the fixed extension \(\widetilde {E}\) of E to a basis of V, and E∗ are the linear functions in \(\widetilde {E}^{*}\) which do not vanish on W. Since \(Gr(W^{\perp },\widetilde E^{*},V_{*})\) is isomorphic to Gr(W,E,V ), the space VE is also invariant under the linear map \({\Phi }^{\prime }\colon (V_{*})^{*}\rightarrow (V_{*})^{*}\) induced by the automorphism \(\widetilde {\varphi }\) of Gr(W,E,V ).
We have shown that any automorphism \(\widetilde {\varphi }\colon Gr(W,E,V)\rightarrow Gr(W,E,V)\) satisfying (13) induces a pair of invertible operators \(\varphi :={\Phi }^{\prime }|_{V_{E}}\colon V_{E}\rightarrow V_{E}\) and \(\overline {\varphi }:={\Phi }|_{V_{*E}}\colon V_{*E}\rightarrow V_{*E}\) which determine an element of the Mackey group G(VE,V∗E). Moreover, if Aut0Gr(W,E,V ) stands for the group of automorphisms of the ind-variety Gr(W,E,V ) satisfying (13), then the assignment \(\widetilde {\varphi }\longmapsto \varphi \), or equivalently \(\widetilde {\varphi }\longmapsto \overline {\varphi }^{-1}\), defines an injective group homomorphism
We now check that the action of the image in PG(VE,V∗E) of Aut0Gr(W,E,V ) is given by the formula
where \(W^{\prime \perp }\subset V_{*E}\) and \(\overline {\varphi }^{-1}\left (W^{\prime \perp }\right )^{\perp }\subset (V_{*E})^{*}\) (clearly, V ⊂ (V∗E)∗). To do this, recall that \(\widetilde {\varphi }(W^{\prime })\) is given by formula (16). Therefore, we need to verify that
However, formula (17) follows from the observation that both its left-hand and right-hand sides coincide with the subspace of vectors in V which vanish on \(\left (\varphi ^{*}_{n}\right )^{-1}\left (\left (W^{\prime }\cap V_{n}\right )^{\perp }\right )\) whenever they belong to Vn; we consider here vectors in Vn as linear functions on \(V^{*}_{n}\).
In conclusion, the image of Aut0Gr(W,E,V ) in PG(VE,V∗E) is a subgroup of PG(VE,V∗E) which acts on Gr(W,E,V ) via formula (17). Next, we note that since \(GL(\widetilde {E},V)\) acts transitively on Gr(W,E,V ), for any \(\widetilde {\varphi }\in \text {Aut}^{0}Gr(W,E,V)\) there are \({{\varkappa }}\in GL(\widetilde {E},V)\) and \(\widetilde {\varphi }_{W}\in \text {Aut}^{0}Gr(W,E,V)\) such that \(\widetilde {\varphi }_{W}(W)=W\) and \(\widetilde {\varphi }={{\varkappa }}\circ \widetilde {\varphi }_{W}\). Indeed if \(\widetilde {\varphi }(W)=W^{\prime }\) for \(W^{\prime }\in Gr(W,E,V)\), then \(\widetilde {\varphi }= {{\varkappa }}^{-1}\circ {{\varkappa }} \circ \widetilde {\varphi }\) where \({{\varkappa }}\in GL(\widetilde {E},V)\) satisfies \({{\varkappa }}(W^{\prime })=W\). Consequently, φ = ϰ− 1φW for φW ∈ StW, in other words, the image of ε lies in \(P(GL(\widetilde {E},V)\cdot St_{W})\).
To complete the proof, we need to show that any operator \(\varphi \in GL(\widetilde {E},V)\cdot St_{W}\) determines a well-defined automorphism of Gr(W,E,V ). In the ?? we introduce the degree d(φ) of an operator φ and show that the space \(\varphi \cdot W^{\prime }=\overline {\varphi }^{-1}({W^{\prime }}^{\perp })^{\perp }\cap V\) is \(\widetilde {E}\)-commensurable with W for any φ ∈ G(VE,V∗E) such that d(φ) = 0. Denote by G0(VE,V∗E) the group of all operators φ ∈ G(VE,V∗E) with d(φ) = 0.
We have to convince ourselves that the action of G0(VE,V∗E) on Gr(W,E,V ) is by automorphisms of ind-varieties, and not merely by bijections of the set Gr(W,E,V ). Let V = W ⊕ U where \(\widetilde {E}\cap U\) spans U. Recall that our fixed nested finite-dimensional spaces V1 ⊂… ⊂ Vn ⊂ Vn+ 1 ⊂… are spanned by elements of \(\widetilde {E}\) and \(Gr(W,E,V)=\varinjlim Gr(d_{n},V_{n})\) where \(d_{n}=\dim V_{n}\cap W\). The embeddings Xn = Gr(dn,Vn)↪Gr(dn+ 1,Vn+ 1) = Xn+ 1 are strict standard extensions
where Wn+ 1 = W ∩ Vn+ 1 = Wn ⊕ Wn|n+ 1 for Wn = W ∩ Vn, and \(W_{n|n+1}\cap \widetilde {E}\) spans Wn|n+ 1. Therefore, we have a decomposition \(V_{*E}={\overline {W}_{n}}_{*} \oplus V^{*}_{n} \oplus U^{*}_{n}\), where \({\overline {W}_{n}}_{*}\) is the \(\widetilde {E}\)-compatible direct complement of \(V^{*}_{n}\) within \(W_{*}+ V^{*}_{n}\) and \(U^{*}_{n}\) is the dual of the \(\widetilde {E}\)-compatible direct complement Un of W + Vn in V. Any invertible linear operator \(\zeta \colon V_{*E}\rightarrow V_{*E}\) induces a decomposition
and hence an operator
Moreover, we have \(\zeta =\left (\varprojlim \zeta _{n}\right )|_{V_{*E}}.\)
Each linear operator ζn induces an isomorphism of grassmannians
and the varieties \(Gr(d_{n},\zeta _{n}(V^{*}_{n})^{*})\) form an ind-variety isomorphic to Gr(W,E,V ). We conclude that if \(\varinjlim Gr(d_{n},\zeta _{n}(V^{*}_{n})^{*})=Gr(W,E,V)\), then ζ induces an automorphism of the ind-variety Gr(W,E,V ). Set now \(\zeta :=\overline {\varphi }^{-1}\) for φ ∈ G0(VE,V∗E). Then \(\zeta _{n}=\left (\varphi ^{*}_{n}\right )^{-1}\) and \(\zeta _{n}(V^{*}_{n})^{*}=\varphi _{n}(V_{n})\). By the above mentioned result from the ??, we know that \(\varphi \cdot W^{\prime }\in Gr(W,E,V)\) whenever φ ∈ G0(VE,V∗E) and \(W^{\prime }\in Gr(W,E,V)\). Therefore \(\varinjlim Gr(d_{n},\varphi _{n}(V_{n}))=Gr(W,E,V)\), and we have shown that PG0(VE,V∗E) ⊂imε.
Finally, Theorem A.1 (i) from the ?? implies that StW ⊂ G0(VE,V∗E), and hence that also \(GL(\widetilde {E},V) \cdot St_{W} \subset G^{0}(V_{E},V_{*E})\). Consequently, \(GL(\widetilde {E},V) \cdot St_{W}=G^{0}(V_{E}, V_{*E})\) and \(GL(\widetilde {E},V) \cdot St_{W}\) is a group. In particular, \(GL(\widetilde {E},V)\cdot St_{W}=St_{W}\cdot GL(\widetilde {E},V)\). The proof is now complete as we have shown that \(\text {im} \varepsilon =P(GL(\widetilde {E},V) \cdot St_{W} ).\)
Corollary 5.1
If \(\dim W=\text {codim}_{V} W =\infty \), the group AutGr(W,E,V ) is isomorphic to the projectivization of the connected component of unity in the group Japanese \(GL(\infty )\).
Proof
We proved that As pointed out in the ??, the group G0(VE,VE) is isomorphic to the connected component of unity in the group Japanese GL.
6 Proof of Theorem 2.1 in the General Case
Step 1. Reduction to the case of an automorphism which preserves all inverse limits of dual tautological bundles. Consider the ind-variety \(Fl(W,\widetilde {E},V)\) for our fixed generalized flag W = {Wα} compatible with the fixed basis \(\widetilde {E}\) of V. Fix an exhaustion of \(Fl(W,\widetilde {E},V)\) as a direct limit \(\varinjlim Fl(\underline {d}_{n},V_{n})\) of strict standard extensions of finite-dimensional flag varieties \(Fl(\underline {d}_{n},V_{n})\). If the generalized flag W is symmetric, then the exhaustion can be chosen so that each flag variety \(Fl(\underline {d}_{n},V_{n})\) is symmetric, i.e., the vector \(({d_{n}^{0}}=0,{d^{1}_{n}},{d^{2}_{n}},\ldots ,{d^{s}_{n}},d_{n}^{s+1}=\dim V_{n})\) satisfies the condition
for all 1 ≤ s ≤ n + 1. If W is not symmetric, then infinitely many vectors \(\underline {d}_{n}\) are not symmetric, so (by passing to a subsequence of the sequence {n}) we can assume that all vectors \(\underline {d}_{n}\) are not symmetric.
Let \(\widetilde {\varphi }\colon Fl(W,\widetilde {E},V) \rightarrow Fl(W,\widetilde {E},V)\) be an automorphism. Set \(X_{n}:=Fl(\underline {d}_{n},V_{n})\) and let \(Y_{n}=\widetilde {\varphi }(X_{n})\). The varieties are finite-dimensional flag varieties, and there are fixed isomorphisms \(\widetilde {\varphi }_{n}:=\widetilde {\varphi }|_{X_{n}}\colon X_{n} \stackrel {\sim }{\rightarrow } Y_{n}\). Moreover, Theorem 4.1 implies that the embeddings Yn↪Yn+ 1 are standard extensions. By replacing Yn or Yn+ 1 by its dual flag variety we can further assume that the embeddings Yn↪Yn+ 1 are strict standard extensions.
Denote by \({S^{j}_{n}}\) and \(S^{j}_{Y_{n}}\) the tautological bundles of rank \({d^{j}_{n}}\) on Xn and Yn, respectively. There are two possibilities: either
for all n, or
for some n = n0 and all j, \(1<j\leqslant s\). Case (19) can occur only if the vector \(\underline {d}_{n_{0}}\) is symmetric. Moreover, then (19) will necessarily hold for all n > n0 due to the assumption that all embeddings Xn↪Xn+ 1 and Yn↪Yn+ 1 are strict standard extensions. In that case, we may as well assume that (19) holds for all n.
Similarly to the case of an ind-grassmannian, if (19) holds for all n we can compose \(\widetilde {\varphi }\) with an automorphism
which maps W first to W⊥ and then maps W⊥ to a point of \(Fl(W,\widetilde {E},V)\) under the isomorphism \( Fl(W^{\perp },\widetilde {E}^{*},V_{*}) \stackrel {\sim }{\longrightarrow } Fl(W,\widetilde {E},V)\) induced by an appropriate linear isomorphism \(V_{*}\rightarrow V\) map** \(\widetilde {E}^{*}\) to \(\widetilde {E}\). Then the composition \(\delta \circ \widetilde {\varphi }\) satisfies the condition (18) for all n. Therefore, in order to prove Theorem 2.1, it suffices to prove that
where \(\text {Aut}^{0}Fl(W,\widetilde {E},V)\) denotes the group of automorphisms of \(Fl(W,\widetilde {E},V)\) satisfying (18) for all n.
Step 2. From automorphisms to linear operators. Since (18) holds, the automorphism
induces automorphisms
for each subspace Wα in W. In turn, the automorphisms (20) induce linear operators, defined up to scalar multiples,
as explained in Section 5.
We now point out that the operators Φα can be chosen to coincide, i.e., to define a single operator
not depending on α. This observation is justified as follows. Denote by \(S^{*}_{\alpha }\) the pullback to \(Fl(W,\widetilde {E},V)\) of the inverse limit of the tautological bundles \(S^{*}_{n}\) on Gr(Wα,Eα,V ). Let \(\alpha ^{\prime }<\alpha \) be two indices in the chain W = {Wα}. Then the morphism of inverse limits \(S^{*}_{\alpha }\rightarrow S^{*}_{\alpha ^{\prime }}\), arising from the respective morphism of inverse systems, induces a commutative diagram
![](http://media.springernature.com/lw383/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Fige_HTML.png)
the vertical equalities being the identifications \(V^{*}=\varprojlim V^{*}_{n}\) \(=\varprojlim \mathrm {H}^{0}(Gr(d^{\gamma }_{n},V_{n}),S^{*}_{n})\) where \(Gr(W_{\gamma },E_{\gamma },V)=\varinjlim Gr(d^{\gamma }_{n},V_{n})\) for γ = α and \(\gamma =\alpha ^{\prime }\), respectively. Therefore, for a fixed α and all \(\alpha ^{\prime }<\alpha \), the spaces of the form \(\mathrm {H}^{0}(S^{*}_{\alpha ^{\prime }})\) are identified with V∗ in a way compatible with the upper horizontal arrows of the diagrams (21). Next, the following diagram is commutative
![figure f](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figf_HTML.png)
and this implies \({\Phi }_{\alpha }={\Phi }_{\alpha ^{\prime }}\).
Step 3. Injective homomorphism \(\text {Aut}^{0} Fl(W,\widetilde {E},V)\rightarrow P G\left (V^{W}_{\widetilde {E}},V^{W}_{*\widetilde {E}}\right )\). Note first that each homomorphism
is injective, since \(\widetilde {\varphi }_{\alpha }\) recovers \(\widetilde {\varphi }\) through the formula
for any \(\alpha ^{\prime }\), where \({W^{\prime }_{\alpha ^{\prime }}}^{\perp }\subset V^{W_{\alpha ^{\prime }}}_{*E_{\alpha ^{\prime }}}\), \({\Phi }^{-1}\left ({W^{\prime }_{\alpha ^{\prime }}}^{\perp } \right )^{\perp } \subset V^{W_{\alpha ^{\prime }}}_{E_{\alpha ^{\prime }}}\) and, as explained above, Φ = Φα.
Moreover, the automorphism \({\Phi }:V^{*}\rightarrow V^{*}\) induces pairs of automorphisms
compatible with all inclusions of the form \(V^{W_{\alpha ^{\prime }}}_{E_{\alpha ^{\prime }}}\subset V^{W_{\alpha }}_{E_{\alpha }}\), \(V^{W_{\alpha }}_{*E_{\alpha }}\subset V^{W_{\alpha ^{\prime }}}_{*E_{\alpha ^{\prime }}}\) for \(\alpha ^{\prime }<\alpha \), and such that \(\varphi _{\alpha } \in G\left (V^{W_{\alpha }}_{E_{\alpha }},V^{W_{\alpha }}_{*E_{\alpha }}\right )\). The compatibility of φα and \(\varphi _{\alpha ^{\prime }}\) is clear, while the compatibility of \(\overline {\varphi }_{\alpha }\) and \(\overline {\varphi }_{\alpha ^{\prime }}\) follows from the inclusion
where \(W_{\alpha }^{\perp }\subset V^{W_{\alpha }}_{*E_{\alpha }}\), \(W_{\alpha ^{\prime }}^{\perp }\subset V^{W_{\alpha ^{\prime }}}_{*E_{\alpha ^{\prime }}}\), \(\varphi _{\alpha }^{-1}(W_{\alpha }^{\perp })^{\perp }\subset V^{W_{\alpha }}_{E_{\alpha }}\), \(\varphi _{\alpha ^{\prime }}^{-1}(W_{\alpha ^{\prime }}^{\perp })^{\perp }\subset V^{W_{\alpha ^{\prime }}}_{E_{\alpha ^{\prime }}}\). Therefore, we conclude that the system of linear operators (22) determines a unique element in \( G\left (V^{W}_{\widetilde {E}}, V^{W}_{*\widetilde {E}}\right )\) for \(V^{W}_{\widetilde {E}}=\bigcap \limits _{\alpha }V^{W_{\alpha }}_{E_{\alpha }}\) and \(V^{W}_{*\widetilde {E}}=\bigcap \limits _{\alpha }V^{W_{\alpha }}_{*E_{\alpha }}\), and we obtain a homomorphism
The fact that \(GL(\widetilde {E},V)\) acts transitively on \(Fl(W,\widetilde {E},V)\) shows, by the same argument as in Section 5, that the image of ε lies in the subset \(P\left (GL(\widetilde {E},V)\cdot St_{W}\right )\) of \(P G\left (V^{W}_{\widetilde {E}}, V^{W}_{*\widetilde {E}}\right )\).
We have to prove that ε is injective, i.e., that the image of ε determines all operators φα and \(\overline {\varphi }_{\alpha }\) as above. We will do this by recalling that each operator \(\varphi _{\alpha }:V^{W_{\alpha }}_{E_{\alpha }}\rightarrow V^{W_{\alpha }}_{E_{\alpha }}\) admits a matrix as described in the ??. The key point is that if an invertible operator on \(V^{W_{\alpha }}_{E_{\alpha }}\) admits such a matrix, then this matrix is unique. Now the compatibility of the operators φα under all inclusions \(V^{W_{\alpha ^{\prime }}}_{E_{\alpha ^{\prime }}}\hookrightarrow V^{W_{\alpha }}_{E_{\alpha }}\) for \(\alpha ^{\prime }<\alpha \) implies that the matrices of all operators φα coincide. Since each homomorphism
is injective according to Section 5, we conclude that ε is injective.
Step 4. The image of ε. As a final step of the proof, we need to show that the image of ε coincides with the set \(P(GL(\widetilde {E},V)\cdot St_{W})\). For this it suffices to prove that \(P(GL(\widetilde E,V)\cdot St_{W})\) belongs to the image of ε, i.e., that \(GL(\widetilde E,V)\cdot St_{W}\) acts on the ind-variety \(Fl(W,\widetilde {E},V)\) via the formula (4).
Pick an operator \(\varphi \in GL(\widetilde E,V)\cdot St_{W}\) and a flag \(W^{\prime }\in Fl(W,\widetilde {E},V)\). Since W and \(W^{\prime }\) are \(\widetilde E\)-commensurable, one has \(GL(\widetilde E,V)\cdot St_{W}=GL(\widetilde {E},V)\cdot St_{W^{\prime }}\). Therefore \(\varphi ={{\varkappa }}^{-1} \varphi _{W^{\prime }}\) for some \(\varphi _{W^{\prime }}\in St_{W^{\prime }}\) and some \({{\varkappa }}\in GL(\widetilde {E},V)\). Consequently, \(\varphi (W^{\prime })={{\varkappa }}^{-1}(W^{\prime })\), i.e., \(\varphi ^{-1}(W^{\prime })\) is \(\widetilde E\)-commensurable with W. In conclusion, \(\text {im} \varepsilon =P(GL(\widetilde E,V)\cdot St_{W})\), and since \(GL(\widetilde E,V)\cdot St_{W}\) is a group we have also \(\text {im} \varepsilon =P(St_{W} \cdot GL(\widetilde E,V))\). The proof is complete.
7 An Explicit Matrix Form of the Group \(GL(\widetilde {E},V)\cdot St_{W} \)
Now we would like to characterize the product \(GL(\widetilde {E},V)\cdot St_{W}\) in terms of matrices. We start by describing a matrix form of the group StW.
Choose a linear order on \(\widetilde {E}\) such that \(e_{j}\in W_{\alpha } \setminus W_{\alpha ^{\prime }}\), \(e_{k}\in W_{\alpha ^{\prime }}\) for \(\alpha ^{\prime }<\alpha \) implies k < j. It follows from the ?? that for each space Wα the stabilizer of Wα in \( G \left (V^{W_{\alpha }}_{E_{\alpha }}, V^{W_{\alpha }}_{*E_{\alpha }}\right )\) under the action (4) can be represented by infinite matrices (with rows and columns ordered by the fixed order on \(\widetilde {E}\)) which, together with their inverses, have the form
![](http://media.springernature.com/lw206/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figg_HTML.png)
where A has finitary rows, D has finitary columns, and there are no restrictions on the rows and columns of B. Certainly, the splitting (23) depends on the space Wα.
Next, the fact that the operators φα and \(\overline {\varphi }_{\alpha }\) form a system compatible with the inclusions \(V^{W_{\alpha ^{\prime }}}_{E_{\alpha }}\subset V^{W_{\alpha }}_{E_{\alpha }}\), \(V^{W_{\alpha }}_{*E_{\alpha }}\subset V^{W_{\alpha ^{\prime }}}_{*E_{\alpha }}\) for \(\alpha ^{\prime }<\alpha \), implies that all operators φα, respectively \(\overline {\varphi }_{\alpha }\), are represented by the same matrix. This means that all matrices (23) are just one matrix which satisfies the above conditions for all spaces Wα. Consequently, StW consists of matrices M which, together with their inverses, have the form
![](http://media.springernature.com/lw303/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figh_HTML.png)
the rows and columns of M being ordered by the ordered set which orders the elements of \(\widetilde {E}\) as above, and the diagonal blocks being of size \(\dim (W_{\alpha _{2}}/W_{\alpha _{1}}) \times \dim (W_{\alpha _{2}}/W_{\alpha _{1}})\) where α is one of the indices α1 and α2, and α1 is the immediate predecessor of α2. This datum induces a block structure on the entire matrix M, and all strictly lower-triangular blocks are set to equal zero. Furthermore, since M and M− 1 are subject to the above additional conditions for all splittings arising from spaces Wα of W, the matrices M and M− 1 satisfy the following:
-
if there exists a rightmost highest block L (this depends on the order on \(\widetilde {E}\), i.e., ultimately on the structure of the generalized flag W ), then there are no conditions on the rows and columns of L, all columns of M which intersect L have at most finitely many nonzero entries outside of L, all rows of L which intersect L have at most finitely many nonzero entries outside of L, and all other rows and columns of M have at most finitely many nonzero entries in the region in which the first index is greater then the first index of any entry of L and the second index is smaller than the second index of any entry of L;
-
if M has no rightmost highest block, then all rows have at most finitely many nonzero entries in direction to the left (from any point on) and all columns have at most finitely many nonzero entries in the downward direction (from any point on).
In order to pass to the full group \(GL(\widetilde {E},V) \cdot St_{W}\), consider matrices of the form (24) and replace the zeros in the lower-triangular part by finitely many nonzero entries. Let’s refer to such matrices as W -aligned. If M is a W -aligned matrix, then every space Wα induces a splitting of M into four blocks
![](http://media.springernature.com/lw208/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figi_HTML.png)
where C is a finitary matrix. A W -aligned matrix M is eligible if M− 1 is also W -aligned, and for any α the splittings
![figure j](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figj_HTML.png)
of M and M− 1 respectively, satisfy the condition
We leave it as an exercise to the reader to check that the condition of eligibility is empty (i.e., it is automatically satisfied) if the ordered set parameterizing the rows and columns of A or D is finite.
Our result in this section states as follows.
Theorem 7.1
The group \(GL(\widetilde {E},V) \cdot St_{W}\) is isomorphic to the group of all eligible W-aligned matrices.
Proof
Any matrix in \(GL(\widetilde {E},V)\cdot St_{W}\) has the form MfM where Mf is an element of \(GL(\widetilde {E},V)\) and M is a matrix from StW having the form (24). The necessary and sufficient condition for MfM to lie in \(GL(\widetilde {E},V)\cdot St_{W}\) is that the splitting (25) of MfM for any space Wα in W satisfies the condition of Theorem A.1. For all α these conditions amount precisely to the requirement that the matrix MfM be eligible.□
8 The Isotropic Case
Theorem 8.1
Let \(X=FlO(W,\widetilde {E},V)\) or \(FlS(W,\widetilde {E},V)\) for some isotropic generalized flag W compatible with an isotropic basis \(\widetilde {E}\) of V. We assume in addition that W does not have the form \(0\subset W_{1} \subset W^{\perp }_{1} \subset V\) where \(\dim W_{1}=1\) in the symplectic case, and that \(\dim W^{\perp }_{1}/W_{1}\neq 2\) in the orthogonal case if the basis \(\widetilde {E}\) has the form (9). Then
or
where \(St^{O}_{W}\) and \(St^{Sp}_{W}\) denote respectively the stabilizer of W in O(V ) and Sp(V ). The action of O(V ) on \(FlO(W,\widetilde {E},V)\), or respectively of Sp(V ) on \(FlS(W,\widetilde {E},V)\), is induced by the linear action of O(V ) or Sp(V ) on V.
Proof
Step 1. The case of an isotropic ind-grassmannian. The argument starts in the same way as for ordinary ind-grassmannians. The embeddings Xn↪Xn+ 1 are assumed to be standard extensions of isotropic grassmannians, and by Theorem 4.1 the embeddings \(Y_{n}:=\varphi (X_{n})\overset {\eta _{n}}{\hookrightarrow } Y_{n+1}:=\varphi (X_{n+1})\) are also standard extensions.
Next, in the isotropic case the isomorphisms (14) must hold, so we arrive to diagram (15) or, equivalently, to a commutative diagram
![figure k](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figk_HTML.png)
The isomorphism \(V=\varinjlim V^{\prime }_{n}\) holds since the embeddings Yn↪Yn+ 1 are standard extensions, and hence any \(V^{\prime }_{n}\) is a subspace of VN for some N > n. Furthermore, the restriction of the fixed (symmetric or antisymmetric) form on V to \(V_{n}^{\prime }\) is a form defining the corresponding isotropic grassmannian in \(V_{n}^{\prime }\). (Such a form is unique up to a scalar if W satisfies the conditions of the theorem.) Recall (from Section 5) that the maps φn are defined up to compatible scalars cn. The key observation is that there is a unique choice of these scalars such that the maps φn are isomorphisms of orthogonal or, respectively, symplectic vector spaces. This follows from the fact that the automorphism groups of our finite-dimensional isotropic grassmannians Xn and Yn are the respective orthogonal or symplectic groups.
Set
Then by construction φ is an orthogonal or, respectively, symplectic operator, and φ determines our automorphism \(\widetilde {\varphi }\) which acts on a point \(W^{\prime }\) by formula (16). However, in the case considered we have
hence the action of \(\widetilde {\varphi }\) on X is simply induced by the action of φ as a linear automorphism of V. This implies that there is an injective homomorphism
or, respectively,
and that the action of the image of ε on \(GrO(W,\widetilde {E},V)\) or \(GrS(W,\widetilde {E},V)\) is induced by the linear action of O(V ) or, respectively, Sp(V ) on V.
In the case of a general ind-variety of isotropic generalized flags, an injective homomorphism ε is constructed exactly as in Step 3 of the proof of Theorem 2.1. Here the images of all homomorphisms εα lie in PO(V ) or, respectively, PSp(V ), therefore ε is just the homomorphism into the intersection of all images of εα. Moreover, the image of ε coincides respectively with \(P(O(\widetilde {E},V)\cdot St^{O}_{W})\) or \(P(Sp(\widetilde {E},V)\cdot St^{Sp}_{W})\). Indeed, since \(O(\widetilde {E},V)\) or, respectively, \(Sp(\widetilde {E},V)\), acts transitively on \(FlO(W,\widetilde {E},V)\) or \(FlS(W,\widetilde {E},V)\), the image of ε must be a subgroup of \(P(O(\widetilde {E},V)\cdot St^{O}_{W})\) or, respectively, \(P(Sp(\widetilde {E},V)\cdot St^{Sp}_{W})\). On the other hand, by the same argument as in Section 6, \(O(\widetilde {E},V)\cdot St^{O}_{W}\) or, respectively, \(Sp(\widetilde {E},V)\cdot St^{Sp}_{W}\) acts on the ind-variety \(FlO(W,\widetilde {E},V)\) or \(FlS(W,\widetilde {E},V)\) via the formula (16). Since in our case the equality (26) holds, the proof is complete.□
Corollary 8.1
The group \(O(\widetilde {E},V)\cdot St^{O}_{W}\), or \(Sp(\widetilde {E},V)\cdot St^{Sp}_{W}\), is isomorphic to the group of all invertible W-aligned matrices M with finitary rows and columns satisfying \(\overline {M}=\pm M^{-1}\), where \(\overline { \cdot }\) denotes reflection along the antidiagonal, plus corresponds to the case of O and minus corresponds to the case of Sp.
Proof
The group \(O(\widetilde {E},V)\cdot St^{O}_{W}\) or \(Sp(\widetilde {E},V)\cdot St^{Sp}_{W}\) is clearly the intersection of the group \(GL(\widetilde {E},V)\cdot St_{W}\) with O(V ) or, respectively, with Sp(V ), and this implies the claim. Note that the condition \(\overline {M}= \pm M^{-1}\) makes M eligible automatically.□
References
Akhiezer, D.: Lie Group Actions in Complex Analysis. Asp. of Math. 27 Vieweg + Teubner Verlag (1995)
Chow, W -L: On the Geometry of Algebraic Homogeneous Spaces. Ann. Math. 50, 32–67 (1949)
Dimitrov, I., Penkov, I.: Ind-varieties of generalized flags as homogeneous spaces for classical ind-groups. Int. Math. Res. Notices 55, 2935–2953 (2004)
Dimitrov, I., Penkov, I., Wolf, J.: A Bott-Borel-Weil theory for direct limits of algebraic groups. Am. J. Math. 124, 955–998 (2002)
Gatto, L., Salehyan, P.: The cohomology of the Grassmannian is a \(\mathfrak {gl}_{n}\)-module. Commun. Algebra 48, 274–290 (2020)
Hukleberry, A.: Hyperbolicity of cycle spaces and automorphism groups of flag domains. American. J. Math. 135(2), 291–310 (2010)
Huckleberry, A.: Cycle connectivity and automorphism groups of flag domains. In: Mason, G., Penkov, I., Wolf, J. A. (eds.) Developments and Retrospectives in Lie Theory. Geometric and Analytic Methods, pp 113–126. Springer (2014)
Ignatyev, I., Penkov, I.: Ind-varieties of generalized flags: a survey of results. J. Math. Sci. 248, 255–302 (2020)
Kapranov, M.: Semiinfinite symmetric powers. Preprint, ar**v:math.QA/0107089 (2001)
Mackey, G.W.: On infinite-dimensional linear spaces. Trans. Amer. Math. Soc. 57(2), 155–207 (1945)
Natarajan, L., Rodríguez-Carrington, E., Wolf, J.A.: The Bott–Borel–Weil Theorem for direct limit Lie groups. Trans. Amer. Math. Soc. 353, 4583–4622 (2001)
Onishchik, A.: Transitive compact transformation groups. Math. Sb. (N.S.) 60, 447–485 (1963). English Transl.: AMS Transl. (2) 55 (1966), 5–58
Penkov, I.: Examples of automorphism groups of ind-varieties of generalized flags. J. Geom. Symmetry Phys. 50, 71–77 (2018)
Penkov, I., Tikhomirov, A.S.: Linear ind-Grassmannians. Pure Appl. Math. Quarterly 10, 289–323 (2014)
Penkov, I., Tikhomirov, A.S.: An algebraic-geometric construction of ind-varieties of generalized flags. Preprint, ar**v:math.AG/1910.12005 (2019)
Sato, M.: The KP hierarchy and infinite-dimensional Grassmann manifolds. Theta functions — Bowdoin 1987, Part 1 (Brunswick, ME, 1987). In: Proc. Sympos. Pure Math., vol. 49, pp 51–66. Amer. Math. Soc., Providence (1989)
Tarigradschi, M.: On the Automorphism Groups of Certain Flag Ind-varieties. Jacobs University Bremen, Bachelor’s thesis (2019)
Acknowledgements
I.P. thanks Francesco Esposito for inspiring discussion on topics related to the present paper.
We are grateful to two referees for their sharp comments. One of the referees found several inaccuracies and made helpful suggestions for improving the text. Another referee suggested to mention that in the works [6, 7] of Alan Huckleberry the classical result of [12] has been extended to the non-compact case of flag domains.
Funding
Open Access funding enabled and organized by Projekt DEAL. M.I. was supported by the Foundation for the Advancement of Theoretical Physics and Mathematics “BASIS” grant no. 18–1–7–2–1, and by RFBR grant no. 20–01–00091–a. Both authors were supported in part by DFG grant PE 980/8-1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: . On the Structure of the Group G(V E,V ∗E)
Appendix: . On the Structure of the Group G(V E,V ∗E)
In this Appendix we have collected some basic statements about the Mackey group G(VE,V∗E). The isomorphism of this group a the group sometimes referred to as Japanese \(GL(\infty )\) is stated at the end.
1.1 A.1 A Lemma from Linear Algebra
Lemma A.1
A be a countable-dimensional vector space, and μ: A∗→ A, ν : A∗→ A be linear maps such that α(μ(β)) = β(ν(α)) for all α, β ∈ A∗. Then the dimensions of the images of μ and ν are finite and equal.
Proof
We first check that \(\dim \text {im} \mu <\infty \). This will imply that \(\dim \text {im} \nu \) is also finite because the conditions on μ and ν are symmetric. Pick a basis {f1, f2, …} of A, and let \(\{f_{1}^{*},~f_{2}^{*},~\ldots \}\) be the dual system in A∗. Assume that imμ is infinite dimensional. Then there exist linear functions λn ∈ A∗ for \(n\in \mathbb {Z}_{>0}\), such that \(\dim \langle \mu (\lambda _{1}),~\ldots ,~\mu (\lambda _{n})\rangle _{\mathbb {C}}=n\). It is easy to see that these linear functions can be chosen so that λn(fi) = 0 for i < n and λn(fn)≠ 0. Let \(B:=\langle \lambda _{n} | n\in \mathbb {Z}_{>0} \rangle _{\mathbb {C}}\). The formula (a,b)↦b(a) for a ∈ A, b ∈ B defines a non-degenerate pairing between A and B. By a result of G. Mackey [10, Lemma on p. 171], we may assume without loss of generality that \(\lambda _{n}=f_{n}^{*}\) for all n.
Since \(\dim \text {im} \mu = \infty \), for any \(n\in \mathbb {Z}_{>0}\) there exists \(i_{n}\in \mathbb {Z}_{>0}\) such that \(\mu (f_{i_{n}}^{*})\) is not contained in \(A_{n}:=\langle f_{1},\ldots ,f_{n}\rangle _{\mathbb {C}}\). In other words, there exist two infinite sequences of integers 1 ≤ i1 < i2 < … and 2 ≤ k1 < k2 < … so that \(\mu (f_{i_{n}}^{*})\in A_{k_{n}}\setminus A_{k_{n}-1}\) for all n ≥ 1.
Now we define a sequence c1, c2, … of complex numbers inductively as follows. Set c1 to be an arbitrary nonzero scalar. For n > 1 we let cn to be an arbitrary complex number such that
(Such a number exists because \(f_{k_{n}}^{*}(\mu (f_{i_{n}}^{*}))\neq 0\).) Finally, we define α ∈ A∗ by the formula
Then
for any \(n\in \mathbb {Z}_{>0}\). This means that \(\nu (\alpha )\notin A_{i_{n}-1}\) for all n ≥ 1, i.e., that ν(α) can not be expressed as a finite linear combination of f1, f2, …, and this is a contradiction.
Hence, \(\dim \text {im} \mu <\infty \), and also \(\dim \text {im} \nu <\infty \). It remains to check that \(\dim \text {im} \mu =\dim \text {im} \nu \). Since \(\dim \text {im} \mu <\infty \), there exist \(n\in \mathbb {Z}_{>0}\) and linear functions α1, …, αn ∈ A∗∗ such that \(\mu (a)={\sum }_{i=1}^{n}\alpha _{i}(a)f_{i}\) for all a ∈ A∗. We note that in fact αi ∈ A for all i. Indeed,
so \(\alpha _{j}=\nu (f_{j}^{*})\in A\) for all j. It follows that there exist \(m\in \mathbb {Z}_{>0}\) and scalars \(\alpha _{ij}\in \mathbb {C}\) so that \(\alpha _{j}={\sum }_{i=1}^{m}\alpha _{ij}f_{i}\) for all 1 ≤ j ≤ n. Clearly, \(\dim \text {im} \mu =\text {rk} (\alpha _{ij})_{i,j=1}^{m,n}\). Similarly, there exist \(n^{\prime },~m^{\prime }\in \mathbb {Z}_{>0}\), vectors βj ∈ A, and scalars \(\beta _{ij}\in \mathbb {C}\) so that \(\nu (b)={\sum }_{j=1}^{n^{\prime }}\beta _{j}(b)f_{j}\) and \(\beta _{j}={\sum }_{i=1}^{m^{\prime }}\beta _{ij}f_{i}\) for all \(1\leq j\leq n^{\prime }\). Then \(\dim \text {im} \nu =\text {rk} (\beta _{ij})_{i,j=1}^{m^{\prime },n^{\prime }}\). However, \(\alpha _{ij}=f_{i}^{*}(\alpha _{j})=f_{i}^{*}(\nu (f_{j}^{*}))=f_{j}^{*}(\mu (f_{i}^{*}))=f_{j}^{*}(\beta _{i})=\beta _{ji}\) for all i, j. This means that \(m^{\prime }=n\), \(n^{\prime }=m\), and the matrices \((\alpha _{ij})_{i,j=1}^{m,n}\) and \((\beta _{ij})_{i,j=1}^{n,m}\) are transpose to each other. The result follows.□
1.2 A.2 A Grading on the Group G(V E,V ∗E)
We work in the setup of Section 5. Recall that we consider a generalized flag of the form {0}⊂ W ⊂ V, where \(\dim W=\text {codim}_{V} W=\infty \), and that \(E=\widetilde {E}\cap W\) is a basis of W. Let \(U=\langle \widetilde {E}\setminus E\rangle _{\mathbb {C}}\). We have VE = (W∗)∗⊕ U, V∗E = W∗⊕ U∗ and there is a natural non-degenerate pairing \(V_{E}\times V_{*E}\rightarrow \mathbb {C}\). The group G(VE,V∗E) consists of invertible linear operators \(\varphi \colon V_{E}\rightarrow V_{E}\) such that \(\overline {\varphi }={ \left .\kern -\nulldelimiterspace \varphi ^{*} \right |_{V_{*E}} }\colon V_{*E} \rightarrow V_{*E}\) is a well-defined isomorphism.
Choose an ordering of E via \(\mathbb {Z}_{<0}\) and an ordering of \(\widetilde {E}\setminus E\) via \(\mathbb {Z}_{>0}\). Set
and \(W^{k}:=\langle E^{k} \rangle _{\mathbb {C}}\). The disjoint union \(\bigsqcup \limits _{k\in \mathbb {Z}}Gr(W^{k},E^{k},V)\), where E = E0, W = W0, is an ind-variety which we denote by X.
Proposition A.2
The formula (4) defines an action of G(VE,V∗E) on X by ind-variety automorphisms.
Proof
We first prove that \(\varphi \cdot W^{\prime }\in X\) for any \(W^{\prime }\in X\) and any \(\varphi \colon V_{E}\rightarrow V_{E}\), φ ∈ G(VE,V∗E). Since in the definition of X, W can be replaced by \(W^{\prime }\), it suffices to check that φ ⋅ W ∈ X. Denote by πU: VE → U and \(\pi _{W_{*}}\colon V_{*E}\to W_{*}\) the canonical projections onto the corresponding direct summands. Set also \(\mu :=\pi _{U}\circ \left (\varphi |_{(W_{*})^{*}}\right )\) and \(\nu :=\pi _{W_{*}}\circ (\overline {\varphi }|_{U^{*}})\).
We claim that \(\dim \text {im} \mu \) and \(\dim \text {im} \nu \) are finite (and equal). Fix an isomorphism of vector spaces η: W∗→ U and the dual isomorphism η∗: U∗→ (W∗)∗. Consider the linear maps \(\mu ^{\prime }=\mu \circ \eta ^{*}\) and \(\nu ^{\prime }=\eta \circ \nu \) from U∗ to U. Then, for all α, β ∈ U∗, we have
Hence, \(\dim \text {im} \mu ^{\prime }=\dim \text {im} \nu ^{\prime }<\infty \) (and, consequently, \(\dim \text {im} \mu =\dim \text {im} \nu <\infty \)) by Lemma A.1.
Now, denote by A0 the preimage of zero under the restriction of πU to φ((W∗)∗). Obviously, A0 = (W∗)∗∩ φ((W∗)∗). According to the proof of Lemma A.1, there exist \(n\in \mathbb {Z}_{>0}\) and α1, …, αn ∈ W∗ such that
for all ω ∈ (W∗)∗. A vector ω of (W∗)∗ belongs to A0 if and only if μ(ω) = 0, i.e., if ω(αi) = 0 for 1 ≤ i ≤ n. It follows immediately that A0 ∩ W has finite codimension in W and, moreover, given w ∈ W, one has w ∈ A0 if and only if αi(w) = 0 for all 1 ≤ i ≤ n. Hence, A0 ∩ W contains all but finitely many vectors of E.
Recall that \(\varphi \cdot W=\overline {\varphi }^{-1}(W^{\perp })^{\perp }\cap V\). Clearly, W⊥ = U∗, and since \(\overline {\varphi }^{-1}(B)^{\perp }=\varphi (B^{\perp })\) for any subspace B of V∗E, we conclude that
Hence φ ⋅ W = φ((W∗)∗) ∩ V. Since A0 ⊂ φ((W∗)∗), we have A0 ∩ W ⊂ φ ⋅ W, and so φ ⋅ W contains all but finitely many vectors of E. On the other hand,
This implies φ ⋅ W ⊂ W ⊕imμ, and consequently φ ⋅ W ∈ X.
Next, a trivial modification of the argument at the end of the proof of Theorem 2.1 for ind-grassmannians shows that φ induces an automorphism of ind-varieties
Finally, the fact that \(\widetilde {\varphi ^{\prime }\circ \varphi ^{\prime \prime }}=\widetilde {\varphi ^{\prime }}\circ \widetilde {\varphi }^{\prime \prime }\) follows from the realization of \(\tilde {\varphi }\) as an inverse limit of morphisms of finite-dimensional grassmannians where the property \(\widetilde {\varphi _{n}^{\prime }\circ \varphi _{n}^{\prime \prime }}=\widetilde {\varphi }_{n}^{\prime }\circ \widetilde {\varphi }_{n}^{\prime \prime }\) is obvious. □
The ind-variety X is the disjoint union of the ind-grassmannians Gr(Wk,Ek,V ) for \(k\in \mathbb {Z}\). These closed ind-subvarieties are not stable with respect to this action.
Example A.3
Let a reverse sequence be a set parameterized by \(\mathbb {Z}_{<0}\). The vectors in VE and V∗E can be written respectively as \(x=\sum \limits _{i>0} \omega _{i} e_{-i}+\sum \limits _{i>0} u_{i} e_{i}\in V_{E}\), \(y=\sum \limits _{i>0} w_{i} e^{*}_{-i}+\sum \limits _{i>0} \nu _{i} e^{*}_{i}\in V_{*E}\) where ω = (…, ω− 2, ω− 1) and w = (…, w− 2, w− 1) are reverse sequences of complex numbers, and u = (u1, u2, …), ν = (ν1, ν2, …) are usual sequences of complex numbers. In addition, u and w are finitary, i.e., have at most finitely many nonzero entries. In what follows, we write simply (ω,u) for vectors in VE, and (w,ν) for vectors in V∗E.
Consider the shift (linear) operator Sh: VE → VE
One checks immediately that Sh is an element of the group G(VE,V∗E) with \(\overline {Sh}\) having the form
Moreover, Sh ⋅ W belongs to Gr(W1,E1,V ), and in fact Sh ⋅ Gr(W,E,V ) = Gr(W1,E1,V ). In addition, we note that
This example motivates the following.
Definition A.4
Let φ ∈ G(VE,V∗E). We define the integer
to be the degree of φ. (The latter equality follows immediately from the fact that \(\dim \text {im} (\pi _{U}\circ { \left .\kern -\nulldelimiterspace \varphi \right |_{(W_{*})^{*}} })=\dim \text {im} (\pi _{W_{*}}\circ { \left .\kern -\nulldelimiterspace \overline {\varphi } \right |_{U^{*}} })\) checked in the proof of Proposition A.2.)
Proposition A.5
Given φ ∈ G(VE,V∗E) and \(k\in \mathbb {Z}\), one has φ ⋅ Gr(W,E,V ) = Gr(Wk,Ek,V ) if and only if d(φ) = k.
Proof
It suffices to check that the condition φ ⋅ W ∈ Gr(Wk,Ek,V ) is equivalent to d(φ) = k. Since φ ⋅ W belongs to X, the condition φ ⋅ W ∈ Gr(Wk,Ek,V ) is equivalent to the equality
We have φ ⋅ W = φ((W∗)∗) ∩ V and W ⊂ (W∗)∗, hence
where A0 = (W∗)∗∩ φ((W∗)∗). Moreover, the opposite inclusion is clear, so (φ ⋅ W) ∩ W = A0 ∩ W. Therefore, we need to prove that
As was shown in the proof of Proposition A.2, there exist \(n\in \mathbb {Z}_{>0}\) and α1, …, αn ∈ W∗ such that \(\pi _{U}(\varphi |_{(W_{*})^{*}}(\omega ))={\sum }_{i=1}^{n}\omega (\alpha _{i})e_{i}\) for all ω ∈ (W∗)∗, and A0 = {ω ∈ (W∗)∗∣ω(αi) = 0, 1 ≤ i ≤ n}. Hence, A0 ∩ W = {w ∈ W∣αi(w) = 0, 1 ≤ i ≤ n} and
It remains to check that \(\text {codim}_{\varphi ((W_{*})^{*})\cap V}(A_{0}\cap W)=\dim \pi _{U}(\varphi ^{-1}((W_{*})^{*})\). This is done essentially by the same argument as above. Indeed, the argument in the proof of Proposition A.2 now shows that there exist \(m\in \mathbb {Z}_{>0}\) and \(\widetilde \alpha _{i}\in W_{*}\), 1 ≤ i ≤ m, such that \(\pi _{U}(\varphi ^{-1}|_{(W_{*})^{*}}(\omega ))={\sum }_{i=1}^{m}\omega (\widetilde \alpha _{i})e_{i}\) for ω ∈ (W∗)∗. This, together with fact that \(\dim \pi _{U}(\varphi ^{-1}((W_{*})^{*}))<\infty \), implies that, given (ω,u) ∈ VE, the condition φ− 1((ω,u)) ∈ (W∗)∗ is equivalent to a finite system of linear equations on finitely many of the coordinates of (ω,u). Thus,
The proof is now complete.□
Corollary A.6
The definition of d(φ) does not depend on the choice of W in the following sense: in the definition of d(φ) one can replace W by any subspace \(W^{\prime }\subset V\) which is \(\widetilde {E}\)-commensurable with W, and U — by any direct complement \(U^{\prime }\) of \(W^{\prime }\) in V such that \(\text {codim}_{U^{\prime }} \langle U^{\prime }\cap \widetilde {E} \rangle _{\mathbb {C}}<\infty \).
Proof
The claim follows directly from Proposition A.5 as the ind-varieties Gr(Wk,Ek,V ) remain unchanged under a replacement \(W \leadsto W^{\prime }\), \(U\leadsto U^{\prime }\).□
Now we are ready to describe the structure of the G(VE,V∗E)-action on X in more detail. In particular, we prove that the degree defines a grading on the group G(VE,V∗E). In the next theorem we set X(k) = Gr(Wk,Ek,V ) for \(k\in \mathbb {Z}\). Then X(0) = Gr(W,E,V ) and \(X=\bigsqcup \limits _{k\in \mathbb {Z}} X(k)\).
Theorem A.7
Given \(d\in \mathbb {Z}\), set Gd(VE,V∗E) := {φ ∈ G(VE,V∗E)∣d(φ) = d}. Then
-
i)
φ ⋅ X(k) = X(k + d(φ)) for all φ ∈ G(VE,V∗E), \(k\in \mathbb {Z}\);
-
ii)
\(d(\varphi \circ \varphi ^{\prime })=d(\varphi )+d(\varphi ^{\prime })\) for all \(\varphi ,~\varphi ^{\prime }\in G (V_{E}, V_{*E})\);
-
iii)
G0(VE,V∗E) is a normal subgroup of G(VE,V∗E) whose cosets are Gd(VE,V∗E), \(d\in \mathbb {Z}\).
Proof
-
i)
We have d(φ− 1) = −d(φ) by the definition of degree. This implies that if φ ⋅ X(0) = X(d) then φ− 1 ⋅ X(0) = X(−d). In particular, since Sh ⋅ X(n) = X(n + 1) and consequently Shk ⋅ X(n) = X(n + k), we obtain Sh−k ⋅ X(n) = X(n − k) for all \(k,~n\in \mathbb {Z}\).
We claim that if φ ⋅ X(0) = X(0) then φ ⋅ X(k) = X(k) for all \(k\in \mathbb {Z}\). Indeed, assume that φ ⋅ X(0) = X(0) and pick an integer k. We have (Sh−k ∘ φ) ⋅ X(0) = Sh−k ⋅ (φ ⋅ X(0)) = Sh−k ⋅ X(0) = X(−k). By our observation in the first paragraph, we conclude that (Sh−k ∘ φ)− 1 ⋅ X(0) = X(k), i.e.,
$$(\varphi^{-1}\cdot Sh^{-k})\cdot X(0)=\varphi^{-1}\cdot(Sh^{k}\cdot X(0))=\varphi^{-1}\cdot X(k)= X(k).$$This clearly implies φ ⋅ X(k) = X(k).
Now, assume that φ ⋅ X(0) = X(d), i.e., that d(φ) = d. Then (Sh−d ∘ φ) ⋅ X(0) = Sh−d ⋅ X(d) = X(0). Thus, by the previous paragraph, for all \(k\in \mathbb {Z}\) we have (Sh−d ∘ φ) ⋅ X(k) = X(k), i.e.,
$$\varphi\cdot X(k)= Sh^{d}\cdot X(k)=X(k+d).$$ -
ii)
Follows immediately from (i).
-
iii)
Follows immediately from (ii).
□
1.3 A.3 Matrix Realization
Consider the spaces VE = (W∗)∗⊕ U, V∗E = W∗⊕ U∗, and assume that the isomorphism \(\eta :W_{*}\rightarrow U\) maps \(e^{*}_{-i}\) to ei for \(i\in \mathbb {Z}_{>0}\). Then the pairing \(V_{E}\times V_{*E} \rightarrow \mathbb {C}\) is identified with the pairing
This allows us to denote the group G(VE,V∗E) = G(U∗⊕ U,U∗⊕ U) simply by GU.
We now present an explicit matrix realization of the group GU. We have a fixed basis {e1, e2, …} of U, and we identify U∗⊕ U with the space {(γ, y)} where γ = (…, γ− 2, γ− 1) are reverse sequences and y = (y1, y2, …) are finitary usual sequences. We consider matrices whose rows and columns are parameterized by the ordered set \(\mathbb {Z}\setminus \{0\}=\mathbb {Z}_{<0}\sqcup \mathbb {Z}_{>0}\). Such a matrix M naturally splits into four blocks
![figure l](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00031-022-09703-1/MediaObjects/31_2022_9703_Figl_HTML.png)
Let J be the subset of such matrices satisfying the following conditions:
Matrices from J act on U∗⊕ U via left multiplication: one considers vectors of U∗⊕ U as columns
and we have (γ,y)T↦ψ(γ,y)T for ψ ∈ J.
Given a matrix ψ ∈ J, we let \(\overline {\psi }\) denote the reflection of ψ with respect to its antidiagonal. Clearly, \(\overline {\overline {\psi }}=\psi \). One checks immediately that \(\overline {\psi }\) belongs to J, and that \(\overline {\psi _{1}\psi _{2}}=\overline {\psi _{2}}~\overline {\psi _{1}}\). Furthermore, if \(\overline {\gamma }:=(\gamma _{-1},~\gamma _{-2},~\gamma _{-3},~\ldots )\) for a reverse sequence γ = (…, γ− 3, γ− 2, γ− 1) and \(\overline {y}:=(\ldots ,~y_{3},~y_{2},~y_{1})\) for a finitary sequence y = (y1, y2, y3, …), then we have \(\overline {\psi (\gamma ,~y)^{T}}=\overline {(\gamma ,~y)^{T}}~\overline {\psi }\) for all (γ, y) ∈ U∗⊕ U, where \(\overline {(\gamma ,~y)^{T}}=(\overline {y},~\overline {\gamma })\).
Let \(\widetilde {G}_{U}\) be the group of automorphisms of VE with matrices ψ such that ψ, ψ− 1 ∈ J.
Theorem A.8
The group GU coincides with \(\widetilde G_{U}\).
Proof
First, we prove that GU is contained in \(\widetilde G_{U}\). Pick an operator φ ∈ GU. Since \(\pi _{U}\circ ({ \left .\kern -\nulldelimiterspace \varphi \right |_{U} })\) is a well-defined operator on the countable-dimensional space U , it is represented by a (unique) matrix \(D=(d_{i,j})_{i,j\in \mathbb {Z}_{>0}}\) with finitary columns.
Next, Lemma A.1 implies that \(\dim \text {im} (\pi _{U}\circ ({ \left .\kern -\nulldelimiterspace \varphi \right |_{U^{*}} }))<\infty \). Moreover, according to the proof of Lemma A.1 there exist \(n\in \mathbb {Z}_{\geq 0}\) and vectors c1, …, cn ∈ U such that \(\pi _{U}({ \left .\kern -\nulldelimiterspace \varphi \right |_{U^{*}} }(\gamma ))={\sum }_{i=1}^{n}\gamma (c_{i})e_{i}\) for all γ ∈ U∗. This means that \(\pi _{U}\circ ({ \left .\kern -\nulldelimiterspace \varphi \right |_{U^{*}} })\) can be represented as a finitary matrix \(C=(c_{i,-j})_{i,j\in \mathbb {Z}_{>0}}\), where \(c_{i}={\sum }_{j\geq 1}c_{i,-j}e_{j}\).
Let \(\pi _{U^{*}}\) be the projection operator \(U^{*}\oplus U\rightarrow U^{*}\). The operator \(\pi _{U^{*}}\circ ({ \left .\kern -\nulldelimiterspace \varphi \right |_{U} })\) is an operator from the space U of finitary sequences to the space U∗ of arbitrary reverse sequences, and is therefore given by a matrix \(B=(b_{-i,j})_{i,j\in \mathbb {Z}_{>0}}\).
Finally, given γ ∈ U∗, we have \(\pi _{U^{*}}({ \left .\kern -\nulldelimiterspace \varphi \right |_{U^{*}} }(\gamma ))(e_{i})=\varphi (\gamma )(e_{i})=\gamma (\overline {\varphi }(e_{i}))=\gamma (\pi _{U}(\overline {\varphi }(e_{i})))\). There exist linear functions βj ∈ U∗, \(j\in \mathbb {Z}_{>0}\), such that \(\pi _{U}(\overline {\varphi }(y))=(\beta _{1}(y),~\beta _{2}(y),~\ldots )\). Since \(\pi _{U}(\overline {\varphi }(e_{i}))\) belongs to U, there exists \(k(i)\in \mathbb {Z}_{>0}\) such that βj(ei) = 0 for j > k(i), i.e., \(\pi _{U}(\overline {\varphi }(e_{i}))={\sum }_{j=1}^{k(i)}\beta _{j}(e_{i})e_{j}\). Thus, \(\pi _{U^{*}}\circ ({ \left .\kern -\nulldelimiterspace \varphi \right |_{U^{*}} })\) can be represented as a matrix with finitary rows \(A=(a_{-i,-j})_{i,j\in \mathbb {Z}_{>0}}\), where a−i,−j = βj(ei).
It follows that φ ∈ GU can be represented by invertible matrices from L. This conclusion applies also to the inverse operator φ− 1 by the same argument.
In order to verify the inclusion \(\widetilde G_{U}\subset G_{U}\), let now ψ be a matrix from L such that ψ− 1 ∈ L. Then the linear operator on U∗⊕ U with matrix \(\overline {\psi }\) is the restriction to U∗⊕ U of the operator dual to the operator defined by ψ. Indeed,
where the three middle terms are products of two or respectively three matrices. Moreover, the invertibility of \(\overline {\psi }\) follows from the equality \(\overline {\psi }^{-1}=\overline {\psi ^{-1}}\) which is a consequence of the relation \(\overline {\psi _{1} \psi _{2}}=\overline {\psi }_{2}\overline {\psi }_{1}\). This shows that ψ determines an operator from GU. □
Remark A.9
Finally, the reader will notice that if in the definition of J we replace the ordered set \(\mathbb {Z} \setminus \{0\}=\mathbb {Z}_{<0}\sqcup \mathbb {Z}_{>0}\) by any ordered set which is the disjoint union O1 ⊔ O2 of two linearly ordered countable sets with the condition r < s for r ∈ O1, s ∈ O2, and define a group by imposing the conditions (28), we will obtain a group isomorphic to GU. Of course, in such a setting the matrix of the operator \(\overline {\varphi }=\varphi ^{*}|_{U^{*}\oplus U}\), for a given φ ∈ GU with matrix ψ, will not be \(\overline {\psi }\) as defined above, and its form will depend on the choice of O1 and O2. Moreover, there will also be analogues of the operator Sh, and we leave it to the reader to define one.
The above remark is used in the proof of Theorem 2.1 presented in Section 6.
Finally, using the matrix form of the group GU given by Theorem A.8, it is straightforward to check that GU is nothing but the group of continuous automorphisms of U∗⊕ U as a Tate space, see, for instance, [9]. In other words, GU is the group known as Japanese \(GL(\infty )\), and G0(U,U∗) is simply the connected component of the identity in G(U,U∗) = GU.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ignatev, M., Penkov, I. Automorphism Groups of ind-Varieties of Generalized Flags. Transformation Groups 29, 743–772 (2024). https://doi.org/10.1007/s00031-022-09703-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00031-022-09703-1
Keywords
- ind-variety
- ind-group
- Generalized flag
- Homogeneous space
- Automorphism group
- Makey group
- Sato grassmannian
- Japanese \(GL(\infty )\)