Noetherianity up to conjugation of locally diagonal inverse limits (Q2332384)

The present paper studies Noetherianity of the inverse limits of the sequence dual to a sequence of Lie algebras. The main results concern diagonal embeddings \(G_i\hookrightarrow G_{i+1}\), where \(G_i\) are four types of subgroups of the general linear group. Let \(G\) be its direct limit and consider the associated sequence \(\mathfrak g_1\hookrightarrow\mathfrak g_2\hookrightarrow\dots\), where \(\mathfrak g_i\) is the Lie algebra of \(G_i\). Now, we let \(V\) be the inverse limit of the sequence obtained by dualizing the previous sequence. Then \(V\) has a natural action of \(G\). In the main result is proved that for these four types of groups the space \(V\) is \(G\)-Noetherian, i.e. for every descending sequence \(V\supseteq X_1\supseteq X_2\supseteq X_3\supseteq\dots\) of \(G\)-stable closed subsets of \(V\) there is an \(i\in\mathbb N\) such that \(X_i = X_j\) for all \(j \geq i\).