Homological stability for automorphisms of symmetric bilinear forms

Imagine you are a master architect working with a special kind of building block. These blocks aren't made of wood or brick; they are symmetric bilinear forms. In the world of mathematics, these are like complex, multi-dimensional grids that measure how vectors (arrows) relate to one another.

Some of these grids are "perfect" (non-degenerate), meaning they have no hidden flaws or missing information. The automorphisms of these forms are the groups of people (mathematical symmetries) who can rearrange the blocks without breaking the grid's rules. Think of them as the "dance troupe" that can shuffle the blocks around while keeping the structure intact.

The paper you are asking about is about a phenomenon called Homological Stability. Here is the simple breakdown of what the author, Vikram Nadig, discovered:

1. The Problem: The "Growing Pains" of Math Groups

Imagine you have a small dance troupe (a group of symmetries) for a tiny 2x2 grid. Then you build a bigger 4x4 grid, then a 6x6, and so on. Every time you make the grid bigger, you get a new, larger dance troupe.

Usually, as these troupes get bigger, their internal "vibe" (their cohomology, which is a way of measuring their shape and holes) changes wildly. It's like a toddler's brain vs. a teenager's brain vs. an adult's brain; they are all humans, but they think very differently.

Homological Stability is the magical moment when the troupe gets so big that adding one more dancer doesn't change the "vibe" anymore. The group settles into a stable, predictable pattern. The author asks: Does this happen for these specific grid-dancing groups?

2. The Challenge: The "Odd" Grids

For a long time, mathematicians knew this stability happened for "even" grids (related to quadratic forms). But for "odd" grids (symmetric bilinear forms), it was a mystery.

Why? Because these grids behave differently depending on the "ground" they are built on (the ring of numbers).

If the ground is the Integers ( $\mathbb{Z}$ ), it's one thing.
If the ground is Gaussian Integers ( $\mathbb{Z}[i]$ , numbers like $3+4i$), it's another.
If the ground is a Field (like real numbers), it's yet another.

The author found that for many of these grounds, the stability does happen, but only if the grids are built in a very specific way called Metabolic.

3. The Key Concept: "Metabolic" Forms (The Perfect Balance)

Think of a Metabolic form as a perfectly balanced scale. It has a "Lagrangian" part—a hidden section where the rules of the game cancel each other out perfectly.

Analogy: Imagine a seesaw. If you put a weight on the left, you must put an equal weight on the right to balance it. A metabolic form is a seesaw where the left and right sides are perfectly matched.
The author proves that if you keep adding these balanced "seesaws" to your grid, the dance troupe eventually stops changing its "vibe."

4. The "Cofinal" Mystery: Can We Build Anything?

A major question was: Can we build a "Master Grid" that can eventually mimic any other grid if we add enough copies of it?

The author calls this a Cofinal form.
The Discovery: Not every number system allows for a Master Grid. For example, in some weird number systems, you can't build a seesaw that balances perfectly for every possible shape.
The Solution: The author figured out exactly which number systems (like the Integers, Gaussian Integers, and Eisenstein Integers) allow for a Master Grid. He created a checklist (Assumption 1.1) to see if a number system is "friendly" enough to have these stable groups.

5. The "Destabilization" Space (The Construction Site)

To prove the stability, the author had to look at a "construction site" called the Space of Destabilizations.

Analogy: Imagine you are trying to prove that a skyscraper is stable. You don't just look at the finished building; you look at all the possible ways you could remove a floor or a beam without the building collapsing.
The author proved that this "construction site" is incredibly robust (highly connected). If the site is robust enough, it guarantees that the final building (the group of symmetries) will be stable.

6. The Big Payoff: Predicting the Future

Why does this matter?

Simplification: Instead of calculating the complex "vibe" of a massive 1000x1000 grid, mathematicians can now just calculate the "vibe" of the stable, infinite version. It's like knowing the recipe for a cake allows you to predict the taste of a 100-layer cake without baking it.
New Connections: This connects the study of these grids to Grothendieck-Witt theory (a high-level branch of algebra that classifies these shapes).
Specific Results: The author calculated the exact "vibe" (cohomology) for the groups of symmetries over the Integers ( $\mathbb{Z}$ ) and Gaussian Integers ( $\mathbb{Z}[i]$ ) in low dimensions. This is like finally having the instruction manual for how these specific dance troupes behave.

Summary in a Nutshell

Vikram Nadig proved that if you build your mathematical structures out of specific types of "balanced" blocks (metabolic forms) over specific types of number systems (like integers and Gaussian integers), the groups of symmetries acting on them eventually stop changing their fundamental nature as they grow larger.

He provided a map to find these stable structures and showed that once you reach a certain size, the complexity settles down into a predictable, beautiful pattern. This allows mathematicians to stop reinventing the wheel for every new size and instead focus on the stable, infinite pattern that underlies them all.

Here is a detailed technical summary of the paper "Homological stability for automorphisms of symmetric bilinear forms" by Vikram Nadig.

1. Problem Statement

The paper addresses the problem of establishing homological stability for the automorphism groups (orthogonal groups) of symmetric bilinear forms over specific rings.

Context: Homological stability is a phenomenon where the homology groups $H_i(G_n)$ of a sequence of groups $G_1 \to G_2 \to \dots$ stabilize (become isomorphic) as $n \to \infty$ for a fixed degree $i$ . This is well-understood for quadratic forms ( $\lambda = q$ ) and general linear groups, but for symmetric bilinear forms ( $\lambda = s$ ) over rings where $2$ is not a unit, the theory was largely undeveloped.
The Obstacle: In the quadratic case, the hyperbolic plane is always "cofinal" (meaning any form can be embedded into a direct sum of hyperbolic planes), allowing stability results to be derived. For symmetric bilinear forms over rings like $\mathbb{Z}$ or $\mathbb{Z}[i]$ , the hyperbolic plane is not necessarily cofinal. Determining which forms are cofinal and proving stability for their automorphism groups is non-trivial, especially when $2$ is not invertible (where symmetric forms do not uniquely correspond to quadratic forms).
Goal: To identify conditions under which cofinal metabolic forms exist and to prove homological stability for the orthogonal groups of these forms, thereby enabling the calculation of stable cohomology via Grothendieck-Witt theory.

2. Methodology

The author employs a combination of algebraic classification, combinatorial topology, and the "homological stability machine" developed by Randal-Williams and Wahl.

A. Algebraic Setup and Classification

Assumption 1.1: The paper restricts attention to Principal Ideal Domains (PIDs) $R$ where for every $r \in R$ , $r^2 \equiv 0 \pmod 2$ or $r^2 \equiv u^2 \pmod 2$ for some unit $u$ . This class includes $\mathbb{Z}$ , $\mathbb{Z}[i]$ , $\mathbb{Z}[\omega]$ , and all fields.
Parity and Metabolic Forms: The author introduces the parity $P(M)$ $P (M)$ of a form $M$ $M$ , defined as the image of $\{\lambda(x,x) \mid x \in M\}$ ${λ (x, x) ∣ x \in M}$ in $R/(2)$ $R / (2)$ .
- A key result (Theorem 3.16) is that under Assumption 1.1, metabolic forms are classified entirely by their rank and parity.
- A form is cofinal if and only if its parity equals the entire ring $R/(2)$ (Theorem 1.2).
Complexity: A new invariant, complexity $c(M)$ , is defined based on the dimension of the parity space $P(M)$ over the field of squares $U(R) \subset R/(2)$ . This measures the "distance" from being a direct sum of hyperbolic planes.

B. Combinatorial Posets

To apply stability theorems, the author constructs specific posets of sequences:

$IU(M)$ : The poset of isotropic unimodular sequences in $M$ .
$FIU(M)$ : A subposet of "fully $F$ -like" sequences, where $F$ is a fixed metabolic plane. These sequences are "parity preserving" and have orthogonal complements that remain within a specific cancellative groupoid.
Connectivity Analysis: The core technical work involves proving high connectivity for these posets. The author adapts techniques from van der Kallen and Mirzaii-van der Kallen, using:
- Witnessing sequences: Dual sequences that allow the decomposition of forms.
- Nerve Theorems: To relate the connectivity of the union of subposets to the connectivity of the parts.
- Inductive arguments: Reducing the connectivity of $IU(M)$ to that of orthogonal complements.

C. The Stability Machine

The paper utilizes the framework of Randal-Williams and Wahl ([RW17]):

Locally Homogeneous Categories: The category of forms is shown to be locally homogeneous at a pair $(M, F)$ (Theorem 4.1).
Space of Destabilisations: The semi-simplicial set $W_n(M, F)$ (related to embeddings of $F$ into $M \oplus F^n$ ) is identified with the poset $FU(M \oplus F^n)$ .
Connectivity Bounds: By proving that $FU(M)$ is highly connected (Theorem 4.6), the author applies Theorem 2.7 (the stability machine) to deduce homological stability.

3. Key Contributions and Results

A. Classification of Cofinal Forms

Theorem 1.2: Establishes necessary and sufficient conditions for the existence of a cofinal form in $Unimod_s(R)$ $U nim o d_{s} (R)$ . Specifically, a cofinal form exists if and only if $R/(2)$ $R / (2)$ is finite-dimensional over the field of squares $U(R)$ $U (R)$ .
- Example: $\mathbb{Z}$ admits a cofinal form (e.g., $\text{diag}(1, -1)$ ). $\mathbb{Z}[i]$ admits a cofinal form (e.g., $\text{diag}(1, i)$ ).
- Counter-example: The field $\mathbb{F}_2(t_1, t_2, \dots)$ does not admit a cofinal form.

B. Homological Stability Theorem

Theorem 1.3 / Theorem 4.7: For a ring $R$ $R$ satisfying Assumption 1.1 and a metabolic form $M$ $M$ , the map induced by direct sum with a metabolic plane $F$ $F$ (rank 2):
$H_i(O(M \oplus F)) \to H_i(O(M \oplus F^2))$
is an isomorphism for $i \leq \frac{1}{4}\text{rank}(M) - C$ $i \leq \frac{1}{4} rank (M) - C$ (specifically $i \leq \frac{z(M) - 3c(M) - 6}{2}$ $i \leq \frac{z ( M ) - 3 c ( M ) - 6}{2}$ ).
- Here $z(M)$ is the isotropic rank and $c(M)$ is the complexity.
- This provides a linear stability range with slope $1/4 $(or$ 1/2$ in terms of the number of summands added).

C. Independence of Stabilization

Corollary 1.4 / Corollary 4.9: The paper proves that in the stable range, the isomorphism induced by stabilizing with any metabolic plane $F$ is the same. This resolves ambiguity regarding which specific form is used for stabilization.

D. Applications to Specific Rings

Over $\mathbb{Z}$ : The form $\text{diag}(1, -1)$ is cofinal. The paper deduces the stable cohomology of $O(\text{diag}(1, -1)^n)$ in low degrees (Corollary 1.5), linking it to Hebestreit-Steimle's calculations.
Over $\mathbb{Z}[i]$ : The form $\text{diag}(1, i)$ is cofinal (though not metabolic). The author constructs a specific "diagonal" cancellative groupoid to prove stability for this non-metabolic cofinal form (Theorem 5.8, Corollary 5.9).

4. Significance

Bridging Algebra and Topology: The paper successfully extends homological stability results from quadratic forms (where $2 $is invertible or forms are hyperbolic) to symmetric bilinear forms over rings where$ 2$ is not a unit.
Access to Stable Cohomology: By establishing stability for cofinal forms, the paper allows the stable cohomology of these orthogonal groups to be computed via Grothendieck-Witt theory. This connects the topology of these groups to algebraic K-theory and Hermitian K-theory.
New Invariants: The introduction of complexity and the detailed classification of metabolic forms over PIDs provide new tools for studying arithmetic groups and symmetric forms in low characteristic or non-invertible 2 settings.
Resolution of Open Questions: It answers the question of which rings admit cofinal forms and provides the first homological stability results for orthogonal groups of symmetric bilinear forms over $\mathbb{Z}$ and $\mathbb{Z}[i]$ in the general case (non-unital 2).

In summary, Nadig's work provides a robust framework for understanding the asymptotic homology of orthogonal groups of symmetric bilinear forms, overcoming the specific algebraic obstructions posed by the non-invertibility of 2, and paving the way for explicit cohomological calculations in arithmetic geometry.