Representation stability for filtrations of Torelli groups (Q1784166)

Dieser Artikel studiert die Struktur gewisser Funktoren von der Kategorie \(VIC_\mathbb{Q}\) oder \(SI_\mathbb{Q}\) nach den Vektorräumen über \(\mathbb{Q}\). Hier bezeichnet \(VIC_\mathbb{Q}\) (beziehungsweise \(SI_\mathbb{Q}\)) die Kategorie, deren Objekte die endlich-dimensionalen Vektorräumen (bzw. die endlich-dimensionalen symplektischen Räumen) über \(\mathbb{Q}\) sind, und deren Pfeilen die linearen Monomorphismen mit einer gegebenen Retraktion (bzw. die symplektischen Abbildungen) sind. Solch ein Funktor wird kurz einen \(VIC_\mathbb{Q}\)-Modul oder \(SI_\mathbb{Q}\)-Modul genannt. Die Bewertung eines \(\text{VIC}_\mathbb{Q}\)-Moduls (bzw. \(SI_\mathbb{Q}\)-Moduls) \(F\) über \(\mathbb{Q}^n\) (bzw. \(\mathbb{Q}^{2n}\)) ist natürlich eine Darstellung über \(\mathbb{Q}\) der linearen Gruppe \(\mathrm{GL}_n(\mathbb{Q})\) (bzw. der symplektischen Gruppe \(\mathrm{Sp}_{2n}(\mathbb{Q})\)). Falls \(F\) einige Endlichkeitseigenschafen (zum Beispiel: \(F\) endlich erzeugt) besitzt, ist die Darstellungensequenz \((F(\mathbb{Q}^n))\) (bzw. \((F(\mathbb{Q}^{2n}))\)) gar nicht beliebig. Die Studie von Phänomenen dieser Art wird \textit{Darstellungsstabilität} (\textit{Representation stability} auf Englisch) genannt. Die Kategorie \textit{aller} Darstellungen (sogar in der Charakteristik \(0\)) der Gruppe \(\mathrm{GL}_n(\mathbb{Q})\) oder \(\mathrm{Sp}_{2n}(\mathbb{Q})\) ist schrecklich für \(n\ge 2\) (diese Gruppen enthalten eine nicht-kommutative freie Gruppe). Der Autor betrachtet hier nur Funktoren deren Werten \textit{rationale} Darstellungen der algebraischen Gruppen \(\mathrm{GL}_n(\mathbb{Q})\) oder \(\mathrm{Sp}_{2n}(\mathbb{Q})\) sind. Diese Funktoren werden \textit{rational} genannt. Diese Bedingung ist vernünftig, insofern als alle Darstellungen von \(SL_n(\mathbb{Q})\) (das gilt \textit{nicht} für \(\mathrm{GL}_n(\mathbb{Q})\)), die endlich-dimensional über \(\mathbb{Q}\) sind, rational sind (Siehe [\textit{R. Steinberg}, Contemp. Math. 45, 335--350 (1985; Zbl 0579.20038)]). Noch dazu sind die rationalen Darstellungen von \(\mathrm{GL}_n(\mathbb{Q})\) oder \(\mathrm{Sp}_{2n}(\mathbb{Q})\) halb-einfach und wohl verstanden. Die theoretischen Hauptergebnisse des Artikels zeigen, daß endlich-erzeugte rationale \(\text{VIC}_\mathbb{Q}\)- oder \(SI_\mathbb{Q}\)-Moduln noethersch sind, und daß ihre Werte ein regelmässiges Verhalten als Darstellungen von \(\mathrm{GL}_n(\mathbb{Q})\) oder \(\mathrm{Sp}_{2n}(\mathbb{Q})\) haben (was genau mit Partitionen sich ausdrücken läßt). Das wird dann auf die Rationalisierung merkwürdiger Filtrierungen der Gruppen \(IA_n:=\mathrm{Ker}\,\big(\mathrm{Aut}(F_n)\to \mathrm{GL}_n(\mathbb{Z})\big)\) (von der Abelianisierung einer freien Gruppe induziert) und Torellis Gruppen angewandt. Diese Filtrierungen liefern \(\text{VIC}_\mathbb{Z}\)-Moduln bzw \(SI_\mathbb{Z}\)-Moduln (mit dem Grundring \(\mathbb{Z}\) statt \(\mathbb{Q}\) zur Quelle), aber der Autor zeigt, dass diese Moduln natürlich als rationale \(\text{VIC}_\mathbb{Q}\)- oder \(SI_\mathbb{Q}\)-Moduln sich erweitern lassen. Erwähnen wir einige verwandte Ergebnisse: der Autor dieses Referats [Fundam. Math. 233, No. 3, 197--256 (2016; Zbl 1353.18001)] bewies (mit unabhängigen Methoden, die den Begriff von \textit{polynomischen Funktoren} benutzen) qualitative Eigenschaften der Quotiente der selben Filtrierungen der Gruppen \(IA_n\), die auch über die ganzen Zahlen gelten, aber die weniger genaue Auskünfte über \(\mathbb{Q}\) geben. In einer schönen Vorveröffentlichung [``Effective and infinite-rank superrigidity in the context of representation stability'', Preprint, \url{arXiv:1902.05603}] beweist \textit{N. Harman} interessante Struktureigenschaften der endlich-erzeugten Funktoren von \(\text{VIC}_\mathbb{Z}\) nach \textit{endlich-dimensionalen} Vektorräumen über \(\mathbb{C}\).