Uniform twisted homological stability

Technische Zusammenfassung: Uniforme verdrehte homologische Stabilität

Problemstellung
Die Arbeit befasst sich mit dem Problem der homologischen Stabilität für Familien diskreter Gruppen (wie Modifikationsgruppen, Automorphismengruppen freier Gruppen und Zopfgruppen) mit Koeffizienten in Sequenzen irreduzibler algebraischer Darstellungen arithmetischer Gruppen. Während die homologische Stabilität für diese Gruppen mit konstanten oder polynomiellen Koeffizienten gut etabliert ist, hängt der „Stabilitätsbereich“ (der Grad $d$, bis zu dem Stabilität gilt) typischerweise von dem Polynomgrad des Koeffizientensystems ab. Konkret ist der Stabilitätsbereich für ein Koeffizientensystem des polynomiellen Grades $r$ oft der Form $d < A \cdot n - B \cdot r$. Folglich kann der Stabilitätsbereich, wenn der Grad der Darstellung mit $n$ wächst, vollständig verschwinden.

Die Autoren streben ein „uniformes“ Stabilitätstheorem an, bei dem der Stabilitätsbereich vom Gruppenindex $n$ abhängt, jedoch unabhängig vom Grad der Polynomialität des Koeffizientensystems ist, sofern es sich bei den Koeffizienten um spezifische irreduzible algebraische Darstellungen handelt.

Methodik
Die Arbeit entwickelt einen allgemeinen Rahmen zur Propagation der homologischen Stabilität von einer Familie arithmetischer Gruppen $\{Q_n\}$ auf eine Familie diskreter Gruppen $\{\Gamma_n\}$, die auf sie abbilden.

1. Allgemeiner Propagationssatz (Abschnitt 2): Die Autoren formulieren Theorem 2.2, das Bedingungen festlegt, unter denen die Stabilität für $\{Q_n\}$ die Stabilität für $\{\Gamma_n\}$ impliziert. Das Theorem stützt sich auf drei Axiome:

   • Axiom (I): Eine Konnektivitätsbedingung auf den „Destabilisierungskomplexen“ (oder Splitting-Komplexen), die mit den Familien $\{\Gamma_n\}$ und $\{Q_n\}$ assoziiert sind. Dies betrifft die abgeleiteten Unzerlegbaren der assoziierten $E_2$-Algebren.
   • Axiom (II): Eine Stabilitätsbedingung für das Koeffizientensystem $V$ über den arithmetischen Gruppen $\{Q_n\}$, bezüglich des Verschwindens der relativen Homologie $H_*(Q_n, Q_{n-1}; \Sigma^a V)$.
   • Der Propagationsmechanismus: Unter Verwendung der Sprache der braiden monoidalen Groppoide und $E_2$-Algebren (in Anlehnung an die Arbeit von Randal-Williams und Wahl) konstruieren die Autoren eine Spektralsequenz, die die Homologie von $\Gamma_n$ mit der von $Q_n$ und den Kernen der Abbildungen $\Gamma_n \to Q_n$ in Beziehung setzt.

2. Verifizierung der Axiome für spezifische Fälle (Abschnitt 4):

   • Axiom (I): Die Autoren verifizieren die hohe Konnektivität der relevanten Destabilisierungskomplexe. Für Modifikationsgruppen und Automorphismengruppen freier Gruppen stützen sie sich auf bestehende Ergebnisse (z. B. von Hatcher, Wahl und anderen). Für die Zopfgruppen (Theorem 1.4) beweisen sie neue hochkonnektive Ergebnisse für die Komplexe, die mit dem Bild der ganzzahligen Burau-Darstellung in geraden und ungeraden symplektischen Gruppen assoziiert sind (Abschnitt 3).
   • Axiom (II): Dies erfordert die Analyse des Verhaltens irreduzibler Darstellungen unter dem Shift-Operator $\Sigma$ (Restriktion entlang $Q_{n-1} \to Q_n$). Die Autoren nutzen Littlewood-Komplexe (Sam–Snowden–Weyman), um verschobene Darstellungen in iterierte Erweiterungen anderer irreduzibler Darstellungen zu zerlegen. Dies ermöglicht es ihnen, die Stabilität verschobener Koeffizienten auf die Stabilität der Basiskoeffizienten zu reduzieren, wobei sie sich auf bekannte Ergebnisse über die stabile Kohomologie arithmetischer Gruppen (Borels Werk) stützen.

3. Destabilisierungskomplexe für die Burau-Darstellung (Abschnitt 3): Ein wesentlicher technischer Beitrag ist die Konstruktion und Analyse der Destabilisierungskomplexe für das Bild der ganzzahligen Burau-Darstellung in den „ungeraden symplektischen Gruppen“ (Gelfand–Zelevinsky). Die Autoren beweisen, dass diese Komplexe hochkonnekt (speziell $(n-19)/8$-konnekt) sind, was notwendig ist, um die Steigung der Stabilität für Zopfgruppen zu etablieren.

Wesentliche Beiträge und Ergebnisse
Die Arbeit beweist vier Haupttheoreme, die uniforme verdrehte homologische Stabilität etablieren:

1. Modifikationsgruppen (Theorem 1.1): Für die Modifikationsgruppe $\text{Mod}^1_g$ mit Koeffizienten in einer irreduziblen Darstellung $V_\lambda(2g)$ von $\text{Sp}_{2g}(\mathbb{Z})$ verschwindet die relative Homologie für $d < \frac{1}{2}(g - \frac{1}{2}l(\lambda))$. Dies verbessert die Abhängigkeit von der Partitionslänge $l(\lambda)$ im Vergleich zu bisherigen Schranken.
2. Automorphismengruppen freier Gruppen (Theorem 1.2): Für $\text{Aut}(F_n)$ mit Koeffizienten in den irreduziblen Darstellungen $W_{\lambda\mu}(n)$ von $\text{GL}_n(\mathbb{Z})$ gilt Stabilität für $d < \frac{1}{2}(n - \beta)$, wobei $\beta$ von den Längen und konjugierten Längen der Partitionen abhängt. Die Autoren klären, dass dies eine uniforme Stabilität der Steigung $1/4$ darstellt, da für jede irreduzible Darstellung eine Wahl von $(\lambda, \mu)$ existiert, sodass $\beta \leq \frac{1}{2}(n+2)$.
3. Handlebody-Modifikationsgruppen (Theorem 1.3): Analog wird die uniforme Stabilität für Handlebody-Modifikationsgruppen mit aus $\text{GL}_n(\mathbb{Z})$ zurückgezogenen Koeffizienten bewiesen.
4. Zopfgruppen (Theorem 1.4): Für die Zopfgruppe $\beta_n$ mit Koeffizienten in den Darstellungen des Bildes der Burau-Darstellung (ungerade/gerade symplektische Gruppen) gilt Stabilität für $d < \frac{1}{17}(n - \max(2, l(\lambda)))$.

Bedeutung und Anwendungen

• Uniformität: Die primäre Neuheit besteht darin, dass der Stabilitätsbereich nicht vom Grad der Polynomialität des Koeffizientensystems abhängt. Dies erlaubt Stabilitätsresultate in Regimen, in denen der Grad der Darstellung mit $n$ wächst (z. B. $|\lambda| \gg n$), eine Situation, in der frühere Schranken keinen Stabilitätsbereich lieferten.
• Arithmetische Statistik: Die Autoren zeigen eine direkte Anwendung von Theorem 1.4 auf die Momente von Familien quadratischer $L$-Funktionen über Funktionskörpern. In Kombination mit der Vorarbeit von Bergström–Diaconu–Petersen–Westland beweist der neue Stabilitätsbereich die CFKRS-Vorhersagen für alle Momente dieser $L$-Funktionen für hinreichend große ungerade Primzahlpotenzen. Dies ist die erste nicht-triviale Familie, für die CFKRS-Asymptotiken für alle Momente etabliert wurden.
• Torelli-Gruppen: Die Ergebnisse liefern Werkzeuge zur Untersuchung der Homologie von Torelli-Gruppen (Kerne der Abbildungen auf arithmetische Gruppen). Speziell impliziert Theorem 1.1, dass die Homologie der Torelli-Gruppe mit verdrehten Koeffizienten in jedem Grad für hinreichend große Genus berechenbar ist, was Beweise bezüglich quadratischer Präsentationen der Malcev-Vervollständigung von Torelli-Gruppen potenziell vereinfacht.
• Darstellungsstabilität: Die Arbeit liefert Belege für eine „uniforme Repräsentationsstabilität“ der Homologie von Torelli-Untergruppen und erweitert die Theorie der Repräsentationsstabilität (Church–Farb) auf diese spezifischen Kontexte.

Einschränkungen und Schärfe
Die Autoren merken an, dass ihre Stabilitätsbereiche wahrscheinlich nicht optimal sind. Sie geben obere Schranken für die möglichen Steigungen der Stabilität basierend auf bekannten stabilen Homologieberechnungen (z. B. durch Madsen–Weiss, Galatius und Lindell) an. Beispielsweise vermuten sie, dass die Steigung $1/4$ für Modifikationsgruppen und Handlebody-Gruppen scharf ist, während die Steigung $1/17$ für Zopfgruppen wahrscheinlich nicht optimal ist (ein konjekturierter Wert von $1/3$ wird angenommen). Auch die Abhängigkeit von der Partitionslänge im Fall der Zopfgruppen wird als potenziell verbesserungswürdig angemerkt.